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: 63794 MiB (61913 MiB free)
  memory of node 1: 64507 MiB (53069 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521107-1751580736/watcher-4521107-1751580736 -o /tmp/evaluation-result-4521107-1751580736/solver-4521107-1751580736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751580736-87549 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4521107-1751580736.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=87602, runsolver pid=87599
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 1.06 1.80 2.67 5/255 87610
/proc/meminfo: memFree=117736200/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87605] ppid=87602 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/87605/stat : 87605 (timeout) S 87602 87605 87536 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73753417 2723840 320 18446744073709551615 94603201024000 94603201040513 140723010305792 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94603201055280 94603201057368 94603201273856 140723010308528 140723010308642 140723010308642 140723010314215 0
/proc/87605/statm: 665 320 320 5 0 90 0
[pid=87606] ppid=87605 vsize=30128 memory=15580 CPUtime=0.06 cores=5,7
/proc/87606/stat : 87606 (NuPBO-DeepOptS+) R 87605 87605 87536 0 -1 4194304 1976 0 0 0 6 0 0 0 20 0 1 0 73753418 30851072 3895 18446744073709551615 4198400 15468185 140731867894272 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46796800 140731867900348 140731867900449 140731867900449 140731867906022 0
/proc/87606/statm: 7532 3895 1088 2752 0 4185 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 37112 KiB
Current children cumulated memory: 19804 KiB

[startup+0.216508 s]*
/proc/loadavg: 1.06 1.80 2.67 5/259 87618
/proc/meminfo: memFree=117705264/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87605] ppid=87602 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/87605/stat : 87605 (timeout) S 87602 87605 87536 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73753417 2723840 320 18446744073709551615 94603201024000 94603201040513 140723010305792 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94603201055280 94603201057368 94603201273856 140723010308528 140723010308642 140723010308642 140723010314215 0
/proc/87605/statm: 665 320 320 5 0 90 0
[pid=87606] ppid=87605 vsize=31664 memory=16316 CPUtime=0.18 cores=5,7
/proc/87606/stat : 87606 (NuPBO-DeepOptS+) R 87605 87605 87536 0 -1 4194304 2562 0 0 0 18 0 0 0 20 0 1 0 73753418 32423936 4079 18446744073709551615 4198400 15468185 140731867894272 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46796800 140731867900348 140731867900449 140731867900449 140731867906022 0
/proc/87606/statm: 7916 4079 1088 2752 0 4569 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 38648 KiB
Current children cumulated memory: 20540 KiB

[startup+0.314716 s]*
/proc/loadavg: 1.06 1.80 2.67 5/259 87618
/proc/meminfo: memFree=117705264/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87605] ppid=87602 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/87605/stat : 87605 (timeout) S 87602 87605 87536 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73753417 2723840 320 18446744073709551615 94603201024000 94603201040513 140723010305792 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94603201055280 94603201057368 94603201273856 140723010308528 140723010308642 140723010308642 140723010314215 0
/proc/87605/statm: 665 320 320 5 0 90 0
[pid=87606] ppid=87605 vsize=31664 memory=17084 CPUtime=0.28 cores=5,7
/proc/87606/stat : 87606 (NuPBO-DeepOptS+) R 87605 87605 87536 0 -1 4194304 2742 0 0 0 27 1 0 0 20 0 1 0 73753418 32423936 4271 18446744073709551615 4198400 15468185 140731867894272 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46796800 140731867900348 140731867900449 140731867900449 140731867906022 0
/proc/87606/statm: 7916 4271 1088 2752 0 4569 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 38648 KiB
Current children cumulated memory: 21308 KiB

