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-4499666-1751421264/watcher-4499666-1751421264 -o /tmp/evaluation-result-4499666-1751421264/solver-4499666-1751421264 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751421264-65895 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4499666-1751421264.opb -t 3600 -s 1923729422 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=65948, runsolver pid=65944

[startup+0.100057 s]*
/proc/loadavg: 0.45 1.00 1.10 5/265 65953
/proc/meminfo: memFree=129093724/131250000 swapFree=33010684/33010684
[pid=65948] ppid=65944 vsize=28600 memory=12380 CPUtime=0.1 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 2120 0 0 0 10 0 0 0 20 0 1 0 57806677 29286400 3095 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 7150 3095 1088 2752 0 3803 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28600 KiB
Current children cumulated memory: 12380 KiB

[startup+0.205493 s]*
/proc/loadavg: 0.45 1.00 1.10 6/265 65953
/proc/meminfo: memFree=129074948/131250000 swapFree=33010684/33010684
[pid=65948] ppid=65944 vsize=30644 memory=12432 CPUtime=0.2 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 2636 0 0 0 20 0 0 0 20 0 1 0 57806677 31379456 3108 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 7661 3108 1088 2752 0 4314 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30644 KiB
Current children cumulated memory: 12432 KiB

[startup+0.305616 s]*
/proc/loadavg: 0.45 1.00 1.10 5/265 65953
/proc/meminfo: memFree=129052328/131250000 swapFree=33010684/33010684
[pid=65948] ppid=65944 vsize=42832 memory=26600 CPUtime=0.3 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 4656 0 0 0 30 0 0 0 20 0 1 0 57806677 43859968 6650 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 10708 6650 1088 2752 0 7361 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42832 KiB
Current children cumulated memory: 26600 KiB

[startup+0.700172 s]
/proc/loadavg: 0.45 1.00 1.10 5/265 65953
/proc/meminfo: memFree=128989136/131250000 swapFree=33010684/33010684
[pid=65948] ppid=65944 vsize=60632 memory=44704 CPUtime=0.69 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 9543 0 0 0 68 1 0 0 20 0 1 0 57806677 62087168 11176 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 15158 11176 1152 2752 0 11811 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60632 KiB
Current children cumulated memory: 44704 KiB

[startup+1.50013 s]
/proc/loadavg: 0.45 1.00 1.10 5/265 65953
/proc/meminfo: memFree=128989136/131250000 swapFree=33010684/33010684
[pid=65948] ppid=65944 vsize=60632 memory=44704 CPUtime=1.48 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 9543 0 0 0 147 1 0 0 20 0 1 0 57806677 62087168 11176 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 15158 11176 1152 2752 0 11811 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60632 KiB
Current children cumulated memory: 44704 KiB

[startup+3.10543 s]
/proc/loadavg: 0.45 1.00 1.10 5/265 65953
/proc/meminfo: memFree=128893164/131250000 swapFree=33010684/33010684
[pid=65948] ppid=65944 vsize=60632 memory=44704 CPUtime=3.08 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 9546 0 0 0 307 1 0 0 20 0 1 0 57806677 62087168 11176 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 15158 11176 1152 2752 0 11811 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 60632 KiB
Current children cumulated memory: 44704 KiB

[startup+6.30015 s]
/proc/loadavg: 0.81 1.06 1.12 5/265 65953
/proc/meminfo: memFree=128284420/131250000 swapFree=33010684/33010684
[pid=65948] ppid=65944 vsize=266684 memory=249076 CPUtime=6.27 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 59847 0 0 0 618 9 0 0 20 0 1 0 57806677 273084416 62269 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 66671 62269 2816 2752 0 63324 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 266684 KiB
Current children cumulated memory: 249076 KiB

[startup+12.7002 s]
/proc/loadavg: 1.07 1.11 1.13 5/265 65953
/proc/meminfo: memFree=128276420/131250000 swapFree=33010684/33010684
[pid=65948] ppid=65944 vsize=267540 memory=249844 CPUtime=12.66 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 60042 0 0 0 1256 10 0 0 20 0 1 0 57806677 273960960 62461 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 66885 62461 2816 2752 0 63538 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 267540 KiB
Current children cumulated memory: 249844 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=65948] ppid=65944 vsize=268516 memory=250868 CPUtime=25.42 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 60305 0 0 0 2532 10 0 0 20 0 1 0 57806677 274960384 62717 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 67129 62717 2816 2752 0 63782 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 268516 KiB
Current children cumulated memory: 250868 KiB

