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-3482049-1307576771/watcher-3482049-1307576771 -o /tmp/evaluation-result-3482049-1307576771/solver-3482049-1307576771 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482049-1307576771.opb -seed 852816353 -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.20 1.54 0.71 2/621 30982
/proc/meminfo: memFree=29709640/32950928 swapFree=43925852/67111528
[pid=30982] ppid=30980 vsize=16392 CPUtime=0.01 cores=1,3,5,7
/proc/30982/stat : 30982 (python) S 30980 30982 30488 0 -1 4202496 1123 0 0 0 1 0 0 0 21 0 1 0 869275925 16785408 989 33554432000 4194304 5683644 140735010168656 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/30982/statm: 4098 989 413 364 0 585 0
[startup+0.066601 s]
/proc/loadavg: 2.20 1.54 0.71 2/621 30982
/proc/meminfo: memFree=29709640/32950928 swapFree=43925852/67111528
[pid=30982] ppid=30980 vsize=50300 CPUtime=0.05 cores=1,3,5,7
/proc/30982/stat : 30982 (python) S 30980 30982 30488 0 -1 4202496 1978 0 0 0 4 1 0 0 17 0 1 0 869275925 51507200 1738 33554432000 4194304 5683644 140735010168656 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/30982/statm: 12575 1738 480 364 0 1275 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 50300
[startup+0.105503 s]
/proc/loadavg: 2.20 1.54 0.71 2/621 30982
/proc/meminfo: memFree=29709640/32950928 swapFree=43925852/67111528
[pid=30982] ppid=30980 vsize=96124 CPUtime=0.08 cores=1,3,5,7
/proc/30982/stat : 30982 (python) R 30980 30982 30488 0 -1 4202496 3169 930 1 0 6 2 0 0 18 0 1 0 869275925 98430976 2483 33554432000 4194304 5683644 140735010168656 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30982/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.300462 s]
/proc/loadavg: 2.20 1.54 0.71 2/621 30982
/proc/meminfo: memFree=29709640/32950928 swapFree=43925852/67111528
[pid=30982] ppid=30980 vsize=200776 CPUtime=0.24 cores=1,3,5,7
/proc/30982/stat : 30982 (python) R 30980 30982 30488 0 -1 4202496 6633 930 1 0 18 6 0 0 17 0 1 0 869275925 205594624 4921 33554432000 4194304 5683644 140735010168656 18446744073709551615 268267726312 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30982/statm: 50194 4921 1451 364 0 3676 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 200776
[startup+0.700333 s]
/proc/loadavg: 2.20 1.54 0.71 2/621 30982
/proc/meminfo: memFree=29709640/32950928 swapFree=43925852/67111528
[pid=30982] ppid=30980 vsize=295232 CPUtime=0.55 cores=1,3,5,7
/proc/30982/stat : 30982 (python) S 30980 30982 30488 0 -1 4202496 10186 930 1 0 46 9 0 0 19 0 2 0 869275925 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30982/statm: 73808 7611 1870 364 0 8695 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 295232
[startup+1.50116 s]
/proc/loadavg: 2.20 1.54 0.71 4/625 30990
/proc/meminfo: memFree=29654400/32950928 swapFree=43925852/67111528
[pid=30982] ppid=30980 vsize=295232 CPUtime=0.55 cores=1,3,5,7
/proc/30982/stat : 30982 (python) S 30980 30982 30488 0 -1 4202496 10186 930 1 0 46 9 0 0 19 0 2 0 869275925 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30982/statm: 73808 7611 1870 364 0 8695 0
[pid=30988] ppid=30982 vsize=284988 CPUtime=0 cores=1,3,5,7
/proc/30988/stat : 30988 (python) S 30982 30982 30488 0 -1 4202560 782 0 0 0 0 0 0 0 15 0 1 0 869275989 291827712 6090 33554432000 4194304 5683644 140735010168656 18446744073709551615 268272709135 0 0 16781312 33554946 8411486985843081478 0 0 17 5 0 0 0
/proc/30988/statm: 71247 6090 352 364 0 6134 0
[pid=30990] ppid=30988 vsize=50380 CPUtime=0.85 cores=1,3,5,7
/proc/30990/stat : 30990 (scip-2.0.1.linu) R 30988 30990 30990 0 -1 4202496 10779 0 0 0 78 7 0 0 21 0 1 0 869275989 51589120 10156 33554432000 4194304 13684479 140737196313680 18446744073709551615 4866157 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30990/statm: 12595 10156 644 2317 0 10273 0
[pid=30982/tid=30989] ppid=30980 vsize=295232 CPUtime=0 cores=1,3,5,7
/proc/30982/task/30989/stat : 30989 (python) S 30980 30982 30488 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869275989 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996325312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 630600
[startup+3.10088 s]
/proc/loadavg: 2.20 1.54 0.71 3/625 30990
/proc/meminfo: memFree=29623896/32950928 swapFree=43925852/67111528
[pid=30982] ppid=30980 vsize=295232 CPUtime=0.55 cores=1,3,5,7
/proc/30982/stat : 30982 (python) S 30980 30982 30488 0 -1 4202496 10186 930 1 0 46 9 0 0 19 0 2 0 869275925 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30982/statm: 73808 7611 1870 364 0 8695 0
[pid=30988] ppid=30982 vsize=284988 CPUtime=0 cores=1,3,5,7
/proc/30988/stat : 30988 (python) S 30982 30982 30488 0 -1 4202560 798 0 0 0 0 0 0 0 15 0 1 0 869275989 291827712 6090 33554432000 4194304 5683644 140735010168656 18446744073709551615 268272709135 0 0 16781312 33554946 2989082747349237760 0 0 17 5 0 0 0
/proc/30988/statm: 71247 6090 352 364 0 6134 0
[pid=30990] ppid=30988 vsize=69716 CPUtime=2.44 cores=1,3,5,7
/proc/30990/stat : 30990 (scip-2.0.1.linu) R 30988 30990 30990 0 -1 4202496 15918 0 0 0 233 11 0 0 25 0 1 0 869275989 71389184 15197 33554432000 4194304 13684479 140737196313680 18446744073709551615 4940984 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30990/statm: 17429 15197 778 2317 0 15107 0
[pid=30982/tid=30989] ppid=30980 vsize=295232 CPUtime=0 cores=1,3,5,7
/proc/30982/task/30989/stat : 30989 (python) S 30980 30982 30488 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869275989 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996325312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 649936
[startup+6.3013 s]
/proc/loadavg: 2.27 1.57 0.72 3/647 31012
/proc/meminfo: memFree=29570276/32950928 swapFree=43925852/67111528
[pid=30982] ppid=30980 vsize=295232 CPUtime=0.55 cores=1,3,5,7
/proc/30982/stat : 30982 (python) S 30980 30982 30488 0 -1 4202496 10186 930 1 0 46 9 0 0 19 0 2 0 869275925 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30982/statm: 73808 7611 1870 364 0 8695 0
[pid=30988] ppid=30982 vsize=284988 CPUtime=0.02 cores=1,3,5,7
/proc/30988/stat : 30988 (python) S 30982 30982 30488 0 -1 4202560 941 0 0 0 1 1 0 0 15 0 1 0 869275989 291827712 6120 33554432000 4194304 5683644 140735010168656 18446744073709551615 268272709135 0 0 16781312 33554946 219784166709919744 0 0 17 5 0 0 0
/proc/30988/statm: 71247 6120 376 364 0 6134 0
[pid=30990] ppid=30988 vsize=76136 CPUtime=5.65 cores=1,3,5,7
/proc/30990/stat : 30990 (scip-2.0.1.linu) R 30988 30990 30990 0 -1 4202496 17550 0 0 0 548 17 0 0 25 0 1 0 869275989 77963264 16733 33554432000 4194304 13684479 140737196313680 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30990/statm: 19034 16733 795 2317 0 16712 0
[pid=30982/tid=30989] ppid=30980 vsize=295232 CPUtime=0 cores=1,3,5,7
/proc/30982/task/30989/stat : 30989 (python) S 30980 30982 30488 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869275989 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996325312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 656356
[startup+12.7002 s]
/proc/loadavg: 2.25 1.57 0.73 3/647 31013
/proc/meminfo: memFree=29560580/32950928 swapFree=43925852/67111528
[pid=30982] ppid=30980 vsize=295232 CPUtime=0.55 cores=1,3,5,7
/proc/30982/stat : 30982 (python) S 30980 30982 30488 0 -1 4202496 10186 930 1 0 46 9 0 0 19 0 2 0 869275925 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30982/statm: 73808 7611 1870 364 0 8695 0
[pid=30988] ppid=30982 vsize=284988 CPUtime=0.08 cores=1,3,5,7
/proc/30988/stat : 30988 (python) S 30982 30982 30488 0 -1 4202560 953 0 0 0 4 4 0 0 16 0 1 0 869275989 291827712 6120 33554432000 4194304 5683644 140735010168656 18446744073709551615 268272709135 0 0 16781312 33554946 4294934791 0 0 17 5 0 0 0
/proc/30988/statm: 71247 6120 376 364 0 6134 0
[pid=30990] ppid=30988 vsize=82376 CPUtime=12.03 cores=1,3,5,7
/proc/30990/stat : 30990 (scip-2.0.1.linu) R 30988 30990 30990 0 -1 4202496 19226 0 0 0 1172 31 0 0 25 0 1 0 869275989 84353024 18361 33554432000 4194304 13684479 140737196313680 18446744073709551615 4969900 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/30990/statm: 20594 18361 796 2317 0 18272 0
[pid=30982/tid=30989] ppid=30980 vsize=295232 CPUtime=0 cores=1,3,5,7
/proc/30982/task/30989/stat : 30989 (python) S 30980 30982 30488 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869275989 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996325312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 662596
[startup+25.5009 s]
/proc/loadavg: 2.19 1.59 0.75 3/647 31013
/proc/meminfo: memFree=29558540/32950928 swapFree=43925852/67111528
[pid=30982] ppid=30980 vsize=295232 CPUtime=0.55 cores=1,3,5,7
/proc/30982/stat : 30982 (python) S 30980 30982 30488 0 -1 4202496 10186 930 1 0 46 9 0 0 19 0 2 0 869275925 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30982/statm: 73808 7611 1870 364 0 8695 0
[pid=30988] ppid=30982 vsize=284988 CPUtime=0.17 cores=1,3,5,7
/proc/30988/stat : 30988 (python) S 30982 30982 30488 0 -1 4202560 964 0 0 0 10 7 0 0 15 0 1 0 869275989 291827712 6120 33554432000 4194304 5683644 140735010168656 18446744073709551615 268272709135 0 0 16781312 33554946 5623606151888251630 0 0 17 5 0 0 0
/proc/30988/statm: 71247 6120 376 364 0 6134 0
[pid=30990] ppid=30988 vsize=83536 CPUtime=24.79 cores=1,3,5,7
/proc/30990/stat : 30990 (scip-2.0.1.linu) R 30988 30990 30990 0 -1 4202496 20318 0 0 0 2433 46 0 0 25 0 1 0 869275989 85540864 18697 33554432000 4194304 13684479 140737196313680 18446744073709551615 7390754 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/30990/statm: 20884 18697 825 2317 0 18562 0
[pid=30982/tid=30989] ppid=30980 vsize=295232 CPUtime=0 cores=1,3,5,7
/proc/30982/task/30989/stat : 30989 (python) S 30980 30982 30488 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869275989 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996325312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 663756
Solver just ended. Dumping a history of the last processes samples
[startup+26.4007 s]
/proc/loadavg: 2.19 1.59 0.75 3/647 31013
/proc/meminfo: memFree=29558540/32950928 swapFree=43925852/67111528
[pid=30982] ppid=30980 vsize=295232 CPUtime=0.55 cores=1,3,5,7
/proc/30982/stat : 30982 (python) S 30980 30982 30488 0 -1 4202496 10186 930 1 0 46 9 0 0 19 0 2 0 869275925 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30982/statm: 73808 7611 1870 364 0 8695 0
[pid=30988] ppid=30982 vsize=284988 CPUtime=0.17 cores=1,3,5,7
/proc/30988/stat : 30988 (python) S 30982 30982 30488 0 -1 4202560 964 0 0 0 10 7 0 0 15 0 1 0 869275989 291827712 6120 33554432000 4194304 5683644 140735010168656 18446744073709551615 268272709135 0 0 16781312 33554946 1738246927675293696 0 0 17 5 0 0 0
/proc/30988/statm: 71247 6120 376 364 0 6134 0
[pid=30990] ppid=30988 vsize=83536 CPUtime=25.69 cores=1,3,5,7
/proc/30990/stat : 30990 (scip-2.0.1.linu) R 30988 30990 30990 0 -1 4202496 20322 0 0 0 2522 47 0 0 25 0 1 0 869275989 85540864 18701 33554432000 4194304 13684479 140737196313680 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30990/statm: 20884 18701 826 2317 0 18562 0
[pid=30982/tid=30989] ppid=30980 vsize=295232 CPUtime=0 cores=1,3,5,7
/proc/30982/task/30989/stat : 30989 (python) S 30980 30982 30488 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869275989 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996325312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 26.41
Current children cumulated vsize (KiB) 663756
[startup+39.2004 s]
/proc/loadavg: 2.16 1.61 0.76 3/647 31013
/proc/meminfo: memFree=29556772/32950928 swapFree=43925852/67111528
[pid=30982] ppid=30980 vsize=295232 CPUtime=0.55 cores=1,3,5,7
/proc/30982/stat : 30982 (python) S 30980 30982 30488 0 -1 4202496 10186 930 1 0 46 9 0 0 19 0 2 0 869275925 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30982/statm: 73808 7611 1870 364 0 8695 0
[pid=30988] ppid=30982 vsize=284988 CPUtime=0.22 cores=1,3,5,7
/proc/30988/stat : 30988 (python) S 30982 30982 30488 0 -1 4202560 967 0 0 0 12 10 0 0 15 0 1 0 869275989 291827712 6120 33554432000 4194304 5683644 140735010168656 18446744073709551615 268272709135 0 0 16781312 33554946 5623606151888251630 0 0 17 5 0 0 0
/proc/30988/statm: 71247 6120 376 364 0 6134 0
[pid=30990] ppid=30988 vsize=83536 CPUtime=38.48 cores=1,3,5,7
/proc/30990/stat : 30990 (scip-2.0.1.linu) R 30988 30990 30990 0 -1 4202496 20323 0 0 0 3771 77 0 0 25 0 1 0 869275989 85540864 18702 33554432000 4194304 13684479 140737196313680 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30990/statm: 20884 18702 827 2317 0 18562 0
[pid=30982/tid=30989] ppid=30980 vsize=295232 CPUtime=0 cores=1,3,5,7
/proc/30982/task/30989/stat : 30989 (python) S 30980 30982 30488 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869275989 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996325312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 39.25
Current children cumulated vsize (KiB) 663756
[startup+45.6003 s]
/proc/loadavg: 2.14 1.62 0.78 3/647 31013
/proc/meminfo: memFree=29555148/32950928 swapFree=43925852/67111528
[pid=30982] ppid=30980 vsize=295232 CPUtime=0.55 cores=1,3,5,7
/proc/30982/stat : 30982 (python) S 30980 30982 30488 0 -1 4202496 10186 930 1 0 46 9 0 0 19 0 2 0 869275925 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30982/statm: 73808 7611 1870 364 0 8695 0
[pid=30988] ppid=30982 vsize=284988 CPUtime=0.27 cores=1,3,5,7
/proc/30988/stat : 30988 (python) S 30982 30982 30488 0 -1 4202560 971 0 0 0 14 13 0 0 16 0 1 0 869275989 291827712 6120 33554432000 4194304 5683644 140735010168656 18446744073709551615 268272709135 0 0 16781312 33554946 5623606151888251630 0 0 17 5 0 0 0
/proc/30988/statm: 71247 6120 376 364 0 6134 0
[pid=30990] ppid=30988 vsize=83536 CPUtime=44.86 cores=1,3,5,7
/proc/30990/stat : 30990 (scip-2.0.1.linu) R 30988 30990 30990 0 -1 4202496 20323 0 0 0 4394 92 0 0 25 0 1 0 869275989 85540864 18702 33554432000 4194304 13684479 140737196313680 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30990/statm: 20884 18702 827 2317 0 18562 0
[pid=30982/tid=30989] ppid=30980 vsize=295232 CPUtime=0 cores=1,3,5,7
/proc/30982/task/30989/stat : 30989 (python) S 30980 30982 30488 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869275989 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996325312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 45.68
Current children cumulated vsize (KiB) 663756
[startup+48.8007 s]
/proc/loadavg: 2.14 1.62 0.78 3/651 31018
/proc/meminfo: memFree=29527280/32950928 swapFree=43925852/67111528
[pid=30982] ppid=30980 vsize=295232 CPUtime=0.55 cores=1,3,5,7
/proc/30982/stat : 30982 (python) S 30980 30982 30488 0 -1 4202496 10186 930 1 0 46 9 0 0 19 0 2 0 869275925 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30982/statm: 73808 7611 1870 364 0 8695 0
[pid=30988] ppid=30982 vsize=284988 CPUtime=0.27 cores=1,3,5,7
/proc/30988/stat : 30988 (python) S 30982 30982 30488 0 -1 4202560 971 0 0 0 14 13 0 0 15 0 1 0 869275989 291827712 6120 33554432000 4194304 5683644 140735010168656 18446744073709551615 268272709135 0 0 16781312 33554946 5623606151888251630 0 0 17 5 0 0 0
/proc/30988/statm: 71247 6120 376 364 0 6134 0
[pid=30990] ppid=30988 vsize=83536 CPUtime=48.06 cores=1,3,5,7
/proc/30990/stat : 30990 (scip-2.0.1.linu) R 30988 30990 30990 0 -1 4202496 20324 0 0 0 4706 100 0 0 25 0 1 0 869275989 85540864 18703 33554432000 4194304 13684479 140737196313680 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30990/statm: 20884 18703 828 2317 0 18562 0
[pid=30982/tid=30989] ppid=30980 vsize=295232 CPUtime=0 cores=1,3,5,7
/proc/30982/task/30989/stat : 30989 (python) S 30980 30982 30488 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869275989 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996325312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 48.88
Current children cumulated vsize (KiB) 663756
[startup+49.6006 s]
/proc/loadavg: 2.14 1.62 0.78 3/651 31018
/proc/meminfo: memFree=29512400/32950928 swapFree=43925852/67111528
[pid=30982] ppid=30980 vsize=295232 CPUtime=0.55 cores=1,3,5,7
/proc/30982/stat : 30982 (python) S 30980 30982 30488 0 -1 4202496 10186 930 1 0 46 9 0 0 19 0 2 0 869275925 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30982/statm: 73808 7611 1870 364 0 8695 0
[pid=30988] ppid=30982 vsize=284988 CPUtime=0.27 cores=1,3,5,7
/proc/30988/stat : 30988 (python) S 30982 30982 30488 0 -1 4202560 971 0 0 0 14 13 0 0 15 0 1 0 869275989 291827712 6120 33554432000 4194304 5683644 140735010168656 18446744073709551615 268272709135 0 0 16781312 33554946 5623606151888251630 0 0 17 5 0 0 0
/proc/30988/statm: 71247 6120 376 364 0 6134 0
[pid=30990] ppid=30988 vsize=83536 CPUtime=48.87 cores=1,3,5,7
/proc/30990/stat : 30990 (scip-2.0.1.linu) R 30988 30990 30990 0 -1 4202496 20324 0 0 0 4784 103 0 0 25 0 1 0 869275989 85540864 18703 33554432000 4194304 13684479 140737196313680 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30990/statm: 20884 18703 828 2317 0 18562 0
[pid=30982/tid=30989] ppid=30980 vsize=295232 CPUtime=0 cores=1,3,5,7
/proc/30982/task/30989/stat : 30989 (python) S 30980 30982 30488 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 869275989 302317568 7611 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996325312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.69
Current children cumulated vsize (KiB) 663756
[startup+50.0005 s]
/proc/loadavg: 2.14 1.62 0.78 3/651 31018
/proc/meminfo: memFree=29512400/32950928 swapFree=43925852/67111528
[pid=30982] ppid=30980 vsize=305992 CPUtime=0.57 cores=1,3,5,7
/proc/30982/stat : 30982 (python) S 30980 30982 30488 0 -1 4202496 11045 930 1 0 48 9 0 0 20 0 3 0 869275925 313335808 7746 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30982/statm: 76498 7746 1873 364 0 11382 0
[pid=30988] ppid=30982 vsize=295232 CPUtime=0.3 cores=1,3,5,7
/proc/30988/stat : 30988 (python) S 30982 30982 30488 0 -1 4202560 1132 0 0 0 16 14 0 0 17 0 2 0 869275989 302317568 6156 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/30988/statm: 73808 6156 407 364 0 8695 0
[pid=30990] ppid=30988 vsize=83536 CPUtime=48.94 cores=1,3,5,7
/proc/30990/stat : 30990 (scip-2.0.1.linu) T 30988 30990 30990 0 -1 4202496 20324 0 0 0 4791 103 0 0 25 0 1 0 869275989 85540864 18703 33554432000 4194304 13684479 140737196313680 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/30990/statm: 20884 18703 828 2317 0 18562 0
[pid=30982/tid=30989] ppid=30980 vsize=305992 CPUtime=0 cores=1,3,5,7
/proc/30982/task/30989/stat : 30989 (python) S 30980 30982 30488 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 3 0 869275989 313335808 7746 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996325312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.81
Current children cumulated vsize (KiB) 684760
[startup+50.2005 s]
/proc/loadavg: 2.14 1.62 0.78 3/651 31018
/proc/meminfo: memFree=29512400/32950928 swapFree=43925852/67111528
[pid=30982] ppid=30980 vsize=305992 CPUtime=0.57 cores=1,3,5,7
/proc/30982/stat : 30982 (python) S 30980 30982 30488 0 -1 4202496 11045 930 1 0 48 9 0 0 20 0 3 0 869275925 313335808 7746 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/30982/statm: 76498 7746 1873 364 0 11382 0
[pid=30988] ppid=30982 vsize=295232 CPUtime=0.3 cores=1,3,5,7
/proc/30988/stat : 30988 (python) S 30982 30982 30488 0 -1 4202560 1132 0 0 0 16 14 0 0 17 0 2 0 869275989 302317568 6156 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284515787 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/30988/statm: 73808 6156 407 364 0 8695 0
[pid=30990] ppid=30988 vsize=83536 CPUtime=48.94 cores=1,3,5,7
/proc/30990/stat : 30990 (scip-2.0.1.linu) T 30988 30990 30990 0 -1 4202496 20324 0 0 0 4791 103 0 0 25 0 1 0 869275989 85540864 18703 33554432000 4194304 13684479 140737196313680 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 7 0 0 0
/proc/30990/statm: 20884 18703 828 2317 0 18562 0
[pid=30982/tid=30989] ppid=30980 vsize=305992 CPUtime=0 cores=1,3,5,7
/proc/30982/task/30989/stat : 30989 (python) S 30980 30982 30488 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 3 0 869275989 313335808 7746 33554432000 4194304 5683644 140735010168656 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470996325312 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.81
Current children cumulated vsize (KiB) 684760
Child status: 0
Real time (s): 50.2727
CPU time (s): 50.8403
CPU user time (s): 49.5265
CPU system time (s): 1.3138
CPU usage (%): 101.129
Max. virtual memory (cumulated for all children) (KiB): 684760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.5265
system time used= 1.3138
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54869
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= 2878
involuntary context switches= 2297
runsolver used 0.231964 second user time and 0.738887 second system time
The end