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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427783-1722773150/watcher-4427783-1722773150 -o /tmp/evaluation-result-4427783-1722773150/solver-4427783-1722773150 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722769581-243104 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427783-1722773150.opb -t 3558 -s 895189054 

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=245158, runsolver pid=245155

[startup+0.100426 s]*
/proc/loadavg: 4.10 4.10 4.02 4/251 245159
/proc/meminfo: memFree=127936260/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=24196 memory=10864 CPUtime=0.09 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 1739 0 0 0 9 0 0 0 20 0 1 0 43910639 24776704 2716 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 6049 2716 1073 2753 0 2702 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24196 KiB
Current children cumulated memory: 10864 KiB

[startup+0.205321 s]*
/proc/loadavg: 4.10 4.10 4.02 4/251 245159
/proc/meminfo: memFree=127922224/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=36832 memory=23388 CPUtime=0.19 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 4884 0 0 0 19 0 0 0 20 0 1 0 43910639 37715968 5847 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 9208 5847 1105 2753 0 5861 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 36832 KiB
Current children cumulated memory: 23388 KiB

[startup+0.305392 s]*
/proc/loadavg: 4.10 4.10 4.02 4/251 245159
/proc/meminfo: memFree=127919612/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=36832 memory=23388 CPUtime=0.29 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 4885 0 0 0 29 0 0 0 20 0 1 0 43910639 37715968 5847 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 9208 5847 1105 2753 0 5861 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36832 KiB
Current children cumulated memory: 23388 KiB

[startup+0.700154 s]
/proc/loadavg: 4.10 4.10 4.02 4/251 245159
/proc/meminfo: memFree=127918920/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=81460 memory=72948 CPUtime=0.68 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 15731 0 0 0 66 2 0 0 20 0 1 0 43910639 83415040 18237 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 20365 18237 2705 2753 0 17018 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81460 KiB
Current children cumulated memory: 72948 KiB

[startup+1.50016 s]
/proc/loadavg: 4.10 4.10 4.02 5/254 245165
/proc/meminfo: memFree=127805828/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=184444 memory=163576 CPUtime=1.48 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 32478 0 0 0 142 6 0 0 20 0 1 0 43910639 188870656 40894 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 46111 40894 2833 2753 0 42764 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 184444 KiB
Current children cumulated memory: 163576 KiB

[startup+3.10462 s]
/proc/loadavg: 4.09 4.10 4.02 5/256 245197
/proc/meminfo: memFree=127690356/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=184604 memory=164364 CPUtime=3.08 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 32641 0 0 0 302 6 0 0 20 0 1 0 43910639 189034496 41091 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 46151 41091 2833 2753 0 42804 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 184604 KiB
Current children cumulated memory: 164364 KiB

[startup+6.30014 s]
/proc/loadavg: 4.09 4.10 4.02 5/256 245197
/proc/meminfo: memFree=127674824/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=202104 memory=179996 CPUtime=6.27 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 36537 0 0 0 620 7 0 0 20 0 1 0 43910639 206954496 44999 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 50526 44999 2849 2753 0 47179 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 202104 KiB
Current children cumulated memory: 179996 KiB

