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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457898-1722827675/watcher-4457898-1722827675 -o /tmp/evaluation-result-4457898-1722827675/solver-4457898-1722827675 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722827674-271221 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4457898-1722827675.opb -t 3558 -s 1531916722 

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=271275, runsolver pid=271260

[startup+0.10106 s]*
/proc/loadavg: 2.45 3.65 3.94 7/258 271282
/proc/meminfo: memFree=128861636/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=36908 memory=27992 CPUtime=0.09 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 5708 0 0 0 9 0 0 0 20 0 1 0 49366758 37793792 6998 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 3 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 9227 6998 2461 2403 0 6337 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36908 KiB
Current children cumulated memory: 27992 KiB

[startup+0.206078 s]*
/proc/loadavg: 2.45 3.65 3.94 7/258 271282
/proc/meminfo: memFree=128840500/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=50308 memory=41192 CPUtime=0.19 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 8979 0 0 0 18 1 0 0 20 0 1 0 49366758 51515392 10298 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 12577 10298 2461 2403 0 9687 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 50308 KiB
Current children cumulated memory: 41192 KiB

[startup+0.30611 s]*
/proc/loadavg: 2.45 3.65 3.94 7/258 271282
/proc/meminfo: memFree=128829760/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=51448 memory=42248 CPUtime=0.29 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 9233 0 0 0 28 1 0 0 20 0 1 0 49366758 52682752 10562 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 12862 10562 2461 2403 0 9972 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 51448 KiB
Current children cumulated memory: 42248 KiB

[startup+0.700246 s]
/proc/loadavg: 2.45 3.65 3.94 7/258 271282
/proc/meminfo: memFree=128807156/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=63328 memory=53060 CPUtime=0.67 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 11945 0 0 0 66 1 0 0 20 0 1 0 49366758 64847872 13265 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 15832 13265 2461 2403 0 12942 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 63328 KiB
Current children cumulated memory: 53060 KiB

[startup+1.50024 s]
/proc/loadavg: 2.45 3.65 3.94 8/258 271282
/proc/meminfo: memFree=128747632/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=103652 memory=93716 CPUtime=1.47 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 22157 0 0 0 144 3 0 0 20 0 1 0 49366758 106139648 23429 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 25913 23429 2461 2403 0 23023 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 103652 KiB
Current children cumulated memory: 93716 KiB

[startup+3.10585 s]
/proc/loadavg: 2.57 3.66 3.94 7/258 271282
/proc/meminfo: memFree=128708364/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=108472 memory=98996 CPUtime=3.07 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 23439 0 0 0 304 3 0 0 20 0 1 0 49366758 111075328 24749 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 27118 24749 2461 2403 0 24228 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 108472 KiB
Current children cumulated memory: 98996 KiB

[startup+6.30021 s]
/proc/loadavg: 2.57 3.66 3.94 8/258 271284
/proc/meminfo: memFree=128700112/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=113764 memory=104540 CPUtime=6.26 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 24801 0 0 0 622 4 0 0 20 0 1 0 49366758 116494336 26135 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 28441 26135 2461 2403 0 25551 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 113764 KiB
Current children cumulated memory: 104540 KiB

[startup+12.7002 s]
/proc/loadavg: 2.79 3.67 3.94 7/258 271284
/proc/meminfo: memFree=128670476/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=124188 memory=114044 CPUtime=12.64 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 27229 0 0 0 1260 4 0 0 20 0 1 0 49366758 127168512 28511 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 31047 28511 2461 2403 0 28157 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 124188 KiB
Current children cumulated memory: 114044 KiB

[startup+25.5002 s]
/proc/loadavg: 3.06 3.70 3.95 7/258 271287
/proc/meminfo: memFree=128588444/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=136536 memory=127508 CPUtime=25.39 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 30550 0 0 0 2535 4 0 0 20 0 1 0 49366758 139812864 31877 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 34134 31877 2461 2403 0 31244 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 136536 KiB
Current children cumulated memory: 127508 KiB

[startup+51.1059 s]
/proc/loadavg: 3.38 3.72 3.95 8/258 271290
/proc/meminfo: memFree=128488084/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=153400 memory=144608 CPUtime=50.89 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 40389 0 0 0 5083 6 0 0 20 0 1 0 49366758 157081600 36152 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 38350 36152 2461 2403 0 35460 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 153400 KiB
Current children cumulated memory: 144608 KiB

