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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428179-1722773151/watcher-4428179-1722773151 -o /tmp/evaluation-result-4428179-1722773151/solver-4428179-1722773151 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722769582-238912 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428179-1722773151.opb -t 3558 -s 704629819 

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=240947, runsolver pid=240944

[startup+0.100068 s]*
/proc/loadavg: 4.10 4.14 4.06 4/250 240958
/proc/meminfo: memFree=126678044/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=42532 memory=22584 CPUtime=0.09 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 5006 0 0 0 9 0 0 0 20 0 1 0 43915343 43552768 5646 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 10633 5646 749 2403 0 7743 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 22584 KiB

[startup+0.205543 s]*
/proc/loadavg: 4.10 4.14 4.06 4/250 240958
/proc/meminfo: memFree=126608716/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=105828 memory=89908 CPUtime=0.19 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 20597 0 0 0 16 3 0 0 20 0 1 0 43915343 108367872 22477 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 26457 22477 2237 2403 0 23567 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 105828 KiB
Current children cumulated memory: 89908 KiB

[startup+0.305544 s]*
/proc/loadavg: 4.10 4.14 4.06 4/250 240958
/proc/meminfo: memFree=126571204/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=134104 memory=117604 CPUtime=0.29 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 27466 0 0 0 25 4 0 0 20 0 1 0 43915343 137322496 29401 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 33526 29401 2301 2403 0 30636 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 134104 KiB
Current children cumulated memory: 117604 KiB

[startup+0.700193 s]
/proc/loadavg: 4.10 4.14 4.06 4/250 240958
/proc/meminfo: memFree=126461924/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=179428 memory=163512 CPUtime=0.68 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 41203 0 0 0 62 6 0 0 20 0 1 0 43915343 183734272 40878 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 44857 40878 2349 2403 0 41967 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 179428 KiB
Current children cumulated memory: 163512 KiB

[startup+1.5002 s]
/proc/loadavg: 4.10 4.14 4.06 5/252 240964
/proc/meminfo: memFree=126399508/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=334380 memory=276988 CPUtime=1.48 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 50900 0 0 0 138 10 0 0 20 0 1 0 43915343 342405120 69247 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 83595 69247 2365 2403 0 80705 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 334380 KiB
Current children cumulated memory: 276988 KiB

[startup+3.10547 s]
/proc/loadavg: 4.10 4.14 4.06 5/255 240996
/proc/meminfo: memFree=125860588/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=442008 memory=380548 CPUtime=3.08 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 77900 0 0 0 294 14 0 0 20 0 1 0 43915343 452616192 95137 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 110502 95137 2445 2403 0 107612 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 442008 KiB
Current children cumulated memory: 380548 KiB

[startup+6.3002 s]
/proc/loadavg: 4.09 4.14 4.06 5/255 240996
/proc/meminfo: memFree=125777204/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=442008 memory=380812 CPUtime=6.26 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 77935 0 0 0 612 14 0 0 20 0 1 0 43915343 452616192 95203 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 110502 95203 2445 2403 0 107612 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 442008 KiB
Current children cumulated memory: 380812 KiB

[startup+12.7001 s]
/proc/loadavg: 4.08 4.14 4.06 5/255 240998
/proc/meminfo: memFree=125765804/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=442412 memory=381060 CPUtime=12.65 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 77989 0 0 0 1250 15 0 0 20 0 1 0 43915343 453029888 95265 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 110603 95265 2445 2403 0 107713 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 442412 KiB
Current children cumulated memory: 381060 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.14 4.07 5/255 240999
/proc/meminfo: memFree=125671632/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=442412 memory=381308 CPUtime=25.4 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 78045 0 0 0 2525 15 0 0 20 0 1 0 43915343 453029888 95327 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 110603 95327 2445 2403 0 107713 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 442412 KiB
Current children cumulated memory: 381308 KiB

