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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525843-1751627985/watcher-4525843-1751627985 -o /tmp/evaluation-result-4525843-1751627985/solver-4525843-1751627985 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751627623-86678 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=980905082 --ls=360 --inp-dombreaklim=0 HOME/instance-4525843-1751627985.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=86909, runsolver pid=86906

[startup+0.100066 s]*
/proc/loadavg: 4.12 3.49 3.44 5/263 86933
/proc/meminfo: memFree=126404936/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=72136 memory=46692 CPUtime=0.09 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 12972 0 0 0 8 1 0 0 20 0 1 0 78477182 73867264 11673 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 18034 11673 1024 1200 0 16514 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 72136 KiB
Current children cumulated memory: 46692 KiB

[startup+0.205534 s]*
/proc/loadavg: 4.11 3.50 3.44 5/263 86933
/proc/meminfo: memFree=126303628/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=113740 memory=86788 CPUtime=0.2 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 21898 0 0 0 17 3 0 0 20 0 1 0 78477182 116469760 21697 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 28435 21697 1024 1200 0 26915 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 113740 KiB
Current children cumulated memory: 86788 KiB

[startup+0.305355 s]*
/proc/loadavg: 4.11 3.50 3.44 5/263 86933
/proc/meminfo: memFree=126245600/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=140412 memory=117604 CPUtime=0.29 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 28174 0 0 0 25 4 0 0 20 0 1 0 78477182 143781888 29401 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 35103 29401 1024 1200 0 33583 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 140412 KiB
Current children cumulated memory: 117604 KiB

[startup+0.700185 s]
/proc/loadavg: 4.11 3.50 3.44 5/263 86933
/proc/meminfo: memFree=126201248/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=162244 memory=140452 CPUtime=0.69 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 33376 0 0 0 63 6 0 0 20 0 1 0 78477182 166137856 35113 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 40561 35113 1024 1200 0 39041 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 162244 KiB
Current children cumulated memory: 140452 KiB

[startup+1.50018 s]
/proc/loadavg: 4.11 3.50 3.44 5/263 86933
/proc/meminfo: memFree=126200940/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=162244 memory=140452 CPUtime=1.49 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 33376 0 0 0 143 6 0 0 20 0 1 0 78477182 166137856 35113 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 40561 35113 1024 1200 0 39041 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 162244 KiB
Current children cumulated memory: 140452 KiB

[startup+3.10535 s]
/proc/loadavg: 4.11 3.50 3.44 5/263 86933
/proc/meminfo: memFree=126201036/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=162244 memory=140452 CPUtime=3.09 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 33383 0 0 0 303 6 0 0 20 0 1 0 78477182 166137856 35113 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 40561 35113 1024 1200 0 39041 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 162244 KiB
Current children cumulated memory: 140452 KiB

[startup+6.30017 s]
/proc/loadavg: 4.10 3.51 3.44 5/263 86933
/proc/meminfo: memFree=126201356/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=162244 memory=140452 CPUtime=6.27 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 33390 0 0 0 621 6 0 0 20 0 1 0 78477182 166137856 35113 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 40561 35113 1024 1200 0 39041 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 162244 KiB
Current children cumulated memory: 140452 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 3.51 3.45 5/263 86934
/proc/meminfo: memFree=126201468/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=162244 memory=140452 CPUtime=12.63 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 33401 0 0 0 1257 6 0 0 20 0 1 0 78477182 166137856 35113 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 40561 35113 1024 1200 0 39041 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 162244 KiB
Current children cumulated memory: 140452 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 3.53 3.45 5/263 86934
/proc/meminfo: memFree=126172788/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=162244 memory=140452 CPUtime=25.36 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 33424 0 0 0 2530 6 0 0 20 0 1 0 78477182 166137856 35113 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 40561 35113 1024 1200 0 39041 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 162244 KiB
Current children cumulated memory: 140452 KiB

