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

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

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
solver pid=88351, runsolver pid=88348
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 0.87 1.02 1.23 4/247 88359
/proc/meminfo: memFree=127123764/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=30640 memory=15804 CPUtime=0.1 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 2204 0 0 0 10 0 0 0 20 0 1 0 74029312 31375360 3951 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 7660 3951 1088 2752 0 4313 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30640 KiB
Current children cumulated memory: 15804 KiB

[startup+0.213826 s]*
/proc/loadavg: 0.87 1.02 1.23 5/251 88370
/proc/meminfo: memFree=127117716/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=31664 memory=16572 CPUtime=0.21 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 2656 0 0 0 20 1 0 0 20 0 1 0 74029312 32423936 4143 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 7916 4143 1088 2752 0 4569 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31664 KiB
Current children cumulated memory: 16572 KiB

[startup+0.313923 s]*
/proc/loadavg: 0.87 1.02 1.23 5/251 88370
/proc/meminfo: memFree=127105652/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=35764 memory=21056 CPUtime=0.31 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 3253 0 0 0 30 1 0 0 20 0 1 0 74029312 36622336 5264 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 8941 5264 1088 2752 0 5594 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35764 KiB
Current children cumulated memory: 21056 KiB

[startup+0.700285 s]
/proc/loadavg: 0.87 1.02 1.23 6/251 88370
/proc/meminfo: memFree=127087948/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=37808 memory=21096 CPUtime=0.69 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 3769 0 0 0 67 2 0 0 20 0 1 0 74029312 38715392 5274 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 9452 5274 1088 2752 0 6105 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37808 KiB
Current children cumulated memory: 21096 KiB

[startup+1.50026 s]
/proc/loadavg: 0.87 1.02 1.23 5/251 88370
/proc/meminfo: memFree=127043028/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=46000 memory=31340 CPUtime=1.49 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 4320 0 0 0 146 3 0 0 20 0 1 0 74029312 47104000 7835 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 11500 7835 1088 2752 0 8153 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46000 KiB
Current children cumulated memory: 31340 KiB

[startup+3.11285 s]
/proc/loadavg: 0.87 1.02 1.23 5/251 88370
/proc/meminfo: memFree=126805444/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=163284 memory=136376 CPUtime=3.09 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 12513 0 0 0 303 6 0 0 20 0 1 0 74029312 167202816 34094 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 40821 34094 1152 2752 0 37474 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 163284 KiB
Current children cumulated memory: 136376 KiB

[startup+6.3003 s]
/proc/loadavg: 1.12 1.07 1.25 5/252 88371
/proc/meminfo: memFree=126482004/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=163284 memory=136376 CPUtime=6.27 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 12533 0 0 0 621 6 0 0 20 0 1 0 74029312 167202816 34094 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 40821 34094 1152 2752 0 37474 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 163284 KiB
Current children cumulated memory: 136376 KiB

[startup+12.7003 s]
/proc/loadavg: 1.35 1.12 1.26 5/252 88371
/proc/meminfo: memFree=125956196/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=903248 memory=823808 CPUtime=12.65 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 126221 0 0 0 1236 29 0 0 20 0 1 0 74029312 924925952 205952 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 225812 205952 2720 2752 0 222465 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 903248 KiB
Current children cumulated memory: 823808 KiB

[startup+25.5004 s]
/proc/loadavg: 1.94 1.26 1.31 5/252 88371
/proc/meminfo: memFree=124862140/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1164892 memory=1081464 CPUtime=25.41 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 159537 0 0 0 2503 38 0 0 20 0 1 0 74029312 1192849408 270366 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 291223 270366 2784 2752 0 287876 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1164892 KiB
Current children cumulated memory: 1081464 KiB

[startup+51.1133 s]
/proc/loadavg: 2.70 1.50 1.39 5/252 88372
/proc/meminfo: memFree=122085460/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1168388 memory=1086356 CPUtime=50.92 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 160231 0 0 0 5054 38 0 0 20 0 1 0 74029312 1196429312 271589 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 292097 271589 2816 2752 0 288750 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1168388 KiB
Current children cumulated memory: 1086356 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 1.92 1.54 5/252 88374
/proc/meminfo: memFree=122087556/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1171712 memory=1089400 CPUtime=101.91 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 160490 0 0 0 10152 39 0 0 20 0 1 0 74029312 1199833088 272350 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 292928 272350 2816 2752 0 289581 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 1171712 KiB
Current children cumulated memory: 1089400 KiB

