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: 63837 MiB (58694 MiB free)
  memory of node 1: 64465 MiB (63846 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522073-1751589915/watcher-4522073-1751589915 -o /tmp/evaluation-result-4522073-1751589915/solver-4522073-1751589915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751586317-86386 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4522073-1751589915.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=86912, runsolver pid=86909
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 4.61 4.25 4.11 6/259 86916
/proc/meminfo: memFree=125475308/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=86915] ppid=86912 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/86915/stat : 86915 (timeout) S 86912 86915 86373 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74670955 2723840 352 18446744073709551615 94072081137664 94072081154177 140721454600976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94072081168944 94072081171032 94072089190400 140721454606768 140721454606882 140721454606882 140721454612455 0
/proc/86915/statm: 665 352 352 5 0 90 0
[pid=86916] ppid=86915 vsize=20980 memory=6524 CPUtime=0.07 cores=5,7
/proc/86916/stat : 86916 (NuPBO-DeepOptS+) R 86915 86915 86373 0 -1 4194304 728 0 0 0 7 0 0 0 20 0 1 0 74670956 21483520 1631 18446744073709551615 4198400 15468185 140728472015632 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 42348544 140728472017340 140728472017441 140728472017441 140728472023014 0
/proc/86916/statm: 5245 1631 1088 2752 0 1898 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 27964 KiB
Current children cumulated memory: 10876 KiB

[startup+0.216741 s]*
/proc/loadavg: 4.61 4.25 4.11 5/259 86916
/proc/meminfo: memFree=125470520/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=86915] ppid=86912 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/86915/stat : 86915 (timeout) S 86912 86915 86373 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74670955 2723840 352 18446744073709551615 94072081137664 94072081154177 140721454600976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94072081168944 94072081171032 94072089190400 140721454606768 140721454606882 140721454606882 140721454612455 0
/proc/86915/statm: 665 352 352 5 0 90 0
[pid=86916] ppid=86915 vsize=22516 memory=7164 CPUtime=0.17 cores=5,7
/proc/86916/stat : 86916 (NuPBO-DeepOptS+) R 86915 86915 86373 0 -1 4194304 1274 0 0 0 17 0 0 0 20 0 1 0 74670956 23056384 1791 18446744073709551615 4198400 15468185 140728472015632 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 42348544 140728472017340 140728472017441 140728472017441 140728472023014 0
/proc/86916/statm: 5629 1791 1088 2752 0 2282 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 29500 KiB
Current children cumulated memory: 11516 KiB

[startup+0.321818 s]*
/proc/loadavg: 4.61 4.25 4.11 5/259 86916
/proc/meminfo: memFree=125459180/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=86915] ppid=86912 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/86915/stat : 86915 (timeout) S 86912 86915 86373 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74670955 2723840 352 18446744073709551615 94072081137664 94072081154177 140721454600976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94072081168944 94072081171032 94072089190400 140721454606768 140721454606882 140721454606882 140721454612455 0
/proc/86915/statm: 665 352 352 5 0 90 0
[pid=86916] ppid=86915 vsize=29880 memory=14544 CPUtime=0.26 cores=5,7
/proc/86916/stat : 86916 (NuPBO-DeepOptS+) R 86915 86915 86373 0 -1 4194304 3498 0 0 0 25 1 0 0 20 0 1 0 74670956 30597120 3636 18446744073709551615 4198400 15468185 140728472015632 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 42348544 140728472017340 140728472017441 140728472017441 140728472023014 0
/proc/86916/statm: 7470 3636 1088 2752 0 4123 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 18896 KiB

