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-3481866-1307576607/watcher-3481866-1307576607 -o /tmp/evaluation-result-3481866-1307576607/solver-3481866-1307576607 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481866-1307576607.opb -seed 997748722 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.89 1.07 0.43 3/545 17819
/proc/meminfo: memFree=27805040/32950928 swapFree=38525204/67111528
[pid=17819] ppid=17817 vsize=16244 CPUtime=0 cores=1,3,5,7
/proc/17819/stat : 17819 (python) R 17817 17819 17436 0 -1 4202496 1040 0 0 0 0 0 0 0 21 0 1 0 869260438 16633856 912 33554432000 4194304 5683644 140736831071968 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17819/statm: 4061 912 380 364 0 548 0
[startup+0.065359 s]
/proc/loadavg: 1.89 1.07 0.43 3/545 17819
/proc/meminfo: memFree=27805040/32950928 swapFree=38525204/67111528
[pid=17819] ppid=17817 vsize=50016 CPUtime=0.05 cores=1,3,5,7
/proc/17819/stat : 17819 (python) S 17817 17819 17436 0 -1 4202496 1948 0 0 0 3 2 0 0 22 0 1 0 869260438 51216384 1713 33554432000 4194304 5683644 140736831071968 18446744073709551615 208080230400 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/17819/statm: 12504 1713 476 364 0 1204 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 50016
[startup+0.105348 s]
/proc/loadavg: 1.89 1.07 0.43 3/545 17819
/proc/meminfo: memFree=27805040/32950928 swapFree=38525204/67111528
[pid=17819] ppid=17817 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/17819/stat : 17819 (python) R 17817 17819 17436 0 -1 4202496 3168 928 1 0 5 2 0 0 22 0 1 0 869260438 98435072 2483 33554432000 4194304 5683644 140736831071968 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17819/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.843206 s]
/proc/loadavg: 1.89 1.07 0.43 3/545 17819
/proc/meminfo: memFree=27805040/32950928 swapFree=38525204/67111528
[pid=17819] ppid=17817 vsize=233780 CPUtime=0.27 cores=1,3,5,7
/proc/17819/stat : 17819 (python) R 17817 17819 17436 0 -1 4202496 7310 928 1 0 19 8 0 0 18 0 1 0 869260438 239390720 5505 33554432000 4194304 5683644 140736831071968 18446744073709551615 208079893189 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17819/statm: 58445 5505 1578 364 0 4093 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 233780
[startup+0.900195 s]
/proc/loadavg: 1.89 1.07 0.43 3/545 17819
/proc/meminfo: memFree=27805040/32950928 swapFree=38525204/67111528
[pid=17819] ppid=17817 vsize=245088 CPUtime=0.31 cores=1,3,5,7
/proc/17819/stat : 17819 (python) S 17817 17819 17436 0 -1 4202496 7785 928 1 0 23 8 0 0 18 0 1 0 869260438 250970112 5952 33554432000 4194304 5683644 140736831071968 18446744073709551615 208080230400 0 2147483391 16781312 2 18446744071699207358 0 0 17 1 0 0 0
/proc/17819/statm: 61272 5952 1605 364 0 4797 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 245088
[startup+1.50008 s]
/proc/loadavg: 1.89 1.07 0.43 3/545 17819
/proc/meminfo: memFree=27805040/32950928 swapFree=38525204/67111528
[pid=17819] ppid=17817 vsize=293472 CPUtime=0.44 cores=1,3,5,7
/proc/17819/stat : 17819 (python) S 17817 17819 17436 0 -1 4202496 9728 928 1 0 34 10 0 0 20 0 2 0 869260438 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 73368 7234 1870 364 0 8255 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 293472
[startup+3.10078 s]
/proc/loadavg: 1.89 1.08 0.44 3/549 17827
/proc/meminfo: memFree=27732324/32950928 swapFree=38525204/67111528
[pid=17819] ppid=17817 vsize=293472 CPUtime=0.44 cores=1,3,5,7
/proc/17819/stat : 17819 (python) S 17817 17819 17436 0 -1 4202496 9728 928 1 0 34 10 0 0 20 0 2 0 869260438 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 73368 7234 1870 364 0 8255 0
[pid=17825] ppid=17819 vsize=283228 CPUtime=0 cores=1,3,5,7
/proc/17825/stat : 17825 (python) S 17819 17819 17436 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 1 0 869260542 290025472 5712 33554432000 4194304 5683644 140736831071968 18446744073709551615 208080252431 0 0 16781312 33554946 1365383645430284288 0 0 17 1 0 0 0
/proc/17825/statm: 70807 5712 352 364 0 5694 0
[pid=17827] ppid=17825 vsize=63504 CPUtime=2.04 cores=1,3,5,7
/proc/17827/stat : 17827 (scip-2.0.1.linu) R 17825 17827 17827 0 -1 4202496 14178 0 0 0 199 5 0 0 25 0 1 0 869260542 65028096 13511 33554432000 4194304 13684479 140737096804208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17827/statm: 15876 13511 769 2317 0 13554 0
[pid=17819/tid=17826] ppid=17817 vsize=293472 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17826/stat : 17826 (python) S 17817 17819 17436 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 2 0 869260542 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092055985 0 0 16781312 33554434 18446604467009601856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 640204
heavy processes:
[startup+6.30016 s]
/proc/loadavg: 1.89 1.08 0.44 3/549 17827
/proc/meminfo: memFree=27709028/32950928 swapFree=38525204/67111528
[pid=17819] ppid=17817 vsize=293472 CPUtime=0.44 cores=1,3,5,7
/proc/17819/stat : 17819 (python) S 17817 17819 17436 0 -1 4202496 9728 928 1 0 34 10 0 0 20 0 2 0 869260438 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 73368 7234 1870 364 0 8255 0
[pid=17825] ppid=17819 vsize=283228 CPUtime=0.02 cores=1,3,5,7
/proc/17825/stat : 17825 (python) S 17819 17819 17436 0 -1 4202560 886 0 0 0 1 1 0 0 15 0 1 0 869260542 290025472 5736 33554432000 4194304 5683644 140736831071968 18446744073709551615 208080252431 0 0 16781312 33554946 2600460268022530048 0 0 17 1 0 0 0
/proc/17825/statm: 70807 5736 376 364 0 5694 0
[pid=17827] ppid=17825 vsize=88300 CPUtime=5.24 cores=1,3,5,7
/proc/17827/stat : 17827 (scip-2.0.1.linu) R 17825 17827 17827 0 -1 4202496 20295 0 0 0 509 15 0 0 25 0 1 0 869260542 90419200 19578 33554432000 4194304 13684479 140737096804208 18446744073709551615 6033966 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17827/statm: 22075 19578 800 2317 0 19753 0
[pid=17819/tid=17826] ppid=17817 vsize=293472 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17826/stat : 17826 (python) S 17817 17819 17436 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 2 0 869260542 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092055985 0 0 16781312 33554434 18446604467009601856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.7
Current children cumulated vsize (KiB) 665000
[startup+12.7179 s]
/proc/loadavg: 1.91 1.11 0.46 3/553 17831
/proc/meminfo: memFree=27690776/32950928 swapFree=38525204/67111528
[pid=17819] ppid=17817 vsize=293472 CPUtime=0.44 cores=1,3,5,7
/proc/17819/stat : 17819 (python) S 17817 17819 17436 0 -1 4202496 9728 928 1 0 34 10 0 0 20 0 2 0 869260438 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 73368 7234 1870 364 0 8255 0
[pid=17825] ppid=17819 vsize=283228 CPUtime=0.05 cores=1,3,5,7
/proc/17825/stat : 17825 (python) S 17819 17819 17436 0 -1 4202560 891 0 0 0 3 2 0 0 15 0 1 0 869260542 290025472 5736 33554432000 4194304 5683644 140736831071968 18446744073709551615 208080252431 0 0 16781312 33554946 1345948896941047808 0 0 17 1 0 0 0
/proc/17825/statm: 70807 5736 376 364 0 5694 0
[pid=17827] ppid=17825 vsize=88300 CPUtime=11.63 cores=1,3,5,7
/proc/17827/stat : 17827 (scip-2.0.1.linu) R 17825 17827 17827 0 -1 4202496 20321 0 0 0 1128 35 0 0 25 0 1 0 869260542 90419200 19604 33554432000 4194304 13684479 140737096804208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17827/statm: 22075 19604 816 2317 0 19753 0
[pid=17819/tid=17826] ppid=17817 vsize=293472 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17826/stat : 17826 (python) S 17817 17819 17436 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 2 0 869260542 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092055985 0 0 16781312 33554434 18446604467009601856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.12
Current children cumulated vsize (KiB) 665000
Solver just ended. Dumping a history of the last processes samples
[startup+13.3008 s]
/proc/loadavg: 1.91 1.11 0.46 3/553 17831
/proc/meminfo: memFree=27690776/32950928 swapFree=38525204/67111528
[pid=17819] ppid=17817 vsize=293472 CPUtime=0.44 cores=1,3,5,7
/proc/17819/stat : 17819 (python) S 17817 17819 17436 0 -1 4202496 9728 928 1 0 34 10 0 0 20 0 2 0 869260438 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 73368 7234 1870 364 0 8255 0
[pid=17825] ppid=17819 vsize=283228 CPUtime=0.07 cores=1,3,5,7
/proc/17825/stat : 17825 (python) S 17819 17819 17436 0 -1 4202560 895 0 0 0 4 3 0 0 15 0 1 0 869260542 290025472 5736 33554432000 4194304 5683644 140736831071968 18446744073709551615 208080252431 0 0 16781312 33554946 5623311482772007673 0 0 17 1 0 0 0
/proc/17825/statm: 70807 5736 376 364 0 5694 0
[pid=17827] ppid=17825 vsize=88300 CPUtime=12.21 cores=1,3,5,7
/proc/17827/stat : 17827 (scip-2.0.1.linu) R 17825 17827 17827 0 -1 4202496 20321 0 0 0 1185 36 0 0 25 0 1 0 869260542 90419200 19604 33554432000 4194304 13684479 140737096804208 18446744073709551615 7453425 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/17827/statm: 22075 19604 816 2317 0 19753 0
[pid=17819/tid=17826] ppid=17817 vsize=293472 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17826/stat : 17826 (python) S 17817 17819 17436 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 2 0 869260542 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092055985 0 0 16781312 33554434 18446604467009601856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 665000
[startup+16.5002 s]
/proc/loadavg: 1.91 1.11 0.46 3/553 17831
/proc/meminfo: memFree=27686432/32950928 swapFree=38525204/67111528
[pid=17819] ppid=17817 vsize=293472 CPUtime=0.44 cores=1,3,5,7
/proc/17819/stat : 17819 (python) S 17817 17819 17436 0 -1 4202496 9728 928 1 0 34 10 0 0 20 0 2 0 869260438 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 73368 7234 1870 364 0 8255 0
[pid=17825] ppid=17819 vsize=283228 CPUtime=0.07 cores=1,3,5,7
/proc/17825/stat : 17825 (python) S 17819 17819 17436 0 -1 4202560 895 0 0 0 4 3 0 0 15 0 1 0 869260542 290025472 5736 33554432000 4194304 5683644 140736831071968 18446744073709551615 208080252431 0 0 16781312 33554946 5623311482772007673 0 0 17 1 0 0 0
/proc/17825/statm: 70807 5736 376 364 0 5694 0
[pid=17827] ppid=17825 vsize=88300 CPUtime=15.4 cores=1,3,5,7
/proc/17827/stat : 17827 (scip-2.0.1.linu) R 17825 17827 17827 0 -1 4202496 20321 0 0 0 1498 42 0 0 25 0 1 0 869260542 90419200 19604 33554432000 4194304 13684479 140737096804208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17827/statm: 22075 19604 816 2317 0 19753 0
[pid=17819/tid=17826] ppid=17817 vsize=293472 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17826/stat : 17826 (python) S 17817 17819 17436 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 2 0 869260542 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092055985 0 0 16781312 33554434 18446604467009601856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 15.91
Current children cumulated vsize (KiB) 665000
[startup+18.1009 s]
/proc/loadavg: 1.92 1.13 0.46 5/553 17831
/proc/meminfo: memFree=27684580/32950928 swapFree=38525204/67111528
[pid=17819] ppid=17817 vsize=293472 CPUtime=0.44 cores=1,3,5,7
/proc/17819/stat : 17819 (python) S 17817 17819 17436 0 -1 4202496 9728 928 1 0 34 10 0 0 20 0 2 0 869260438 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 73368 7234 1870 364 0 8255 0
[pid=17825] ppid=17819 vsize=283228 CPUtime=0.09 cores=1,3,5,7
/proc/17825/stat : 17825 (python) S 17819 17819 17436 0 -1 4202560 897 0 0 0 5 4 0 0 16 0 1 0 869260542 290025472 5736 33554432000 4194304 5683644 140736831071968 18446744073709551615 208080252431 0 0 16781312 33554946 5623311482772007673 0 0 17 1 0 0 0
/proc/17825/statm: 70807 5736 376 364 0 5694 0
[pid=17827] ppid=17825 vsize=88300 CPUtime=17.01 cores=1,3,5,7
/proc/17827/stat : 17827 (scip-2.0.1.linu) R 17825 17827 17827 0 -1 4202496 20321 0 0 0 1656 45 0 0 25 0 1 0 869260542 90419200 19604 33554432000 4194304 13684479 140737096804208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17827/statm: 22075 19604 816 2317 0 19753 0
[pid=17819/tid=17826] ppid=17817 vsize=293472 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17826/stat : 17826 (python) S 17817 17819 17436 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 2 0 869260542 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092055985 0 0 16781312 33554434 18446604467009601856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 17.54
Current children cumulated vsize (KiB) 665000
[startup+18.9008 s]
/proc/loadavg: 1.92 1.13 0.46 5/553 17831
/proc/meminfo: memFree=27684580/32950928 swapFree=38525204/67111528
[pid=17819] ppid=17817 vsize=293472 CPUtime=0.44 cores=1,3,5,7
/proc/17819/stat : 17819 (python) S 17817 17819 17436 0 -1 4202496 9728 928 1 0 34 10 0 0 20 0 2 0 869260438 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 73368 7234 1870 364 0 8255 0
[pid=17825] ppid=17819 vsize=283228 CPUtime=0.09 cores=1,3,5,7
/proc/17825/stat : 17825 (python) S 17819 17819 17436 0 -1 4202560 897 0 0 0 5 4 0 0 16 0 1 0 869260542 290025472 5736 33554432000 4194304 5683644 140736831071968 18446744073709551615 208080252431 0 0 16781312 33554946 5623311482772007673 0 0 17 1 0 0 0
/proc/17825/statm: 70807 5736 376 364 0 5694 0
[pid=17827] ppid=17825 vsize=88300 CPUtime=17.79 cores=1,3,5,7
/proc/17827/stat : 17827 (scip-2.0.1.linu) R 17825 17827 17827 0 -1 4202496 20321 0 0 0 1732 47 0 0 25 0 1 0 869260542 90419200 19604 33554432000 4194304 13684479 140737096804208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17827/statm: 22075 19604 816 2317 0 19753 0
[pid=17819/tid=17826] ppid=17817 vsize=293472 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17826/stat : 17826 (python) S 17817 17819 17436 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 2 0 869260542 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092055985 0 0 16781312 33554434 18446604467009601856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 18.32
Current children cumulated vsize (KiB) 665000
[startup+19.3187 s]
/proc/loadavg: 1.92 1.13 0.46 3/553 17831
/proc/meminfo: memFree=27683212/32950928 swapFree=38525204/67111528
[pid=17819] ppid=17817 vsize=293472 CPUtime=0.44 cores=1,3,5,7
/proc/17819/stat : 17819 (python) S 17817 17819 17436 0 -1 4202496 9728 928 1 0 34 10 0 0 20 0 2 0 869260438 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 73368 7234 1870 364 0 8255 0
[pid=17825] ppid=17819 vsize=283228 CPUtime=0.09 cores=1,3,5,7
/proc/17825/stat : 17825 (python) S 17819 17819 17436 0 -1 4202560 897 0 0 0 5 4 0 0 15 0 1 0 869260542 290025472 5736 33554432000 4194304 5683644 140736831071968 18446744073709551615 208080252431 0 0 16781312 33554946 5623311482772007673 0 0 17 1 0 0 0
/proc/17825/statm: 70807 5736 376 364 0 5694 0
[pid=17827] ppid=17825 vsize=88300 CPUtime=18.21 cores=1,3,5,7
/proc/17827/stat : 17827 (scip-2.0.1.linu) R 17825 17827 17827 0 -1 4202496 20321 0 0 0 1772 49 0 0 25 0 1 0 869260542 90419200 19604 33554432000 4194304 13684479 140737096804208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17827/statm: 22075 19604 816 2317 0 19753 0
[pid=17819/tid=17826] ppid=17817 vsize=293472 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17826/stat : 17826 (python) S 17817 17819 17436 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 2 0 869260542 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092055985 0 0 16781312 33554434 18446604467009601856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 18.74
Current children cumulated vsize (KiB) 665000
[startup+19.7006 s]
/proc/loadavg: 1.92 1.13 0.46 3/553 17831
/proc/meminfo: memFree=27683212/32950928 swapFree=38525204/67111528
[pid=17819] ppid=17817 vsize=293472 CPUtime=0.44 cores=1,3,5,7
/proc/17819/stat : 17819 (python) S 17817 17819 17436 0 -1 4202496 9728 928 1 0 34 10 0 0 20 0 2 0 869260438 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 73368 7234 1870 364 0 8255 0
[pid=17825] ppid=17819 vsize=283228 CPUtime=0.09 cores=1,3,5,7
/proc/17825/stat : 17825 (python) S 17819 17819 17436 0 -1 4202560 897 0 0 0 5 4 0 0 15 0 1 0 869260542 290025472 5736 33554432000 4194304 5683644 140736831071968 18446744073709551615 208080252431 0 0 16781312 33554946 5623311482772007673 0 0 17 1 0 0 0
/proc/17825/statm: 70807 5736 376 364 0 5694 0
[pid=17827] ppid=17825 vsize=88300 CPUtime=18.59 cores=1,3,5,7
/proc/17827/stat : 17827 (scip-2.0.1.linu) R 17825 17827 17827 0 -1 4202496 20321 0 0 0 1810 49 0 0 25 0 1 0 869260542 90419200 19604 33554432000 4194304 13684479 140737096804208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17827/statm: 22075 19604 816 2317 0 19753 0
[pid=17819/tid=17826] ppid=17817 vsize=293472 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17826/stat : 17826 (python) S 17817 17819 17436 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 2 0 869260542 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092055985 0 0 16781312 33554434 18446604467009601856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19.12
Current children cumulated vsize (KiB) 665000
[startup+19.8006 s]
/proc/loadavg: 1.92 1.13 0.46 3/553 17831
/proc/meminfo: memFree=27683212/32950928 swapFree=38525204/67111528
[pid=17819] ppid=17817 vsize=293472 CPUtime=0.44 cores=1,3,5,7
/proc/17819/stat : 17819 (python) S 17817 17819 17436 0 -1 4202496 9728 928 1 0 34 10 0 0 20 0 2 0 869260438 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/17819/statm: 73368 7234 1870 364 0 8255 0
[pid=17825] ppid=17819 vsize=283228 CPUtime=0.09 cores=1,3,5,7
/proc/17825/stat : 17825 (python) S 17819 17819 17436 0 -1 4202560 897 0 0 0 5 4 0 0 15 0 1 0 869260542 290025472 5736 33554432000 4194304 5683644 140736831071968 18446744073709551615 208080252431 0 0 16781312 33554946 5623311482772007673 0 0 17 1 0 0 0
/proc/17825/statm: 70807 5736 376 364 0 5694 0
[pid=17827] ppid=17825 vsize=88300 CPUtime=18.69 cores=1,3,5,7
/proc/17827/stat : 17827 (scip-2.0.1.linu) R 17825 17827 17827 0 -1 4202496 20321 0 0 0 1820 49 0 0 25 0 1 0 869260542 90419200 19604 33554432000 4194304 13684479 140737096804208 18446744073709551615 7419408 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17827/statm: 22075 19604 816 2317 0 19753 0
[pid=17819/tid=17826] ppid=17817 vsize=293472 CPUtime=0 cores=1,3,5,7
/proc/17819/task/17826/stat : 17826 (python) S 17817 17819 17436 0 -1 4202560 25 928 0 0 0 0 0 0 20 0 2 0 869260542 300515328 7234 33554432000 4194304 5683644 140736831071968 18446744073709551615 208092055985 0 0 16781312 33554434 18446604467009601856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19.22
Current children cumulated vsize (KiB) 665000
Child status: 0
Real time (s): 19.886
CPU time (s): 19.3401
CPU user time (s): 18.6812
CPU system time (s): 0.658899
CPU usage (%): 97.2546
Max. virtual memory (cumulated for all children) (KiB): 665004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.6812
system time used= 0.658899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36803
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1878
involuntary context switches= 1076
runsolver used 0.087986 second user time and 0.244962 second system time
The end