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: 63931 MiB (58532 MiB free)
  memory of node 1: 64510 MiB (63783 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427943-1722809650/watcher-4427943-1722809650 -o /tmp/evaluation-result-4427943-1722809650/solver-4427943-1722809650 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722806084-259287 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427943-1722809650.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
Current StackSize limit: 8192 KiB

solver pid=261828, runsolver pid=261825

[startup+0.100607 s]*
/proc/loadavg: 4.10 4.09 4.02 5/255 261837
/proc/meminfo: memFree=125216212/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=24972 memory=12668 CPUtime=0.09 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 2183 0 0 0 9 0 0 0 20 0 1 0 47563317 25571328 3167 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 6243 3167 1105 2753 0 2896 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24972 KiB
Current children cumulated memory: 12668 KiB

[startup+0.205523 s]*
/proc/loadavg: 4.10 4.09 4.02 5/258 261844
/proc/meminfo: memFree=125187820/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=51652 memory=43848 CPUtime=0.2 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 8846 0 0 0 19 1 0 0 20 0 1 0 47563317 52891648 10962 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 12913 10962 2721 2753 0 9566 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51652 KiB
Current children cumulated memory: 43848 KiB

[startup+0.30539 s]*
/proc/loadavg: 4.10 4.09 4.02 5/258 261844
/proc/meminfo: memFree=125130540/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=64768 memory=56632 CPUtime=0.29 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 11981 0 0 0 28 1 0 0 20 0 1 0 47563317 66322432 14158 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 16192 14158 2817 2753 0 12845 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 64768 KiB
Current children cumulated memory: 56632 KiB

[startup+0.700195 s]
/proc/loadavg: 4.10 4.09 4.02 4/256 261846
/proc/meminfo: memFree=125083340/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=81824 memory=72928 CPUtime=0.68 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 18072 0 0 0 66 2 0 0 20 0 1 0 47563317 83787776 18232 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 20456 18232 2833 2753 0 17109 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81824 KiB
Current children cumulated memory: 72928 KiB

[startup+1.50019 s]
/proc/loadavg: 4.10 4.09 4.02 3/248 261862
/proc/meminfo: memFree=125047168/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=101552 memory=92396 CPUtime=1.48 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 23512 0 0 0 145 3 0 0 20 0 1 0 47563317 103989248 23099 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 25388 23099 2833 2753 0 22041 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 101552 KiB
Current children cumulated memory: 92396 KiB

[startup+3.10534 s]
/proc/loadavg: 4.09 4.09 4.01 5/258 261938
/proc/meminfo: memFree=124981460/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=111284 memory=102300 CPUtime=3.08 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 28147 0 0 0 305 3 0 0 20 0 1 0 47563317 113954816 25575 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 27821 25575 2833 2753 0 24474 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 111284 KiB
Current children cumulated memory: 102300 KiB

[startup+6.30021 s]
/proc/loadavg: 4.09 4.09 4.01 5/258 261938
/proc/meminfo: memFree=124864000/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=125664 memory=116892 CPUtime=6.27 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 33577 0 0 0 623 4 0 0 20 0 1 0 47563317 128679936 29223 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 31416 29223 2833 2753 0 28069 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 125664 KiB
Current children cumulated memory: 116892 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.01 6/258 261985
/proc/meminfo: memFree=124913548/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=148204 memory=139112 CPUtime=12.65 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 39645 0 0 0 1260 5 0 0 20 0 1 0 47563317 151760896 34778 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 37051 34778 2833 2753 0 33704 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 148204 KiB
Current children cumulated memory: 139112 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.01 6/258 261988
/proc/meminfo: memFree=124755124/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=155132 memory=146448 CPUtime=25.41 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 43199 0 0 0 2535 6 0 0 20 0 1 0 47563317 158855168 36612 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 38783 36612 2833 2753 0 35436 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 155132 KiB
Current children cumulated memory: 146448 KiB

[startup+51.1053 s]
/proc/loadavg: 4.23 4.12 4.03 6/258 261992
/proc/meminfo: memFree=124664632/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=165968 memory=159020 CPUtime=50.93 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 54728 0 0 0 5085 8 0 0 20 0 1 0 47563317 169951232 39755 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 41492 39755 2833 2753 0 38145 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 165968 KiB
Current children cumulated memory: 159020 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.03 5/254 262001
/proc/meminfo: memFree=124400812/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=174548 memory=169048 CPUtime=101.96 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 60369 0 0 0 10187 9 0 0 20 0 1 0 47563317 178737152 42262 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 43637 42262 2849 2753 0 40290 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 174548 KiB
Current children cumulated memory: 169048 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.03 6/254 262011
/proc/meminfo: memFree=123883416/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=194332 memory=187876 CPUtime=161.78 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 67096 0 0 0 16169 9 0 0 20 0 1 0 47563317 198995968 46969 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 48583 46969 2849 2753 0 45236 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 194332 KiB
Current children cumulated memory: 187876 KiB

[startup+222.3 s]
/proc/loadavg: 4.30 4.17 4.06 5/255 262024
/proc/meminfo: memFree=123868724/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=201580 memory=196084 CPUtime=221.61 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 75368 0 0 0 22150 11 0 0 20 0 1 0 47563317 206417920 49021 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 50395 49021 2849 2753 0 47048 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 201580 KiB
Current children cumulated memory: 196084 KiB

[startup+282.3 s]
/proc/loadavg: 4.30 4.21 4.08 6/255 262034
/proc/meminfo: memFree=123860760/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=210456 memory=204932 CPUtime=281.45 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 81670 0 0 0 28133 12 0 0 20 0 1 0 47563317 215506944 51233 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 52614 51233 2849 2753 0 49267 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 210456 KiB
Current children cumulated memory: 204932 KiB

[startup+342.3 s]
/proc/loadavg: 4.53 4.27 4.11 5/258 262049
/proc/meminfo: memFree=123850860/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=216624 memory=211128 CPUtime=341.28 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 85247 0 0 0 34116 12 0 0 20 0 1 0 47563317 221822976 52782 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 54156 52782 2849 2753 0 50809 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 216624 KiB
Current children cumulated memory: 211128 KiB

[startup+402.3 s]
/proc/loadavg: 4.48 4.33 4.14 6/259 262062
/proc/meminfo: memFree=123827116/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=240100 memory=232984 CPUtime=401.1 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 93096 0 0 0 40097 13 0 0 20 0 1 0 47563317 245862400 58246 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 60025 58246 2849 2753 0 56678 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 240100 KiB
Current children cumulated memory: 232984 KiB

[startup+462.3 s]
/proc/loadavg: 4.22 4.28 4.13 5/259 262073
/proc/meminfo: memFree=123823076/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=240100 memory=233044 CPUtime=460.93 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 93171 0 0 0 46080 13 0 0 20 0 1 0 47563317 245862400 58261 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0

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

/proc/loadavg: 4.14 4.13 4.10 5/259 262713
/proc/meminfo: memFree=123785068/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=251464 memory=245968 CPUtime=939.6 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 101062 0 0 0 93946 14 0 0 20 0 1 0 47563317 257499136 61492 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 62866 61492 2849 2753 0 59519 0
Current children cumulated CPU time: 939.6 s
Current children cumulated vsize: 251464 KiB
Current children cumulated memory: 245968 KiB

[startup+1002.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/259 262782
/proc/meminfo: memFree=123784524/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=251464 memory=245968 CPUtime=999.43 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 101137 0 0 0 99929 14 0 0 20 0 1 0 47563317 257499136 61492 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 62866 61492 2849 2753 0 59519 0
Current children cumulated CPU time: 999.43 s
Current children cumulated vsize: 251464 KiB
Current children cumulated memory: 245968 KiB

[startup+1062.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/258 262794
/proc/meminfo: memFree=123784168/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=251464 memory=245968 CPUtime=1059.27 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 101212 0 0 0 105913 14 0 0 20 0 1 0 47563317 257499136 61492 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 62866 61492 2849 2753 0 59519 0
Current children cumulated CPU time: 1059.27 s
Current children cumulated vsize: 251464 KiB
Current children cumulated memory: 245968 KiB

[startup+1122.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 262805
/proc/meminfo: memFree=123778180/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=258176 memory=251116 CPUtime=1119.1 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 102575 0 0 0 111896 14 0 0 20 0 1 0 47563317 264372224 62779 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 64544 62779 2849 2753 0 61197 0
Current children cumulated CPU time: 1119.1 s
Current children cumulated vsize: 258176 KiB
Current children cumulated memory: 251116 KiB

[startup+1182.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 262815
/proc/meminfo: memFree=123778240/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=258176 memory=251116 CPUtime=1178.93 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 102650 0 0 0 117879 14 0 0 20 0 1 0 47563317 264372224 62779 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 64544 62779 2849 2753 0 61197 0
Current children cumulated CPU time: 1178.93 s
Current children cumulated vsize: 258176 KiB
Current children cumulated memory: 251116 KiB

[startup+1242.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 262827
/proc/meminfo: memFree=123774344/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=260964 memory=254244 CPUtime=1238.75 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 103512 0 0 0 123861 14 0 0 20 0 1 0 47563317 267227136 63561 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 65241 63561 2849 2753 0 61894 0
Current children cumulated CPU time: 1238.75 s
Current children cumulated vsize: 260964 KiB
Current children cumulated memory: 254244 KiB

[startup+1302.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/255 262837
/proc/meminfo: memFree=123773424/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=260964 memory=254964 CPUtime=1298.57 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 103639 0 0 0 129843 14 0 0 20 0 1 0 47563317 267227136 63741 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 65241 63741 2849 2753 0 61894 0
Current children cumulated CPU time: 1298.57 s
Current children cumulated vsize: 260964 KiB
Current children cumulated memory: 254964 KiB

[startup+1362.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/255 262848
/proc/meminfo: memFree=123771552/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=262016 memory=256336 CPUtime=1358.41 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 104486 0 0 0 135827 14 0 0 20 0 1 0 47563317 268304384 64084 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 65504 64084 2849 2753 0 62157 0
Current children cumulated CPU time: 1358.41 s
Current children cumulated vsize: 262016 KiB
Current children cumulated memory: 256336 KiB

[startup+1422.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/254 262860
/proc/meminfo: memFree=123771016/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=262016 memory=256336 CPUtime=1418.24 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 104594 0 0 0 141810 14 0 0 20 0 1 0 47563317 268304384 64084 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 65504 64084 2849 2753 0 62157 0
Current children cumulated CPU time: 1418.24 s
Current children cumulated vsize: 262016 KiB
Current children cumulated memory: 256336 KiB

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

# cumulated CPU time of all completed processes:  user=1423.18 s, system=0.150581 s

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

[startup+1424 s]*
/proc/loadavg: 4.12 4.10 4.09 5/254 262860
/proc/meminfo: memFree=123771016/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=262016 memory=256336 CPUtime=1419.94 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 104594 0 0 0 141980 14 0 0 20 0 1 0 47563317 268304384 64084 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 65504 64084 2849 2753 0 62157 0
Current children cumulated CPU time: 1419.94 s
Current children cumulated vsize: 262016 KiB
Current children cumulated memory: 256336 KiB

[startup+1425.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 262860
/proc/meminfo: memFree=123771016/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=262016 memory=256336 CPUtime=1421.53 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 104594 0 0 0 142139 14 0 0 20 0 1 0 47563317 268304384 64084 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 65504 64084 2849 2753 0 62157 0
Current children cumulated CPU time: 1421.53 s
Current children cumulated vsize: 262016 KiB
Current children cumulated memory: 256336 KiB

[startup+1426.4 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 262860
/proc/meminfo: memFree=123771016/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=262016 memory=256336 CPUtime=1422.33 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 104594 0 0 0 142219 14 0 0 20 0 1 0 47563317 268304384 64084 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 65504 64084 2849 2753 0 62157 0
Current children cumulated CPU time: 1422.33 s
Current children cumulated vsize: 262016 KiB
Current children cumulated memory: 256336 KiB

[startup+1426.8 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 262860
/proc/meminfo: memFree=123771016/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=262016 memory=256336 CPUtime=1422.72 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 104594 0 0 0 142258 14 0 0 20 0 1 0 47563317 268304384 64084 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 65504 64084 2849 2753 0 62157 0
Current children cumulated CPU time: 1422.72 s
Current children cumulated vsize: 262016 KiB
Current children cumulated memory: 256336 KiB

[startup+1427.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 262860
/proc/meminfo: memFree=123771016/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=262016 memory=256336 CPUtime=1423.12 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 104594 0 0 0 142298 14 0 0 20 0 1 0 47563317 268304384 64084 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 65504 64084 2849 2753 0 62157 0
Current children cumulated CPU time: 1423.12 s
Current children cumulated vsize: 262016 KiB
Current children cumulated memory: 256336 KiB

[startup+1427.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 262860
/proc/meminfo: memFree=123771016/131524600 swapFree=131071216/131071996
[pid=261828] ppid=261825 vsize=262016 memory=256336 CPUtime=1423.22 cores=4,6
/proc/261828/stat : 261828 (LS-MabSP) R 261825 261828 259276 0 -1 4194304 104599 0 0 0 142308 14 0 0 20 0 1 0 47563317 268304384 64084 134679101440 4194304 15467897 140722953257360 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34476032 140722953262111 140722953262213 140722953262213 140722953269229 0
/proc/261828/statm: 65504 64084 2849 2753 0 62157 0
Current children cumulated CPU time: 1423.22 s
Current children cumulated vsize: 262016 KiB
Current children cumulated memory: 256336 KiB

Child status: 0

Real time (s): 1427.4
CPU time (s): 1423.33
CPU user time (s): 1423.18
CPU system time (s): 0.150581
CPU usage (%): 99.7148
Max. virtual memory (cumulated for all children) (KiB): 262016
Max. memory (cumulated for all children) (KiB): 256336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1423.18
system time used= 0.150581
maximum resident set size= 257836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104603
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= 75
involuntary context switches= 1240


# summary of solver processes directly reported to runsolver:
#   pid: 261828
#   total CPU time (s): 1423.33
#   total CPU user time (s): 1423.18
#   total CPU system time (s): 0.150581

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.76231 second user time and 5.81962 second system time

The end