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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499114-1751472056/watcher-4499114-1751472056 -o /tmp/evaluation-result-4499114-1751472056/solver-4499114-1751472056 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751472056-73400 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4499114-1751472056.opb -t 3600 -s 476531877 

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


[startup+0.100061 s]*
/proc/loadavg: 0.60 2.46 3.44 5/261 73447
/proc/meminfo: memFree=129689848/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=25068 memory=10800 CPUtime=0.1 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 2220 0 0 0 10 0 0 0 20 0 1 0 62883450 25669632 2700 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 6267 2700 1152 2752 0 2920 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25068 KiB
Current children cumulated memory: 10800 KiB

[startup+0.205476 s]*
/proc/loadavg: 0.60 2.46 3.44 5/261 73447
/proc/meminfo: memFree=129605968/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=51624 memory=41656 CPUtime=0.2 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 8853 0 0 0 19 1 0 0 20 0 1 0 62883450 52862976 10414 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 12906 10414 2688 2752 0 9559 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51624 KiB
Current children cumulated memory: 41656 KiB

[startup+0.305399 s]*
/proc/loadavg: 0.60 2.46 3.44 5/261 73447
/proc/meminfo: memFree=129526304/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=64872 memory=54456 CPUtime=0.3 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 11991 0 0 0 29 1 0 0 20 0 1 0 62883450 66428928 13614 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 16218 13614 2816 2752 0 12871 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 64872 KiB
Current children cumulated memory: 54456 KiB

[startup+0.700187 s]
/proc/loadavg: 0.60 2.46 3.44 5/261 73447
/proc/meminfo: memFree=129409628/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=80884 memory=69532 CPUtime=0.68 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 18151 0 0 0 66 2 0 0 20 0 1 0 62883450 82825216 17383 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 20221 17383 2816 2752 0 16874 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 80884 KiB
Current children cumulated memory: 69532 KiB

[startup+1.50019 s]
/proc/loadavg: 0.60 2.46 3.44 6/264 73457
/proc/meminfo: memFree=129188372/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=99480 memory=88220 CPUtime=1.49 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 23973 0 0 0 145 4 0 0 20 0 1 0 62883450 101867520 22055 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 24870 22055 2816 2752 0 21523 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 99480 KiB
Current children cumulated memory: 88220 KiB

[startup+3.10531 s]
/proc/loadavg: 0.88 2.48 3.44 5/264 73457
/proc/meminfo: memFree=128142592/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=111388 memory=100196 CPUtime=3.08 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 29156 0 0 0 304 4 0 0 20 0 1 0 62883450 114061312 25049 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 27847 25049 2816 2752 0 24500 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 111388 KiB
Current children cumulated memory: 100196 KiB

[startup+6.30017 s]
/proc/loadavg: 0.88 2.48 3.44 5/264 73468
/proc/meminfo: memFree=126370648/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=124784 memory=114260 CPUtime=6.27 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 34385 0 0 0 622 5 0 0 20 0 1 0 62883450 127778816 28565 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 31196 28565 2816 2752 0 27849 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 124784 KiB
Current children cumulated memory: 114260 KiB

[startup+12.7002 s]
/proc/loadavg: 1.44 2.55 3.45 5/264 73468
/proc/meminfo: memFree=122868564/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=148416 memory=137172 CPUtime=12.65 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 40112 0 0 0 1259 6 0 0 20 0 1 0 62883450 151977984 34293 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 37104 34293 2816 2752 0 33757 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 148416 KiB
Current children cumulated memory: 137172 KiB

[startup+25.5002 s]
/proc/loadavg: 1.83 2.60 3.46 5/264 73469
/proc/meminfo: memFree=118266768/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=155172 memory=144404 CPUtime=25.41 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 42865 0 0 0 2535 6 0 0 20 0 1 0 62883450 158896128 36101 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 38793 36101 2816 2752 0 35446 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 155172 KiB
Current children cumulated memory: 144404 KiB

