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

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

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
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=259997, runsolver pid=259994

[startup+0.100257 s]*
/proc/loadavg: 4.09 4.11 4.04 5/254 260009
/proc/meminfo: memFree=129243672/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=57564 memory=40128 CPUtime=0.09 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 8174 0 0 0 8 1 0 0 20 0 1 0 47567168 58945536 10032 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 14391 10032 2077 2403 0 11501 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57564 KiB
Current children cumulated memory: 40128 KiB

[startup+0.205382 s]*
/proc/loadavg: 4.09 4.11 4.04 5/254 260009
/proc/meminfo: memFree=129125852/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=130520 memory=112784 CPUtime=0.2 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 26508 0 0 0 16 4 0 0 20 0 1 0 47567168 133652480 28196 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 32630 28196 2237 2403 0 29740 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 130520 KiB
Current children cumulated memory: 112784 KiB

[startup+0.305557 s]*
/proc/loadavg: 4.09 4.11 4.04 5/254 260009
/proc/meminfo: memFree=129065428/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=135840 memory=117308 CPUtime=0.29 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 27545 0 0 0 25 4 0 0 20 0 1 0 47567168 139100160 29327 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 33960 29327 2317 2403 0 31070 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 135840 KiB
Current children cumulated memory: 117308 KiB

[startup+0.700207 s]
/proc/loadavg: 4.09 4.11 4.04 5/254 260009
/proc/meminfo: memFree=129010272/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=159836 memory=141880 CPUtime=0.69 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 36746 0 0 0 63 6 0 0 20 0 1 0 47567168 163672064 35470 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 39959 35470 2349 2403 0 37069 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 159836 KiB
Current children cumulated memory: 141880 KiB

[startup+1.50018 s]
/proc/loadavg: 4.09 4.11 4.04 4/245 260034
/proc/meminfo: memFree=128992304/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=237272 memory=214760 CPUtime=1.48 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 57389 0 0 0 139 9 0 0 20 0 1 0 47567168 242966528 53690 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 59318 53690 2445 2403 0 56428 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 237272 KiB
Current children cumulated memory: 214760 KiB

[startup+3.10538 s]
/proc/loadavg: 4.09 4.11 4.04 5/256 260087
/proc/meminfo: memFree=128153172/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=237456 memory=215280 CPUtime=3.08 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 57500 0 0 0 299 9 0 0 20 0 1 0 47567168 243154944 53820 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 59364 53820 2445 2403 0 56474 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 237456 KiB
Current children cumulated memory: 215280 KiB

[startup+6.30021 s]
/proc/loadavg: 4.08 4.11 4.04 5/256 260089
/proc/meminfo: memFree=128031772/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=238408 memory=215804 CPUtime=6.27 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 57649 0 0 0 618 9 0 0 20 0 1 0 47567168 244129792 53951 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 59602 53951 2445 2403 0 56712 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 238408 KiB
Current children cumulated memory: 215804 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.12 4.04 5/256 260089
/proc/meminfo: memFree=128007620/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=239364 memory=216852 CPUtime=12.65 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 57910 0 0 0 1256 9 0 0 20 0 1 0 47567168 245108736 54213 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 59841 54213 2445 2403 0 56951 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 239364 KiB
Current children cumulated memory: 216852 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.12 4.04 5/256 260093
/proc/meminfo: memFree=127622224/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=239364 memory=217112 CPUtime=25.41 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 57914 0 0 0 2532 9 0 0 20 0 1 0 47567168 245108736 54278 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 59841 54278 2445 2403 0 56951 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 239364 KiB
Current children cumulated memory: 217112 KiB

[startup+51.1055 s]
/proc/loadavg: 4.08 4.11 4.04 5/256 260096
/proc/meminfo: memFree=127782172/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=239364 memory=218760 CPUtime=50.94 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 57923 0 0 0 5084 10 0 0 20 0 1 0 47567168 245108736 54690 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 59841 54690 2445 2403 0 56951 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 239364 KiB
Current children cumulated memory: 218760 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.04 5/252 260104
/proc/meminfo: memFree=127533224/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=266544 memory=240868 CPUtime=101.99 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 62593 0 0 0 10188 11 0 0 20 0 1 0 47567168 272941056 60217 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 66636 60217 2477 2403 0 63746 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 266544 KiB
Current children cumulated memory: 240868 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/251 260114
/proc/meminfo: memFree=127252880/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=282360 memory=259356 CPUtime=161.83 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 66395 0 0 0 16172 11 0 0 20 0 1 0 47567168 289136640 64839 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 70590 64839 2477 2403 0 67700 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 282360 KiB
Current children cumulated memory: 259356 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.04 5/251 260126
/proc/meminfo: memFree=127248380/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=282360 memory=259356 CPUtime=221.66 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 66419 0 0 0 22155 11 0 0 20 0 1 0 47567168 289136640 64839 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 70590 64839 2477 2403 0 67700 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 282360 KiB
Current children cumulated memory: 259356 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.11 4.05 5/252 260137
/proc/meminfo: memFree=127237236/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=282360 memory=259356 CPUtime=281.49 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 66443 0 0 0 28138 11 0 0 20 0 1 0 47567168 289136640 64839 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 70590 64839 2477 2403 0 67700 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 282360 KiB
Current children cumulated memory: 259356 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/252 260147
/proc/meminfo: memFree=127231360/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=282360 memory=259356 CPUtime=341.33 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 66468 0 0 0 34122 11 0 0 20 0 1 0 47567168 289136640 64839 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 70590 64839 2477 2403 0 67700 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 282360 KiB
Current children cumulated memory: 259356 KiB

