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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522084-1751590718/watcher-4522084-1751590718 -o /tmp/evaluation-result-4522084-1751590718/solver-4522084-1751590718 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751583495-88314 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4522084-1751590718.opb -t 3600 -s 864042011 

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

solver pid=89061, runsolver pid=89058

[startup+0.100065 s]*
/proc/loadavg: 4.14 4.12 4.11 5/251 89062
/proc/meminfo: memFree=127052060/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=21492 memory=6784 CPUtime=0.1 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 979 0 0 0 10 0 0 0 20 0 1 0 74751515 22007808 1696 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 5373 1696 1088 2752 0 2026 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21492 KiB
Current children cumulated memory: 6784 KiB

[startup+0.212633 s]*
/proc/loadavg: 4.14 4.12 4.11 5/251 89062
/proc/meminfo: memFree=127046516/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=29880 memory=14808 CPUtime=0.21 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 3539 0 0 0 21 0 0 0 20 0 1 0 74751515 30597120 3702 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 7470 3702 1152 2752 0 4123 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29880 KiB
Current children cumulated memory: 14808 KiB

[startup+0.312705 s]*
/proc/loadavg: 4.14 4.12 4.11 5/251 89062
/proc/meminfo: memFree=127046516/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=29880 memory=14808 CPUtime=0.31 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 3539 0 0 0 31 0 0 0 20 0 1 0 74751515 30597120 3702 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 7470 3702 1152 2752 0 4123 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29880 KiB
Current children cumulated memory: 14808 KiB

[startup+0.700244 s]
/proc/loadavg: 4.14 4.12 4.11 5/251 89062
/proc/meminfo: memFree=127046516/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=29880 memory=14808 CPUtime=0.68 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 3539 0 0 0 68 0 0 0 20 0 1 0 74751515 30597120 3702 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 7470 3702 1152 2752 0 4123 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 29880 KiB
Current children cumulated memory: 14808 KiB

[startup+1.50027 s]
/proc/loadavg: 4.14 4.12 4.11 5/251 89062
/proc/meminfo: memFree=126998644/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=87028 memory=72760 CPUtime=1.48 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 16773 0 0 0 145 3 0 0 20 0 1 0 74751515 89116672 18190 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 21757 18190 2816 2752 0 18410 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 87028 KiB
Current children cumulated memory: 72760 KiB

[startup+3.11224 s]
/proc/loadavg: 4.14 4.12 4.11 5/251 89107
/proc/meminfo: memFree=127024916/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=102452 memory=86200 CPUtime=3.08 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 20132 0 0 0 304 4 0 0 20 0 1 0 74751515 104910848 21550 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 25613 21550 2816 2752 0 22266 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 102452 KiB
Current children cumulated memory: 86200 KiB

[startup+6.30031 s]
/proc/loadavg: 4.13 4.11 4.11 5/251 89107
/proc/meminfo: memFree=126769448/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=128556 memory=106808 CPUtime=6.26 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 25337 0 0 0 621 5 0 0 20 0 1 0 74751515 131641344 26702 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 32139 26702 2816 2752 0 28792 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 128556 KiB
Current children cumulated memory: 106808 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.11 4.11 5/251 89107
/proc/meminfo: memFree=126399136/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=141392 memory=118584 CPUtime=12.63 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 28333 0 0 0 1258 5 0 0 20 0 1 0 74751515 144785408 29646 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 35348 29646 2816 2752 0 32001 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 141392 KiB
Current children cumulated memory: 118584 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.12 4.11 5/251 89107
/proc/meminfo: memFree=126283836/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=157148 memory=134968 CPUtime=25.37 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 32451 0 0 0 2531 6 0 0 20 0 1 0 74751515 160919552 33742 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 39287 33742 2816 2752 0 35940 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 157148 KiB
Current children cumulated memory: 134968 KiB

[startup+51.1129 s]
/proc/loadavg: 4.18 4.13 4.11 5/251 89107
/proc/meminfo: memFree=126243260/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=157468 memory=143416 CPUtime=50.89 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 34530 0 0 0 5082 7 0 0 20 0 1 0 74751515 161247232 35854 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 39367 35854 2848 2752 0 36020 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 157468 KiB
Current children cumulated memory: 143416 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.14 4.11 5/251 89109
/proc/meminfo: memFree=126118260/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=273856 memory=212248 CPUtime=101.89 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 53936 0 0 0 10178 11 0 0 20 0 1 0 74751515 280428544 53062 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 68464 53062 3168 2752 0 65117 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 273856 KiB
Current children cumulated memory: 212248 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/252 89129
/proc/meminfo: memFree=126030732/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=350456 memory=264896 CPUtime=161.66 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 73740 0 0 0 16151 15 0 0 20 0 1 0 74751515 358866944 66224 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 87614 66224 3168 2752 0 84267 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 350456 KiB
Current children cumulated memory: 264896 KiB