[startup+162.3 s]
/proc/loadavg: 4.38 2.44 1.74 5/252 88378
/proc/meminfo: memFree=122053792/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1171712 memory=1089528 CPUtime=161.67 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 160538 0 0 0 16127 40 0 0 20 0 1 0 74029312 1199833088 272382 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 292928 272382 2816 2752 0 289581 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 1171712 KiB
Current children cumulated memory: 1089528 KiB

[startup+222.3 s]
/proc/loadavg: 4.49 2.84 1.93 5/252 88395
/proc/meminfo: memFree=122064804/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1176624 memory=1091448 CPUtime=221.43 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 160997 0 0 0 22103 40 0 0 20 0 1 0 74029312 1204862976 272862 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 294156 272862 2816 2752 0 290809 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 1176624 KiB
Current children cumulated memory: 1091448 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 3.07 2.06 5/252 88397
/proc/meminfo: memFree=122028816/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1214620 memory=1113940 CPUtime=281.21 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 165920 0 0 0 28080 41 0 0 20 0 1 0 74029312 1243770880 278485 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 303655 278485 2848 2752 0 300308 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 1214620 KiB
Current children cumulated memory: 1113940 KiB

[startup+342.3 s]
/proc/loadavg: 4.24 3.29 2.20 5/249 88399
/proc/meminfo: memFree=121826968/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1422700 memory=1321156 CPUtime=340.97 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 216832 0 0 0 34048 49 0 0 20 0 1 0 74029312 1456844800 330289 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 355675 330289 2848 2752 0 352328 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 1422700 KiB
Current children cumulated memory: 1321156 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 3.45 2.33 5/250 88402
/proc/meminfo: memFree=121826612/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1422700 memory=1321540 CPUtime=400.74 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 216855 0 0 0 40025 49 0 0 20 0 1 0 74029312 1456844800 330385 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 355675 330385 2848 2752 0 352328 0
Current children cumulated CPU time: 400.74 s
Current children cumulated vsize: 1422700 KiB
Current children cumulated memory: 1321540 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 3.58 2.45 5/250 88404
/proc/meminfo: memFree=121826096/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1422700 memory=1322692 CPUtime=460.5 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 216957 0 0 0 46001 49 0 0 20 0 1 0 74029312 1456844800 330673 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 355675 330673 2848 2752 0 352328 0

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

Current children cumulated memory: 1019760 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.02 5/251 88520
/proc/meminfo: memFree=122522256/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1058852 memory=1019760 CPUtime=2853.16 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 221501 0 0 0 285265 51 0 0 20 0 1 0 74029312 1084264448 254940 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 264713 254940 2848 2752 0 261366 0
Current children cumulated CPU time: 2853.16 s
Current children cumulated vsize: 1058852 KiB
Current children cumulated memory: 1019760 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.03 5/251 88522
/proc/meminfo: memFree=122497340/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1058852 memory=1019760 CPUtime=2913.02 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 221542 0 0 0 291251 51 0 0 20 0 1 0 74029312 1084264448 254940 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 264713 254940 2848 2752 0 261366 0
Current children cumulated CPU time: 2913.02 s
Current children cumulated vsize: 1058852 KiB
Current children cumulated memory: 1019760 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/251 88524
/proc/meminfo: memFree=122496148/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1058852 memory=1019760 CPUtime=2972.87 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 221542 0 0 0 297236 51 0 0 20 0 1 0 74029312 1084264448 254940 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 264713 254940 2848 2752 0 261366 0
Current children cumulated CPU time: 2972.87 s
Current children cumulated vsize: 1058852 KiB
Current children cumulated memory: 1019760 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.04 5/251 88530
/proc/meminfo: memFree=122507464/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1058852 memory=1019760 CPUtime=3032.72 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 221583 0 0 0 303221 51 0 0 20 0 1 0 74029312 1084264448 254940 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 264713 254940 2848 2752 0 261366 0
Current children cumulated CPU time: 3032.72 s
Current children cumulated vsize: 1058852 KiB
Current children cumulated memory: 1019760 KiB

