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: 63708 MiB (62351 MiB free)
  memory of node 1: 64465 MiB (63816 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=63236, runsolver pid=63225
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 1.50 3.37 3.85 6/273 63258
/proc/meminfo: memFree=129184340/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63246] ppid=63236 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/63246/stat : 63246 (timeout) S 63236 63246 62332 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 93948855128064 93948855144577 140734979771632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93948855159344 93948855161432 93948867108864 140734979778992 140734979779106 140734979779106 140734979784679 0
/proc/63246/statm: 665 320 320 5 0 90 0
[pid=63249] ppid=63246 vsize=21888 memory=7504 CPUtime=0.06 cores=4,6
/proc/63249/stat : 63249 (NuPBO-DeepOptS+) R 63246 63246 62332 0 -1 4194304 941 0 0 0 6 0 0 0 20 0 1 0 59365973 22413312 1876 18446744073709551615 4198400 15468185 140725426890384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35004416 140725426899388 140725426899489 140725426899489 140725426905062 0
/proc/63249/statm: 5472 1876 1152 2752 0 2125 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 28872 KiB
Current children cumulated memory: 11728 KiB

[startup+0.205089 s]*
/proc/loadavg: 1.50 3.37 3.85 6/273 63258
/proc/meminfo: memFree=129161612/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63246] ppid=63236 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/63246/stat : 63246 (timeout) S 63236 63246 62332 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 93948855128064 93948855144577 140734979771632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93948855159344 93948855161432 93948867108864 140734979778992 140734979779106 140734979779106 140734979784679 0
/proc/63246/statm: 665 320 320 5 0 90 0
[pid=63249] ppid=63246 vsize=37600 memory=27600 CPUtime=0.16 cores=4,6
/proc/63249/stat : 63249 (NuPBO-DeepOptS+) R 63246 63246 62332 0 -1 4194304 4560 0 0 0 16 0 0 0 20 0 1 0 59365973 38502400 6900 18446744073709551615 4198400 15468185 140725426890384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35004416 140725426899388 140725426899489 140725426899489 140725426905062 0
/proc/63249/statm: 9400 6900 2656 2752 0 6053 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 44584 KiB
Current children cumulated memory: 31824 KiB

[startup+0.305117 s]*
/proc/loadavg: 1.50 3.37 3.85 6/273 63258
/proc/meminfo: memFree=129140820/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63246] ppid=63236 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/63246/stat : 63246 (timeout) S 63236 63246 62332 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 93948855128064 93948855144577 140734979771632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93948855159344 93948855161432 93948867108864 140734979778992 140734979779106 140734979779106 140734979784679 0
/proc/63246/statm: 665 320 320 5 0 90 0
[pid=63249] ppid=63246 vsize=51360 memory=41424 CPUtime=0.26 cores=4,6
/proc/63249/stat : 63249 (NuPBO-DeepOptS+) R 63246 63246 62332 0 -1 4194304 7885 0 0 0 26 0 0 0 20 0 1 0 59365973 52592640 10356 18446744073709551615 4198400 15468185 140725426890384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35004416 140725426899388 140725426899489 140725426899489 140725426905062 0
/proc/63249/statm: 12840 10356 2816 2752 0 9493 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 58344 KiB
Current children cumulated memory: 45648 KiB

[startup+0.700183 s]
/proc/loadavg: 1.50 3.37 3.85 6/273 63258
/proc/meminfo: memFree=129090100/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63246] ppid=63236 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/63246/stat : 63246 (timeout) S 63236 63246 62332 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 93948855128064 93948855144577 140734979771632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93948855159344 93948855161432 93948867108864 140734979778992 140734979779106 140734979779106 140734979784679 0
/proc/63246/statm: 665 320 320 5 0 90 0
[pid=63249] ppid=63246 vsize=56472 memory=44880 CPUtime=0.65 cores=4,6
/proc/63249/stat : 63249 (NuPBO-DeepOptS+) R 63246 63246 62332 0 -1 4194304 8779 0 0 0 65 0 0 0 20 0 1 0 59365973 57827328 11220 18446744073709551615 4198400 15468185 140725426890384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35004416 140725426899388 140725426899489 140725426899489 140725426905062 0
/proc/63249/statm: 14118 11220 2816 2752 0 10771 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 63456 KiB
Current children cumulated memory: 49104 KiB

