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-4523679-1751598083/watcher-4523679-1751598083 -o /tmp/evaluation-result-4523679-1751598083/solver-4523679-1751598083 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751598083-84561 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4523679-1751598083.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=84610, runsolver pid=84601

[startup+0.10006 s]*
/proc/loadavg: 0.65 0.98 1.27 6/263 84619
/proc/meminfo: memFree=127047864/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=55780 memory=17536 CPUtime=0.07 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 2411 0 0 0 7 0 0 0 20 0 1 0 75482892 57118720 4384 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 13945 4384 1664 2271 0 8583 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 55780 KiB
Current children cumulated memory: 17536 KiB

[startup+0.204539 s]*
/proc/loadavg: 0.65 0.98 1.27 6/263 84619
/proc/meminfo: memFree=127031740/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=60876 memory=24748 CPUtime=0.18 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 3675 0 0 0 17 1 0 0 20 0 1 0 75482892 62337024 6187 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 15219 6187 1696 2271 0 9857 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 60876 KiB
Current children cumulated memory: 24748 KiB

[startup+0.305435 s]*
/proc/loadavg: 0.65 0.98 1.27 6/263 84619
/proc/meminfo: memFree=126889348/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=84204 memory=48872 CPUtime=0.27 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 14766 0 0 0 25 2 0 0 20 0 1 0 75482892 86224896 12218 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 21051 12218 1888 2271 0 15689 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 84204 KiB
Current children cumulated memory: 48872 KiB

[startup+0.700144 s]
/proc/loadavg: 0.65 0.98 1.27 6/263 84619
/proc/meminfo: memFree=126852932/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=114668 memory=78940 CPUtime=0.64 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 18731 0 0 0 61 3 0 0 20 0 1 0 75482892 117420032 19735 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 28667 19735 1888 2271 0 23305 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 114668 KiB
Current children cumulated memory: 78940 KiB

[startup+1.50013 s]
/proc/loadavg: 0.65 0.98 1.27 6/263 84619
/proc/meminfo: memFree=126576652/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=257544 memory=226012 CPUtime=1.44 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 54141 0 0 0 136 8 0 0 20 0 1 0 75482892 263725056 56503 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 64386 56503 3328 2271 0 59024 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 257544 KiB
Current children cumulated memory: 226012 KiB

[startup+3.10437 s]
/proc/loadavg: 0.92 1.03 1.29 6/263 84619
/proc/meminfo: memFree=125811448/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=267960 memory=235368 CPUtime=3.04 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 55944 0 0 0 296 8 0 0 20 0 1 0 75482892 274391040 58842 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 66990 58842 3360 2271 0 61628 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 267960 KiB
Current children cumulated memory: 235368 KiB

[startup+6.30012 s]
/proc/loadavg: 0.92 1.03 1.29 6/263 84619
/proc/meminfo: memFree=125129180/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=502324 memory=440592 CPUtime=6.23 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 83242 0 0 0 609 14 0 0 20 0 1 0 75482892 514379776 110148 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 125581 110148 3392 2271 0 120219 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 502324 KiB
Current children cumulated memory: 440592 KiB

[startup+12.7001 s]
/proc/loadavg: 1.25 1.10 1.31 6/263 84619
/proc/meminfo: memFree=124771064/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=645280 memory=583252 CPUtime=12.61 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 129273 0 0 0 1240 21 0 0 20 0 1 0 75482892 660766720 145813 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 161320 145813 3392 2271 0 155958 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 645280 KiB
Current children cumulated memory: 583252 KiB

[startup+25.5002 s]
/proc/loadavg: 1.86 1.24 1.35 6/263 84619
/proc/meminfo: memFree=124398372/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=805488 memory=741432 CPUtime=25.38 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 162181 0 0 0 2508 30 0 0 20 0 1 0 75482892 824819712 185358 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 201372 185358 3392 2271 0 196010 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 805488 KiB
Current children cumulated memory: 741432 KiB