[startup+12.7001 s]
/proc/loadavg: 4.16 4.11 4.02 5/256 245199
/proc/meminfo: memFree=127671296/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=209824 memory=183160 CPUtime=12.66 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 37334 0 0 0 1259 7 0 0 20 0 1 0 43910639 214859776 45790 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 52456 45790 2849 2753 0 49109 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 209824 KiB
Current children cumulated memory: 183160 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.02 5/256 245201
/proc/meminfo: memFree=127670588/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=220840 memory=183680 CPUtime=25.43 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 37466 0 0 0 2536 7 0 0 20 0 1 0 43910639 226140160 45920 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 55210 45920 2849 2753 0 51863 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 220840 KiB
Current children cumulated memory: 183680 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.10 4.02 5/256 245205
/proc/meminfo: memFree=127647668/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=244088 memory=205440 CPUtime=50.98 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 44292 0 0 0 5090 8 0 0 20 0 1 0 43910639 249946112 51360 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 61022 51360 2849 2753 0 57675 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 244088 KiB
Current children cumulated memory: 205440 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.02 5/258 245218
/proc/meminfo: memFree=126692796/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=303772 memory=262552 CPUtime=102.06 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 59736 0 0 0 10195 11 0 0 20 0 1 0 43910639 311062528 65638 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 75943 65638 2849 2753 0 72596 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 303772 KiB
Current children cumulated memory: 262552 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/258 245230
/proc/meminfo: memFree=119726132/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=303772 memory=263060 CPUtime=161.92 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 59880 0 0 0 16181 11 0 0 20 0 1 0 43910639 311062528 65765 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 75943 65765 2849 2753 0 72596 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 303772 KiB
Current children cumulated memory: 263060 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.02 5/258 245241
/proc/meminfo: memFree=119734748/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=303772 memory=264116 CPUtime=221.8 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 60132 0 0 0 22168 12 0 0 20 0 1 0 43910639 311062528 66029 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 75943 66029 2849 2753 0 72596 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 303772 KiB
Current children cumulated memory: 264116 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.11 4.03 5/258 245253
/proc/meminfo: memFree=119731988/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=303772 memory=264116 CPUtime=281.67 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 60153 0 0 0 28155 12 0 0 20 0 1 0 43910639 311062528 66029 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 75943 66029 2849 2753 0 72596 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 303772 KiB
Current children cumulated memory: 264116 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.09 4.03 5/257 245264
/proc/meminfo: memFree=119730064/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=303772 memory=264888 CPUtime=341.54 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 60335 0 0 0 34142 12 0 0 20 0 1 0 43910639 311062528 66222 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 75943 66222 2849 2753 0 72596 0
Current children cumulated CPU time: 341.54 s
Current children cumulated vsize: 303772 KiB
Current children cumulated memory: 264888 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/256 245274
/proc/meminfo: memFree=119728284/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=306424 memory=265668 CPUtime=401.4 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 60527 0 0 0 40128 12 0 0 20 0 1 0 43910639 313778176 66417 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 76606 66417 2849 2753 0 73259 0
Current children cumulated CPU time: 401.4 s
Current children cumulated vsize: 306424 KiB
Current children cumulated memory: 265668 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.04 5/256 245284
/proc/meminfo: memFree=119726072/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=310800 memory=266988 CPUtime=461.27 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 60922 0 0 0 46115 12 0 0 20 0 1 0 43910639 318259200 66747 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0

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

/proc/loadavg: 4.16 4.16 4.11 5/260 246950
/proc/meminfo: memFree=119650524/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=351252 memory=307656 CPUtime=3155.99 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 82431 0 0 0 312489 3110 0 0 20 0 1 0 43910639 359682048 76914 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 87813 76914 2849 2753 0 84466 0
Current children cumulated CPU time: 3155.99 s
Current children cumulated vsize: 351252 KiB
Current children cumulated memory: 307656 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/259 246960
/proc/meminfo: memFree=119649820/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=351252 memory=307656 CPUtime=3215.88 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 82431 0 0 0 318348 3240 0 0 20 0 1 0 43910639 359682048 76914 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 87813 76914 2849 2753 0 84466 0
Current children cumulated CPU time: 3215.88 s
Current children cumulated vsize: 351252 KiB
Current children cumulated memory: 307656 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/260 246973
/proc/meminfo: memFree=119649272/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=351252 memory=307656 CPUtime=3275.78 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 82431 0 0 0 324224 3354 0 0 20 0 1 0 43910639 359682048 76914 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 87813 76914 2849 2753 0 84466 0
Current children cumulated CPU time: 3275.78 s
Current children cumulated vsize: 351252 KiB
Current children cumulated memory: 307656 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/258 246995
/proc/meminfo: memFree=119648432/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=351252 memory=307656 CPUtime=3335.68 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 82431 0 0 0 330080 3488 0 0 20 0 1 0 43910639 359682048 76914 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 87813 76914 2849 2753 0 84466 0
Current children cumulated CPU time: 3335.68 s
Current children cumulated vsize: 351252 KiB
Current children cumulated memory: 307656 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/258 247005
/proc/meminfo: memFree=119647736/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=351252 memory=307656 CPUtime=3395.57 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 82431 0 0 0 335935 3622 0 0 20 0 1 0 43910639 359682048 76914 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 87813 76914 2849 2753 0 84466 0
Current children cumulated CPU time: 3395.57 s
Current children cumulated vsize: 351252 KiB
Current children cumulated memory: 307656 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 247015
/proc/meminfo: memFree=119647004/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=351252 memory=307656 CPUtime=3455.47 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 82431 0 0 0 341797 3750 0 0 20 0 1 0 43910639 359682048 76914 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 87813 76914 2849 2753 0 84466 0
Current children cumulated CPU time: 3455.47 s
Current children cumulated vsize: 351252 KiB
Current children cumulated memory: 307656 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 247028
/proc/meminfo: memFree=119646280/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=351252 memory=307656 CPUtime=3515.37 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 82431 0 0 0 347666 3871 0 0 20 0 1 0 43910639 359682048 76914 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 87813 76914 2849 2753 0 84466 0
Current children cumulated CPU time: 3515.37 s
Current children cumulated vsize: 351252 KiB
Current children cumulated memory: 307656 KiB

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

