runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62534 MiB free)
  memory of node 1: 64473 MiB (62747 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427931-1722809650/watcher-4427931-1722809650 -o /tmp/evaluation-result-4427931-1722809650/solver-4427931-1722809650 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722806084-258666 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427931-1722809650.opb -t 3558 -s 712155603 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=261193, runsolver pid=261189

[startup+0.100473 s]*
/proc/loadavg: 4.15 4.15 4.09 4/254 261204
/proc/meminfo: memFree=128258780/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=24448 memory=11844 CPUtime=0.09 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 2025 0 0 0 9 0 0 0 20 0 1 0 47564057 25034752 2961 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 6112 2961 1073 2753 0 2765 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24448 KiB
Current children cumulated memory: 11844 KiB

[startup+0.205474 s]*
/proc/loadavg: 4.15 4.15 4.09 4/254 261204
/proc/meminfo: memFree=128254332/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=34692 memory=19588 CPUtime=0.19 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 2951 0 0 0 19 0 0 0 20 0 1 0 47564057 35524608 4897 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 8673 4897 1073 2753 0 5326 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34692 KiB
Current children cumulated memory: 19588 KiB

[startup+0.304828 s]*
/proc/loadavg: 4.15 4.15 4.09 4/252 261204
/proc/meminfo: memFree=128246512/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=38444 memory=25528 CPUtime=0.29 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 3887 0 0 0 29 0 0 0 20 0 1 0 47564057 39366656 6382 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 9611 6382 1073 2753 0 6264 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38444 KiB
Current children cumulated memory: 25528 KiB

[startup+0.700196 s]
/proc/loadavg: 4.15 4.15 4.09 4/249 261212
/proc/meminfo: memFree=128224668/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=60980 memory=48148 CPUtime=0.68 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 9468 0 0 0 67 1 0 0 20 0 1 0 47564057 62443520 12037 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 15245 12037 1105 2753 0 11898 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60980 KiB
Current children cumulated memory: 48148 KiB

[startup+1.50015 s]
/proc/loadavg: 4.15 4.15 4.09 3/249 261212
/proc/meminfo: memFree=128223604/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=60980 memory=48148 CPUtime=1.48 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 9468 0 0 0 147 1 0 0 20 0 1 0 47564057 62443520 12037 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 15245 12037 1105 2753 0 11898 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60980 KiB
Current children cumulated memory: 48148 KiB

[startup+3.10562 s]
/proc/loadavg: 4.15 4.15 4.09 5/259 261288
/proc/meminfo: memFree=128083124/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=60980 memory=48148 CPUtime=3.08 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 9472 0 0 0 307 1 0 0 20 0 1 0 47564057 62443520 12037 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 15245 12037 1105 2753 0 11898 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 60980 KiB
Current children cumulated memory: 48148 KiB

[startup+6.30017 s]
/proc/loadavg: 4.14 4.15 4.09 5/259 261288
/proc/meminfo: memFree=127576908/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=270652 memory=256404 CPUtime=6.27 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 61777 0 0 0 618 9 0 0 20 0 1 0 47564057 277147648 64101 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 67663 64101 2817 2753 0 64316 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 270652 KiB
Current children cumulated memory: 256404 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.15 4.09 5/259 261290
/proc/meminfo: memFree=127569408/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=271640 memory=257188 CPUtime=12.66 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 61932 0 0 0 1256 10 0 0 20 0 1 0 47564057 278159360 64297 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 67910 64297 2817 2753 0 64563 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 271640 KiB
Current children cumulated memory: 257188 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.14 4.09 5/259 261292
/proc/meminfo: memFree=126994064/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=272612 memory=257980 CPUtime=25.42 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 62186 0 0 0 2532 10 0 0 20 0 1 0 47564057 279154688 64495 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 68153 64495 2817 2753 0 64806 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 272612 KiB
Current children cumulated memory: 257980 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.14 4.09 5/259 261297
/proc/meminfo: memFree=126206100/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=272612 memory=257980 CPUtime=50.96 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 62189 0 0 0 5086 10 0 0 20 0 1 0 47564057 279154688 64495 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 68153 64495 2817 2753 0 64806 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 272612 KiB
Current children cumulated memory: 257980 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/256 261306
/proc/meminfo: memFree=126148632/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=272612 memory=257980 CPUtime=102 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 62191 0 0 0 10190 10 0 0 20 0 1 0 47564057 279154688 64495 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 68153 64495 2817 2753 0 64806 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 272612 KiB
Current children cumulated memory: 257980 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 261317
/proc/meminfo: memFree=125662720/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=272612 memory=260772 CPUtime=161.83 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 62193 0 0 0 16173 10 0 0 20 0 1 0 47564057 279154688 65193 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 68153 65193 2817 2753 0 64806 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 272612 KiB
Current children cumulated memory: 260772 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/256 261329
/proc/meminfo: memFree=125634644/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=272612 memory=261536 CPUtime=221.68 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 62198 0 0 0 22157 11 0 0 20 0 1 0 47564057 279154688 65384 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 68153 65384 2833 2753 0 64806 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 272612 KiB
Current children cumulated memory: 261536 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 261339
/proc/meminfo: memFree=125610340/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=296200 memory=278232 CPUtime=281.5 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 65409 0 0 0 28139 11 0 0 20 0 1 0 47564057 303308800 69558 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 74050 69558 2849 2753 0 70703 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 296200 KiB
Current children cumulated memory: 278232 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/256 261349
/proc/meminfo: memFree=125585380/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=313216 memory=301136 CPUtime=341.34 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 68296 0 0 0 34123 11 0 0 20 0 1 0 47564057 320733184 75284 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 78304 75284 2849 2753 0 74957 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 313216 KiB
Current children cumulated memory: 301136 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/259 261365
/proc/meminfo: memFree=125577228/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=313216 memory=301136 CPUtime=401.19 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 68332 0 0 0 40108 11 0 0 20 0 1 0 47564057 320733184 75284 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 78304 75284 2849 2753 0 74957 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 313216 KiB
Current children cumulated memory: 301136 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/259 261376
/proc/meminfo: memFree=125553304/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=313216 memory=301236 CPUtime=461.03 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 68368 0 0 0 46092 11 0 0 20 0 1 0 47564057 320733184 75309 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0

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

/proc/loadavg: 4.09 4.12 4.09 5/258 263058
/proc/meminfo: memFree=125144188/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=335352 memory=316728 CPUtime=3155.19 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 79167 0 0 0 311045 4474 0 0 20 0 1 0 47564057 343400448 79182 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 83838 79182 3195 2753 0 80491 0
Current children cumulated CPU time: 3155.19 s
Current children cumulated vsize: 335352 KiB
Current children cumulated memory: 316728 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 263070
/proc/meminfo: memFree=125143992/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=335352 memory=316728 CPUtime=3215.1 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 79186 0 0 0 316850 4660 0 0 20 0 1 0 47564057 343400448 79182 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 83838 79182 3195 2753 0 80491 0
Current children cumulated CPU time: 3215.1 s
Current children cumulated vsize: 335352 KiB
Current children cumulated memory: 316728 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 263080
/proc/meminfo: memFree=125143624/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=335352 memory=316728 CPUtime=3274.99 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 79205 0 0 0 322665 4834 0 0 20 0 1 0 47564057 343400448 79182 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 83838 79182 3195 2753 0 80491 0
Current children cumulated CPU time: 3274.99 s
Current children cumulated vsize: 335352 KiB
Current children cumulated memory: 316728 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 263090
/proc/meminfo: memFree=125142000/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=335352 memory=316728 CPUtime=3334.88 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 79224 0 0 0 328445 5043 0 0 20 0 1 0 47564057 343400448 79182 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 83838 79182 3195 2753 0 80491 0
Current children cumulated CPU time: 3334.88 s
Current children cumulated vsize: 335352 KiB
Current children cumulated memory: 316728 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/258 263104
/proc/meminfo: memFree=125141772/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=335352 memory=316728 CPUtime=3394.78 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 79243 0 0 0 334257 5221 0 0 20 0 1 0 47564057 343400448 79182 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 83838 79182 3195 2753 0 80491 0
Current children cumulated CPU time: 3394.78 s
Current children cumulated vsize: 335352 KiB
Current children cumulated memory: 316728 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/258 263116
/proc/meminfo: memFree=125141416/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=335352 memory=316728 CPUtime=3454.67 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 79262 0 0 0 340067 5400 0 0 20 0 1 0 47564057 343400448 79182 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 83838 79182 3195 2753 0 80491 0
Current children cumulated CPU time: 3454.67 s
Current children cumulated vsize: 335352 KiB
Current children cumulated memory: 316728 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 263126
/proc/meminfo: memFree=125141260/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=335352 memory=316728 CPUtime=3514.57 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 79281 0 0 0 345886 5571 0 0 20 0 1 0 47564057 343400448 79182 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 83838 79182 3195 2753 0 80491 0
Current children cumulated CPU time: 3514.57 s
Current children cumulated vsize: 335352 KiB
Current children cumulated memory: 316728 KiB

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

# cumulated CPU time of all completed processes:  user=3500.94 s, system=57.0817 s

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

[startup+3532.8 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 263127
/proc/meminfo: memFree=125141216/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=335352 memory=316728 CPUtime=3525.05 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 79281 0 0 0 346899 5606 0 0 20 0 1 0 47564057 343400448 79182 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 83838 79182 3195 2753 0 80491 0
Current children cumulated CPU time: 3525.05 s
Current children cumulated vsize: 335352 KiB
Current children cumulated memory: 316728 KiB

[startup+3545.6 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 263129
/proc/meminfo: memFree=125141232/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=335352 memory=316728 CPUtime=3537.82 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 79281 0 0 0 348136 5646 0 0 20 0 1 0 47564057 343400448 79182 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 83838 79182 3195 2753 0 80491 0
Current children cumulated CPU time: 3537.82 s
Current children cumulated vsize: 335352 KiB
Current children cumulated memory: 316728 KiB

[startup+3558.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 263133
/proc/meminfo: memFree=125141088/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=335352 memory=316728 CPUtime=3550.6 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 79281 0 0 0 349377 5683 0 0 20 0 1 0 47564057 343400448 79182 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 83838 79182 3195 2753 0 80491 0
Current children cumulated CPU time: 3550.6 s
Current children cumulated vsize: 335352 KiB
Current children cumulated memory: 316728 KiB

[startup+3561.6 s]
/proc/loadavg: 4.16 4.12 4.09 5/256 263133
/proc/meminfo: memFree=125141104/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=335352 memory=316728 CPUtime=3553.8 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 79281 0 0 0 349686 5694 0 0 20 0 1 0 47564057 343400448 79182 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 83838 79182 3195 2753 0 80491 0
Current children cumulated CPU time: 3553.8 s
Current children cumulated vsize: 335352 KiB
Current children cumulated memory: 316728 KiB

[startup+3563.2 s]
/proc/loadavg: 4.16 4.12 4.09 5/256 263133
/proc/meminfo: memFree=125141140/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=335352 memory=316728 CPUtime=3555.4 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 79281 0 0 0 349841 5699 0 0 20 0 1 0 47564057 343400448 79182 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 83838 79182 3195 2753 0 80491 0
Current children cumulated CPU time: 3555.4 s
Current children cumulated vsize: 335352 KiB
Current children cumulated memory: 316728 KiB

[startup+3564.8 s]
/proc/loadavg: 4.16 4.12 4.09 5/256 263133
/proc/meminfo: memFree=125141140/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=335352 memory=316728 CPUtime=3556.99 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 79281 0 0 0 349995 5704 0 0 20 0 1 0 47564057 343400448 79182 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 83838 79182 3195 2753 0 80491 0
Current children cumulated CPU time: 3556.99 s
Current children cumulated vsize: 335352 KiB
Current children cumulated memory: 316728 KiB

[startup+3565.6 s]
/proc/loadavg: 4.16 4.12 4.09 5/256 263133
/proc/meminfo: memFree=125141140/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=335352 memory=316728 CPUtime=3557.78 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 79281 0 0 0 350072 5706 0 0 20 0 1 0 47564057 343400448 79182 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 83838 79182 3195 2753 0 80491 0
Current children cumulated CPU time: 3557.78 s
Current children cumulated vsize: 335352 KiB
Current children cumulated memory: 316728 KiB

[startup+3565.8 s]
/proc/loadavg: 4.16 4.12 4.09 5/256 263133
/proc/meminfo: memFree=125141140/131524600 swapFree=131071728/131071996
[pid=261193] ppid=261189 vsize=335352 memory=316728 CPUtime=3557.99 cores=1,3
/proc/261193/stat : 261193 (LS-MabSP) R 261189 261193 258654 0 -1 4194304 79281 0 0 0 350092 5707 0 0 20 0 1 0 47564057 343400448 79182 134679101440 4194304 15467897 140736376569472 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 35418112 140736376570911 140736376571013 140736376571013 140736376578029 0
/proc/261193/statm: 83838 79182 3195 2753 0 80491 0
Current children cumulated CPU time: 3557.99 s
Current children cumulated vsize: 335352 KiB
Current children cumulated memory: 316728 KiB

Child status: 0

Real time (s): 3565.83
CPU time (s): 3558.03
CPU user time (s): 3500.94
CPU system time (s): 57.0817
CPU usage (%): 99.7812
Max. virtual memory (cumulated for all children) (KiB): 386716
Max. memory (cumulated for all children) (KiB): 340940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3500.94
system time used= 57.0817
maximum resident set size= 340940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79385
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= 25
involuntary context switches= 1101


# summary of solver processes directly reported to runsolver:
#   pid: 261193
#   total CPU time (s): 3558.03
#   total CPU user time (s): 3500.94
#   total CPU system time (s): 57.0817

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74736 second user time and 14.9749 second system time

The end