[startup+51.1056 s]
/proc/loadavg: 4.10 3.59 3.48 5/263 86934
/proc/meminfo: memFree=126165112/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=162244 memory=141220 CPUtime=50.82 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 33473 0 0 0 5076 6 0 0 20 0 1 0 78477182 166137856 35305 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 40561 35305 1024 1200 0 39041 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 162244 KiB
Current children cumulated memory: 141220 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 3.67 3.51 5/263 86936
/proc/meminfo: memFree=126154596/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=162244 memory=143268 CPUtime=101.78 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 33517 0 0 0 10172 6 0 0 20 0 1 0 78477182 166137856 35817 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 40561 35817 1024 1200 0 39041 0
Current children cumulated CPU time: 101.78 s
Current children cumulated vsize: 162244 KiB
Current children cumulated memory: 143268 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 3.77 3.56 5/263 86938
/proc/meminfo: memFree=126148544/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=162244 memory=143268 CPUtime=161.52 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 33556 0 0 0 16146 6 0 0 20 0 1 0 78477182 166137856 35817 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 40561 35817 1024 1200 0 39041 0
Current children cumulated CPU time: 161.52 s
Current children cumulated vsize: 162244 KiB
Current children cumulated memory: 143268 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 3.81 3.59 5/264 86945
/proc/meminfo: memFree=126169712/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=162244 memory=143268 CPUtime=221.25 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 33634 0 0 0 22119 6 0 0 20 0 1 0 78477182 166137856 35817 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 40561 35817 1024 1200 0 39041 0
Current children cumulated CPU time: 221.25 s
Current children cumulated vsize: 162244 KiB
Current children cumulated memory: 143268 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.86 3.62 5/264 86947
/proc/meminfo: memFree=126145820/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=162244 memory=143268 CPUtime=280.99 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 33634 0 0 0 28093 6 0 0 20 0 1 0 78477182 166137856 35817 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 40561 35817 1024 1200 0 39041 0
Current children cumulated CPU time: 280.99 s
Current children cumulated vsize: 162244 KiB
Current children cumulated memory: 143268 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.92 3.66 5/263 86949
/proc/meminfo: memFree=126165744/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=162244 memory=143268 CPUtime=340.67 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 33675 0 0 0 34061 6 0 0 20 0 1 0 78477182 166137856 35817 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 40561 35817 1024 1200 0 39041 0
Current children cumulated CPU time: 340.67 s
Current children cumulated vsize: 162244 KiB
Current children cumulated memory: 143268 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.97 3.69 5/264 87089
/proc/meminfo: memFree=126116620/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=345684 memory=323124 CPUtime=400.47 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 68545 0 0 0 40034 13 0 0 20 0 1 0 78477182 353980416 80781 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 86421 80781 1248 1200 0 84901 0
Current children cumulated CPU time: 400.47 s
Current children cumulated vsize: 345684 KiB
Current children cumulated memory: 323124 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.99 3.72 5/264 87091
/proc/meminfo: memFree=126102612/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=363244 memory=349348 CPUtime=460.35 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 71578 0 0 0 46021 14 0 0 20 0 1 0 78477182 371961856 87337 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 90811 87337 1248 1200 0 89291 0

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

/proc/loadavg: 4.17 4.18 4.00 5/264 87394
/proc/meminfo: memFree=125917452/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=527056 memory=485596 CPUtime=1238.37 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 102140 0 0 0 123796 41 0 0 20 0 1 0 78477182 539705344 121399 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 131764 121399 1248 1200 0 130244 0
Current children cumulated CPU time: 1238.37 s
Current children cumulated vsize: 527056 KiB
Current children cumulated memory: 485596 KiB

[startup+1302.3 s]
/proc/loadavg: 4.06 4.14 4.00 5/264 87396
/proc/meminfo: memFree=125917344/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=527408 memory=486108 CPUtime=1298.21 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 102297 0 0 0 129779 42 0 0 20 0 1 0 78477182 540065792 121527 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 131852 121527 1248 1200 0 130332 0
Current children cumulated CPU time: 1298.21 s
Current children cumulated vsize: 527408 KiB
Current children cumulated memory: 486108 KiB

