runsolver version 3.4.2 (svn: 4680) 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: 64096 MiB (62895 MiB free)
  memory of node 1: 64473 MiB (58262 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430686-1722951784/watcher-4430686-1722951784 -o /tmp/evaluation-result-4430686-1722951784/solver-4430686-1722951784 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722948202-330994 --watchdog 3760 --use-pty ./ParLS-PBO --benchName=HOME/instance-4430686-1722951784.opb --time_limit=3600 --nbcore=1 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=332960, runsolver pid=332957
Current StackSize limit: 8192 KiB


[startup+0.100091 s]*
/proc/loadavg: 4.10 4.20 4.25 5/244 332961
/proc/meminfo: memFree=124068796/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=46076 memory=19644 CPUtime=0.1 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 4132 0 0 0 9 1 0 0 20 0 2 0 61548530 47181824 4911 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 11519 4911 930 32 0 6256 0
[pid=332960/tid=332962] ppid=332957 vsize=46076 memory=4026531971 CPUtime=0 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 61548541 47181824 4911 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46076 KiB
Current children cumulated memory: 19644 KiB

[startup+0.213843 s]*
/proc/loadavg: 4.10 4.20 4.25 4/242 332970
/proc/meminfo: memFree=124051036/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=34500 CPUtime=0.19 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 7094 0 0 0 18 1 0 0 20 0 2 0 61548530 124469248 8625 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 8625 945 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=4830786144325468477 CPUtime=0.09 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 2962 0 0 0 9 0 0 0 20 0 2 0 61548541 124469248 8625 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 34500 KiB

[startup+0.312854 s]*
/proc/loadavg: 4.10 4.20 4.25 4/242 332970
/proc/meminfo: memFree=124049356/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=34500 CPUtime=0.29 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) R 332957 332960 330983 0 -1 1077936128 7094 0 0 0 28 1 0 0 20 0 2 0 61548530 124469248 8625 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 8625 945 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=-8814777488956367548 CPUtime=0.18 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 2962 0 0 0 18 0 0 0 20 0 2 0 61548541 124469248 8625 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 34500 KiB

[startup+0.700322 s]
/proc/loadavg: 4.10 4.20 4.25 4/244 332976
/proc/meminfo: memFree=124047356/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=34500 CPUtime=0.67 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 7094 0 0 0 65 2 0 0 20 0 2 0 61548530 124469248 8625 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 8625 945 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=1944 CPUtime=0.56 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 2962 0 0 0 56 0 0 0 20 0 2 0 61548541 124469248 8625 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 34500 KiB

[startup+1.5003 s]
/proc/loadavg: 4.10 4.20 4.25 5/248 333009
/proc/meminfo: memFree=124040128/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=34668 CPUtime=1.48 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 9645 0 0 0 145 3 0 0 20 0 2 0 61548530 124469248 8667 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 8667 945 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=1944 CPUtime=1.36 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 5507 0 0 0 135 1 0 0 20 0 2 0 61548541 124469248 8667 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 34668 KiB

[startup+3.11281 s]
/proc/loadavg: 4.09 4.20 4.24 5/249 333105
/proc/meminfo: memFree=124030616/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=34668 CPUtime=3.09 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 9666 0 0 0 305 4 0 0 20 0 2 0 61548530 124469248 8667 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 8667 945 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=0 CPUtime=2.97 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 5528 0 0 0 296 1 0 0 20 0 2 0 61548541 124469248 8667 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 34668 KiB

[startup+6.3003 s]
/proc/loadavg: 4.09 4.20 4.24 5/249 333105
/proc/meminfo: memFree=124030648/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=34668 CPUtime=6.29 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 14791 0 0 0 623 6 0 0 20 0 2 0 61548530 124469248 8667 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 8667 945 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=34668 CPUtime=6.14 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 10642 0 0 0 613 1 0 0 20 0 2 0 61548541 124469248 8667 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 34668 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.20 4.24 6/249 333105
/proc/meminfo: memFree=124030632/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=34668 CPUtime=12.73 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 17359 0 0 0 1261 12 0 0 20 0 2 0 61548530 124469248 8667 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 8667 945 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=34668 CPUtime=12.52 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 13204 0 0 0 1251 1 0 0 20 0 2 0 61548541 124469248 8667 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 12.73 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 34668 KiB

