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

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

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


[startup+0.100058 s]*
/proc/loadavg: 0.45 1.00 1.10 6/265 65953
/proc/meminfo: memFree=129093724/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=28580 memory=10060 CPUtime=0.09 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 2038 0 0 0 9 0 0 0 20 0 1 0 57806677 29265920 2515 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 7145 2515 1088 2752 0 3798 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28580 KiB
Current children cumulated memory: 10060 KiB

[startup+0.204778 s]*
/proc/loadavg: 0.45 1.00 1.10 6/265 65953
/proc/meminfo: memFree=129074948/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=34724 memory=17492 CPUtime=0.19 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 2875 0 0 0 19 0 0 0 20 0 1 0 57806677 35557376 4373 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 8681 4373 1088 2752 0 5334 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34724 KiB
Current children cumulated memory: 17492 KiB

[startup+0.305608 s]*
/proc/loadavg: 0.45 1.00 1.10 6/265 65953
/proc/meminfo: memFree=129052328/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=38332 memory=23000 CPUtime=0.3 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 3775 0 0 0 29 1 0 0 20 0 1 0 57806677 39251968 5750 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 9583 5750 1088 2752 0 6236 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38332 KiB
Current children cumulated memory: 23000 KiB

[startup+0.70016 s]
/proc/loadavg: 0.45 1.00 1.10 6/265 65953
/proc/meminfo: memFree=128989136/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=60456 memory=45440 CPUtime=0.69 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 9223 0 0 0 67 2 0 0 20 0 1 0 57806677 61906944 11360 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 15114 11360 1152 2752 0 11767 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60456 KiB
Current children cumulated memory: 45440 KiB

[startup+1.50012 s]
/proc/loadavg: 0.45 1.00 1.10 6/265 65953
/proc/meminfo: memFree=128989136/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=60456 memory=45440 CPUtime=1.49 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 9223 0 0 0 147 2 0 0 20 0 1 0 57806677 61906944 11360 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 15114 11360 1152 2752 0 11767 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 60456 KiB
Current children cumulated memory: 45440 KiB

[startup+3.10477 s]
/proc/loadavg: 0.45 1.00 1.10 6/265 65953
/proc/meminfo: memFree=128893164/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=60456 memory=45440 CPUtime=3.09 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 9226 0 0 0 307 2 0 0 20 0 1 0 57806677 61906944 11360 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 15114 11360 1152 2752 0 11767 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 60456 KiB
Current children cumulated memory: 45440 KiB

[startup+6.30011 s]
/proc/loadavg: 0.81 1.06 1.12 6/265 65953
/proc/meminfo: memFree=128284420/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=265260 memory=248940 CPUtime=6.28 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 59770 0 0 0 618 10 0 0 20 0 1 0 57806677 271626240 62235 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 66315 62235 2816 2752 0 62968 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 265260 KiB
Current children cumulated memory: 248940 KiB

[startup+12.7001 s]
/proc/loadavg: 1.07 1.11 1.13 6/265 65953
/proc/meminfo: memFree=128276420/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=266256 memory=249580 CPUtime=12.66 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 59946 0 0 0 1256 10 0 0 20 0 1 0 57806677 272646144 62395 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 66564 62395 2816 2752 0 63217 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 266256 KiB
Current children cumulated memory: 249580 KiB

[startup+25.5001 s]
/proc/loadavg: 1.72 1.25 1.18 6/265 65953
/proc/meminfo: memFree=128232788/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=267208 memory=250604 CPUtime=25.42 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 60186 0 0 0 2532 10 0 0 20 0 1 0 57806677 273620992 62651 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 66802 62651 2816 2752 0 63455 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 267208 KiB
Current children cumulated memory: 250604 KiB

[startup+51.105 s]
/proc/loadavg: 2.58 1.49 1.26 6/265 65954
/proc/meminfo: memFree=128192848/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=267208 memory=250604 CPUtime=50.94 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 60188 0 0 0 5084 10 0 0 20 0 1 0 57806677 273620992 62651 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 66802 62651 2816 2752 0 63455 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 267208 KiB
Current children cumulated memory: 250604 KiB

