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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484900-1751298183/watcher-4484900-1751298183 -o /tmp/evaluation-result-4484900-1751298183/solver-4484900-1751298183 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751294573-40979 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4484900-1751298183.opb -t 3600 -s 1266820173 

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
Current StackSize limit: 8192 KiB

solver pid=41357, runsolver pid=41347

[startup+0.100069 s]*
/proc/loadavg: 4.64 4.27 4.10 5/249 41369
/proc/meminfo: memFree=128603888/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=24268 memory=9564 CPUtime=0.09 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 1658 0 0 0 9 0 0 0 20 0 1 0 45497709 24850432 2391 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 6067 2391 1088 2752 0 2720 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24268 KiB
Current children cumulated memory: 9564 KiB

[startup+0.220668 s]*
/proc/loadavg: 4.64 4.27 4.10 5/249 41375
/proc/meminfo: memFree=128603132/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=25292 memory=10204 CPUtime=0.2 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 2109 0 0 0 20 0 0 0 20 0 1 0 45497709 25899008 2551 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 6323 2551 1088 2752 0 2976 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 25292 KiB
Current children cumulated memory: 10204 KiB

[startup+0.31204 s]*
/proc/loadavg: 4.64 4.27 4.10 6/249 41384
/proc/meminfo: memFree=128602884/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=27340 memory=12956 CPUtime=0.3 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 2749 0 0 0 29 1 0 0 20 0 1 0 45497709 27996160 3239 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 6835 3239 1088 2752 0 3488 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27340 KiB
Current children cumulated memory: 12956 KiB

[startup+0.700289 s]
/proc/loadavg: 4.64 4.27 4.10 6/247 41391
/proc/meminfo: memFree=128598788/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=31436 memory=15004 CPUtime=0.67 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 3265 0 0 0 66 1 0 0 20 0 1 0 45497709 32190464 3751 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 7859 3751 1088 2752 0 4512 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 31436 KiB
Current children cumulated memory: 15004 KiB

[startup+1.5003 s]
/proc/loadavg: 4.64 4.27 4.10 6/251 41400
/proc/meminfo: memFree=128517920/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=61772 memory=45356 CPUtime=1.47 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 8815 0 0 0 143 4 0 0 20 0 1 0 45497709 63254528 11339 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 15443 11339 1152 2752 0 12096 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 61772 KiB
Current children cumulated memory: 45356 KiB

[startup+3.11273 s]
/proc/loadavg: 4.64 4.27 4.10 6/251 41400
/proc/meminfo: memFree=128317992/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=139084 memory=121728 CPUtime=3.08 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 27846 0 0 0 301 7 0 0 20 0 1 0 45497709 142422016 30432 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 34771 30432 2592 2752 0 31424 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 139084 KiB
Current children cumulated memory: 121728 KiB

[startup+6.30027 s]
/proc/loadavg: 4.58 4.26 4.10 7/251 41400
/proc/meminfo: memFree=126845128/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=506168 memory=456800 CPUtime=6.26 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 74948 0 0 0 607 19 0 0 20 0 1 0 45497709 518316032 114200 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 126542 114200 2816 2752 0 123195 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 506168 KiB
Current children cumulated memory: 456800 KiB

[startup+12.7002 s]
/proc/loadavg: 4.54 4.26 4.10 7/251 41400
/proc/meminfo: memFree=126772552/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=558496 memory=482104 CPUtime=12.64 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 80259 0 0 0 1244 20 0 0 20 0 1 0 45497709 571899904 120526 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 139624 120526 2816 2752 0 136277 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 558496 KiB
Current children cumulated memory: 482104 KiB

[startup+25.5003 s]
/proc/loadavg: 4.49 4.26 4.10 7/251 41401
/proc/meminfo: memFree=126683880/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=582668 memory=484280 CPUtime=25.41 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 80824 0 0 0 2521 20 0 0 20 0 1 0 45497709 596652032 121070 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 145667 121070 2816 2752 0 142320 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 582668 KiB
Current children cumulated memory: 484280 KiB

[startup+51.1127 s]
/proc/loadavg: 4.38 4.26 4.10 6/251 41401
/proc/meminfo: memFree=126345128/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=794584 memory=597412 CPUtime=50.93 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 108080 0 0 0 5069 24 0 0 20 0 1 0 45497709 813654016 149353 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 198646 149353 2816 2752 0 195299 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 794584 KiB
Current children cumulated memory: 597412 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.23 4.10 6/251 41403
/proc/meminfo: memFree=126063164/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=849324 memory=646948 CPUtime=101.93 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 120459 0 0 0 10167 26 0 0 20 0 1 0 45497709 869707776 161737 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 212331 161737 2848 2752 0 208984 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 849324 KiB
Current children cumulated memory: 646948 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.22 4.10 7/251 41405
/proc/meminfo: memFree=125802496/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=925472 memory=700452 CPUtime=161.72 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 133830 0 0 0 16143 29 0 0 20 0 1 0 45497709 947683328 175113 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 231368 175113 2848 2752 0 228021 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 925472 KiB
Current children cumulated memory: 700452 KiB