[startup+25.5004 s]
/proc/loadavg: 4.07 4.19 4.24 5/249 333109
/proc/meminfo: memFree=124030176/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=34668 CPUtime=25.59 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 25031 0 0 0 2539 20 0 0 20 0 2 0 61548530 124469248 8667 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 8667 945 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=32052 CPUtime=25.28 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 20861 0 0 0 2527 1 0 0 20 0 2 0 61548541 124469248 8667 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 25.59 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 34668 KiB

[startup+51.1126 s]
/proc/loadavg: 4.18 4.20 4.24 5/249 333112
/proc/meminfo: memFree=124029404/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=34808 CPUtime=51.33 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 30159 0 0 0 5096 37 0 0 20 0 2 0 61548530 124469248 8702 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 8702 961 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=34808 CPUtime=50.82 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 25979 0 0 0 5080 2 0 0 20 0 2 0 61548541 124469248 8702 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 51.33 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 34808 KiB

[startup+102.3 s]
/proc/loadavg: 4.31 4.22 4.24 5/249 333121
/proc/meminfo: memFree=124028368/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=34808 CPUtime=102.77 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 37839 0 0 0 10203 74 0 0 20 0 2 0 61548530 124469248 8702 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 8702 961 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=34808 CPUtime=101.86 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 33644 0 0 0 10184 2 0 0 20 0 2 0 61548541 124469248 8702 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 102.77 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 34808 KiB

[startup+162.3 s]
/proc/loadavg: 4.47 4.28 4.27 5/249 333133
/proc/meminfo: memFree=124027628/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=34808 CPUtime=163.07 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 40399 0 0 0 16192 115 0 0 20 0 2 0 61548530 124469248 8702 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 8702 961 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=11428 CPUtime=161.69 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 36198 0 0 0 16167 2 0 0 20 0 2 0 61548541 124469248 8702 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 163.07 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 34808 KiB

[startup+222.3 s]
/proc/loadavg: 4.25 4.26 4.26 6/246 333143
/proc/meminfo: memFree=124023024/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=37864 CPUtime=223.4 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 43897 0 0 0 22185 155 0 0 20 0 2 0 61548530 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 9466 961 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=11428 CPUtime=221.54 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 39686 0 0 0 22152 2 0 0 20 0 2 0 61548541 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 223.4 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 37864 KiB

[startup+282.3 s]
/proc/loadavg: 4.35 4.29 4.27 5/246 333154
/proc/meminfo: memFree=124022336/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=37864 CPUtime=283.74 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 44829 0 0 0 28179 195 0 0 20 0 2 0 61548530 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 9466 961 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=37864 CPUtime=281.43 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 40612 0 0 0 28141 2 0 0 20 0 2 0 61548541 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 283.74 s

################
# More data... #
################

/proc/meminfo: memFree=124089444/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=37864 CPUtime=2938.78 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 84905 0 0 0 291859 2019 0 0 20 0 2 0 61548530 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 9466 961 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=37864 CPUtime=2916.03 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 80467 0 0 0 291596 7 0 0 20 0 2 0 61548541 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 2938.78 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 37864 KiB

[startup+2982.3 s]
/proc/loadavg: 4.31 4.24 4.24 5/249 334834
/proc/meminfo: memFree=124088568/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=37864 CPUtime=2999.13 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 85837 0 0 0 297850 2063 0 0 20 0 2 0 61548530 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 9466 961 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=37864 CPUtime=2975.91 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 81393 0 0 0 297584 7 0 0 20 0 2 0 61548541 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 2999.13 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 37864 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.21 4.23 5/249 334844
/proc/meminfo: memFree=124088100/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=37864 CPUtime=3059.47 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 86769 0 0 0 303837 2110 0 0 20 0 2 0 61548530 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 9466 961 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=37864 CPUtime=3035.79 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 82320 0 0 0 303572 7 0 0 20 0 2 0 61548541 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 3059.47 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 37864 KiB

[startup+3102.3 s]
/proc/loadavg: 4.32 4.23 4.23 5/248 334856
/proc/meminfo: memFree=124087472/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=37864 CPUtime=3119.82 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 87701 0 0 0 309831 2151 0 0 20 0 2 0 61548530 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 9466 961 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=11428 CPUtime=3095.67 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 83247 0 0 0 309560 7 0 0 20 0 2 0 61548541 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 3119.82 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 37864 KiB

