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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=259568, runsolver pid=259565

[startup+0.100518 s]*
/proc/loadavg: 4.08 4.11 4.06 5/240 259569
/proc/meminfo: memFree=124142468/131655788 swapFree=131071472/131071996
[pid=259568] ppid=259565 vsize=29192 memory=10968 CPUtime=0.1 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 2129 0 0 0 10 0 0 0 20 0 1 0 47335420 29892608 2742 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 7298 2742 749 2403 0 4408 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 10968 KiB

[startup+0.213278 s]*
/proc/loadavg: 4.08 4.11 4.06 5/240 259569
/proc/meminfo: memFree=124048548/131655788 swapFree=131071472/131071996
[pid=259568] ppid=259565 vsize=62136 memory=49416 CPUtime=0.21 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 10503 0 0 0 18 3 0 0 20 0 1 0 47335420 63627264 12354 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 15534 12354 2237 2403 0 12644 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 62136 KiB
Current children cumulated memory: 49416 KiB

[startup+0.313401 s]*
/proc/loadavg: 4.08 4.11 4.06 5/240 259569
/proc/meminfo: memFree=123997196/131655788 swapFree=131071472/131071996
[pid=259568] ppid=259565 vsize=79976 memory=65292 CPUtime=0.31 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 14403 0 0 0 27 4 0 0 20 0 1 0 47335420 81895424 16323 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 19994 16323 2317 2403 0 17104 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 79976 KiB
Current children cumulated memory: 65292 KiB

[startup+0.70029 s]
/proc/loadavg: 4.15 4.12 4.06 5/240 259569
/proc/meminfo: memFree=123946992/131655788 swapFree=131071472/131071996
[pid=259568] ppid=259565 vsize=91944 memory=78068 CPUtime=0.69 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 18069 0 0 0 63 6 0 0 20 0 1 0 47335420 94150656 19517 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 22986 19517 2349 2403 0 20096 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 91944 KiB
Current children cumulated memory: 78068 KiB

[startup+1.50026 s]
/proc/loadavg: 4.15 4.12 4.06 5/240 259569
/proc/meminfo: memFree=123885216/131655788 swapFree=131071472/131071996
[pid=259568] ppid=259565 vsize=126292 memory=111336 CPUtime=1.48 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 26625 0 0 0 140 8 0 0 20 0 1 0 47335420 129323008 27834 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 31573 27834 2445 2403 0 28683 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 126292 KiB
Current children cumulated memory: 111336 KiB

[startup+3.11253 s]
/proc/loadavg: 4.15 4.12 4.06 5/242 259601
/proc/meminfo: memFree=123558960/131655788 swapFree=131071472/131071996
[pid=259568] ppid=259565 vsize=126732 memory=111600 CPUtime=3.09 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 26718 0 0 0 301 8 0 0 20 0 1 0 47335420 129773568 27900 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 31683 27900 2445 2403 0 28793 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 126732 KiB
Current children cumulated memory: 111600 KiB

[startup+6.30029 s]
/proc/loadavg: 4.14 4.12 4.06 5/242 259602
/proc/meminfo: memFree=123249300/131655788 swapFree=131071472/131071996
[pid=259568] ppid=259565 vsize=127132 memory=112128 CPUtime=6.27 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 26819 0 0 0 619 8 0 0 20 0 1 0 47335420 130183168 28032 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 31783 28032 2445 2403 0 28893 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 127132 KiB
Current children cumulated memory: 112128 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=259568] ppid=259565 vsize=136852 memory=117600 CPUtime=12.65 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 28482 0 0 0 1257 8 0 0 20 0 1 0 47335420 140136448 29400 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 34213 29400 2477 2403 0 31323 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 136852 KiB
Current children cumulated memory: 117600 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.11 4.06 5/242 259606
/proc/meminfo: memFree=123187824/131655788 swapFree=131071472/131071996
[pid=259568] ppid=259565 vsize=168944 memory=142416 CPUtime=25.41 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 34717 0 0 0 2532 9 0 0 20 0 1 0 47335420 172998656 35604 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 42236 35604 2477 2403 0 39346 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 168944 KiB
Current children cumulated memory: 142416 KiB