[startup+3102.3 s]
/proc/loadavg: 4.19 4.13 4.04 5/249 88531
/proc/meminfo: memFree=122518012/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1058852 memory=1019760 CPUtime=3092.58 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 221583 0 0 0 309207 51 0 0 20 0 1 0 74029312 1084264448 254940 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 264713 254940 2848 2752 0 261366 0
Current children cumulated CPU time: 3092.58 s
Current children cumulated vsize: 1058852 KiB
Current children cumulated memory: 1019760 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.13 4.05 5/250 88536
/proc/meminfo: memFree=122521676/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1058852 memory=1019760 CPUtime=3152.43 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 221624 0 0 0 315192 51 0 0 20 0 1 0 74029312 1084264448 254940 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 264713 254940 2848 2752 0 261366 0
Current children cumulated CPU time: 3152.43 s
Current children cumulated vsize: 1058852 KiB
Current children cumulated memory: 1019760 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.05 5/250 88538
/proc/meminfo: memFree=122524700/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1058852 memory=1019760 CPUtime=3212.29 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 221665 0 0 0 321178 51 0 0 20 0 1 0 74029312 1084264448 254940 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 264713 254940 2848 2752 0 261366 0
Current children cumulated CPU time: 3212.29 s
Current children cumulated vsize: 1058852 KiB
Current children cumulated memory: 1019760 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.05 5/250 88540
/proc/meminfo: memFree=122529740/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1058852 memory=1019760 CPUtime=3272.15 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 221665 0 0 0 327163 52 0 0 20 0 1 0 74029312 1084264448 254940 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 264713 254940 2848 2752 0 261366 0
Current children cumulated CPU time: 3272.15 s
Current children cumulated vsize: 1058852 KiB
Current children cumulated memory: 1019760 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.05 5/250 88542
/proc/meminfo: memFree=122548644/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1058852 memory=1019760 CPUtime=3332.01 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 221706 0 0 0 333149 52 0 0 20 0 1 0 74029312 1084264448 254940 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 264713 254940 2848 2752 0 261366 0
Current children cumulated CPU time: 3332.01 s
Current children cumulated vsize: 1058852 KiB
Current children cumulated memory: 1019760 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/250 88544
/proc/meminfo: memFree=122551176/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1058852 memory=1019760 CPUtime=3391.86 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 221706 0 0 0 339134 52 0 0 20 0 1 0 74029312 1084264448 254940 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 264713 254940 2848 2752 0 261366 0
Current children cumulated CPU time: 3391.86 s
Current children cumulated vsize: 1058852 KiB
Current children cumulated memory: 1019760 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.06 5/249 88546
/proc/meminfo: memFree=122553696/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1058852 memory=1019760 CPUtime=3451.72 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 221747 0 0 0 345120 52 0 0 20 0 1 0 74029312 1084264448 254940 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 264713 254940 2848 2752 0 261366 0
Current children cumulated CPU time: 3451.72 s
Current children cumulated vsize: 1058852 KiB
Current children cumulated memory: 1019760 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/249 88548
/proc/meminfo: memFree=122555580/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1058852 memory=1019760 CPUtime=3511.57 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 221747 0 0 0 351105 52 0 0 20 0 1 0 74029312 1084264448 254940 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 264713 254940 2848 2752 0 261366 0
Current children cumulated CPU time: 3511.57 s
Current children cumulated vsize: 1058852 KiB
Current children cumulated memory: 1019760 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/250 88551
/proc/meminfo: memFree=122557596/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1058852 memory=1019760 CPUtime=3571.43 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 221788 0 0 0 357091 52 0 0 20 0 1 0 74029312 1084264448 254940 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 264713 254940 2848 2752 0 261366 0
Current children cumulated CPU time: 3571.43 s
Current children cumulated vsize: 1058852 KiB
Current children cumulated memory: 1019760 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.19 4.13 4.07 6/250 88617
/proc/meminfo: memFree=124282824/131382116 swapFree=33010684/33010684
[pid=88351] ppid=88348 vsize=1058852 memory=1019760 CPUtime=3600.06 cores=5,7
/proc/88351/stat : 88351 (NuPBO-DeepOptS+) R 88348 88351 88296 0 -1 4194304 221788 0 0 0 359954 52 0 0 20 0 1 0 74029312 1084264448 254940 18446744073709551615 4198400 15468185 140737008775472 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 31379456 140737008781718 140737008781828 140737008781828 140737008787430 0
/proc/88351/statm: 264713 254940 2848 2752 0 261366 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1058852 KiB
Current children cumulated memory: 1019760 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.58 s, system=0.52977 s

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

Child status: 10

Real time (s): 3611.06
CPU time (s): 3600.11
CPU user time (s): 3599.58
CPU system time (s): 0.52977
CPU usage (%): 99.6969
Max. virtual memory (cumulated for all children) (KiB): 1422700
Max. memory (cumulated for all children) (KiB): 1328196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.58
system time used= 0.52977
maximum resident set size= 1328196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221899
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= 37
involuntary context switches= 19691


# summary of solver processes directly reported to runsolver:
#   pid: 88351
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3599.58
#   total CPU system time (s): 0.52977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5141 second user time and 33.8626 second system time

The end