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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459223-1722831212/watcher-4459223-1722831212 -o /tmp/evaluation-result-4459223-1722831212/solver-4459223-1722831212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722827646-274080 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4459223-1722831212.opb -t 3558 -s 338526510 

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

solver pid=276156, runsolver pid=276153

[startup+0.100098 s]*
/proc/loadavg: 4.09 4.12 4.17 5/244 276157
/proc/meminfo: memFree=124659248/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=23712 memory=10828 CPUtime=0.1 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 1504 0 0 0 10 0 0 0 20 0 1 0 49717745 24281088 2707 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 5928 2707 1105 2753 0 2581 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23712 KiB
Current children cumulated memory: 10828 KiB

[startup+0.212389 s]*
/proc/loadavg: 4.09 4.12 4.17 6/244 276157
/proc/meminfo: memFree=124648296/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=23932 memory=11092 CPUtime=0.21 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 1545 0 0 0 21 0 0 0 20 0 1 0 49717745 24506368 2773 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 5983 2773 1105 2753 0 2636 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 23932 KiB
Current children cumulated memory: 11092 KiB

[startup+0.312422 s]*
/proc/loadavg: 4.09 4.12 4.17 5/244 276157
/proc/meminfo: memFree=124644224/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=23932 memory=11092 CPUtime=0.31 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 1545 0 0 0 31 0 0 0 20 0 1 0 49717745 24506368 2773 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 5983 2773 1105 2753 0 2636 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 23932 KiB
Current children cumulated memory: 11092 KiB

[startup+0.700301 s]
/proc/loadavg: 4.09 4.12 4.17 5/244 276157
/proc/meminfo: memFree=124625264/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=23932 memory=11092 CPUtime=0.69 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 1545 0 0 0 69 0 0 0 20 0 1 0 49717745 24506368 2773 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 5983 2773 1105 2753 0 2636 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 23932 KiB
Current children cumulated memory: 11092 KiB

[startup+1.50033 s]
/proc/loadavg: 4.09 4.12 4.17 6/244 276157
/proc/meminfo: memFree=124544440/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=58440 memory=50448 CPUtime=1.48 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 9934 0 0 0 146 2 0 0 20 0 1 0 49717745 59842560 12612 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 14610 12612 2817 2753 0 11263 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58440 KiB
Current children cumulated memory: 50448 KiB

[startup+3.11245 s]
/proc/loadavg: 4.16 4.14 4.17 5/244 276157
/proc/meminfo: memFree=124408532/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=71092 memory=62208 CPUtime=3.09 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 15028 0 0 0 307 2 0 0 20 0 1 0 49717745 72798208 15552 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 17773 15552 2833 2753 0 14426 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 71092 KiB
Current children cumulated memory: 62208 KiB

[startup+6.30028 s]
/proc/loadavg: 4.16 4.14 4.17 5/244 276157
/proc/meminfo: memFree=124167212/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=79760 memory=69276 CPUtime=6.27 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 16854 0 0 0 624 3 0 0 20 0 1 0 49717745 81674240 17319 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 19940 17319 2833 2753 0 16593 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 79760 KiB
Current children cumulated memory: 69276 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.13 4.17 5/244 276158
/proc/meminfo: memFree=123923964/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=87948 memory=74548 CPUtime=12.65 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 18117 0 0 0 1262 3 0 0 20 0 1 0 49717745 90058752 18637 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 21987 18637 2833 2753 0 18640 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 87948 KiB
Current children cumulated memory: 74548 KiB

[startup+25.5004 s]
/proc/loadavg: 4.12 4.13 4.17 5/244 276160
/proc/meminfo: memFree=123856676/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=95840 memory=82516 CPUtime=25.42 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 20543 0 0 0 2539 3 0 0 20 0 1 0 49717745 98140160 20629 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 23960 20629 2833 2753 0 20613 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 95840 KiB
Current children cumulated memory: 82516 KiB

[startup+51.1122 s]
/proc/loadavg: 4.24 4.15 4.18 5/244 276165
/proc/meminfo: memFree=121352952/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=95840 memory=82516 CPUtime=50.96 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 20547 0 0 0 5093 3 0 0 20 0 1 0 49717745 98140160 20629 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 23960 20629 2833 2753 0 20613 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 95840 KiB
Current children cumulated memory: 82516 KiB

[startup+102.3 s]
/proc/loadavg: 4.84 4.33 4.24 5/244 276174
/proc/meminfo: memFree=121316684/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=111188 memory=91148 CPUtime=102.02 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 22697 0 0 0 10199 3 0 0 20 0 1 0 49717745 113856512 22787 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 27797 22787 2833 2753 0 24450 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 111188 KiB
Current children cumulated memory: 91148 KiB

[startup+162.3 s]
/proc/loadavg: 4.78 4.39 4.26 5/241 276185
/proc/meminfo: memFree=120818428/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=128084 memory=100096 CPUtime=161.86 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 24975 0 0 0 16182 4 0 0 20 0 1 0 49717745 131158016 25024 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 32021 25024 2833 2753 0 28674 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 128084 KiB
Current children cumulated memory: 100096 KiB