[startup+102.3 s]
/proc/loadavg: 3.43 1.90 1.41 6/265 65955
/proc/meminfo: memFree=128205340/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=267208 memory=250604 CPUtime=101.98 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 60189 0 0 0 10188 10 0 0 20 0 1 0 57806677 273620992 62651 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 66802 62651 2816 2752 0 63455 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 267208 KiB
Current children cumulated memory: 250604 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 2.30 1.58 6/265 65957
/proc/meminfo: memFree=128148608/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=267208 memory=250604 CPUtime=161.8 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 60191 0 0 0 16170 10 0 0 20 0 1 0 57806677 273620992 62651 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 66802 62651 2816 2752 0 63455 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 267208 KiB
Current children cumulated memory: 250604 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.64 1.75 6/265 65959
/proc/meminfo: memFree=128145656/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=267208 memory=250604 CPUtime=221.62 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 60192 0 0 0 22152 10 0 0 20 0 1 0 57806677 273620992 62651 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 66802 62651 2816 2752 0 63455 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 267208 KiB
Current children cumulated memory: 250604 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.91 1.90 6/265 65961
/proc/meminfo: memFree=128127608/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=267208 memory=250604 CPUtime=281.42 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 60192 0 0 0 28132 10 0 0 20 0 1 0 57806677 273620992 62651 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 66802 62651 2816 2752 0 63455 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 267208 KiB
Current children cumulated memory: 250604 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.12 2.04 6/264 65963
/proc/meminfo: memFree=128059468/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=293396 memory=267944 CPUtime=341.19 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 64005 0 0 0 34108 11 0 0 20 0 1 0 57806677 300437504 66986 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 73349 66986 2848 2752 0 70002 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 293396 KiB
Current children cumulated memory: 267944 KiB

[startup+402.3 s]
/proc/loadavg: 4.37 3.39 2.20 6/265 65981
/proc/meminfo: memFree=127998988/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=293396 memory=267944 CPUtime=400.96 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 64005 0 0 0 40085 11 0 0 20 0 1 0 57806677 300437504 66986 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 73349 66986 2848 2752 0 70002 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 293396 KiB
Current children cumulated memory: 267944 KiB

[startup+462.3 s]
/proc/loadavg: 4.38 3.59 2.34 6/264 65983
/proc/meminfo: memFree=127979448/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=293396 memory=267944 CPUtime=460.74 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 64006 0 0 0 46062 12 0 0 20 0 1 0 57806677 300437504 66986 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 73349 66986 2848 2752 0 70002 0
Current children cumulated CPU time: 460.74 s

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