[startup+51.1127 s]
/proc/loadavg: 4.14 4.12 4.07 5/242 259609
/proc/meminfo: memFree=123136860/131655788 swapFree=131071472/131071996
[pid=259568] ppid=259565 vsize=237664 memory=190464 CPUtime=50.95 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 46684 0 0 0 5081 14 0 0 20 0 1 0 47335420 243367936 47616 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 59416 47616 2477 2403 0 56526 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 237664 KiB
Current children cumulated memory: 190464 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=259568] ppid=259565 vsize=257384 memory=190464 CPUtime=102 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 46721 0 0 0 10181 19 0 0 20 0 1 0 47335420 263561216 47616 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 64346 47616 2477 2403 0 61456 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 257384 KiB
Current children cumulated memory: 190464 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=259568] ppid=259565 vsize=283400 memory=216540 CPUtime=161.85 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 54847 0 0 0 16162 23 0 0 20 0 1 0 47335420 290201600 54135 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 70850 54135 2477 2403 0 67960 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 283400 KiB
Current children cumulated memory: 216540 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/242 259641
/proc/meminfo: memFree=122716060/131655788 swapFree=131071472/131071996
[pid=259568] ppid=259565 vsize=283400 memory=216748 CPUtime=221.67 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 54977 0 0 0 22143 24 0 0 20 0 1 0 47335420 290201600 54187 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 70850 54187 2477 2403 0 67960 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 283400 KiB
Current children cumulated memory: 216748 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=259568] ppid=259565 vsize=283400 memory=218108 CPUtime=281.51 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 55032 0 0 0 28126 25 0 0 20 0 1 0 47335420 290201600 54527 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 70850 54527 2477 2403 0 67960 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 283400 KiB
Current children cumulated memory: 218108 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.08 5/241 259662
/proc/meminfo: memFree=122681764/131655788 swapFree=131071472/131071996
[pid=259568] ppid=259565 vsize=283400 memory=234592 CPUtime=341.33 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 55718 0 0 0 34107 26 0 0 20 0 1 0 47335420 290201600 58648 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 70850 58648 2477 2403 0 67960 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 283400 KiB
Current children cumulated memory: 234592 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=259568] ppid=259565 vsize=318576 memory=280164 CPUtime=401.16 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 58488 0 0 0 40090 26 0 0 20 0 1 0 47335420 326221824 70041 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 79644 70041 2477 2403 0 76754 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 318576 KiB
Current children cumulated memory: 280164 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.09 6/243 259687
/proc/meminfo: memFree=122591792/131655788 swapFree=131071472/131071996
[pid=259568] ppid=259565 vsize=319164 memory=299900 CPUtime=461 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 58705 0 0 0 46074 26 0 0 20 0 1 0 47335420 326823936 74975 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0

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

/proc/loadavg: 4.14 4.19 4.18 5/244 261383
/proc/meminfo: memFree=122466668/131655788 swapFree=131071472/131071996
[pid=259568] ppid=259565 vsize=304928 memory=287480 CPUtime=3213.75 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 82372 0 0 0 314664 6711 0 0 20 0 1 0 47335420 312246272 71870 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 76232 71870 2508 2403 0 73342 0
Current children cumulated CPU time: 3213.75 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 287480 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=259568] ppid=259565 vsize=304928 memory=287480 CPUtime=3273.62 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 82377 0 0 0 320355 7007 0 0 20 0 1 0 47335420 312246272 71870 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 76232 71870 2508 2403 0 73342 0
Current children cumulated CPU time: 3273.62 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 287480 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=259568] ppid=259565 vsize=304928 memory=287480 CPUtime=3333.49 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 82382 0 0 0 326063 7286 0 0 20 0 1 0 47335420 312246272 71870 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 76232 71870 2508 2403 0 73342 0
Current children cumulated CPU time: 3333.49 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 287480 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=259568] ppid=259565 vsize=304928 memory=287480 CPUtime=3393.35 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 82387 0 0 0 331762 7573 0 0 20 0 1 0 47335420 312246272 71870 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 76232 71870 2508 2403 0 73342 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 287480 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=259568] ppid=259565 vsize=304928 memory=287480 CPUtime=3453.22 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 82392 0 0 0 337468 7854 0 0 20 0 1 0 47335420 312246272 71870 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 76232 71870 2508 2403 0 73342 0
Current children cumulated CPU time: 3453.22 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 287480 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=259568] ppid=259565 vsize=304928 memory=287480 CPUtime=3513.09 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 82397 0 0 0 343181 8128 0 0 20 0 1 0 47335420 312246272 71870 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 76232 71870 2508 2403 0 73342 0
Current children cumulated CPU time: 3513.09 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 287480 KiB

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

