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: 63708 MiB (62909 MiB free)
  memory of node 1: 64465 MiB (61180 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523771-1751598083/watcher-4523771-1751598083 -o /tmp/evaluation-result-4523771-1751598083/solver-4523771-1751598083 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751598083-84563 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4523771-1751598083.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=84614, runsolver pid=84602
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 0.65 0.98 1.27 5/263 84619
/proc/meminfo: memFree=127039800/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=58308 memory=20228 CPUtime=0.08 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 3040 0 0 0 8 0 0 0 20 0 1 0 75482894 59707392 5057 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 14577 5057 1696 2271 0 9215 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 58308 KiB
Current children cumulated memory: 20228 KiB

[startup+0.205608 s]*
/proc/loadavg: 0.65 0.98 1.27 6/263 84619
/proc/meminfo: memFree=127031740/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=61364 memory=25360 CPUtime=0.19 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 3809 0 0 0 19 0 0 0 20 0 1 0 75482894 62836736 6340 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 15341 6340 1696 2271 0 9979 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61364 KiB
Current children cumulated memory: 25360 KiB

[startup+0.305541 s]*
/proc/loadavg: 0.65 0.98 1.27 5/263 84619
/proc/meminfo: memFree=126877188/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=82192 memory=46988 CPUtime=0.29 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 14803 0 0 0 27 2 0 0 20 0 1 0 75482894 84164608 11747 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 20548 11747 1888 2271 0 15186 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 82192 KiB
Current children cumulated memory: 46988 KiB

[startup+0.700162 s]
/proc/loadavg: 0.65 0.98 1.27 5/263 84619
/proc/meminfo: memFree=126852176/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=114368 memory=78744 CPUtime=0.67 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 21220 0 0 0 64 3 0 0 20 0 1 0 75482894 117112832 19686 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 28592 19686 1888 2271 0 23230 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 114368 KiB
Current children cumulated memory: 78744 KiB

[startup+1.50015 s]
/proc/loadavg: 0.65 0.98 1.27 5/263 84619
/proc/meminfo: memFree=126544396/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=252180 memory=221080 CPUtime=1.48 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 55402 0 0 0 139 9 0 0 20 0 1 0 75482894 258232320 55270 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 63045 55270 3392 2271 0 57683 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 252180 KiB
Current children cumulated memory: 221080 KiB

[startup+3.10546 s]
/proc/loadavg: 0.92 1.03 1.29 5/263 84619
/proc/meminfo: memFree=125811448/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=262596 memory=230420 CPUtime=3.07 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 57234 0 0 0 298 9 0 0 20 0 1 0 75482894 268898304 57605 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 65649 57605 3392 2271 0 60287 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 262596 KiB
Current children cumulated memory: 230420 KiB

[startup+6.30015 s]
/proc/loadavg: 0.92 1.03 1.29 5/263 84619
/proc/meminfo: memFree=125121116/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=513188 memory=450040 CPUtime=6.25 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 91518 0 0 0 609 16 0 0 20 0 1 0 75482894 525504512 112510 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 128297 112510 3424 2271 0 122935 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 513188 KiB
Current children cumulated memory: 450040 KiB

[startup+12.7002 s]
/proc/loadavg: 1.25 1.10 1.31 5/263 84619
/proc/meminfo: memFree=124771064/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=518592 memory=456952 CPUtime=12.64 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 93254 0 0 0 1247 17 0 0 20 0 1 0 75482894 531038208 114238 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 129648 114238 3424 2271 0 124286 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 518592 KiB
Current children cumulated memory: 456952 KiB

[startup+25.5002 s]
/proc/loadavg: 1.86 1.24 1.35 5/263 84619
/proc/meminfo: memFree=124398372/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=684492 memory=624984 CPUtime=25.38 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 132657 0 0 0 2515 23 0 0 20 0 1 0 75482894 700919808 156246 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 171123 156246 3520 2271 0 165761 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 684492 KiB
Current children cumulated memory: 624984 KiB

[startup+51.1055 s]
/proc/loadavg: 2.67 1.48 1.43 5/263 84620
/proc/meminfo: memFree=124280064/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=817008 memory=754776 CPUtime=50.89 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 165968 0 0 0 5059 30 0 0 20 0 1 0 75482894 836616192 188694 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 204252 188694 3520 2271 0 198890 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 817008 KiB
Current children cumulated memory: 754776 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 1.90 1.58 5/263 84621
/proc/meminfo: memFree=124056860/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=814796 memory=755420 CPUtime=101.89 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 168006 0 0 0 10159 30 0 0 20 0 1 0 75482894 834351104 188855 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 203699 188855 3520 2271 0 198337 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 814796 KiB
Current children cumulated memory: 755420 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.30 1.74 5/264 84624
/proc/meminfo: memFree=123972224/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=815992 memory=756700 CPUtime=161.67 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 211355 0 0 0 16129 38 0 0 20 0 1 0 75482894 835575808 189175 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 203998 189175 3520 2271 0 198636 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 815992 KiB
Current children cumulated memory: 756700 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.63 1.88 5/264 84629
/proc/meminfo: memFree=123629488/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=924256 memory=864792 CPUtime=221.45 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 250755 0 0 0 22102 43 0 0 20 0 1 0 75482894 946438144 216198 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 231064 216198 3520 2271 0 225702 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 924256 KiB
Current children cumulated memory: 864792 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 2.91 2.03 5/265 84632
/proc/meminfo: memFree=123558476/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=924256 memory=864792 CPUtime=281.22 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 250772 0 0 0 28078 44 0 0 20 0 1 0 75482894 946438144 216198 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 231064 216198 3520 2271 0 225702 0
Current children cumulated CPU time: 281.22 s
Current children cumulated vsize: 924256 KiB
Current children cumulated memory: 864792 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.13 2.16 5/266 84639
/proc/meminfo: memFree=123480624/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=928360 memory=868888 CPUtime=340.99 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 251793 0 0 0 34055 44 0 0 20 0 1 0 75482894 950640640 217222 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 232090 217222 3520 2271 0 226728 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 928360 KiB
Current children cumulated memory: 868888 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.30 2.28 5/266 84641
/proc/meminfo: memFree=123471460/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=929380 memory=869912 CPUtime=400.76 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 252062 0 0 0 40032 44 0 0 20 0 1 0 75482894 951685120 217478 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 232345 217478 3520 2271 0 226983 0
Current children cumulated CPU time: 400.76 s
Current children cumulated vsize: 929380 KiB
Current children cumulated memory: 869912 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.46 2.40 5/265 84643
/proc/meminfo: memFree=123510460/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=929380 memory=869912 CPUtime=460.53 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 252062 0 0 0 46009 44 0 0 20 0 1 0 75482894 951685120 217478 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 232345 217478 3520 2271 0 226983 0
Current children cumulated CPU time: 460.53 s
Current children cumulated vsize: 929380 KiB
Current children cumulated memory: 869912 KiB

[startup+522.3 s]
/proc/loadavg: 4.08 3.58 2.51 5/264 84645
/proc/meminfo: memFree=123527884/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=930408 memory=870936 CPUtime=520.3 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 252325 0 0 0 51986 44 0 0 20 0 1 0 75482894 952737792 217734 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 232602 217734 3520 2271 0 227240 0
Current children cumulated CPU time: 520.3 s
Current children cumulated vsize: 930408 KiB
Current children cumulated memory: 870936 KiB

[startup+582.3 s]
/proc/loadavg: 4.14 3.69 2.62 5/263 84647
/proc/meminfo: memFree=123534132/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=930408 memory=870936 CPUtime=580.07 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 252325 0 0 0 57963 44 0 0 20 0 1 0 75482894 952737792 217734 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 232602 217734 3520 2271 0 227240 0
Current children cumulated CPU time: 580.07 s
Current children cumulated vsize: 930408 KiB
Current children cumulated memory: 870936 KiB

[startup+642.3 s]
/proc/loadavg: 4.11 3.76 2.71 5/262 84649
/proc/meminfo: memFree=123517920/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=930408 memory=870936 CPUtime=639.84 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 252326 0 0 0 63940 44 0 0 20 0 1 0 75482894 952737792 217734 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 232602 217734 3520 2271 0 227240 0
Current children cumulated CPU time: 639.84 s
Current children cumulated vsize: 930408 KiB
Current children cumulated memory: 870936 KiB

[startup+702.3 s]
/proc/loadavg: 4.16 3.84 2.81 5/262 84651
/proc/meminfo: memFree=123532384/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=930408 memory=870936 CPUtime=699.63 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 252327 0 0 0 69918 45 0 0 20 0 1 0 75482894 952737792 217734 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 232602 217734 3520 2271 0 227240 0
Current children cumulated CPU time: 699.63 s
Current children cumulated vsize: 930408 KiB
Current children cumulated memory: 870936 KiB

[startup+762.3 s]
/proc/loadavg: 4.12 3.89 2.89 5/262 84653
/proc/meminfo: memFree=123532252/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=930408 memory=870936 CPUtime=759.4 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 252340 0 0 0 75895 45 0 0 20 0 1 0 75482894 952737792 217734 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 232602 217734 3520 2271 0 227240 0
Current children cumulated CPU time: 759.4 s
Current children cumulated vsize: 930408 KiB
Current children cumulated memory: 870936 KiB

[startup+822.3 s]
/proc/loadavg: 4.09 3.92 2.97 5/264 84659
/proc/meminfo: memFree=123529192/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=930408 memory=870936 CPUtime=819.16 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 252340 0 0 0 81871 45 0 0 20 0 1 0 75482894 952737792 217734 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 232602 217734 3520 2271 0 227240 0
Current children cumulated CPU time: 819.16 s
Current children cumulated vsize: 930408 KiB
Current children cumulated memory: 870936 KiB

[startup+882.3 s]
/proc/loadavg: 4.14 3.97 3.04 5/264 84661
/proc/meminfo: memFree=123487244/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=930408 memory=870936 CPUtime=878.93 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 252340 0 0 0 87848 45 0 0 20 0 1 0 75482894 952737792 217734 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 232602 217734 3520 2271 0 227240 0
Current children cumulated CPU time: 878.93 s
Current children cumulated vsize: 930408 KiB
Current children cumulated memory: 870936 KiB

[startup+942.3 s]
/proc/loadavg: 4.10 3.99 3.11 5/265 84669
/proc/meminfo: memFree=123494928/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=930408 memory=870936 CPUtime=938.7 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 252340 0 0 0 93825 45 0 0 20 0 1 0 75482894 952737792 217734 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 232602 217734 3520 2271 0 227240 0
Current children cumulated CPU time: 938.7 s
Current children cumulated vsize: 930408 KiB
Current children cumulated memory: 870936 KiB

[startup+1002.3 s]
/proc/loadavg: 4.08 4.01 3.18 5/265 84671
/proc/meminfo: memFree=123972964/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=808308 memory=772628 CPUtime=998.48 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 252347 0 0 0 99803 45 0 0 20 0 1 0 75482894 827707392 193157 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 202077 193157 3520 2271 0 196715 0
Current children cumulated CPU time: 998.48 s
Current children cumulated vsize: 808308 KiB
Current children cumulated memory: 772628 KiB

[startup+1062.3 s]
/proc/loadavg: 4.13 4.03 3.24 4/262 84682
/proc/meminfo: memFree=124769028/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=808308 memory=772628 CPUtime=1058.28 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 252350 0 0 0 105780 48 0 0 20 0 1 0 75482894 827707392 193157 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 202077 193157 3520 2271 0 196715 0
Current children cumulated CPU time: 1058.28 s
Current children cumulated vsize: 808308 KiB
Current children cumulated memory: 772628 KiB

[startup+1062.7 s]
# the end of solver process 84614 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1058.17 s, system=0.522908 s

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

[startup+1062.4 s]
/proc/loadavg: 4.13 4.03 3.24 4/262 84682
/proc/meminfo: memFree=124769028/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=808308 memory=772628 CPUtime=1058.38 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 252350 0 0 0 105790 48 0 0 20 0 1 0 75482894 827707392 193157 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 202077 193157 3520 2271 0 196715 0
Current children cumulated CPU time: 1058.38 s
Current children cumulated vsize: 808308 KiB
Current children cumulated memory: 772628 KiB

[startup+1062.6 s]
/proc/loadavg: 4.13 4.03 3.24 4/262 84682
/proc/meminfo: memFree=124769028/131249992 swapFree=33009392/33010684
[pid=84614] ppid=84602 vsize=808308 memory=772628 CPUtime=1058.58 cores=5,7
/proc/84614/stat : 84614 (ExactPR-S) R 84602 84614 84550 0 -1 4194304 252350 0 0 0 105810 48 0 0 20 0 1 0 75482894 827707392 193157 18446744073709551615 94460924796928 94460934096965 140734361586256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460935883072 94460935922152 94460968898560 140734361590145 140734361590282 140734361590282 140734361595884 0
/proc/84614/statm: 202077 193157 3520 2271 0 196715 0
Current children cumulated CPU time: 1058.58 s
Current children cumulated vsize: 808308 KiB
Current children cumulated memory: 772628 KiB

Child status: 30

Real time (s): 1062.7
CPU time (s): 1058.69
CPU user time (s): 1058.17
CPU system time (s): 0.522908
CPU usage (%): 99.6227
Max. virtual memory (cumulated for all children) (KiB): 930408
Max. memory (cumulated for all children) (KiB): 870936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1058.17
system time used= 0.522908
maximum resident set size= 870936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252359
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= 165
involuntary context switches= 5653


# summary of solver processes directly reported to runsolver:
#   pid: 84614
#   total CPU time (s): 1058.69
#   total CPU user time (s): 1058.17
#   total CPU system time (s): 0.522908

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.91989 second user time and 4.76972 second system time

The end