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: 64059 MiB (63188 MiB free)
  memory of node 1: 64510 MiB (60423 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458834-1722831194/watcher-4458834-1722831194 -o /tmp/evaluation-result-4458834-1722831194/solver-4458834-1722831194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722827629-261857 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4458834-1722831194.opb -t 3558 -s 1166328846 

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

solver pid=263883, runsolver pid=263878

[startup+0.100093 s]*
/proc/loadavg: 4.12 4.12 4.13 6/242 263884
/proc/meminfo: memFree=126531604/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=63472 memory=21268 CPUtime=0.1 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 4715 0 0 0 10 0 0 0 20 0 1 0 49716351 64995328 5317 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 15868 5317 749 2403 0 12978 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 63472 KiB
Current children cumulated memory: 21268 KiB

[startup+0.213603 s]*
/proc/loadavg: 4.12 4.12 4.13 5/240 263884
/proc/meminfo: memFree=126502680/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=85504 memory=46084 CPUtime=0.22 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 10902 0 0 0 21 1 0 0 20 0 1 0 49716351 87556096 11521 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 21376 11521 749 2403 0 18486 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 85504 KiB
Current children cumulated memory: 46084 KiB

[startup+0.313642 s]*
/proc/loadavg: 4.12 4.12 4.13 7/237 263892
/proc/meminfo: memFree=126444112/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=136704 memory=101564 CPUtime=0.32 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 23526 0 0 0 29 3 0 0 20 0 1 0 49716351 139984896 25391 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 34176 25391 2077 2403 0 31286 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 136704 KiB
Current children cumulated memory: 101564 KiB

[startup+0.700336 s]
/proc/loadavg: 4.12 4.12 4.13 6/238 263910
/proc/meminfo: memFree=126288932/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=336396 memory=300560 CPUtime=0.69 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 73758 0 0 0 58 11 0 0 20 0 1 0 49716351 344469504 75140 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 84099 75140 2301 2403 0 81209 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 336396 KiB
Current children cumulated memory: 300560 KiB

[startup+1.50034 s]
/proc/loadavg: 4.11 4.12 4.13 6/242 263932
/proc/meminfo: memFree=126021664/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=447648 memory=411028 CPUtime=1.49 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 101409 0 0 0 133 16 0 0 20 0 1 0 49716351 458391552 102757 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 111912 102757 2301 2403 0 109022 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 447648 KiB
Current children cumulated memory: 411028 KiB

[startup+3.11323 s]
/proc/loadavg: 4.11 4.12 4.13 6/242 263932
/proc/meminfo: memFree=124991160/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=723560 memory=656060 CPUtime=3.09 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 108954 0 0 0 288 21 0 0 20 0 1 0 49716351 740925440 164015 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 180890 164015 2365 2403 0 178000 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 723560 KiB
Current children cumulated memory: 656060 KiB

[startup+6.30031 s]
/proc/loadavg: 4.10 4.12 4.12 6/242 263932
/proc/meminfo: memFree=124153200/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=976252 memory=901884 CPUtime=6.27 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 148591 0 0 0 596 31 0 0 20 0 1 0 49716351 999682048 225471 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 244063 225471 2429 2403 0 241173 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 976252 KiB
Current children cumulated memory: 901884 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.12 4.12 7/242 263933
/proc/meminfo: memFree=124153760/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=976252 memory=903344 CPUtime=12.65 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 148980 0 0 0 1233 32 0 0 20 0 1 0 49716351 999682048 225836 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 244063 225836 2429 2403 0 241173 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 976252 KiB
Current children cumulated memory: 903344 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.11 4.12 6/242 263935
/proc/meminfo: memFree=124124108/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=976252 memory=904056 CPUtime=25.4 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 149168 0 0 0 2507 33 0 0 20 0 1 0 49716351 999682048 226014 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 244063 226014 2429 2403 0 241173 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 976252 KiB
Current children cumulated memory: 904056 KiB

[startup+51.1134 s]
/proc/loadavg: 4.11 4.12 4.12 6/242 263939
/proc/meminfo: memFree=124070276/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=980604 memory=908220 CPUtime=50.93 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 150214 0 0 0 5059 34 0 0 20 0 1 0 49716351 1004138496 227055 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 245151 227055 2445 2403 0 242261 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 980604 KiB
Current children cumulated memory: 908220 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.12 6/241 263948
/proc/meminfo: memFree=123817980/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=981852 memory=909132 CPUtime=101.95 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 150484 0 0 0 10159 36 0 0 20 0 1 0 49716351 1005416448 227283 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 245463 227283 2445 2403 0 242573 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 981852 KiB
Current children cumulated memory: 909132 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.11 6/238 263958
/proc/meminfo: memFree=123843816/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=986144 memory=910936 CPUtime=161.76 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 151208 0 0 0 16139 37 0 0 20 0 1 0 49716351 1009811456 227734 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 246536 227734 2445 2403 0 243646 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 986144 KiB
Current children cumulated memory: 910936 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.11 6/238 263969
/proc/meminfo: memFree=123709640/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=1021312 memory=931080 CPUtime=221.57 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 156363 0 0 0 22118 39 0 0 20 0 1 0 49716351 1045823488 232770 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 255328 232770 2477 2403 0 252438 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 1021312 KiB
Current children cumulated memory: 931080 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.11 6/238 263979
/proc/meminfo: memFree=123701588/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=1021312 memory=931200 CPUtime=281.38 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 156393 0 0 0 28099 39 0 0 20 0 1 0 49716351 1045823488 232800 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 255328 232800 2477 2403 0 252438 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 1021312 KiB
Current children cumulated memory: 931200 KiB

[startup+342.3 s]
/proc/loadavg: 4.24 4.14 4.11 7/238 263990
/proc/meminfo: memFree=123690432/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=1021312 memory=931200 CPUtime=341.19 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 156433 0 0 0 34078 41 0 0 20 0 1 0 49716351 1045823488 232800 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 255328 232800 2477 2403 0 252438 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 1021312 KiB
Current children cumulated memory: 931200 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 4.15 4.12 6/238 264001
/proc/meminfo: memFree=123686196/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=1021312 memory=931200 CPUtime=401 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 156473 0 0 0 40058 42 0 0 20 0 1 0 49716351 1045823488 232800 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 255328 232800 2477 2403 0 252438 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 1021312 KiB
Current children cumulated memory: 931200 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.11 6/241 264016
/proc/meminfo: memFree=123562080/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=1143032 memory=1052048 CPUtime=460.8 cores=4,6

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

/proc/loadavg: 4.18 4.15 4.15 6/238 265677
/proc/meminfo: memFree=124639152/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=620076 memory=598828 CPUtime=3153.46 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 213806 0 0 0 314815 531 0 0 20 0 1 0 49716351 634957824 149707 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 155019 149707 2508 2403 0 152129 0
Current children cumulated CPU time: 3153.46 s
Current children cumulated vsize: 620076 KiB
Current children cumulated memory: 598828 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.15 6/238 265688
/proc/meminfo: memFree=124638748/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=620076 memory=598828 CPUtime=3213.34 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 213855 0 0 0 320781 553 0 0 20 0 1 0 49716351 634957824 149707 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 155019 149707 2508 2403 0 152129 0
Current children cumulated CPU time: 3213.34 s
Current children cumulated vsize: 620076 KiB
Current children cumulated memory: 598828 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.14 6/238 265698
/proc/meminfo: memFree=124638236/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=620076 memory=598828 CPUtime=3273.21 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 213898 0 0 0 326752 569 0 0 20 0 1 0 49716351 634957824 149707 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 155019 149707 2508 2403 0 152129 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 620076 KiB
Current children cumulated memory: 598828 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.14 6/238 265709
/proc/meminfo: memFree=124638164/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=620076 memory=598828 CPUtime=3333.08 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 213943 0 0 0 332730 578 0 0 20 0 1 0 49716351 634957824 149707 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 155019 149707 2508 2403 0 152129 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 620076 KiB
Current children cumulated memory: 598828 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.14 6/238 265721
/proc/meminfo: memFree=124637940/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=620076 memory=598828 CPUtime=3392.96 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 213982 0 0 0 338709 587 0 0 20 0 1 0 49716351 634957824 149707 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 155019 149707 2508 2403 0 152129 0
Current children cumulated CPU time: 3392.96 s
Current children cumulated vsize: 620076 KiB
Current children cumulated memory: 598828 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.16 4.15 6/240 265735
/proc/meminfo: memFree=124637676/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=620076 memory=598828 CPUtime=3452.83 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 214035 0 0 0 344679 604 0 0 20 0 1 0 49716351 634957824 149707 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 155019 149707 2508 2403 0 152129 0
Current children cumulated CPU time: 3452.83 s
Current children cumulated vsize: 620076 KiB
Current children cumulated memory: 598828 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.16 4.15 6/240 265745
/proc/meminfo: memFree=124637252/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=620076 memory=598828 CPUtime=3512.71 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 214082 0 0 0 350650 621 0 0 20 0 1 0 49716351 634957824 149707 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 155019 149707 2508 2403 0 152129 0
Current children cumulated CPU time: 3512.71 s
Current children cumulated vsize: 620076 KiB
Current children cumulated memory: 598828 KiB

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

# cumulated CPU time of all completed processes:  user=3551.65 s, system=6.37121 s

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

[startup+3532.8 s]
/proc/loadavg: 4.17 4.15 4.15 6/240 265746
/proc/meminfo: memFree=124637224/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=620076 memory=598828 CPUtime=3523.18 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 214099 0 0 0 351694 624 0 0 20 0 1 0 49716351 634957824 149707 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 155019 149707 2508 2403 0 152129 0
Current children cumulated CPU time: 3523.18 s
Current children cumulated vsize: 620076 KiB
Current children cumulated memory: 598828 KiB

[startup+3545.6 s]
/proc/loadavg: 4.14 4.14 4.14 6/240 265748
/proc/meminfo: memFree=124637212/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=620076 memory=598828 CPUtime=3535.95 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 214114 0 0 0 352966 629 0 0 20 0 1 0 49716351 634957824 149707 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 155019 149707 2508 2403 0 152129 0
Current children cumulated CPU time: 3535.95 s
Current children cumulated vsize: 620076 KiB
Current children cumulated memory: 598828 KiB

[startup+3558.4 s]
/proc/loadavg: 4.19 4.15 4.15 6/240 265750
/proc/meminfo: memFree=124637148/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=620076 memory=598828 CPUtime=3548.73 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 214114 0 0 0 354239 634 0 0 20 0 1 0 49716351 634957824 149707 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 155019 149707 2508 2403 0 152129 0
Current children cumulated CPU time: 3548.73 s
Current children cumulated vsize: 620076 KiB
Current children cumulated memory: 598828 KiB

[startup+3561.6 s]
/proc/loadavg: 4.19 4.15 4.15 6/240 265752
/proc/meminfo: memFree=124637132/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=620076 memory=598828 CPUtime=3551.92 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 214114 0 0 0 354558 634 0 0 20 0 1 0 49716351 634957824 149707 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 155019 149707 2508 2403 0 152129 0
Current children cumulated CPU time: 3551.92 s
Current children cumulated vsize: 620076 KiB
Current children cumulated memory: 598828 KiB

[startup+3564.8 s]
/proc/loadavg: 4.18 4.15 4.15 6/240 265752
/proc/meminfo: memFree=124637088/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=620076 memory=598828 CPUtime=3555.11 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 214114 0 0 0 354876 635 0 0 20 0 1 0 49716351 634957824 149707 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 155019 149707 2508 2403 0 152129 0
Current children cumulated CPU time: 3555.11 s
Current children cumulated vsize: 620076 KiB
Current children cumulated memory: 598828 KiB

[startup+3566.4 s]
/proc/loadavg: 4.18 4.15 4.15 7/234 265752
/proc/meminfo: memFree=125215880/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=620076 memory=598828 CPUtime=3556.71 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 214131 0 0 0 355035 636 0 0 20 0 1 0 49716351 634957824 149707 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 155019 149707 2508 2403 0 152129 0
Current children cumulated CPU time: 3556.71 s
Current children cumulated vsize: 620076 KiB
Current children cumulated memory: 598828 KiB

[startup+3567.2 s]
/proc/loadavg: 4.24 4.17 4.15 6/240 265798
/proc/meminfo: memFree=125203716/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=620076 memory=598828 CPUtime=3557.51 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 214131 0 0 0 355115 636 0 0 20 0 1 0 49716351 634957824 149707 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 155019 149707 2508 2403 0 152129 0
Current children cumulated CPU time: 3557.51 s
Current children cumulated vsize: 620076 KiB
Current children cumulated memory: 598828 KiB

[startup+3567.6 s]
/proc/loadavg: 4.24 4.17 4.15 6/240 265798
/proc/meminfo: memFree=125203716/131655788 swapFree=131071996/131071996
[pid=263883] ppid=263878 vsize=620076 memory=598828 CPUtime=3557.91 cores=4,6
/proc/263883/stat : 263883 (LS-MabS) R 263878 263883 261846 0 -1 4194304 214131 0 0 0 355155 636 0 0 20 0 1 0 49716351 634957824 149707 134679101440 4194304 14036057 140722454951200 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 47607808 140722454959140 140722454959242 140722454959242 140722454966254 0
/proc/263883/statm: 155019 149707 2508 2403 0 152129 0
Current children cumulated CPU time: 3557.91 s
Current children cumulated vsize: 620076 KiB
Current children cumulated memory: 598828 KiB

Child status: 0

Real time (s): 3567.7
CPU time (s): 3558.02
CPU user time (s): 3551.65
CPU system time (s): 6.37121
CPU usage (%): 99.7287
Max. virtual memory (cumulated for all children) (KiB): 1207676
Max. memory (cumulated for all children) (KiB): 1114068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.65
system time used= 6.37121
maximum resident set size= 1114068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214137
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= 33
involuntary context switches= 2449


# summary of solver processes directly reported to runsolver:
#   pid: 263883
#   total CPU time (s): 3558.02
#   total CPU user time (s): 3551.65
#   total CPU system time (s): 6.37121

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1496 second user time and 34.1641 second system time

The end