[startup+51.1054 s]
/proc/loadavg: 2.64 2.73 3.48 5/264 73469
/proc/meminfo: memFree=110403284/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=166124 memory=155372 CPUtime=50.94 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 52718 0 0 0 5086 8 0 0 20 0 1 0 62883450 170110976 38843 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 41531 38843 2816 2752 0 38184 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 166124 KiB
Current children cumulated memory: 155372 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 2.96 3.52 5/264 73474
/proc/meminfo: memFree=95163156/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=174756 memory=164384 CPUtime=101.98 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 58157 0 0 0 10189 9 0 0 20 0 1 0 62883450 178950144 41096 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 43689 41096 2848 2752 0 40342 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 174756 KiB
Current children cumulated memory: 164384 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 3.17 3.56 5/264 73520
/proc/meminfo: memFree=124035240/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=194544 memory=184124 CPUtime=161.79 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 64235 0 0 0 16170 9 0 0 20 0 1 0 62883450 199213056 46031 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 48636 46031 2848 2752 0 45289 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 194544 KiB
Current children cumulated memory: 184124 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 3.34 3.59 5/265 73527
/proc/meminfo: memFree=124473240/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=203616 memory=193212 CPUtime=221.61 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 74500 0 0 0 22150 11 0 0 20 0 1 0 62883450 208502784 48303 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 50904 48303 2848 2752 0 47557 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 203616 KiB
Current children cumulated memory: 193212 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 3.48 3.63 5/266 73530
/proc/meminfo: memFree=124957468/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=210764 memory=200536 CPUtime=281.43 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 80409 0 0 0 28131 12 0 0 20 0 1 0 62883450 215822336 50134 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 52691 50134 2848 2752 0 49344 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 210764 KiB
Current children cumulated memory: 200536 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.60 3.66 5/266 73533
/proc/meminfo: memFree=125114352/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=216352 memory=206168 CPUtime=341.25 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 83929 0 0 0 34112 13 0 0 20 0 1 0 62883450 221544448 51542 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 54088 51542 2848 2752 0 50741 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 216352 KiB
Current children cumulated memory: 206168 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 3.68 3.68 5/265 73535
/proc/meminfo: memFree=125101624/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=223492 memory=213292 CPUtime=401.06 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 86381 0 0 0 40093 13 0 0 20 0 1 0 62883450 228855808 53323 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 55873 53323 2848 2752 0 52526 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 223492 KiB
Current children cumulated memory: 213292 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 3.75 3.71 5/265 73537
/proc/meminfo: memFree=125076424/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=240348 memory=228524 CPUtime=460.87 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 90205 0 0 0 46073 14 0 0 20 0 1 0 62883450 246116352 57131 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 60087 57131 2848 2752 0 56740 0
Current children cumulated CPU time: 460.87 s

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

/proc/loadavg: 4.26 4.13 3.96 5/264 73570
/proc/meminfo: memFree=124840244/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=255848 memory=245012 CPUtime=1118.86 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 96362 0 0 0 111863 23 0 0 20 0 1 0 62883450 261988352 61253 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 63962 61253 2848 2752 0 60615 0
Current children cumulated CPU time: 1118.86 s
Current children cumulated vsize: 255848 KiB
Current children cumulated memory: 245012 KiB

[startup+1182.3 s]
/proc/loadavg: 4.15 4.12 3.97 5/265 73573
/proc/meminfo: memFree=124828188/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=254748 memory=244640 CPUtime=1178.67 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 96885 0 0 0 117844 23 0 0 20 0 1 0 62883450 260861952 61160 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 63687 61160 2848 2752 0 60340 0
Current children cumulated CPU time: 1178.67 s
Current children cumulated vsize: 254748 KiB
Current children cumulated memory: 244640 KiB

[startup+1242.3 s]
/proc/loadavg: 4.09 4.11 3.98 5/266 73576
/proc/meminfo: memFree=124806960/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=254748 memory=244640 CPUtime=1238.48 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 96891 0 0 0 123825 23 0 0 20 0 1 0 62883450 260861952 61160 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 63687 61160 2848 2752 0 60340 0
Current children cumulated CPU time: 1238.48 s
Current children cumulated vsize: 254748 KiB
Current children cumulated memory: 244640 KiB

[startup+1302.3 s]
/proc/loadavg: 4.09 4.10 3.99 5/266 73578
/proc/meminfo: memFree=124803816/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=261088 memory=249504 CPUtime=1298.3 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 98117 0 0 0 129807 23 0 0 20 0 1 0 62883450 267354112 62376 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 65272 62376 2848 2752 0 61925 0
Current children cumulated CPU time: 1298.3 s
Current children cumulated vsize: 261088 KiB
Current children cumulated memory: 249504 KiB

[startup+1362.3 s]
/proc/loadavg: 4.08 4.09 4.00 5/266 73582
/proc/meminfo: memFree=124782180/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=261088 memory=249504 CPUtime=1358.13 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 98118 0 0 0 135789 24 0 0 20 0 1 0 62883450 267354112 62376 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 65272 62376 2848 2752 0 61925 0
Current children cumulated CPU time: 1358.13 s
Current children cumulated vsize: 261088 KiB
Current children cumulated memory: 249504 KiB

[startup+1422.3 s]
/proc/loadavg: 4.14 4.11 4.01 5/266 73589
/proc/meminfo: memFree=124770728/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=256980 memory=246872 CPUtime=1417.94 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 99103 0 0 0 141770 24 0 0 20 0 1 0 62883450 263147520 61718 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 64245 61718 2848 2752 0 60898 0
Current children cumulated CPU time: 1417.94 s
Current children cumulated vsize: 256980 KiB
Current children cumulated memory: 246872 KiB

[startup+1482.3 s]
/proc/loadavg: 4.10 4.10 4.01 5/266 73591
/proc/meminfo: memFree=124749732/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=256980 memory=246872 CPUtime=1477.75 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 99107 0 0 0 147751 24 0 0 20 0 1 0 62883450 263147520 61718 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 64245 61718 2848 2752 0 60898 0
Current children cumulated CPU time: 1477.75 s
Current children cumulated vsize: 256980 KiB
Current children cumulated memory: 246872 KiB

