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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499620-1751421264/watcher-4499620-1751421264 -o /tmp/evaluation-result-4499620-1751421264/solver-4499620-1751421264 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751421264-65894 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4499620-1751421264.opb -t 3600 -s 1923729422 

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


[startup+0.100061 s]*
/proc/loadavg: 0.45 1.00 1.10 5/265 65953
/proc/meminfo: memFree=129100592/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=24552 memory=10008 CPUtime=0.09 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 2053 0 0 0 9 0 0 0 20 0 1 0 57806674 25141248 2502 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 6138 2502 1088 2752 0 2791 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24552 KiB
Current children cumulated memory: 10008 KiB

[startup+0.204765 s]*
/proc/loadavg: 0.45 1.00 1.10 5/265 65953
/proc/meminfo: memFree=129083140/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=34796 memory=17524 CPUtime=0.19 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 2883 0 0 0 19 0 0 0 20 0 1 0 57806674 35631104 4381 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 8699 4381 1088 2752 0 5352 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34796 KiB
Current children cumulated memory: 17524 KiB

[startup+0.304949 s]*
/proc/loadavg: 0.45 1.00 1.10 5/265 65953
/proc/meminfo: memFree=129070852/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=38584 memory=23308 CPUtime=0.3 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 3316 0 0 0 29 1 0 0 20 0 1 0 57806674 39510016 5827 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 9646 5827 1088 2752 0 6299 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38584 KiB
Current children cumulated memory: 23308 KiB

[startup+0.700125 s]
/proc/loadavg: 0.45 1.00 1.10 5/265 65953
/proc/meminfo: memFree=128989136/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=61216 memory=46124 CPUtime=0.69 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 8414 0 0 0 67 2 0 0 20 0 1 0 57806674 62685184 11531 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 15304 11531 1152 2752 0 11957 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61216 KiB
Current children cumulated memory: 46124 KiB

[startup+1.50011 s]
/proc/loadavg: 0.45 1.00 1.10 5/265 65953
/proc/meminfo: memFree=128989136/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=61216 memory=46124 CPUtime=1.49 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 8414 0 0 0 147 2 0 0 20 0 1 0 57806674 62685184 11531 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 15304 11531 1152 2752 0 11957 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 61216 KiB
Current children cumulated memory: 46124 KiB

[startup+3.10513 s]
/proc/loadavg: 0.45 1.00 1.10 5/265 65953
/proc/meminfo: memFree=128893164/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=61216 memory=46124 CPUtime=3.09 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 8419 0 0 0 307 2 0 0 20 0 1 0 57806674 62685184 11531 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 15304 11531 1152 2752 0 11957 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61216 KiB
Current children cumulated memory: 46124 KiB

[startup+6.30011 s]
/proc/loadavg: 0.81 1.06 1.12 5/265 65953
/proc/meminfo: memFree=128284420/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=265316 memory=248684 CPUtime=6.27 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 59327 0 0 0 617 10 0 0 20 0 1 0 57806674 271683584 62171 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66329 62171 2816 2752 0 62982 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 265316 KiB
Current children cumulated memory: 248684 KiB

[startup+12.7001 s]
/proc/loadavg: 1.07 1.11 1.13 5/265 65953
/proc/meminfo: memFree=128276420/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=266256 memory=249452 CPUtime=12.66 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 59499 0 0 0 1256 10 0 0 20 0 1 0 57806674 272646144 62363 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66564 62363 2816 2752 0 63217 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 266256 KiB
Current children cumulated memory: 249452 KiB

[startup+25.5002 s]
/proc/loadavg: 1.72 1.25 1.18 5/265 65953
/proc/meminfo: memFree=128232788/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267432 memory=250604 CPUtime=25.42 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 59797 0 0 0 2532 10 0 0 20 0 1 0 57806674 273850368 62651 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66858 62651 2816 2752 0 63511 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 267432 KiB
Current children cumulated memory: 250604 KiB

[startup+51.1053 s]
/proc/loadavg: 2.58 1.49 1.26 5/265 65954
/proc/meminfo: memFree=128192848/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267432 memory=250604 CPUtime=50.95 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 59797 0 0 0 5085 10 0 0 20 0 1 0 57806674 273850368 62651 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66858 62651 2816 2752 0 63511 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 267432 KiB
Current children cumulated memory: 250604 KiB