[startup+222.3 s]
/proc/loadavg: 5.14 4.56 4.33 5/241 276195
/proc/meminfo: memFree=120473600/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=139336 memory=110380 CPUtime=221.7 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 28166 0 0 0 22166 4 0 0 20 0 1 0 49717745 142680064 27595 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 34834 27595 2833 2753 0 31487 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 139336 KiB
Current children cumulated memory: 110380 KiB

[startup+282.3 s]
/proc/loadavg: 4.72 4.56 4.35 5/241 276208
/proc/meminfo: memFree=120379204/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=149236 memory=120312 CPUtime=281.55 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 31261 0 0 0 28150 5 0 0 20 0 1 0 49717745 152817664 30078 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 37309 30078 2833 2753 0 33962 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 149236 KiB
Current children cumulated memory: 120312 KiB

[startup+342.3 s]
/proc/loadavg: 4.31 4.47 4.33 5/241 276219
/proc/meminfo: memFree=118817844/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=167836 memory=137228 CPUtime=341.37 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 35541 0 0 0 34132 5 0 0 20 0 1 0 49717745 171864064 34307 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 41959 34307 2849 2753 0 38612 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 167836 KiB
Current children cumulated memory: 137228 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.40 4.31 5/243 276234
/proc/meminfo: memFree=118796068/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=167200 memory=137492 CPUtime=401.2 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 35993 0 0 0 40114 6 0 0 20 0 1 0 49717745 171212800 34373 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 41800 34373 2849 2753 0 38453 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 167200 KiB
Current children cumulated memory: 137492 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.34 4.29 5/243 276244
/proc/meminfo: memFree=118776316/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=177628 memory=146724 CPUtime=461.02 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 38309 0 0 0 46096 6 0 0 20 0 1 0 49717745 181891072 36681 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0

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

/proc/loadavg: 4.14 4.16 4.16 5/241 277927
/proc/meminfo: memFree=117552500/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=202104 memory=189424 CPUtime=3215.31 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 47607 0 0 0 303875 17656 0 0 20 0 1 0 49717745 206954496 47356 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 50526 47356 2849 2753 0 47179 0
Current children cumulated CPU time: 3215.31 s
Current children cumulated vsize: 202104 KiB
Current children cumulated memory: 189424 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.16 4.16 5/241 277938
/proc/meminfo: memFree=117552008/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=202104 memory=189424 CPUtime=3275.21 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 47609 0 0 0 309160 18361 0 0 20 0 1 0 49717745 206954496 47356 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 50526 47356 2849 2753 0 47179 0
Current children cumulated CPU time: 3275.21 s
Current children cumulated vsize: 202104 KiB
Current children cumulated memory: 189424 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/241 277949
/proc/meminfo: memFree=117550040/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=202104 memory=189424 CPUtime=3335.11 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 47611 0 0 0 314429 19082 0 0 20 0 1 0 49717745 206954496 47356 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 50526 47356 2849 2753 0 47179 0
Current children cumulated CPU time: 3335.11 s
Current children cumulated vsize: 202104 KiB
Current children cumulated memory: 189424 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/244 277966
/proc/meminfo: memFree=117549096/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=202104 memory=189424 CPUtime=3395.01 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 47613 0 0 0 319696 19805 0 0 20 0 1 0 49717745 206954496 47356 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 50526 47356 2849 2753 0 47179 0
Current children cumulated CPU time: 3395.01 s
Current children cumulated vsize: 202104 KiB
Current children cumulated memory: 189424 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/244 277976
/proc/meminfo: memFree=117547740/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=202104 memory=189424 CPUtime=3454.91 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 47615 0 0 0 324956 20535 0 0 20 0 1 0 49717745 206954496 47356 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 50526 47356 2849 2753 0 47179 0
Current children cumulated CPU time: 3454.91 s
Current children cumulated vsize: 202104 KiB
Current children cumulated memory: 189424 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/244 277986
/proc/meminfo: memFree=117535332/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=202104 memory=189424 CPUtime=3514.82 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 47617 0 0 0 330190 21292 0 0 20 0 1 0 49717745 206954496 47356 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 50526 47356 2849 2753 0 47179 0
Current children cumulated CPU time: 3514.82 s
Current children cumulated vsize: 202104 KiB
Current children cumulated memory: 189424 KiB

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

# cumulated CPU time of all completed processes:  user=3339.73 s, system=218.274 s

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

[startup+3532.8 s]
/proc/loadavg: 4.08 4.12 4.15 5/244 277988
/proc/meminfo: memFree=117534492/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=202104 memory=189424 CPUtime=3525.3 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 47617 0 0 0 331109 21421 0 0 20 0 1 0 49717745 206954496 47356 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 50526 47356 2849 2753 0 47179 0
Current children cumulated CPU time: 3525.3 s
Current children cumulated vsize: 202104 KiB
Current children cumulated memory: 189424 KiB