[startup+51.1057 s]
/proc/loadavg: 2.58 1.49 1.26 5/265 65954
/proc/meminfo: memFree=128192848/131250000 swapFree=33010684/33010684
[pid=65948] ppid=65944 vsize=268516 memory=250868 CPUtime=50.94 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 60311 0 0 0 5084 10 0 0 20 0 1 0 57806677 274960384 62717 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 67129 62717 2816 2752 0 63782 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 268516 KiB
Current children cumulated memory: 250868 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=65948] ppid=65944 vsize=268696 memory=253812 CPUtime=101.97 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 60343 0 0 0 10187 10 0 0 20 0 1 0 57806677 275144704 63453 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 67174 63453 2816 2752 0 63827 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 268696 KiB
Current children cumulated memory: 253812 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=65948] ppid=65944 vsize=268696 memory=255348 CPUtime=161.78 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 60356 0 0 0 16168 10 0 0 20 0 1 0 57806677 275144704 63837 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 67174 63837 2816 2752 0 63827 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 268696 KiB
Current children cumulated memory: 255348 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=65948] ppid=65944 vsize=268696 memory=258292 CPUtime=221.6 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 60390 0 0 0 22150 10 0 0 20 0 1 0 57806677 275144704 64573 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 67174 64573 2816 2752 0 63827 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 268696 KiB
Current children cumulated memory: 258292 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.91 1.90 5/265 65961
/proc/meminfo: memFree=128127608/131250000 swapFree=33010684/33010684
[pid=65948] ppid=65944 vsize=295644 memory=277400 CPUtime=281.43 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 63984 0 0 0 28132 11 0 0 20 0 1 0 57806677 302739456 69350 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 73911 69350 2848 2752 0 70564 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 295644 KiB
Current children cumulated memory: 277400 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=65948] ppid=65944 vsize=308860 memory=284568 CPUtime=341.27 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 65780 0 0 0 34116 11 0 0 20 0 1 0 57806677 316272640 71142 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 77215 71142 2848 2752 0 73868 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 308860 KiB
Current children cumulated memory: 284568 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=65948] ppid=65944 vsize=308860 memory=284568 CPUtime=401.1 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 65812 0 0 0 40099 11 0 0 20 0 1 0 57806677 316272640 71142 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 77215 71142 2848 2752 0 73868 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 308860 KiB
Current children cumulated memory: 284568 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=65948] ppid=65944 vsize=308860 memory=284568 CPUtime=460.94 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 65842 0 0 0 46083 11 0 0 20 0 1 0 57806677 316272640 71142 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 77215 71142 2848 2752 0 73868 0
Current children cumulated CPU time: 460.94 s

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