[startup+222.3 s]
/proc/loadavg: 4.69 4.32 4.14 7/251 41407
/proc/meminfo: memFree=125615284/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=1003416 memory=748964 CPUtime=221.53 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 145950 0 0 0 22122 31 0 0 20 0 1 0 45497709 1027497984 187241 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 250854 187241 2848 2752 0 247507 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 1003416 KiB
Current children cumulated memory: 748964 KiB

[startup+282.3 s]
/proc/loadavg: 5.19 4.56 4.24 7/251 41409
/proc/meminfo: memFree=125546632/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=1010948 memory=748964 CPUtime=281.35 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 145969 0 0 0 28104 31 0 0 20 0 1 0 45497709 1035210752 187241 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 252737 187241 2848 2752 0 249390 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 1010948 KiB
Current children cumulated memory: 748964 KiB

[startup+342.3 s]
/proc/loadavg: 4.49 4.47 4.22 6/249 41411
/proc/meminfo: memFree=125400088/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=1063008 memory=800776 CPUtime=341.17 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 163996 0 0 0 34083 34 0 0 20 0 1 0 45497709 1088520192 200194 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 265752 200194 2848 2752 0 262405 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 1063008 KiB
Current children cumulated memory: 800776 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 4.40 4.21 7/249 41413
/proc/meminfo: memFree=125175048/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=1160268 memory=876784 CPUtime=400.99 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 167180 0 0 0 40063 36 0 0 20 0 1 0 45497709 1188114432 219196 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 290067 219196 2848 2752 0 286720 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 1160268 KiB
Current children cumulated memory: 876784 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.34 4.20 6/249 41416
/proc/meminfo: memFree=125006336/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=1236048 memory=892504 CPUtime=460.83 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 173194 0 0 0 46046 37 0 0 20 0 1 0 45497709 1265713152 223126 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 309012 223126 2848 2752 0 305665 0
Current children cumulated CPU time: 460.83 s

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

Current children cumulated memory: 969004 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.13 4.10 7/249 41544
/proc/meminfo: memFree=124423032/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=1218068 memory=969004 CPUtime=2913.62 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 243312 0 0 0 291308 54 0 0 20 0 1 0 45497709 1247301632 242251 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 304517 242251 2848 2752 0 301170 0
Current children cumulated CPU time: 2913.62 s
Current children cumulated vsize: 1218068 KiB
Current children cumulated memory: 969004 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.10 7/250 41547
/proc/meminfo: memFree=124391560/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=1218068 memory=969004 CPUtime=2973.44 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 243312 0 0 0 297290 54 0 0 20 0 1 0 45497709 1247301632 242251 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 304517 242251 2848 2752 0 301170 0
Current children cumulated CPU time: 2973.44 s
Current children cumulated vsize: 1218068 KiB
Current children cumulated memory: 969004 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.10 7/251 41556
/proc/meminfo: memFree=124404996/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=1218068 memory=969004 CPUtime=3033.27 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 243332 0 0 0 303273 54 0 0 20 0 1 0 45497709 1247301632 242251 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 304517 242251 2848 2752 0 301170 0
Current children cumulated CPU time: 3033.27 s
Current children cumulated vsize: 1218068 KiB
Current children cumulated memory: 969004 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/251 41558
/proc/meminfo: memFree=124406372/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=1218068 memory=969004 CPUtime=3093.09 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 243332 0 0 0 309255 54 0 0 20 0 1 0 45497709 1247301632 242251 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 304517 242251 2848 2752 0 301170 0
Current children cumulated CPU time: 3093.09 s
Current children cumulated vsize: 1218068 KiB
Current children cumulated memory: 969004 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.09 7/251 41560
/proc/meminfo: memFree=124388648/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=1218068 memory=969004 CPUtime=3152.92 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 243352 0 0 0 315238 54 0 0 20 0 1 0 45497709 1247301632 242251 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 304517 242251 2848 2752 0 301170 0
Current children cumulated CPU time: 3152.92 s
Current children cumulated vsize: 1218068 KiB
Current children cumulated memory: 969004 KiB

