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: 63968 MiB (61343 MiB free)
  memory of node 1: 64473 MiB (63333 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444027-1721317565/watcher-4444027-1721317565 -o /tmp/evaluation-result-4444027-1721317565/solver-4444027-1721317565 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721317548-959636 --watchdog 3760 ./LS-MabS -f HOME/instance-4444027-1721317565.opb -t 3600 -s 1356500393 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=960129, runsolver pid=960126
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 2.37 2.13 3.09 6/252 960130
/proc/meminfo: memFree=127654396/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=49696 memory=18628 CPUtime=0.09 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 4007 0 0 0 9 0 0 0 20 0 1 0 183923553 50888704 4657 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 12424 4657 749 2403 0 9534 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49696 KiB
Current children cumulated memory: 18628 KiB

[startup+0.205092 s]*
/proc/loadavg: 2.37 2.13 3.09 5/252 960130
/proc/meminfo: memFree=127630876/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=71212 memory=41592 CPUtime=0.2 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 9800 0 0 0 19 1 0 0 20 0 1 0 183923553 72921088 10398 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 17803 10398 749 2403 0 14913 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 71212 KiB
Current children cumulated memory: 41592 KiB

[startup+0.305431 s]*
/proc/loadavg: 2.37 2.13 3.09 5/252 960130
/proc/meminfo: memFree=127578492/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=127284 memory=101368 CPUtime=0.3 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 23475 0 0 0 27 3 0 0 20 0 1 0 183923553 130338816 25342 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 31821 25342 2077 2403 0 28931 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 127284 KiB
Current children cumulated memory: 101368 KiB

[startup+0.700216 s]
/proc/loadavg: 2.37 2.13 3.09 5/252 960130
/proc/meminfo: memFree=127423904/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=291400 memory=264932 CPUtime=0.69 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 66375 0 0 0 60 9 0 0 20 0 1 0 183923553 298393600 66233 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 72850 66233 2285 2403 0 69960 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 291400 KiB
Current children cumulated memory: 264932 KiB

[startup+1.50022 s]
/proc/loadavg: 2.37 2.13 3.09 5/250 960151
/proc/meminfo: memFree=127367048/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=366496 memory=337608 CPUtime=1.48 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 91424 0 0 0 135 13 0 0 20 0 1 0 183923553 375291904 84402 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 91624 84402 2349 2403 0 88734 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 366496 KiB
Current children cumulated memory: 337608 KiB

[startup+3.10535 s]
/proc/loadavg: 2.50 2.16 3.09 5/254 960162
/proc/meminfo: memFree=126150980/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=866216 memory=788732 CPUtime=3.09 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 137508 0 0 0 282 27 0 0 20 0 1 0 183923553 887005184 197183 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 216554 197183 2397 2403 0 213664 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 866216 KiB
Current children cumulated memory: 788732 KiB

[startup+6.30022 s]
/proc/loadavg: 2.50 2.16 3.09 5/254 960164
/proc/meminfo: memFree=125413928/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=887200 memory=809256 CPUtime=6.27 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 141621 0 0 0 599 28 0 0 20 0 1 0 183923553 908492800 202314 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 221800 202314 2445 2403 0 218910 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 887200 KiB
Current children cumulated memory: 809256 KiB

[startup+12.7002 s]
/proc/loadavg: 2.62 2.19 3.10 5/254 960164
/proc/meminfo: memFree=125259064/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=888868 memory=810484 CPUtime=12.65 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 141905 0 0 0 1236 29 0 0 20 0 1 0 183923553 910200832 202621 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 222217 202621 2445 2403 0 219327 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 888868 KiB
Current children cumulated memory: 810484 KiB

[startup+25.5002 s]
/proc/loadavg: 2.93 2.28 3.11 5/254 960213
/proc/meminfo: memFree=125566156/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=892760 memory=812504 CPUtime=25.4 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 142481 0 0 0 2510 30 0 0 20 0 1 0 183923553 914186240 203126 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 223190 203126 2461 2403 0 220300 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 892760 KiB
Current children cumulated memory: 812504 KiB

[startup+51.1053 s]
/proc/loadavg: 3.36 2.44 3.14 5/254 960216
/proc/meminfo: memFree=125287808/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=1035376 memory=916204 CPUtime=50.92 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 169865 0 0 0 5057 35 0 0 20 0 1 0 183923553 1060225024 229051 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 258844 229051 2477 2403 0 255954 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1035376 KiB
Current children cumulated memory: 916204 KiB

[startup+102.3 s]
/proc/loadavg: 3.76 2.69 3.20 5/254 960226
/proc/meminfo: memFree=125149616/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=1242764 memory=1037612 CPUtime=101.94 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 196240 0 0 0 10155 39 0 0 20 0 1 0 183923553 1272590336 259403 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 310691 259403 2477 2403 0 307801 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1242764 KiB
Current children cumulated memory: 1037612 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 2.96 3.26 5/254 960236
/proc/meminfo: memFree=124913376/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=1254312 memory=1047904 CPUtime=161.74 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 197294 0 0 0 16134 40 0 0 20 0 1 0 183923553 1284415488 261976 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 313578 261976 2477 2403 0 310688 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1254312 KiB
Current children cumulated memory: 1047904 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.17 3.31 5/254 960246
/proc/meminfo: memFree=124817408/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=1254312 memory=1047904 CPUtime=221.54 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 197322 0 0 0 22113 41 0 0 20 0 1 0 183923553 1284415488 261976 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 313578 261976 2477 2403 0 310688 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 1254312 KiB
Current children cumulated memory: 1047904 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 3.34 3.37 5/257 960262
/proc/meminfo: memFree=124677260/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=1336500 memory=1129244 CPUtime=281.33 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 226091 0 0 0 28088 45 0 0 20 0 1 0 183923553 1368576000 282311 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 334125 282311 2477 2403 0 331235 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 1336500 KiB
Current children cumulated memory: 1129244 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.48 3.41 5/257 960272
/proc/meminfo: memFree=124662876/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=1336500 memory=1130516 CPUtime=341.12 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 226505 0 0 0 34067 45 0 0 20 0 1 0 183923553 1368576000 282629 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 334125 282629 2477 2403 0 331235 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 1336500 KiB
Current children cumulated memory: 1130516 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.61 3.46 5/257 960282
/proc/meminfo: memFree=124528216/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=1336500 memory=1130644 CPUtime=400.93 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 226540 0 0 0 40047 46 0 0 20 0 1 0 183923553 1368576000 282661 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 334125 282661 2477 2403 0 331235 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 1336500 KiB
Current children cumulated memory: 1130644 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.70 3.50 5/257 960293
/proc/meminfo: memFree=124511256/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=1336500 memory=1130644 CPUtime=460.72 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 226594 0 0 0 46026 46 0 0 20 0 1 0 183923553 1368576000 282661 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 334125 282661 2477 2403 0 331235 0

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

/proc/loadavg: 4.12 4.11 3.95 5/257 961045
/proc/meminfo: memFree=123770884/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=1336500 memory=1130644 CPUtime=1477.61 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 227089 0 0 0 147706 55 0 0 20 0 1 0 183923553 1368576000 282661 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 334125 282661 2477 2403 0 331235 0
Current children cumulated CPU time: 1477.61 s
Current children cumulated vsize: 1336500 KiB
Current children cumulated memory: 1130644 KiB

[startup+1542.3 s]
/proc/loadavg: 4.16 4.12 3.97 5/256 961055
/proc/meminfo: memFree=123768004/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=1336500 memory=1130644 CPUtime=1537.42 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 227112 0 0 0 153687 55 0 0 20 0 1 0 183923553 1368576000 282661 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 334125 282661 2477 2403 0 331235 0
Current children cumulated CPU time: 1537.42 s
Current children cumulated vsize: 1336500 KiB
Current children cumulated memory: 1130644 KiB

[startup+1602.3 s]
/proc/loadavg: 4.12 4.11 3.98 5/256 961065
/proc/meminfo: memFree=123764868/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=1336500 memory=1130644 CPUtime=1597.24 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 227147 0 0 0 159668 56 0 0 20 0 1 0 183923553 1368576000 282661 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 334125 282661 2477 2403 0 331235 0
Current children cumulated CPU time: 1597.24 s
Current children cumulated vsize: 1336500 KiB
Current children cumulated memory: 1130644 KiB

[startup+1662.3 s]
/proc/loadavg: 4.08 4.10 3.99 5/256 961076
/proc/meminfo: memFree=123764704/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=1336500 memory=1130644 CPUtime=1657.04 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 227175 0 0 0 165648 56 0 0 20 0 1 0 183923553 1368576000 282661 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 334125 282661 2477 2403 0 331235 0
Current children cumulated CPU time: 1657.04 s
Current children cumulated vsize: 1336500 KiB
Current children cumulated memory: 1130644 KiB

[startup+1722.3 s]
/proc/loadavg: 4.13 4.11 4.00 5/257 961088
/proc/meminfo: memFree=123764248/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=1336500 memory=1130692 CPUtime=1716.84 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 227216 0 0 0 171627 57 0 0 20 0 1 0 183923553 1368576000 282673 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 334125 282673 2477 2403 0 331235 0
Current children cumulated CPU time: 1716.84 s
Current children cumulated vsize: 1336500 KiB
Current children cumulated memory: 1130692 KiB

[startup+1782.3 s]
/proc/loadavg: 4.10 4.11 4.00 5/255 961098
/proc/meminfo: memFree=123759816/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=1336500 memory=1132124 CPUtime=1776.64 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 227655 0 0 0 177607 57 0 0 20 0 1 0 183923553 1368576000 283031 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 334125 283031 2477 2403 0 331235 0
Current children cumulated CPU time: 1776.64 s
Current children cumulated vsize: 1336500 KiB
Current children cumulated memory: 1132124 KiB

[startup+1842.3 s]
/proc/loadavg: 4.15 4.12 4.01 5/255 961108
/proc/meminfo: memFree=125572404/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=859012 memory=705816 CPUtime=1836.47 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 230100 0 0 0 183546 101 0 0 20 0 1 0 183923553 879628288 176454 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 214753 176454 2508 2403 0 211863 0
Current children cumulated CPU time: 1836.47 s
Current children cumulated vsize: 859012 KiB
Current children cumulated memory: 705816 KiB

[startup+1902.3 s]
/proc/loadavg: 4.11 4.11 4.01 5/255 961120
/proc/meminfo: memFree=125570652/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=859012 memory=705816 CPUtime=1896.3 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 230100 0 0 0 189472 158 0 0 20 0 1 0 183923553 879628288 176454 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 214753 176454 2508 2403 0 211863 0
Current children cumulated CPU time: 1896.3 s
Current children cumulated vsize: 859012 KiB
Current children cumulated memory: 705816 KiB

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

# cumulated CPU time of all completed processes:  user=1922.29 s, system=1.89539 s

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

[startup+1907.2 s]
/proc/loadavg: 4.10 4.11 4.01 5/255 961121
/proc/meminfo: memFree=125570552/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=859012 memory=705816 CPUtime=1901.18 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 230100 0 0 0 189957 161 0 0 20 0 1 0 183923553 879628288 176454 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 214753 176454 2508 2403 0 211863 0
Current children cumulated CPU time: 1901.18 s
Current children cumulated vsize: 859012 KiB
Current children cumulated memory: 705816 KiB

[startup+1920 s]*
/proc/loadavg: 4.08 4.10 4.01 5/255 961123
/proc/meminfo: memFree=125570028/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=859012 memory=705816 CPUtime=1913.96 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 230100 0 0 0 191220 176 0 0 20 0 1 0 183923553 879628288 176454 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 214753 176454 2508 2403 0 211863 0
Current children cumulated CPU time: 1913.96 s
Current children cumulated vsize: 859012 KiB
Current children cumulated memory: 705816 KiB

[startup+1926.4 s]
/proc/loadavg: 4.15 4.12 4.01 5/255 961124
/proc/meminfo: memFree=125569944/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=859012 memory=705816 CPUtime=1920.33 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 230100 0 0 0 191851 182 0 0 20 0 1 0 183923553 879628288 176454 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 214753 176454 2508 2403 0 211863 0
Current children cumulated CPU time: 1920.33 s
Current children cumulated vsize: 859012 KiB
Current children cumulated memory: 705816 KiB

[startup+1928 s]*
/proc/loadavg: 4.14 4.12 4.01 5/255 961124
/proc/meminfo: memFree=125568496/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=859012 memory=705816 CPUtime=1921.93 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 230100 0 0 0 192009 184 0 0 20 0 1 0 183923553 879628288 176454 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 214753 176454 2508 2403 0 211863 0
Current children cumulated CPU time: 1921.93 s
Current children cumulated vsize: 859012 KiB
Current children cumulated memory: 705816 KiB

[startup+1929.6 s]
/proc/loadavg: 4.14 4.12 4.01 5/255 961124
/proc/meminfo: memFree=125568624/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=859012 memory=705816 CPUtime=1923.53 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 230100 0 0 0 192167 186 0 0 20 0 1 0 183923553 879628288 176454 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 214753 176454 2508 2403 0 211863 0
Current children cumulated CPU time: 1923.53 s
Current children cumulated vsize: 859012 KiB
Current children cumulated memory: 705816 KiB

[startup+1930 s]*
/proc/loadavg: 4.14 4.12 4.01 5/255 961124
/proc/meminfo: memFree=125568624/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=859012 memory=705816 CPUtime=1923.92 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 230100 0 0 0 192206 186 0 0 20 0 1 0 183923553 879628288 176454 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 214753 176454 2508 2403 0 211863 0
Current children cumulated CPU time: 1923.92 s
Current children cumulated vsize: 859012 KiB
Current children cumulated memory: 705816 KiB

[startup+1930.2 s]
/proc/loadavg: 4.14 4.12 4.01 5/255 961124
/proc/meminfo: memFree=125568624/131524600 swapFree=131071996/131071996
[pid=960129] ppid=960126 vsize=859012 memory=705816 CPUtime=1924.12 cores=1,3
/proc/960129/stat : 960129 (LS-MabS) R 960126 960129 959624 0 -1 4194304 230100 0 0 0 192226 186 0 0 20 0 1 0 183923553 879628288 176454 134679101440 4194304 14036057 140727980675712 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 53006336 140727980680224 140727980680326 140727980680326 140727980687342 0
/proc/960129/statm: 214753 176454 2508 2403 0 211863 0
Current children cumulated CPU time: 1924.12 s
Current children cumulated vsize: 859012 KiB
Current children cumulated memory: 705816 KiB

Child status: 0

Real time (s): 1930.25
CPU time (s): 1924.18
CPU user time (s): 1922.29
CPU system time (s): 1.89539
CPU usage (%): 99.6856
Max. virtual memory (cumulated for all children) (KiB): 1371604
Max. memory (cumulated for all children) (KiB): 1162496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1922.29
system time used= 1.89539
maximum resident set size= 1162496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230102
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= 607


# summary of solver processes directly reported to runsolver:
#   pid: 960129
#   total CPU time (s): 1924.18
#   total CPU user time (s): 1922.29
#   total CPU system time (s): 1.89539

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.33518 second user time and 8.36071 second system time

The end