[startup+1.50018 s]
/proc/loadavg: 1.50 3.37 3.85 6/273 63258
/proc/meminfo: memFree=129033584/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63246] ppid=63236 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/63246/stat : 63246 (timeout) S 63236 63246 62332 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 93948855128064 93948855144577 140734979771632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93948855159344 93948855161432 93948867108864 140734979778992 140734979779106 140734979779106 140734979784679 0
/proc/63246/statm: 665 320 320 5 0 90 0
[pid=63249] ppid=63246 vsize=68224 memory=54096 CPUtime=1.45 cores=4,6
/proc/63249/stat : 63249 (NuPBO-DeepOptS+) R 63246 63246 62332 0 -1 4194304 11062 0 0 0 144 1 0 0 20 0 1 0 59365973 69861376 13524 18446744073709551615 4198400 15468185 140725426890384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35004416 140725426899388 140725426899489 140725426899489 140725426905062 0
/proc/63249/statm: 17056 13524 2816 2752 0 13709 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 75208 KiB
Current children cumulated memory: 58320 KiB

[startup+3.10485 s]
/proc/loadavg: 1.50 3.37 3.85 6/273 63258
/proc/meminfo: memFree=128494092/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63246] ppid=63236 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/63246/stat : 63246 (timeout) S 63236 63246 62332 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 93948855128064 93948855144577 140734979771632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93948855159344 93948855161432 93948867108864 140734979778992 140734979779106 140734979779106 140734979784679 0
/proc/63246/statm: 665 320 320 5 0 90 0
[pid=63249] ppid=63246 vsize=74856 memory=59748 CPUtime=3.05 cores=4,6
/proc/63249/stat : 63249 (NuPBO-DeepOptS+) R 63246 63246 62332 0 -1 4194304 13649 0 0 0 304 1 0 0 20 0 1 0 59365973 76652544 14937 18446744073709551615 4198400 15468185 140725426890384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35004416 140725426899388 140725426899489 140725426899489 140725426905062 0
/proc/63249/statm: 18714 14937 2816 2752 0 15367 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 81840 KiB
Current children cumulated memory: 63972 KiB

[startup+6.3002 s]
/proc/loadavg: 1.70 3.38 3.85 6/271 63258
/proc/meminfo: memFree=127970084/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63246] ppid=63236 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/63246/stat : 63246 (timeout) S 63236 63246 62332 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 93948855128064 93948855144577 140734979771632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93948855159344 93948855161432 93948867108864 140734979778992 140734979779106 140734979779106 140734979784679 0
/proc/63246/statm: 665 320 320 5 0 90 0
[pid=63249] ppid=63246 vsize=74856 memory=59748 CPUtime=6.23 cores=4,6
/proc/63249/stat : 63249 (NuPBO-DeepOptS+) R 63246 63246 62332 0 -1 4194304 13671 0 0 0 622 1 0 0 20 0 1 0 59365973 76652544 14937 18446744073709551615 4198400 15468185 140725426890384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35004416 140725426899388 140725426899489 140725426899489 140725426905062 0
/proc/63249/statm: 18714 14937 2816 2752 0 15367 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 81840 KiB
Current children cumulated memory: 63972 KiB