[startup+0.700269 s]
/proc/loadavg: 4.61 4.25 4.11 5/259 86916
/proc/meminfo: memFree=125457164/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=86915] ppid=86912 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/86915/stat : 86915 (timeout) S 86912 86915 86373 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74670955 2723840 352 18446744073709551615 94072081137664 94072081154177 140721454600976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94072081168944 94072081171032 94072089190400 140721454606768 140721454606882 140721454606882 140721454612455 0
/proc/86915/statm: 665 352 352 5 0 90 0
[pid=86916] ppid=86915 vsize=29880 memory=14800 CPUtime=0.61 cores=5,7
/proc/86916/stat : 86916 (NuPBO-DeepOptS+) R 86915 86915 86373 0 -1 4194304 3501 0 0 0 60 1 0 0 20 0 1 0 74670956 30597120 3700 18446744073709551615 4198400 15468185 140728472015632 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 42348544 140728472017340 140728472017441 140728472017441 140728472023014 0
/proc/86916/statm: 7470 3700 1152 2752 0 4123 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 36864 KiB
Current children cumulated memory: 19152 KiB

[startup+1.50027 s]
/proc/loadavg: 4.61 4.25 4.11 5/259 86916
/proc/meminfo: memFree=125417096/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=86915] ppid=86912 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/86915/stat : 86915 (timeout) S 86912 86915 86373 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74670955 2723840 352 18446744073709551615 94072081137664 94072081154177 140721454600976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94072081168944 94072081171032 94072089190400 140721454606768 140721454606882 140721454606882 140721454612455 0
/proc/86915/statm: 665 352 352 5 0 90 0
[pid=86916] ppid=86915 vsize=86240 memory=71796 CPUtime=1.39 cores=5,7
/proc/86916/stat : 86916 (NuPBO-DeepOptS+) R 86915 86915 86373 0 -1 4194304 16513 0 0 0 135 4 0 0 20 0 1 0 74670956 88309760 17949 18446744073709551615 4198400 15468185 140728472015632 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 42348544 140728472017340 140728472017441 140728472017441 140728472023014 0
/proc/86916/statm: 21560 17949 2816 2752 0 18213 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 93224 KiB
Current children cumulated memory: 76148 KiB

[startup+3.10567 s]
/proc/loadavg: 4.61 4.25 4.11 5/259 86916
/proc/meminfo: memFree=125348592/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=86915] ppid=86912 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/86915/stat : 86915 (timeout) S 86912 86915 86373 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74670955 2723840 352 18446744073709551615 94072081137664 94072081154177 140721454600976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94072081168944 94072081171032 94072089190400 140721454606768 140721454606882 140721454606882 140721454612455 0
/proc/86915/statm: 665 352 352 5 0 90 0
[pid=86916] ppid=86915 vsize=102452 memory=86132 CPUtime=2.98 cores=5,7
/proc/86916/stat : 86916 (NuPBO-DeepOptS+) R 86915 86915 86373 0 -1 4194304 20094 0 0 0 293 5 0 0 20 0 1 0 74670956 104910848 21533 18446744073709551615 4198400 15468185 140728472015632 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 42348544 140728472017340 140728472017441 140728472017441 140728472023014 0
/proc/86916/statm: 25613 21533 2816 2752 0 22266 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 109436 KiB
Current children cumulated memory: 90484 KiB

[startup+6.30025 s]
/proc/loadavg: 4.72 4.28 4.12 5/259 86916
/proc/meminfo: memFree=125310140/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=86915] ppid=86912 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/86915/stat : 86915 (timeout) S 86912 86915 86373 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74670955 2723840 352 18446744073709551615 94072081137664 94072081154177 140721454600976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94072081168944 94072081171032 94072089190400 140721454606768 140721454606882 140721454606882 140721454612455 0
/proc/86915/statm: 665 352 352 5 0 90 0
[pid=86916] ppid=86915 vsize=128556 memory=106868 CPUtime=6.14 cores=5,7
/proc/86916/stat : 86916 (NuPBO-DeepOptS+) R 86915 86915 86373 0 -1 4194304 25299 0 0 0 609 5 0 0 20 0 1 0 74670956 131641344 26717 18446744073709551615 4198400 15468185 140728472015632 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 42348544 140728472017340 140728472017441 140728472017441 140728472023014 0
/proc/86916/statm: 32139 26717 2816 2752 0 28792 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 135540 KiB
Current children cumulated memory: 111220 KiB

