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

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

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

solver pid=263879, runsolver pid=263874

[startup+0.100795 s]*
/proc/loadavg: 4.12 4.12 4.13 5/242 263884
/proc/meminfo: memFree=126531940/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=66484 memory=14140 CPUtime=0.1 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 2943 0 0 0 9 1 0 0 20 0 1 0 49716351 68079616 3535 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 16621 3535 749 2403 0 13731 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 66484 KiB
Current children cumulated memory: 14140 KiB

[startup+0.214251 s]*
/proc/loadavg: 4.12 4.12 4.13 4/240 263884
/proc/meminfo: memFree=126505032/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=70444 memory=18628 CPUtime=0.22 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 4066 0 0 0 21 1 0 0 20 0 1 0 49716351 72134656 4657 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 17611 4657 749 2403 0 14721 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 70444 KiB
Current children cumulated memory: 18628 KiB

[startup+0.313589 s]*
/proc/loadavg: 4.12 4.12 4.13 5/237 263892
/proc/meminfo: memFree=126448480/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=73876 memory=22588 CPUtime=0.31 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 5050 0 0 0 30 1 0 0 20 0 1 0 49716351 75649024 5647 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 18469 5647 749 2403 0 15579 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 73876 KiB
Current children cumulated memory: 22588 KiB

[startup+0.700343 s]
/proc/loadavg: 4.12 4.12 4.13 6/239 263907
/proc/meminfo: memFree=126291620/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=86944 memory=37636 CPUtime=0.68 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 8784 0 0 0 66 2 0 0 20 0 1 0 49716351 89030656 9409 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 21736 9409 749 2403 0 18846 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 86944 KiB
Current children cumulated memory: 37636 KiB

[startup+1.50035 s]
/proc/loadavg: 4.11 4.12 4.13 5/242 263932
/proc/meminfo: memFree=126026368/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=353692 memory=309988 CPUtime=1.48 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 76439 0 0 0 132 16 0 0 20 0 1 0 49716351 362180608 77497 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 88423 77497 2237 2403 0 85533 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 353692 KiB
Current children cumulated memory: 309988 KiB

[startup+3.11377 s]
/proc/loadavg: 4.11 4.12 4.13 5/242 263932
/proc/meminfo: memFree=124991160/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=565448 memory=519764 CPUtime=3.09 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 127513 0 0 0 284 25 0 0 20 0 1 0 49716351 579018752 129941 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 141362 129941 2301 2403 0 138472 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 565448 KiB
Current children cumulated memory: 519764 KiB

[startup+6.30032 s]
/proc/loadavg: 4.10 4.12 4.12 5/242 263932
/proc/meminfo: memFree=124158924/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=1161652 memory=1069040 CPUtime=6.27 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 177448 0 0 0 587 40 0 0 20 0 1 0 49716351 1189531648 267260 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 290413 267260 2429 2403 0 287523 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1161652 KiB
Current children cumulated memory: 1069040 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.12 4.12 5/242 263933
/proc/meminfo: memFree=124153760/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=1161652 memory=1072084 CPUtime=12.65 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 177714 0 0 0 1224 41 0 0 20 0 1 0 49716351 1189531648 268021 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 290413 268021 2429 2403 0 287523 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1161652 KiB
Current children cumulated memory: 1072084 KiB

[startup+25.5004 s]
/proc/loadavg: 4.08 4.11 4.12 5/242 263935
/proc/meminfo: memFree=124124108/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=1161652 memory=1072084 CPUtime=25.4 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 177744 0 0 0 2499 41 0 0 20 0 1 0 49716351 1189531648 268021 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 290413 268021 2429 2403 0 287523 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1161652 KiB
Current children cumulated memory: 1072084 KiB

[startup+51.1139 s]
/proc/loadavg: 4.11 4.12 4.12 5/242 263939
/proc/meminfo: memFree=124070276/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=1161652 memory=1072168 CPUtime=50.93 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 177800 0 0 0 5051 42 0 0 20 0 1 0 49716351 1189531648 268042 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 290413 268042 2429 2403 0 287523 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1161652 KiB
Current children cumulated memory: 1072168 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/241 263948
/proc/meminfo: memFree=123817980/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=1165124 memory=1076000 CPUtime=101.97 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 178780 0 0 0 10154 43 0 0 20 0 1 0 49716351 1193086976 269000 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 291281 269000 2445 2403 0 288391 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1165124 KiB
Current children cumulated memory: 1076000 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/238 263958
/proc/meminfo: memFree=123843816/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=1165124 memory=1076028 CPUtime=161.79 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 178825 0 0 0 16135 44 0 0 20 0 1 0 49716351 1193086976 269007 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 291281 269007 2445 2403 0 288391 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1165124 KiB
Current children cumulated memory: 1076028 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/238 263969
/proc/meminfo: memFree=123709640/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=1167340 memory=1077228 CPUtime=221.6 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 179199 0 0 0 22115 45 0 0 20 0 1 0 49716351 1195356160 269307 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 291835 269307 2445 2403 0 288945 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1167340 KiB
Current children cumulated memory: 1077228 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/238 263979
/proc/meminfo: memFree=123701588/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=1167340 memory=1077608 CPUtime=281.41 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 179338 0 0 0 28095 46 0 0 20 0 1 0 49716351 1195356160 269402 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 291835 269402 2445 2403 0 288945 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 1167340 KiB
Current children cumulated memory: 1077608 KiB