[startup+51.1054 s]
/proc/loadavg: 4.09 4.13 4.07 5/255 241004
/proc/meminfo: memFree=125616176/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=464032 memory=392852 CPUtime=50.93 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 81649 0 0 0 5077 16 0 0 20 0 1 0 43915343 475168768 98213 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 116008 98213 2477 2403 0 113118 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 464032 KiB
Current children cumulated memory: 392852 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.07 5/255 241014
/proc/meminfo: memFree=125585576/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=484024 memory=400540 CPUtime=101.97 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 82995 0 0 0 10180 17 0 0 20 0 1 0 43915343 495640576 100135 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 121006 100135 2477 2403 0 118116 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 484024 KiB
Current children cumulated memory: 400540 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.07 5/256 241026
/proc/meminfo: memFree=125473356/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=512268 memory=408000 CPUtime=161.78 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 83878 0 0 0 16161 17 0 0 20 0 1 0 43915343 524562432 102000 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 128067 102000 2477 2403 0 125177 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 512268 KiB
Current children cumulated memory: 408000 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.07 5/255 241036
/proc/meminfo: memFree=125360396/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=512268 memory=413232 CPUtime=221.61 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 83952 0 0 0 22144 17 0 0 20 0 1 0 43915343 524562432 103308 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 128067 103308 2477 2403 0 125177 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 512268 KiB
Current children cumulated memory: 413232 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/258 241051
/proc/meminfo: memFree=125279328/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=540368 memory=468452 CPUtime=281.45 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 99494 0 0 0 28126 19 0 0 20 0 1 0 43915343 553336832 117113 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 135092 117113 2477 2403 0 132202 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 540368 KiB
Current children cumulated memory: 468452 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.13 4.08 5/258 241062
/proc/meminfo: memFree=125265528/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=540368 memory=470052 CPUtime=341.29 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 99566 0 0 0 34110 19 0 0 20 0 1 0 43915343 553336832 117513 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 135092 117513 2477 2403 0 132202 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 540368 KiB
Current children cumulated memory: 470052 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.14 4.09 5/258 241072
/proc/meminfo: memFree=125235856/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=540368 memory=471628 CPUtime=401.13 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 99641 0 0 0 40094 19 0 0 20 0 1 0 43915343 553336832 117907 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 135092 117907 2477 2403 0 132202 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 540368 KiB
Current children cumulated memory: 471628 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 241083
/proc/meminfo: memFree=125225416/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=540368 memory=478164 CPUtime=460.96 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 99745 0 0 0 46077 19 0 0 20 0 1 0 43915343 553336832 119541 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0

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

/proc/loadavg: 4.38 4.21 4.13 5/259 242740
/proc/meminfo: memFree=125380820/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=382724 memory=353472 CPUtime=3154.43 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 133589 0 0 0 313355 2088 0 0 20 0 1 0 43915343 391909376 88368 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 95681 88368 2508 2403 0 92791 0
Current children cumulated CPU time: 3154.43 s
Current children cumulated vsize: 382724 KiB
Current children cumulated memory: 353472 KiB