[startup+12.7003 s]
/proc/loadavg: 4.75 4.29 4.13 5/259 86916
/proc/meminfo: memFree=125275488/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=86915] ppid=86912 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/86915/stat : 86915 (timeout) S 86912 86915 86373 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74670955 2723840 352 18446744073709551615 94072081137664 94072081154177 140721454600976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94072081168944 94072081171032 94072089190400 140721454606768 140721454606882 140721454606882 140721454612455 0
/proc/86915/statm: 665 352 352 5 0 90 0
[pid=86916] ppid=86915 vsize=143976 memory=120180 CPUtime=12.47 cores=5,7
/proc/86916/stat : 86916 (NuPBO-DeepOptS+) R 86915 86915 86373 0 -1 4194304 28706 0 0 0 1241 6 0 0 20 0 1 0 74670956 147431424 30045 18446744073709551615 4198400 15468185 140728472015632 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 42348544 140728472017340 140728472017441 140728472017441 140728472023014 0
/proc/86916/statm: 35994 30045 2816 2752 0 32647 0
Current children cumulated CPU time: 12.47 s
Current children cumulated vsize: 150960 KiB
Current children cumulated memory: 124532 KiB

[startup+25.5002 s]
/proc/loadavg: 4.80 4.33 4.14 5/259 86916
/proc/meminfo: memFree=125203664/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=86915] ppid=86912 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/86915/stat : 86915 (timeout) S 86912 86915 86373 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74670955 2723840 352 18446744073709551615 94072081137664 94072081154177 140721454600976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94072081168944 94072081171032 94072089190400 140721454606768 140721454606882 140721454606882 140721454612455 0
/proc/86915/statm: 665 352 352 5 0 90 0
[pid=86916] ppid=86915 vsize=157148 memory=135028 CPUtime=25.15 cores=5,7
/proc/86916/stat : 86916 (NuPBO-DeepOptS+) R 86915 86915 86373 0 -1 4194304 32417 0 0 0 2508 7 0 0 20 0 1 0 74670956 160919552 33757 18446744073709551615 4198400 15468185 140728472015632 0 0 0 0 0 17410 0 0 0 17 7 0 0 0 0 0 17807032 17896208 42348544 140728472017340 140728472017441 140728472017441 140728472023014 0
/proc/86916/statm: 39287 33757 2816 2752 0 35940 0
Current children cumulated CPU time: 25.15 s
Current children cumulated vsize: 164132 KiB
Current children cumulated memory: 139380 KiB

[startup+51.1133 s]
/proc/loadavg: 4.61 4.32 4.15 5/259 86916
/proc/meminfo: memFree=125178400/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=86915] ppid=86912 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/86915/stat : 86915 (timeout) S 86912 86915 86373 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 74670955 2723840 352 18446744073709551615 94072081137664 94072081154177 140721454600976 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94072081168944 94072081171032 94072089190400 140721454606768 140721454606882 140721454606882 140721454612455 0
/proc/86915/statm: 665 352 352 5 0 90 0
[pid=86916] ppid=86915 vsize=157468 memory=143348 CPUtime=50.66 cores=5,7
/proc/86916/stat : 86916 (NuPBO-DeepOptS+) R 86915 86915 86373 0 -1 4194304 34492 0 0 0 5058 8 0 0 20 0 1 0 74670956 161247232 35837 18446744073709551615 4198400 15468185 140728472015632 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 42348544 140728472017340 140728472017441 140728472017441 140728472023014 0
/proc/86916/statm: 39367 35837 2848 2752 0 36020 0
Current children cumulated CPU time: 50.66 s
Current children cumulated vsize: 164452 KiB
Current children cumulated memory: 147700 KiB

