runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 15822 MiB (14903 MiB free)
  memory of node 1: 16124 MiB (15008 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/goldberg/rand_net/rand_net60-40-1.shuffled.cnf 

running on 1 cores: 7

Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Linux 4.18.0-301.1.el8.x86_64
solver pid=332105, runsolver pid=332104
Current StackSize limit: 8192 KiB


[startup+0.103913 s]*
/proc/loadavg: 0.01 0.00 0.00 17/576 332107
/proc/meminfo: memFree=30589124/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41340 memory=13540 CPUtime=0.05 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2306 0 0 0 5 0 0 0 20 0 1 0 191294452 42332160 3385 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10335 3385 1461 2 0 2747 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 13540 KiB

[startup+0.227914 s]*
/proc/loadavg: 0.01 0.00 0.00 14/576 332107
/proc/meminfo: memFree=30585044/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41340 memory=13540 CPUtime=0.16 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2307 0 0 0 16 0 0 0 20 0 1 0 191294452 42332160 3385 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10335 3385 1461 2 0 2747 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 13540 KiB

[startup+0.318913 s]*
/proc/loadavg: 0.01 0.00 0.00 18/576 332107
/proc/meminfo: memFree=30584512/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41340 memory=13540 CPUtime=0.23 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2307 0 0 0 23 0 0 0 20 0 1 0 191294452 42332160 3385 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10335 3385 1461 2 0 2747 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 13540 KiB

[startup+0.700922 s]
/proc/loadavg: 0.01 0.00 0.00 14/576 332107
/proc/meminfo: memFree=30581572/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41340 memory=13540 CPUtime=0.55 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2307 0 0 0 55 0 0 0 20 0 1 0 191294452 42332160 3385 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10335 3385 1461 2 0 2747 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 13540 KiB

[startup+1.50092 s]
/proc/loadavg: 0.01 0.00 0.00 14/576 332107
/proc/meminfo: memFree=30581832/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41340 memory=13540 CPUtime=1.33 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2307 0 0 0 133 0 0 0 20 0 1 0 191294452 42332160 3385 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10335 3385 1461 2 0 2747 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 13540 KiB

[startup+3.12893 s]
/proc/loadavg: 1.21 0.25 0.08 16/576 332107
/proc/meminfo: memFree=30582800/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41340 memory=13540 CPUtime=2.91 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2307 0 0 0 291 0 0 0 20 0 1 0 191294452 42332160 3385 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10335 3385 1461 2 0 2747 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 13540 KiB

[startup+6.30092 s]
/proc/loadavg: 1.21 0.25 0.08 17/576 332107
/proc/meminfo: memFree=30582752/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41340 memory=13860 CPUtime=6.01 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2364 0 0 0 601 0 0 0 20 0 1 0 191294452 42332160 3465 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10335 3465 1477 2 0 2747 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 13860 KiB

[startup+12.7009 s]
/proc/loadavg: 2.31 0.50 0.16 15/576 332108
/proc/meminfo: memFree=30581208/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41340 memory=14124 CPUtime=12.26 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2400 0 0 0 1226 0 0 0 20 0 1 0 191294452 42332160 3531 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10335 3531 1477 2 0 2747 0
Current children cumulated CPU time: 12.26 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 14124 KiB

[startup+25.5009 s]
/proc/loadavg: 5.12 1.21 0.40 18/576 332108
/proc/meminfo: memFree=30580732/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41340 memory=14124 CPUtime=24.75 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2410 0 0 0 2474 1 0 0 20 0 1 0 191294452 42332160 3531 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10335 3531 1477 2 0 2747 0
Current children cumulated CPU time: 24.75 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 14124 KiB

[startup+51.1189 s]
/proc/loadavg: 8.65 2.35 0.80 11/577 332109
/proc/meminfo: memFree=30577888/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41340 memory=14124 CPUtime=49.72 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2411 0 0 0 4971 1 0 0 20 0 1 0 191294452 42332160 3531 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10335 3531 1477 2 0 2747 0
Current children cumulated CPU time: 49.72 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 14124 KiB

[startup+102.301 s]
/proc/loadavg: 11.76 4.23 1.52 20/577 332118
/proc/meminfo: memFree=30575860/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41340 memory=14124 CPUtime=99.61 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2429 0 0 0 9960 1 0 0 20 0 1 0 191294452 42332160 3531 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10335 3531 1477 2 0 2747 0
Current children cumulated CPU time: 99.61 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 14124 KiB

[startup+162.301 s]
/proc/loadavg: 10.37 5.22 2.04 15/577 332128
/proc/meminfo: memFree=30573984/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41340 memory=14124 CPUtime=158.05 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2436 0 0 0 15804 1 0 0 20 0 1 0 191294452 42332160 3531 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10335 3531 1477 2 0 2747 0
Current children cumulated CPU time: 158.05 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 14124 KiB

[startup+222.301 s]
/proc/loadavg: 9.53 5.95 2.49 20/577 332137
/proc/meminfo: memFree=30571672/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41340 memory=14388 CPUtime=216.47 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2467 0 0 0 21646 1 0 0 20 0 1 0 191294452 42332160 3597 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10335 3597 1477 2 0 2747 0
Current children cumulated CPU time: 216.47 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 14388 KiB

[startup+282.301 s]
/proc/loadavg: 8.81 6.41 2.87 11/577 332146
/proc/meminfo: memFree=30571408/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41340 memory=14388 CPUtime=274.91 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2467 0 0 0 27490 1 0 0 20 0 1 0 191294452 42332160 3597 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10335 3597 1477 2 0 2747 0
Current children cumulated CPU time: 274.91 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 14388 KiB

[startup+342.301 s]
/proc/loadavg: 8.54 6.78 3.22 17/572 332156
/proc/meminfo: memFree=30569216/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41340 memory=14388 CPUtime=333.39 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2478 0 0 0 33338 1 0 0 20 0 1 0 191294452 42332160 3597 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10335 3597 1477 2 0 2747 0
Current children cumulated CPU time: 333.39 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 14388 KiB

[startup+402.301 s]
/proc/loadavg: 8.29 7.03 3.53 18/573 332168
/proc/meminfo: memFree=30567732/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41340 memory=14388 CPUtime=391.83 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2478 0 0 0 39182 1 0 0 20 0 1 0 191294452 42332160 3597 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10335 3597 1477 2 0 2747 0
Current children cumulated CPU time: 391.83 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 14388 KiB

[startup+462.301 s]
/proc/loadavg: 8.14 7.22 3.82 17/573 332177
/proc/meminfo: memFree=30566680/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41340 memory=14388 CPUtime=450.27 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2478 0 0 0 45026 1 0 0 20 0 1 0 191294452 42332160 3597 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10335 3597 1477 2 0 2747 0
Current children cumulated CPU time: 450.27 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 14388 KiB

[startup+522.301 s]
/proc/loadavg: 8.05 7.37 4.08 18/573 332187
/proc/meminfo: memFree=30565968/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41340 memory=14388 CPUtime=508.71 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2478 0 0 0 50870 1 0 0 20 0 1 0 191294452 42332160 3597 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10335 3597 1477 2 0 2747 0
Current children cumulated CPU time: 508.71 s
Current children cumulated vsize: 41340 KiB
Current children cumulated memory: 14388 KiB

[startup+582.301 s]
/proc/loadavg: 8.75 7.66 4.39 13/573 332197
/proc/meminfo: memFree=30565224/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41484 memory=14916 CPUtime=567.16 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2578 0 0 0 56714 2 0 0 20 0 1 0 191294452 42479616 3729 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10371 3729 1477 2 0 2783 0
Current children cumulated CPU time: 567.16 s
Current children cumulated vsize: 41484 KiB
Current children cumulated memory: 14916 KiB

[startup+642.302 s]
/proc/loadavg: 8.71 7.87 4.67 18/573 332206
/proc/meminfo: memFree=30564564/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41636 memory=14916 CPUtime=625.63 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2602 0 0 0 62561 2 0 0 20 0 1 0 191294452 42635264 3729 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10409 3729 1477 2 0 2821 0
Current children cumulated CPU time: 625.63 s
Current children cumulated vsize: 41636 KiB
Current children cumulated memory: 14916 KiB

[startup+702.301 s]
/proc/loadavg: 8.40 7.94 4.90 15/571 332216
/proc/meminfo: memFree=30562724/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41636 memory=14916 CPUtime=684.12 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2602 0 0 0 68410 2 0 0 20 0 1 0 191294452 42635264 3729 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10409 3729 1477 2 0 2821 0
Current children cumulated CPU time: 684.12 s
Current children cumulated vsize: 41636 KiB
Current children cumulated memory: 14916 KiB

[startup+762.301 s]
/proc/loadavg: 8.27 8.00 5.11 16/572 332227
/proc/meminfo: memFree=30562488/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41636 memory=14916 CPUtime=742.6 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2602 0 0 0 74258 2 0 0 20 0 1 0 191294452 42635264 3729 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10409 3729 1477 2 0 2821 0
Current children cumulated CPU time: 742.6 s
Current children cumulated vsize: 41636 KiB
Current children cumulated memory: 14916 KiB

[startup+822.301 s]
/proc/loadavg: 8.18 8.03 5.30 16/572 332236
/proc/meminfo: memFree=30562220/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41636 memory=14916 CPUtime=801.11 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2615 0 0 0 80109 2 0 0 20 0 1 0 191294452 42635264 3729 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10409 3729 1477 2 0 2821 0
Current children cumulated CPU time: 801.11 s
Current children cumulated vsize: 41636 KiB
Current children cumulated memory: 14916 KiB

[startup+882.301 s]
/proc/loadavg: 8.10 8.03 5.48 17/572 332245
/proc/meminfo: memFree=30561900/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41636 memory=14916 CPUtime=859.62 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2620 0 0 0 85960 2 0 0 20 0 1 0 191294452 42635264 3729 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10409 3729 1477 2 0 2821 0
Current children cumulated CPU time: 859.62 s
Current children cumulated vsize: 41636 KiB
Current children cumulated memory: 14916 KiB

[startup+942.301 s]
/proc/loadavg: 8.17 8.07 5.66 16/572 332254
/proc/meminfo: memFree=30561668/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41784 memory=14916 CPUtime=918.13 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2635 0 0 0 91811 2 0 0 20 0 1 0 191294452 42786816 3729 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10446 3729 1477 2 0 2858 0
Current children cumulated CPU time: 918.13 s
Current children cumulated vsize: 41784 KiB
Current children cumulated memory: 14916 KiB

[startup+1002.3 s]
/proc/loadavg: 8.78 8.28 5.88 19/572 332273
/proc/meminfo: memFree=30553892/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41784 memory=15180 CPUtime=976.62 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2648 0 0 0 97660 2 0 0 20 0 1 0 191294452 42786816 3795 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10446 3795 1477 2 0 2858 0
Current children cumulated CPU time: 976.62 s
Current children cumulated vsize: 41784 KiB
Current children cumulated memory: 15180 KiB

[startup+1062.3 s]
/proc/loadavg: 8.59 8.32 6.05 17/573 332284
/proc/meminfo: memFree=30549720/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41784 memory=17076 CPUtime=1035.08 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2667 0 0 0 103506 2 0 0 20 0 1 0 191294452 42786816 4269 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10446 4269 1477 2 0 2858 0
Current children cumulated CPU time: 1035.08 s
Current children cumulated vsize: 41784 KiB
Current children cumulated memory: 17076 KiB

[startup+1122.3 s]
/proc/loadavg: 8.51 8.35 6.21 18/573 332294
/proc/meminfo: memFree=30549664/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41784 memory=17076 CPUtime=1093.56 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2671 0 0 0 109354 2 0 0 20 0 1 0 191294452 42786816 4269 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10446 4269 1477 2 0 2858 0
Current children cumulated CPU time: 1093.56 s
Current children cumulated vsize: 41784 KiB
Current children cumulated memory: 17076 KiB

[startup+1182.3 s]
/proc/loadavg: 8.77 8.44 6.37 15/573 332304
/proc/meminfo: memFree=30549556/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41784 memory=17076 CPUtime=1152.05 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2675 0 0 0 115203 2 0 0 20 0 1 0 191294452 42786816 4269 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10446 4269 1477 2 0 2858 0
Current children cumulated CPU time: 1152.05 s
Current children cumulated vsize: 41784 KiB
Current children cumulated memory: 17076 KiB

[startup+1242.3 s]
/proc/loadavg: 8.32 8.37 6.48 16/573 332313
/proc/meminfo: memFree=30548644/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41920 memory=17076 CPUtime=1210.53 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2704 0 0 0 121051 2 0 0 20 0 1 0 191294452 42926080 4269 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10480 4269 1477 2 0 2892 0
Current children cumulated CPU time: 1210.53 s
Current children cumulated vsize: 41920 KiB
Current children cumulated memory: 17076 KiB

[startup+1302.3 s]
/proc/loadavg: 8.16 8.32 6.59 20/572 332333
/proc/meminfo: memFree=30548508/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41920 memory=17216 CPUtime=1269.02 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2711 0 0 0 126900 2 0 0 20 0 1 0 191294452 42926080 4304 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10480 4304 1477 2 0 2892 0
Current children cumulated CPU time: 1269.02 s
Current children cumulated vsize: 41920 KiB
Current children cumulated memory: 17216 KiB

[startup+1362.3 s]
/proc/loadavg: 8.10 8.27 6.68 17/572 332344
/proc/meminfo: memFree=30548596/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41920 memory=17216 CPUtime=1327.45 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2713 0 0 0 132743 2 0 0 20 0 1 0 191294452 42926080 4304 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10480 4304 1477 2 0 2892 0
Current children cumulated CPU time: 1327.45 s
Current children cumulated vsize: 41920 KiB
Current children cumulated memory: 17216 KiB

[startup+1422.3 s]
/proc/loadavg: 8.04 8.22 6.77 19/572 332354
/proc/meminfo: memFree=30548368/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41920 memory=17216 CPUtime=1385.88 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2715 0 0 0 138586 2 0 0 20 0 1 0 191294452 42926080 4304 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10480 4304 1477 2 0 2892 0
Current children cumulated CPU time: 1385.88 s
Current children cumulated vsize: 41920 KiB
Current children cumulated memory: 17216 KiB

[startup+1482.3 s]
/proc/loadavg: 8.35 8.27 6.88 14/572 332363
/proc/meminfo: memFree=30548072/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41920 memory=17216 CPUtime=1444.32 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2717 0 0 0 144430 2 0 0 20 0 1 0 191294452 42926080 4304 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10480 4304 1477 2 0 2892 0
Current children cumulated CPU time: 1444.32 s
Current children cumulated vsize: 41920 KiB
Current children cumulated memory: 17216 KiB

[startup+1542.3 s]
/proc/loadavg: 8.47 8.31 6.98 17/572 332372
/proc/meminfo: memFree=30547692/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41920 memory=17216 CPUtime=1502.77 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2725 0 0 0 150275 2 0 0 20 0 1 0 191294452 42926080 4304 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10480 4304 1477 2 0 2892 0
Current children cumulated CPU time: 1502.77 s
Current children cumulated vsize: 41920 KiB
Current children cumulated memory: 17216 KiB

[startup+1602.3 s]
/proc/loadavg: 8.40 8.33 7.08 17/572 332382
/proc/meminfo: memFree=30547416/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=41920 memory=17216 CPUtime=1561.25 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2734 0 0 0 156123 2 0 0 20 0 1 0 191294452 42926080 4304 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10480 4304 1477 2 0 2892 0
Current children cumulated CPU time: 1561.25 s
Current children cumulated vsize: 41920 KiB
Current children cumulated memory: 17216 KiB

[startup+1662.3 s]
/proc/loadavg: 8.40 8.34 7.16 20/572 332391
/proc/meminfo: memFree=30546836/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=42056 memory=17216 CPUtime=1619.72 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2746 0 0 0 161970 2 0 0 20 0 1 0 191294452 43065344 4304 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10514 4304 1477 2 0 2926 0
Current children cumulated CPU time: 1619.72 s
Current children cumulated vsize: 42056 KiB
Current children cumulated memory: 17216 KiB

[startup+1722.3 s]
/proc/loadavg: 8.30 8.33 7.23 16/571 332403
/proc/meminfo: memFree=30546056/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=42056 memory=17216 CPUtime=1678.21 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2748 0 0 0 167819 2 0 0 20 0 1 0 191294452 43065344 4304 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10514 4304 1477 2 0 2926 0
Current children cumulated CPU time: 1678.21 s
Current children cumulated vsize: 42056 KiB
Current children cumulated memory: 17216 KiB

[startup+1782.3 s]
/proc/loadavg: 8.11 8.26 7.28 10/572 332414
/proc/meminfo: memFree=30546132/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=42312 memory=17216 CPUtime=1736.69 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2763 0 0 0 173667 2 0 0 20 0 1 0 191294452 43327488 4304 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10578 4304 1477 2 0 2990 0
Current children cumulated CPU time: 1736.69 s
Current children cumulated vsize: 42312 KiB
Current children cumulated memory: 17216 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 8.08 8.25 7.30 16/572 332423
/proc/meminfo: memFree=30545852/32713976 swapFree=33554428/33554428
[pid=332105] ppid=332104 vsize=42312 memory=17216 CPUtime=1753.97 cores=7
/proc/332105/stat : 332105 (pigeonPurSampli) R 332104 332105 332080 0 -1 4194304 2763 0 0 0 175395 2 0 0 20 0 1 0 191294452 43327488 4304 18446744073709551615 94417505050624 94417505054736 140730335355024 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 1 0 0 94417507155200 94417507155972 94417528967168 140730335359508 140730335359618 140730335359618 140730335363041 0
/proc/332105/statm: 10578 4304 1477 2 0 2990 0
Current children cumulated CPU time: 1753.97 s
Current children cumulated vsize: 42312 KiB
Current children cumulated memory: 17216 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Detected pigeons:

[startup+1800.04 s]
# the end of solver process 332105 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1753.96 s, system=0.027717 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 1800.04
CPU time (s): 1753.99
CPU user time (s): 1753.96
CPU system time (s): 0.027717
CPU usage (%): 97.4417
Max. virtual memory (cumulated for all children) (KiB): 42312
Max. memory (cumulated for all children) (KiB): 17216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1753.96
system time used= 0.027717
maximum resident set size= 17216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2766
page faults= 0
swaps= 0
block input operations= 408
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 57481


# summary of solver processes directly reported to runsolver:
#   pid: 332105
#   total CPU time (s): 1753.99
#   total CPU user time (s): 1753.96
#   total CPU system time (s): 0.027717

??? end of timestamper thread
runsolver used 16.1881 second user time and 20.2966 second system time

The end