[startup+3222.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/258 242751
/proc/meminfo: memFree=125381016/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=382724 memory=353472 CPUtime=3214.32 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 133601 0 0 0 319256 2176 0 0 20 0 1 0 43915343 391909376 88368 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 95681 88368 2508 2403 0 92791 0
Current children cumulated CPU time: 3214.32 s
Current children cumulated vsize: 382724 KiB
Current children cumulated memory: 353472 KiB

[startup+3282.3 s]
/proc/loadavg: 4.28 4.22 4.14 5/259 242764
/proc/meminfo: memFree=125380588/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=382724 memory=353472 CPUtime=3274.2 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 133613 0 0 0 325153 2267 0 0 20 0 1 0 43915343 391909376 88368 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 95681 88368 2508 2403 0 92791 0
Current children cumulated CPU time: 3274.2 s
Current children cumulated vsize: 382724 KiB
Current children cumulated memory: 353472 KiB

[startup+3342.3 s]
/proc/loadavg: 4.33 4.26 4.16 5/257 242786
/proc/meminfo: memFree=125380164/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=382724 memory=353472 CPUtime=3334.09 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 133625 0 0 0 331057 2352 0 0 20 0 1 0 43915343 391909376 88368 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 95681 88368 2508 2403 0 92791 0
Current children cumulated CPU time: 3334.09 s
Current children cumulated vsize: 382724 KiB
Current children cumulated memory: 353472 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.22 4.15 5/257 242796
/proc/meminfo: memFree=125379800/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=382724 memory=353472 CPUtime=3393.98 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 133637 0 0 0 336955 2443 0 0 20 0 1 0 43915343 391909376 88368 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 95681 88368 2508 2403 0 92791 0
Current children cumulated CPU time: 3393.98 s
Current children cumulated vsize: 382724 KiB
Current children cumulated memory: 353472 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.23 4.16 5/257 242806
/proc/meminfo: memFree=125379464/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=382724 memory=353472 CPUtime=3453.87 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 133649 0 0 0 342860 2527 0 0 20 0 1 0 43915343 391909376 88368 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 95681 88368 2508 2403 0 92791 0
Current children cumulated CPU time: 3453.87 s
Current children cumulated vsize: 382724 KiB
Current children cumulated memory: 353472 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.20 4.15 5/255 242818
/proc/meminfo: memFree=125379112/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=382724 memory=353472 CPUtime=3513.75 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 133661 0 0 0 348774 2601 0 0 20 0 1 0 43915343 391909376 88368 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 95681 88368 2508 2403 0 92791 0
Current children cumulated CPU time: 3513.75 s
Current children cumulated vsize: 382724 KiB
Current children cumulated memory: 353472 KiB

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

# cumulated CPU time of all completed processes:  user=3531.33 s, system=26.6805 s

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

[startup+3532.8 s]
/proc/loadavg: 4.12 4.19 4.15 5/255 242819
/proc/meminfo: memFree=125379084/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=382724 memory=353472 CPUtime=3524.24 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 133664 0 0 0 349807 2617 0 0 20 0 1 0 43915343 391909376 88368 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 95681 88368 2508 2403 0 92791 0
Current children cumulated CPU time: 3524.24 s
Current children cumulated vsize: 382724 KiB
Current children cumulated memory: 353472 KiB

[startup+3545.6 s]
/proc/loadavg: 4.11 4.19 4.15 5/255 242822
/proc/meminfo: memFree=125378844/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=382724 memory=353472 CPUtime=3537.01 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 133664 0 0 0 351066 2635 0 0 20 0 1 0 43915343 391909376 88368 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 95681 88368 2508 2403 0 92791 0
Current children cumulated CPU time: 3537.01 s
Current children cumulated vsize: 382724 KiB
Current children cumulated memory: 353472 KiB

[startup+3558.4 s]
/proc/loadavg: 4.15 4.19 4.15 5/255 242823
/proc/meminfo: memFree=125378896/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=382724 memory=353472 CPUtime=3549.78 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 133664 0 0 0 352324 2654 0 0 20 0 1 0 43915343 391909376 88368 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 95681 88368 2508 2403 0 92791 0
Current children cumulated CPU time: 3549.78 s
Current children cumulated vsize: 382724 KiB
Current children cumulated memory: 353472 KiB

[startup+3561.6 s]
/proc/loadavg: 4.14 4.19 4.15 5/255 242825
/proc/meminfo: memFree=125378860/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=382724 memory=353472 CPUtime=3552.98 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 133673 0 0 0 352639 2659 0 0 20 0 1 0 43915343 391909376 88368 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 95681 88368 2508 2403 0 92791 0
Current children cumulated CPU time: 3552.98 s
Current children cumulated vsize: 382724 KiB
Current children cumulated memory: 353472 KiB

[startup+3564.8 s]
/proc/loadavg: 4.14 4.19 4.15 5/255 242825
/proc/meminfo: memFree=125378868/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=382724 memory=353472 CPUtime=3556.18 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 133673 0 0 0 352953 2665 0 0 20 0 1 0 43915343 391909376 88368 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 95681 88368 2508 2403 0 92791 0
Current children cumulated CPU time: 3556.18 s
Current children cumulated vsize: 382724 KiB
Current children cumulated memory: 353472 KiB

[startup+3565.6 s]
/proc/loadavg: 4.14 4.19 4.15 5/255 242825
/proc/meminfo: memFree=125378868/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=382724 memory=353472 CPUtime=3556.97 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 133673 0 0 0 353031 2666 0 0 20 0 1 0 43915343 391909376 88368 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 95681 88368 2508 2403 0 92791 0
Current children cumulated CPU time: 3556.97 s
Current children cumulated vsize: 382724 KiB
Current children cumulated memory: 353472 KiB

[startup+3566.4 s]
/proc/loadavg: 4.13 4.19 4.15 5/255 242825
/proc/meminfo: memFree=125378868/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=382724 memory=353472 CPUtime=3557.77 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 133673 0 0 0 353110 2667 0 0 20 0 1 0 43915343 391909376 88368 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 95681 88368 2508 2403 0 92791 0
Current children cumulated CPU time: 3557.77 s
Current children cumulated vsize: 382724 KiB
Current children cumulated memory: 353472 KiB

[startup+3566.6 s]
/proc/loadavg: 4.13 4.19 4.15 5/255 242825
/proc/meminfo: memFree=125378868/131524600 swapFree=131071996/131071996
[pid=240947] ppid=240944 vsize=382724 memory=353472 CPUtime=3557.97 cores=4,6
/proc/240947/stat : 240947 (LS-MabS) R 240944 240947 238901 0 -1 4194304 133673 0 0 0 353130 2667 0 0 20 0 1 0 43915343 391909376 88368 134679101440 4194304 14036057 140728855308048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 40595456 140728855311393 140728855311494 140728855311494 140728855318510 0
/proc/240947/statm: 95681 88368 2508 2403 0 92791 0
Current children cumulated CPU time: 3557.97 s
Current children cumulated vsize: 382724 KiB
Current children cumulated memory: 353472 KiB

Child status: 0

Real time (s): 3566.63
CPU time (s): 3558.01
CPU user time (s): 3531.33
CPU system time (s): 26.6805
CPU usage (%): 99.7583
Max. virtual memory (cumulated for all children) (KiB): 688904
Max. memory (cumulated for all children) (KiB): 600148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3531.33
system time used= 26.6805
maximum resident set size= 600308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133679
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= 28
involuntary context switches= 1079


# summary of solver processes directly reported to runsolver:
#   pid: 240947
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3531.33
#   total CPU system time (s): 26.6805

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.70665 second user time and 15.4631 second system time

The end