[startup+102.3 s]
/proc/loadavg: 4.34 4.28 4.14 5/259 86918
/proc/meminfo: memFree=125105236/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 248 105 0 0 0 0 0 0 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=86915] ppid=86912 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=87059] ppid=86912 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/87059/stat : 87059 (timeout) S 86912 87059 86373 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74910757 2723840 320 18446744073709551615 94210323021824 94210323038337 140729890063504 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94210323053104 94210323055192 94210329788416 140729890068867 140729890069026 140729890069026 140729890074599 0
/proc/87059/statm: 665 320 320 5 0 90 0
[pid=87060] ppid=87059 vsize=290068 memory=262072 CPUtime=1060.62 cores=5,7
/proc/87060/stat : 87060 (ExactPR-nols) R 87059 87059 86373 0 -1 4194304 27372 0 0 0 105903 159 0 0 20 0 1 0 74910758 297029632 65518 18446744073709551615 94545048776704 94545058076357 140727159257264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94545059862848 94545059901928 94545095155712 140727159261592 140727159261732 140727159261732 140727159267305 0
/proc/87060/statm: 72517 65518 1920 2271 0 67155 0
Current children cumulated CPU time: 3452.95 s
Current children cumulated vsize: 297052 KiB
Current children cumulated memory: 266296 KiB

[startup+3522.3 s]
/proc/loadavg: 4.31 4.16 4.11 5/257 87221
/proc/meminfo: memFree=103790132/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=2392.33 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 284 157080 0 0 0 0 239196 37 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=87059] ppid=86912 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/87059/stat : 87059 (timeout) S 86912 87059 86373 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74910757 2723840 320 18446744073709551615 94210323021824 94210323038337 140729890063504 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94210323053104 94210323055192 94210329788416 140729890068867 140729890069026 140729890069026 140729890074599 0
/proc/87059/statm: 665 320 320 5 0 90 0
[pid=87060] ppid=87059 vsize=290772 memory=262840 CPUtime=1120.42 cores=5,7
/proc/87060/stat : 87060 (ExactPR-nols) R 87059 87059 86373 0 -1 4194304 27550 0 0 0 111876 166 0 0 20 0 1 0 74910758 297750528 65710 18446744073709551615 94545048776704 94545058076357 140727159257264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94545059862848 94545059901928 94545095155712 140727159261592 140727159261732 140727159261732 140727159267305 0
/proc/87060/statm: 72693 65710 1920 2271 0 67331 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 297756 KiB
Current children cumulated memory: 267064 KiB

[startup+3582.3 s]
/proc/loadavg: 4.71 4.31 4.17 5/257 87223
/proc/meminfo: memFree=97151016/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=2392.33 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 284 157080 0 0 0 0 239196 37 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=87059] ppid=86912 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/87059/stat : 87059 (timeout) S 86912 87059 86373 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74910757 2723840 320 18446744073709551615 94210323021824 94210323038337 140729890063504 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94210323053104 94210323055192 94210329788416 140729890068867 140729890069026 140729890069026 140729890074599 0
/proc/87059/statm: 665 320 320 5 0 90 0
[pid=87060] ppid=87059 vsize=291504 memory=263352 CPUtime=1180.23 cores=5,7
/proc/87060/stat : 87060 (ExactPR-nols) R 87059 87059 86373 0 -1 4194304 27747 0 0 0 117844 179 0 0 20 0 1 0 74910758 298500096 65838 18446744073709551615 94545048776704 94545058076357 140727159257264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94545059862848 94545059901928 94545095155712 140727159261592 140727159261732 140727159261732 140727159267305 0
/proc/87060/statm: 72876 65838 1920 2271 0 67514 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 298488 KiB
Current children cumulated memory: 267576 KiB

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

# cumulated CPU time of all completed processes:  user=3584.11 s, system=2.23939 s

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

[startup+3584 s]*
/proc/loadavg: 4.71 4.31 4.17 5/257 87223
/proc/meminfo: memFree=97159780/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=2392.33 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 284 157080 0 0 0 0 239196 37 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=87059] ppid=86912 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/87059/stat : 87059 (timeout) S 86912 87059 86373 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74910757 2723840 320 18446744073709551615 94210323021824 94210323038337 140729890063504 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94210323053104 94210323055192 94210329788416 140729890068867 140729890069026 140729890069026 140729890074599 0
/proc/87059/statm: 665 320 320 5 0 90 0
[pid=87060] ppid=87059 vsize=291696 memory=263608 CPUtime=1181.93 cores=5,7
/proc/87060/stat : 87060 (ExactPR-nols) R 87059 87059 86373 0 -1 4194304 27789 0 0 0 118014 179 0 0 20 0 1 0 74910758 298696704 65902 18446744073709551615 94545048776704 94545058076357 140727159257264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94545059862848 94545059901928 94545095155712 140727159261592 140727159261732 140727159261732 140727159267305 0
/proc/87060/statm: 72924 65902 1920 2271 0 67562 0
Current children cumulated CPU time: 3574.26 s
Current children cumulated vsize: 298680 KiB
Current children cumulated memory: 267832 KiB

