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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457897-1722827973/watcher-4457897-1722827973 -o /tmp/evaluation-result-4457897-1722827973/solver-4457897-1722827973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722827973-270470 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4457897-1722827973.opb -t 3558 -s 1102334951 

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=270531, runsolver pid=270516

[startup+0.100852 s]*
/proc/loadavg: 3.91 4.07 4.08 9/257 270533
/proc/meminfo: memFree=129490124/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=38344 memory=31192 CPUtime=0.09 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 5613 0 0 0 9 0 0 0 20 0 1 0 49401781 39264256 7798 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 9586 7798 2833 2753 0 6239 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38344 KiB
Current children cumulated memory: 31192 KiB

[startup+0.205167 s]*
/proc/loadavg: 3.91 4.07 4.08 5/257 270533
/proc/meminfo: memFree=129475424/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=50864 memory=43316 CPUtime=0.2 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 8700 0 0 0 19 1 0 0 20 0 1 0 49401781 52084736 10829 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 12716 10829 2833 2753 0 9369 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50864 KiB
Current children cumulated memory: 43316 KiB

[startup+0.305888 s]*
/proc/loadavg: 3.91 4.07 4.08 9/257 270533
/proc/meminfo: memFree=129467900/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=57272 memory=49916 CPUtime=0.3 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 10331 0 0 0 29 1 0 0 20 0 1 0 49401781 58646528 12479 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 14318 12479 2833 2753 0 10971 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 57272 KiB
Current children cumulated memory: 49916 KiB

[startup+0.700149 s]
/proc/loadavg: 3.91 4.07 4.08 9/257 270533
/proc/meminfo: memFree=129467348/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=69012 memory=60464 CPUtime=0.68 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 12927 0 0 0 67 1 0 0 20 0 1 0 49401781 70668288 15116 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 17253 15116 2833 2753 0 13906 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69012 KiB
Current children cumulated memory: 60464 KiB

[startup+1.50018 s]
/proc/loadavg: 3.92 4.07 4.08 9/257 270533
/proc/meminfo: memFree=129449256/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=118200 memory=108036 CPUtime=1.48 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 24869 0 0 0 145 3 0 0 20 0 1 0 49401781 121036800 27009 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 29550 27009 2849 2753 0 26203 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 118200 KiB
Current children cumulated memory: 108036 KiB

[startup+3.10601 s]
/proc/loadavg: 3.92 4.07 4.08 8/257 270535
/proc/meminfo: memFree=129414020/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=111572 memory=102780 CPUtime=3.08 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 25257 0 0 0 305 3 0 0 20 0 1 0 49401781 114249728 25695 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 27893 25695 2849 2753 0 24546 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 111572 KiB
Current children cumulated memory: 102780 KiB

[startup+6.30016 s]
/proc/loadavg: 3.93 4.07 4.08 8/257 270535
/proc/meminfo: memFree=129413980/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=111572 memory=103032 CPUtime=6.27 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 25302 0 0 0 624 3 0 0 20 0 1 0 49401781 114249728 25758 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 27893 25758 2849 2753 0 24546 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 111572 KiB
Current children cumulated memory: 103032 KiB

[startup+12.7001 s]
/proc/loadavg: 3.93 4.07 4.08 9/257 270535
/proc/meminfo: memFree=129412984/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=111572 memory=104076 CPUtime=12.65 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 25587 0 0 0 1262 3 0 0 20 0 1 0 49401781 114249728 26019 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 27893 26019 2849 2753 0 24546 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 111572 KiB
Current children cumulated memory: 104076 KiB

[startup+25.5002 s]
/proc/loadavg: 3.94 4.07 4.08 9/257 270538
/proc/meminfo: memFree=129407232/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=115956 memory=107992 CPUtime=25.4 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 29653 0 0 0 2536 4 0 0 20 0 1 0 49401781 118738944 26998 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 28989 26998 2849 2753 0 25642 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 115956 KiB
Current children cumulated memory: 107992 KiB

[startup+51.1059 s]
/proc/loadavg: 4.10 4.09 4.08 9/257 270541
/proc/meminfo: memFree=129394860/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=127868 memory=121060 CPUtime=50.92 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 34540 0 0 0 5087 5 0 0 20 0 1 0 49401781 130936832 30265 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 31967 30265 2849 2753 0 28620 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 127868 KiB
Current children cumulated memory: 121060 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.08 8/258 270553
/proc/meminfo: memFree=129338016/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=183828 memory=176528 CPUtime=101.93 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 49782 0 0 0 10185 8 0 0 20 0 1 0 49401781 188239872 44132 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 45957 44132 2849 2753 0 42610 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 183828 KiB
Current children cumulated memory: 176528 KiB

[startup+162.3 s]
/proc/loadavg: 5.05 4.30 4.16 10/258 270564
/proc/meminfo: memFree=129275300/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=244880 memory=238148 CPUtime=161.72 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 65301 0 0 0 16162 10 0 0 20 0 1 0 49401781 250757120 59537 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 61220 59537 2849 2753 0 57873 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 244880 KiB
Current children cumulated memory: 238148 KiB