[startup+222.3 s]
/proc/loadavg: 4.74 4.30 4.17 5/253 89132
/proc/meminfo: memFree=125954588/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=373224 memory=299876 CPUtime=221.43 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 81208 0 0 0 22126 17 0 0 20 0 1 0 74751515 382181376 74969 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 93306 74969 3168 2752 0 89959 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 373224 KiB
Current children cumulated memory: 299876 KiB

[startup+282.3 s]
/proc/loadavg: 4.36 4.27 4.17 5/253 89134
/proc/meminfo: memFree=125910164/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=373224 memory=346084 CPUtime=281.21 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 84841 0 0 0 28103 18 0 0 20 0 1 0 74751515 382181376 86521 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 93306 86521 3168 2752 0 89959 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 373224 KiB
Current children cumulated memory: 346084 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 4.24 4.17 5/252 89136
/proc/meminfo: memFree=125866520/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=386128 memory=370176 CPUtime=340.99 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 86137 0 0 0 34081 18 0 0 20 0 1 0 74751515 395395072 92544 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 96532 92544 3168 2752 0 93185 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 386128 KiB
Current children cumulated memory: 370176 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.21 4.16 5/252 89138
/proc/meminfo: memFree=125800524/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=387148 memory=372224 CPUtime=400.79 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 86517 0 0 0 40061 18 0 0 20 0 1 0 74751515 396439552 93056 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 96787 93056 3168 2752 0 93440 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 387148 KiB
Current children cumulated memory: 372224 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.18 4.15 5/251 89140
/proc/meminfo: memFree=125778396/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=407248 memory=391080 CPUtime=460.6 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 100245 0 0 0 46039 21 0 0 20 0 1 0 74751515 417021952 97770 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 101812 97770 3168 2752 0 98465 0
Current children cumulated CPU time: 460.6 s

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

Current children cumulated memory: 854192 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/250 89261
/proc/meminfo: memFree=125138452/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=862020 memory=854192 CPUtime=2913.6 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 168923 0 0 0 291324 36 0 0 20 0 1 0 74751515 882708480 213548 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 215505 213548 3168 2752 0 212158 0
Current children cumulated CPU time: 2913.6 s
Current children cumulated vsize: 862020 KiB
Current children cumulated memory: 854192 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/251 89264
/proc/meminfo: memFree=125146464/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=862020 memory=854192 CPUtime=2973.46 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 168923 0 0 0 297310 36 0 0 20 0 1 0 74751515 882708480 213548 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 215505 213548 3168 2752 0 212158 0
Current children cumulated CPU time: 2973.46 s
Current children cumulated vsize: 862020 KiB
Current children cumulated memory: 854192 KiB

[startup+3042.3 s]
/proc/loadavg: 4.43 4.19 4.12 5/251 89270
/proc/meminfo: memFree=125147044/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=862020 memory=854192 CPUtime=3033.32 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 168929 0 0 0 303296 36 0 0 20 0 1 0 74751515 882708480 213548 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 215505 213548 3168 2752 0 212158 0
Current children cumulated CPU time: 3033.32 s
Current children cumulated vsize: 862020 KiB
Current children cumulated memory: 854192 KiB

[startup+3102.3 s]
/proc/loadavg: 4.61 4.30 4.16 5/251 89272
/proc/meminfo: memFree=125143216/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=862020 memory=854704 CPUtime=3093.18 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 168929 0 0 0 309282 36 0 0 20 0 1 0 74751515 882708480 213676 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 215505 213676 3168 2752 0 212158 0
Current children cumulated CPU time: 3093.18 s
Current children cumulated vsize: 862020 KiB
Current children cumulated memory: 854704 KiB

[startup+3162.3 s]
/proc/loadavg: 4.27 4.26 4.16 5/252 89277
/proc/meminfo: memFree=125144724/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=862020 memory=854704 CPUtime=3153.06 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 168935 0 0 0 315269 37 0 0 20 0 1 0 74751515 882708480 213676 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 215505 213676 3168 2752 0 212158 0
Current children cumulated CPU time: 3153.06 s
Current children cumulated vsize: 862020 KiB
Current children cumulated memory: 854704 KiB