[startup+3590.4 s]
/proc/loadavg: 4.66 4.31 4.17 5/257 87223
/proc/meminfo: memFree=97183432/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=2392.33 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 284 157080 0 0 0 0 239196 37 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=87059] ppid=86912 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/87059/stat : 87059 (timeout) S 86912 87059 86373 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74910757 2723840 320 18446744073709551615 94210323021824 94210323038337 140729890063504 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94210323053104 94210323055192 94210329788416 140729890068867 140729890069026 140729890069026 140729890074599 0
/proc/87059/statm: 665 320 320 5 0 90 0
[pid=87060] ppid=87059 vsize=292916 memory=264760 CPUtime=1188.31 cores=5,7
/proc/87060/stat : 87060 (ExactPR-nols) R 87059 87059 86373 0 -1 4194304 28097 0 0 0 118651 180 0 0 20 0 1 0 74910758 299945984 66190 18446744073709551615 94545048776704 94545058076357 140727159257264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94545059862848 94545059901928 94545095155712 140727159261592 140727159261732 140727159261732 140727159267305 0
/proc/87060/statm: 73229 66190 1920 2271 0 67867 0
Current children cumulated CPU time: 3580.64 s
Current children cumulated vsize: 299900 KiB
Current children cumulated memory: 268984 KiB

[startup+3593.6 s]
/proc/loadavg: 4.60 4.30 4.17 5/257 87223
/proc/meminfo: memFree=97181368/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=2392.33 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 284 157080 0 0 0 0 239196 37 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=87059] ppid=86912 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/87059/stat : 87059 (timeout) S 86912 87059 86373 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74910757 2723840 320 18446744073709551615 94210323021824 94210323038337 140729890063504 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94210323053104 94210323055192 94210329788416 140729890068867 140729890069026 140729890069026 140729890074599 0
/proc/87059/statm: 665 320 320 5 0 90 0
[pid=87060] ppid=87059 vsize=292916 memory=264760 CPUtime=1191.49 cores=5,7
/proc/87060/stat : 87060 (ExactPR-nols) R 87059 87059 86373 0 -1 4194304 28097 0 0 0 118969 180 0 0 20 0 1 0 74910758 299945984 66190 18446744073709551615 94545048776704 94545058076357 140727159257264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94545059862848 94545059901928 94545095155712 140727159261592 140727159261732 140727159261732 140727159267305 0
/proc/87060/statm: 73229 66190 1920 2271 0 67867 0
Current children cumulated CPU time: 3583.82 s
Current children cumulated vsize: 299900 KiB
Current children cumulated memory: 268984 KiB

[startup+3595.2 s]
/proc/loadavg: 4.60 4.30 4.17 5/257 87223
/proc/meminfo: memFree=97152696/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=2392.33 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 284 157080 0 0 0 0 239196 37 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=87059] ppid=86912 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/87059/stat : 87059 (timeout) S 86912 87059 86373 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74910757 2723840 320 18446744073709551615 94210323021824 94210323038337 140729890063504 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94210323053104 94210323055192 94210329788416 140729890068867 140729890069026 140729890069026 140729890074599 0
/proc/87059/statm: 665 320 320 5 0 90 0
[pid=87060] ppid=87059 vsize=292916 memory=264760 CPUtime=1193.09 cores=5,7
/proc/87060/stat : 87060 (ExactPR-nols) R 87059 87059 86373 0 -1 4194304 28097 0 0 0 119128 181 0 0 20 0 1 0 74910758 299945984 66190 18446744073709551615 94545048776704 94545058076357 140727159257264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94545059862848 94545059901928 94545095155712 140727159261592 140727159261732 140727159261732 140727159267305 0
/proc/87060/statm: 73229 66190 1920 2271 0 67867 0
Current children cumulated CPU time: 3585.42 s
Current children cumulated vsize: 299900 KiB
Current children cumulated memory: 268984 KiB