[startup+3222.3 s]
/proc/loadavg: 4.24 4.14 4.10 7/251 41562
/proc/meminfo: memFree=124364824/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=1218068 memory=969004 CPUtime=3212.74 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 243372 0 0 0 321220 54 0 0 20 0 1 0 45497709 1247301632 242251 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 304517 242251 2848 2752 0 301170 0
Current children cumulated CPU time: 3212.74 s
Current children cumulated vsize: 1218068 KiB
Current children cumulated memory: 969004 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.09 7/251 41564
/proc/meminfo: memFree=124346820/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=1218068 memory=969004 CPUtime=3272.57 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 243372 0 0 0 327203 54 0 0 20 0 1 0 45497709 1247301632 242251 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 304517 242251 2848 2752 0 301170 0
Current children cumulated CPU time: 3272.57 s
Current children cumulated vsize: 1218068 KiB
Current children cumulated memory: 969004 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 7/250 41566
/proc/meminfo: memFree=124338772/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=1218068 memory=969004 CPUtime=3332.39 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 243392 0 0 0 333185 54 0 0 20 0 1 0 45497709 1247301632 242251 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 304517 242251 2848 2752 0 301170 0
Current children cumulated CPU time: 3332.39 s
Current children cumulated vsize: 1218068 KiB
Current children cumulated memory: 969004 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 7/250 41568
/proc/meminfo: memFree=124334852/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=1218068 memory=969004 CPUtime=3392.22 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 243392 0 0 0 339168 54 0 0 20 0 1 0 45497709 1247301632 242251 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 304517 242251 2848 2752 0 301170 0
Current children cumulated CPU time: 3392.22 s
Current children cumulated vsize: 1218068 KiB
Current children cumulated memory: 969004 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 7/250 41570
/proc/meminfo: memFree=124346904/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=1218068 memory=969004 CPUtime=3452.05 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 243412 0 0 0 345151 54 0 0 20 0 1 0 45497709 1247301632 242251 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 304517 242251 2848 2752 0 301170 0
Current children cumulated CPU time: 3452.05 s
Current children cumulated vsize: 1218068 KiB
Current children cumulated memory: 969004 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 7/250 41571
/proc/meminfo: memFree=124359076/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=1218068 memory=969004 CPUtime=3511.87 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 243412 0 0 0 351133 54 0 0 20 0 1 0 45497709 1247301632 242251 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 304517 242251 2848 2752 0 301170 0
Current children cumulated CPU time: 3511.87 s
Current children cumulated vsize: 1218068 KiB
Current children cumulated memory: 969004 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 7/250 41573
/proc/meminfo: memFree=124362380/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=1218068 memory=969004 CPUtime=3571.69 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 243432 0 0 0 357115 54 0 0 20 0 1 0 45497709 1247301632 242251 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 304517 242251 2848 2752 0 301170 0
Current children cumulated CPU time: 3571.69 s
Current children cumulated vsize: 1218068 KiB
Current children cumulated memory: 969004 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.10 4.10 4.09 6/248 41582
/proc/meminfo: memFree=125582420/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=1218068 memory=969004 CPUtime=3600.01 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 243432 0 0 0 359947 54 0 0 20 0 1 0 45497709 1247301632 242251 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 304517 242251 2848 2752 0 301170 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1218068 KiB
Current children cumulated memory: 969004 KiB

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

[startup+3610.72 s]
# the end of solver process 41357 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.49 s, system=0.544162 s

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

[startup+3610.7 s]
/proc/loadavg: 4.10 4.10 4.09 6/248 41582
/proc/meminfo: memFree=125582420/131382120 swapFree=33010416/33010684
[pid=41357] ppid=41347 vsize=1218068 memory=969004 CPUtime=3600.01 cores=4,6
/proc/41357/stat : 41357 (NuPBO-DeepOptS+) R 41347 41357 40968 0 -1 4194304 243432 0 0 0 359947 54 0 0 20 0 1 0 45497709 1247301632 242251 18446744073709551615 4198400 15468185 140736261171152 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41594880 140736261179798 140736261179908 140736261179908 140736261185510 0
/proc/41357/statm: 304517 242251 2848 2752 0 301170 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1218068 KiB
Current children cumulated memory: 969004 KiB

Child status: 10

Real time (s): 3610.72
CPU time (s): 3600.03
CPU user time (s): 3599.49
CPU system time (s): 0.544162
CPU usage (%): 99.7041
Max. virtual memory (cumulated for all children) (KiB): 1856832
Max. memory (cumulated for all children) (KiB): 1505156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.49
system time used= 0.544162
maximum resident set size= 1505156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243565
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107
involuntary context switches= 19053


# summary of solver processes directly reported to runsolver:
#   pid: 41357
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.49
#   total CPU system time (s): 0.544162

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.5317 second user time and 27.7443 second system time

The end