[startup+3222.3 s]
/proc/loadavg: 4.22 4.24 4.16 5/252 89280
/proc/meminfo: memFree=125146568/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=862020 memory=854704 CPUtime=3212.92 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 168941 0 0 0 321255 37 0 0 20 0 1 0 74751515 882708480 213676 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 215505 213676 3168 2752 0 212158 0
Current children cumulated CPU time: 3212.92 s
Current children cumulated vsize: 862020 KiB
Current children cumulated memory: 854704 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.21 4.15 5/251 89282
/proc/meminfo: memFree=125146196/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=862020 memory=854704 CPUtime=3272.78 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 168941 0 0 0 327241 37 0 0 20 0 1 0 74751515 882708480 213676 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 215505 213676 3168 2752 0 212158 0
Current children cumulated CPU time: 3272.78 s
Current children cumulated vsize: 862020 KiB
Current children cumulated memory: 854704 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.18 4.14 5/251 89284
/proc/meminfo: memFree=125146196/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=862020 memory=854704 CPUtime=3332.64 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 168947 0 0 0 333227 37 0 0 20 0 1 0 74751515 882708480 213676 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 215505 213676 3168 2752 0 212158 0
Current children cumulated CPU time: 3332.64 s
Current children cumulated vsize: 862020 KiB
Current children cumulated memory: 854704 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.18 4.14 6/252 89287
/proc/meminfo: memFree=125146268/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=862020 memory=854704 CPUtime=3392.5 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 168947 0 0 0 339213 37 0 0 20 0 1 0 74751515 882708480 213676 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 215505 213676 3168 2752 0 212158 0
Current children cumulated CPU time: 3392.5 s
Current children cumulated vsize: 862020 KiB
Current children cumulated memory: 854704 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.16 4.14 5/251 89289
/proc/meminfo: memFree=125146028/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=862020 memory=854704 CPUtime=3452.37 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 168953 0 0 0 345200 37 0 0 20 0 1 0 74751515 882708480 213676 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 215505 213676 3168 2752 0 212158 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 862020 KiB
Current children cumulated memory: 854704 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/250 89291
/proc/meminfo: memFree=125146028/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=862020 memory=854704 CPUtime=3512.23 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 168953 0 0 0 351186 37 0 0 20 0 1 0 74751515 882708480 213676 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 215505 213676 3168 2752 0 212158 0
Current children cumulated CPU time: 3512.23 s
Current children cumulated vsize: 862020 KiB
Current children cumulated memory: 854704 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.13 4.13 5/250 89293
/proc/meminfo: memFree=125146044/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=862020 memory=854704 CPUtime=3572.09 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 168959 0 0 0 357172 37 0 0 20 0 1 0 74751515 882708480 213676 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 215505 213676 3168 2752 0 212158 0
Current children cumulated CPU time: 3572.09 s
Current children cumulated vsize: 862020 KiB
Current children cumulated memory: 854704 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.12 4.13 4.13 3/239 89361
/proc/meminfo: memFree=125306332/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=862020 memory=854704 CPUtime=3600.01 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 168959 0 0 0 359962 39 0 0 20 0 1 0 74751515 882708480 213676 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 215505 213676 3168 2752 0 212158 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 862020 KiB
Current children cumulated memory: 854704 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.63 s, system=0.397903 s

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

[startup+3610.3 s]
/proc/loadavg: 4.12 4.13 4.13 3/239 89361
/proc/meminfo: memFree=125306332/131382116 swapFree=33010684/33010684
[pid=89061] ppid=89058 vsize=862020 memory=854704 CPUtime=3600.01 cores=5,7
/proc/89061/stat : 89061 (NuPBO-DeepOptS+) R 89058 89061 88296 0 -1 4194304 168959 0 0 0 359962 39 0 0 20 0 1 0 74751515 882708480 213676 18446744073709551615 4198400 15468185 140736016843712 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 51658752 140736016849303 140736016849412 140736016849412 140736016855014 0
/proc/89061/statm: 215505 213676 3168 2752 0 212158 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 862020 KiB
Current children cumulated memory: 854704 KiB

Child status: 10

Real time (s): 3610.31
CPU time (s): 3600.03
CPU user time (s): 3599.63
CPU system time (s): 0.397903
CPU usage (%): 99.7154
Max. virtual memory (cumulated for all children) (KiB): 862020
Max. memory (cumulated for all children) (KiB): 854704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.63
system time used= 0.397903
maximum resident set size= 854704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169088
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= 89
involuntary context switches= 20425


# summary of solver processes directly reported to runsolver:
#   pid: 89061
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.63
#   total CPU system time (s): 0.397903

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.993 second user time and 33.6625 second system time

The end