[startup+402.3 s]
/proc/loadavg: 4.21 4.14 4.07 5/254 260162
/proc/meminfo: memFree=127230468/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=282360 memory=259356 CPUtime=401.15 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 66508 0 0 0 40104 11 0 0 20 0 1 0 47567168 289136640 64839 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 70590 64839 2477 2403 0 67700 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 282360 KiB
Current children cumulated memory: 259356 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.07 5/254 260173
/proc/meminfo: memFree=127222112/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=294368 memory=266692 CPUtime=460.99 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 68196 0 0 0 46088 11 0 0 20 0 1 0 47567168 301432832 66673 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0

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

/proc/loadavg: 4.14 4.13 4.10 5/251 261838
/proc/meminfo: memFree=127162272/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=214548 memory=198604 CPUtime=3154.94 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 77500 0 0 0 311026 4468 0 0 20 0 1 0 47567168 219697152 49651 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 53637 49651 2764 2403 0 50747 0
Current children cumulated CPU time: 3154.94 s
Current children cumulated vsize: 214548 KiB
Current children cumulated memory: 198604 KiB

[startup+3222.3 s]
/proc/loadavg: 4.46 4.20 4.12 5/251 261850
/proc/meminfo: memFree=127161948/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=214548 memory=198604 CPUtime=3214.84 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 77511 0 0 0 316769 4715 0 0 20 0 1 0 47567168 219697152 49651 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 53637 49651 2764 2403 0 50747 0
Current children cumulated CPU time: 3214.84 s
Current children cumulated vsize: 214548 KiB
Current children cumulated memory: 198604 KiB

[startup+3282.3 s]
/proc/loadavg: 4.39 4.23 4.13 5/251 261860
/proc/meminfo: memFree=127161612/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=214548 memory=198604 CPUtime=3274.73 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 77522 0 0 0 322560 4913 0 0 20 0 1 0 47567168 219697152 49651 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 53637 49651 2764 2403 0 50747 0
Current children cumulated CPU time: 3274.73 s
Current children cumulated vsize: 214548 KiB
Current children cumulated memory: 198604 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.20 4.13 5/251 261870
/proc/meminfo: memFree=127161304/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=214548 memory=198604 CPUtime=3334.62 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 77533 0 0 0 328379 5083 0 0 20 0 1 0 47567168 219697152 49651 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 53637 49651 2764 2403 0 50747 0
Current children cumulated CPU time: 3334.62 s
Current children cumulated vsize: 214548 KiB
Current children cumulated memory: 198604 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.17 4.12 5/254 261885
/proc/meminfo: memFree=127160936/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=214548 memory=198604 CPUtime=3394.51 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 77544 0 0 0 334170 5281 0 0 20 0 1 0 47567168 219697152 49651 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 53637 49651 2764 2403 0 50747 0
Current children cumulated CPU time: 3394.51 s
Current children cumulated vsize: 214548 KiB
Current children cumulated memory: 198604 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/254 261896
/proc/meminfo: memFree=127160624/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=214548 memory=198604 CPUtime=3454.4 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 77555 0 0 0 339980 5460 0 0 20 0 1 0 47567168 219697152 49651 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 53637 49651 2764 2403 0 50747 0
Current children cumulated CPU time: 3454.4 s
Current children cumulated vsize: 214548 KiB
Current children cumulated memory: 198604 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.12 5/254 261906
/proc/meminfo: memFree=127160336/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=214548 memory=198604 CPUtime=3514.3 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 77566 0 0 0 345797 5633 0 0 20 0 1 0 47567168 219697152 49651 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 53637 49651 2764 2403 0 50747 0
Current children cumulated CPU time: 3514.3 s
Current children cumulated vsize: 214548 KiB
Current children cumulated memory: 198604 KiB

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

# cumulated CPU time of all completed processes:  user=3500.43 s, system=57.5805 s

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