[startup+342.3 s]
/proc/loadavg: 4.24 4.14 4.11 5/238 263990
/proc/meminfo: memFree=123690432/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=1167988 memory=1078776 CPUtime=341.24 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 179651 0 0 0 34076 48 0 0 20 0 1 0 49716351 1196019712 269694 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 291997 269694 2445 2403 0 289107 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 1167988 KiB
Current children cumulated memory: 1078776 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 4.15 4.12 5/238 264001
/proc/meminfo: memFree=123686196/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=1175996 memory=1081816 CPUtime=401.05 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 181200 0 0 0 40056 49 0 0 20 0 1 0 49716351 1204219904 270454 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 293999 270454 2461 2403 0 291109 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 1175996 KiB
Current children cumulated memory: 1081816 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/241 264016
/proc/meminfo: memFree=123562080/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=1175996 memory=1081816 CPUtime=460.87 cores=1,3

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

/proc/loadavg: 4.18 4.15 4.15 5/238 265677
/proc/meminfo: memFree=124639152/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=798228 memory=770960 CPUtime=3153.53 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 252350 0 0 0 314907 446 0 0 20 0 1 0 49716351 817385472 192740 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 199557 192740 2508 2403 0 196667 0
Current children cumulated CPU time: 3153.53 s
Current children cumulated vsize: 798228 KiB
Current children cumulated memory: 770960 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/238 265688
/proc/meminfo: memFree=124638748/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=798228 memory=770960 CPUtime=3213.38 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 252413 0 0 0 320878 460 0 0 20 0 1 0 49716351 817385472 192740 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 199557 192740 2508 2403 0 196667 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 798228 KiB
Current children cumulated memory: 770960 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/238 265698
/proc/meminfo: memFree=124638236/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=798228 memory=770960 CPUtime=3273.22 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 252474 0 0 0 326846 476 0 0 20 0 1 0 49716351 817385472 192740 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 199557 192740 2508 2403 0 196667 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 798228 KiB
Current children cumulated memory: 770960 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/238 265709
/proc/meminfo: memFree=124638164/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=798228 memory=770960 CPUtime=3333.07 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 252537 0 0 0 332815 492 0 0 20 0 1 0 49716351 817385472 192740 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 199557 192740 2508 2403 0 196667 0
Current children cumulated CPU time: 3333.07 s
Current children cumulated vsize: 798228 KiB
Current children cumulated memory: 770960 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/238 265721
/proc/meminfo: memFree=124637940/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=798228 memory=770960 CPUtime=3392.91 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 252597 0 0 0 338785 506 0 0 20 0 1 0 49716351 817385472 192740 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 199557 192740 2508 2403 0 196667 0
Current children cumulated CPU time: 3392.91 s
Current children cumulated vsize: 798228 KiB
Current children cumulated memory: 770960 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.16 4.15 5/240 265735
/proc/meminfo: memFree=124637676/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=798228 memory=770960 CPUtime=3452.76 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 252660 0 0 0 344754 522 0 0 20 0 1 0 49716351 817385472 192740 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 199557 192740 2508 2403 0 196667 0
Current children cumulated CPU time: 3452.76 s
Current children cumulated vsize: 798228 KiB
Current children cumulated memory: 770960 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.16 4.15 5/240 265745
/proc/meminfo: memFree=124637252/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=798228 memory=770960 CPUtime=3512.59 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 252720 0 0 0 350722 537 0 0 20 0 1 0 49716351 817385472 192740 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 199557 192740 2508 2403 0 196667 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 798228 KiB
Current children cumulated memory: 770960 KiB

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

# cumulated CPU time of all completed processes:  user=3552.53 s, system=5.49129 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 5/240 265746
/proc/meminfo: memFree=124637224/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=798228 memory=770960 CPUtime=3523.07 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 252742 0 0 0 351767 540 0 0 20 0 1 0 49716351 817385472 192740 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 199557 192740 2508 2403 0 196667 0
Current children cumulated CPU time: 3523.07 s
Current children cumulated vsize: 798228 KiB
Current children cumulated memory: 770960 KiB