[startup+51.1045 s]
/proc/loadavg: 2.67 1.48 1.43 6/263 84620
/proc/meminfo: memFree=124280064/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=805488 memory=741432 CPUtime=50.91 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 162197 0 0 0 5061 30 0 0 20 0 1 0 75482892 824819712 185358 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 201372 185358 3392 2271 0 196010 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 805488 KiB
Current children cumulated memory: 741432 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 1.90 1.58 6/263 84621
/proc/meminfo: memFree=124056860/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=805488 memory=741432 CPUtime=101.96 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 162227 0 0 0 10166 30 0 0 20 0 1 0 75482892 824819712 185358 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 201372 185358 3392 2271 0 196010 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 805488 KiB
Current children cumulated memory: 741432 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.30 1.74 6/264 84624
/proc/meminfo: memFree=123972224/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=805488 memory=741560 CPUtime=161.79 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 162248 0 0 0 16149 30 0 0 20 0 1 0 75482892 824819712 185390 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 201372 185390 3392 2271 0 196010 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 805488 KiB
Current children cumulated memory: 741560 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.63 1.88 6/264 84629
/proc/meminfo: memFree=123629488/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=974280 memory=909440 CPUtime=221.62 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 205509 0 0 0 22126 36 0 0 20 0 1 0 75482892 997662720 227360 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 243570 227360 3424 2271 0 238208 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 974280 KiB
Current children cumulated memory: 909440 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 2.91 2.03 6/265 84632
/proc/meminfo: memFree=123558212/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=974280 memory=910336 CPUtime=281.46 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 205751 0 0 0 28109 37 0 0 20 0 1 0 75482892 997662720 227584 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 243570 227584 3424 2271 0 238208 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 974280 KiB
Current children cumulated memory: 910336 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.13 2.16 6/266 84639
/proc/meminfo: memFree=123464748/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=974280 memory=911360 CPUtime=341.29 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 206031 0 0 0 34092 37 0 0 20 0 1 0 75482892 997662720 227840 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 243570 227840 3424 2271 0 238208 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 974280 KiB
Current children cumulated memory: 911360 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.30 2.28 6/266 84641
/proc/meminfo: memFree=123471460/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=974280 memory=911360 CPUtime=401.11 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 206063 0 0 0 40074 37 0 0 20 0 1 0 75482892 997662720 227840 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 243570 227840 3424 2271 0 238208 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 974280 KiB
Current children cumulated memory: 911360 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.46 2.40 6/265 84643
/proc/meminfo: memFree=123510460/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=974280 memory=911488 CPUtime=460.94 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 206068 0 0 0 46057 37 0 0 20 0 1 0 75482892 997662720 227872 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 243570 227872 3424 2271 0 238208 0

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

/proc/loadavg: 4.11 3.76 2.71 6/262 84649
/proc/meminfo: memFree=123517920/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=980940 memory=918436 CPUtime=640.43 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 212129 0 0 0 64005 38 0 0 20 0 1 0 75482892 1004482560 229609 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 245235 229609 3520 2271 0 239873 0
Current children cumulated CPU time: 640.43 s
Current children cumulated vsize: 980940 KiB
Current children cumulated memory: 918436 KiB

[startup+702.3 s]
/proc/loadavg: 4.16 3.84 2.81 6/262 84651
/proc/meminfo: memFree=123532384/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=981696 memory=919460 CPUtime=700.26 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 212380 0 0 0 69988 38 0 0 20 0 1 0 75482892 1005256704 229865 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 245424 229865 3520 2271 0 240062 0
Current children cumulated CPU time: 700.26 s
Current children cumulated vsize: 981696 KiB
Current children cumulated memory: 919460 KiB

[startup+762.3 s]
/proc/loadavg: 4.12 3.89 2.89 6/262 84653
/proc/meminfo: memFree=123532252/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=981696 memory=919460 CPUtime=760.09 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 212413 0 0 0 75971 38 0 0 20 0 1 0 75482892 1005256704 229865 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 245424 229865 3520 2271 0 240062 0
Current children cumulated CPU time: 760.09 s
Current children cumulated vsize: 981696 KiB
Current children cumulated memory: 919460 KiB

[startup+822.3 s]
/proc/loadavg: 4.09 3.92 2.97 6/264 84659
/proc/meminfo: memFree=123529192/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=981696 memory=921508 CPUtime=819.91 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 212417 0 0 0 81953 38 0 0 20 0 1 0 75482892 1005256704 230377 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 245424 230377 3520 2271 0 240062 0
Current children cumulated CPU time: 819.91 s
Current children cumulated vsize: 981696 KiB
Current children cumulated memory: 921508 KiB

[startup+882.3 s]
/proc/loadavg: 4.14 3.97 3.04 6/264 84661
/proc/meminfo: memFree=123487244/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=981696 memory=922404 CPUtime=879.73 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 212422 0 0 0 87935 38 0 0 20 0 1 0 75482892 1005256704 230601 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 245424 230601 3520 2271 0 240062 0
Current children cumulated CPU time: 879.73 s
Current children cumulated vsize: 981696 KiB
Current children cumulated memory: 922404 KiB

[startup+942.3 s]
/proc/loadavg: 4.10 3.99 3.11 6/265 84669
/proc/meminfo: memFree=123479904/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=981696 memory=923812 CPUtime=939.56 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 212424 0 0 0 93918 38 0 0 20 0 1 0 75482892 1005256704 230953 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 245424 230953 3520 2271 0 240062 0
Current children cumulated CPU time: 939.56 s
Current children cumulated vsize: 981696 KiB
Current children cumulated memory: 923812 KiB

[startup+1002.3 s]
/proc/loadavg: 4.08 4.01 3.18 6/265 84671
/proc/meminfo: memFree=123972964/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=848612 memory=820840 CPUtime=999.39 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 212584 0 0 0 99901 38 0 0 20 0 1 0 75482892 868978688 205210 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 212153 205210 3520 2271 0 206791 0
Current children cumulated CPU time: 999.39 s
Current children cumulated vsize: 848612 KiB
Current children cumulated memory: 820840 KiB

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

# cumulated CPU time of all completed processes:  user=1058.35 s, system=0.444683 s

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