[startup+102.3 s]
/proc/loadavg: 3.43 1.90 1.41 5/265 65955
/proc/meminfo: memFree=128205340/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267432 memory=250604 CPUtime=102 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 59797 0 0 0 10189 11 0 0 20 0 1 0 57806674 273850368 62651 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66858 62651 2816 2752 0 63511 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 267432 KiB
Current children cumulated memory: 250604 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 2.30 1.58 5/265 65957
/proc/meminfo: memFree=128148608/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267432 memory=250604 CPUtime=161.82 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 59825 0 0 0 16171 11 0 0 20 0 1 0 57806674 273850368 62651 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66858 62651 2816 2752 0 63511 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 267432 KiB
Current children cumulated memory: 250604 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.64 1.75 5/265 65959
/proc/meminfo: memFree=128145656/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267432 memory=250604 CPUtime=221.64 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 59825 0 0 0 22153 11 0 0 20 0 1 0 57806674 273850368 62651 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66858 62651 2816 2752 0 63511 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 267432 KiB
Current children cumulated memory: 250604 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.91 1.90 5/265 65961
/proc/meminfo: memFree=128119544/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267432 memory=250604 CPUtime=281.48 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 59825 0 0 0 28136 12 0 0 20 0 1 0 57806674 273850368 62651 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66858 62651 2816 2752 0 63511 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 267432 KiB
Current children cumulated memory: 250604 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.12 2.04 5/264 65963
/proc/meminfo: memFree=128059468/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=291096 memory=266200 CPUtime=341.31 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 63324 0 0 0 34119 12 0 0 20 0 1 0 57806674 298082304 66550 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 72774 66550 3168 2752 0 69427 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 291096 KiB
Current children cumulated memory: 266200 KiB

[startup+402.3 s]
/proc/loadavg: 4.37 3.39 2.20 5/265 65981
/proc/meminfo: memFree=127998988/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=291096 memory=266200 CPUtime=401.15 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 63324 0 0 0 40103 12 0 0 20 0 1 0 57806674 298082304 66550 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 72774 66550 3168 2752 0 69427 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 291096 KiB
Current children cumulated memory: 266200 KiB

[startup+462.3 s]
/proc/loadavg: 4.38 3.59 2.34 5/264 65983
/proc/meminfo: memFree=127979448/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=291096 memory=269016 CPUtime=460.98 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 63324 0 0 0 46086 12 0 0 20 0 1 0 57806674 298082304 67254 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 72774 67254 3168 2752 0 69427 0
Current children cumulated CPU time: 460.98 s

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