[startup+1362.3 s]
/proc/loadavg: 4.14 4.14 4.01 5/264 87397
/proc/meminfo: memFree=125917416/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=527408 memory=486236 CPUtime=1358.07 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 102434 0 0 0 135763 44 0 0 20 0 1 0 78477182 540065792 121559 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 131852 121559 1248 1200 0 130332 0
Current children cumulated CPU time: 1358.07 s
Current children cumulated vsize: 527408 KiB
Current children cumulated memory: 486236 KiB

[startup+1422.3 s]
/proc/loadavg: 4.11 4.13 4.01 5/263 87403
/proc/meminfo: memFree=125920584/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=527584 memory=488796 CPUtime=1417.92 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 102552 0 0 0 141747 45 0 0 20 0 1 0 78477182 540246016 122199 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 131896 122199 1248 1200 0 130376 0
Current children cumulated CPU time: 1417.92 s
Current children cumulated vsize: 527584 KiB
Current children cumulated memory: 488796 KiB

[startup+1482.3 s]
/proc/loadavg: 4.14 4.14 4.01 5/263 87539
/proc/meminfo: memFree=124974080/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=527844 memory=488796 CPUtime=1477.73 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 102661 0 0 0 147725 48 0 0 20 0 1 0 78477182 540512256 122199 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 131961 122199 1248 1200 0 130441 0
Current children cumulated CPU time: 1477.73 s
Current children cumulated vsize: 527844 KiB
Current children cumulated memory: 488796 KiB

[startup+1542.3 s]
/proc/loadavg: 4.12 4.12 4.01 5/263 87541
/proc/meminfo: memFree=124940168/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=528260 memory=488796 CPUtime=1537.55 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 102725 0 0 0 153706 49 0 0 20 0 1 0 78477182 540938240 122199 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 132065 122199 1248 1200 0 130545 0
Current children cumulated CPU time: 1537.55 s
Current children cumulated vsize: 528260 KiB
Current children cumulated memory: 488796 KiB

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

# cumulated CPU time of all completed processes:  user=1592.77 s, system=0.510072 s

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

[startup+1561.6 s]
/proc/loadavg: 4.08 4.12 4.01 5/263 87542
/proc/meminfo: memFree=124936080/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=528260 memory=488796 CPUtime=1556.81 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 102726 0 0 0 155631 50 0 0 20 0 1 0 78477182 540938240 122199 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 132065 122199 1248 1200 0 130545 0
Current children cumulated CPU time: 1556.81 s
Current children cumulated vsize: 528260 KiB
Current children cumulated memory: 488796 KiB

[startup+1574.4 s]
/proc/loadavg: 4.07 4.11 4.01 5/263 87542
/proc/meminfo: memFree=124919696/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=528260 memory=488796 CPUtime=1569.56 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 102727 0 0 0 156906 50 0 0 20 0 1 0 78477182 540938240 122199 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 132065 122199 1248 1200 0 130545 0
Current children cumulated CPU time: 1569.56 s
Current children cumulated vsize: 528260 KiB
Current children cumulated memory: 488796 KiB

[startup+1587.2 s]
/proc/loadavg: 4.12 4.12 4.01 5/263 87542
/proc/meminfo: memFree=124914516/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=528260 memory=488796 CPUtime=1582.33 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 102728 0 0 0 158183 50 0 0 20 0 1 0 78477182 540938240 122199 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 132065 122199 1248 1200 0 130545 0
Current children cumulated CPU time: 1582.33 s
Current children cumulated vsize: 528260 KiB
Current children cumulated memory: 488796 KiB