[startup+102.3 s]
/proc/loadavg: 3.80 3.79 3.96 7/256 271298
/proc/meminfo: memFree=128360624/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=197668 memory=186840 CPUtime=101.89 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 51928 0 0 0 10180 9 0 0 20 0 1 0 49366758 202412032 46710 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 49417 46710 2461 2403 0 46527 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 197668 KiB
Current children cumulated memory: 186840 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 3.86 3.98 7/256 271308
/proc/meminfo: memFree=128197388/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=253092 memory=243836 CPUtime=161.68 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 66121 0 0 0 16156 12 0 0 20 0 1 0 49366758 259166208 60959 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 63273 60959 2461 2403 0 60383 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 253092 KiB
Current children cumulated memory: 243836 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 3.89 3.98 7/256 271321
/proc/meminfo: memFree=128041384/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=300620 memory=291736 CPUtime=221.45 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 78697 0 0 0 22130 15 0 0 20 0 1 0 49366758 307834880 72934 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 75155 72934 2461 2403 0 72265 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 300620 KiB
Current children cumulated memory: 291736 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.94 4.00 8/255 271332
/proc/meminfo: memFree=127881716/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=361160 memory=349460 CPUtime=281.23 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 93349 0 0 0 28105 18 0 0 20 0 1 0 49366758 369827840 87365 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 90290 87365 2461 2403 0 87400 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 361160 KiB
Current children cumulated memory: 349460 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.97 4.00 7/258 271347
/proc/meminfo: memFree=127740516/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=406320 memory=395708 CPUtime=340.99 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 104939 0 0 0 34080 19 0 0 20 0 1 0 49366758 416071680 98927 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 101580 98927 2461 2403 0 98690 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 406320 KiB
Current children cumulated memory: 395708 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.99 4.00 7/258 271358
/proc/meminfo: memFree=127585120/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=456444 memory=445776 CPUtime=400.78 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 117505 0 0 0 40055 23 0 0 20 0 1 0 49366758 467398656 111444 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 114111 111444 2461 2403 0 111221 0
Current children cumulated CPU time: 400.78 s
Current children cumulated vsize: 456444 KiB
Current children cumulated memory: 445776 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.01 4.00 7/258 271368
/proc/meminfo: memFree=127441308/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=505864 memory=496500 CPUtime=460.56 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 131064 0 0 0 46032 24 0 0 20 0 1 0 49366758 518004736 124125 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0

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

/proc/loadavg: 4.12 4.09 4.09 7/254 273047
/proc/meminfo: memFree=125187236/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=997880 memory=990760 CPUtime=3213.55 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 434501 0 0 0 293623 27732 0 0 20 0 1 0 49366758 1021829120 247690 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 249470 247690 2476 2403 0 246580 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 997880 KiB
Current children cumulated memory: 990760 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.08 4.08 7/255 273058
/proc/meminfo: memFree=125186680/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=997880 memory=990760 CPUtime=3273.45 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 434501 0 0 0 298445 28900 0 0 20 0 1 0 49366758 1021829120 247690 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 249470 247690 2476 2403 0 246580 0
Current children cumulated CPU time: 3273.45 s
Current children cumulated vsize: 997880 KiB
Current children cumulated memory: 990760 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 7/258 273073
/proc/meminfo: memFree=125186396/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=997880 memory=990760 CPUtime=3333.34 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 434501 0 0 0 303279 30055 0 0 20 0 1 0 49366758 1021829120 247690 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 249470 247690 2476 2403 0 246580 0
Current children cumulated CPU time: 3333.34 s
Current children cumulated vsize: 997880 KiB
Current children cumulated memory: 990760 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 7/258 273084
/proc/meminfo: memFree=125186200/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=997880 memory=990760 CPUtime=3393.23 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 434501 0 0 0 308127 31196 0 0 20 0 1 0 49366758 1021829120 247690 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 249470 247690 2476 2403 0 246580 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 997880 KiB
Current children cumulated memory: 990760 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 7/258 273094
/proc/meminfo: memFree=125185884/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=997880 memory=990760 CPUtime=3453.13 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 434501 0 0 0 312973 32340 0 0 20 0 1 0 49366758 1021829120 247690 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 249470 247690 2476 2403 0 246580 0
Current children cumulated CPU time: 3453.13 s
Current children cumulated vsize: 997880 KiB
Current children cumulated memory: 990760 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.08 4.09 7/258 273104
/proc/meminfo: memFree=125185520/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=997880 memory=990760 CPUtime=3513.02 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 434501 0 0 0 317807 33495 0 0 20 0 1 0 49366758 1021829120 247690 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 249470 247690 2476 2403 0 246580 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 997880 KiB
Current children cumulated memory: 990760 KiB

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

# cumulated CPU time of all completed processes:  user=3214.37 s, system=343.643 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.08 4.09 8/258 273106
/proc/meminfo: memFree=125185444/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=997880 memory=990760 CPUtime=3523.51 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 434501 0 0 0 318663 33688 0 0 20 0 1 0 49366758 1021829120 247690 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 249470 247690 2476 2403 0 246580 0
Current children cumulated CPU time: 3523.51 s
Current children cumulated vsize: 997880 KiB
Current children cumulated memory: 990760 KiB

