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 (53790 MiB free)
  memory of node 1: 64473 MiB (62779 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430600-1722955367/watcher-4430600-1722955367 -o /tmp/evaluation-result-4430600-1722955367/solver-4430600-1722955367 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722948202-332563 --watchdog 3760 --use-pty ./ParLS-PBO --benchName=HOME/instance-4430600-1722955367.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 Starting watchdog threa
Linux Starting watchdog threa

Current StackSize limit: 8192 KiB

solver pid=336640, runsolver pid=336637

[startup+0.101041 s]*
/proc/loadavg: 4.22 4.43 4.48 5/248 336642
/proc/meminfo: memFree=119353552/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17440 CPUtime=0.09 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 3610 0 0 0 9 0 0 0 20 0 2 0 61908079 108695552 4360 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4360 971 32 0 5740 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=4026561586 CPUtime=0.05 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 1600 0 0 0 5 0 0 0 20 0 2 0 61908083 108695552 4360 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17440 KiB

[startup+0.213034 s]*
/proc/loadavg: 4.22 4.43 4.48 5/248 336642
/proc/meminfo: memFree=119353216/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17440 CPUtime=0.2 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) R 336637 336640 332552 0 -1 1077936128 3610 0 0 0 20 0 0 0 20 0 2 0 61908079 108695552 4360 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4360 971 32 0 5740 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=8031135708874735747 CPUtime=0.16 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 1600 0 0 0 16 0 0 0 20 0 2 0 61908083 108695552 4360 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17440 KiB

[startup+0.312799 s]*
/proc/loadavg: 4.22 4.43 4.48 5/248 336642
/proc/meminfo: memFree=119352992/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17440 CPUtime=0.3 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) R 336637 336640 332552 0 -1 1077936128 3614 0 0 0 30 0 0 0 20 0 2 0 61908079 108695552 4360 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4360 971 32 0 5744 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=-7735674235689073018 CPUtime=0.26 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 1604 0 0 0 26 0 0 0 20 0 2 0 61908083 108695552 4360 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17440 KiB

[startup+0.700287 s]
/proc/loadavg: 4.22 4.43 4.48 5/248 336642
/proc/meminfo: memFree=119352852/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17440 CPUtime=0.67 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 3617 0 0 0 67 0 0 0 20 0 2 0 61908079 108695552 4360 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4360 971 32 0 5747 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=16000 CPUtime=0.63 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 1607 0 0 0 63 0 0 0 20 0 2 0 61908083 108695552 4360 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17440 KiB

[startup+1.50028 s]
/proc/loadavg: 4.22 4.43 4.48 5/248 336642
/proc/meminfo: memFree=119352824/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17652 CPUtime=1.48 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 5157 0 0 0 147 1 0 0 20 0 2 0 61908079 108695552 4413 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4413 971 32 0 5747 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=16000 CPUtime=1.43 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 3142 0 0 0 143 0 0 0 20 0 2 0 61908083 108695552 4413 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17652 KiB

[startup+3.11193 s]
/proc/loadavg: 4.22 4.43 4.48 5/248 336642
/proc/meminfo: memFree=119352880/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17656 CPUtime=3.1 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 6665 0 0 0 308 2 0 0 20 0 2 0 61908079 108695552 4414 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4414 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=17440 CPUtime=3.04 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 4645 0 0 0 304 0 0 0 20 0 2 0 61908083 108695552 4414 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17656 KiB

[startup+6.30024 s]
/proc/loadavg: 4.20 4.42 4.47 5/248 336689
/proc/meminfo: memFree=119366748/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17656 CPUtime=6.31 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 8284 0 0 0 626 5 0 0 20 0 2 0 61908079 108695552 4414 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4414 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=17440 CPUtime=6.22 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 6259 0 0 0 622 0 0 0 20 0 2 0 61908083 108695552 4414 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 6.31 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17656 KiB

[startup+12.7002 s]
/proc/loadavg: 4.26 4.43 4.48 5/248 336690
/proc/meminfo: memFree=119366300/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17656 CPUtime=12.75 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 9853 0 0 0 1265 10 0 0 20 0 2 0 61908079 108695552 4414 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4414 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=17440 CPUtime=12.61 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 7823 0 0 0 1261 0 0 0 20 0 2 0 61908083 108695552 4414 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17656 KiB