Current children cumulated memory: 317104 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=65948] ppid=65944 vsize=343944 memory=317104 CPUtime=2855.07 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 79517 0 0 0 285494 13 0 0 20 0 1 0 57806677 352198656 79276 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 85986 79276 3168 2752 0 82639 0
Current children cumulated CPU time: 2855.07 s
Current children cumulated vsize: 343944 KiB
Current children cumulated memory: 317104 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=65948] ppid=65944 vsize=343944 memory=317104 CPUtime=2914.95 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 79535 0 0 0 291482 13 0 0 20 0 1 0 57806677 352198656 79276 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 85986 79276 3168 2752 0 82639 0
Current children cumulated CPU time: 2914.95 s
Current children cumulated vsize: 343944 KiB
Current children cumulated memory: 317104 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=65948] ppid=65944 vsize=343944 memory=317104 CPUtime=2974.83 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 79535 0 0 0 297470 13 0 0 20 0 1 0 57806677 352198656 79276 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 85986 79276 3168 2752 0 82639 0
Current children cumulated CPU time: 2974.83 s
Current children cumulated vsize: 343944 KiB
Current children cumulated memory: 317104 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=65948] ppid=65944 vsize=343944 memory=317104 CPUtime=3034.71 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 79535 0 0 0 303458 13 0 0 20 0 1 0 57806677 352198656 79276 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 85986 79276 3168 2752 0 82639 0
Current children cumulated CPU time: 3034.71 s
Current children cumulated vsize: 343944 KiB
Current children cumulated memory: 317104 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=65948] ppid=65944 vsize=343944 memory=317104 CPUtime=3094.58 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 79535 0 0 0 309445 13 0 0 20 0 1 0 57806677 352198656 79276 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 85986 79276 3168 2752 0 82639 0
Current children cumulated CPU time: 3094.58 s
Current children cumulated vsize: 343944 KiB
Current children cumulated memory: 317104 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=65948] ppid=65944 vsize=343944 memory=317104 CPUtime=3154.46 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 79553 0 0 0 315433 13 0 0 20 0 1 0 57806677 352198656 79276 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 85986 79276 3168 2752 0 82639 0
Current children cumulated CPU time: 3154.46 s
Current children cumulated vsize: 343944 KiB
Current children cumulated memory: 317104 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=65948] ppid=65944 vsize=343944 memory=317104 CPUtime=3214.34 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 79553 0 0 0 321421 13 0 0 20 0 1 0 57806677 352198656 79276 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 85986 79276 3168 2752 0 82639 0
Current children cumulated CPU time: 3214.34 s
Current children cumulated vsize: 343944 KiB
Current children cumulated memory: 317104 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=65948] ppid=65944 vsize=343944 memory=317104 CPUtime=3274.21 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 79553 0 0 0 327408 13 0 0 20 0 1 0 57806677 352198656 79276 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 85986 79276 3168 2752 0 82639 0
Current children cumulated CPU time: 3274.21 s
Current children cumulated vsize: 343944 KiB
Current children cumulated memory: 317104 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=65948] ppid=65944 vsize=343944 memory=317104 CPUtime=3334.09 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 79571 0 0 0 333396 13 0 0 20 0 1 0 57806677 352198656 79276 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 85986 79276 3168 2752 0 82639 0
Current children cumulated CPU time: 3334.09 s
Current children cumulated vsize: 343944 KiB
Current children cumulated memory: 317104 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=65948] ppid=65944 vsize=343944 memory=317104 CPUtime=3393.97 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 79571 0 0 0 339384 13 0 0 20 0 1 0 57806677 352198656 79276 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 85986 79276 3168 2752 0 82639 0
Current children cumulated CPU time: 3393.97 s
Current children cumulated vsize: 343944 KiB
Current children cumulated memory: 317104 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=65948] ppid=65944 vsize=343944 memory=317104 CPUtime=3453.85 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 79571 0 0 0 345372 13 0 0 20 0 1 0 57806677 352198656 79276 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 85986 79276 3168 2752 0 82639 0
Current children cumulated CPU time: 3453.85 s
Current children cumulated vsize: 343944 KiB
Current children cumulated memory: 317104 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=65948] ppid=65944 vsize=343944 memory=317104 CPUtime=3513.72 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 79571 0 0 0 351359 13 0 0 20 0 1 0 57806677 352198656 79276 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 85986 79276 3168 2752 0 82639 0
Current children cumulated CPU time: 3513.72 s
Current children cumulated vsize: 343944 KiB
Current children cumulated memory: 317104 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=65948] ppid=65944 vsize=343944 memory=317104 CPUtime=3573.6 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 79588 0 0 0 357347 13 0 0 20 0 1 0 57806677 352198656 79276 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 85986 79276 3168 2752 0 82639 0
Current children cumulated CPU time: 3573.6 s
Current children cumulated vsize: 343944 KiB
Current children cumulated memory: 317104 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.10 4.09 4.01 5/264 66130
/proc/meminfo: memFree=127792444/131250000 swapFree=33010684/33010684
[pid=65948] ppid=65944 vsize=343944 memory=317104 CPUtime=3600.04 cores=1,3
/proc/65948/stat : 65948 (NuPBO-DeepOptS+) R 65944 65948 65387 0 -1 4194304 79589 0 0 0 359991 13 0 0 20 0 1 0 57806677 352198656 79276 18446744073709551615 4198400 15468185 140725058616768 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 33607680 140725058619798 140725058619908 140725058619908 140725058625510 0
/proc/65948/statm: 85986 79276 3168 2752 0 82639 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 343944 KiB
Current children cumulated memory: 317104 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.93 s, system=0.138536 s

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

Child status: 10

Real time (s): 3608.81
CPU time (s): 3600.07
CPU user time (s): 3599.93
CPU system time (s): 0.138536
CPU usage (%): 99.7577
Max. virtual memory (cumulated for all children) (KiB): 402812
Max. memory (cumulated for all children) (KiB): 352116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.93
system time used= 0.138536
maximum resident set size= 352116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79649
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= 21
involuntary context switches= 4638


# summary of solver processes directly reported to runsolver:
#   pid: 65948
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.93
#   total CPU system time (s): 0.138536

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55641 second user time and 14.7681 second system time

The end