[startup+12.7002 s]
/proc/loadavg: 1.89 3.39 3.85 6/271 63258
/proc/meminfo: memFree=127029092/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63246] ppid=63236 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/63246/stat : 63246 (timeout) S 63236 63246 62332 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 93948855128064 93948855144577 140734979771632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93948855159344 93948855161432 93948867108864 140734979778992 140734979779106 140734979779106 140734979784679 0
/proc/63246/statm: 665 320 320 5 0 90 0
[pid=63249] ppid=63246 vsize=82136 memory=67396 CPUtime=12.62 cores=4,6
/proc/63249/stat : 63249 (NuPBO-DeepOptS+) R 63246 63246 62332 0 -1 4194304 16224 0 0 0 1260 2 0 0 20 0 1 0 59365973 84107264 16849 18446744073709551615 4198400 15468185 140725426890384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35004416 140725426899388 140725426899489 140725426899489 140725426905062 0
/proc/63249/statm: 20534 16849 2816 2752 0 17187 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 89120 KiB
Current children cumulated memory: 71620 KiB

[startup+25.5002 s]
/proc/loadavg: 2.36 3.42 3.85 6/271 63258
/proc/meminfo: memFree=126533972/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63246] ppid=63236 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/63246/stat : 63246 (timeout) S 63236 63246 62332 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 93948855128064 93948855144577 140734979771632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93948855159344 93948855161432 93948867108864 140734979778992 140734979779106 140734979779106 140734979784679 0
/proc/63246/statm: 665 320 320 5 0 90 0
[pid=63249] ppid=63246 vsize=103528 memory=87996 CPUtime=25.38 cores=4,6
/proc/63249/stat : 63249 (NuPBO-DeepOptS+) R 63246 63246 62332 0 -1 4194304 23581 0 0 0 2535 3 0 0 20 0 1 0 59365973 106012672 21999 18446744073709551615 4198400 15468185 140725426890384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35004416 140725426899388 140725426899489 140725426899489 140725426905062 0
/proc/63249/statm: 25882 21999 2848 2752 0 22535 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 110512 KiB
Current children cumulated memory: 92220 KiB

[startup+51.1055 s]
/proc/loadavg: 2.92 3.47 3.86 6/271 63259
/proc/meminfo: memFree=126203868/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63246] ppid=63236 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/63246/stat : 63246 (timeout) S 63236 63246 62332 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 93948855128064 93948855144577 140734979771632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93948855159344 93948855161432 93948867108864 140734979778992 140734979779106 140734979779106 140734979784679 0
/proc/63246/statm: 665 320 320 5 0 90 0
[pid=63249] ppid=63246 vsize=149980 memory=133064 CPUtime=50.92 cores=4,6
/proc/63249/stat : 63249 (NuPBO-DeepOptS+) R 63246 63246 62332 0 -1 4194304 36796 0 0 0 5087 5 0 0 20 0 1 0 59365973 153579520 33266 18446744073709551615 4198400 15468185 140725426890384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35004416 140725426899388 140725426899489 140725426899489 140725426905062 0
/proc/63249/statm: 37495 33266 2848 2752 0 34148 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 156964 KiB
Current children cumulated memory: 137288 KiB

[startup+102.3 s]
/proc/loadavg: 3.58 3.57 3.87 8/272 63262
/proc/meminfo: memFree=126007332/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63246] ppid=63236 vsize=2660 memory=1280 CPUtime=0 cores=4,6

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

/proc/63249/statm: 51123 49176 2848 2752 0 47776 0
Current children cumulated CPU time: 2256.31 s
Current children cumulated vsize: 211476 KiB
Current children cumulated memory: 200928 KiB

[startup+2322.3 s]
/proc/loadavg: 4.13 4.13 4.09 6/271 63360
/proc/meminfo: memFree=125448284/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63246] ppid=63236 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/63246/stat : 63246 (timeout) S 63236 63246 62332 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 93948855128064 93948855144577 140734979771632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93948855159344 93948855161432 93948867108864 140734979778992 140734979779106 140734979779106 140734979784679 0
/proc/63246/statm: 665 320 320 5 0 90 0
[pid=63249] ppid=63246 vsize=204492 memory=196704 CPUtime=2316.16 cores=4,6
/proc/63249/stat : 63249 (NuPBO-DeepOptS+) R 63246 63246 62332 0 -1 4194304 54891 0 0 0 231608 8 0 0 20 0 1 0 59365973 209399808 49176 18446744073709551615 4198400 15468185 140725426890384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35004416 140725426899388 140725426899489 140725426899489 140725426905062 0
/proc/63249/statm: 51123 49176 2848 2752 0 47776 0
Current children cumulated CPU time: 2316.16 s
Current children cumulated vsize: 211476 KiB
Current children cumulated memory: 200928 KiB