[startup+222.3 s]
/proc/loadavg: 4.87 4.44 4.22 8/258 270575
/proc/meminfo: memFree=129216708/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=315132 memory=303892 CPUtime=221.53 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 82210 0 0 0 22140 13 0 0 20 0 1 0 49401781 322695168 75973 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 78783 75973 2849 2753 0 75436 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 315132 KiB
Current children cumulated memory: 303892 KiB

[startup+282.3 s]
/proc/loadavg: 4.36 4.37 4.20 8/258 270585
/proc/meminfo: memFree=129152180/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=369004 memory=359872 CPUtime=281.34 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 95031 0 0 0 28119 15 0 0 20 0 1 0 49401781 377860096 89968 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 92251 89968 2849 2753 0 88904 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 369004 KiB
Current children cumulated memory: 359872 KiB

[startup+342.3 s]
/proc/loadavg: 4.23 4.33 4.20 9/256 270595
/proc/meminfo: memFree=129085772/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=434524 memory=425064 CPUtime=341.15 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 111930 0 0 0 34098 17 0 0 20 0 1 0 49401781 444952576 106266 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 108631 106266 2849 2753 0 105284 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 434524 KiB
Current children cumulated memory: 425064 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.29 4.19 10/257 270993
/proc/meminfo: memFree=129128920/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=489400 memory=480844 CPUtime=400.96 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 126979 0 0 0 40077 19 0 0 20 0 1 0 49401781 501145600 120211 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 122350 120211 2849 2753 0 119003 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 489400 KiB
Current children cumulated memory: 480844 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.25 4.18 9/257 271005
/proc/meminfo: memFree=129069972/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=546184 memory=538848 CPUtime=460.76 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 142252 0 0 0 46055 21 0 0 20 0 1 0 49401781 559292416 134712 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0

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

/proc/loadavg: 4.13 4.10 4.09 9/258 272321
/proc/meminfo: memFree=128451528/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=1126480 memory=1121296 CPUtime=3213.94 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 460486 0 0 0 293436 27958 0 0 20 0 1 0 49401781 1153515520 280324 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 281620 280324 2849 2753 0 278273 0
Current children cumulated CPU time: 3213.94 s
Current children cumulated vsize: 1126480 KiB
Current children cumulated memory: 1121296 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.09 9/257 272331
/proc/meminfo: memFree=128450576/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=1126480 memory=1121296 CPUtime=3273.83 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 460488 0 0 0 298268 29115 0 0 20 0 1 0 49401781 1153515520 280324 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 281620 280324 2849 2753 0 278273 0
Current children cumulated CPU time: 3273.83 s
Current children cumulated vsize: 1126480 KiB
Current children cumulated memory: 1121296 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.11 4.09 9/257 272343
/proc/meminfo: memFree=128450180/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=1126480 memory=1121296 CPUtime=3333.72 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 460491 0 0 0 303096 30276 0 0 20 0 1 0 49401781 1153515520 280324 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 281620 280324 2849 2753 0 278273 0
Current children cumulated CPU time: 3333.72 s
Current children cumulated vsize: 1126480 KiB
Current children cumulated memory: 1121296 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 9/255 272353
/proc/meminfo: memFree=128449384/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=1126480 memory=1121296 CPUtime=3393.61 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 460493 0 0 0 307911 31450 0 0 20 0 1 0 49401781 1153515520 280324 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 281620 280324 2849 2753 0 278273 0
Current children cumulated CPU time: 3393.61 s
Current children cumulated vsize: 1126480 KiB
Current children cumulated memory: 1121296 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 9/255 272365
/proc/meminfo: memFree=128448636/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=1126480 memory=1121296 CPUtime=3453.51 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 460496 0 0 0 312745 32606 0 0 20 0 1 0 49401781 1153515520 280324 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 281620 280324 2849 2753 0 278273 0
Current children cumulated CPU time: 3453.51 s
Current children cumulated vsize: 1126480 KiB
Current children cumulated memory: 1121296 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 10/255 272377
/proc/meminfo: memFree=128447856/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=1126480 memory=1121296 CPUtime=3513.4 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 460498 0 0 0 317588 33752 0 0 20 0 1 0 49401781 1153515520 280324 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 281620 280324 2849 2753 0 278273 0
Current children cumulated CPU time: 3513.4 s
Current children cumulated vsize: 1126480 KiB
Current children cumulated memory: 1121296 KiB

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

# cumulated CPU time of all completed processes:  user=3211.99 s, system=346.017 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.09 4.09 9/255 272378
/proc/meminfo: memFree=128447752/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=1126480 memory=1121296 CPUtime=3523.88 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 460499 0 0 0 318431 33957 0 0 20 0 1 0 49401781 1153515520 280324 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 281620 280324 2849 2753 0 278273 0
Current children cumulated CPU time: 3523.88 s
Current children cumulated vsize: 1126480 KiB
Current children cumulated memory: 1121296 KiB

