runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3481386-1307577823/watcher-3481386-1307577823 -o /tmp/evaluation-result-3481386-1307577823/solver-3481386-1307577823 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481386-1307577823.opb -seed 1722682389 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 2.01 1.59 3/686 29231
/proc/meminfo: memFree=17272920/32951124 swapFree=60476376/67111528
[pid=29231] ppid=29229 vsize=16240 CPUtime=0.01 cores=1,3,5,7
/proc/29231/stat : 29231 (python) R 29229 29231 27243 0 -1 4202496 1051 0 0 0 1 0 0 0 21 0 1 0 850198270 16629760 922 33554432000 4194304 5683644 140736777117168 18446744073709551615 5293775 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/29231/statm: 4060 922 381 364 0 547 0
[startup+0.0955759 s]
/proc/loadavg: 1.94 2.01 1.59 3/686 29231
/proc/meminfo: memFree=17272920/32951124 swapFree=60476376/67111528
[pid=29231] ppid=29229 vsize=94064 CPUtime=0.05 cores=1,3,5,7
/proc/29231/stat : 29231 (python) R 29229 29231 27243 0 -1 4202496 2946 463 1 0 4 1 0 0 18 0 1 0 850198270 96321536 2479 33554432000 4194304 5683644 140736777117168 18446744073709551615 5178064 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/29231/statm: 23516 2479 788 364 0 1627 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 94064
[startup+0.100525 s]
/proc/loadavg: 1.94 2.01 1.59 3/686 29231
/proc/meminfo: memFree=17272920/32951124 swapFree=60476376/67111528
[pid=29231] ppid=29229 vsize=96128 CPUtime=0.06 cores=1,3,5,7
/proc/29231/stat : 29231 (python) R 29229 29231 27243 0 -1 4202496 3170 928 1 0 5 1 0 0 18 0 1 0 850198270 98435072 2484 33554432000 4194304 5683644 140736777117168 18446744073709551615 5158152 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/29231/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.300528 s]
/proc/loadavg: 1.94 2.01 1.59 3/686 29231
/proc/meminfo: memFree=17272920/32951124 swapFree=60476376/67111528
[pid=29231] ppid=29229 vsize=175632 CPUtime=0.21 cores=1,3,5,7
/proc/29231/stat : 29231 (python) S 29229 29231 27243 0 -1 4202496 6245 928 1 0 16 5 0 0 17 0 1 0 850198270 179847168 4555 33554432000 4194304 5683644 140736777117168 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/29231/statm: 43908 4555 1236 364 0 3535 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 175632
[startup+1.45531 s]
/proc/loadavg: 1.94 2.01 1.59 3/686 29231
/proc/meminfo: memFree=17272920/32951124 swapFree=60476376/67111528
[pid=29231] ppid=29229 vsize=293240 CPUtime=0.4 cores=1,3,5,7
/proc/29231/stat : 29231 (python) S 29229 29231 27243 0 -1 4202496 10690 1319 1 0 32 8 0 0 20 0 2 0 850198270 300277760 7163 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29231/statm: 73310 7163 1871 364 0 8197 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 293240
[startup+1.5003 s]
/proc/loadavg: 1.94 2.01 1.59 3/686 29231
/proc/meminfo: memFree=17272920/32951124 swapFree=60476376/67111528
[pid=29231] ppid=29229 vsize=293240 CPUtime=0.4 cores=1,3,5,7
/proc/29231/stat : 29231 (python) S 29229 29231 27243 0 -1 4202496 10690 1319 1 0 32 8 0 0 20 0 2 0 850198270 300277760 7163 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29231/statm: 73310 7163 1871 364 0 8197 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 293240
[startup+3.10101 s]
/proc/loadavg: 1.94 2.01 1.59 3/690 29240
/proc/meminfo: memFree=17228852/32951124 swapFree=60476376/67111528
[pid=29231] ppid=29229 vsize=293240 CPUtime=0.4 cores=1,3,5,7
/proc/29231/stat : 29231 (python) S 29229 29231 27243 0 -1 4202496 10690 1319 1 0 32 8 0 0 20 0 2 0 850198270 300277760 7163 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29231/statm: 73310 7163 1871 364 0 8197 0
[pid=29238] ppid=29231 vsize=282996 CPUtime=0 cores=1,3,5,7
/proc/29238/stat : 29238 (python) S 29231 29231 27243 0 -1 4202560 847 0 0 0 0 0 0 0 15 0 1 0 850198325 289787904 5613 33554432000 4194304 5683644 140736777117168 18446744073709551615 220816256527 0 0 16781312 33554946 1161586725680578560 0 0 17 5 0 0 0
/proc/29238/statm: 70749 5613 325 364 0 5636 0
[pid=29240] ppid=29238 vsize=26016 CPUtime=2.56 cores=1,3,5,7
/proc/29240/stat : 29240 (scip-2.0.1.linu) R 29238 29240 29240 0 -1 4202496 7404 0 0 0 225 31 0 0 18 0 1 0 850198325 26640384 4253 33554432000 4194304 13684479 140733550666880 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29240/statm: 6504 4253 817 2317 0 4182 0
[pid=29231/tid=29239] ppid=29229 vsize=293240 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29239/stat : 29239 (python) S 29229 29231 27243 0 -1 4202560 29 1319 0 0 0 0 0 0 20 0 2 0 850198325 300277760 7163 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 602252
[startup+6.30042 s]
/proc/loadavg: 1.94 2.01 1.59 3/690 29240
/proc/meminfo: memFree=17227748/32951124 swapFree=60476376/67111528
[pid=29231] ppid=29229 vsize=293240 CPUtime=0.4 cores=1,3,5,7
/proc/29231/stat : 29231 (python) S 29229 29231 27243 0 -1 4202496 10690 1319 1 0 32 8 0 0 20 0 2 0 850198270 300277760 7163 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29231/statm: 73310 7163 1871 364 0 8197 0
[pid=29238] ppid=29231 vsize=282996 CPUtime=0.01 cores=1,3,5,7
/proc/29238/stat : 29238 (python) S 29231 29231 27243 0 -1 4202560 977 0 0 0 0 1 0 0 15 0 1 0 850198325 289787904 5636 33554432000 4194304 5683644 140736777117168 18446744073709551615 220816256527 0 0 16781312 33554946 1794748639793381376 0 0 17 7 0 0 0
/proc/29238/statm: 70749 5636 348 364 0 5636 0
[pid=29240] ppid=29238 vsize=29156 CPUtime=5.74 cores=1,3,5,7
/proc/29240/stat : 29240 (scip-2.0.1.linu) R 29238 29240 29240 0 -1 4202496 8234 0 0 0 497 77 0 0 18 0 1 0 850198325 29855744 5077 33554432000 4194304 13684479 140733550666880 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29240/statm: 7289 5077 817 2317 0 4967 0
[pid=29231/tid=29239] ppid=29229 vsize=293240 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29239/stat : 29239 (python) S 29229 29231 27243 0 -1 4202560 29 1319 0 0 0 0 0 0 20 0 2 0 850198325 300277760 7163 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 605392
[startup+12.7002 s]
/proc/loadavg: 1.95 2.01 1.59 3/690 29240
/proc/meminfo: memFree=17220088/32951124 swapFree=60476376/67111528
[pid=29231] ppid=29229 vsize=293240 CPUtime=0.4 cores=1,3,5,7
/proc/29231/stat : 29231 (python) S 29229 29231 27243 0 -1 4202496 10690 1319 1 0 32 8 0 0 20 0 2 0 850198270 300277760 7163 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29231/statm: 73310 7163 1871 364 0 8197 0
[pid=29238] ppid=29231 vsize=282996 CPUtime=0.06 cores=1,3,5,7
/proc/29238/stat : 29238 (python) S 29231 29231 27243 0 -1 4202560 1002 0 0 0 3 3 0 0 15 0 1 0 850198325 289787904 5639 33554432000 4194304 5683644 140736777117168 18446744073709551615 220816256527 0 0 16781312 33554946 3666551170425421824 0 0 17 5 0 0 0
/proc/29238/statm: 70749 5639 348 364 0 5636 0
[pid=29240] ppid=29238 vsize=35772 CPUtime=12.14 cores=1,3,5,7
/proc/29240/stat : 29240 (scip-2.0.1.linu) R 29238 29240 29240 0 -1 4202496 9899 0 0 0 1048 166 0 0 18 0 1 0 850198325 36630528 6731 33554432000 4194304 13684479 140733550666880 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29240/statm: 8943 6731 818 2317 0 6621 0
[pid=29231/tid=29239] ppid=29229 vsize=293240 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29239/stat : 29239 (python) S 29229 29231 27243 0 -1 4202560 29 1319 0 0 0 0 0 0 20 0 2 0 850198325 300277760 7163 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 612008
[startup+25.5009 s]
/proc/loadavg: 1.96 2.00 1.60 3/690 29241
/proc/meminfo: memFree=17199288/32951124 swapFree=60476376/67111528
[pid=29231] ppid=29229 vsize=293240 CPUtime=0.4 cores=1,3,5,7
/proc/29231/stat : 29231 (python) S 29229 29231 27243 0 -1 4202496 10690 1319 1 0 32 8 0 0 20 0 2 0 850198270 300277760 7163 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29231/statm: 73310 7163 1871 364 0 8197 0
[pid=29238] ppid=29231 vsize=282996 CPUtime=0.14 cores=1,3,5,7
/proc/29238/stat : 29238 (python) S 29231 29231 27243 0 -1 4202560 1025 0 0 0 7 7 0 0 15 0 1 0 850198325 289787904 5656 33554432000 4194304 5683644 140736777117168 18446744073709551615 220816256527 0 0 16781312 33554946 2741595685097832448 0 0 17 5 0 0 0
/proc/29238/statm: 70749 5656 349 364 0 5636 0
[pid=29240] ppid=29238 vsize=42548 CPUtime=24.94 cores=1,3,5,7
/proc/29240/stat : 29240 (scip-2.0.1.linu) R 29238 29240 29240 0 -1 4202496 16630 0 0 0 2146 348 0 0 18 0 1 0 850198325 43569152 8436 33554432000 4194304 13684479 140733550666880 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29240/statm: 10637 8436 818 2317 0 8315 0
[pid=29231/tid=29239] ppid=29229 vsize=293240 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29239/stat : 29239 (python) S 29229 29231 27243 0 -1 4202560 29 1319 0 0 0 0 0 0 20 0 2 0 850198325 300277760 7163 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 618784
[startup+51.1012 s]
/proc/loadavg: 1.91 1.99 1.60 3/682 29301
/proc/meminfo: memFree=17076468/32951124 swapFree=60476376/67111528
[pid=29231] ppid=29229 vsize=293240 CPUtime=0.4 cores=1,3,5,7
/proc/29231/stat : 29231 (python) S 29229 29231 27243 0 -1 4202496 10690 1319 1 0 32 8 0 0 20 0 2 0 850198270 300277760 7163 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29231/statm: 73310 7163 1871 364 0 8197 0
[pid=29238] ppid=29231 vsize=283128 CPUtime=0.3 cores=1,3,5,7
/proc/29238/stat : 29238 (python) S 29231 29231 27243 0 -1 4202560 1055 0 0 0 15 15 0 0 15 0 1 0 850198325 289923072 5676 33554432000 4194304 5683644 140736777117168 18446744073709551615 220816256527 0 0 16781312 33554946 1123570170552385536 0 0 17 5 0 0 0
/proc/29238/statm: 70782 5676 351 364 0 5669 0
[pid=29240] ppid=29238 vsize=57668 CPUtime=50.54 cores=1,3,5,7
/proc/29240/stat : 29240 (scip-2.0.1.linu) R 29238 29240 29240 0 -1 4202496 21770 0 0 0 4345 709 0 0 18 0 1 0 850198325 59052032 12233 33554432000 4194304 13684479 140733550666880 18446744073709551615 5563560 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29240/statm: 14417 12233 818 2317 0 12095 0
[pid=29231/tid=29239] ppid=29229 vsize=293240 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29239/stat : 29239 (python) S 29229 29231 27243 0 -1 4202560 29 1319 0 0 0 0 0 0 20 0 2 0 850198325 300277760 7163 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.24
Current children cumulated vsize (KiB) 634036
Solver just ended. Dumping a history of the last processes samples
[startup+52.101 s]
/proc/loadavg: 1.91 1.99 1.60 3/682 29301
/proc/meminfo: memFree=17073740/32951124 swapFree=60476376/67111528
[pid=29231] ppid=29229 vsize=293240 CPUtime=0.4 cores=1,3,5,7
/proc/29231/stat : 29231 (python) S 29229 29231 27243 0 -1 4202496 10690 1319 1 0 32 8 0 0 20 0 2 0 850198270 300277760 7163 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29231/statm: 73310 7163 1871 364 0 8197 0
[pid=29238] ppid=29231 vsize=283128 CPUtime=0.3 cores=1,3,5,7
/proc/29238/stat : 29238 (python) S 29231 29231 27243 0 -1 4202560 1055 0 0 0 15 15 0 0 15 0 1 0 850198325 289923072 5676 33554432000 4194304 5683644 140736777117168 18446744073709551615 220816256527 0 0 16781312 33554946 933834445448806400 0 0 17 5 0 0 0
/proc/29238/statm: 70782 5676 351 364 0 5669 0
[pid=29240] ppid=29238 vsize=58272 CPUtime=51.54 cores=1,3,5,7
/proc/29240/stat : 29240 (scip-2.0.1.linu) R 29238 29240 29240 0 -1 4202496 21923 0 0 0 4430 724 0 0 18 0 1 0 850198325 59670528 12386 33554432000 4194304 13684479 140733550666880 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29240/statm: 14568 12386 818 2317 0 12246 0
[pid=29231/tid=29239] ppid=29229 vsize=293240 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29239/stat : 29239 (python) S 29229 29231 27243 0 -1 4202560 29 1319 0 0 0 0 0 0 20 0 2 0 850198325 300277760 7163 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 52.24
Current children cumulated vsize (KiB) 634640
[startup+64.9006 s]
/proc/loadavg: 1.93 1.99 1.61 3/686 29306
/proc/meminfo: memFree=17047148/32951124 swapFree=60476376/67111528
[pid=29231] ppid=29229 vsize=303980 CPUtime=0.43 cores=1,3,5,7
/proc/29231/stat : 29231 (python) S 29229 29231 27243 0 -1 4202496 11545 1319 1 0 35 8 0 0 19 0 3 0 850198270 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29231/statm: 75995 7294 1874 364 0 10879 0
[pid=29238] ppid=29231 vsize=293372 CPUtime=0.35 cores=1,3,5,7
/proc/29238/stat : 29238 (python) S 29231 29231 27243 0 -1 4202560 1229 0 0 0 18 17 0 0 17 0 2 0 850198325 300412928 5746 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/29238/statm: 73343 5746 413 364 0 8230 0
[pid=29240] ppid=29238 vsize=61208 CPUtime=55.81 cores=1,3,5,7
/proc/29240/stat : 29240 (scip-2.0.1.linu) T 29238 29240 29240 0 -1 4202496 22665 0 0 0 4795 786 0 0 18 0 1 0 850198325 62676992 13124 33554432000 4194304 13684479 140733550666880 18446744073709551615 7422672 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/29240/statm: 15302 13124 818 2317 0 12980 0
[pid=29238/tid=29302] ppid=29231 vsize=293372 CPUtime=0 cores=1,3,5,7
/proc/29238/task/29302/stat : 29302 (python) S 29231 29231 27243 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 850203907 300412928 5746 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554946 18446604461076473152 0 0 -1 5 0 0 0
[pid=29303] ppid=29231 vsize=293736 CPUtime=0.04 cores=1,3,5,7
/proc/29303/stat : 29303 (python) S 29231 29231 27243 0 -1 4202560 913 0 0 0 2 2 0 0 15 0 1 0 850203910 300785664 5760 33554432000 4194304 5683644 140736777117168 18446744073709551615 220816256582 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/29303/statm: 73434 5760 344 364 0 8318 0
[pid=29305] ppid=29303 vsize=33072 CPUtime=8.48 cores=1,3,5,7
/proc/29305/stat : 29305 (scip-2.0.1.linu) R 29303 29305 29305 0 -1 4202496 15001 0 0 0 818 30 0 0 20 0 1 0 850203910 33865728 5460 33554432000 4194304 15243407 140736870898528 18446744073709551615 7267356 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29305/statm: 8268 5460 941 2698 0 5563 0
[pid=29231/tid=29239] ppid=29229 vsize=303980 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29239/stat : 29239 (python) S 29229 29231 27243 0 -1 4202560 29 1319 0 0 0 0 0 0 20 0 3 0 850198325 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
[pid=29231/tid=29304] ppid=29229 vsize=303980 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29304/stat : 29304 (python) S 29229 29231 27243 0 -1 4202560 31 1319 0 0 0 0 0 0 20 0 3 0 850203910 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 65.11
Current children cumulated vsize (KiB) 985368
[startup+77.7012 s]
/proc/loadavg: 1.94 1.99 1.61 3/686 29306
/proc/meminfo: memFree=17037804/32951124 swapFree=60476376/67111528
[pid=29231] ppid=29229 vsize=303980 CPUtime=0.43 cores=1,3,5,7
/proc/29231/stat : 29231 (python) S 29229 29231 27243 0 -1 4202496 11545 1319 1 0 35 8 0 0 19 0 3 0 850198270 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29231/statm: 75995 7294 1874 364 0 10879 0
[pid=29238] ppid=29231 vsize=293372 CPUtime=0.35 cores=1,3,5,7
/proc/29238/stat : 29238 (python) S 29231 29231 27243 0 -1 4202560 1229 0 0 0 18 17 0 0 17 0 2 0 850198325 300412928 5746 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/29238/statm: 73343 5746 413 364 0 8230 0
[pid=29240] ppid=29238 vsize=61208 CPUtime=55.81 cores=1,3,5,7
/proc/29240/stat : 29240 (scip-2.0.1.linu) T 29238 29240 29240 0 -1 4202496 22665 0 0 0 4795 786 0 0 18 0 1 0 850198325 62676992 13124 33554432000 4194304 13684479 140733550666880 18446744073709551615 7422672 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/29240/statm: 15302 13124 818 2317 0 12980 0
[pid=29238/tid=29302] ppid=29231 vsize=293372 CPUtime=0 cores=1,3,5,7
/proc/29238/task/29302/stat : 29302 (python) S 29231 29231 27243 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 850203907 300412928 5746 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554946 18446604461076473152 0 0 -1 5 0 0 0
[pid=29303] ppid=29231 vsize=293736 CPUtime=0.11 cores=1,3,5,7
/proc/29303/stat : 29303 (python) S 29231 29231 27243 0 -1 4202560 932 0 0 0 6 5 0 0 15 0 1 0 850203910 300785664 5760 33554432000 4194304 5683644 140736777117168 18446744073709551615 220816256582 0 0 16781312 33554946 3490539304646606848 0 0 17 7 0 0 0
/proc/29303/statm: 73434 5760 344 364 0 8318 0
[pid=29305] ppid=29303 vsize=41536 CPUtime=21.29 cores=1,3,5,7
/proc/29305/stat : 29305 (scip-2.0.1.linu) R 29303 29305 29305 0 -1 4202496 17413 0 0 0 2058 71 0 0 18 0 1 0 850203910 42532864 7468 33554432000 4194304 15243407 140736870898528 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29305/statm: 10384 7468 942 2698 0 7679 0
[pid=29231/tid=29239] ppid=29229 vsize=303980 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29239/stat : 29239 (python) S 29229 29231 27243 0 -1 4202560 29 1319 0 0 0 0 0 0 20 0 3 0 850198325 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
[pid=29231/tid=29304] ppid=29229 vsize=303980 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29304/stat : 29304 (python) S 29229 29231 27243 0 -1 4202560 31 1319 0 0 0 0 0 0 20 0 3 0 850203910 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 77.99
Current children cumulated vsize (KiB) 993832
[startup+80.9007 s]
/proc/loadavg: 1.95 1.99 1.61 3/690 29310
/proc/meminfo: memFree=17010244/32951124 swapFree=60476376/67111528
[pid=29231] ppid=29229 vsize=303980 CPUtime=0.43 cores=1,3,5,7
/proc/29231/stat : 29231 (python) S 29229 29231 27243 0 -1 4202496 11545 1319 1 0 35 8 0 0 19 0 3 0 850198270 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29231/statm: 75995 7294 1874 364 0 10879 0
[pid=29238] ppid=29231 vsize=293372 CPUtime=0.35 cores=1,3,5,7
/proc/29238/stat : 29238 (python) S 29231 29231 27243 0 -1 4202560 1229 0 0 0 18 17 0 0 17 0 2 0 850198325 300412928 5746 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/29238/statm: 73343 5746 413 364 0 8230 0
[pid=29240] ppid=29238 vsize=61208 CPUtime=55.81 cores=1,3,5,7
/proc/29240/stat : 29240 (scip-2.0.1.linu) T 29238 29240 29240 0 -1 4202496 22665 0 0 0 4795 786 0 0 18 0 1 0 850198325 62676992 13124 33554432000 4194304 13684479 140733550666880 18446744073709551615 7422672 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/29240/statm: 15302 13124 818 2317 0 12980 0
[pid=29238/tid=29302] ppid=29231 vsize=293372 CPUtime=0 cores=1,3,5,7
/proc/29238/task/29302/stat : 29302 (python) S 29231 29231 27243 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 850203907 300412928 5746 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554946 18446604461076473152 0 0 -1 5 0 0 0
[pid=29303] ppid=29231 vsize=293736 CPUtime=0.13 cores=1,3,5,7
/proc/29303/stat : 29303 (python) S 29231 29231 27243 0 -1 4202560 937 0 0 0 7 6 0 0 15 0 1 0 850203910 300785664 5760 33554432000 4194304 5683644 140736777117168 18446744073709551615 220816256582 0 0 16781312 33554946 4278291514242629632 0 0 17 7 0 0 0
/proc/29303/statm: 73434 5760 344 364 0 8318 0
[pid=29305] ppid=29303 vsize=42176 CPUtime=24.49 cores=1,3,5,7
/proc/29305/stat : 29305 (scip-2.0.1.linu) R 29303 29305 29305 0 -1 4202496 17651 0 0 0 2365 84 0 0 18 0 1 0 850203910 43188224 7706 33554432000 4194304 15243407 140736870898528 18446744073709551615 7336528 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29305/statm: 10544 7706 942 2698 0 7839 0
[pid=29231/tid=29239] ppid=29229 vsize=303980 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29239/stat : 29239 (python) S 29229 29231 27243 0 -1 4202560 29 1319 0 0 0 0 0 0 20 0 3 0 850198325 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
[pid=29231/tid=29304] ppid=29229 vsize=303980 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29304/stat : 29304 (python) S 29229 29231 27243 0 -1 4202560 31 1319 0 0 0 0 0 0 20 0 3 0 850203910 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 81.21
Current children cumulated vsize (KiB) 994472
[startup+82.5004 s]
/proc/loadavg: 1.95 1.99 1.61 3/690 29310
/proc/meminfo: memFree=16953824/32951124 swapFree=60476376/67111528
[pid=29231] ppid=29229 vsize=303980 CPUtime=0.43 cores=1,3,5,7
/proc/29231/stat : 29231 (python) S 29229 29231 27243 0 -1 4202496 11545 1319 1 0 35 8 0 0 19 0 3 0 850198270 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29231/statm: 75995 7294 1874 364 0 10879 0
[pid=29238] ppid=29231 vsize=293372 CPUtime=0.35 cores=1,3,5,7
/proc/29238/stat : 29238 (python) S 29231 29231 27243 0 -1 4202560 1229 0 0 0 18 17 0 0 17 0 2 0 850198325 300412928 5746 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/29238/statm: 73343 5746 413 364 0 8230 0
[pid=29240] ppid=29238 vsize=61208 CPUtime=55.81 cores=1,3,5,7
/proc/29240/stat : 29240 (scip-2.0.1.linu) T 29238 29240 29240 0 -1 4202496 22665 0 0 0 4795 786 0 0 18 0 1 0 850198325 62676992 13124 33554432000 4194304 13684479 140733550666880 18446744073709551615 7422672 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/29240/statm: 15302 13124 818 2317 0 12980 0
[pid=29238/tid=29302] ppid=29231 vsize=293372 CPUtime=0 cores=1,3,5,7
/proc/29238/task/29302/stat : 29302 (python) S 29231 29231 27243 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 850203907 300412928 5746 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554946 18446604461076473152 0 0 -1 5 0 0 0
[pid=29303] ppid=29231 vsize=293736 CPUtime=0.13 cores=1,3,5,7
/proc/29303/stat : 29303 (python) S 29231 29231 27243 0 -1 4202560 939 0 0 0 7 6 0 0 15 0 1 0 850203910 300785664 5760 33554432000 4194304 5683644 140736777117168 18446744073709551615 220816256582 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/29303/statm: 73434 5760 344 364 0 8318 0
[pid=29305] ppid=29303 vsize=41664 CPUtime=26.09 cores=1,3,5,7
/proc/29305/stat : 29305 (scip-2.0.1.linu) R 29303 29305 29305 0 -1 4202496 19160 0 0 0 2517 92 0 0 18 0 1 0 850203910 42663936 7596 33554432000 4194304 15243407 140736870898528 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29305/statm: 10416 7596 942 2698 0 7711 0
[pid=29231/tid=29239] ppid=29229 vsize=303980 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29239/stat : 29239 (python) S 29229 29231 27243 0 -1 4202560 29 1319 0 0 0 0 0 0 20 0 3 0 850198325 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
[pid=29231/tid=29304] ppid=29229 vsize=303980 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29304/stat : 29304 (python) S 29229 29231 27243 0 -1 4202560 31 1319 0 0 0 0 0 0 20 0 3 0 850203910 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 82.81
Current children cumulated vsize (KiB) 993960
[startup+84.1136 s]
/proc/loadavg: 1.95 1.99 1.61 3/690 29310
/proc/meminfo: memFree=16952832/32951124 swapFree=60476376/67111528
[pid=29231] ppid=29229 vsize=303980 CPUtime=0.43 cores=1,3,5,7
/proc/29231/stat : 29231 (python) S 29229 29231 27243 0 -1 4202496 11545 1319 1 0 35 8 0 0 19 0 3 0 850198270 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29231/statm: 75995 7294 1874 364 0 10879 0
[pid=29238] ppid=29231 vsize=293372 CPUtime=0.35 cores=1,3,5,7
/proc/29238/stat : 29238 (python) S 29231 29231 27243 0 -1 4202560 1229 0 0 0 18 17 0 0 17 0 2 0 850198325 300412928 5746 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/29238/statm: 73343 5746 413 364 0 8230 0
[pid=29240] ppid=29238 vsize=61208 CPUtime=55.81 cores=1,3,5,7
/proc/29240/stat : 29240 (scip-2.0.1.linu) T 29238 29240 29240 0 -1 4202496 22665 0 0 0 4795 786 0 0 18 0 1 0 850198325 62676992 13124 33554432000 4194304 13684479 140733550666880 18446744073709551615 7422672 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/29240/statm: 15302 13124 818 2317 0 12980 0
[pid=29238/tid=29302] ppid=29231 vsize=293372 CPUtime=0 cores=1,3,5,7
/proc/29238/task/29302/stat : 29302 (python) S 29231 29231 27243 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 850203907 300412928 5746 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554946 18446604461076473152 0 0 -1 5 0 0 0
[pid=29303] ppid=29231 vsize=293736 CPUtime=0.15 cores=1,3,5,7
/proc/29303/stat : 29303 (python) S 29231 29231 27243 0 -1 4202560 942 0 0 0 8 7 0 0 15 0 1 0 850203910 300785664 5760 33554432000 4194304 5683644 140736777117168 18446744073709551615 220816256582 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/29303/statm: 73434 5760 344 364 0 8318 0
[pid=29305] ppid=29303 vsize=41944 CPUtime=27.7 cores=1,3,5,7
/proc/29305/stat : 29305 (scip-2.0.1.linu) R 29303 29305 29305 0 -1 4202496 21092 0 0 0 2671 99 0 0 18 0 1 0 850203910 42950656 7674 33554432000 4194304 15243407 140736870898528 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29305/statm: 10486 7674 942 2698 0 7781 0
[pid=29231/tid=29239] ppid=29229 vsize=303980 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29239/stat : 29239 (python) S 29229 29231 27243 0 -1 4202560 29 1319 0 0 0 0 0 0 20 0 3 0 850198325 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
[pid=29231/tid=29304] ppid=29229 vsize=303980 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29304/stat : 29304 (python) S 29229 29231 27243 0 -1 4202560 31 1319 0 0 0 0 0 0 20 0 3 0 850203910 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 84.44
Current children cumulated vsize (KiB) 994240
[startup+84.501 s]
/proc/loadavg: 1.95 1.99 1.62 3/690 29310
/proc/meminfo: memFree=16951092/32951124 swapFree=60476376/67111528
[pid=29231] ppid=29229 vsize=303980 CPUtime=0.43 cores=1,3,5,7
/proc/29231/stat : 29231 (python) S 29229 29231 27243 0 -1 4202496 11545 1319 1 0 35 8 0 0 19 0 3 0 850198270 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29231/statm: 75995 7294 1874 364 0 10879 0
[pid=29238] ppid=29231 vsize=293372 CPUtime=0.35 cores=1,3,5,7
/proc/29238/stat : 29238 (python) S 29231 29231 27243 0 -1 4202560 1229 0 0 0 18 17 0 0 17 0 2 0 850198325 300412928 5746 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/29238/statm: 73343 5746 413 364 0 8230 0
[pid=29240] ppid=29238 vsize=61208 CPUtime=55.81 cores=1,3,5,7
/proc/29240/stat : 29240 (scip-2.0.1.linu) T 29238 29240 29240 0 -1 4202496 22665 0 0 0 4795 786 0 0 18 0 1 0 850198325 62676992 13124 33554432000 4194304 13684479 140733550666880 18446744073709551615 7422672 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/29240/statm: 15302 13124 818 2317 0 12980 0
[pid=29238/tid=29302] ppid=29231 vsize=293372 CPUtime=0 cores=1,3,5,7
/proc/29238/task/29302/stat : 29302 (python) S 29231 29231 27243 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 850203907 300412928 5746 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554946 18446604461076473152 0 0 -1 5 0 0 0
[pid=29303] ppid=29231 vsize=293736 CPUtime=0.15 cores=1,3,5,7
/proc/29303/stat : 29303 (python) S 29231 29231 27243 0 -1 4202560 944 0 0 0 8 7 0 0 15 0 1 0 850203910 300785664 5760 33554432000 4194304 5683644 140736777117168 18446744073709551615 220816256582 0 0 16781312 33554946 2677690256815292416 0 0 17 7 0 0 0
/proc/29303/statm: 73434 5760 344 364 0 8318 0
[pid=29305] ppid=29303 vsize=41944 CPUtime=28.1 cores=1,3,5,7
/proc/29305/stat : 29305 (scip-2.0.1.linu) R 29303 29305 29305 0 -1 4202496 21110 0 0 0 2709 101 0 0 18 0 1 0 850203910 42950656 7692 33554432000 4194304 15243407 140736870898528 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29305/statm: 10486 7692 942 2698 0 7781 0
[pid=29231/tid=29239] ppid=29229 vsize=303980 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29239/stat : 29239 (python) S 29229 29231 27243 0 -1 4202560 29 1319 0 0 0 0 0 0 20 0 3 0 850198325 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
[pid=29231/tid=29304] ppid=29229 vsize=303980 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29304/stat : 29304 (python) S 29229 29231 27243 0 -1 4202560 31 1319 0 0 0 0 0 0 20 0 3 0 850203910 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 84.84
Current children cumulated vsize (KiB) 994240
[startup+84.9009 s]
/proc/loadavg: 1.95 1.99 1.62 3/690 29310
/proc/meminfo: memFree=16951092/32951124 swapFree=60476376/67111528
[pid=29231] ppid=29229 vsize=303980 CPUtime=0.43 cores=1,3,5,7
/proc/29231/stat : 29231 (python) S 29229 29231 27243 0 -1 4202496 11545 1319 1 0 35 8 0 0 19 0 3 0 850198270 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/29231/statm: 75995 7294 1874 364 0 10879 0
[pid=29238] ppid=29231 vsize=293372 CPUtime=0.35 cores=1,3,5,7
/proc/29238/stat : 29238 (python) S 29231 29231 27243 0 -1 4202560 1229 0 0 0 18 17 0 0 17 0 2 0 850198325 300412928 5746 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/29238/statm: 73343 5746 413 364 0 8230 0
[pid=29240] ppid=29238 vsize=61208 CPUtime=55.81 cores=1,3,5,7
/proc/29240/stat : 29240 (scip-2.0.1.linu) T 29238 29240 29240 0 -1 4202496 22665 0 0 0 4795 786 0 0 18 0 1 0 850198325 62676992 13124 33554432000 4194304 13684479 140733550666880 18446744073709551615 7422672 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/29240/statm: 15302 13124 818 2317 0 12980 0
[pid=29238/tid=29302] ppid=29231 vsize=293372 CPUtime=0 cores=1,3,5,7
/proc/29238/task/29302/stat : 29302 (python) S 29231 29231 27243 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 850203907 300412928 5746 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554946 18446604461076473152 0 0 -1 5 0 0 0
[pid=29303] ppid=29231 vsize=293736 CPUtime=0.15 cores=1,3,5,7
/proc/29303/stat : 29303 (python) S 29231 29231 27243 0 -1 4202560 944 0 0 0 8 7 0 0 15 0 1 0 850203910 300785664 5760 33554432000 4194304 5683644 140736777117168 18446744073709551615 220816256582 0 0 16781312 33554946 4124827324824682496 0 0 17 7 0 0 0
/proc/29303/statm: 73434 5760 344 364 0 8318 0
[pid=29305] ppid=29303 vsize=41944 CPUtime=28.48 cores=1,3,5,7
/proc/29305/stat : 29305 (scip-2.0.1.linu) R 29303 29305 29305 0 -1 4202496 21125 0 0 0 2746 102 0 0 18 0 1 0 850203910 42950656 7707 33554432000 4194304 15243407 140736870898528 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/29305/statm: 10486 7707 942 2698 0 7781 0
[pid=29231/tid=29239] ppid=29229 vsize=303980 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29239/stat : 29239 (python) S 29229 29231 27243 0 -1 4202560 29 1319 0 0 0 0 0 0 20 0 3 0 850198325 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
[pid=29231/tid=29304] ppid=29229 vsize=303980 CPUtime=0 cores=1,3,5,7
/proc/29231/task/29304/stat : 29304 (python) S 29229 29231 27243 0 -1 4202560 31 1319 0 0 0 0 0 0 20 0 3 0 850203910 311275520 7294 33554432000 4194304 5683644 140736777117168 18446744073709551615 220828060081 0 0 16781312 33554434 18446604464646816768 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 85.22
Current children cumulated vsize (KiB) 994240
Child status: 0
Real time (s): 84.9742
CPU time (s): 85.362
CPU user time (s): 76.1084
CPU system time (s): 9.25359
CPU usage (%): 100.456
Max. virtual memory (cumulated for all children) (KiB): 994472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 76.1084
system time used= 9.25359
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63644
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2884
involuntary context switches= 115
runsolver used 0.375942 second user time and 1.01085 second system time
The end