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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427989-1722813219/watcher-4427989-1722813219 -o /tmp/evaluation-result-4427989-1722813219/solver-4427989-1722813219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722806085-262973 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427989-1722813219.opb -t 3558 -s 861795388 

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=267489, runsolver pid=267486

[startup+0.100293 s]*
/proc/loadavg: 4.20 4.20 4.13 5/258 267490
/proc/meminfo: memFree=126812708/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=27728 memory=13860 CPUtime=0.09 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 1993 0 0 0 9 0 0 0 20 0 1 0 47926168 28393472 3465 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 6932 3465 1073 2753 0 3585 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27728 KiB
Current children cumulated memory: 13860 KiB

[startup+0.205382 s]*
/proc/loadavg: 4.20 4.20 4.13 5/258 267490
/proc/meminfo: memFree=126807928/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=29772 memory=15180 CPUtime=0.2 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 2823 0 0 0 20 0 0 0 20 0 1 0 47926168 30486528 3795 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 7443 3795 1073 2753 0 4096 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29772 KiB
Current children cumulated memory: 15180 KiB

[startup+0.305317 s]*
/proc/loadavg: 4.20 4.20 4.13 6/255 267494
/proc/meminfo: memFree=127949472/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=29772 memory=17228 CPUtime=0.3 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 2824 0 0 0 30 0 0 0 20 0 1 0 47926168 30486528 4307 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 7443 4307 1073 2753 0 4096 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 29772 KiB
Current children cumulated memory: 17228 KiB

[startup+0.700232 s]
/proc/loadavg: 4.20 4.20 4.13 5/256 267504
/proc/meminfo: memFree=127914912/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=76868 memory=58052 CPUtime=0.69 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 8637 0 0 0 67 2 0 0 20 0 1 0 47926168 78712832 14513 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 19217 14513 1105 2753 0 15870 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 76868 KiB
Current children cumulated memory: 58052 KiB

[startup+1.50018 s]
/proc/loadavg: 4.20 4.20 4.13 7/250 267533
/proc/meminfo: memFree=129154976/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=76868 memory=58052 CPUtime=1.48 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 8637 0 0 0 146 2 0 0 20 0 1 0 47926168 78712832 14513 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 19217 14513 1105 2753 0 15870 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 76868 KiB
Current children cumulated memory: 58052 KiB

[startup+3.10554 s]
/proc/loadavg: 4.20 4.20 4.13 5/258 267582
/proc/meminfo: memFree=128799332/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=231952 memory=217184 CPUtime=3.08 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 46363 0 0 0 301 7 0 0 20 0 1 0 47926168 237518848 54296 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 57988 54296 2737 2753 0 54641 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 231952 KiB
Current children cumulated memory: 217184 KiB

[startup+6.3002 s]
/proc/loadavg: 4.18 4.20 4.13 5/258 267630
/proc/meminfo: memFree=128498956/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=479820 memory=422760 CPUtime=6.27 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 71527 0 0 0 615 12 0 0 20 0 1 0 47926168 491335680 105690 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 119955 105690 2833 2753 0 116608 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 479820 KiB
Current children cumulated memory: 422760 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.20 4.13 5/258 267630
/proc/meminfo: memFree=128028276/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=479820 memory=423244 CPUtime=12.65 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 71628 0 0 0 1253 12 0 0 20 0 1 0 47926168 491335680 105811 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 119955 105811 2833 2753 0 116608 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 479820 KiB
Current children cumulated memory: 423244 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.20 4.13 5/258 267633
/proc/meminfo: memFree=126512228/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=479820 memory=423484 CPUtime=25.41 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 71712 0 0 0 2529 12 0 0 20 0 1 0 47926168 491335680 105871 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 119955 105871 2833 2753 0 116608 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 479820 KiB
Current children cumulated memory: 423484 KiB

[startup+51.1055 s]
/proc/loadavg: 4.13 4.19 4.13 5/257 267637
/proc/meminfo: memFree=124121104/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=502704 memory=438472 CPUtime=50.94 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 74910 0 0 0 5081 13 0 0 20 0 1 0 47926168 514768896 109618 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 125676 109618 2849 2753 0 122329 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 502704 KiB
Current children cumulated memory: 438472 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.17 4.12 5/257 267646
/proc/meminfo: memFree=124107280/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=524048 memory=451304 CPUtime=102.01 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 75795 0 0 0 10188 13 0 0 20 0 1 0 47926168 536625152 112826 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 131012 112826 2849 2753 0 127665 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 524048 KiB
Current children cumulated memory: 451304 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/255 267657
/proc/meminfo: memFree=124100020/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=546920 memory=457820 CPUtime=161.88 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 76185 0 0 0 16174 14 0 0 20 0 1 0 47926168 560046080 114455 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 136730 114455 2849 2753 0 133383 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 546920 KiB
Current children cumulated memory: 457820 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.15 4.12 5/255 267668
/proc/meminfo: memFree=124091612/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=546920 memory=465188 CPUtime=221.73 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 76277 0 0 0 22159 14 0 0 20 0 1 0 47926168 560046080 116297 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 136730 116297 2849 2753 0 133383 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 546920 KiB
Current children cumulated memory: 465188 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/255 267679
/proc/meminfo: memFree=124017880/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=604120 memory=536848 CPUtime=281.59 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 90423 0 0 0 28143 16 0 0 20 0 1 0 47926168 618618880 134212 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 151030 134212 2849 2753 0 147683 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 604120 KiB
Current children cumulated memory: 536848 KiB