Current children cumulated memory: 310772 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.01 6/264 66096
/proc/meminfo: memFree=127789836/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=334068 memory=310772 CPUtime=2914.6 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 78905 0 0 0 291446 14 0 0 20 0 1 0 57806677 342085632 77693 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 83517 77693 3168 2752 0 80170 0
Current children cumulated CPU time: 2914.6 s
Current children cumulated vsize: 334068 KiB
Current children cumulated memory: 310772 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.08 4.01 6/264 66098
/proc/meminfo: memFree=127789908/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=334068 memory=310772 CPUtime=2974.47 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 78924 0 0 0 297433 14 0 0 20 0 1 0 57806677 342085632 77693 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 83517 77693 3168 2752 0 80170 0
Current children cumulated CPU time: 2974.47 s
Current children cumulated vsize: 334068 KiB
Current children cumulated memory: 310772 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.08 4.01 6/264 66102
/proc/meminfo: memFree=127792572/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=334068 memory=310772 CPUtime=3034.35 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 78924 0 0 0 303421 14 0 0 20 0 1 0 57806677 342085632 77693 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 83517 77693 3168 2752 0 80170 0
Current children cumulated CPU time: 3034.35 s
Current children cumulated vsize: 334068 KiB
Current children cumulated memory: 310772 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.01 6/263 66104
/proc/meminfo: memFree=127793032/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=334068 memory=310772 CPUtime=3094.23 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 78924 0 0 0 309409 14 0 0 20 0 1 0 57806677 342085632 77693 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 83517 77693 3168 2752 0 80170 0
Current children cumulated CPU time: 3094.23 s
Current children cumulated vsize: 334068 KiB
Current children cumulated memory: 310772 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.01 6/263 66106
/proc/meminfo: memFree=127792584/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=334068 memory=310772 CPUtime=3154.11 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 78943 0 0 0 315397 14 0 0 20 0 1 0 57806677 342085632 77693 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 83517 77693 3168 2752 0 80170 0
Current children cumulated CPU time: 3154.11 s
Current children cumulated vsize: 334068 KiB
Current children cumulated memory: 310772 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.01 6/263 66108
/proc/meminfo: memFree=127792548/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=334068 memory=310772 CPUtime=3213.98 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 78943 0 0 0 321384 14 0 0 20 0 1 0 57806677 342085632 77693 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 83517 77693 3168 2752 0 80170 0
Current children cumulated CPU time: 3213.98 s
Current children cumulated vsize: 334068 KiB
Current children cumulated memory: 310772 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.09 4.01 6/263 66110
/proc/meminfo: memFree=127792312/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=334068 memory=310772 CPUtime=3273.86 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 78943 0 0 0 327372 14 0 0 20 0 1 0 57806677 342085632 77693 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 83517 77693 3168 2752 0 80170 0
Current children cumulated CPU time: 3273.86 s
Current children cumulated vsize: 334068 KiB
Current children cumulated memory: 310772 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.01 6/263 66112
/proc/meminfo: memFree=127792972/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=334068 memory=310772 CPUtime=3333.74 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 78943 0 0 0 333360 14 0 0 20 0 1 0 57806677 342085632 77693 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 83517 77693 3168 2752 0 80170 0
Current children cumulated CPU time: 3333.74 s
Current children cumulated vsize: 334068 KiB
Current children cumulated memory: 310772 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.01 6/263 66119
/proc/meminfo: memFree=127792392/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=334068 memory=310772 CPUtime=3393.62 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 78962 0 0 0 339348 14 0 0 20 0 1 0 57806677 342085632 77693 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 83517 77693 3168 2752 0 80170 0
Current children cumulated CPU time: 3393.62 s
Current children cumulated vsize: 334068 KiB
Current children cumulated memory: 310772 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.01 6/264 66122
/proc/meminfo: memFree=127791944/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=334068 memory=310772 CPUtime=3453.5 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 78962 0 0 0 345336 14 0 0 20 0 1 0 57806677 342085632 77693 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 83517 77693 3168 2752 0 80170 0
Current children cumulated CPU time: 3453.5 s
Current children cumulated vsize: 334068 KiB
Current children cumulated memory: 310772 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.01 6/263 66124
/proc/meminfo: memFree=127792144/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=334068 memory=310772 CPUtime=3513.37 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 78962 0 0 0 351323 14 0 0 20 0 1 0 57806677 342085632 77693 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 83517 77693 3168 2752 0 80170 0
Current children cumulated CPU time: 3513.37 s
Current children cumulated vsize: 334068 KiB
Current children cumulated memory: 310772 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.02 6/263 66126
/proc/meminfo: memFree=127792764/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=334068 memory=310772 CPUtime=3573.25 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 78981 0 0 0 357311 14 0 0 20 0 1 0 57806677 342085632 77693 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 83517 77693 3168 2752 0 80170 0
Current children cumulated CPU time: 3573.25 s
Current children cumulated vsize: 334068 KiB
Current children cumulated memory: 310772 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.1 s]
/proc/loadavg: 4.10 4.09 4.01 3/259 66146
/proc/meminfo: memFree=128351804/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=334068 memory=310772 CPUtime=3600 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 78981 0 0 0 359986 14 0 0 20 0 1 0 57806677 342085632 77693 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 83517 77693 3168 2752 0 80170 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 334068 KiB
Current children cumulated memory: 310772 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.88 s, system=0.148526 s

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

[startup+3609.1 s]
/proc/loadavg: 4.10 4.09 4.01 3/259 66146
/proc/meminfo: memFree=128351804/131250000 swapFree=33010684/33010684
[pid=65952] ppid=65945 vsize=334068 memory=310772 CPUtime=3600 cores=5,7
/proc/65952/stat : 65952 (NuPBO-DeepOptS+) R 65945 65952 65387 0 -1 4194304 78981 0 0 0 359986 14 0 0 20 0 1 0 57806677 342085632 77693 18446744073709551615 4198400 15468185 140723756985824 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56090624 140723756988822 140723756988932 140723756988932 140723756994534 0
/proc/65952/statm: 83517 77693 3168 2752 0 80170 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 334068 KiB
Current children cumulated memory: 310772 KiB

Child status: 10

Real time (s): 3609.12
CPU time (s): 3600.03
CPU user time (s): 3599.88
CPU system time (s): 0.148526
CPU usage (%): 99.7481
Max. virtual memory (cumulated for all children) (KiB): 384428
Max. memory (cumulated for all children) (KiB): 345896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.88
system time used= 0.148526
maximum resident set size= 345896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79036
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= 989


# summary of solver processes directly reported to runsolver:
#   pid: 65952
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.88
#   total CPU system time (s): 0.148526

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.8369 second user time and 12.1511 second system time

The end