[startup+3545.6 s]
/proc/loadavg: 4.14 4.14 4.14 5/240 265748
/proc/meminfo: memFree=124637212/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=798228 memory=770960 CPUtime=3535.84 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 252742 0 0 0 353041 543 0 0 20 0 1 0 49716351 817385472 192740 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 199557 192740 2508 2403 0 196667 0
Current children cumulated CPU time: 3535.84 s
Current children cumulated vsize: 798228 KiB
Current children cumulated memory: 770960 KiB

[startup+3558.4 s]
/proc/loadavg: 4.19 4.15 4.15 5/240 265750
/proc/meminfo: memFree=124637148/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=798228 memory=770960 CPUtime=3548.61 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 252761 0 0 0 354315 546 0 0 20 0 1 0 49716351 817385472 192740 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 199557 192740 2508 2403 0 196667 0
Current children cumulated CPU time: 3548.61 s
Current children cumulated vsize: 798228 KiB
Current children cumulated memory: 770960 KiB

[startup+3564.8 s]
/proc/loadavg: 4.18 4.15 4.15 5/240 265752
/proc/meminfo: memFree=124637088/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=798228 memory=770960 CPUtime=3554.98 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 252761 0 0 0 354951 547 0 0 20 0 1 0 49716351 817385472 192740 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 199557 192740 2508 2403 0 196667 0
Current children cumulated CPU time: 3554.98 s
Current children cumulated vsize: 798228 KiB
Current children cumulated memory: 770960 KiB

[startup+3566.4 s]
/proc/loadavg: 4.18 4.15 4.15 5/238 265752
/proc/meminfo: memFree=125214260/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=798228 memory=770960 CPUtime=3556.59 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 252761 0 0 0 355111 548 0 0 20 0 1 0 49716351 817385472 192740 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 199557 192740 2508 2403 0 196667 0
Current children cumulated CPU time: 3556.59 s
Current children cumulated vsize: 798228 KiB
Current children cumulated memory: 770960 KiB

[startup+3567.2 s]
/proc/loadavg: 4.24 4.17 4.15 5/240 265798
/proc/meminfo: memFree=125205396/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=798228 memory=770960 CPUtime=3557.38 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 252761 0 0 0 355190 548 0 0 20 0 1 0 49716351 817385472 192740 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 199557 192740 2508 2403 0 196667 0
Current children cumulated CPU time: 3557.38 s
Current children cumulated vsize: 798228 KiB
Current children cumulated memory: 770960 KiB

[startup+3567.6 s]
/proc/loadavg: 4.24 4.17 4.15 5/240 265798
/proc/meminfo: memFree=125205396/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=798228 memory=770960 CPUtime=3557.78 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 252761 0 0 0 355230 548 0 0 20 0 1 0 49716351 817385472 192740 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 199557 192740 2508 2403 0 196667 0
Current children cumulated CPU time: 3557.78 s
Current children cumulated vsize: 798228 KiB
Current children cumulated memory: 770960 KiB

[startup+3567.8 s]
/proc/loadavg: 4.24 4.17 4.15 5/240 265798
/proc/meminfo: memFree=125205396/131655788 swapFree=131071996/131071996
[pid=263879] ppid=263874 vsize=798228 memory=770960 CPUtime=3557.98 cores=1,3
/proc/263879/stat : 263879 (LS-MabS) R 263874 263879 261846 0 -1 4194304 252761 0 0 0 355250 548 0 0 20 0 1 0 49716351 817385472 192740 134679101440 4194304 14036057 140727448113552 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 39124992 140727448122404 140727448122506 140727448122506 140727448129518 0
/proc/263879/statm: 199557 192740 2508 2403 0 196667 0
Current children cumulated CPU time: 3557.98 s
Current children cumulated vsize: 798228 KiB
Current children cumulated memory: 770960 KiB

Child status: 0

Real time (s): 3567.83
CPU time (s): 3558.02
CPU user time (s): 3552.53
CPU system time (s): 5.49129
CPU usage (%): 99.725
Max. virtual memory (cumulated for all children) (KiB): 1468384
Max. memory (cumulated for all children) (KiB): 1357276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3552.53
system time used= 5.49129
maximum resident set size= 1357276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252771
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= 38
involuntary context switches= 1103


# summary of solver processes directly reported to runsolver:
#   pid: 263879
#   total CPU time (s): 3558.02
#   total CPU user time (s): 3552.53
#   total CPU system time (s): 5.49129

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4788 second user time and 36.6919 second system time

The end