[startup+1517.9 s]
# the end of solver process 73442 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=1513 s, system=0.254142 s

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

[startup+1484.8 s]
/proc/loadavg: 4.10 4.10 4.01 5/266 73591
/proc/meminfo: memFree=124749984/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=256980 memory=246872 CPUtime=1480.25 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 99107 0 0 0 148001 24 0 0 20 0 1 0 62883450 263147520 61718 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 64245 61718 2848 2752 0 60898 0
Current children cumulated CPU time: 1480.25 s
Current children cumulated vsize: 256980 KiB
Current children cumulated memory: 246872 KiB

[startup+1497.6 s]
/proc/loadavg: 4.16 4.11 4.01 5/264 73593
/proc/meminfo: memFree=124772764/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=256980 memory=246872 CPUtime=1493.01 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 99107 0 0 0 149277 24 0 0 20 0 1 0 62883450 263147520 61718 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 64245 61718 2848 2752 0 60898 0
Current children cumulated CPU time: 1493.01 s
Current children cumulated vsize: 256980 KiB
Current children cumulated memory: 246872 KiB

[startup+1510.4 s]
/proc/loadavg: 4.14 4.11 4.01 5/264 73593
/proc/meminfo: memFree=124756508/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=256980 memory=246872 CPUtime=1505.77 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 99107 0 0 0 150553 24 0 0 20 0 1 0 62883450 263147520 61718 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 64245 61718 2848 2752 0 60898 0
Current children cumulated CPU time: 1505.77 s
Current children cumulated vsize: 256980 KiB
Current children cumulated memory: 246872 KiB

[startup+1513.6 s]
/proc/loadavg: 4.12 4.10 4.01 5/264 73593
/proc/meminfo: memFree=124756508/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=256980 memory=246872 CPUtime=1508.96 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 99107 0 0 0 150872 24 0 0 20 0 1 0 62883450 263147520 61718 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 64245 61718 2848 2752 0 60898 0
Current children cumulated CPU time: 1508.96 s
Current children cumulated vsize: 256980 KiB
Current children cumulated memory: 246872 KiB

[startup+1515.2 s]
/proc/loadavg: 4.12 4.10 4.01 5/264 73593
/proc/meminfo: memFree=124748468/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=256980 memory=246872 CPUtime=1510.55 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 99107 0 0 0 151031 24 0 0 20 0 1 0 62883450 263147520 61718 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 64245 61718 2848 2752 0 60898 0
Current children cumulated CPU time: 1510.55 s
Current children cumulated vsize: 256980 KiB
Current children cumulated memory: 246872 KiB

[startup+1516.8 s]
/proc/loadavg: 4.12 4.10 4.01 5/264 73593
/proc/meminfo: memFree=124748468/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=256980 memory=246872 CPUtime=1512.15 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 99107 0 0 0 151191 24 0 0 20 0 1 0 62883450 263147520 61718 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 64245 61718 2848 2752 0 60898 0
Current children cumulated CPU time: 1512.15 s
Current children cumulated vsize: 256980 KiB
Current children cumulated memory: 246872 KiB

[startup+1517.6 s]
/proc/loadavg: 4.11 4.10 4.01 5/264 73593
/proc/meminfo: memFree=124748468/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=256980 memory=246872 CPUtime=1512.95 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 99107 0 0 0 151271 24 0 0 20 0 1 0 62883450 263147520 61718 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 64245 61718 2848 2752 0 60898 0
Current children cumulated CPU time: 1512.95 s
Current children cumulated vsize: 256980 KiB
Current children cumulated memory: 246872 KiB

[startup+1517.8 s]
/proc/loadavg: 4.11 4.10 4.01 5/264 73593
/proc/meminfo: memFree=124748468/131250000 swapFree=33010416/33010684
[pid=73442] ppid=73434 vsize=259884 memory=249304 CPUtime=1513.15 cores=1,3
/proc/73442/stat : 73442 (NuPBO-DeepOptS+) R 73434 73442 73388 0 -1 4194304 99745 0 0 0 151291 24 0 0 20 0 1 0 62883450 266121216 62326 18446744073709551615 4198400 15468185 140722346963456 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23879680 140722346969495 140722346969604 140722346969604 140722346975206 0
/proc/73442/statm: 64971 62326 2848 2752 0 61624 0
Current children cumulated CPU time: 1513.15 s
Current children cumulated vsize: 259884 KiB
Current children cumulated memory: 249304 KiB

Child status: 0

Real time (s): 1517.9
CPU time (s): 1513.25
CPU user time (s): 1513
CPU system time (s): 0.254142
CPU usage (%): 99.694
Max. virtual memory (cumulated for all children) (KiB): 265052
Max. memory (cumulated for all children) (KiB): 253472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1513
system time used= 0.254142
maximum resident set size= 253472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100233
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= 2
involuntary context switches= 2736


# summary of solver processes directly reported to runsolver:
#   pid: 73442
#   total CPU time (s): 1513.25
#   total CPU user time (s): 1513
#   total CPU system time (s): 0.254142

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.75573 second user time and 6.74889 second system time

The end