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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457936-1722831065/watcher-4457936-1722831065 -o /tmp/evaluation-result-4457936-1722831065/solver-4457936-1722831065 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722827499-272570 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4457936-1722831065.opb -t 3558 -s 930872564 

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=274525, runsolver pid=274522

[startup+0.100772 s]*
/proc/loadavg: 4.05 4.13 4.16 5/258 274526
/proc/meminfo: memFree=124789960/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=39248 memory=31256 CPUtime=0.1 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 4951 0 0 0 9 1 0 0 20 0 1 0 49703514 40189952 7814 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 9812 7814 2737 2753 0 6465 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39248 KiB
Current children cumulated memory: 31256 KiB

[startup+0.205467 s]*
/proc/loadavg: 4.05 4.13 4.16 5/258 274526
/proc/meminfo: memFree=124774376/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=55500 memory=45940 CPUtime=0.19 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 8672 0 0 0 18 1 0 0 20 0 1 0 49703514 56832000 11485 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 13875 11485 2833 2753 0 10528 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 55500 KiB
Current children cumulated memory: 45940 KiB

[startup+0.305484 s]*
/proc/loadavg: 4.05 4.13 4.16 4/256 274527
/proc/meminfo: memFree=124943708/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=52252 memory=44308 CPUtime=0.3 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 9672 0 0 0 28 2 0 0 20 0 1 0 49703514 53506048 11077 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 13063 11077 2833 2753 0 9716 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52252 KiB
Current children cumulated memory: 44308 KiB

[startup+0.700195 s]
/proc/loadavg: 4.05 4.13 4.16 4/253 274535
/proc/meminfo: memFree=124931148/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=80132 memory=70472 CPUtime=0.69 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 16624 0 0 0 66 3 0 0 20 0 1 0 49703514 82055168 17618 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 20033 17618 2833 2753 0 16686 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 80132 KiB
Current children cumulated memory: 70472 KiB

[startup+1.5002 s]
/proc/loadavg: 4.05 4.13 4.16 6/253 274609
/proc/meminfo: memFree=126276244/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=95500 memory=85888 CPUtime=1.48 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 20717 0 0 0 145 3 0 0 20 0 1 0 49703514 97792000 21472 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 23875 21472 2833 2753 0 20528 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 95500 KiB
Current children cumulated memory: 85888 KiB

[startup+3.10526 s]
/proc/loadavg: 4.05 4.13 4.16 5/256 274633
/proc/meminfo: memFree=127195188/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=95500 memory=85888 CPUtime=3.08 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 20719 0 0 0 305 3 0 0 20 0 1 0 49703514 97792000 21472 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 23875 21472 2833 2753 0 20528 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 95500 KiB
Current children cumulated memory: 85888 KiB

[startup+6.30014 s]
/proc/loadavg: 4.05 4.13 4.16 5/258 274665
/proc/meminfo: memFree=127189016/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=95500 memory=87940 CPUtime=6.26 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 21097 0 0 0 623 3 0 0 20 0 1 0 49703514 97792000 21985 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 23875 21985 2833 2753 0 20528 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 95500 KiB
Current children cumulated memory: 87940 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.12 4.15 5/259 274667
/proc/meminfo: memFree=127188536/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=95500 memory=88176 CPUtime=12.64 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 21149 0 0 0 1261 3 0 0 20 0 1 0 49703514 97792000 22044 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 23875 22044 2833 2753 0 20528 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 95500 KiB
Current children cumulated memory: 88176 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.13 4.16 5/259 274669
/proc/meminfo: memFree=127169756/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=114532 memory=107820 CPUtime=25.4 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 26011 0 0 0 2536 4 0 0 20 0 1 0 49703514 117280768 26955 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 28633 26955 2833 2753 0 25286 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 114532 KiB
Current children cumulated memory: 107820 KiB

