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: 64096 MiB (62980 MiB free)
  memory of node 1: 64473 MiB (58359 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428337-1722809653/watcher-4428337-1722809653 -o /tmp/evaluation-result-4428337-1722809653/solver-4428337-1722809653 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722806084-256971 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428337-1722809653.opb -t 3558 -s 893628007 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=259528, runsolver pid=259525
Current StackSize limit: 8192 KiB


[startup+0.100103 s]*
/proc/loadavg: 4.08 4.11 4.06 4/228 259544
/proc/meminfo: memFree=124248192/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=33180 memory=9652 CPUtime=0.1 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 1778 0 0 0 10 0 0 0 20 0 1 0 47335387 33976320 2413 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 8295 2413 749 2403 0 5405 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33180 KiB
Current children cumulated memory: 9652 KiB

[startup+0.213403 s]*
/proc/loadavg: 4.08 4.11 4.06 5/234 259559
/proc/meminfo: memFree=124220236/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=41232 memory=18624 CPUtime=0.21 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 4031 0 0 0 20 1 0 0 20 0 1 0 47335387 42221568 4656 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 10308 4656 749 2403 0 7418 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 18624 KiB

[startup+0.313438 s]*
/proc/loadavg: 4.08 4.11 4.06 5/237 259563
/proc/meminfo: memFree=124187724/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=65992 memory=48244 CPUtime=0.31 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 10207 0 0 0 28 3 0 0 20 0 1 0 47335387 67575808 12061 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 16498 12061 2077 2403 0 13608 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 65992 KiB
Current children cumulated memory: 48244 KiB

[startup+0.700353 s]
/proc/loadavg: 4.08 4.11 4.06 5/240 259569
/proc/meminfo: memFree=124070408/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=135520 memory=117000 CPUtime=0.68 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 27461 0 0 0 61 7 0 0 20 0 1 0 47335387 138772480 29250 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 33880 29250 2317 2403 0 30990 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 135520 KiB
Current children cumulated memory: 117000 KiB

[startup+1.50037 s]
/proc/loadavg: 4.15 4.12 4.06 5/240 259569
/proc/meminfo: memFree=123934232/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=156820 memory=138584 CPUtime=1.48 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 36977 0 0 0 138 10 0 0 20 0 1 0 47335387 160583680 34646 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 39205 34646 2349 2403 0 36315 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 156820 KiB
Current children cumulated memory: 138584 KiB

[startup+3.11296 s]
/proc/loadavg: 4.15 4.12 4.06 5/242 259601
/proc/meminfo: memFree=123699520/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=235908 memory=213648 CPUtime=3.09 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 58961 0 0 0 294 15 0 0 20 0 1 0 47335387 241569792 53412 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 58977 53412 2445 2403 0 56087 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 235908 KiB
Current children cumulated memory: 213648 KiB

[startup+6.30031 s]
/proc/loadavg: 4.14 4.12 4.06 5/242 259602
/proc/meminfo: memFree=123250308/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=236408 memory=214176 CPUtime=6.27 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 59055 0 0 0 612 15 0 0 20 0 1 0 47335387 242081792 53544 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 59102 53544 2445 2403 0 56212 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 236408 KiB
Current children cumulated memory: 214176 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.12 4.06 5/242 259602
/proc/meminfo: memFree=123226036/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=237624 memory=215208 CPUtime=12.65 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 59329 0 0 0 1250 15 0 0 20 0 1 0 47335387 243326976 53802 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 59406 53802 2445 2403 0 56516 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 237624 KiB
Current children cumulated memory: 215208 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.11 4.06 5/242 259606
/proc/meminfo: memFree=123187824/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=237624 memory=215720 CPUtime=25.4 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 59335 0 0 0 2525 15 0 0 20 0 1 0 47335387 243326976 53930 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 59406 53930 2445 2403 0 56516 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 237624 KiB
Current children cumulated memory: 215720 KiB

[startup+51.1131 s]
/proc/loadavg: 4.14 4.12 4.07 5/242 259609
/proc/meminfo: memFree=123136852/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=237624 memory=217008 CPUtime=50.94 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 59342 0 0 0 5079 15 0 0 20 0 1 0 47335387 243326976 54252 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 59406 54252 2445 2403 0 56516 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 237624 KiB
Current children cumulated memory: 217008 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/242 259619
/proc/meminfo: memFree=122939756/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=237624 memory=221532 CPUtime=101.99 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 59395 0 0 0 10183 16 0 0 20 0 1 0 47335387 243326976 55383 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 59406 55383 2461 2403 0 56516 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 237624 KiB
Current children cumulated memory: 221532 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/242 259629
/proc/meminfo: memFree=122899760/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=237624 memory=230204 CPUtime=161.83 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 59448 0 0 0 16167 16 0 0 20 0 1 0 47335387 243326976 57551 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 59406 57551 2461 2403 0 56516 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 237624 KiB
Current children cumulated memory: 230204 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/242 259641
/proc/meminfo: memFree=122716396/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=269988 memory=252056 CPUtime=221.67 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 65234 0 0 0 22151 16 0 0 20 0 1 0 47335387 276467712 63014 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 67497 63014 2477 2403 0 64607 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 269988 KiB
Current children cumulated memory: 252056 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/242 259651
/proc/meminfo: memFree=122699596/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=269988 memory=252248 CPUtime=281.5 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 65256 0 0 0 28134 16 0 0 20 0 1 0 47335387 276467712 63062 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 67497 63062 2477 2403 0 64607 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 269988 KiB
Current children cumulated memory: 252248 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.08 5/241 259662
/proc/meminfo: memFree=122681756/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=269988 memory=252248 CPUtime=341.33 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 65283 0 0 0 34117 16 0 0 20 0 1 0 47335387 276467712 63062 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 67497 63062 2477 2403 0 64607 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 269988 KiB
Current children cumulated memory: 252248 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.08 5/243 259676
/proc/meminfo: memFree=122622788/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=269988 memory=252248 CPUtime=401.16 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 65308 0 0 0 40100 16 0 0 20 0 1 0 47335387 276467712 63062 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 67497 63062 2477 2403 0 64607 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 269988 KiB
Current children cumulated memory: 252248 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/243 259687
/proc/meminfo: memFree=122591896/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=279580 memory=256180 CPUtime=461 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 66969 0 0 0 46083 17 0 0 20 0 1 0 47335387 286289920 64045 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0

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

/proc/loadavg: 4.11 4.19 4.18 5/241 261366
/proc/meminfo: memFree=122467376/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=150964 memory=145256 CPUtime=3154.95 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 73024 0 0 0 311149 4346 0 0 20 0 1 0 47335387 154587136 36314 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 37741 36314 2764 2403 0 34851 0
Current children cumulated CPU time: 3154.95 s
Current children cumulated vsize: 150964 KiB
Current children cumulated memory: 145256 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/244 261383
/proc/meminfo: memFree=122466668/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=150964 memory=145256 CPUtime=3214.85 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 73035 0 0 0 316939 4546 0 0 20 0 1 0 47335387 154587136 36314 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 37741 36314 2764 2403 0 34851 0
Current children cumulated CPU time: 3214.85 s
Current children cumulated vsize: 150964 KiB
Current children cumulated memory: 145256 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/244 261393
/proc/meminfo: memFree=122465500/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=150964 memory=145256 CPUtime=3274.74 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 73046 0 0 0 322709 4765 0 0 20 0 1 0 47335387 154587136 36314 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 37741 36314 2764 2403 0 34851 0
Current children cumulated CPU time: 3274.74 s
Current children cumulated vsize: 150964 KiB
Current children cumulated memory: 145256 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/244 261403
/proc/meminfo: memFree=122464876/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=150964 memory=145256 CPUtime=3334.64 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 73057 0 0 0 328530 4934 0 0 20 0 1 0 47335387 154587136 36314 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 37741 36314 2764 2403 0 34851 0
Current children cumulated CPU time: 3334.64 s
Current children cumulated vsize: 150964 KiB
Current children cumulated memory: 145256 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/244 261415
/proc/meminfo: memFree=122464076/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=150964 memory=145256 CPUtime=3394.53 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 73068 0 0 0 334344 5109 0 0 20 0 1 0 47335387 154587136 36314 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 37741 36314 2764 2403 0 34851 0
Current children cumulated CPU time: 3394.53 s
Current children cumulated vsize: 150964 KiB
Current children cumulated memory: 145256 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/244 261426
/proc/meminfo: memFree=122463304/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=150964 memory=145256 CPUtime=3454.42 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 73079 0 0 0 340140 5302 0 0 20 0 1 0 47335387 154587136 36314 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 37741 36314 2764 2403 0 34851 0
Current children cumulated CPU time: 3454.42 s
Current children cumulated vsize: 150964 KiB
Current children cumulated memory: 145256 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/245 261437
/proc/meminfo: memFree=122462884/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=150964 memory=145256 CPUtime=3514.31 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 73090 0 0 0 345945 5486 0 0 20 0 1 0 47335387 154587136 36314 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 37741 36314 2764 2403 0 34851 0
Current children cumulated CPU time: 3514.31 s
Current children cumulated vsize: 150964 KiB
Current children cumulated memory: 145256 KiB

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

# cumulated CPU time of all completed processes:  user=3502.04 s, system=55.9627 s

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

[startup+3532.8 s]
/proc/loadavg: 4.18 4.16 4.17 5/243 261439
/proc/meminfo: memFree=122462908/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=150964 memory=145256 CPUtime=3524.79 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 73090 0 0 0 346966 5513 0 0 20 0 1 0 47335387 154587136 36314 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 37741 36314 2764 2403 0 34851 0
Current children cumulated CPU time: 3524.79 s
Current children cumulated vsize: 150964 KiB
Current children cumulated memory: 145256 KiB

[startup+3545.6 s]
/proc/loadavg: 4.15 4.15 4.17 5/243 261442
/proc/meminfo: memFree=122462640/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=150964 memory=145256 CPUtime=3537.57 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 73090 0 0 0 348216 5541 0 0 20 0 1 0 47335387 154587136 36314 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 37741 36314 2764 2403 0 34851 0
Current children cumulated CPU time: 3537.57 s
Current children cumulated vsize: 150964 KiB
Current children cumulated memory: 145256 KiB

[startup+3558.4 s]
/proc/loadavg: 4.12 4.14 4.16 5/243 261444
/proc/meminfo: memFree=122462588/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=150964 memory=145256 CPUtime=3550.35 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 73090 0 0 0 349460 5575 0 0 20 0 1 0 47335387 154587136 36314 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 37741 36314 2764 2403 0 34851 0
Current children cumulated CPU time: 3550.35 s
Current children cumulated vsize: 150964 KiB
Current children cumulated memory: 145256 KiB

[startup+3561.6 s]
/proc/loadavg: 4.12 4.14 4.16 5/243 261444
/proc/meminfo: memFree=122462588/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=150964 memory=145256 CPUtime=3553.55 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 73090 0 0 0 349770 5585 0 0 20 0 1 0 47335387 154587136 36314 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 37741 36314 2764 2403 0 34851 0
Current children cumulated CPU time: 3553.55 s
Current children cumulated vsize: 150964 KiB
Current children cumulated memory: 145256 KiB

[startup+3563.2 s]
/proc/loadavg: 4.11 4.14 4.16 5/243 261444
/proc/meminfo: memFree=122462580/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=150964 memory=145256 CPUtime=3555.15 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 73090 0 0 0 349926 5589 0 0 20 0 1 0 47335387 154587136 36314 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 37741 36314 2764 2403 0 34851 0
Current children cumulated CPU time: 3555.15 s
Current children cumulated vsize: 150964 KiB
Current children cumulated memory: 145256 KiB

[startup+3564.8 s]
/proc/loadavg: 4.11 4.14 4.16 6/243 261446
/proc/meminfo: memFree=122462240/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=150964 memory=145256 CPUtime=3556.74 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 73090 0 0 0 350082 5592 0 0 20 0 1 0 47335387 154587136 36314 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 37741 36314 2764 2403 0 34851 0
Current children cumulated CPU time: 3556.74 s
Current children cumulated vsize: 150964 KiB
Current children cumulated memory: 145256 KiB

[startup+3565.6 s]
/proc/loadavg: 4.11 4.14 4.16 5/243 261446
/proc/meminfo: memFree=122462140/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=150964 memory=145256 CPUtime=3557.54 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 73090 0 0 0 350160 5594 0 0 20 0 1 0 47335387 154587136 36314 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 37741 36314 2764 2403 0 34851 0
Current children cumulated CPU time: 3557.54 s
Current children cumulated vsize: 150964 KiB
Current children cumulated memory: 145256 KiB

[startup+3566 s]*
/proc/loadavg: 4.11 4.14 4.16 5/243 261446
/proc/meminfo: memFree=122462132/131655788 swapFree=131071472/131071996
[pid=259528] ppid=259525 vsize=150964 memory=145256 CPUtime=3557.96 cores=4,6
/proc/259528/stat : 259528 (LS-MabS) R 259525 259528 256960 0 -1 4194304 73090 0 0 0 350200 5596 0 0 20 0 1 0 47335387 154587136 36314 134679101440 4194304 14036057 140727461369824 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 50479104 140727461372961 140727461373062 140727461373062 140727461380078 0
/proc/259528/statm: 37741 36314 2764 2403 0 34851 0
Current children cumulated CPU time: 3557.96 s
Current children cumulated vsize: 150964 KiB
Current children cumulated memory: 145256 KiB

Child status: 0

Real time (s): 3566.05
CPU time (s): 3558.01
CPU user time (s): 3502.04
CPU system time (s): 55.9627
CPU usage (%): 99.7743
Max. virtual memory (cumulated for all children) (KiB): 315624
Max. memory (cumulated for all children) (KiB): 289004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3502.04
system time used= 55.9627
maximum resident set size= 289004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73095
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= 23
involuntary context switches= 1181


# summary of solver processes directly reported to runsolver:
#   pid: 259528
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3502.04
#   total CPU system time (s): 55.9627

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.262 second user time and 32.5179 second system time

The end