[startup+0.700414 s]
/proc/loadavg: 1.06 1.80 2.67 5/259 87618
/proc/meminfo: memFree=117689072/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87605] ppid=87602 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/87605/stat : 87605 (timeout) S 87602 87605 87536 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73753417 2723840 320 18446744073709551615 94603201024000 94603201040513 140723010305792 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94603201055280 94603201057368 94603201273856 140723010308528 140723010308642 140723010308642 140723010314215 0
/proc/87605/statm: 665 320 320 5 0 90 0
[pid=87606] ppid=87605 vsize=37808 memory=21168 CPUtime=0.65 cores=5,7
/proc/87606/stat : 87606 (NuPBO-DeepOptS+) R 87605 87605 87536 0 -1 4194304 3751 0 0 0 64 1 0 0 20 0 1 0 73753418 38715392 5292 18446744073709551615 4198400 15468185 140731867894272 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46796800 140731867900348 140731867900449 140731867900449 140731867906022 0
/proc/87606/statm: 9452 5292 1088 2752 0 6105 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 44792 KiB
Current children cumulated memory: 25392 KiB

[startup+1.50046 s]
/proc/loadavg: 1.06 1.80 2.67 5/259 87618
/proc/meminfo: memFree=117648876/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87605] ppid=87602 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/87605/stat : 87605 (timeout) S 87602 87605 87536 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73753417 2723840 320 18446744073709551615 94603201024000 94603201040513 140723010305792 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94603201055280 94603201057368 94603201273856 140723010308528 140723010308642 140723010308642 140723010314215 0
/proc/87605/statm: 665 320 320 5 0 90 0
[pid=87606] ppid=87605 vsize=46000 memory=31412 CPUtime=1.44 cores=5,7
/proc/87606/stat : 87606 (NuPBO-DeepOptS+) R 87605 87605 87536 0 -1 4194304 4273 0 0 0 142 2 0 0 20 0 1 0 73753418 47104000 7853 18446744073709551615 4198400 15468185 140731867894272 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46796800 140731867900348 140731867900449 140731867900449 140731867906022 0
/proc/87606/statm: 11500 7853 1088 2752 0 8153 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 52984 KiB
Current children cumulated memory: 35636 KiB

[startup+3.11383 s]
/proc/loadavg: 1.06 1.80 2.67 5/259 87618
/proc/meminfo: memFree=117476828/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87605] ppid=87602 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/87605/stat : 87605 (timeout) S 87602 87605 87536 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73753417 2723840 320 18446744073709551615 94603201024000 94603201040513 140723010305792 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94603201055280 94603201057368 94603201273856 140723010308528 140723010308642 140723010308642 140723010314215 0
/proc/87605/statm: 665 320 320 5 0 90 0
[pid=87606] ppid=87605 vsize=163284 memory=136496 CPUtime=3.06 cores=5,7
/proc/87606/stat : 87606 (NuPBO-DeepOptS+) R 87605 87605 87536 0 -1 4194304 13525 0 0 0 299 7 0 0 20 0 1 0 73753418 167202816 34124 18446744073709551615 4198400 15468185 140731867894272 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46796800 140731867900348 140731867900449 140731867900449 140731867906022 0
/proc/87606/statm: 40821 34124 1152 2752 0 37474 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 170268 KiB
Current children cumulated memory: 140720 KiB

[startup+6.30051 s]
/proc/loadavg: 1.38 1.85 2.68 5/259 87618
/proc/meminfo: memFree=117290272/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87605] ppid=87602 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/87605/stat : 87605 (timeout) S 87602 87605 87536 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73753417 2723840 320 18446744073709551615 94603201024000 94603201040513 140723010305792 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94603201055280 94603201057368 94603201273856 140723010308528 140723010308642 140723010308642 140723010314215 0
/proc/87605/statm: 665 320 320 5 0 90 0
[pid=87606] ppid=87605 vsize=163284 memory=136496 CPUtime=6.24 cores=5,7
/proc/87606/stat : 87606 (NuPBO-DeepOptS+) R 87605 87605 87536 0 -1 4194304 13546 0 0 0 617 7 0 0 20 0 1 0 73753418 167202816 34124 18446744073709551615 4198400 15468185 140731867894272 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46796800 140731867900348 140731867900449 140731867900449 140731867906022 0
/proc/87606/statm: 40821 34124 1152 2752 0 37474 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 170268 KiB
Current children cumulated memory: 140720 KiB