[startup+342.3 s]
/proc/loadavg: 4.22 4.17 4.12 5/255 267689
/proc/meminfo: memFree=124018724/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=604120 memory=536848 CPUtime=341.45 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 90460 0 0 0 34129 16 0 0 20 0 1 0 47926168 618618880 134212 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 151030 134212 2849 2753 0 147683 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 604120 KiB
Current children cumulated memory: 536848 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/257 267704
/proc/meminfo: memFree=124006116/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=604120 memory=536876 CPUtime=401.31 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 90579 0 0 0 40115 16 0 0 20 0 1 0 47926168 618618880 134219 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 151030 134219 2849 2753 0 147683 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 604120 KiB
Current children cumulated memory: 536876 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/257 267716
/proc/meminfo: memFree=124005652/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=604120 memory=536876 CPUtime=461.17 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 90696 0 0 0 46101 16 0 0 20 0 1 0 47926168 618618880 134219 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0

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

/proc/loadavg: 4.08 4.11 4.09 5/256 269390
/proc/meminfo: memFree=126222348/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=617332 memory=583216 CPUtime=3155.02 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 131440 0 0 0 313513 1989 0 0 20 0 1 0 47926168 632147968 145804 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 154333 145804 2849 2753 0 150986 0
Current children cumulated CPU time: 3155.02 s
Current children cumulated vsize: 617332 KiB
Current children cumulated memory: 583216 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 269401
/proc/meminfo: memFree=126221812/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=617332 memory=583216 CPUtime=3214.89 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 131458 0 0 0 319414 2075 0 0 20 0 1 0 47926168 632147968 145804 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 154333 145804 2849 2753 0 150986 0
Current children cumulated CPU time: 3214.89 s
Current children cumulated vsize: 617332 KiB
Current children cumulated memory: 583216 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/255 269412
/proc/meminfo: memFree=126221132/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=617332 memory=583216 CPUtime=3274.75 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 131589 0 0 0 325316 2159 0 0 20 0 1 0 47926168 632147968 145804 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 154333 145804 2849 2753 0 150986 0
Current children cumulated CPU time: 3274.75 s
Current children cumulated vsize: 617332 KiB
Current children cumulated memory: 583216 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 269422
/proc/meminfo: memFree=126220580/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=617332 memory=583216 CPUtime=3334.6 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 131607 0 0 0 331216 2244 0 0 20 0 1 0 47926168 632147968 145804 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 154333 145804 2849 2753 0 150986 0
Current children cumulated CPU time: 3334.6 s
Current children cumulated vsize: 617332 KiB
Current children cumulated memory: 583216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 269437
/proc/meminfo: memFree=126219920/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=617332 memory=583216 CPUtime=3394.46 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 131625 0 0 0 337119 2327 0 0 20 0 1 0 47926168 632147968 145804 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 154333 145804 2849 2753 0 150986 0
Current children cumulated CPU time: 3394.46 s
Current children cumulated vsize: 617332 KiB
Current children cumulated memory: 583216 KiB

[startup+3462.3 s]
/proc/loadavg: 4.34 4.18 4.12 5/257 269449
/proc/meminfo: memFree=126219336/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=617332 memory=583216 CPUtime=3454.32 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 131756 0 0 0 343021 2411 0 0 20 0 1 0 47926168 632147968 145804 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 154333 145804 2849 2753 0 150986 0
Current children cumulated CPU time: 3454.32 s
Current children cumulated vsize: 617332 KiB
Current children cumulated memory: 583216 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/258 269460
/proc/meminfo: memFree=126218640/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=617332 memory=583216 CPUtime=3514.18 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 131774 0 0 0 348926 2492 0 0 20 0 1 0 47926168 632147968 145804 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 154333 145804 2849 2753 0 150986 0
Current children cumulated CPU time: 3514.18 s
Current children cumulated vsize: 617332 KiB
Current children cumulated memory: 583216 KiB

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

# cumulated CPU time of all completed processes:  user=3532.45 s, system=25.5783 s

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

