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 (62442 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-4484946-1751298183/watcher-4484946-1751298183 -o /tmp/evaluation-result-4484946-1751298183/solver-4484946-1751298183 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751294573-40981 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4484946-1751298183.opb -t 3600 -s 1266820173 

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=41368, runsolver pid=41365

[startup+0.100067 s]*
/proc/loadavg: 4.64 4.27 4.10 5/248 41372
/proc/meminfo: memFree=128603132/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=24260 memory=9428 CPUtime=0.1 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 1155 0 0 0 10 0 0 0 20 0 1 0 45497718 24842240 2357 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 6065 2357 1088 2752 0 2718 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24260 KiB
Current children cumulated memory: 9428 KiB

[startup+0.21232 s]*
/proc/loadavg: 4.64 4.27 4.10 4/247 41382
/proc/meminfo: memFree=128602884/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=25284 memory=10232 CPUtime=0.21 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 1597 0 0 0 20 1 0 0 20 0 1 0 45497718 25890816 2558 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 6321 2558 1088 2752 0 2974 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 25284 KiB
Current children cumulated memory: 10232 KiB

[startup+0.312747 s]*
/proc/loadavg: 4.64 4.27 4.10 4/247 41387
/proc/meminfo: memFree=128602884/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=27332 memory=10972 CPUtime=0.3 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 1780 0 0 0 29 1 0 0 20 0 1 0 45497718 27987968 2743 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 6833 2743 1088 2752 0 3486 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27332 KiB
Current children cumulated memory: 10972 KiB

[startup+0.700295 s]
/proc/loadavg: 4.64 4.27 4.10 5/246 41391
/proc/meminfo: memFree=128590912/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=39536 memory=21280 CPUtime=0.67 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 3339 0 0 0 64 3 0 0 20 0 1 0 45497718 40484864 5320 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 9884 5320 1088 2752 0 6537 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 39536 KiB
Current children cumulated memory: 21280 KiB

[startup+1.50038 s]
/proc/loadavg: 4.64 4.27 4.10 5/251 41400
/proc/meminfo: memFree=128517920/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=61672 memory=45444 CPUtime=1.47 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 9353 0 0 0 142 5 0 0 20 0 1 0 45497718 63152128 11361 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 15418 11361 1152 2752 0 12071 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 61672 KiB
Current children cumulated memory: 45444 KiB

[startup+3.11296 s]
/proc/loadavg: 4.64 4.27 4.10 5/251 41400
/proc/meminfo: memFree=128205348/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=185264 memory=167168 CPUtime=3.08 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 39631 0 0 0 297 11 0 0 20 0 1 0 45497718 189710336 41792 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 46316 41792 2656 2752 0 42969 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 185264 KiB
Current children cumulated memory: 167168 KiB

[startup+6.30031 s]
/proc/loadavg: 4.58 4.26 4.10 5/251 41400
/proc/meminfo: memFree=126845128/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=543488 memory=482508 CPUtime=6.25 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 81894 0 0 0 605 20 0 0 20 0 1 0 45497718 556531712 120627 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 135872 120627 2816 2752 0 132525 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 543488 KiB
Current children cumulated memory: 482508 KiB

[startup+12.7002 s]
/proc/loadavg: 4.54 4.26 4.10 5/251 41400
/proc/meminfo: memFree=126772552/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=558496 memory=482508 CPUtime=12.63 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 81905 0 0 0 1243 20 0 0 20 0 1 0 45497718 571899904 120627 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 139624 120627 2816 2752 0 136277 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 558496 KiB
Current children cumulated memory: 482508 KiB

[startup+25.5003 s]
/proc/loadavg: 4.49 4.26 4.10 5/251 41401
/proc/meminfo: memFree=126683880/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=637484 memory=495832 CPUtime=25.39 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 84218 0 0 0 2518 21 0 0 20 0 1 0 45497718 652783616 123958 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 159371 123958 2816 2752 0 156024 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 637484 KiB
Current children cumulated memory: 495832 KiB

[startup+51.1133 s]
/proc/loadavg: 4.38 4.26 4.10 5/251 41401
/proc/meminfo: memFree=126345128/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=800244 memory=602584 CPUtime=50.9 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 110884 0 0 0 5064 26 0 0 20 0 1 0 45497718 819449856 150646 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 200061 150646 2848 2752 0 196714 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 800244 KiB
Current children cumulated memory: 602584 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.23 4.10 5/251 41403
/proc/meminfo: memFree=126063164/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=929452 memory=731736 CPUtime=101.88 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 143179 0 0 0 10157 31 0 0 20 0 1 0 45497718 951758848 182934 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 232363 182934 2848 2752 0 229016 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 929452 KiB
Current children cumulated memory: 731736 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.22 4.10 5/251 41405
/proc/meminfo: memFree=125802496/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1046280 memory=803288 CPUtime=161.66 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 161108 0 0 0 16132 34 0 0 20 0 1 0 45497718 1071390720 200822 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 261570 200822 2848 2752 0 258223 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 1046280 KiB
Current children cumulated memory: 803288 KiB

[startup+222.3 s]
/proc/loadavg: 4.69 4.32 4.14 5/251 41407
/proc/meminfo: memFree=125615284/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1132164 memory=842748 CPUtime=221.44 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 167021 0 0 0 22108 36 0 0 20 0 1 0 45497718 1159335936 210687 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 283041 210687 2848 2752 0 279694 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 1132164 KiB
Current children cumulated memory: 842748 KiB

[startup+282.3 s]
/proc/loadavg: 5.19 4.56 4.24 5/251 41409
/proc/meminfo: memFree=125546632/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1162380 memory=870776 CPUtime=281.24 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 168936 0 0 0 28087 37 0 0 20 0 1 0 45497718 1190277120 217694 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 290595 217694 2848 2752 0 287248 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 1162380 KiB
Current children cumulated memory: 870776 KiB

[startup+342.3 s]
/proc/loadavg: 4.49 4.47 4.22 5/249 41411
/proc/meminfo: memFree=125400088/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1205384 memory=908504 CPUtime=341.01 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 174809 0 0 0 34063 38 0 0 20 0 1 0 45497718 1234313216 227126 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 301346 227126 2848 2752 0 297999 0
Current children cumulated CPU time: 341.01 s
Current children cumulated vsize: 1205384 KiB
Current children cumulated memory: 908504 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 4.40 4.21 5/249 41413
/proc/meminfo: memFree=125175048/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1224228 memory=913576 CPUtime=400.79 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 176020 0 0 0 40041 38 0 0 20 0 1 0 45497718 1253609472 228394 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 306057 228394 2848 2752 0 302710 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 1224228 KiB
Current children cumulated memory: 913576 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.34 4.20 5/249 41416
/proc/meminfo: memFree=125006336/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1356936 memory=975020 CPUtime=460.57 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 186587 0 0 0 46016 41 0 0 20 0 1 0 45497718 1389502464 243755 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 339234 243755 3168 2752 0 335887 0

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

Current children cumulated memory: 1111388 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/250 41542
/proc/meminfo: memFree=124438768/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1340908 memory=1111388 CPUtime=2853.21 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 289852 0 0 0 285258 63 0 0 20 0 1 0 45497718 1373089792 277847 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 335227 277847 3168 2752 0 331880 0
Current children cumulated CPU time: 2853.21 s
Current children cumulated vsize: 1340908 KiB
Current children cumulated memory: 1111388 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/249 41544
/proc/meminfo: memFree=124423032/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1340908 memory=1111388 CPUtime=2913.08 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 289869 0 0 0 291245 63 0 0 20 0 1 0 45497718 1373089792 277847 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 335227 277847 3168 2752 0 331880 0
Current children cumulated CPU time: 2913.08 s
Current children cumulated vsize: 1340908 KiB
Current children cumulated memory: 1111388 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/250 41547
/proc/meminfo: memFree=124391560/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1340908 memory=1111388 CPUtime=2972.95 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 289870 0 0 0 297232 63 0 0 20 0 1 0 45497718 1373089792 277847 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 335227 277847 3168 2752 0 331880 0
Current children cumulated CPU time: 2972.95 s
Current children cumulated vsize: 1340908 KiB
Current children cumulated memory: 1111388 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/251 41556
/proc/meminfo: memFree=124404996/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1340908 memory=1111388 CPUtime=3032.81 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 289888 0 0 0 303218 63 0 0 20 0 1 0 45497718 1373089792 277847 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 335227 277847 3168 2752 0 331880 0
Current children cumulated CPU time: 3032.81 s
Current children cumulated vsize: 1340908 KiB
Current children cumulated memory: 1111388 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/251 41558
/proc/meminfo: memFree=124406372/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1340908 memory=1111388 CPUtime=3092.68 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 289906 0 0 0 309205 63 0 0 20 0 1 0 45497718 1373089792 277847 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 335227 277847 3168 2752 0 331880 0
Current children cumulated CPU time: 3092.68 s
Current children cumulated vsize: 1340908 KiB
Current children cumulated memory: 1111388 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/251 41560
/proc/meminfo: memFree=124380960/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1340908 memory=1111388 CPUtime=3152.54 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 289906 0 0 0 315191 63 0 0 20 0 1 0 45497718 1373089792 277847 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 335227 277847 3168 2752 0 331880 0
Current children cumulated CPU time: 3152.54 s
Current children cumulated vsize: 1340908 KiB
Current children cumulated memory: 1111388 KiB

[startup+3222.3 s]
/proc/loadavg: 4.24 4.14 4.10 5/251 41562
/proc/meminfo: memFree=124364824/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1340908 memory=1111388 CPUtime=3212.4 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 289924 0 0 0 321177 63 0 0 20 0 1 0 45497718 1373089792 277847 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 335227 277847 3168 2752 0 331880 0
Current children cumulated CPU time: 3212.4 s
Current children cumulated vsize: 1340908 KiB
Current children cumulated memory: 1111388 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/251 41564
/proc/meminfo: memFree=124346820/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1340908 memory=1111388 CPUtime=3272.26 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 289942 0 0 0 327163 63 0 0 20 0 1 0 45497718 1373089792 277847 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 335227 277847 3168 2752 0 331880 0
Current children cumulated CPU time: 3272.26 s
Current children cumulated vsize: 1340908 KiB
Current children cumulated memory: 1111388 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/250 41566
/proc/meminfo: memFree=124338772/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1340908 memory=1111388 CPUtime=3332.13 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 289959 0 0 0 333150 63 0 0 20 0 1 0 45497718 1373089792 277847 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 335227 277847 3168 2752 0 331880 0
Current children cumulated CPU time: 3332.13 s
Current children cumulated vsize: 1340908 KiB
Current children cumulated memory: 1111388 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 41568
/proc/meminfo: memFree=124334852/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1340908 memory=1111388 CPUtime=3391.99 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 289960 0 0 0 339136 63 0 0 20 0 1 0 45497718 1373089792 277847 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 335227 277847 3168 2752 0 331880 0
Current children cumulated CPU time: 3391.99 s
Current children cumulated vsize: 1340908 KiB
Current children cumulated memory: 1111388 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/250 41570
/proc/meminfo: memFree=124346904/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1340908 memory=1111388 CPUtime=3451.85 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 289978 0 0 0 345122 63 0 0 20 0 1 0 45497718 1373089792 277847 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 335227 277847 3168 2752 0 331880 0
Current children cumulated CPU time: 3451.85 s
Current children cumulated vsize: 1340908 KiB
Current children cumulated memory: 1111388 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 41572
/proc/meminfo: memFree=124359076/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1340908 memory=1111388 CPUtime=3511.72 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 289996 0 0 0 351109 63 0 0 20 0 1 0 45497718 1373089792 277847 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 335227 277847 3168 2752 0 331880 0
Current children cumulated CPU time: 3511.72 s
Current children cumulated vsize: 1340908 KiB
Current children cumulated memory: 1111388 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 41573
/proc/meminfo: memFree=124362380/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1340908 memory=1111388 CPUtime=3571.58 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 289996 0 0 0 357095 63 0 0 20 0 1 0 45497718 1373089792 277847 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 335227 277847 3168 2752 0 331880 0
Current children cumulated CPU time: 3571.58 s
Current children cumulated vsize: 1340908 KiB
Current children cumulated memory: 1111388 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.10 4.10 4.09 4/248 41586
/proc/meminfo: memFree=125582276/131382120 swapFree=33010416/33010684
[pid=41368] ppid=41365 vsize=1340908 memory=1111388 CPUtime=3600.02 cores=5,7
/proc/41368/stat : 41368 (NuPBO-DeepOptS+) R 41365 41368 40968 0 -1 4194304 290014 0 0 0 359939 63 0 0 20 0 1 0 45497718 1373089792 277847 18446744073709551615 4198400 15468185 140726433929504 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32497664 140726433933718 140726433933828 140726433933828 140726433939430 0
/proc/41368/statm: 335227 277847 3168 2752 0 331880 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1340908 KiB
Current children cumulated memory: 1111388 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.41 s, system=0.638408 s

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

Child status: 10

Real time (s): 3610.82
CPU time (s): 3600.05
CPU user time (s): 3599.41
CPU system time (s): 0.638408
CPU usage (%): 99.7017
Max. virtual memory (cumulated for all children) (KiB): 1867876
Max. memory (cumulated for all children) (KiB): 1472316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.41
system time used= 0.638408
maximum resident set size= 1472316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290514
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= 18
involuntary context switches= 1508


# summary of solver processes directly reported to runsolver:
#   pid: 41368
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.41
#   total CPU system time (s): 0.638408

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0837 second user time and 33.6069 second system time

The end