[startup+3545.6 s]
/proc/loadavg: 4.07 4.08 4.09 9/255 272383
/proc/meminfo: memFree=128447476/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=1126480 memory=1121296 CPUtime=3536.66 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 460499 0 0 0 319468 34198 0 0 20 0 1 0 49401781 1153515520 280324 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 281620 280324 2849 2753 0 278273 0
Current children cumulated CPU time: 3536.66 s
Current children cumulated vsize: 1126480 KiB
Current children cumulated memory: 1121296 KiB

[startup+3558.4 s]
/proc/loadavg: 4.14 4.10 4.09 9/255 272385
/proc/meminfo: memFree=128447228/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=1126480 memory=1121296 CPUtime=3549.43 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 460500 0 0 0 320504 34439 0 0 20 0 1 0 49401781 1153515520 280324 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 281620 280324 2849 2753 0 278273 0
Current children cumulated CPU time: 3549.43 s
Current children cumulated vsize: 1126480 KiB
Current children cumulated memory: 1121296 KiB

[startup+3561.6 s]
/proc/loadavg: 4.14 4.10 4.09 9/255 272385
/proc/meminfo: memFree=128447244/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=1126480 memory=1121296 CPUtime=3552.62 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 460500 0 0 0 320763 34499 0 0 20 0 1 0 49401781 1153515520 280324 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 281620 280324 2849 2753 0 278273 0
Current children cumulated CPU time: 3552.62 s
Current children cumulated vsize: 1126480 KiB
Current children cumulated memory: 1121296 KiB

[startup+3564.8 s]
/proc/loadavg: 4.12 4.09 4.09 7/255 272432
/proc/meminfo: memFree=128406320/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=1126480 memory=1121296 CPUtime=3555.82 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 460500 0 0 0 321023 34559 0 0 20 0 1 0 49401781 1153515520 280324 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 281620 280324 2849 2753 0 278273 0
Current children cumulated CPU time: 3555.82 s
Current children cumulated vsize: 1126480 KiB
Current children cumulated memory: 1121296 KiB

[startup+3565.6 s]
/proc/loadavg: 4.12 4.09 4.09 6/250 272449
/proc/meminfo: memFree=128407416/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=1126480 memory=1121296 CPUtime=3556.62 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 460500 0 0 0 321089 34573 0 0 20 0 1 0 49401781 1153515520 280324 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 281620 280324 2849 2753 0 278273 0
Current children cumulated CPU time: 3556.62 s
Current children cumulated vsize: 1126480 KiB
Current children cumulated memory: 1121296 KiB

[startup+3566.4 s]
/proc/loadavg: 4.12 4.09 4.09 5/255 272524
/proc/meminfo: memFree=128141728/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=1126480 memory=1121296 CPUtime=3557.42 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 460500 0 0 0 321152 34590 0 0 20 0 1 0 49401781 1153515520 280324 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 281620 280324 2849 2753 0 278273 0
Current children cumulated CPU time: 3557.42 s
Current children cumulated vsize: 1126480 KiB
Current children cumulated memory: 1121296 KiB

[startup+3566.8 s]
/proc/loadavg: 4.12 4.09 4.09 5/255 272524
/proc/meminfo: memFree=128141728/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=1126480 memory=1121296 CPUtime=3557.82 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 460500 0 0 0 321184 34598 0 0 20 0 1 0 49401781 1153515520 280324 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 281620 280324 2849 2753 0 278273 0
Current children cumulated CPU time: 3557.82 s
Current children cumulated vsize: 1126480 KiB
Current children cumulated memory: 1121296 KiB

[startup+3566.9 s]
/proc/loadavg: 4.12 4.09 4.09 5/255 272524
/proc/meminfo: memFree=128141728/131524600 swapFree=131071996/131071996
[pid=270531] ppid=270516 vsize=1126480 memory=1121296 CPUtime=3557.92 cores=1,3
/proc/270531/stat : 270531 (LS-MabSP) R 270516 270531 270458 0 -1 4194304 460500 0 0 0 321192 34600 0 0 20 0 1 0 49401781 1153515520 280324 134679101440 4194304 15467897 140726720914512 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 48558080 140726720922654 140726720922757 140726720922757 140726720929773 0
/proc/270531/statm: 281620 280324 2849 2753 0 278273 0
Current children cumulated CPU time: 3557.92 s
Current children cumulated vsize: 1126480 KiB
Current children cumulated memory: 1121296 KiB

Child status: 0

Real time (s): 3566.98
CPU time (s): 3558.01
CPU user time (s): 3211.99
CPU system time (s): 346.017
CPU usage (%): 99.7484
Max. virtual memory (cumulated for all children) (KiB): 1799980
Max. memory (cumulated for all children) (KiB): 1784688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3211.99
system time used= 346.017
maximum resident set size= 1784688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460530
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= 110
involuntary context switches= 2879


# summary of solver processes directly reported to runsolver:
#   pid: 270531
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3211.99
#   total CPU system time (s): 346.017

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01776 second user time and 14.8076 second system time

The end