[startup+51.1053 s]
/proc/loadavg: 4.08 4.12 4.15 5/259 274673
/proc/meminfo: memFree=127129908/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=152276 memory=145680 CPUtime=50.92 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 36017 0 0 0 5086 6 0 0 20 0 1 0 49703514 155930624 36420 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 38069 36420 2833 2753 0 34722 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 152276 KiB
Current children cumulated memory: 145680 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/258 274683
/proc/meminfo: memFree=127089596/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=191048 memory=185148 CPUtime=101.95 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 46453 0 0 0 10187 8 0 0 20 0 1 0 49703514 195633152 46287 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 47762 46287 2849 2753 0 44415 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 191048 KiB
Current children cumulated memory: 185148 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.15 5/259 274694
/proc/meminfo: memFree=127033284/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=247572 memory=239320 CPUtime=161.77 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 61053 0 0 0 16168 9 0 0 20 0 1 0 49703514 253513728 59830 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 61893 59830 2849 2753 0 58546 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 247572 KiB
Current children cumulated memory: 239320 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.10 4.14 5/259 274705
/proc/meminfo: memFree=126969508/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=309844 memory=301888 CPUtime=221.6 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 77482 0 0 0 22148 12 0 0 20 0 1 0 49703514 317280256 75472 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 77461 75472 2849 2753 0 74114 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 309844 KiB
Current children cumulated memory: 301888 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.09 4.13 5/259 274715
/proc/meminfo: memFree=126920888/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=357128 memory=349340 CPUtime=281.42 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 90188 0 0 0 28128 14 0 0 20 0 1 0 49703514 365699072 87335 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 89282 87335 2849 2753 0 85935 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 357128 KiB
Current children cumulated memory: 349340 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.13 5/256 274725
/proc/meminfo: memFree=126871712/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=409792 memory=398104 CPUtime=341.25 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 104191 0 0 0 34109 16 0 0 20 0 1 0 49703514 419627008 99526 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 102448 99526 2849 2753 0 99101 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 409792 KiB
Current children cumulated memory: 398104 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/256 274738
/proc/meminfo: memFree=126817396/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=462764 memory=451392 CPUtime=401.08 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 116457 0 0 0 40089 19 0 0 20 0 1 0 49703514 473870336 112848 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 115691 112848 2849 2753 0 112344 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 462764 KiB
Current children cumulated memory: 451392 KiB

[startup+462.3 s]
/proc/loadavg: 4.50 4.19 4.15 5/255 274748
/proc/meminfo: memFree=126771604/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=507456 memory=496816 CPUtime=460.9 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 128916 0 0 0 46070 20 0 0 20 0 1 0 49703514 519634944 124204 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0

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

/proc/loadavg: 4.20 4.17 4.14 5/259 276426
/proc/meminfo: memFree=125790748/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=1446656 memory=1441416 CPUtime=3154.76 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 411997 0 0 0 288138 27338 0 0 20 0 1 0 49703514 1481375744 360354 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 361664 360354 2849 2753 0 358317 0
Current children cumulated CPU time: 3154.76 s
Current children cumulated vsize: 1446656 KiB
Current children cumulated memory: 1441416 KiB

[startup+3222.3 s]
/proc/loadavg: 4.24 4.18 4.15 5/257 276437
/proc/meminfo: memFree=125790228/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=1446656 memory=1441416 CPUtime=3214.65 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 412000 0 0 0 292964 28501 0 0 20 0 1 0 49703514 1481375744 360354 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 361664 360354 2849 2753 0 358317 0
Current children cumulated CPU time: 3214.65 s
Current children cumulated vsize: 1446656 KiB
Current children cumulated memory: 1441416 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.14 5/255 276447
/proc/meminfo: memFree=125789420/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=1446656 memory=1441416 CPUtime=3274.55 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 412003 0 0 0 297786 29669 0 0 20 0 1 0 49703514 1481375744 360354 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 361664 360354 2849 2753 0 358317 0
Current children cumulated CPU time: 3274.55 s
Current children cumulated vsize: 1446656 KiB
Current children cumulated memory: 1441416 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.16 4.14 5/255 276458
/proc/meminfo: memFree=125788860/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=1446656 memory=1441416 CPUtime=3334.46 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 412006 0 0 0 302600 30846 0 0 20 0 1 0 49703514 1481375744 360354 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 361664 360354 2849 2753 0 358317 0
Current children cumulated CPU time: 3334.46 s
Current children cumulated vsize: 1446656 KiB
Current children cumulated memory: 1441416 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/257 276473
/proc/meminfo: memFree=125788088/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=1446656 memory=1441416 CPUtime=3394.35 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 412009 0 0 0 307408 32027 0 0 20 0 1 0 49703514 1481375744 360354 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 361664 360354 2849 2753 0 358317 0
Current children cumulated CPU time: 3394.35 s
Current children cumulated vsize: 1446656 KiB
Current children cumulated memory: 1441416 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/257 276483
/proc/meminfo: memFree=125786904/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=1446656 memory=1441416 CPUtime=3454.24 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 412012 0 0 0 312213 33211 0 0 20 0 1 0 49703514 1481375744 360354 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 361664 360354 2849 2753 0 358317 0
Current children cumulated CPU time: 3454.24 s
Current children cumulated vsize: 1446656 KiB
Current children cumulated memory: 1441416 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/257 276493
/proc/meminfo: memFree=125786088/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=1446656 memory=1441416 CPUtime=3514.15 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 412015 0 0 0 317011 34404 0 0 20 0 1 0 49703514 1481375744 360354 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 361664 360354 2849 2753 0 358317 0
Current children cumulated CPU time: 3514.15 s
Current children cumulated vsize: 1446656 KiB
Current children cumulated memory: 1441416 KiB

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

# cumulated CPU time of all completed processes:  user=3205.1 s, system=352.91 s

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