[startup+2382.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/271 63362
/proc/meminfo: memFree=125427936/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 246 105 0 0 0 0 0 0 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63246] ppid=63236 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/63246/stat : 63246 (timeout) S 63236 63246 62332 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59365972 2723840 320 18446744073709551615 93948855128064 93948855144577 140734979771632 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 93948855159344 93948855161432 93948867108864 140734979778992 140734979779106 140734979779106 140734979784679 0
/proc/63246/statm: 665 320 320 5 0 90 0
[pid=63249] ppid=63246 vsize=204492 memory=196704 CPUtime=2376.01 cores=4,6
/proc/63249/stat : 63249 (NuPBO-DeepOptS+) R 63246 63246 62332 0 -1 4194304 54893 0 0 0 237593 8 0 0 20 0 1 0 59365973 209399808 49176 18446744073709551615 4198400 15468185 140725426890384 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 35004416 140725426899388 140725426899489 140725426899489 140725426905062 0
/proc/63249/statm: 51123 49176 2848 2752 0 47776 0
Current children cumulated CPU time: 2376.01 s
Current children cumulated vsize: 211476 KiB
Current children cumulated memory: 200928 KiB

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

# cumulated CPU time of all completed processes:  user=2414.97 s, system=0.259081 s

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

[startup+2406.4 s]
/proc/loadavg: 4.14 4.12 4.09 6/271 63375
/proc/meminfo: memFree=128645032/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=2391.72 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 281 55152 0 0 0 0 239163 9 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63364] ppid=63236 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/63364/stat : 63364 (timeout) S 63236 63364 62332 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59605773 2723840 352 18446744073709551615 94053969334272 94053969350785 140724416027616 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94053969365552 94053969367640 94053970235392 140724416035203 140724416035362 140724416035362 140724416040935 0
/proc/63364/statm: 665 352 352 5 0 90 0
[pid=63366] ppid=63364 vsize=86280 memory=52976 CPUtime=8.31 cores=4,6
/proc/63366/stat : 63366 (ExactPR-nols) R 63364 63364 62332 0 -1 4194304 7182 0 0 0 824 7 0 0 20 0 1 0 59605774 88350720 13244 18446744073709551615 94293201338368 94293210638021 140727233719776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94293212424512 94293212463592 94293223018496 140727233722776 140727233722916 140727233722916 140727233728489 0
/proc/63366/statm: 21570 13244 1952 2271 0 16208 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 93264 KiB
Current children cumulated memory: 57328 KiB

[startup+2412.8 s]
/proc/loadavg: 4.13 4.12 4.09 6/271 63375
/proc/meminfo: memFree=128474484/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=2391.72 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 281 55152 0 0 0 0 239163 9 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63364] ppid=63236 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/63364/stat : 63364 (timeout) S 63236 63364 62332 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59605773 2723840 352 18446744073709551615 94053969334272 94053969350785 140724416027616 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94053969365552 94053969367640 94053970235392 140724416035203 140724416035362 140724416035362 140724416040935 0
/proc/63364/statm: 665 352 352 5 0 90 0
[pid=63366] ppid=63364 vsize=119312 memory=75216 CPUtime=14.69 cores=4,6
/proc/63366/stat : 63366 (ExactPR-nols) R 63364 63364 62332 0 -1 4194304 10597 0 0 0 1457 12 0 0 20 0 1 0 59605774 122175488 18804 18446744073709551615 94293201338368 94293210638021 140727233719776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94293212424512 94293212463592 94293223018496 140727233722776 140727233722916 140727233722916 140727233728489 0
/proc/63366/statm: 29828 18804 1952 2271 0 24466 0
Current children cumulated CPU time: 2406.41 s
Current children cumulated vsize: 126296 KiB
Current children cumulated memory: 79568 KiB