[startup+25.5003 s]
/proc/loadavg: 4.36 4.44 4.48 5/248 336692
/proc/meminfo: memFree=119366056/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17656 CPUtime=25.62 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 12951 0 0 0 2543 19 0 0 20 0 2 0 61908079 108695552 4414 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4414 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=17440 CPUtime=25.38 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 10911 0 0 0 2538 0 0 0 20 0 2 0 61908083 108695552 4414 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 25.62 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17656 KiB

[startup+51.1116 s]
/proc/loadavg: 5.00 4.58 4.53 5/248 336696
/proc/meminfo: memFree=119365244/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17656 CPUtime=51.38 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 17607 0 0 0 5102 36 0 0 20 0 2 0 61908079 108695552 4414 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4414 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=17656 CPUtime=50.94 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 15550 0 0 0 5094 0 0 0 20 0 2 0 61908083 108695552 4414 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 51.38 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17656 KiB

[startup+102.3 s]
/proc/loadavg: 5.07 4.69 4.57 5/248 336705
/proc/meminfo: memFree=119364520/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17656 CPUtime=102.86 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 20703 0 0 0 10217 69 0 0 20 0 2 0 61908079 108695552 4414 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4414 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=17656 CPUtime=102.02 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 18636 0 0 0 10202 0 0 0 20 0 2 0 61908083 108695552 4414 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 102.86 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17656 KiB

[startup+162.3 s]
/proc/loadavg: 4.57 4.61 4.54 5/246 336717
/proc/meminfo: memFree=119363548/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17932 CPUtime=163.21 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 22971 0 0 0 16209 112 0 0 20 0 2 0 61908079 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4483 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=17656 CPUtime=161.91 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 20893 0 0 0 16190 1 0 0 20 0 2 0 61908083 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 163.21 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17932 KiB

[startup+222.3 s]
/proc/loadavg: 4.35 4.54 4.52 5/246 336728
/proc/meminfo: memFree=119362588/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17932 CPUtime=223.55 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 24104 0 0 0 22206 149 0 0 20 0 2 0 61908079 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4483 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=17932 CPUtime=221.79 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 22021 0 0 0 22178 1 0 0 20 0 2 0 61908083 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 223.55 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17932 KiB

[startup+282.3 s]
/proc/loadavg: 4.33 4.50 4.51 5/246 336738
/proc/meminfo: memFree=119362064/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17932 CPUtime=283.91 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 25237 0 0 0 28201 190 0 0 20 0 2 0 61908079 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4483 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=17932 CPUtime=281.67 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 23149 0 0 0 28166 1 0 0 20 0 2 0 61908083 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0

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

/proc/meminfo: memFree=119334208/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17932 CPUtime=2999.58 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 76266 0 0 0 297943 2015 0 0 20 0 2 0 61908079 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4483 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=11968 CPUtime=2976.37 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 73950 0 0 0 297633 4 0 0 20 0 2 0 61908083 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 2999.58 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17932 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.19 4.25 5/248 338430
/proc/meminfo: memFree=119333656/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17932 CPUtime=3059.93 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 77399 0 0 0 303933 2060 0 0 20 0 2 0 61908079 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4483 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=17932 CPUtime=3036.25 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 75078 0 0 0 303621 4 0 0 20 0 2 0 61908083 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 3059.93 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17932 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.17 4.24 5/247 338441
/proc/meminfo: memFree=119333112/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17932 CPUtime=3120.28 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 78532 0 0 0 309925 2103 0 0 20 0 2 0 61908079 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4483 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=17932 CPUtime=3096.13 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 76205 0 0 0 309609 4 0 0 20 0 2 0 61908083 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 3120.28 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17932 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.23 5/245 338453
/proc/meminfo: memFree=119332596/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17932 CPUtime=3180.63 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 79665 0 0 0 315915 2148 0 0 20 0 2 0 61908079 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4483 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=17932 CPUtime=3156.01 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 77333 0 0 0 315597 4 0 0 20 0 2 0 61908083 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 3180.63 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17932 KiB

[startup+3222.3 s]
/proc/loadavg: 4.37 4.21 4.24 5/245 338466
/proc/meminfo: memFree=119331984/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17932 CPUtime=3240.98 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 80798 0 0 0 321907 2191 0 0 20 0 2 0 61908079 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4483 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=17932 CPUtime=3215.89 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 78461 0 0 0 321585 4 0 0 20 0 2 0 61908083 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 3240.98 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17932 KiB