Current children cumulated memory: 260344 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/264 66094
/proc/meminfo: memFree=127789980/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267352 memory=260344 CPUtime=2855.31 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 71602 0 0 0 285517 14 0 0 20 0 1 0 57806674 273768448 65086 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66838 65086 3168 2752 0 63491 0
Current children cumulated CPU time: 2855.31 s
Current children cumulated vsize: 267352 KiB
Current children cumulated memory: 260344 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/264 66096
/proc/meminfo: memFree=127789836/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267352 memory=260344 CPUtime=2915.19 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 71603 0 0 0 291505 14 0 0 20 0 1 0 57806674 273768448 65086 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66838 65086 3168 2752 0 63491 0
Current children cumulated CPU time: 2915.19 s
Current children cumulated vsize: 267352 KiB
Current children cumulated memory: 260344 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.08 4.01 5/264 66098
/proc/meminfo: memFree=127789908/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267352 memory=260344 CPUtime=2975.06 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 71603 0 0 0 297492 14 0 0 20 0 1 0 57806674 273768448 65086 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66838 65086 3168 2752 0 63491 0
Current children cumulated CPU time: 2975.06 s
Current children cumulated vsize: 267352 KiB
Current children cumulated memory: 260344 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.08 4.01 5/264 66102
/proc/meminfo: memFree=127792572/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267352 memory=260344 CPUtime=3034.94 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 71603 0 0 0 303480 14 0 0 20 0 1 0 57806674 273768448 65086 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66838 65086 3168 2752 0 63491 0
Current children cumulated CPU time: 3034.94 s
Current children cumulated vsize: 267352 KiB
Current children cumulated memory: 260344 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/263 66104
/proc/meminfo: memFree=127793032/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267352 memory=260344 CPUtime=3094.82 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 71603 0 0 0 309468 14 0 0 20 0 1 0 57806674 273768448 65086 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66838 65086 3168 2752 0 63491 0
Current children cumulated CPU time: 3094.82 s
Current children cumulated vsize: 267352 KiB
Current children cumulated memory: 260344 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/263 66106
/proc/meminfo: memFree=127792584/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267352 memory=260344 CPUtime=3154.69 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 71622 0 0 0 315455 14 0 0 20 0 1 0 57806674 273768448 65086 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66838 65086 3168 2752 0 63491 0
Current children cumulated CPU time: 3154.69 s
Current children cumulated vsize: 267352 KiB
Current children cumulated memory: 260344 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/263 66108
/proc/meminfo: memFree=127792548/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267352 memory=260344 CPUtime=3214.57 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 71622 0 0 0 321443 14 0 0 20 0 1 0 57806674 273768448 65086 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66838 65086 3168 2752 0 63491 0
Current children cumulated CPU time: 3214.57 s
Current children cumulated vsize: 267352 KiB
Current children cumulated memory: 260344 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.09 4.01 5/263 66110
/proc/meminfo: memFree=127792312/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267352 memory=260344 CPUtime=3274.45 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 71622 0 0 0 327431 14 0 0 20 0 1 0 57806674 273768448 65086 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66838 65086 3168 2752 0 63491 0
Current children cumulated CPU time: 3274.45 s
Current children cumulated vsize: 267352 KiB
Current children cumulated memory: 260344 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/263 66112
/proc/meminfo: memFree=127792972/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267352 memory=260344 CPUtime=3334.32 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 71622 0 0 0 333418 14 0 0 20 0 1 0 57806674 273768448 65086 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66838 65086 3168 2752 0 63491 0
Current children cumulated CPU time: 3334.32 s
Current children cumulated vsize: 267352 KiB
Current children cumulated memory: 260344 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/263 66119
/proc/meminfo: memFree=127792392/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267352 memory=260344 CPUtime=3394.2 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 71622 0 0 0 339406 14 0 0 20 0 1 0 57806674 273768448 65086 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66838 65086 3168 2752 0 63491 0
Current children cumulated CPU time: 3394.2 s
Current children cumulated vsize: 267352 KiB
Current children cumulated memory: 260344 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/264 66122
/proc/meminfo: memFree=127791944/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267352 memory=260344 CPUtime=3454.07 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 71622 0 0 0 345393 14 0 0 20 0 1 0 57806674 273768448 65086 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66838 65086 3168 2752 0 63491 0
Current children cumulated CPU time: 3454.07 s
Current children cumulated vsize: 267352 KiB
Current children cumulated memory: 260344 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/263 66124
/proc/meminfo: memFree=127792144/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267352 memory=260344 CPUtime=3513.95 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 71622 0 0 0 351381 14 0 0 20 0 1 0 57806674 273768448 65086 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66838 65086 3168 2752 0 63491 0
Current children cumulated CPU time: 3513.95 s
Current children cumulated vsize: 267352 KiB
Current children cumulated memory: 260344 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/263 66126
/proc/meminfo: memFree=127792764/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267352 memory=260344 CPUtime=3573.83 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 71641 0 0 0 357369 14 0 0 20 0 1 0 57806674 273768448 65086 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66838 65086 3168 2752 0 63491 0
Current children cumulated CPU time: 3573.83 s
Current children cumulated vsize: 267352 KiB
Current children cumulated memory: 260344 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.6 s]
/proc/loadavg: 4.10 4.09 4.01 5/264 66130
/proc/meminfo: memFree=127792444/131250000 swapFree=33010684/33010684
[pid=65942] ppid=65935 vsize=267352 memory=260344 CPUtime=3600.07 cores=4,6
/proc/65942/stat : 65942 (NuPBO-DeepOptS+) R 65935 65942 65387 0 -1 4194304 71641 0 0 0 359993 14 0 0 20 0 1 0 57806674 273768448 65086 18446744073709551615 4198400 15468185 140722101599168 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 40304640 140722101602710 140722101602820 140722101602820 140722101608422 0
/proc/65942/statm: 66838 65086 3168 2752 0 63491 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 267352 KiB
Current children cumulated memory: 260344 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.95 s, system=0.145424 s

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

Child status: 10

Real time (s): 3608.61
CPU time (s): 3600.09
CPU user time (s): 3599.95
CPU system time (s): 0.145424
CPU usage (%): 99.7639
Max. virtual memory (cumulated for all children) (KiB): 343808
Max. memory (cumulated for all children) (KiB): 318424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.95
system time used= 0.145424
maximum resident set size= 318424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71694
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= 28
involuntary context switches= 1331


# summary of solver processes directly reported to runsolver:
#   pid: 65942
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.95
#   total CPU system time (s): 0.145424

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.6421 second user time and 12.6144 second system time

The end