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: 63931 MiB (61323 MiB free)
  memory of node 1: 64510 MiB (60791 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445946-1721326852/watcher-4445946-1721326852 -o /tmp/evaluation-result-4445946-1721326852/solver-4445946-1721326852 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721319623-986869 --watchdog 3760 ./LS-MabSP -f HOME/instance-4445946-1721326852.opb -t 3600 -s 1158964707 

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=991306, runsolver pid=991303

[startup+0.100972 s]*
/proc/loadavg: 4.13 4.12 4.09 5/258 991307
/proc/meminfo: memFree=125040204/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=22808 memory=10076 CPUtime=0.09 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 1266 0 0 0 9 0 0 0 20 0 1 0 184852634 23355392 2519 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 5702 2519 1105 2753 0 2355 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22808 KiB
Current children cumulated memory: 10076 KiB

[startup+0.205512 s]*
/proc/loadavg: 4.13 4.12 4.09 6/258 991307
/proc/meminfo: memFree=125015304/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=49620 memory=41304 CPUtime=0.2 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 7590 0 0 0 19 1 0 0 20 0 1 0 184852634 50810880 10326 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 12405 10326 2769 2753 0 9058 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49620 KiB
Current children cumulated memory: 41304 KiB

[startup+0.305633 s]*
/proc/loadavg: 4.13 4.12 4.09 5/258 991307
/proc/meminfo: memFree=125013404/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=51424 memory=43052 CPUtime=0.29 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 7989 0 0 0 28 1 0 0 20 0 1 0 184852634 52658176 10763 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 12856 10763 2817 2753 0 9509 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 51424 KiB
Current children cumulated memory: 43052 KiB

[startup+0.70016 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 991307
/proc/meminfo: memFree=125012552/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=51424 memory=43052 CPUtime=0.68 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 7991 0 0 0 67 1 0 0 20 0 1 0 184852634 52658176 10763 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 12856 10763 2817 2753 0 9509 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 51424 KiB
Current children cumulated memory: 43052 KiB

[startup+1.5002 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 991307
/proc/meminfo: memFree=125011512/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=52656 memory=44168 CPUtime=1.48 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 8253 0 0 0 147 1 0 0 20 0 1 0 184852634 53919744 11042 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 13164 11042 2833 2753 0 9817 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52656 KiB
Current children cumulated memory: 44168 KiB

[startup+3.1055 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 991307
/proc/meminfo: memFree=124996504/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=67088 memory=57572 CPUtime=3.08 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 12476 0 0 0 306 2 0 0 20 0 1 0 184852634 68698112 14393 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 16772 14393 2849 2753 0 13425 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 67088 KiB
Current children cumulated memory: 57572 KiB

[startup+6.30019 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 991307
/proc/meminfo: memFree=124990604/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=68740 memory=60468 CPUtime=6.27 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 13216 0 0 0 625 2 0 0 20 0 1 0 184852634 70389760 15117 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 17185 15117 2849 2753 0 13838 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 68740 KiB
Current children cumulated memory: 60468 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 991308
/proc/meminfo: memFree=124984280/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=68740 memory=60468 CPUtime=12.65 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 13221 0 0 0 1263 2 0 0 20 0 1 0 184852634 70389760 15117 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 17185 15117 2849 2753 0 13838 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 68740 KiB
Current children cumulated memory: 60468 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 991310
/proc/meminfo: memFree=124963448/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=71888 memory=63620 CPUtime=25.42 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 14035 0 0 0 2540 2 0 0 20 0 1 0 184852634 73613312 15905 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 17972 15905 2849 2753 0 14625 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 71888 KiB
Current children cumulated memory: 63620 KiB

[startup+51.1058 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 991314
/proc/meminfo: memFree=124943524/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=78296 memory=68840 CPUtime=50.96 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 18202 0 0 0 5093 3 0 0 20 0 1 0 184852634 80175104 17210 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 19574 17210 2849 2753 0 16227 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 78296 KiB
Current children cumulated memory: 68840 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 991323
/proc/meminfo: memFree=124902952/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=101520 memory=92292 CPUtime=102.02 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 24035 0 0 0 10198 4 0 0 20 0 1 0 184852634 103956480 23073 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 25380 23073 2849 2753 0 22033 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 101520 KiB
Current children cumulated memory: 92292 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 991334
/proc/meminfo: memFree=124854132/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=111152 memory=102048 CPUtime=161.85 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 26512 0 0 0 16181 4 0 0 20 0 1 0 184852634 113819648 25512 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 27788 25512 2849 2753 0 24441 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 111152 KiB
Current children cumulated memory: 102048 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 991345
/proc/meminfo: memFree=124801620/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=118980 memory=109704 CPUtime=221.69 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 28437 0 0 0 22164 5 0 0 20 0 1 0 184852634 121835520 27426 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 29745 27426 2849 2753 0 26398 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 118980 KiB
Current children cumulated memory: 109704 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 991401
/proc/meminfo: memFree=125115392/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=118980 memory=109704 CPUtime=281.52 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 28438 0 0 0 28147 5 0 0 20 0 1 0 184852634 121835520 27426 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 29745 27426 2849 2753 0 26398 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 118980 KiB
Current children cumulated memory: 109704 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/256 991798
/proc/meminfo: memFree=125163792/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=123816 memory=115860 CPUtime=341.32 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 32447 0 0 0 34126 6 0 0 20 0 1 0 184852634 126787584 28965 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 30954 28965 2849 2753 0 27607 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 123816 KiB
Current children cumulated memory: 115860 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 991809
/proc/meminfo: memFree=125134224/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=125084 memory=118676 CPUtime=401.11 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 33781 0 0 0 40105 6 0 0 20 0 1 0 184852634 128086016 29669 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 31271 29669 2849 2753 0 27924 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 125084 KiB
Current children cumulated memory: 118676 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 991987
/proc/meminfo: memFree=125103716/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=133516 memory=127140 CPUtime=460.93 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 35995 0 0 0 46087 6 0 0 20 0 1 0 184852634 136720384 31785 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 33379 31785 2849 2753 0 30032 0

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

/proc/loadavg: 4.14 4.10 4.09 5/256 991997
/proc/meminfo: memFree=125089864/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=133176 memory=127004 CPUtime=520.78 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 36440 0 0 0 52072 6 0 0 20 0 1 0 184852634 136372224 31751 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 33294 31751 2849 2753 0 29947 0
Current children cumulated CPU time: 520.78 s
Current children cumulated vsize: 133176 KiB
Current children cumulated memory: 127004 KiB

[startup+582.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/259 992066
/proc/meminfo: memFree=125064684/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=141168 memory=133696 CPUtime=580.62 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 38193 0 0 0 58056 6 0 0 20 0 1 0 184852634 144556032 33424 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 35292 33424 2849 2753 0 31945 0
Current children cumulated CPU time: 580.62 s
Current children cumulated vsize: 141168 KiB
Current children cumulated memory: 133696 KiB

[startup+642.3 s]
/proc/loadavg: 4.26 4.15 4.11 5/258 992078
/proc/meminfo: memFree=125051304/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=141168 memory=134876 CPUtime=640.47 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 38519 0 0 0 64040 7 0 0 20 0 1 0 184852634 144556032 33719 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 35292 33719 2849 2753 0 31945 0
Current children cumulated CPU time: 640.47 s
Current children cumulated vsize: 141168 KiB
Current children cumulated memory: 134876 KiB

[startup+702.3 s]
/proc/loadavg: 4.26 4.17 4.11 5/258 992088
/proc/meminfo: memFree=125047360/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=141168 memory=134876 CPUtime=700.31 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 38587 0 0 0 70024 7 0 0 20 0 1 0 184852634 144556032 33719 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 35292 33719 2849 2753 0 31945 0
Current children cumulated CPU time: 700.31 s
Current children cumulated vsize: 141168 KiB
Current children cumulated memory: 134876 KiB

[startup+762.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/257 992099
/proc/meminfo: memFree=125041544/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=145948 memory=138336 CPUtime=760.15 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 39496 0 0 0 76008 7 0 0 20 0 1 0 184852634 149450752 34584 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 36487 34584 2849 2753 0 33140 0
Current children cumulated CPU time: 760.15 s
Current children cumulated vsize: 145948 KiB
Current children cumulated memory: 138336 KiB

[startup+822.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/257 992110
/proc/meminfo: memFree=125039788/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=140372 memory=134200 CPUtime=819.99 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 40765 0 0 0 81991 8 0 0 20 0 1 0 184852634 143740928 33550 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 35093 33550 2849 2753 0 31746 0
Current children cumulated CPU time: 819.99 s
Current children cumulated vsize: 140372 KiB
Current children cumulated memory: 134200 KiB

[startup+882.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/254 992120
/proc/meminfo: memFree=125035112/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=143300 memory=136700 CPUtime=879.83 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 41459 0 0 0 87975 8 0 0 20 0 1 0 184852634 146739200 34175 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 35825 34175 2849 2753 0 32478 0
Current children cumulated CPU time: 879.83 s
Current children cumulated vsize: 143300 KiB
Current children cumulated memory: 136700 KiB

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

# cumulated CPU time of all completed processes:  user=913.159 s, system=0.085745 s

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

[startup+896 s]*
/proc/loadavg: 4.09 4.13 4.10 5/254 992122
/proc/meminfo: memFree=125034044/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=143300 memory=136764 CPUtime=893.5 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 42296 0 0 0 89342 8 0 0 20 0 1 0 184852634 146739200 34191 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 35825 34191 2849 2753 0 32478 0
Current children cumulated CPU time: 893.5 s
Current children cumulated vsize: 143300 KiB
Current children cumulated memory: 136764 KiB

[startup+908.8 s]
/proc/loadavg: 4.16 4.14 4.10 5/254 992123
/proc/meminfo: memFree=125031272/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=143300 memory=136764 CPUtime=906.26 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 42296 0 0 0 90618 8 0 0 20 0 1 0 184852634 146739200 34191 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 35825 34191 2849 2753 0 32478 0
Current children cumulated CPU time: 906.26 s
Current children cumulated vsize: 143300 KiB
Current children cumulated memory: 136764 KiB

[startup+912 s]*
/proc/loadavg: 4.15 4.14 4.10 5/254 992125
/proc/meminfo: memFree=125030564/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=143300 memory=136764 CPUtime=909.46 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 42296 0 0 0 90938 8 0 0 20 0 1 0 184852634 146739200 34191 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 35825 34191 2849 2753 0 32478 0
Current children cumulated CPU time: 909.46 s
Current children cumulated vsize: 143300 KiB
Current children cumulated memory: 136764 KiB

[startup+913.6 s]
/proc/loadavg: 4.15 4.14 4.10 5/254 992125
/proc/meminfo: memFree=125030492/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=143300 memory=136764 CPUtime=911.05 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 42296 0 0 0 91097 8 0 0 20 0 1 0 184852634 146739200 34191 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 35825 34191 2849 2753 0 32478 0
Current children cumulated CPU time: 911.05 s
Current children cumulated vsize: 143300 KiB
Current children cumulated memory: 136764 KiB

[startup+914.4 s]
/proc/loadavg: 4.13 4.14 4.10 5/254 992125
/proc/meminfo: memFree=125030572/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=143300 memory=136764 CPUtime=911.85 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 42296 0 0 0 91177 8 0 0 20 0 1 0 184852634 146739200 34191 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 35825 34191 2849 2753 0 32478 0
Current children cumulated CPU time: 911.85 s
Current children cumulated vsize: 143300 KiB
Current children cumulated memory: 136764 KiB

[startup+915.2 s]
/proc/loadavg: 4.13 4.14 4.10 5/254 992125
/proc/meminfo: memFree=125029824/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=143300 memory=136764 CPUtime=912.65 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 42296 0 0 0 91257 8 0 0 20 0 1 0 184852634 146739200 34191 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 35825 34191 2849 2753 0 32478 0
Current children cumulated CPU time: 912.65 s
Current children cumulated vsize: 143300 KiB
Current children cumulated memory: 136764 KiB

[startup+915.6 s]
/proc/loadavg: 4.13 4.14 4.10 5/254 992125
/proc/meminfo: memFree=125029824/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=143300 memory=136764 CPUtime=913.04 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 42296 0 0 0 91296 8 0 0 20 0 1 0 184852634 146739200 34191 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 35825 34191 2849 2753 0 32478 0
Current children cumulated CPU time: 913.04 s
Current children cumulated vsize: 143300 KiB
Current children cumulated memory: 136764 KiB

[startup+915.7 s]
/proc/loadavg: 4.13 4.14 4.10 5/254 992125
/proc/meminfo: memFree=125029824/131524600 swapFree=131071996/131071996
[pid=991306] ppid=991303 vsize=143300 memory=136764 CPUtime=913.14 cores=1,3
/proc/991306/stat : 991306 (LS-MabSP) R 991303 991306 986857 0 -1 4194304 42296 0 0 0 91306 8 0 0 20 0 1 0 184852634 146739200 34191 134679101440 4194304 15467897 140733363196896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47046656 140733363205150 140733363205253 140733363205253 140733363212269 0
/proc/991306/statm: 35825 34191 2849 2753 0 32478 0
Current children cumulated CPU time: 913.14 s
Current children cumulated vsize: 143300 KiB
Current children cumulated memory: 136764 KiB

Child status: 0

Real time (s): 915.792
CPU time (s): 913.244
CPU user time (s): 913.159
CPU system time (s): 0.085745
CPU usage (%): 99.7218
Max. virtual memory (cumulated for all children) (KiB): 146396
Max. memory (cumulated for all children) (KiB): 138864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 913.158
system time used= 0.085745
maximum resident set size= 140056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42297
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= 37
involuntary context switches= 398


# summary of solver processes directly reported to runsolver:
#   pid: 991306
#   total CPU time (s): 913.244
#   total CPU user time (s): 913.159
#   total CPU system time (s): 0.085745

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.80819 second user time and 4.12316 second system time

The end