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-3482434-1307576355/watcher-3482434-1307576355 -o /tmp/evaluation-result-3482434-1307576355/solver-3482434-1307576355 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482434-1307576355.opb -seed 1998031726 -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: 0.31 0.07 0.02 2/436 15077
/proc/meminfo: memFree=24831316/32951124 swapFree=50923800/67111528
[pid=15077] ppid=15073 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/15077/stat : 15077 (runsolver) D 15073 15077 15040 0 -1 4202560 46 0 0 0 0 0 0 0 18 0 1 0 850052516 12079104 53 33554432000 4194304 5432328 140737131856096 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/15077/statm: 2949 53 34 303 0 2643 0
[startup+0.0444509 s]
/proc/loadavg: 0.31 0.07 0.02 2/436 15077
/proc/meminfo: memFree=24831316/32951124 swapFree=50923800/67111528
[pid=15077] ppid=15073 vsize=6240 CPUtime=0 cores=1,3,5,7
/proc/15077/stat : 15077 (python) S 15073 15077 15040 0 -1 4194304 97 0 2 0 0 0 0 0 17 0 1 0 850052516 6389760 51 33554432000 4194304 5683644 140737321174672 18446744073709551615 270333460103 0 2147483391 4096 0 18446744071699199166 0 0 17 3 0 0 2
/proc/15077/statm: 1560 51 40 364 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6240
[startup+0.100494 s]
/proc/loadavg: 0.31 0.07 0.02 2/436 15077
/proc/meminfo: memFree=24831316/32951124 swapFree=50923800/67111528
[pid=15077] ppid=15073 vsize=14820 CPUtime=0 cores=1,3,5,7
/proc/15077/stat : 15077 (python) S 15073 15077 15040 0 -1 4202496 507 0 6 0 0 0 0 0 17 0 1 0 850052516 15175680 420 33554432000 4194304 5683644 140737321174672 18446744073709551615 270338379621 0 2147483391 4096 0 18446744071699199166 0 0 17 7 0 0 4
/proc/15077/statm: 3705 420 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820
[startup+0.300399 s]
/proc/loadavg: 0.31 0.07 0.02 2/436 15077
/proc/meminfo: memFree=24831316/32951124 swapFree=50923800/67111528
[pid=15077] ppid=15073 vsize=15780 CPUtime=0 cores=1,3,5,7
/proc/15077/stat : 15077 (python) D 15073 15077 15040 0 -1 4202496 890 0 6 0 0 0 0 0 16 0 1 0 850052516 16158720 777 33554432000 4194304 5683644 140737321174672 18446744073709551615 270338383616 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 6
/proc/15077/statm: 3945 777 343 364 0 432 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15780
[startup+0.70037 s]
/proc/loadavg: 0.31 0.07 0.02 2/436 15077
/proc/meminfo: memFree=24831316/32951124 swapFree=50923800/67111528
[pid=15077] ppid=15073 vsize=16396 CPUtime=0.01 cores=1,3,5,7
/proc/15077/stat : 15077 (python) S 15073 15077 15040 0 -1 4202496 1112 0 6 0 1 0 0 0 15 0 1 0 850052516 16789504 985 33554432000 4194304 5683644 140737321174672 18446744073709551615 270338379621 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 11
/proc/15077/statm: 4099 985 409 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+1.50021 s]
/proc/loadavg: 0.31 0.07 0.02 2/438 15079
/proc/meminfo: memFree=24823792/32951124 swapFree=50923800/67111528
[pid=15077] ppid=15073 vsize=16396 CPUtime=0.01 cores=1,3,5,7
/proc/15077/stat : 15077 (python) S 15073 15077 15040 0 -1 4202496 1118 0 6 0 1 0 0 0 16 0 1 0 850052516 16789504 990 33554432000 4194304 5683644 140737321174672 18446744073709551615 270338381824 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 12
/proc/15077/statm: 4099 990 413 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+3.10086 s]
/proc/loadavg: 0.36 0.08 0.03 2/438 15079
/proc/meminfo: memFree=24824600/32951124 swapFree=50923800/67111528
[pid=15077] ppid=15073 vsize=16816 CPUtime=0.02 cores=1,3,5,7
/proc/15077/stat : 15077 (python) D 15073 15077 15040 0 -1 4202496 1223 0 6 0 1 1 0 0 16 0 1 0 850052516 17219584 1086 33554432000 4194304 5683644 140737321174672 18446744073709551615 270338381824 0 0 16781312 2 0 0 0 17 7 0 0 40
/proc/15077/statm: 4204 1086 417 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16816
heavy processes:
[startup+6.30025 s]
/proc/loadavg: 0.36 0.08 0.03 2/438 15079
/proc/meminfo: memFree=24822480/32951124 swapFree=50923800/67111528
[pid=15077] ppid=15073 vsize=23208 CPUtime=0.04 cores=1,3,5,7
/proc/15077/stat : 15077 (python) S 15073 15077 15040 0 -1 4202496 1323 0 9 0 3 1 0 0 15 0 1 0 850052516 23764992 1179 33554432000 4194304 5683644 140737321174672 18446744073709551615 270338381824 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 52
/proc/15077/statm: 5802 1179 432 364 0 729 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23208
heavy processes:
[startup+12.7009 s]
/proc/loadavg: 0.39 0.09 0.03 2/438 15079
/proc/meminfo: memFree=24818176/32951124 swapFree=50923800/67111528
[pid=15077] ppid=15073 vsize=38904 CPUtime=0.06 cores=1,3,5,7
/proc/15077/stat : 15077 (python) S 15073 15077 15040 0 -1 4202496 1645 0 14 0 4 2 0 0 16 0 1 0 850052516 39837696 1486 33554432000 4194304 5683644 140737321174672 18446744073709551615 270338379621 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 101
/proc/15077/statm: 9726 1486 455 364 0 1026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 38904
heavy processes:
[startup+25.5004 s]
/proc/loadavg: 0.40 0.11 0.03 2/438 15088
/proc/meminfo: memFree=24772256/32951124 swapFree=50923800/67111528
[pid=15077] ppid=15073 vsize=215060 CPUtime=0.38 cores=1,3,5,7
/proc/15077/stat : 15077 (python) S 15073 15077 15040 0 -1 4202496 6961 920 87 9 23 15 0 0 15 0 1 0 850052516 220221440 5277 33554432000 4194304 5683644 140737321174672 18446744073709551615 270338189083 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 290
/proc/15077/statm: 53765 5277 1523 364 0 3949 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 215060
heavy processes:
[startup+51.1004 s]
/proc/loadavg: 1.02 0.27 0.09 3/439 15219
/proc/meminfo: memFree=24699612/32951124 swapFree=50923800/67111528
[pid=15077] ppid=15073 vsize=300980 CPUtime=1.24 cores=1,3,5,7
/proc/15077/stat : 15077 (python) S 15073 15077 15040 0 -1 4202496 12830 920 113 9 102 22 0 0 18 0 2 0 850052516 308203520 9116 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 346
/proc/15077/statm: 75245 9116 1870 364 0 10132 0
[pid=15104] ppid=15077 vsize=290736 CPUtime=0.06 cores=1,3,5,7
/proc/15104/stat : 15104 (python) S 15077 15077 15040 0 -1 4202560 900 0 0 0 3 3 0 0 15 0 1 0 850055498 297713664 7617 33554432000 4194304 5683644 140737321174672 18446744073709551615 270338403855 0 0 16781312 33554946 5623753486446373662 0 0 17 7 0 0 0
/proc/15104/statm: 72684 7617 375 364 0 7571 0
[pid=15106] ppid=15104 vsize=41292 CPUtime=21.27 cores=1,3,5,7
/proc/15106/stat : 15106 (clasp-1.3.7-x86) R 15104 15106 15106 0 -1 4202496 10539 0 0 0 2125 2 0 0 25 0 1 0 850055498 42283008 10057 33554432000 134512640 136139019 4293422352 18446744073709551615 134831212 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/15106/statm: 10323 10057 182 398 0 9923 0
[pid=15077/tid=15105] ppid=15073 vsize=300980 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15105/stat : 15105 (python) S 15073 15077 15040 0 -1 4202560 26 920 0 9 0 0 0 0 18 0 2 0 850055498 308203520 9116 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 22.57
Current children cumulated vsize (KiB) 633008
heavy processes:
[startup+102.317 s]
/proc/loadavg: 1.92 0.64 0.22 3/448 15469
/proc/meminfo: memFree=24560768/32951124 swapFree=50923800/67111528
[pid=15077] ppid=15073 vsize=311236 CPUtime=1.27 cores=1,3,5,7
/proc/15077/stat : 15077 (python) S 15073 15077 15040 0 -1 4202496 13757 920 113 9 105 22 0 0 20 0 3 0 850052516 318705664 9123 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 346
/proc/15077/statm: 77809 9123 1873 364 0 12693 0
[pid=15104] ppid=15077 vsize=300980 CPUtime=0.17 cores=1,3,5,7
/proc/15104/stat : 15104 (python) S 15077 15077 15040 0 -1 4202560 1142 0 0 0 8 9 0 0 16 0 2 0 850055498 308203520 7658 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/15104/statm: 75245 7658 411 364 0 10132 0
[pid=15106] ppid=15104 vsize=52524 CPUtime=48.16 cores=1,3,5,7
/proc/15106/stat : 15106 (clasp-1.3.7-x86) T 15104 15106 15106 0 -1 4202496 13337 0 0 0 4814 2 0 0 25 0 1 0 850055498 53784576 12855 33554432000 134512640 136139019 4293422352 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/15106/statm: 13131 12855 182 398 0 12731 0
[pid=15104/tid=15325] ppid=15077 vsize=300980 CPUtime=0 cores=1,3,5,7
/proc/15104/task/15325/stat : 15325 (python) S 15077 15077 15040 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 850060315 308203520 7658 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554946 18446604465765189568 0 0 -1 3 0 0 0
[pid=15326] ppid=15077 vsize=300992 CPUtime=0.08 cores=1,3,5,7
/proc/15326/stat : 15326 (python) S 15077 15077 15040 0 -1 4202560 940 0 0 0 4 4 0 0 15 0 1 0 850060317 308215808 7618 33554432000 4194304 5683644 140737321174672 18446744073709551615 270338403910 0 0 16781312 33554946 3098354661048975360 0 0 17 5 0 0 0
/proc/15326/statm: 75248 7618 372 364 0 10132 0
[pid=15328] ppid=15326 vsize=107180 CPUtime=24.29 cores=1,3,5,7
/proc/15328/stat : 15328 (scip-2.0.1.linu) R 15326 15328 15328 0 -1 4202496 26893 0 0 0 2404 25 0 0 25 0 1 0 850060317 109752320 24124 33554432000 4194304 13684479 140734869866464 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/15328/statm: 26795 24124 797 2317 0 24473 0
[pid=15077/tid=15105] ppid=15073 vsize=311236 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15105/stat : 15105 (python) S 15073 15077 15040 0 -1 4202560 26 920 0 9 0 0 0 0 18 0 3 0 850055498 318705664 9123 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 5 0 0 0
[pid=15077/tid=15327] ppid=15073 vsize=311236 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15327/stat : 15327 (python) S 15073 15077 15040 0 -1 4202560 30 920 0 9 0 0 0 0 20 0 3 0 850060317 318705664 9123 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 73.97
Current children cumulated vsize (KiB) 1072912
heavy processes:
[startup+162.301 s]
/proc/loadavg: 2.09 0.91 0.34 3/452 15598
/proc/meminfo: memFree=24397584/32951124 swapFree=50923800/67111528
[pid=15077] ppid=15073 vsize=321492 CPUtime=1.29 cores=1,3,5,7
/proc/15077/stat : 15077 (python) S 15073 15077 15040 0 -1 4202496 14626 920 113 9 107 22 0 0 20 0 4 0 850052516 329207808 9129 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 346
/proc/15077/statm: 80373 9129 1875 364 0 15254 0
[pid=15104] ppid=15077 vsize=300980 CPUtime=0.17 cores=1,3,5,7
/proc/15104/stat : 15104 (python) S 15077 15077 15040 0 -1 4202560 1142 0 0 0 8 9 0 0 16 0 2 0 850055498 308203520 7658 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/15104/statm: 75245 7658 411 364 0 10132 0
[pid=15106] ppid=15104 vsize=52524 CPUtime=48.16 cores=1,3,5,7
/proc/15106/stat : 15106 (clasp-1.3.7-x86) T 15104 15106 15106 0 -1 4202496 13337 0 0 0 4814 2 0 0 25 0 1 0 850055498 53784576 12855 33554432000 134512640 136139019 4293422352 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/15106/statm: 13131 12855 182 398 0 12731 0
[pid=15104/tid=15325] ppid=15077 vsize=300980 CPUtime=0 cores=1,3,5,7
/proc/15104/task/15325/stat : 15325 (python) S 15077 15077 15040 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 850060315 308203520 7658 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554946 18446604465765189568 0 0 -1 3 0 0 0
[pid=15326] ppid=15077 vsize=300992 CPUtime=0.18 cores=1,3,5,7
/proc/15326/stat : 15326 (python) S 15077 15077 15040 0 -1 4202560 1122 0 0 0 9 9 0 0 17 0 2 0 850060317 308215808 7643 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/15326/statm: 75248 7643 396 364 0 10132 0
[pid=15328] ppid=15326 vsize=151340 CPUtime=46.94 cores=1,3,5,7
/proc/15328/stat : 15328 (scip-2.0.1.linu) T 15326 15328 15328 0 -1 4202496 38679 0 0 0 4659 35 0 0 25 0 1 0 850060317 154972160 34949 33554432000 4194304 13684479 140734869866464 18446744073709551615 7361391 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/15328/statm: 37835 34949 830 2317 0 35513 0
[pid=15326/tid=15505] ppid=15077 vsize=300992 CPUtime=0 cores=1,3,5,7
/proc/15326/task/15505/stat : 15505 (python) S 15077 15077 15040 0 -1 4202560 56 0 0 0 0 0 0 0 17 0 2 0 850065014 308215808 7643 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554946 18446604467451213056 0 0 -1 3 0 0 0
[pid=15506] ppid=15077 vsize=311248 CPUtime=0.11 cores=1,3,5,7
/proc/15506/stat : 15506 (python) S 15077 15077 15040 0 -1 4202560 954 0 0 0 6 5 0 0 15 0 1 0 850065016 318717952 7631 33554432000 4194304 5683644 140737321174672 18446744073709551615 270338403910 0 0 16781312 33554946 5623753486446373662 0 0 17 7 0 0 0
/proc/15506/statm: 77812 7631 381 364 0 12693 0
[pid=15508] ppid=15506 vsize=109064 CPUtime=37.29 cores=1,3,5,7
/proc/15508/stat : 15508 (scip-2.0.1.linu) R 15506 15508 15508 0 -1 4202496 71251 0 0 0 3715 14 0 0 25 0 1 0 850065016 111681536 24079 33554432000 4194304 15243407 140735453319328 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15508/statm: 27266 24079 962 2698 0 24561 0
[pid=15077/tid=15105] ppid=15073 vsize=321492 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15105/stat : 15105 (python) S 15073 15077 15040 0 -1 4202560 26 920 0 9 0 0 0 0 18 0 4 0 850055498 329207808 9129 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 5 0 0 0
[pid=15077/tid=15327] ppid=15073 vsize=321492 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15327/stat : 15327 (python) S 15073 15077 15040 0 -1 4202560 30 920 0 9 0 0 0 0 20 0 4 0 850060317 329207808 9129 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 1 0 0 0
[pid=15077/tid=15507] ppid=15073 vsize=321492 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15507/stat : 15507 (python) S 15073 15077 15040 0 -1 4202560 28 920 0 9 0 0 0 0 20 0 4 0 850065016 329207808 9129 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 134.14
Current children cumulated vsize (KiB) 1547640
[startup+222.301 s]
/proc/loadavg: 2.39 1.27 0.50 3/475 15764
/proc/meminfo: memFree=23886724/32951124 swapFree=50923800/67111528
[pid=15077] ppid=15073 vsize=321492 CPUtime=1.34 cores=1,3,5,7
################
# More data... #
################
/proc/15077/task/15507/stat : 15507 (python) S 15073 15077 15040 0 -1 4202560 28 920 0 9 0 0 0 0 18 0 7 0 850065016 360714240 9147 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 3 0 0 0
[pid=15077/tid=15767] ppid=15073 vsize=352260 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15767/stat : 15767 (python) S 15073 15077 15040 0 -1 4202560 29 920 0 9 0 0 0 0 22 0 7 0 850079250 360714240 9147 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 3 0 0 0
[pid=15077/tid=15786] ppid=15073 vsize=352260 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15786/stat : 15786 (python) S 15073 15077 15040 0 -1 4202560 28 920 0 9 0 0 0 0 20 0 7 0 850102604 360714240 9147 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 1 0 0 0
[pid=15077/tid=15808] ppid=15073 vsize=352260 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15808/stat : 15808 (python) S 15073 15077 15040 0 -1 4202560 28 920 0 9 0 0 0 0 20 0 7 0 850153466 360714240 9147 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1760.31
Current children cumulated vsize (KiB) 3465800
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1821.9 s]
/proc/loadavg: 2.13 2.05 1.74 3/508 15849
/proc/meminfo: memFree=22126216/32951124 swapFree=50923800/67111528
[pid=15077] ppid=15073 vsize=352260 CPUtime=3.24 cores=1,3,5,7
/proc/15077/stat : 15077 (python) S 15073 15077 15040 0 -1 4202496 18214 920 113 9 301 23 0 0 18 0 7 0 850052516 360714240 9147 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 346
/proc/15077/statm: 88065 9147 1881 364 0 22937 0
[pid=15104] ppid=15077 vsize=300980 CPUtime=0.87 cores=1,3,5,7
/proc/15104/stat : 15104 (python) S 15077 15077 15040 0 -1 4202560 1211 0 0 0 41 46 0 0 16 0 2 0 850055498 308203520 7659 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15104/statm: 75245 7659 412 364 0 10132 0
[pid=15106] ppid=15104 vsize=86284 CPUtime=231.86 cores=1,3,5,7
/proc/15106/stat : 15106 (clasp-1.3.7-x86) T 15104 15106 15106 0 -1 4202496 21969 0 0 0 23182 4 0 0 25 0 1 0 850055498 88354816 21294 33554432000 134512640 136139019 4293422352 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/15106/statm: 21571 21294 182 398 0 21171 0
[pid=15104/tid=15325] ppid=15077 vsize=300980 CPUtime=0 cores=1,3,5,7
/proc/15104/task/15325/stat : 15325 (python) S 15077 15077 15040 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850060315 308203520 7659 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554946 18446604465765189568 0 0 -1 3 0 0 0
[pid=15326] ppid=15077 vsize=300992 CPUtime=4.91 cores=1,3,5,7
/proc/15326/stat : 15326 (python) S 15077 15077 15040 0 -1 4202560 1217 0 0 0 231 260 0 0 15 0 2 0 850060317 308215808 7643 33554432000 4194304 5683644 140737321174672 18446744073709551615 270338403910 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15326/statm: 75248 7643 396 364 0 10132 0
[pid=15328] ppid=15326 vsize=164788 CPUtime=1272.13 cores=1,3,5,7
/proc/15328/stat : 15328 (scip-2.0.1.linu) R 15326 15328 15328 0 -1 4202496 42332 0 0 0 126274 939 0 0 25 0 1 0 850060317 168742912 38600 33554432000 4194304 13684479 140734869866464 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/15328/statm: 41197 38600 831 2317 0 38875 0
[pid=15326/tid=15505] ppid=15077 vsize=300992 CPUtime=0 cores=1,3,5,7
/proc/15326/task/15505/stat : 15505 (python) S 15077 15077 15040 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 2 0 850065014 308215808 7643 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554946 18446604467451213056 0 0 -1 3 0 0 0
[pid=15506] ppid=15077 vsize=311248 CPUtime=0.35 cores=1,3,5,7
/proc/15506/stat : 15506 (python) S 15077 15077 15040 0 -1 4202560 1143 0 0 0 18 17 0 0 15 0 2 0 850065016 318717952 7656 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15506/statm: 77812 7656 405 364 0 12693 0
[pid=15508] ppid=15506 vsize=109212 CPUtime=95.3 cores=1,3,5,7
/proc/15508/stat : 15508 (scip-2.0.1.linu) T 15506 15508 15508 0 -1 4202496 119346 0 0 0 9505 25 0 0 25 0 1 0 850065016 111833088 24211 33554432000 4194304 15243407 140735453319328 18446744073709551615 6975569 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/15508/statm: 27303 24211 962 2698 0 24598 0
[pid=15506/tid=15705] ppid=15077 vsize=311248 CPUtime=0 cores=1,3,5,7
/proc/15506/task/15705/stat : 15705 (python) S 15077 15077 15040 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 850069731 318717952 7656 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554946 18446604466416197888 0 0 -1 7 0 0 0
[pid=15766] ppid=15077 vsize=321504 CPUtime=0.17 cores=1,3,5,7
/proc/15766/stat : 15766 (python) S 15077 15077 15040 0 -1 4202560 1155 0 0 0 8 9 0 0 16 0 2 0 850079250 329220096 7651 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15766/statm: 80376 7651 396 364 0 15254 0
[pid=15768] ppid=15766 vsize=95852 CPUtime=48.78 cores=1,3,5,7
/proc/15768/stat : 15768 (minion) T 15766 15768 15768 0 -1 4202496 18693 0 0 0 4876 2 0 0 25 0 1 0 850079250 98152448 16633 33554432000 134512640 165565024 4290358912 18446744073709551615 134576160 0 0 16781312 8396802 18446744071562691360 0 0 17 5 0 0 0
/proc/15768/statm: 23963 16633 333 7582 0 16378 0
[pid=15766/tid=15775] ppid=15077 vsize=321504 CPUtime=0 cores=1,3,5,7
/proc/15766/task/15775/stat : 15775 (python) S 15077 15077 15040 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 2 0 850084128 329220096 7651 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554946 18446604465161785728 0 0 -1 7 0 0 0
[pid=15785] ppid=15077 vsize=331760 CPUtime=0.36 cores=1,3,5,7
/proc/15785/stat : 15785 (python) S 15077 15077 15040 0 -1 4202560 1188 0 0 0 18 18 0 0 16 0 2 0 850102604 339722240 7655 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15785/statm: 82940 7655 396 364 0 17815 0
[pid=15787] ppid=15785 vsize=609728 CPUtime=95.05 cores=1,3,5,7
/proc/15787/stat : 15787 (bsolo_pb10) T 15785 15787 15787 0 -1 4202496 152204 0 0 0 9417 88 0 0 25 0 1 0 850102604 624361472 149985 33554432000 134512640 137138936 4288540528 18446744073709551615 134542525 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/15787/statm: 152432 149985 190 642 0 151788 0
[pid=15785/tid=15791] ppid=15077 vsize=331760 CPUtime=0 cores=1,3,5,7
/proc/15785/task/15791/stat : 15791 (python) S 15077 15077 15040 0 -1 4202560 56 0 0 0 0 0 0 0 16 0 2 0 850112110 339722240 7655 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554946 18446604457378805056 0 0 -1 7 0 0 0
[pid=15807] ppid=15077 vsize=342016 CPUtime=0.18 cores=1,3,5,7
/proc/15807/stat : 15807 (python) S 15077 15077 15040 0 -1 4202560 1176 0 0 0 9 9 0 0 16 0 2 0 850153466 350224384 7659 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15807/statm: 85504 7659 396 364 0 20376 0
[pid=15809] ppid=15807 vsize=140212 CPUtime=46.87 cores=1,3,5,7
/proc/15809/stat : 15809 (wbo1.4a) T 15807 15809 15809 0 -1 4202496 35117 0 0 0 4661 26 0 0 25 0 1 0 850153467 143577088 34523 33554432000 134512640 135751879 4287191424 18446744073709551615 134605084 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/15809/statm: 35053 34523 143 303 0 34748 0
[pid=15807/tid=15811] ppid=15077 vsize=342016 CPUtime=0 cores=1,3,5,7
/proc/15807/task/15811/stat : 15811 (python) S 15077 15077 15040 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 2 0 850158163 350224384 7659 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554946 18446604458380516352 0 0 -1 7 0 0 0
[pid=15077/tid=15105] ppid=15073 vsize=352260 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15105/stat : 15105 (python) S 15073 15077 15040 0 -1 4202560 36 920 0 9 0 0 0 0 18 0 7 0 850055498 360714240 9147 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 5 0 0 0
[pid=15077/tid=15327] ppid=15073 vsize=352260 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15327/stat : 15327 (python) S 15073 15077 15040 0 -1 4202560 47 920 0 9 0 0 0 0 18 0 7 0 850060317 360714240 9147 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 1 0 0 0
[pid=15077/tid=15507] ppid=15073 vsize=352260 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15507/stat : 15507 (python) S 15073 15077 15040 0 -1 4202560 28 920 0 9 0 0 0 0 18 0 7 0 850065016 360714240 9147 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 3 0 0 0
[pid=15077/tid=15767] ppid=15073 vsize=352260 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15767/stat : 15767 (python) S 15073 15077 15040 0 -1 4202560 29 920 0 9 0 0 0 0 22 0 7 0 850079250 360714240 9147 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 3 0 0 0
[pid=15077/tid=15786] ppid=15073 vsize=352260 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15786/stat : 15786 (python) S 15073 15077 15040 0 -1 4202560 28 920 0 9 0 0 0 0 20 0 7 0 850102604 360714240 9147 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 1 0 0 0
[pid=15077/tid=15808] ppid=15073 vsize=352260 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15808/stat : 15808 (python) S 15073 15077 15040 0 -1 4202560 28 920 0 9 0 0 0 0 20 0 7 0 850153466 360714240 9147 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3466836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1821.9 s]
/proc/loadavg: 2.13 2.05 1.74 3/508 15849
/proc/meminfo: memFree=22126216/32951124 swapFree=50923800/67111528
[pid=15077] ppid=15073 vsize=352260 CPUtime=3.24 cores=1,3,5,7
/proc/15077/stat : 15077 (python) S 15073 15077 15040 0 -1 4202496 18214 920 113 9 301 23 0 0 18 0 7 0 850052516 360714240 9147 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 346
/proc/15077/statm: 88065 9147 1881 364 0 22937 0
[pid=15104] ppid=15077 vsize=300980 CPUtime=0.87 cores=1,3,5,7
/proc/15104/stat : 15104 (python) S 15077 15077 15040 0 -1 4202560 1211 0 0 0 41 46 0 0 16 0 2 0 850055498 308203520 7659 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15104/statm: 75245 7659 412 364 0 10132 0
[pid=15106] ppid=15104 vsize=86284 CPUtime=231.86 cores=1,3,5,7
/proc/15106/stat : 15106 (clasp-1.3.7-x86) T 15104 15106 15106 0 -1 4202496 21969 0 0 0 23182 4 0 0 25 0 1 0 850055498 88354816 21294 33554432000 134512640 136139019 4293422352 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/15106/statm: 21571 21294 182 398 0 21171 0
[pid=15104/tid=15325] ppid=15077 vsize=300980 CPUtime=0 cores=1,3,5,7
/proc/15104/task/15325/stat : 15325 (python) S 15077 15077 15040 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850060315 308203520 7659 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554946 18446604465765189568 0 0 -1 3 0 0 0
[pid=15326] ppid=15077 vsize=300992 CPUtime=4.91 cores=1,3,5,7
/proc/15326/stat : 15326 (python) S 15077 15077 15040 0 -1 4202560 1217 0 0 0 231 260 0 0 15 0 2 0 850060317 308215808 7643 33554432000 4194304 5683644 140737321174672 18446744073709551615 270338403910 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15326/statm: 75248 7643 396 364 0 10132 0
[pid=15328] ppid=15326 vsize=164788 CPUtime=1272.13 cores=1,3,5,7
/proc/15328/stat : 15328 (scip-2.0.1.linu) R 15326 15328 15328 0 -1 4202496 42332 0 0 0 126274 939 0 0 25 0 1 0 850060317 168742912 38600 33554432000 4194304 13684479 140734869866464 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/15328/statm: 41197 38600 831 2317 0 38875 0
[pid=15326/tid=15505] ppid=15077 vsize=300992 CPUtime=0 cores=1,3,5,7
/proc/15326/task/15505/stat : 15505 (python) S 15077 15077 15040 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 2 0 850065014 308215808 7643 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554946 18446604467451213056 0 0 -1 3 0 0 0
[pid=15506] ppid=15077 vsize=311248 CPUtime=0.35 cores=1,3,5,7
/proc/15506/stat : 15506 (python) S 15077 15077 15040 0 -1 4202560 1143 0 0 0 18 17 0 0 15 0 2 0 850065016 318717952 7656 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15506/statm: 77812 7656 405 364 0 12693 0
[pid=15508] ppid=15506 vsize=109212 CPUtime=95.3 cores=1,3,5,7
/proc/15508/stat : 15508 (scip-2.0.1.linu) T 15506 15508 15508 0 -1 4202496 119346 0 0 0 9505 25 0 0 25 0 1 0 850065016 111833088 24211 33554432000 4194304 15243407 140735453319328 18446744073709551615 6975569 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/15508/statm: 27303 24211 962 2698 0 24598 0
[pid=15506/tid=15705] ppid=15077 vsize=311248 CPUtime=0 cores=1,3,5,7
/proc/15506/task/15705/stat : 15705 (python) S 15077 15077 15040 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 850069731 318717952 7656 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554946 18446604466416197888 0 0 -1 7 0 0 0
[pid=15766] ppid=15077 vsize=321504 CPUtime=0.17 cores=1,3,5,7
/proc/15766/stat : 15766 (python) S 15077 15077 15040 0 -1 4202560 1155 0 0 0 8 9 0 0 16 0 2 0 850079250 329220096 7651 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15766/statm: 80376 7651 396 364 0 15254 0
[pid=15768] ppid=15766 vsize=95852 CPUtime=48.78 cores=1,3,5,7
/proc/15768/stat : 15768 (minion) T 15766 15768 15768 0 -1 4202496 18693 0 0 0 4876 2 0 0 25 0 1 0 850079250 98152448 16633 33554432000 134512640 165565024 4290358912 18446744073709551615 134576160 0 0 16781312 8396802 18446744071562691360 0 0 17 5 0 0 0
/proc/15768/statm: 23963 16633 333 7582 0 16378 0
[pid=15766/tid=15775] ppid=15077 vsize=321504 CPUtime=0 cores=1,3,5,7
/proc/15766/task/15775/stat : 15775 (python) S 15077 15077 15040 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 2 0 850084128 329220096 7651 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554946 18446604465161785728 0 0 -1 7 0 0 0
[pid=15785] ppid=15077 vsize=331760 CPUtime=0.36 cores=1,3,5,7
/proc/15785/stat : 15785 (python) S 15077 15077 15040 0 -1 4202560 1188 0 0 0 18 18 0 0 16 0 2 0 850102604 339722240 7655 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15785/statm: 82940 7655 396 364 0 17815 0
[pid=15787] ppid=15785 vsize=609728 CPUtime=95.05 cores=1,3,5,7
/proc/15787/stat : 15787 (bsolo_pb10) T 15785 15787 15787 0 -1 4202496 152204 0 0 0 9417 88 0 0 25 0 1 0 850102604 624361472 149985 33554432000 134512640 137138936 4288540528 18446744073709551615 134542525 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/15787/statm: 152432 149985 190 642 0 151788 0
[pid=15785/tid=15791] ppid=15077 vsize=331760 CPUtime=0 cores=1,3,5,7
/proc/15785/task/15791/stat : 15791 (python) S 15077 15077 15040 0 -1 4202560 56 0 0 0 0 0 0 0 16 0 2 0 850112110 339722240 7655 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554946 18446604457378805056 0 0 -1 7 0 0 0
[pid=15807] ppid=15077 vsize=342016 CPUtime=0.18 cores=1,3,5,7
/proc/15807/stat : 15807 (python) S 15077 15077 15040 0 -1 4202560 1176 0 0 0 9 9 0 0 16 0 2 0 850153466 350224384 7659 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350210507 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/15807/statm: 85504 7659 396 364 0 20376 0
[pid=15809] ppid=15807 vsize=140212 CPUtime=46.87 cores=1,3,5,7
/proc/15809/stat : 15809 (wbo1.4a) T 15807 15809 15809 0 -1 4202496 35117 0 0 0 4661 26 0 0 25 0 1 0 850153467 143577088 34523 33554432000 134512640 135751879 4287191424 18446744073709551615 134605084 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/15809/statm: 35053 34523 143 303 0 34748 0
[pid=15807/tid=15811] ppid=15077 vsize=342016 CPUtime=0 cores=1,3,5,7
/proc/15807/task/15811/stat : 15811 (python) S 15077 15077 15040 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 2 0 850158163 350224384 7659 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554946 18446604458380516352 0 0 -1 7 0 0 0
[pid=15077/tid=15105] ppid=15073 vsize=352260 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15105/stat : 15105 (python) S 15073 15077 15040 0 -1 4202560 36 920 0 9 0 0 0 0 18 0 7 0 850055498 360714240 9147 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 5 0 0 0
[pid=15077/tid=15327] ppid=15073 vsize=352260 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15327/stat : 15327 (python) S 15073 15077 15040 0 -1 4202560 47 920 0 9 0 0 0 0 18 0 7 0 850060317 360714240 9147 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 1 0 0 0
[pid=15077/tid=15507] ppid=15073 vsize=352260 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15507/stat : 15507 (python) S 15073 15077 15040 0 -1 4202560 28 920 0 9 0 0 0 0 18 0 7 0 850065016 360714240 9147 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 3 0 0 0
[pid=15077/tid=15767] ppid=15073 vsize=352260 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15767/stat : 15767 (python) S 15073 15077 15040 0 -1 4202560 29 920 0 9 0 0 0 0 22 0 7 0 850079250 360714240 9147 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 3 0 0 0
[pid=15077/tid=15786] ppid=15073 vsize=352260 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15786/stat : 15786 (python) S 15073 15077 15040 0 -1 4202560 28 920 0 9 0 0 0 0 20 0 7 0 850102604 360714240 9147 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 1 0 0 0
[pid=15077/tid=15808] ppid=15073 vsize=352260 CPUtime=0 cores=1,3,5,7
/proc/15077/task/15808/stat : 15808 (python) S 15073 15077 15040 0 -1 4202560 28 920 0 9 0 0 0 0 20 0 7 0 850153466 360714240 9147 33554432000 4194304 5683644 140737321174672 18446744073709551615 270350207409 0 0 16781312 33554434 18446604458966539200 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3466836
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15077 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=16541
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=243962
# CPU time returned by wait4() is 3.2605
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1821.96
CPU time (s): 1800.07
CPU user time (s): 1785.41
CPU system time (s): 14.66
CPU usage (%): 98.7987
Max. virtual memory (cumulated for all children) (KiB): 3466836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.01654
system time used= 0.243962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19136
page faults= 122
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18736
involuntary context switches= 125
runsolver used 8.5517 second user time and 19.44 second system time
The end