[startup+12.7005 s]
/proc/loadavg: 1.59 1.89 2.69 5/259 87618
/proc/meminfo: memFree=116909368/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87605] ppid=87602 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/87605/stat : 87605 (timeout) S 87602 87605 87536 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73753417 2723840 320 18446744073709551615 94603201024000 94603201040513 140723010305792 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94603201055280 94603201057368 94603201273856 140723010308528 140723010308642 140723010308642 140723010314215 0
/proc/87605/statm: 665 320 320 5 0 90 0
[pid=87606] ppid=87605 vsize=903248 memory=823808 CPUtime=12.62 cores=5,7
/proc/87606/stat : 87606 (NuPBO-DeepOptS+) R 87605 87605 87536 0 -1 4194304 128280 0 0 0 1234 28 0 0 20 0 1 0 73753418 924925952 205952 18446744073709551615 4198400 15468185 140731867894272 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46796800 140731867900348 140731867900449 140731867900449 140731867906022 0
/proc/87606/statm: 225812 205952 2720 2752 0 222465 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 910232 KiB
Current children cumulated memory: 828032 KiB

[startup+25.5006 s]
/proc/loadavg: 2.12 1.99 2.71 5/259 87618
/proc/meminfo: memFree=116365764/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87605] ppid=87602 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/87605/stat : 87605 (timeout) S 87602 87605 87536 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73753417 2723840 320 18446744073709551615 94603201024000 94603201040513 140723010305792 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94603201055280 94603201057368 94603201273856 140723010308528 140723010308642 140723010308642 140723010314215 0
/proc/87605/statm: 665 320 320 5 0 90 0
[pid=87606] ppid=87605 vsize=1164892 memory=1081696 CPUtime=25.38 cores=5,7
/proc/87606/stat : 87606 (NuPBO-DeepOptS+) R 87605 87605 87536 0 -1 4194304 161122 0 0 0 2503 35 0 0 20 0 1 0 73753418 1192849408 270424 18446744073709551615 4198400 15468185 140731867894272 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46796800 140731867900348 140731867900449 140731867900449 140731867906022 0
/proc/87606/statm: 291223 270424 2784 2752 0 287876 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1171876 KiB
Current children cumulated memory: 1085920 KiB

[startup+51.114 s]
/proc/loadavg: 2.85 2.17 2.75 5/259 87619
/proc/meminfo: memFree=114604480/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87605] ppid=87602 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/87605/stat : 87605 (timeout) S 87602 87605 87536 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 73753417 2723840 320 18446744073709551615 94603201024000 94603201040513 140723010305792 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94603201055280 94603201057368 94603201273856 140723010308528 140723010308642 140723010308642 140723010314215 0
/proc/87605/statm: 665 320 320 5 0 90 0
[pid=87606] ppid=87605 vsize=1168388 memory=1087244 CPUtime=50.91 cores=5,7
/proc/87606/stat : 87606 (NuPBO-DeepOptS+) R 87605 87605 87536 0 -1 4194304 162016 0 0 0 5055 36 0 0 20 0 1 0 73753418 1196429312 271811 18446744073709551615 4198400 15468185 140731867894272 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 46796800 140731867900348 140731867900449 140731867900449 140731867906022 0
/proc/87606/statm: 292097 271811 2816 2752 0 288750 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1175372 KiB
Current children cumulated memory: 1091468 KiB

[startup+102.301 s]
/proc/loadavg: 3.57 2.47 2.83 5/259 87621
/proc/meminfo: memFree=114640204/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 244 105 0 0 0 0 0 0 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87605] ppid=87602 vsize=2660 memory=1280 CPUtime=0 cores=5,7

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