[startup+3162.3 s]
/proc/loadavg: 4.35 4.25 4.24 5/248 334867
/proc/meminfo: memFree=124086528/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=37864 CPUtime=3180.16 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 88633 0 0 0 315824 2192 0 0 20 0 2 0 61548530 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 9466 961 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=32052 CPUtime=3155.56 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 84174 0 0 0 315548 8 0 0 20 0 2 0 61548541 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 3180.16 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 37864 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.22 4.23 5/245 334878
/proc/meminfo: memFree=124086124/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=37864 CPUtime=3240.51 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 89565 0 0 0 321816 2235 0 0 20 0 2 0 61548530 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 9466 961 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=37864 CPUtime=3215.45 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 85101 0 0 0 321537 8 0 0 20 0 2 0 61548541 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 3240.51 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 37864 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.24 4.23 5/245 334890
/proc/meminfo: memFree=124084976/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=37864 CPUtime=3300.86 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 90497 0 0 0 327808 2278 0 0 20 0 2 0 61548530 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 9466 961 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=12736 CPUtime=3275.33 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 86028 0 0 0 327525 8 0 0 20 0 2 0 61548541 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 3300.86 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 37864 KiB

[startup+3342.3 s]
/proc/loadavg: 4.33 4.27 4.24 5/245 334901
/proc/meminfo: memFree=124084336/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=37864 CPUtime=3361.21 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 91429 0 0 0 333792 2329 0 0 20 0 2 0 61548530 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 9466 961 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=37864 CPUtime=3335.21 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 86955 0 0 0 333513 8 0 0 20 0 2 0 61548541 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 3361.21 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 37864 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.25 4.24 5/245 334911
/proc/meminfo: memFree=124083640/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=37864 CPUtime=3421.55 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 92361 0 0 0 339783 2372 0 0 20 0 2 0 61548530 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 9466 961 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=37864 CPUtime=3395.09 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 87881 0 0 0 339501 8 0 0 20 0 2 0 61548541 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 3421.55 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 37864 KiB

[startup+3462.3 s]
/proc/loadavg: 4.27 4.25 4.24 5/247 334925
/proc/meminfo: memFree=124082916/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=37864 CPUtime=3481.89 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 93293 0 0 0 345773 2416 0 0 20 0 2 0 61548530 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 9466 961 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=37864 CPUtime=3454.97 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 88808 0 0 0 345489 8 0 0 20 0 2 0 61548541 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 3481.89 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 37864 KiB

[startup+3522.3 s]
/proc/loadavg: 4.32 4.25 4.24 5/247 334937
/proc/meminfo: memFree=124082108/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=37864 CPUtime=3542.24 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 94225 0 0 0 351769 2455 0 0 20 0 2 0 61548530 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 9466 961 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=11428 CPUtime=3514.86 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 89735 0 0 0 351478 8 0 0 20 0 2 0 61548541 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 3542.24 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 37864 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3579.8 s]
/proc/loadavg: 4.31 4.25 4.24 5/247 334947
/proc/meminfo: memFree=124081436/131655788 swapFree=131071472/131071996
[pid=332960] ppid=332957 vsize=121552 memory=37864 CPUtime=3600.08 cores=4,6
/proc/332960/stat : 332960 (ParLS-PBO) S 332957 332960 330983 0 -1 1077936128 95157 0 0 0 357515 2493 0 0 20 0 2 0 61548530 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
/proc/332960/statm: 30388 9466 961 32 0 10788 0
[pid=332960/tid=332962] ppid=332957 vsize=121552 memory=2244 CPUtime=3572.24 cores=4,6
/proc/332960/task/332962/stat : 332962 (ParLS-PBO) R 332957 332960 330983 0 -1 4194368 90662 0 0 0 357216 8 0 0 20 0 2 0 61548541 124469248 9466 134679101440 4194304 4322517 140731895564624 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 15327232 140731895571469 140731895571589 140731895571589 140731895578604 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 121552 KiB
Current children cumulated memory: 37864 KiB

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

[startup+3579.81 s]
# the end of solver process 332960 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3575.16 s, system=24.9338 s

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

Child status: 0

Real time (s): 3579.81
CPU time (s): 3600.09
CPU user time (s): 3575.16
CPU system time (s): 24.9338
CPU usage (%): 100.567
Max. virtual memory (cumulated for all children) (KiB): 121552
Max. memory (cumulated for all children) (KiB): 37864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.16
system time used= 24.9338
maximum resident set size= 38184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95514
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3256263
involuntary context switches= 2205


# summary of solver processes directly reported to runsolver:
#   pid: 332960
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3575.16
#   total CPU system time (s): 24.9338

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9308 second user time and 34.9062 second system time

The end