[startup+3595.6 s]
/proc/loadavg: 4.60 4.30 4.17 5/257 87223
/proc/meminfo: memFree=97152696/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=2392.33 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 284 157080 0 0 0 0 239196 37 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=87059] ppid=86912 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/87059/stat : 87059 (timeout) S 86912 87059 86373 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74910757 2723840 320 18446744073709551615 94210323021824 94210323038337 140729890063504 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94210323053104 94210323055192 94210329788416 140729890068867 140729890069026 140729890069026 140729890074599 0
/proc/87059/statm: 665 320 320 5 0 90 0
[pid=87060] ppid=87059 vsize=292916 memory=264760 CPUtime=1193.49 cores=5,7
/proc/87060/stat : 87060 (ExactPR-nols) R 87059 87059 86373 0 -1 4194304 28097 0 0 0 119168 181 0 0 20 0 1 0 74910758 299945984 66190 18446744073709551615 94545048776704 94545058076357 140727159257264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94545059862848 94545059901928 94545095155712 140727159261592 140727159261732 140727159261732 140727159267305 0
/proc/87060/statm: 73229 66190 1920 2271 0 67867 0
Current children cumulated CPU time: 3585.82 s
Current children cumulated vsize: 299900 KiB
Current children cumulated memory: 268984 KiB

[startup+3596 s]*
/proc/loadavg: 4.56 4.29 4.17 4/259 87235
/proc/meminfo: memFree=97722888/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=2392.33 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 284 157080 0 0 0 0 239196 37 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
[pid=87059] ppid=86912 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/87059/stat : 87059 (timeout) S 86912 87059 86373 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 74910757 2723840 320 18446744073709551615 94210323021824 94210323038337 140729890063504 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94210323053104 94210323055192 94210329788416 140729890068867 140729890069026 140729890069026 140729890074599 0
/proc/87059/statm: 665 320 320 5 0 90 0
[pid=87060] ppid=87059 vsize=292916 memory=264760 CPUtime=1193.9 cores=5,7
/proc/87060/stat : 87060 (ExactPR-nols) R 87059 87059 86373 0 -1 4194304 28097 0 0 0 119209 181 0 0 20 0 1 0 74910758 299945984 66190 18446744073709551615 94545048776704 94545058076357 140727159257264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94545059862848 94545059901928 94545095155712 140727159261592 140727159261732 140727159261732 140727159267305 0
/proc/87060/statm: 73229 66190 1920 2271 0 67867 0
Current children cumulated CPU time: 3586.23 s
Current children cumulated vsize: 299900 KiB
Current children cumulated memory: 268984 KiB

[startup+3596.11 s]
/proc/loadavg: 4.56 4.29 4.17 4/259 87235
/proc/meminfo: memFree=97722888/131382116 swapFree=33005528/33010684
[pid=86912] ppid=86909 vsize=4324 memory=2944 CPUtime=3586.31 cores=5,7
/proc/86912/stat : 86912 (Hybrid-NuPBODee) S 86909 86912 86373 0 -1 4194304 368 186457 0 0 0 0 358410 221 20 0 1 0 74670953 4427776 736 18446744073709551615 94317904375808 94317905270341 140724874687216 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 94317905509392 94317905557136 94317922770944 140724874692955 140724874693107 140724874693107 140724874698709 0
/proc/86912/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3586.31 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.18
CPU time (s): 3586.35
CPU user time (s): 3584.11
CPU system time (s): 2.23939
CPU usage (%): 99.7267
Max. virtual memory (cumulated for all children) (KiB): 708912
Max. memory (cumulated for all children) (KiB): 497136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.11
system time used= 2.23939
maximum resident set size= 492784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188715
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1881
involuntary context switches= 2851


# summary of solver processes directly reported to runsolver:
#   pid: 86912
#   total CPU time (s): 3586.35
#   total CPU user time (s): 3584.11
#   total CPU system time (s): 2.23939

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6931 second user time and 36.5401 second system time

The end