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-3482001-1307576680/watcher-3482001-1307576680 -o /tmp/evaluation-result-3482001-1307576680/solver-3482001-1307576680 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482001-1307576680.opb -seed 1713033268 -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: 2.11 1.31 0.57 2/553 17975
/proc/meminfo: memFree=27673320/32950928 swapFree=38525204/67111528
[pid=17975] ppid=17973 vsize=15904 CPUtime=0 cores=1,3,5,7
/proc/17975/stat : 17975 (python) R 17973 17975 17436 0 -1 4202496 983 0 0 0 0 0 0 0 24 0 1 0 869267732 16285696 855 33554432000 4194304 5683644 140735697796992 18446744073709551615 208080275591 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/17975/statm: 4059 855 362 364 0 546 0
[startup+0.108307 s]
/proc/loadavg: 2.11 1.31 0.57 2/553 17975
/proc/meminfo: memFree=27673320/32950928 swapFree=38525204/67111528
[pid=17975] ppid=17973 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/17975/stat : 17975 (python) S 17973 17975 17436 0 -1 4202496 3033 464 1 0 5 2 0 0 25 0 1 0 869267732 98435072 2483 33554432000 4194304 5683644 140735697796992 18446744073709551615 208080232192 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/17975/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.200351 s]
/proc/loadavg: 2.11 1.31 0.57 2/553 17975
/proc/meminfo: memFree=27673320/32950928 swapFree=38525204/67111528
[pid=17975] ppid=17973 vsize=120684 CPUtime=0.12 cores=1,3,5,7
/proc/17975/stat : 17975 (python) R 17973 17975 17436 0 -1 4202496 5118 928 1 0 9 3 0 0 17 0 1 0 869267732 123580416 3532 33554432000 4194304 5683644 140735697796992 18446744073709551615 5168634 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/17975/statm: 30171 3532 925 364 0 2620 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 120684
[startup+0.300334 s]
/proc/loadavg: 2.11 1.31 0.57 2/553 17975
/proc/meminfo: memFree=27673320/32950928 swapFree=38525204/67111528
[pid=17975] ppid=17973 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/17975/stat : 17975 (python) S 17973 17975 17436 0 -1 4202496 5357 928 1 0 12 5 0 0 16 0 1 0 869267732 126709760 3744 33554432000 4194304 5683644 140735697796992 18446744073709551615 208080228357 0 2147483391 16781312 2 18446744071699207358 0 0 17 3 0 0 0
/proc/17975/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700254 s]
/proc/loadavg: 2.11 1.31 0.57 2/553 17975
/proc/meminfo: memFree=27673320/32950928 swapFree=38525204/67111528
[pid=17975] ppid=17973 vsize=283564 CPUtime=0.46 cores=1,3,5,7
/proc/17975/stat : 17975 (python) R 17973 17975 17436 0 -1 4202496 9400 928 1 0 35 11 0 0 15 0 1 0 869267732 290369536 7261 33554432000 4194304 5683644 140735697796992 18446744073709551615 208083641013 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/17975/statm: 70891 7261 1816 364 0 5784 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 283564
[startup+1.5011 s]
/proc/loadavg: 2.11 1.31 0.57 3/557 17983
/proc/meminfo: memFree=27622696/32950928 swapFree=38525204/67111528
[pid=17975] ppid=17973 vsize=293976 CPUtime=0.5 cores=1,3,5,7
/proc/17975/stat : 17975 (python) S 17973 17975 17436 0 -1 4202496 9857 928 1 0 39 11 0 0 18 0 2 0 869267732 301031424 7361 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17975/statm: 73494 7361 1870 364 0 8381 0
[pid=17981] ppid=17975 vsize=283732 CPUtime=0 cores=1,3,5,7
/proc/17981/stat : 17981 (python) S 17975 17975 17436 0 -1 4202560 789 0 0 0 0 0 0 0 16 0 1 0 869267807 290541568 5839 33554432000 4194304 5683644 140735697796992 18446744073709551615 208080252431 0 0 16781312 33554946 2801595407560343552 0 0 17 3 0 0 0
/proc/17981/statm: 70933 5839 352 364 0 5820 0
[pid=17983] ppid=17981 vsize=40368 CPUtime=0.74 cores=1,3,5,7
/proc/17983/stat : 17983 (scip-2.0.1.linu) R 17981 17983 17983 0 -1 4202496 8592 0 0 0 66 8 0 0 21 0 1 0 869267807 41336832 7844 33554432000 4194304 13684479 140735888039472 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17983/statm: 10092 7844 791 2317 0 7770 0
[pid=17975/tid=17982] ppid=17973 vsize=293976 CPUtime=0 cores=1,3,5,7
/proc/17975/task/17982/stat : 17982 (python) S 17973 17975 17436 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 2 0 869267807 301031424 7361 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092055985 0 0 16781312 33554434 18446604470113333568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 618076
[startup+3.10079 s]
/proc/loadavg: 2.11 1.31 0.57 3/557 17983
/proc/meminfo: memFree=27606948/32950928 swapFree=38525204/67111528
[pid=17975] ppid=17973 vsize=293976 CPUtime=0.5 cores=1,3,5,7
/proc/17975/stat : 17975 (python) S 17973 17975 17436 0 -1 4202496 9857 928 1 0 39 11 0 0 18 0 2 0 869267732 301031424 7361 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17975/statm: 73494 7361 1870 364 0 8381 0
[pid=17981] ppid=17975 vsize=283732 CPUtime=0 cores=1,3,5,7
/proc/17981/stat : 17981 (python) S 17975 17975 17436 0 -1 4202560 792 0 0 0 0 0 0 0 15 0 1 0 869267807 290541568 5839 33554432000 4194304 5683644 140735697796992 18446744073709551615 208080252431 0 0 16781312 33554946 1052238984333230080 0 0 17 3 0 0 0
/proc/17981/statm: 70933 5839 352 364 0 5820 0
[pid=17983] ppid=17981 vsize=54716 CPUtime=2.34 cores=1,3,5,7
/proc/17983/stat : 17983 (scip-2.0.1.linu) R 17981 17983 17983 0 -1 4202496 12293 0 0 0 220 14 0 0 25 0 1 0 869267807 56029184 11400 33554432000 4194304 13684479 140735888039472 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17983/statm: 13679 11400 835 2317 0 11357 0
[pid=17975/tid=17982] ppid=17973 vsize=293976 CPUtime=0 cores=1,3,5,7
/proc/17975/task/17982/stat : 17982 (python) S 17973 17975 17436 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 2 0 869267807 301031424 7361 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092055985 0 0 16781312 33554434 18446604470113333568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 632424
[startup+6.30112 s]
/proc/loadavg: 2.26 1.36 0.58 3/557 17983
/proc/meminfo: memFree=27599704/32950928 swapFree=38525204/67111528
[pid=17975] ppid=17973 vsize=293976 CPUtime=0.5 cores=1,3,5,7
/proc/17975/stat : 17975 (python) S 17973 17975 17436 0 -1 4202496 9857 928 1 0 39 11 0 0 18 0 2 0 869267732 301031424 7361 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17975/statm: 73494 7361 1870 364 0 8381 0
[pid=17981] ppid=17975 vsize=283732 CPUtime=0.03 cores=1,3,5,7
/proc/17981/stat : 17981 (python) S 17975 17975 17436 0 -1 4202560 930 0 0 0 2 1 0 0 15 0 1 0 869267807 290541568 5863 33554432000 4194304 5683644 140735697796992 18446744073709551615 208080252431 0 0 16781312 33554946 1790013442644508672 0 0 17 3 0 0 0
/proc/17981/statm: 70933 5863 376 364 0 5820 0
[pid=17983] ppid=17981 vsize=57056 CPUtime=5.55 cores=1,3,5,7
/proc/17983/stat : 17983 (scip-2.0.1.linu) R 17981 17983 17983 0 -1 4202496 12965 0 0 0 528 27 0 0 25 0 1 0 869267807 58425344 12032 33554432000 4194304 13684479 140735888039472 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17983/statm: 14264 12032 815 2317 0 11942 0
[pid=17975/tid=17982] ppid=17973 vsize=293976 CPUtime=0 cores=1,3,5,7
/proc/17975/task/17982/stat : 17982 (python) S 17973 17975 17436 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 2 0 869267807 301031424 7361 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092055985 0 0 16781312 33554434 18446604470113333568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 634764
[startup+12.7009 s]
/proc/loadavg: 2.24 1.37 0.59 3/557 17983
/proc/meminfo: memFree=27602116/32950928 swapFree=38525204/67111528
[pid=17975] ppid=17973 vsize=293976 CPUtime=0.5 cores=1,3,5,7
/proc/17975/stat : 17975 (python) S 17973 17975 17436 0 -1 4202496 9857 928 1 0 39 11 0 0 18 0 2 0 869267732 301031424 7361 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17975/statm: 73494 7361 1870 364 0 8381 0
[pid=17981] ppid=17975 vsize=283732 CPUtime=0.04 cores=1,3,5,7
/proc/17981/stat : 17981 (python) S 17975 17975 17436 0 -1 4202560 933 0 0 0 2 2 0 0 15 0 1 0 869267807 290541568 5863 33554432000 4194304 5683644 140735697796992 18446744073709551615 208080252431 0 0 16781312 33554946 5623458817330129810 0 0 17 3 0 0 0
/proc/17981/statm: 70933 5863 376 364 0 5820 0
[pid=17983] ppid=17981 vsize=57056 CPUtime=11.94 cores=1,3,5,7
/proc/17983/stat : 17983 (scip-2.0.1.linu) R 17981 17983 17983 0 -1 4202496 12974 0 0 0 1141 53 0 0 25 0 1 0 869267807 58425344 12034 33554432000 4194304 13684479 140735888039472 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17983/statm: 14264 12034 809 2317 0 11942 0
[pid=17975/tid=17982] ppid=17973 vsize=293976 CPUtime=0 cores=1,3,5,7
/proc/17975/task/17982/stat : 17982 (python) S 17973 17975 17436 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 2 0 869267807 301031424 7361 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092055985 0 0 16781312 33554434 18446604470113333568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 634764
[startup+25.5005 s]
/proc/loadavg: 2.18 1.40 0.61 3/557 17983
/proc/meminfo: memFree=27602516/32950928 swapFree=38525204/67111528
[pid=17975] ppid=17973 vsize=293976 CPUtime=0.5 cores=1,3,5,7
/proc/17975/stat : 17975 (python) S 17973 17975 17436 0 -1 4202496 9857 928 1 0 39 11 0 0 18 0 2 0 869267732 301031424 7361 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17975/statm: 73494 7361 1870 364 0 8381 0
[pid=17981] ppid=17975 vsize=283732 CPUtime=0.1 cores=1,3,5,7
/proc/17981/stat : 17981 (python) S 17975 17975 17436 0 -1 4202560 940 0 0 0 5 5 0 0 15 0 1 0 869267807 290541568 5863 33554432000 4194304 5683644 140735697796992 18446744073709551615 208080252431 0 0 16781312 33554946 1236044983098671104 0 0 17 7 0 0 0
/proc/17981/statm: 70933 5863 376 364 0 5820 0
[pid=17983] ppid=17981 vsize=57056 CPUtime=24.74 cores=1,3,5,7
/proc/17983/stat : 17983 (scip-2.0.1.linu) R 17981 17983 17983 0 -1 4202496 12993 0 0 0 2360 114 0 0 25 0 1 0 869267807 58425344 12053 33554432000 4194304 13684479 140735888039472 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17983/statm: 14264 12053 810 2317 0 11942 0
[pid=17975/tid=17982] ppid=17973 vsize=293976 CPUtime=0 cores=1,3,5,7
/proc/17975/task/17982/stat : 17982 (python) S 17973 17975 17436 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 2 0 869267807 301031424 7361 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092055985 0 0 16781312 33554434 18446604470113333568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 634764
Solver just ended. Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 2.18 1.40 0.61 3/557 17983
/proc/meminfo: memFree=27602516/32950928 swapFree=38525204/67111528
[pid=17975] ppid=17973 vsize=293976 CPUtime=0.5 cores=1,3,5,7
/proc/17975/stat : 17975 (python) S 17973 17975 17436 0 -1 4202496 9857 928 1 0 39 11 0 0 18 0 2 0 869267732 301031424 7361 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17975/statm: 73494 7361 1870 364 0 8381 0
[pid=17981] ppid=17975 vsize=283732 CPUtime=0.1 cores=1,3,5,7
/proc/17981/stat : 17981 (python) S 17975 17975 17436 0 -1 4202560 940 0 0 0 5 5 0 0 15 0 1 0 869267807 290541568 5863 33554432000 4194304 5683644 140735697796992 18446744073709551615 208080252431 0 0 16781312 33554946 1236044983098671104 0 0 17 7 0 0 0
/proc/17981/statm: 70933 5863 376 364 0 5820 0
[pid=17983] ppid=17981 vsize=57056 CPUtime=24.84 cores=1,3,5,7
/proc/17983/stat : 17983 (scip-2.0.1.linu) R 17981 17983 17983 0 -1 4202496 12993 0 0 0 2370 114 0 0 25 0 1 0 869267807 58425344 12053 33554432000 4194304 13684479 140735888039472 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17983/statm: 14264 12053 810 2317 0 11942 0
[pid=17975/tid=17982] ppid=17973 vsize=293976 CPUtime=0 cores=1,3,5,7
/proc/17975/task/17982/stat : 17982 (python) S 17973 17975 17436 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 2 0 869267807 301031424 7361 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092055985 0 0 16781312 33554434 18446604470113333568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 634764
[startup+38.401 s]
/proc/loadavg: 2.16 1.42 0.63 3/561 17987
/proc/meminfo: memFree=27530656/32950928 swapFree=38525204/67111528
[pid=17975] ppid=17973 vsize=293976 CPUtime=0.5 cores=1,3,5,7
/proc/17975/stat : 17975 (python) S 17973 17975 17436 0 -1 4202496 9857 928 1 0 39 11 0 0 18 0 2 0 869267732 301031424 7361 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17975/statm: 73494 7361 1870 364 0 8381 0
[pid=17981] ppid=17975 vsize=283732 CPUtime=0.16 cores=1,3,5,7
/proc/17981/stat : 17981 (python) S 17975 17975 17436 0 -1 4202560 945 0 0 0 7 9 0 0 15 0 1 0 869267807 290541568 5863 33554432000 4194304 5683644 140735697796992 18446744073709551615 208080252431 0 0 16781312 33554946 2462931128827248640 0 0 17 1 0 0 0
/proc/17981/statm: 70933 5863 376 364 0 5820 0
[pid=17983] ppid=17981 vsize=57056 CPUtime=37.64 cores=1,3,5,7
/proc/17983/stat : 17983 (scip-2.0.1.linu) R 17981 17983 17983 0 -1 4202496 12995 0 0 0 3594 170 0 0 25 0 1 0 869267807 58425344 12055 33554432000 4194304 13684479 140735888039472 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17983/statm: 14264 12055 810 2317 0 11942 0
[pid=17975/tid=17982] ppid=17973 vsize=293976 CPUtime=0 cores=1,3,5,7
/proc/17975/task/17982/stat : 17982 (python) S 17973 17975 17436 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 2 0 869267807 301031424 7361 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092055985 0 0 16781312 33554434 18446604470113333568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 38.3
Current children cumulated vsize (KiB) 634764
[startup+44.8008 s]
/proc/loadavg: 2.30 1.46 0.65 3/561 17988
/proc/meminfo: memFree=27529412/32950928 swapFree=38525204/67111528
[pid=17975] ppid=17973 vsize=293976 CPUtime=0.5 cores=1,3,5,7
/proc/17975/stat : 17975 (python) S 17973 17975 17436 0 -1 4202496 9857 928 1 0 39 11 0 0 18 0 2 0 869267732 301031424 7361 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17975/statm: 73494 7361 1870 364 0 8381 0
[pid=17981] ppid=17975 vsize=283732 CPUtime=0.18 cores=1,3,5,7
/proc/17981/stat : 17981 (python) S 17975 17975 17436 0 -1 4202560 947 0 0 0 8 10 0 0 15 0 1 0 869267807 290541568 5863 33554432000 4194304 5683644 140735697796992 18446744073709551615 208080252431 0 0 16781312 33554946 464713021885775872 0 0 17 1 0 0 0
/proc/17981/statm: 70933 5863 376 364 0 5820 0
[pid=17983] ppid=17981 vsize=57056 CPUtime=44.04 cores=1,3,5,7
/proc/17983/stat : 17983 (scip-2.0.1.linu) R 17981 17983 17983 0 -1 4202496 12995 0 0 0 4210 194 0 0 25 0 1 0 869267807 58425344 12055 33554432000 4194304 13684479 140735888039472 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17983/statm: 14264 12055 810 2317 0 11942 0
[pid=17975/tid=17982] ppid=17973 vsize=293976 CPUtime=0 cores=1,3,5,7
/proc/17975/task/17982/stat : 17982 (python) S 17973 17975 17436 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 2 0 869267807 301031424 7361 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092055985 0 0 16781312 33554434 18446604470113333568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 44.72
Current children cumulated vsize (KiB) 634764
[startup+48.0002 s]
/proc/loadavg: 2.28 1.47 0.65 3/561 17988
/proc/meminfo: memFree=27528916/32950928 swapFree=38525204/67111528
[pid=17975] ppid=17973 vsize=293976 CPUtime=0.5 cores=1,3,5,7
/proc/17975/stat : 17975 (python) S 17973 17975 17436 0 -1 4202496 9857 928 1 0 39 11 0 0 18 0 2 0 869267732 301031424 7361 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17975/statm: 73494 7361 1870 364 0 8381 0
[pid=17981] ppid=17975 vsize=283732 CPUtime=0.2 cores=1,3,5,7
/proc/17981/stat : 17981 (python) S 17975 17975 17436 0 -1 4202560 950 0 0 0 9 11 0 0 15 0 1 0 869267807 290541568 5863 33554432000 4194304 5683644 140735697796992 18446744073709551615 208080252431 0 0 16781312 33554946 100728381934403584 0 0 17 7 0 0 0
/proc/17981/statm: 70933 5863 376 364 0 5820 0
[pid=17983] ppid=17981 vsize=57056 CPUtime=47.25 cores=1,3,5,7
/proc/17983/stat : 17983 (scip-2.0.1.linu) R 17981 17983 17983 0 -1 4202496 12996 0 0 0 4518 207 0 0 25 0 1 0 869267807 58425344 12056 33554432000 4194304 13684479 140735888039472 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17983/statm: 14264 12056 810 2317 0 11942 0
[pid=17975/tid=17982] ppid=17973 vsize=293976 CPUtime=0 cores=1,3,5,7
/proc/17975/task/17982/stat : 17982 (python) S 17973 17975 17436 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 2 0 869267807 301031424 7361 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092055985 0 0 16781312 33554434 18446604470113333568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 47.95
Current children cumulated vsize (KiB) 634764
[startup+49.6189 s]
/proc/loadavg: 2.28 1.47 0.65 3/562 17989
/proc/meminfo: memFree=27527544/32950928 swapFree=38525204/67111528
[pid=17975] ppid=17973 vsize=304680 CPUtime=0.53 cores=1,3,5,7
/proc/17975/stat : 17975 (python) S 17973 17975 17436 0 -1 4202496 10694 928 1 0 42 11 0 0 19 0 3 0 869267732 311992320 7467 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17975/statm: 76170 7467 1873 364 0 11054 0
[pid=17981] ppid=17975 vsize=293976 CPUtime=0.23 cores=1,3,5,7
/proc/17981/stat : 17981 (python) S 17975 17975 17436 0 -1 4202560 1166 0 0 0 10 13 0 0 17 0 2 0 869267807 301031424 5904 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17981/statm: 73494 5904 412 364 0 8381 0
[pid=17983] ppid=17981 vsize=57056 CPUtime=48.72 cores=1,3,5,7
/proc/17983/stat : 17983 (scip-2.0.1.linu) T 17981 17983 17983 0 -1 4202496 12996 0 0 0 4659 213 0 0 25 0 1 0 869267807 58425344 12056 33554432000 4194304 13684479 140735888039472 18446744073709551615 7268195 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/17983/statm: 14264 12056 810 2317 0 11942 0
[pid=17981/tid=17989] ppid=17975 vsize=293976 CPUtime=0 cores=1,3,5,7
/proc/17981/task/17989/stat : 17989 (python) S 17975 17975 17436 0 -1 4202560 98 0 0 0 0 0 0 0 17 0 2 0 869272680 301031424 5904 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092055985 0 0 16781312 33554946 18446604467695975232 0 0 -1 7 0 0 0
[pid=17975/tid=17982] ppid=17973 vsize=304680 CPUtime=0 cores=1,3,5,7
/proc/17975/task/17982/stat : 17982 (python) S 17973 17975 17436 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 3 0 869267807 311992320 7467 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092055985 0 0 16781312 33554434 18446604470113333568 0 0 -1 3 0 0 0
[pid=17975/tid=17991] ppid=17973 vsize=304680 CPUtime=0 cores=1,3,5,7
/proc/17975/task/17991/stat : 17991 (python) S 17973 17975 17436 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 869272683 311992320 7467 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092055985 0 0 16781312 33554434 18446604470113333568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.48
Current children cumulated vsize (KiB) 655712
[startup+50.4008 s]
/proc/loadavg: 2.28 1.47 0.65 3/562 17989
/proc/meminfo: memFree=27527544/32950928 swapFree=38525204/67111528
[pid=17975] ppid=17973 vsize=304680 CPUtime=0.53 cores=1,3,5,7
/proc/17975/stat : 17975 (python) S 17973 17975 17436 0 -1 4202496 10694 928 1 0 42 11 0 0 19 0 3 0 869267732 311992320 7467 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17975/statm: 76170 7467 1873 364 0 11054 0
[pid=17981] ppid=17975 vsize=293976 CPUtime=0.23 cores=1,3,5,7
/proc/17981/stat : 17981 (python) S 17975 17975 17436 0 -1 4202560 1166 0 0 0 10 13 0 0 17 0 2 0 869267807 301031424 5904 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17981/statm: 73494 5904 412 364 0 8381 0
[pid=17983] ppid=17981 vsize=57056 CPUtime=48.72 cores=1,3,5,7
/proc/17983/stat : 17983 (scip-2.0.1.linu) T 17981 17983 17983 0 -1 4202496 12996 0 0 0 4659 213 0 0 25 0 1 0 869267807 58425344 12056 33554432000 4194304 13684479 140735888039472 18446744073709551615 7268195 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/17983/statm: 14264 12056 810 2317 0 11942 0
[pid=17981/tid=17989] ppid=17975 vsize=293976 CPUtime=0 cores=1,3,5,7
/proc/17981/task/17989/stat : 17989 (python) S 17975 17975 17436 0 -1 4202560 98 0 0 0 0 0 0 0 17 0 2 0 869272680 301031424 5904 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092055985 0 0 16781312 33554946 18446604467695975232 0 0 -1 7 0 0 0
[pid=17975/tid=17982] ppid=17973 vsize=304680 CPUtime=0 cores=1,3,5,7
/proc/17975/task/17982/stat : 17982 (python) S 17973 17975 17436 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 3 0 869267807 311992320 7467 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092055985 0 0 16781312 33554434 18446604470113333568 0 0 -1 3 0 0 0
[pid=17975/tid=17991] ppid=17973 vsize=304680 CPUtime=0 cores=1,3,5,7
/proc/17975/task/17991/stat : 17991 (python) S 17973 17975 17436 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 869272683 311992320 7467 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092055985 0 0 16781312 33554434 18446604470113333568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.48
Current children cumulated vsize (KiB) 655712
[startup+50.8016 s]
/proc/loadavg: 2.42 1.51 0.67 3/583 18010
/proc/meminfo: memFree=27488812/32950928 swapFree=38525204/67111528
[pid=17975] ppid=17973 vsize=304680 CPUtime=0.53 cores=1,3,5,7
/proc/17975/stat : 17975 (python) S 17973 17975 17436 0 -1 4202496 10694 928 1 0 42 11 0 0 19 0 3 0 869267732 311992320 7467 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/17975/statm: 76170 7467 1873 364 0 11054 0
[pid=17981] ppid=17975 vsize=293976 CPUtime=0.23 cores=1,3,5,7
/proc/17981/stat : 17981 (python) S 17975 17975 17436 0 -1 4202560 1166 0 0 0 10 13 0 0 17 0 2 0 869267807 301031424 5904 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17981/statm: 73494 5904 412 364 0 8381 0
[pid=17983] ppid=17981 vsize=57056 CPUtime=48.72 cores=1,3,5,7
/proc/17983/stat : 17983 (scip-2.0.1.linu) T 17981 17983 17983 0 -1 4202496 12996 0 0 0 4659 213 0 0 25 0 1 0 869267807 58425344 12056 33554432000 4194304 13684479 140735888039472 18446744073709551615 7268195 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/17983/statm: 14264 12056 810 2317 0 11942 0
[pid=17981/tid=17989] ppid=17975 vsize=293976 CPUtime=0 cores=1,3,5,7
/proc/17981/task/17989/stat : 17989 (python) S 17975 17975 17436 0 -1 4202560 98 0 0 0 0 0 0 0 17 0 2 0 869272680 301031424 5904 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092055985 0 0 16781312 33554946 18446604467695975232 0 0 -1 7 0 0 0
[pid=17990] ppid=17975 vsize=294436 CPUtime=0 cores=1,3,5,7
/proc/17990/stat : 17990 (python) S 17975 17975 17436 0 -1 4202560 883 0 0 0 0 0 0 0 16 0 1 0 869272683 301502464 5946 33554432000 4194304 5683644 140735697796992 18446744073709551615 208080252486 0 0 16781312 33554946 1541924101424152576 0 0 17 5 0 0 0
/proc/17990/statm: 73609 5946 356 364 0 8493 0
[pid=17992] ppid=17990 vsize=8602892 CPUtime=1.89 cores=1,3,5,7
/proc/17992/stat : 17992 (java) S 17990 17992 17992 0 -1 4202496 13636 0 1 0 187 2 0 0 19 0 19 0 869272683 8809361408 11034 33554432000 1073741824 1073778376 140736358048768 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/17992/statm: 2150723 11034 2226 9 0 2141464 0
[pid=17992/tid=17993] ppid=17990 vsize=8602892 CPUtime=1.27 cores=1,3,5,7
/proc/17992/task/17993/stat : 17993 (java) R 17990 17992 17992 0 -1 4202560 7058 0 1 0 126 1 0 0 20 0 19 0 869272684 8809361408 11034 33554432000 1073741824 1073778376 140736358048768 18446744073709551615 46912505668916 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17992/tid=17994] ppid=17990 vsize=8602892 CPUtime=0 cores=1,3,5,7
/proc/17992/task/17994/stat : 17994 (java) S 17990 17992 17992 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869272684 8809361408 11034 33554432000 1073741824 1073778376 140736358048768 18446744073709551615 208092048281 0 4 0 16800975 18446604468552378304 0 0 -1 1 0 0 0
[pid=17992/tid=17995] ppid=17990 vsize=8602892 CPUtime=0 cores=1,3,5,7
/proc/17992/task/17995/stat : 17995 (java) S 17990 17992 17992 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869272684 8809361408 11034 33554432000 1073741824 1073778376 140736358048768 18446744073709551615 208092048281 0 4 0 16800975 18446604468552378304 0 0 -1 1 0 0 0
[pid=17992/tid=17996] ppid=17990 vsize=8602892 CPUtime=0 cores=1,3,5,7
/proc/17992/task/17996/stat : 17996 (java) S 17990 17992 17992 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869272684 8809361408 11034 33554432000 1073741824 1073778376 140736358048768 18446744073709551615 208092048281 0 4 0 16800975 18446604468552378304 0 0 -1 1 0 0 0
[pid=17992/tid=17997] ppid=17990 vsize=8602892 CPUtime=0 cores=1,3,5,7
/proc/17992/task/17997/stat : 17997 (java) S 17990 17992 17992 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869272684 8809361408 11034 33554432000 1073741824 1073778376 140736358048768 18446744073709551615 208092048281 0 4 0 16800975 18446604468552378304 0 0 -1 1 0 0 0
[pid=17992/tid=17998] ppid=17990 vsize=8602892 CPUtime=0 cores=1,3,5,7
/proc/17992/task/17998/stat : 17998 (java) S 17990 17992 17992 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869272684 8809361408 11034 33554432000 1073741824 1073778376 140736358048768 18446744073709551615 208092048281 0 4 0 16800975 18446604468552378304 0 0 -1 5 0 0 0
[pid=17992/tid=17999] ppid=17990 vsize=8602892 CPUtime=0 cores=1,3,5,7
/proc/17992/task/17999/stat : 17999 (java) S 17990 17992 17992 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869272684 8809361408 11034 33554432000 1073741824 1073778376 140736358048768 18446744073709551615 208092048281 0 4 0 16800975 18446604468552378304 0 0 -1 5 0 0 0
[pid=17992/tid=18000] ppid=17990 vsize=8602892 CPUtime=0 cores=1,3,5,7
/proc/17992/task/18000/stat : 18000 (java) S 17990 17992 17992 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869272684 8809361408 11034 33554432000 1073741824 1073778376 140736358048768 18446744073709551615 208092048281 0 4 0 16800975 18446604468552378304 0 0 -1 5 0 0 0
[pid=17992/tid=18001] ppid=17990 vsize=8602892 CPUtime=0 cores=1,3,5,7
/proc/17992/task/18001/stat : 18001 (java) S 17990 17992 17992 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869272684 8809361408 11015 33554432000 1073741824 1073778376 140736358048768 18446744073709551615 208092048281 0 4 0 16800975 18446604468552378304 0 0 -1 5 0 0 0
[pid=17992/tid=18002] ppid=17990 vsize=8602892 CPUtime=0 cores=1,3,5,7
/proc/17992/task/18002/stat : 18002 (java) S 17990 17992 17992 0 -1 4202560 6 0 0 0 0 0 0 0 21 0 19 0 869272685 8809361408 11017 33554432000 1073741824 1073778376 140736358048768 18446744073709551615 208092048896 0 0 0 16800975 18446604468552378304 0 0 -1 7 0 0 0
[pid=17992/tid=18003] ppid=17990 vsize=8602892 CPUtime=0 cores=1,3,5,7
/proc/17992/task/18003/stat : 18003 (java) S 17990 17992 17992 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869272686 8809361408 11033 33554432000 1073741824 1073778376 140736358048768 18446744073709551615 208092048281 0 4 0 16800975 18446604468552378304 0 0 -1 1 0 0 0
[pid=17992/tid=18004] ppid=17990 vsize=8602892 CPUtime=0 cores=1,3,5,7
/proc/17992/task/18004/stat : 18004 (java) S 17990 17992 17992 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869272686 8809361408 11038 33554432000 1073741824 1073778376 140736358048768 18446744073709551615 208092048281 0 4 0 16800975 18446604468552378304 0 0 -1 5 0 0 0
[pid=17992/tid=18005] ppid=17990 vsize=8602892 CPUtime=0 cores=1,3,5,7
/proc/17992/task/18005/stat : 18005 (java) S 17990 17992 17992 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869272688 8809361408 11038 33554432000 1073741824 1073778376 140736358048768 18446744073709551615 208092055985 0 4 0 16800975 18446604468552378304 0 0 -1 1 0 0 0
[pid=17992/tid=18006] ppid=17990 vsize=8602892 CPUtime=0.34 cores=1,3,5,7
/proc/17992/task/18006/stat : 18006 (java) S 17990 17992 17992 0 -1 4202560 2225 0 0 0 34 0 0 0 19 0 19 0 869272688 8809361408 11038 33554432000 1073741824 1073778376 140736358048768 18446744073709551615 208092048281 0 4 0 16800975 18446604468552378304 0 0 -1 7 0 0 0
[pid=17992/tid=18007] ppid=17990 vsize=8602892 CPUtime=0.26 cores=1,3,5,7
/proc/17992/task/18007/stat : 18007 (java) R 17990 17992 17992 0 -1 4202560 2979 0 0 0 26 0 0 0 15 0 19 0 869272688 8809361408 11038 33554432000 1073741824 1073778376 140736358048768 18446744073709551615 47601669874128 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17992/tid=18008] ppid=17990 vsize=8602892 CPUtime=0 cores=1,3,5,7
/proc/17992/task/18008/stat : 18008 (java) S 17990 17992 17992 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869272688 8809361408 11038 33554432000 1073741824 1073778376 140736358048768 18446744073709551615 208092048281 0 4 0 16800975 18446604468552378304 0 0 -1 1 0 0 0
[pid=17992/tid=18009] ppid=17990 vsize=8602892 CPUtime=0 cores=1,3,5,7
/proc/17992/task/18009/stat : 18009 (java) S 17990 17992 17992 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869272688 8809361408 11038 33554432000 1073741824 1073778376 140736358048768 18446744073709551615 208092048896 0 4 0 16800975 18446604468552378304 0 0 -1 7 0 0 0
[pid=17992/tid=18010] ppid=17990 vsize=8602892 CPUtime=0 cores=1,3,5,7
/proc/17992/task/18010/stat : 18010 (java) S 17990 17992 17992 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869272719 8809361408 11038 33554432000 1073741824 1073778376 140736358048768 18446744073709551615 208092048896 0 4 0 16800975 18446604468552378304 0 0 -1 5 0 0 0
[pid=17975/tid=17982] ppid=17973 vsize=304680 CPUtime=0 cores=1,3,5,7
/proc/17975/task/17982/stat : 17982 (python) S 17973 17975 17436 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 3 0 869267807 311992320 7467 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092055985 0 0 16781312 33554434 18446604470113333568 0 0 -1 3 0 0 0
[pid=17975/tid=17991] ppid=17973 vsize=304680 CPUtime=0 cores=1,3,5,7
/proc/17975/task/17991/stat : 17991 (python) S 17973 17975 17436 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 869272683 311992320 7467 33554432000 4194304 5683644 140735697796992 18446744073709551615 208092055985 0 0 16781312 33554434 18446604470113333568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 51.37
Current children cumulated vsize (KiB) 9553040
Child status: 0
Real time (s): 50.8833
CPU time (s): 51.5062
CPU user time (s): 49.0835
CPU system time (s): 2.42263
CPU usage (%): 101.224
Max. virtual memory (cumulated for all children) (KiB): 9553040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.0835
system time used= 2.42263
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45554
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3092
involuntary context switches= 199
runsolver used 0.264959 second user time and 0.579911 second system time
The end