[startup+1024 s]*
/proc/loadavg: 4.11 4.02 3.20 6/265 84672
/proc/meminfo: memFree=123975140/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=848612 memory=820968 CPUtime=1021.04 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 212584 0 0 0 102064 40 0 0 20 0 1 0 75482892 868978688 205242 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 212153 205242 3520 2271 0 206791 0
Current children cumulated CPU time: 1021.04 s
Current children cumulated vsize: 848612 KiB
Current children cumulated memory: 820968 KiB

[startup+1036.8 s]
/proc/loadavg: 4.09 4.02 3.21 6/266 84674
/proc/meminfo: memFree=123959044/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=848612 memory=820968 CPUtime=1033.79 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 212584 0 0 0 103339 40 0 0 20 0 1 0 75482892 868978688 205242 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 212153 205242 3520 2271 0 206791 0
Current children cumulated CPU time: 1033.79 s
Current children cumulated vsize: 848612 KiB
Current children cumulated memory: 820968 KiB

[startup+1049.6 s]
/proc/loadavg: 4.15 4.04 3.23 6/266 84674
/proc/meminfo: memFree=123959500/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=848612 memory=820968 CPUtime=1046.57 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 212584 0 0 0 104615 42 0 0 20 0 1 0 75482892 868978688 205242 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 212153 205242 3520 2271 0 206791 0
Current children cumulated CPU time: 1046.57 s
Current children cumulated vsize: 848612 KiB
Current children cumulated memory: 820968 KiB

[startup+1056 s]*
/proc/loadavg: 4.14 4.04 3.24 6/266 84674
/proc/meminfo: memFree=123959404/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=848612 memory=820968 CPUtime=1052.95 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 212584 0 0 0 105253 42 0 0 20 0 1 0 75482892 868978688 205242 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 212153 205242 3520 2271 0 206791 0
Current children cumulated CPU time: 1052.95 s
Current children cumulated vsize: 848612 KiB
Current children cumulated memory: 820968 KiB

[startup+1059.2 s]
/proc/loadavg: 4.13 4.03 3.24 6/266 84674
/proc/meminfo: memFree=123948748/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=848612 memory=820968 CPUtime=1056.13 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 212584 0 0 0 105571 42 0 0 20 0 1 0 75482892 868978688 205242 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 212153 205242 3520 2271 0 206791 0
Current children cumulated CPU time: 1056.13 s
Current children cumulated vsize: 848612 KiB
Current children cumulated memory: 820968 KiB

[startup+1060.8 s]
/proc/loadavg: 4.13 4.03 3.24 6/266 84674
/proc/meminfo: memFree=123952908/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=848612 memory=820968 CPUtime=1057.73 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 212584 0 0 0 105731 42 0 0 20 0 1 0 75482892 868978688 205242 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 212153 205242 3520 2271 0 206791 0
Current children cumulated CPU time: 1057.73 s
Current children cumulated vsize: 848612 KiB
Current children cumulated memory: 820968 KiB

[startup+1061.6 s]
/proc/loadavg: 4.13 4.03 3.24 6/266 84674
/proc/meminfo: memFree=123952660/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=848612 memory=820968 CPUtime=1058.52 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 212584 0 0 0 105810 42 0 0 20 0 1 0 75482892 868978688 205242 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 212153 205242 3520 2271 0 206791 0
Current children cumulated CPU time: 1058.52 s
Current children cumulated vsize: 848612 KiB
Current children cumulated memory: 820968 KiB

[startup+1061.8 s]
/proc/loadavg: 4.13 4.03 3.24 6/266 84674
/proc/meminfo: memFree=123952660/131249992 swapFree=33009392/33010684
[pid=84610] ppid=84601 vsize=848612 memory=820968 CPUtime=1058.72 cores=4,6
/proc/84610/stat : 84610 (ExactPR-S) R 84601 84610 84550 0 -1 4194304 212584 0 0 0 105830 42 0 0 20 0 1 0 75482892 868978688 205242 18446744073709551615 94598321876992 94598331177029 140729225745824 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94598332963136 94598333002216 94598362742784 140729225750913 140729225751050 140729225751050 140729225756652 0
/proc/84610/statm: 212153 205242 3520 2271 0 206791 0
Current children cumulated CPU time: 1058.72 s
Current children cumulated vsize: 848612 KiB
Current children cumulated memory: 820968 KiB

Child status: 30

Real time (s): 1061.86
CPU time (s): 1058.8
CPU user time (s): 1058.35
CPU system time (s): 0.444683
CPU usage (%): 99.7118
Max. virtual memory (cumulated for all children) (KiB): 981696
Max. memory (cumulated for all children) (KiB): 928676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1058.35
system time used= 0.444683
maximum resident set size= 928676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212600
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= 172
involuntary context switches= 935


# summary of solver processes directly reported to runsolver:
#   pid: 84610
#   total CPU time (s): 1058.8
#   total CPU user time (s): 1058.35
#   total CPU system time (s): 0.444683

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.83459 second user time and 3.42263 second system time

The end