# cumulated CPU time of all completed processes:  user=3474.74 s, system=83.2648 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=259568] ppid=259565 vsize=304928 memory=287480 CPUtime=3523.57 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 82401 0 0 0 344183 8174 0 0 20 0 1 0 47335420 312246272 71870 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 76232 71870 2508 2403 0 73342 0
Current children cumulated CPU time: 3523.57 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 287480 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=259568] ppid=259565 vsize=304928 memory=287480 CPUtime=3536.34 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 82401 0 0 0 345407 8227 0 0 20 0 1 0 47335420 312246272 71870 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 76232 71870 2508 2403 0 73342 0
Current children cumulated CPU time: 3536.34 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 287480 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=259568] ppid=259565 vsize=304928 memory=287480 CPUtime=3549.11 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 82401 0 0 0 346628 8283 0 0 20 0 1 0 47335420 312246272 71870 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 76232 71870 2508 2403 0 73342 0
Current children cumulated CPU time: 3549.11 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 287480 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=259568] ppid=259565 vsize=304928 memory=287480 CPUtime=3552.3 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 82401 0 0 0 346932 8298 0 0 20 0 1 0 47335420 312246272 71870 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 76232 71870 2508 2403 0 73342 0
Current children cumulated CPU time: 3552.3 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 287480 KiB

[startup+3564.8 s]
/proc/loadavg: 4.11 4.14 4.16 5/243 261446
/proc/meminfo: memFree=122462240/131655788 swapFree=131071472/131071996
[pid=259568] ppid=259565 vsize=304928 memory=287480 CPUtime=3555.49 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 82402 0 0 0 347236 8313 0 0 20 0 1 0 47335420 312246272 71870 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 76232 71870 2508 2403 0 73342 0
Current children cumulated CPU time: 3555.49 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 287480 KiB

[startup+3566.4 s]
/proc/loadavg: 4.11 4.14 4.16 4/238 261454
/proc/meminfo: memFree=122601828/131655788 swapFree=131071472/131071996
[pid=259568] ppid=259565 vsize=304928 memory=287480 CPUtime=3557.09 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 82402 0 0 0 347389 8320 0 0 20 0 1 0 47335420 312246272 71870 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 76232 71870 2508 2403 0 73342 0
Current children cumulated CPU time: 3557.09 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 287480 KiB

[startup+3566.8 s]
/proc/loadavg: 4.11 4.14 4.16 4/238 261454
/proc/meminfo: memFree=122601828/131655788 swapFree=131071472/131071996
[pid=259568] ppid=259565 vsize=304928 memory=287480 CPUtime=3557.49 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 82402 0 0 0 347427 8322 0 0 20 0 1 0 47335420 312246272 71870 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 76232 71870 2508 2403 0 73342 0
Current children cumulated CPU time: 3557.49 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 287480 KiB

[startup+3567.2 s]
/proc/loadavg: 4.18 4.15 4.17 5/243 261492
/proc/meminfo: memFree=122536444/131655788 swapFree=131071472/131071996
[pid=259568] ppid=259565 vsize=304928 memory=287480 CPUtime=3557.89 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 82402 0 0 0 347464 8325 0 0 20 0 1 0 47335420 312246272 71870 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 76232 71870 2508 2403 0 73342 0
Current children cumulated CPU time: 3557.89 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 287480 KiB

[startup+3567.3 s]
/proc/loadavg: 4.18 4.15 4.17 5/243 261492
/proc/meminfo: memFree=122536444/131655788 swapFree=131071472/131071996
[pid=259568] ppid=259565 vsize=304928 memory=287480 CPUtime=3557.99 cores=5,7
/proc/259568/stat : 259568 (LS-MabS) R 259565 259568 256960 0 -1 4194304 82402 0 0 0 347473 8326 0 0 20 0 1 0 47335420 312246272 71870 134679101440 4194304 14036057 140722330300208 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 25423872 140722330305569 140722330305670 140722330305670 140722330312686 0
/proc/259568/statm: 76232 71870 2508 2403 0 73342 0
Current children cumulated CPU time: 3557.99 s
Current children cumulated vsize: 304928 KiB
Current children cumulated memory: 287480 KiB

Child status: 0

Real time (s): 3567.31
CPU time (s): 3558.01
CPU user time (s): 3474.74
CPU system time (s): 83.2648
CPU usage (%): 99.7393
Max. virtual memory (cumulated for all children) (KiB): 467744
Max. memory (cumulated for all children) (KiB): 381784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3474.74
system time used= 83.2648
maximum resident set size= 381784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82407
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= 26
involuntary context switches= 1240


# summary of solver processes directly reported to runsolver:
#   pid: 259568
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3474.74
#   total CPU system time (s): 83.2648

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2743 second user time and 32.5555 second system time

The end