/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87748] ppid=87602 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/87748/stat : 87748 (timeout) S 87602 87748 87536 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 73993222 2723840 352 18446744073709551615 94367232454656 94367232471169 140727284713248 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94367232485936 94367232488024 94367244279808 140727284717955 140727284718114 140727284718114 140727284723687 0
/proc/87748/statm: 665 352 352 5 0 90 0
[pid=87749] ppid=87748 vsize=360900 memory=297008 CPUtime=1001.36 cores=5,7
/proc/87749/stat : 87749 (ExactPR-nols) R 87748 87748 87536 0 -1 4194304 31725 0 0 0 100076 60 0 0 20 0 1 0 73993223 369561600 74252 18446744073709551615 94516766220288 94516775519941 140721170291040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94516777306432 94516777345512 94516801429504 140721170299288 140721170299428 140721170299428 140721170305001 0
/proc/87749/statm: 90225 74252 1888 2271 0 84863 0
Current children cumulated CPU time: 3392.64 s
Current children cumulated vsize: 367884 KiB
Current children cumulated memory: 301360 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/259 87917
/proc/meminfo: memFree=116781528/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=2391.28 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 280 223149 0 0 0 0 239073 55 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87748] ppid=87602 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/87748/stat : 87748 (timeout) S 87602 87748 87536 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 73993222 2723840 352 18446744073709551615 94367232454656 94367232471169 140727284713248 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94367232485936 94367232488024 94367244279808 140727284717955 140727284718114 140727284718114 140727284723687 0
/proc/87748/statm: 665 352 352 5 0 90 0
[pid=87749] ppid=87748 vsize=360900 memory=297008 CPUtime=1061.22 cores=5,7
/proc/87749/stat : 87749 (ExactPR-nols) R 87748 87748 87536 0 -1 4194304 31727 0 0 0 106062 60 0 0 20 0 1 0 73993223 369561600 74252 18446744073709551615 94516766220288 94516775519941 140721170291040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94516777306432 94516777345512 94516801429504 140721170299288 140721170299428 140721170299428 140721170305001 0
/proc/87749/statm: 90225 74252 1888 2271 0 84863 0
Current children cumulated CPU time: 3452.5 s
Current children cumulated vsize: 367884 KiB
Current children cumulated memory: 301360 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.17 4.17 5/258 87919
/proc/meminfo: memFree=116781652/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=2391.28 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 280 223149 0 0 0 0 239073 55 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87748] ppid=87602 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/87748/stat : 87748 (timeout) S 87602 87748 87536 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 73993222 2723840 352 18446744073709551615 94367232454656 94367232471169 140727284713248 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94367232485936 94367232488024 94367244279808 140727284717955 140727284718114 140727284718114 140727284723687 0
/proc/87748/statm: 665 352 352 5 0 90 0
[pid=87749] ppid=87748 vsize=360900 memory=297008 CPUtime=1121.07 cores=5,7
/proc/87749/stat : 87749 (ExactPR-nols) R 87748 87748 87536 0 -1 4194304 31727 0 0 0 112047 60 0 0 20 0 1 0 73993223 369561600 74252 18446744073709551615 94516766220288 94516775519941 140721170291040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94516777306432 94516777345512 94516801429504 140721170299288 140721170299428 140721170299428 140721170305001 0
/proc/87749/statm: 90225 74252 1888 2271 0 84863 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 367884 KiB
Current children cumulated memory: 301360 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.18 4.18 5/259 87926
/proc/meminfo: memFree=116765624/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=2391.28 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 280 223149 0 0 0 0 239073 55 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87748] ppid=87602 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/87748/stat : 87748 (timeout) S 87602 87748 87536 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 73993222 2723840 352 18446744073709551615 94367232454656 94367232471169 140727284713248 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94367232485936 94367232488024 94367244279808 140727284717955 140727284718114 140727284718114 140727284723687 0
/proc/87748/statm: 665 352 352 5 0 90 0
[pid=87749] ppid=87748 vsize=360900 memory=297008 CPUtime=1180.92 cores=5,7
/proc/87749/stat : 87749 (ExactPR-nols) R 87748 87748 87536 0 -1 4194304 31797 0 0 0 118032 60 0 0 20 0 1 0 73993223 369561600 74252 18446744073709551615 94516766220288 94516775519941 140721170291040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94516777306432 94516777345512 94516801429504 140721170299288 140721170299428 140721170299428 140721170305001 0
/proc/87749/statm: 90225 74252 1888 2271 0 84863 0
Current children cumulated CPU time: 3572.2 s
Current children cumulated vsize: 367884 KiB
Current children cumulated memory: 301360 KiB

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