[startup+2416 s]*
/proc/loadavg: 4.12 4.12 4.09 6/271 63375
/proc/meminfo: memFree=128310748/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=2391.72 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 281 55152 0 0 0 0 239163 9 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63364] ppid=63236 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/63364/stat : 63364 (timeout) S 63236 63364 62332 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59605773 2723840 352 18446744073709551615 94053969334272 94053969350785 140724416027616 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94053969365552 94053969367640 94053970235392 140724416035203 140724416035362 140724416035362 140724416040935 0
/proc/63364/statm: 665 352 352 5 0 90 0
[pid=63366] ppid=63364 vsize=120156 memory=84240 CPUtime=17.88 cores=4,6
/proc/63366/stat : 63366 (ExactPR-nols) R 63364 63364 62332 0 -1 4194304 10812 0 0 0 1775 13 0 0 20 0 1 0 59605774 123039744 21060 18446744073709551615 94293201338368 94293210638021 140727233719776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94293212424512 94293212463592 94293223018496 140727233722776 140727233722916 140727233722916 140727233728489 0
/proc/63366/statm: 30039 21060 1952 2271 0 24677 0
Current children cumulated CPU time: 2409.6 s
Current children cumulated vsize: 127140 KiB
Current children cumulated memory: 88592 KiB

[startup+2419.2 s]
/proc/loadavg: 4.12 4.12 4.09 6/271 63375
/proc/meminfo: memFree=128279560/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=2391.72 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 281 55152 0 0 0 0 239163 9 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63364] ppid=63236 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/63364/stat : 63364 (timeout) S 63236 63364 62332 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59605773 2723840 352 18446744073709551615 94053969334272 94053969350785 140724416027616 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94053969365552 94053969367640 94053970235392 140724416035203 140724416035362 140724416035362 140724416040935 0
/proc/63364/statm: 665 352 352 5 0 90 0
[pid=63366] ppid=63364 vsize=120156 memory=84240 CPUtime=21.08 cores=4,6
/proc/63366/stat : 63366 (ExactPR-nols) R 63364 63364 62332 0 -1 4194304 10824 0 0 0 2093 15 0 0 20 0 1 0 59605774 123039744 21060 18446744073709551615 94293201338368 94293210638021 140727233719776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94293212424512 94293212463592 94293223018496 140727233722776 140727233722916 140727233722916 140727233728489 0
/proc/63366/statm: 30039 21060 1952 2271 0 24677 0
Current children cumulated CPU time: 2412.8 s
Current children cumulated vsize: 127140 KiB
Current children cumulated memory: 88592 KiB

[startup+2420.8 s]
/proc/loadavg: 4.11 4.12 4.09 6/271 63375
/proc/meminfo: memFree=128271496/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=2391.72 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 281 55152 0 0 0 0 239163 9 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63364] ppid=63236 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/63364/stat : 63364 (timeout) S 63236 63364 62332 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59605773 2723840 352 18446744073709551615 94053969334272 94053969350785 140724416027616 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94053969365552 94053969367640 94053970235392 140724416035203 140724416035362 140724416035362 140724416040935 0
/proc/63364/statm: 665 352 352 5 0 90 0
[pid=63366] ppid=63364 vsize=120156 memory=84240 CPUtime=22.67 cores=4,6
/proc/63366/stat : 63366 (ExactPR-nols) R 63364 63364 62332 0 -1 4194304 10825 0 0 0 2252 15 0 0 20 0 1 0 59605774 123039744 21060 18446744073709551615 94293201338368 94293210638021 140727233719776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94293212424512 94293212463592 94293223018496 140727233722776 140727233722916 140727233722916 140727233728489 0
/proc/63366/statm: 30039 21060 1952 2271 0 24677 0
Current children cumulated CPU time: 2414.39 s
Current children cumulated vsize: 127140 KiB
Current children cumulated memory: 88592 KiB