[startup+3532.8 s]
/proc/loadavg: 4.16 4.16 4.11 5/258 269462
/proc/meminfo: memFree=126218496/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=617332 memory=583216 CPUtime=3524.65 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 131774 0 0 0 349958 2507 0 0 20 0 1 0 47926168 632147968 145804 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 154333 145804 2849 2753 0 150986 0
Current children cumulated CPU time: 3524.65 s
Current children cumulated vsize: 617332 KiB
Current children cumulated memory: 583216 KiB

[startup+3545.6 s]
/proc/loadavg: 4.12 4.15 4.11 5/258 269465
/proc/meminfo: memFree=126218304/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=617332 memory=583216 CPUtime=3537.42 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 131774 0 0 0 351214 2528 0 0 20 0 1 0 47926168 632147968 145804 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 154333 145804 2849 2753 0 150986 0
Current children cumulated CPU time: 3537.42 s
Current children cumulated vsize: 617332 KiB
Current children cumulated memory: 583216 KiB

[startup+3558.4 s]
/proc/loadavg: 4.18 4.16 4.11 5/258 269467
/proc/meminfo: memFree=126218220/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=617332 memory=583216 CPUtime=3550.19 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 131792 0 0 0 352472 2547 0 0 20 0 1 0 47926168 632147968 145804 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 154333 145804 2849 2753 0 150986 0
Current children cumulated CPU time: 3550.19 s
Current children cumulated vsize: 617332 KiB
Current children cumulated memory: 583216 KiB

[startup+3561.6 s]
/proc/loadavg: 4.16 4.16 4.11 5/258 269467
/proc/meminfo: memFree=126218212/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=617332 memory=583216 CPUtime=3553.38 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 131792 0 0 0 352787 2551 0 0 20 0 1 0 47926168 632147968 145804 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 154333 145804 2849 2753 0 150986 0
Current children cumulated CPU time: 3553.38 s
Current children cumulated vsize: 617332 KiB
Current children cumulated memory: 583216 KiB

[startup+3564.8 s]
/proc/loadavg: 4.16 4.16 4.11 5/258 269469
/proc/meminfo: memFree=126218220/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=617332 memory=583216 CPUtime=3556.58 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 131792 0 0 0 353103 2555 0 0 20 0 1 0 47926168 632147968 145804 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 154333 145804 2849 2753 0 150986 0
Current children cumulated CPU time: 3556.58 s
Current children cumulated vsize: 617332 KiB
Current children cumulated memory: 583216 KiB

[startup+3565.6 s]
/proc/loadavg: 4.15 4.15 4.11 5/258 269469
/proc/meminfo: memFree=126218100/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=617332 memory=583216 CPUtime=3557.38 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 131792 0 0 0 353182 2556 0 0 20 0 1 0 47926168 632147968 145804 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 154333 145804 2849 2753 0 150986 0
Current children cumulated CPU time: 3557.38 s
Current children cumulated vsize: 617332 KiB
Current children cumulated memory: 583216 KiB

[startup+3566 s]*
/proc/loadavg: 4.15 4.15 4.11 5/258 269469
/proc/meminfo: memFree=126218100/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=617332 memory=583216 CPUtime=3557.78 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 131792 0 0 0 353222 2556 0 0 20 0 1 0 47926168 632147968 145804 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 154333 145804 2849 2753 0 150986 0
Current children cumulated CPU time: 3557.78 s
Current children cumulated vsize: 617332 KiB
Current children cumulated memory: 583216 KiB

[startup+3566.2 s]
/proc/loadavg: 4.15 4.15 4.11 5/258 269469
/proc/meminfo: memFree=126218100/131524600 swapFree=131071996/131071996
[pid=267489] ppid=267486 vsize=617332 memory=583216 CPUtime=3557.97 cores=1,3
/proc/267489/stat : 267489 (LS-MabSP) R 267486 267489 262961 0 -1 4194304 131792 0 0 0 353240 2557 0 0 20 0 1 0 47926168 632147968 145804 134679101440 4194304 15467897 140725093606288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 45387776 140725093610527 140725093610629 140725093610629 140725093617645 0
/proc/267489/statm: 154333 145804 2849 2753 0 150986 0
Current children cumulated CPU time: 3557.97 s
Current children cumulated vsize: 617332 KiB
Current children cumulated memory: 583216 KiB

Child status: 0

Real time (s): 3566.24
CPU time (s): 3558.02
CPU user time (s): 3532.45
CPU system time (s): 25.5783
CPU usage (%): 99.7696
Max. virtual memory (cumulated for all children) (KiB): 778392
Max. memory (cumulated for all children) (KiB): 684336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3532.45
system time used= 25.5783
maximum resident set size= 684336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131889
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= 26
involuntary context switches= 1345


# summary of solver processes directly reported to runsolver:
#   pid: 267489
#   total CPU time (s): 3558.02
#   total CPU user time (s): 3532.45
#   total CPU system time (s): 25.5783

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.71664 second user time and 12.898 second system time

The end