[startup+3545.6 s]
/proc/loadavg: 4.13 4.13 4.15 5/244 277990
/proc/meminfo: memFree=117533208/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=202104 memory=189424 CPUtime=3538.08 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 47617 0 0 0 332226 21582 0 0 20 0 1 0 49717745 206954496 47356 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 50526 47356 2849 2753 0 47179 0
Current children cumulated CPU time: 3538.08 s
Current children cumulated vsize: 202104 KiB
Current children cumulated memory: 189424 KiB

[startup+3558.4 s]
/proc/loadavg: 4.10 4.12 4.15 5/244 277994
/proc/meminfo: memFree=117533420/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=202104 memory=189424 CPUtime=3550.85 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 47617 0 0 0 333348 21737 0 0 20 0 1 0 49717745 206954496 47356 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 50526 47356 2849 2753 0 47179 0
Current children cumulated CPU time: 3550.85 s
Current children cumulated vsize: 202104 KiB
Current children cumulated memory: 189424 KiB

[startup+3561.6 s]
/proc/loadavg: 4.10 4.12 4.15 5/244 277994
/proc/meminfo: memFree=117531652/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=202104 memory=189424 CPUtime=3554.05 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 47617 0 0 0 333625 21780 0 0 20 0 1 0 49717745 206954496 47356 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 50526 47356 2849 2753 0 47179 0
Current children cumulated CPU time: 3554.05 s
Current children cumulated vsize: 202104 KiB
Current children cumulated memory: 189424 KiB

[startup+3563.2 s]
/proc/loadavg: 4.09 4.12 4.14 5/244 277994
/proc/meminfo: memFree=117531652/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=202104 memory=189424 CPUtime=3555.65 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 47617 0 0 0 333766 21799 0 0 20 0 1 0 49717745 206954496 47356 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 50526 47356 2849 2753 0 47179 0
Current children cumulated CPU time: 3555.65 s
Current children cumulated vsize: 202104 KiB
Current children cumulated memory: 189424 KiB

[startup+3564.8 s]
/proc/loadavg: 4.09 4.12 4.14 5/244 277994
/proc/meminfo: memFree=117531652/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=202104 memory=189424 CPUtime=3557.25 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 47617 0 0 0 333907 21818 0 0 20 0 1 0 49717745 206954496 47356 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 50526 47356 2849 2753 0 47179 0
Current children cumulated CPU time: 3557.25 s
Current children cumulated vsize: 202104 KiB
Current children cumulated memory: 189424 KiB

[startup+3565.2 s]
/proc/loadavg: 4.09 4.12 4.14 5/244 277994
/proc/meminfo: memFree=117531652/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=202104 memory=189424 CPUtime=3557.64 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 47619 0 0 0 333943 21821 0 0 20 0 1 0 49717745 206954496 47356 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 50526 47356 2849 2753 0 47179 0
Current children cumulated CPU time: 3557.64 s
Current children cumulated vsize: 202104 KiB
Current children cumulated memory: 189424 KiB

[startup+3565.4 s]
/proc/loadavg: 4.09 4.12 4.14 5/244 277994
/proc/meminfo: memFree=117531652/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=202104 memory=189424 CPUtime=3557.84 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 47619 0 0 0 333960 21824 0 0 20 0 1 0 49717745 206954496 47356 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 50526 47356 2849 2753 0 47179 0
Current children cumulated CPU time: 3557.84 s
Current children cumulated vsize: 202104 KiB
Current children cumulated memory: 189424 KiB

[startup+3565.5 s]
/proc/loadavg: 4.09 4.12 4.14 5/244 277994
/proc/meminfo: memFree=117531652/131655788 swapFree=131071996/131071996
[pid=276156] ppid=276153 vsize=202104 memory=189424 CPUtime=3557.95 cores=4,6
/proc/276156/stat : 276156 (LS-MabSP) R 276153 276156 274069 0 -1 4194304 47619 0 0 0 333969 21826 0 0 20 0 1 0 49717745 206954496 47356 134679101440 4194304 15467897 140737459517216 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 55271424 140737459520543 140737459520645 140737459520645 140737459527661 0
/proc/276156/statm: 50526 47356 2849 2753 0 47179 0
Current children cumulated CPU time: 3557.95 s
Current children cumulated vsize: 202104 KiB
Current children cumulated memory: 189424 KiB

Child status: 0

Real time (s): 3565.55
CPU time (s): 3558.01
CPU user time (s): 3339.73
CPU system time (s): 218.274
CPU usage (%): 99.7883
Max. virtual memory (cumulated for all children) (KiB): 219188
Max. memory (cumulated for all children) (KiB): 203268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3339.73
system time used= 218.274
maximum resident set size= 203268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47650
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= 1509


# summary of solver processes directly reported to runsolver:
#   pid: 276156
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3339.73
#   total CPU system time (s): 218.274

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6706 second user time and 32.371 second system time

The end