# cumulated CPU time of all completed processes:  user=3518.4 s, system=39.626 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.11 4.09 5/256 247030
/proc/meminfo: memFree=119646144/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=351252 memory=307656 CPUtime=3525.85 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 82431 0 0 0 348688 3897 0 0 20 0 1 0 43910639 359682048 76914 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 87813 76914 2849 2753 0 84466 0
Current children cumulated CPU time: 3525.85 s
Current children cumulated vsize: 351252 KiB
Current children cumulated memory: 307656 KiB

[startup+3545.6 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 247032
/proc/meminfo: memFree=119646024/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=351252 memory=307656 CPUtime=3538.63 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 82431 0 0 0 349938 3925 0 0 20 0 1 0 43910639 359682048 76914 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 87813 76914 2849 2753 0 84466 0
Current children cumulated CPU time: 3538.63 s
Current children cumulated vsize: 351252 KiB
Current children cumulated memory: 307656 KiB

[startup+3558.4 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 247035
/proc/meminfo: memFree=119645944/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=351252 memory=307656 CPUtime=3551.4 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 82431 0 0 0 351186 3954 0 0 20 0 1 0 43910639 359682048 76914 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 87813 76914 2849 2753 0 84466 0
Current children cumulated CPU time: 3551.4 s
Current children cumulated vsize: 351252 KiB
Current children cumulated memory: 307656 KiB

[startup+3561.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 247035
/proc/meminfo: memFree=119645776/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=351252 memory=307656 CPUtime=3554.59 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 82431 0 0 0 351502 3957 0 0 20 0 1 0 43910639 359682048 76914 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 87813 76914 2849 2753 0 84466 0
Current children cumulated CPU time: 3554.59 s
Current children cumulated vsize: 351252 KiB
Current children cumulated memory: 307656 KiB

[startup+3563.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 247035
/proc/meminfo: memFree=119645892/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=351252 memory=307656 CPUtime=3556.19 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 82431 0 0 0 351660 3959 0 0 20 0 1 0 43910639 359682048 76914 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 87813 76914 2849 2753 0 84466 0
Current children cumulated CPU time: 3556.19 s
Current children cumulated vsize: 351252 KiB
Current children cumulated memory: 307656 KiB

[startup+3564 s]*
/proc/loadavg: 4.10 4.11 4.09 5/256 247081
/proc/meminfo: memFree=119667452/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=351252 memory=307656 CPUtime=3557 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 82431 0 0 0 351740 3960 0 0 20 0 1 0 43910639 359682048 76914 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 87813 76914 2849 2753 0 84466 0
Current children cumulated CPU time: 3557 s
Current children cumulated vsize: 351252 KiB
Current children cumulated memory: 307656 KiB

[startup+3564.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 247081
/proc/meminfo: memFree=119667452/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=351252 memory=307656 CPUtime=3557.79 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 82431 0 0 0 351818 3961 0 0 20 0 1 0 43910639 359682048 76914 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 87813 76914 2849 2753 0 84466 0
Current children cumulated CPU time: 3557.79 s
Current children cumulated vsize: 351252 KiB
Current children cumulated memory: 307656 KiB

[startup+3565 s]*
/proc/loadavg: 4.10 4.11 4.09 4/250 247112
/proc/meminfo: memFree=127656924/131524600 swapFree=131071996/131071996
[pid=245158] ppid=245155 vsize=351252 memory=307656 CPUtime=3557.99 cores=4,6
/proc/245158/stat : 245158 (LS-MabSP) R 245155 245158 243093 0 -1 4194304 82431 0 0 0 351838 3961 0 0 20 0 1 0 43910639 359682048 76914 134679101440 4194304 15467897 140725012482688 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 45740032 140725012489247 140725012489349 140725012489349 140725012496365 0
/proc/245158/statm: 87813 76914 2849 2753 0 84466 0
Current children cumulated CPU time: 3557.99 s
Current children cumulated vsize: 351252 KiB
Current children cumulated memory: 307656 KiB

Child status: 0

Real time (s): 3565.02
CPU time (s): 3558.02
CPU user time (s): 3518.4
CPU system time (s): 39.626
CPU usage (%): 99.8036
Max. virtual memory (cumulated for all children) (KiB): 407612
Max. memory (cumulated for all children) (KiB): 352768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3518.4
system time used= 39.626
maximum resident set size= 352768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82434
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= 2
involuntary context switches= 1315


# summary of solver processes directly reported to runsolver:
#   pid: 245158
#   total CPU time (s): 3558.02
#   total CPU user time (s): 3518.4
#   total CPU system time (s): 39.626

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.81432 second user time and 12.0761 second system time

The end