[startup+2421.2 s]
/proc/loadavg: 4.11 4.12 4.09 6/271 63375
/proc/meminfo: memFree=128249260/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=2391.72 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 281 55152 0 0 0 0 239163 9 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63364] ppid=63236 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/63364/stat : 63364 (timeout) S 63236 63364 62332 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59605773 2723840 352 18446744073709551615 94053969334272 94053969350785 140724416027616 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94053969365552 94053969367640 94053970235392 140724416035203 140724416035362 140724416035362 140724416040935 0
/proc/63364/statm: 665 352 352 5 0 90 0
[pid=63366] ppid=63364 vsize=120736 memory=84880 CPUtime=23.06 cores=4,6
/proc/63366/stat : 63366 (ExactPR-nols) R 63364 63364 62332 0 -1 4194304 10961 0 0 0 2291 15 0 0 20 0 1 0 59605774 123633664 21220 18446744073709551615 94293201338368 94293210638021 140727233719776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94293212424512 94293212463592 94293223018496 140727233722776 140727233722916 140727233722916 140727233728489 0
/proc/63366/statm: 30184 21220 1952 2271 0 24822 0
Current children cumulated CPU time: 2414.78 s
Current children cumulated vsize: 127720 KiB
Current children cumulated memory: 89232 KiB

[startup+2421.6 s]
/proc/loadavg: 4.11 4.12 4.09 6/271 63375
/proc/meminfo: memFree=128249260/131249996 swapFree=33006296/33010684
[pid=63236] ppid=63225 vsize=4324 memory=2944 CPUtime=2391.72 cores=4,6
/proc/63236/stat : 63236 (Hybrid-NuPBODee) S 63225 63236 62332 0 -1 4194304 281 55152 0 0 0 0 239163 9 20 0 1 0 59365970 4427776 736 18446744073709551615 94029723070464 94029723964997 140725357473936 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94029724204048 94029724251792 94029737062400 140725357480283 140725357480435 140725357480435 140725357486037 0
/proc/63236/statm: 1081 736 672 219 0 143 0
[pid=63364] ppid=63236 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/63364/stat : 63364 (timeout) S 63236 63364 62332 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 59605773 2723840 352 18446744073709551615 94053969334272 94053969350785 140724416027616 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94053969365552 94053969367640 94053970235392 140724416035203 140724416035362 140724416035362 140724416040935 0
/proc/63364/statm: 665 352 352 5 0 90 0
[pid=63366] ppid=63364 vsize=120736 memory=84880 CPUtime=23.46 cores=4,6
/proc/63366/stat : 63366 (ExactPR-nols) R 63364 63364 62332 0 -1 4194304 10961 0 0 0 2331 15 0 0 20 0 1 0 59605774 123633664 21220 18446744073709551615 94293201338368 94293210638021 140727233719776 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94293212424512 94293212463592 94293223018496 140727233722776 140727233722916 140727233722916 140727233728489 0
/proc/63366/statm: 30184 21220 1952 2271 0 24822 0
Current children cumulated CPU time: 2415.18 s
Current children cumulated vsize: 127720 KiB
Current children cumulated memory: 89232 KiB

Child status: 0

Real time (s): 2421.66
CPU time (s): 2415.23
CPU user time (s): 2414.97
CPU system time (s): 0.259081
CPU usage (%): 99.7344
Max. virtual memory (cumulated for all children) (KiB): 228768
Max. memory (cumulated for all children) (KiB): 215328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2414.97
system time used= 0.259081
maximum resident set size= 211268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67753
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1036
involuntary context switches= 2003


# summary of solver processes directly reported to runsolver:
#   pid: 63236
#   total CPU time (s): 2415.23
#   total CPU user time (s): 2414.97
#   total CPU system time (s): 0.259081

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.86337 second user time and 8.14249 second system time

The end