[startup+1593.6 s]
/proc/loadavg: 4.11 4.12 4.01 5/263 87545
/proc/meminfo: memFree=124927524/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=528260 memory=488796 CPUtime=1588.71 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 102729 0 0 0 158821 50 0 0 20 0 1 0 78477182 540938240 122199 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 132065 122199 1248 1200 0 130545 0
Current children cumulated CPU time: 1588.71 s
Current children cumulated vsize: 528260 KiB
Current children cumulated memory: 488796 KiB

[startup+1595.2 s]
/proc/loadavg: 4.11 4.12 4.01 5/263 87545
/proc/meminfo: memFree=124927524/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=528260 memory=488796 CPUtime=1590.3 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 102836 0 0 0 158980 50 0 0 20 0 1 0 78477182 540938240 122199 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 132065 122199 1248 1200 0 130545 0
Current children cumulated CPU time: 1590.3 s
Current children cumulated vsize: 528260 KiB
Current children cumulated memory: 488796 KiB

[startup+1596.8 s]
/proc/loadavg: 4.10 4.12 4.01 5/263 87545
/proc/meminfo: memFree=124927524/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=528260 memory=488796 CPUtime=1591.9 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 102836 0 0 0 159140 50 0 0 20 0 1 0 78477182 540938240 122199 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 132065 122199 1248 1200 0 130545 0
Current children cumulated CPU time: 1591.9 s
Current children cumulated vsize: 528260 KiB
Current children cumulated memory: 488796 KiB

[startup+1597.6 s]
/proc/loadavg: 4.10 4.12 4.01 5/263 87545
/proc/meminfo: memFree=124927524/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=528260 memory=488796 CPUtime=1592.7 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 102836 0 0 0 159220 50 0 0 20 0 1 0 78477182 540938240 122199 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 132065 122199 1248 1200 0 130545 0
Current children cumulated CPU time: 1592.7 s
Current children cumulated vsize: 528260 KiB
Current children cumulated memory: 488796 KiB

[startup+1598 s]*
/proc/loadavg: 4.10 4.12 4.01 5/263 87545
/proc/meminfo: memFree=124927524/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=528260 memory=488796 CPUtime=1593.1 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 102836 0 0 0 159260 50 0 0 20 0 1 0 78477182 540938240 122199 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 132065 122199 1248 1200 0 130545 0
Current children cumulated CPU time: 1593.1 s
Current children cumulated vsize: 528260 KiB
Current children cumulated memory: 488796 KiB

[startup+1598.11 s]
/proc/loadavg: 4.10 4.12 4.01 5/263 87545
/proc/meminfo: memFree=124927524/131250000 swapFree=33010672/33010684
[pid=86909] ppid=86906 vsize=528260 memory=488796 CPUtime=1593.2 cores=0,2
/proc/86909/stat : 86909 (Exact) R 86906 86909 86668 0 -1 4194304 102836 0 0 0 159270 50 0 0 20 0 1 0 78477182 540938240 122199 18446744073709551615 4198400 9112445 140722914779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38281216 140722914781477 140722914781675 140722914781675 140722914787279 0
/proc/86909/statm: 132065 122199 1248 1200 0 130545 0
Current children cumulated CPU time: 1593.2 s
Current children cumulated vsize: 528260 KiB
Current children cumulated memory: 488796 KiB

Child status: 30

Real time (s): 1598.17
CPU time (s): 1593.28
CPU user time (s): 1592.77
CPU system time (s): 0.510072
CPU usage (%): 99.6938
Max. virtual memory (cumulated for all children) (KiB): 528260
Max. memory (cumulated for all children) (KiB): 488796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1592.77
system time used= 0.510072
maximum resident set size= 488924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102882
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= 52
involuntary context switches= 3570


# summary of solver processes directly reported to runsolver:
#   pid: 86909
#   total CPU time (s): 1593.28
#   total CPU user time (s): 1592.77
#   total CPU system time (s): 0.510072

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.84038 second user time and 6.40337 second system time

The end