# cumulated CPU time of all completed processes:  user=3584.84 s, system=1.20596 s

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

[startup+3584 s]*
/proc/loadavg: 4.19 4.18 4.18 5/259 87926
/proc/meminfo: memFree=116765624/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=2391.28 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 280 223149 0 0 0 0 239073 55 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87748] ppid=87602 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/87748/stat : 87748 (timeout) S 87602 87748 87536 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 73993222 2723840 352 18446744073709551615 94367232454656 94367232471169 140727284713248 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94367232485936 94367232488024 94367244279808 140727284717955 140727284718114 140727284718114 140727284723687 0
/proc/87748/statm: 665 352 352 5 0 90 0
[pid=87749] ppid=87748 vsize=360900 memory=297008 CPUtime=1182.62 cores=5,7
/proc/87749/stat : 87749 (ExactPR-nols) R 87748 87748 87536 0 -1 4194304 31803 0 0 0 118202 60 0 0 20 0 1 0 73993223 369561600 74252 18446744073709551615 94516766220288 94516775519941 140721170291040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94516777306432 94516777345512 94516801429504 140721170299288 140721170299428 140721170299428 140721170305001 0
/proc/87749/statm: 90225 74252 1888 2271 0 84863 0
Current children cumulated CPU time: 3573.9 s
Current children cumulated vsize: 367884 KiB
Current children cumulated memory: 301360 KiB

[startup+3590.4 s]
/proc/loadavg: 4.16 4.17 4.18 5/259 87927
/proc/meminfo: memFree=116765876/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=2391.28 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 280 223149 0 0 0 0 239073 55 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87748] ppid=87602 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/87748/stat : 87748 (timeout) S 87602 87748 87536 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 73993222 2723840 352 18446744073709551615 94367232454656 94367232471169 140727284713248 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94367232485936 94367232488024 94367244279808 140727284717955 140727284718114 140727284718114 140727284723687 0
/proc/87748/statm: 665 352 352 5 0 90 0
[pid=87749] ppid=87748 vsize=360900 memory=297008 CPUtime=1189 cores=5,7
/proc/87749/stat : 87749 (ExactPR-nols) R 87748 87748 87536 0 -1 4194304 31803 0 0 0 118840 60 0 0 20 0 1 0 73993223 369561600 74252 18446744073709551615 94516766220288 94516775519941 140721170291040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94516777306432 94516777345512 94516801429504 140721170299288 140721170299428 140721170299428 140721170305001 0
/proc/87749/statm: 90225 74252 1888 2271 0 84863 0
Current children cumulated CPU time: 3580.28 s
Current children cumulated vsize: 367884 KiB
Current children cumulated memory: 301360 KiB