[startup+3532.8 s]
/proc/loadavg: 4.28 4.18 4.14 5/257 276495
/proc/meminfo: memFree=125785988/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=1446656 memory=1441416 CPUtime=3524.63 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 412015 0 0 0 317848 34615 0 0 20 0 1 0 49703514 1481375744 360354 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 361664 360354 2849 2753 0 358317 0
Current children cumulated CPU time: 3524.63 s
Current children cumulated vsize: 1446656 KiB
Current children cumulated memory: 1441416 KiB

[startup+3545.6 s]
/proc/loadavg: 4.28 4.18 4.15 5/257 276496
/proc/meminfo: memFree=125785984/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=1446656 memory=1441416 CPUtime=3537.4 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 412016 0 0 0 318874 34866 0 0 20 0 1 0 49703514 1481375744 360354 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 361664 360354 2849 2753 0 358317 0
Current children cumulated CPU time: 3537.4 s
Current children cumulated vsize: 1446656 KiB
Current children cumulated memory: 1441416 KiB

[startup+3558.4 s]
/proc/loadavg: 4.32 4.19 4.15 5/257 276499
/proc/meminfo: memFree=125785932/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=1446656 memory=1441416 CPUtime=3550.19 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 412017 0 0 0 319889 35130 0 0 20 0 1 0 49703514 1481375744 360354 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 361664 360354 2849 2753 0 358317 0
Current children cumulated CPU time: 3550.19 s
Current children cumulated vsize: 1446656 KiB
Current children cumulated memory: 1441416 KiB

[startup+3561.6 s]
/proc/loadavg: 4.29 4.19 4.15 5/257 276501
/proc/meminfo: memFree=125785780/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=1446656 memory=1441416 CPUtime=3553.38 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 412017 0 0 0 320144 35194 0 0 20 0 1 0 49703514 1481375744 360354 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 361664 360354 2849 2753 0 358317 0
Current children cumulated CPU time: 3553.38 s
Current children cumulated vsize: 1446656 KiB
Current children cumulated memory: 1441416 KiB

[startup+3564.8 s]
/proc/loadavg: 4.29 4.19 4.15 5/257 276501
/proc/meminfo: memFree=125785804/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=1446656 memory=1441416 CPUtime=3556.57 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 412017 0 0 0 320396 35261 0 0 20 0 1 0 49703514 1481375744 360354 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 361664 360354 2849 2753 0 358317 0
Current children cumulated CPU time: 3556.57 s
Current children cumulated vsize: 1446656 KiB
Current children cumulated memory: 1441416 KiB

[startup+3565.6 s]
/proc/loadavg: 4.27 4.19 4.15 5/257 276501
/proc/meminfo: memFree=125785732/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=1446656 memory=1441416 CPUtime=3557.37 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 412017 0 0 0 320460 35277 0 0 20 0 1 0 49703514 1481375744 360354 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 361664 360354 2849 2753 0 358317 0
Current children cumulated CPU time: 3557.37 s
Current children cumulated vsize: 1446656 KiB
Current children cumulated memory: 1441416 KiB

[startup+3566 s]*
/proc/loadavg: 4.27 4.19 4.15 5/257 276547
/proc/meminfo: memFree=125788096/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=1446656 memory=1441416 CPUtime=3557.78 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 412017 0 0 0 320492 35286 0 0 20 0 1 0 49703514 1481375744 360354 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 361664 360354 2849 2753 0 358317 0
Current children cumulated CPU time: 3557.78 s
Current children cumulated vsize: 1446656 KiB
Current children cumulated memory: 1441416 KiB

[startup+3566.2 s]
/proc/loadavg: 4.27 4.19 4.15 5/257 276547
/proc/meminfo: memFree=125788096/131524600 swapFree=131071216/131071996
[pid=274525] ppid=274522 vsize=1446656 memory=1441416 CPUtime=3557.97 cores=4,6
/proc/274525/stat : 274525 (LS-MabSP) R 274522 274525 272559 0 -1 4194304 412017 0 0 0 320508 35289 0 0 20 0 1 0 49703514 1481375744 360354 134679101440 4194304 15467897 140729428919696 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 34549760 140729428923423 140729428923525 140729428923525 140729428930541 0
/proc/274525/statm: 361664 360354 2849 2753 0 358317 0
Current children cumulated CPU time: 3557.97 s
Current children cumulated vsize: 1446656 KiB
Current children cumulated memory: 1441416 KiB

Child status: 0

Real time (s): 3566.23
CPU time (s): 3558.01
CPU user time (s): 3205.1
CPU system time (s): 352.91
CPU usage (%): 99.7696
Max. virtual memory (cumulated for all children) (KiB): 1592748
Max. memory (cumulated for all children) (KiB): 1568880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3205.1
system time used= 352.91
maximum resident set size= 1568880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 412054
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= 130
involuntary context switches= 4479


# summary of solver processes directly reported to runsolver:
#   pid: 274525
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3205.1
#   total CPU system time (s): 352.91

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.35667 second user time and 12.6621 second system time

The end