[startup+3282.3 s]
/proc/loadavg: 4.33 4.22 4.24 5/245 338477
/proc/meminfo: memFree=119331160/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17932 CPUtime=3301.33 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 81931 0 0 0 327900 2233 0 0 20 0 2 0 61908079 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4483 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=17932 CPUtime=3275.77 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 79589 0 0 0 327573 4 0 0 20 0 2 0 61908083 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 3301.33 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17932 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.19 4.23 5/246 338488
/proc/meminfo: memFree=119330560/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17932 CPUtime=3361.68 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 83064 0 0 0 333889 2279 0 0 20 0 2 0 61908079 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4483 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=17932 CPUtime=3335.65 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 80717 0 0 0 333561 4 0 0 20 0 2 0 61908083 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 3361.68 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17932 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.20 4.23 5/246 338499
/proc/meminfo: memFree=119329984/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17932 CPUtime=3422.02 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 84197 0 0 0 339875 2327 0 0 20 0 2 0 61908079 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4483 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=17932 CPUtime=3395.53 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 81845 0 0 0 339549 4 0 0 20 0 2 0 61908083 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 3422.02 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17932 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.18 4.22 5/249 338514
/proc/meminfo: memFree=119329296/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17932 CPUtime=3482.37 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 85330 0 0 0 345870 2367 0 0 20 0 2 0 61908079 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4483 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=17932 CPUtime=3455.42 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 82973 0 0 0 345538 4 0 0 20 0 2 0 61908083 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 3482.37 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17932 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.16 4.21 5/249 338525
/proc/meminfo: memFree=119328704/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17932 CPUtime=3542.72 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 86463 0 0 0 351860 2412 0 0 20 0 2 0 61908079 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4483 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=17932 CPUtime=3515.3 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 84101 0 0 0 351526 4 0 0 20 0 2 0 61908083 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 3542.72 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17932 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3579.3 s]
/proc/loadavg: 4.10 4.17 4.21 3/233 338597
/proc/meminfo: memFree=119334428/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17932 CPUtime=3600.06 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 87596 0 0 0 357547 2459 0 0 20 0 2 0 61908079 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4483 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=12132 CPUtime=3572.18 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 85229 0 0 0 357214 4 0 0 20 0 2 0 61908083 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17932 KiB

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

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

# cumulated CPU time of all completed processes:  user=3575.48 s, system=24.5929 s

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

[startup+3579.3 s]
/proc/loadavg: 4.10 4.17 4.21 3/233 338597
/proc/meminfo: memFree=119334428/131655788 swapFree=131071216/131071996
[pid=336640] ppid=336637 vsize=106148 memory=17932 CPUtime=3600.06 cores=4,6
/proc/336640/stat : 336640 (ParLS-PBO) S 336637 336640 332552 0 -1 1077936128 87596 0 0 0 357547 2459 0 0 20 0 2 0 61908079 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
/proc/336640/statm: 26537 4483 971 32 0 5748 0
[pid=336640/tid=336642] ppid=336637 vsize=106148 memory=12132 CPUtime=3572.18 cores=4,6
/proc/336640/task/336642/stat : 336642 (ParLS-PBO) R 336637 336640 332552 0 -1 4194368 85229 0 0 0 357214 4 0 0 20 0 2 0 61908083 108695552 4483 134679101440 4194304 4322517 140726687573376 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 30425088 140726687577101 140726687577221 140726687577221 140726687584236 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 106148 KiB
Current children cumulated memory: 17932 KiB

Child status: 0

Real time (s): 3579.31
CPU time (s): 3600.07
CPU user time (s): 3575.48
CPU system time (s): 24.5929
CPU usage (%): 100.58
Max. virtual memory (cumulated for all children) (KiB): 106148
Max. memory (cumulated for all children) (KiB): 17932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.48
system time used= 24.5929
maximum resident set size= 18188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87990
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= 3258285
involuntary context switches= 1851


# summary of solver processes directly reported to runsolver:
#   pid: 336640
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3575.48
#   total CPU system time (s): 24.5929

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.799 second user time and 30.3704 second system time

The end