[startup+3593.6 s]
/proc/loadavg: 4.16 4.17 4.18 5/259 87927
/proc/meminfo: memFree=116767904/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=2391.28 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 280 223149 0 0 0 0 239073 55 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87748] ppid=87602 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/87748/stat : 87748 (timeout) S 87602 87748 87536 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 73993222 2723840 352 18446744073709551615 94367232454656 94367232471169 140727284713248 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94367232485936 94367232488024 94367244279808 140727284717955 140727284718114 140727284718114 140727284723687 0
/proc/87748/statm: 665 352 352 5 0 90 0
[pid=87749] ppid=87748 vsize=360900 memory=297008 CPUtime=1192.19 cores=5,7
/proc/87749/stat : 87749 (ExactPR-nols) R 87748 87748 87536 0 -1 4194304 31804 0 0 0 119159 60 0 0 20 0 1 0 73993223 369561600 74252 18446744073709551615 94516766220288 94516775519941 140721170291040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94516777306432 94516777345512 94516801429504 140721170299288 140721170299428 140721170299428 140721170305001 0
/proc/87749/statm: 90225 74252 1888 2271 0 84863 0
Current children cumulated CPU time: 3583.47 s
Current children cumulated vsize: 367884 KiB
Current children cumulated memory: 301360 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.17 4.17 5/259 87927
/proc/meminfo: memFree=116767904/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=2391.28 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 280 223149 0 0 0 0 239073 55 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87748] ppid=87602 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/87748/stat : 87748 (timeout) S 87602 87748 87536 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 73993222 2723840 352 18446744073709551615 94367232454656 94367232471169 140727284713248 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94367232485936 94367232488024 94367244279808 140727284717955 140727284718114 140727284718114 140727284723687 0
/proc/87748/statm: 665 352 352 5 0 90 0
[pid=87749] ppid=87748 vsize=360900 memory=297008 CPUtime=1193.78 cores=5,7
/proc/87749/stat : 87749 (ExactPR-nols) R 87748 87748 87536 0 -1 4194304 31804 0 0 0 119318 60 0 0 20 0 1 0 73993223 369561600 74252 18446744073709551615 94516766220288 94516775519941 140721170291040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94516777306432 94516777345512 94516801429504 140721170299288 140721170299428 140721170299428 140721170305001 0
/proc/87749/statm: 90225 74252 1888 2271 0 84863 0
Current children cumulated CPU time: 3585.06 s
Current children cumulated vsize: 367884 KiB
Current children cumulated memory: 301360 KiB

[startup+3596 s]*
/proc/loadavg: 4.15 4.17 4.17 5/259 87927
/proc/meminfo: memFree=116767904/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=2391.28 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 280 223149 0 0 0 0 239073 55 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
[pid=87748] ppid=87602 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/87748/stat : 87748 (timeout) S 87602 87748 87536 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 73993222 2723840 352 18446744073709551615 94367232454656 94367232471169 140727284713248 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94367232485936 94367232488024 94367244279808 140727284717955 140727284718114 140727284718114 140727284723687 0
/proc/87748/statm: 665 352 352 5 0 90 0
[pid=87749] ppid=87748 vsize=360900 memory=297008 CPUtime=1194.59 cores=5,7
/proc/87749/stat : 87749 (ExactPR-nols) R 87748 87748 87536 0 -1 4194304 31804 0 0 0 119399 60 0 0 20 0 1 0 73993223 369561600 74252 18446744073709551615 94516766220288 94516775519941 140721170291040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94516777306432 94516777345512 94516801429504 140721170299288 140721170299428 140721170299428 140721170305001 0
/proc/87749/statm: 90225 74252 1888 2271 0 84863 0
Current children cumulated CPU time: 3585.87 s
Current children cumulated vsize: 367884 KiB
Current children cumulated memory: 301360 KiB

[startup+3596.2 s]
/proc/loadavg: 4.15 4.17 4.17 5/259 87927
/proc/meminfo: memFree=116767904/131382112 swapFree=33010160/33010684
[pid=87602] ppid=87599 vsize=4324 memory=2944 CPUtime=3586.02 cores=5,7
/proc/87602/stat : 87602 (Hybrid-NuPBODee) S 87599 87602 87536 0 -1 4194304 464 257671 0 0 0 0 358483 119 20 0 1 0 73753414 4427776 736 18446744073709551615 94567409119232 94567410013765 140736210656352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94567410252816 94567410300560 94567431663616 140736210659675 140736210659827 140736210659827 140736210665429 0
/proc/87602/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3586.02 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.23
CPU time (s): 3586.04
CPU user time (s): 3584.84
CPU system time (s): 1.20596
CPU usage (%): 99.7167
Max. virtual memory (cumulated for all children) (KiB): 1430304
Max. memory (cumulated for all children) (KiB): 1335564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.84
system time used= 1.20596
maximum resident set size= 1331340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258488
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1843
involuntary context switches= 1249


# summary of solver processes directly reported to runsolver:
#   pid: 87602
#   total CPU time (s): 3586.04
#   total CPU user time (s): 3584.84
#   total CPU system time (s): 1.20596

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4747 second user time and 42.7457 second system time

The end