[startup+3532.8 s]
/proc/loadavg: 4.09 4.15 4.11 5/254 261908
/proc/meminfo: memFree=127160252/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=214548 memory=198604 CPUtime=3524.78 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 77566 0 0 0 346818 5660 0 0 20 0 1 0 47567168 219697152 49651 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 53637 49651 2764 2403 0 50747 0
Current children cumulated CPU time: 3524.78 s
Current children cumulated vsize: 214548 KiB
Current children cumulated memory: 198604 KiB

[startup+3545.6 s]
/proc/loadavg: 4.14 4.16 4.12 5/254 261912
/proc/meminfo: memFree=127160088/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=214548 memory=198604 CPUtime=3537.56 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 77566 0 0 0 348058 5698 0 0 20 0 1 0 47567168 219697152 49651 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 53637 49651 2764 2403 0 50747 0
Current children cumulated CPU time: 3537.56 s
Current children cumulated vsize: 214548 KiB
Current children cumulated memory: 198604 KiB

[startup+3558.4 s]
/proc/loadavg: 4.12 4.15 4.11 5/254 261913
/proc/meminfo: memFree=127160048/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=214548 memory=198604 CPUtime=3550.33 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 77566 0 0 0 349299 5734 0 0 20 0 1 0 47567168 219697152 49651 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 53637 49651 2764 2403 0 50747 0
Current children cumulated CPU time: 3550.33 s
Current children cumulated vsize: 214548 KiB
Current children cumulated memory: 198604 KiB

[startup+3561.6 s]
/proc/loadavg: 4.11 4.15 4.11 5/254 261913
/proc/meminfo: memFree=127160056/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=214548 memory=198604 CPUtime=3553.54 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 77566 0 0 0 349610 5744 0 0 20 0 1 0 47567168 219697152 49651 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 53637 49651 2764 2403 0 50747 0
Current children cumulated CPU time: 3553.54 s
Current children cumulated vsize: 214548 KiB
Current children cumulated memory: 198604 KiB

[startup+3563.2 s]
/proc/loadavg: 4.11 4.15 4.11 5/254 261913
/proc/meminfo: memFree=127160056/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=214548 memory=198604 CPUtime=3555.13 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 77566 0 0 0 349764 5749 0 0 20 0 1 0 47567168 219697152 49651 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 53637 49651 2764 2403 0 50747 0
Current children cumulated CPU time: 3555.13 s
Current children cumulated vsize: 214548 KiB
Current children cumulated memory: 198604 KiB

[startup+3564.8 s]
/proc/loadavg: 4.11 4.15 4.11 5/254 261913
/proc/meminfo: memFree=127160056/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=214548 memory=198604 CPUtime=3556.73 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 77566 0 0 0 349919 5754 0 0 20 0 1 0 47567168 219697152 49651 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 53637 49651 2764 2403 0 50747 0
Current children cumulated CPU time: 3556.73 s
Current children cumulated vsize: 214548 KiB
Current children cumulated memory: 198604 KiB

[startup+3565.6 s]
/proc/loadavg: 4.10 4.14 4.11 5/254 261915
/proc/meminfo: memFree=127160056/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=214548 memory=198604 CPUtime=3557.53 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 77566 0 0 0 349997 5756 0 0 20 0 1 0 47567168 219697152 49651 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 53637 49651 2764 2403 0 50747 0
Current children cumulated CPU time: 3557.53 s
Current children cumulated vsize: 214548 KiB
Current children cumulated memory: 198604 KiB

[startup+3566 s]*
/proc/loadavg: 4.10 4.14 4.11 5/254 261961
/proc/meminfo: memFree=127366996/131524600 swapFree=131071996/131071996
[pid=259997] ppid=259994 vsize=214548 memory=198604 CPUtime=3557.93 cores=1,3
/proc/259997/stat : 259997 (LS-MabS) R 259994 259997 257466 0 -1 4194304 77576 0 0 0 350036 5757 0 0 20 0 1 0 47567168 219697152 49651 134679101440 4194304 14036057 140725290258144 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37908480 140725290259493 140725290259594 140725290259594 140725290266606 0
/proc/259997/statm: 53637 49651 2764 2403 0 50747 0
Current children cumulated CPU time: 3557.93 s
Current children cumulated vsize: 214548 KiB
Current children cumulated memory: 198604 KiB

Child status: 0

Real time (s): 3566.08
CPU time (s): 3558.01
CPU user time (s): 3500.43
CPU system time (s): 57.5805
CPU usage (%): 99.7738
Max. virtual memory (cumulated for all children) (KiB): 349132
Max. memory (cumulated for all children) (KiB): 313184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3500.43
system time used= 57.5805
maximum resident set size= 313184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77585
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= 28
involuntary context switches= 967


# summary of solver processes directly reported to runsolver:
#   pid: 259997
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3500.43
#   total CPU system time (s): 57.5805

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.97119 second user time and 14.9786 second system time

The end