[startup+3545.6 s]
/proc/loadavg: 4.06 4.08 4.09 8/258 273110
/proc/meminfo: memFree=125185324/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=997880 memory=990760 CPUtime=3536.28 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 434501 0 0 0 319690 33938 0 0 20 0 1 0 49366758 1021829120 247690 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 249470 247690 2476 2403 0 246580 0
Current children cumulated CPU time: 3536.28 s
Current children cumulated vsize: 997880 KiB
Current children cumulated memory: 990760 KiB

[startup+3558.4 s]
/proc/loadavg: 4.12 4.09 4.09 8/258 273111
/proc/meminfo: memFree=125185204/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=997880 memory=990760 CPUtime=3549.06 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 434501 0 0 0 320716 34190 0 0 20 0 1 0 49366758 1021829120 247690 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 249470 247690 2476 2403 0 246580 0
Current children cumulated CPU time: 3549.06 s
Current children cumulated vsize: 997880 KiB
Current children cumulated memory: 990760 KiB

[startup+3561.6 s]
/proc/loadavg: 4.12 4.09 4.09 7/257 273111
/proc/meminfo: memFree=125185304/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=997880 memory=990760 CPUtime=3552.25 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 434501 0 0 0 320975 34250 0 0 20 0 1 0 49366758 1021829120 247690 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 249470 247690 2476 2403 0 246580 0
Current children cumulated CPU time: 3552.25 s
Current children cumulated vsize: 997880 KiB
Current children cumulated memory: 990760 KiB

[startup+3564.8 s]
/proc/loadavg: 4.11 4.09 4.09 7/257 273111
/proc/meminfo: memFree=125185272/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=997880 memory=990760 CPUtime=3555.46 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 434501 0 0 0 321231 34315 0 0 20 0 1 0 49366758 1021829120 247690 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 249470 247690 2476 2403 0 246580 0
Current children cumulated CPU time: 3555.46 s
Current children cumulated vsize: 997880 KiB
Current children cumulated memory: 990760 KiB

[startup+3566.4 s]
/proc/loadavg: 4.11 4.09 4.09 7/257 273113
/proc/meminfo: memFree=125185216/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=997880 memory=990760 CPUtime=3557.05 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 434501 0 0 0 321360 34345 0 0 20 0 1 0 49366758 1021829120 247690 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 249470 247690 2476 2403 0 246580 0
Current children cumulated CPU time: 3557.05 s
Current children cumulated vsize: 997880 KiB
Current children cumulated memory: 990760 KiB

[startup+3566.8 s]
/proc/loadavg: 4.11 4.09 4.09 7/257 273113
/proc/meminfo: memFree=125185216/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=997880 memory=990760 CPUtime=3557.45 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 434501 0 0 0 321392 34353 0 0 20 0 1 0 49366758 1021829120 247690 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 249470 247690 2476 2403 0 246580 0
Current children cumulated CPU time: 3557.45 s
Current children cumulated vsize: 997880 KiB
Current children cumulated memory: 990760 KiB

[startup+3567.2 s]
/proc/loadavg: 4.10 4.09 4.09 4/250 273121
/proc/meminfo: memFree=127931292/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=997880 memory=990760 CPUtime=3557.85 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 434501 0 0 0 321424 34361 0 0 20 0 1 0 49366758 1021829120 247690 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 249470 247690 2476 2403 0 246580 0
Current children cumulated CPU time: 3557.85 s
Current children cumulated vsize: 997880 KiB
Current children cumulated memory: 990760 KiB

[startup+3567.3 s]
/proc/loadavg: 4.10 4.09 4.09 4/250 273121
/proc/meminfo: memFree=127931292/131524600 swapFree=131071996/131071996
[pid=271275] ppid=271260 vsize=997880 memory=990760 CPUtime=3557.95 cores=1,3
/proc/271275/stat : 271275 (LS-MabS) R 271260 271275 271209 0 -1 4194304 434501 0 0 0 321432 34363 0 0 20 0 1 0 49366758 1021829120 247690 134679101440 4194304 14036057 140730040318800 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 23572480 140730040325152 140730040325254 140730040325254 140730040332270 0
/proc/271275/statm: 249470 247690 2476 2403 0 246580 0
Current children cumulated CPU time: 3557.95 s
Current children cumulated vsize: 997880 KiB
Current children cumulated memory: 990760 KiB

Child status: 0

Real time (s): 3567.35
CPU time (s): 3558.01
CPU user time (s): 3214.37
CPU system time (s): 343.643
CPU usage (%): 99.7381
Max. virtual memory (cumulated for all children) (KiB): 1663020
Max. memory (cumulated for all children) (KiB): 1644368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3214.37
system time used= 343.643
maximum resident set size= 1644368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434506
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= 98
involuntary context switches= 2854


# summary of solver processes directly reported to runsolver:
#   pid: 271275
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3214.37
#   total CPU system time (s): 343.643

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.85249 second user time and 15.1957 second system time

The end