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-3482022-1307576710/watcher-3482022-1307576710 -o /tmp/evaluation-result-3482022-1307576710/solver-3482022-1307576710 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482022-1307576710.opb -seed 127171270 -budget 1800
running on 4 cores: 0,2,4,6
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.21 1.42 0.62 2/532 22770
/proc/meminfo: memFree=23355268/32950928 swapFree=61542368/67111528
[pid=22770] ppid=22768 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/22770/stat : 22770 (python) S 22768 22770 22387 0 -1 4202496 895 0 0 0 0 0 0 0 24 0 1 0 947901704 16150528 776 33554432000 4194304 5683644 140736501019424 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/22770/statm: 3943 776 343 364 0 430 0
[startup+0.107266 s]
/proc/loadavg: 2.21 1.42 0.62 2/532 22770
/proc/meminfo: memFree=23355268/32950928 swapFree=61542368/67111528
[pid=22770] ppid=22768 vsize=96120 CPUtime=0.08 cores=0,2,4,6
/proc/22770/stat : 22770 (python) R 22768 22770 22387 0 -1 4202496 3168 927 1 0 6 2 0 0 18 0 1 0 947901704 98426880 2482 33554432000 4194304 5683644 140736501019424 18446744073709551615 5177581 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/22770/statm: 24030 2482 792 364 0 1625 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96120
[startup+0.200251 s]
/proc/loadavg: 2.21 1.42 0.62 2/532 22770
/proc/meminfo: memFree=23355268/32950928 swapFree=61542368/67111528
[pid=22770] ppid=22768 vsize=123736 CPUtime=0.14 cores=0,2,4,6
/proc/22770/stat : 22770 (python) S 22768 22770 22387 0 -1 4202496 5355 927 1 0 10 4 0 0 18 0 1 0 947901704 126705664 3742 33554432000 4194304 5683644 140736501019424 18446744073709551615 260905390085 0 2147483391 16781312 2 18446744071699207358 0 0 17 0 0 0 0
/proc/22770/statm: 30934 3742 987 364 0 2766 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123736
[startup+0.300232 s]
/proc/loadavg: 2.21 1.42 0.62 2/532 22770
/proc/meminfo: memFree=23355268/32950928 swapFree=61542368/67111528
[pid=22770] ppid=22768 vsize=123736 CPUtime=0.19 cores=0,2,4,6
/proc/22770/stat : 22770 (python) S 22768 22770 22387 0 -1 4202496 5358 927 1 0 13 6 0 0 18 0 1 0 947901704 126705664 3745 33554432000 4194304 5683644 140736501019424 18446744073709551615 260905390085 0 2147483391 16781312 2 18446744071699207358 0 0 17 0 0 0 0
/proc/22770/statm: 30934 3745 987 364 0 2766 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 123736
[startup+0.700159 s]
/proc/loadavg: 2.21 1.42 0.62 2/532 22770
/proc/meminfo: memFree=23355268/32950928 swapFree=61542368/67111528
[pid=22770] ppid=22768 vsize=293216 CPUtime=0.45 cores=0,2,4,6
/proc/22770/stat : 22770 (python) S 22768 22770 22387 0 -1 4202496 9650 927 1 0 34 11 0 0 20 0 2 0 947901704 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/22770/statm: 73304 7156 1870 364 0 8191 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293216
[startup+1.50101 s]
/proc/loadavg: 2.21 1.42 0.62 4/536 22778
/proc/meminfo: memFree=23319028/32950928 swapFree=61542368/67111528
[pid=22770] ppid=22768 vsize=293216 CPUtime=0.45 cores=0,2,4,6
/proc/22770/stat : 22770 (python) S 22768 22770 22387 0 -1 4202496 9650 927 1 0 34 11 0 0 20 0 2 0 947901704 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/22770/statm: 73304 7156 1870 364 0 8191 0
[pid=22776] ppid=22770 vsize=282972 CPUtime=0 cores=0,2,4,6
/proc/22776/stat : 22776 (python) S 22770 22770 22387 0 -1 4202560 755 0 0 0 0 0 0 0 15 0 1 0 947901765 289763328 5634 33554432000 4194304 5683644 140736501019424 18446744073709551615 260905414159 0 0 16781312 33554946 728089706490757120 0 0 17 0 0 0 0
/proc/22776/statm: 70743 5634 352 364 0 5630 0
[pid=22778] ppid=22776 vsize=39024 CPUtime=0.88 cores=0,2,4,6
/proc/22778/stat : 22778 (scip-2.0.1.linu) R 22776 22778 22778 0 -1 4202496 8034 0 0 0 85 3 0 0 23 0 1 0 947901765 39960576 7413 33554432000 4194304 13684479 140737261447968 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/22778/statm: 9756 7413 775 2317 0 7434 0
[pid=22770/tid=22777] ppid=22768 vsize=293216 CPUtime=0 cores=0,2,4,6
/proc/22770/task/22777/stat : 22777 (python) S 22768 22770 22387 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 2 0 947901765 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451330462656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 615212
[startup+3.11872 s]
/proc/loadavg: 2.21 1.42 0.62 3/536 22778
/proc/meminfo: memFree=23275876/32950928 swapFree=61542368/67111528
[pid=22770] ppid=22768 vsize=293216 CPUtime=0.45 cores=0,2,4,6
/proc/22770/stat : 22770 (python) S 22768 22770 22387 0 -1 4202496 9650 927 1 0 34 11 0 0 20 0 2 0 947901704 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/22770/statm: 73304 7156 1870 364 0 8191 0
[pid=22776] ppid=22770 vsize=282972 CPUtime=0 cores=0,2,4,6
/proc/22776/stat : 22776 (python) S 22770 22770 22387 0 -1 4202560 762 0 0 0 0 0 0 0 15 0 1 0 947901765 289763328 5634 33554432000 4194304 5683644 140736501019424 18446744073709551615 260905414159 0 0 16781312 33554946 3720348320162381824 0 0 17 0 0 0 0
/proc/22776/statm: 70743 5634 352 364 0 5630 0
[pid=22778] ppid=22776 vsize=64796 CPUtime=2.49 cores=0,2,4,6
/proc/22778/stat : 22778 (scip-2.0.1.linu) R 22776 22778 22778 0 -1 4202496 14527 0 0 0 244 5 0 0 25 0 1 0 947901765 66351104 13871 33554432000 4194304 13684479 140737261447968 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/22778/statm: 16199 13871 776 2317 0 13877 0
[pid=22770/tid=22777] ppid=22768 vsize=293216 CPUtime=0 cores=0,2,4,6
/proc/22770/task/22777/stat : 22777 (python) S 22768 22770 22387 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 2 0 947901765 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451330462656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 640984
[startup+6.30125 s]
/proc/loadavg: 2.19 1.43 0.63 3/536 22778
/proc/meminfo: memFree=23276312/32950928 swapFree=61542368/67111528
[pid=22770] ppid=22768 vsize=293216 CPUtime=0.45 cores=0,2,4,6
/proc/22770/stat : 22770 (python) S 22768 22770 22387 0 -1 4202496 9650 927 1 0 34 11 0 0 20 0 2 0 947901704 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/22770/statm: 73304 7156 1870 364 0 8191 0
[pid=22776] ppid=22770 vsize=282972 CPUtime=0.02 cores=0,2,4,6
/proc/22776/stat : 22776 (python) S 22770 22770 22387 0 -1 4202560 899 0 0 0 1 1 0 0 15 0 1 0 947901765 289763328 5658 33554432000 4194304 5683644 140736501019424 18446744073709551615 260905414159 0 0 16781312 33554946 1704805522034655232 0 0 17 0 0 0 0
/proc/22776/statm: 70743 5658 376 364 0 5630 0
[pid=22778] ppid=22776 vsize=64476 CPUtime=5.68 cores=0,2,4,6
/proc/22778/stat : 22778 (scip-2.0.1.linu) R 22776 22778 22778 0 -1 4202496 15315 0 0 0 560 8 0 0 25 0 1 0 947901765 66023424 13923 33554432000 4194304 13684479 140737261447968 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/22778/statm: 16119 13923 797 2317 0 13797 0
[pid=22770/tid=22777] ppid=22768 vsize=293216 CPUtime=0 cores=0,2,4,6
/proc/22770/task/22777/stat : 22777 (python) S 22768 22770 22387 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 2 0 947901765 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451330462656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 640664
[startup+12.7011 s]
/proc/loadavg: 2.18 1.44 0.63 3/536 22778
/proc/meminfo: memFree=23276128/32950928 swapFree=61542368/67111528
[pid=22770] ppid=22768 vsize=293216 CPUtime=0.45 cores=0,2,4,6
/proc/22770/stat : 22770 (python) S 22768 22770 22387 0 -1 4202496 9650 927 1 0 34 11 0 0 20 0 2 0 947901704 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/22770/statm: 73304 7156 1870 364 0 8191 0
[pid=22776] ppid=22770 vsize=282972 CPUtime=0.04 cores=0,2,4,6
/proc/22776/stat : 22776 (python) S 22770 22770 22387 0 -1 4202560 901 0 0 0 2 2 0 0 15 0 1 0 947901765 289763328 5658 33554432000 4194304 5683644 140736501019424 18446744073709551615 260905414159 0 0 16781312 33554946 72114768642583396 0 0 17 0 0 0 0
/proc/22776/statm: 70743 5658 376 364 0 5630 0
[pid=22778] ppid=22776 vsize=64476 CPUtime=12.07 cores=0,2,4,6
/proc/22778/stat : 22778 (scip-2.0.1.linu) R 22776 22778 22778 0 -1 4202496 15315 0 0 0 1190 17 0 0 25 0 1 0 947901765 66023424 13923 33554432000 4194304 13684479 140737261447968 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/22778/statm: 16119 13923 797 2317 0 13797 0
[pid=22770/tid=22777] ppid=22768 vsize=293216 CPUtime=0 cores=0,2,4,6
/proc/22770/task/22777/stat : 22777 (python) S 22768 22770 22387 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 2 0 947901765 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451330462656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 640664
Solver just ended. Dumping a history of the last processes samples
[startup+13.6008 s]
/proc/loadavg: 2.18 1.44 0.63 3/536 22778
/proc/meminfo: memFree=23275880/32950928 swapFree=61542368/67111528
[pid=22770] ppid=22768 vsize=293216 CPUtime=0.45 cores=0,2,4,6
/proc/22770/stat : 22770 (python) S 22768 22770 22387 0 -1 4202496 9650 927 1 0 34 11 0 0 20 0 2 0 947901704 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/22770/statm: 73304 7156 1870 364 0 8191 0
[pid=22776] ppid=22770 vsize=282972 CPUtime=0.04 cores=0,2,4,6
/proc/22776/stat : 22776 (python) S 22770 22770 22387 0 -1 4202560 901 0 0 0 2 2 0 0 15 0 1 0 947901765 289763328 5658 33554432000 4194304 5683644 140736501019424 18446744073709551615 260905414159 0 0 16781312 33554946 72114768642583396 0 0 17 0 0 0 0
/proc/22776/statm: 70743 5658 376 364 0 5630 0
[pid=22778] ppid=22776 vsize=64476 CPUtime=12.98 cores=0,2,4,6
/proc/22778/stat : 22778 (scip-2.0.1.linu) R 22776 22778 22778 0 -1 4202496 15315 0 0 0 1278 20 0 0 25 0 1 0 947901765 66023424 13923 33554432000 4194304 13684479 140737261447968 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/22778/statm: 16119 13923 797 2317 0 13797 0
[pid=22770/tid=22777] ppid=22768 vsize=293216 CPUtime=0 cores=0,2,4,6
/proc/22770/task/22777/stat : 22777 (python) S 22768 22770 22387 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 2 0 947901765 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451330462656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 13.47
Current children cumulated vsize (KiB) 640664
[startup+16.8003 s]
/proc/loadavg: 2.16 1.45 0.64 3/536 22778
/proc/meminfo: memFree=23277748/32950928 swapFree=61542368/67111528
[pid=22770] ppid=22768 vsize=293216 CPUtime=0.45 cores=0,2,4,6
/proc/22770/stat : 22770 (python) S 22768 22770 22387 0 -1 4202496 9650 927 1 0 34 11 0 0 20 0 2 0 947901704 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/22770/statm: 73304 7156 1870 364 0 8191 0
[pid=22776] ppid=22770 vsize=282972 CPUtime=0.06 cores=0,2,4,6
/proc/22776/stat : 22776 (python) S 22770 22770 22387 0 -1 4202560 902 0 0 0 3 3 0 0 15 0 1 0 947901765 289763328 5658 33554432000 4194304 5683644 140736501019424 18446744073709551615 260905414159 0 0 16781312 33554946 72114768642583396 0 0 17 0 0 0 0
/proc/22776/statm: 70743 5658 376 364 0 5630 0
[pid=22778] ppid=22776 vsize=64476 CPUtime=16.18 cores=0,2,4,6
/proc/22778/stat : 22778 (scip-2.0.1.linu) R 22776 22778 22778 0 -1 4202496 15317 0 0 0 1592 26 0 0 25 0 1 0 947901765 66023424 13925 33554432000 4194304 13684479 140737261447968 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/22778/statm: 16119 13925 799 2317 0 13797 0
[pid=22770/tid=22777] ppid=22768 vsize=293216 CPUtime=0 cores=0,2,4,6
/proc/22770/task/22777/stat : 22777 (python) S 22768 22770 22387 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 2 0 947901765 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451330462656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 16.69
Current children cumulated vsize (KiB) 640664
[startup+17.6012 s]
/proc/loadavg: 2.16 1.45 0.64 3/536 22778
/proc/meminfo: memFree=23277872/32950928 swapFree=61542368/67111528
[pid=22770] ppid=22768 vsize=293216 CPUtime=0.45 cores=0,2,4,6
/proc/22770/stat : 22770 (python) S 22768 22770 22387 0 -1 4202496 9650 927 1 0 34 11 0 0 20 0 2 0 947901704 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/22770/statm: 73304 7156 1870 364 0 8191 0
[pid=22776] ppid=22770 vsize=282972 CPUtime=0.06 cores=0,2,4,6
/proc/22776/stat : 22776 (python) S 22770 22770 22387 0 -1 4202560 902 0 0 0 3 3 0 0 15 0 1 0 947901765 289763328 5658 33554432000 4194304 5683644 140736501019424 18446744073709551615 260905414159 0 0 16781312 33554946 54212146656968704 0 0 17 0 0 0 0
/proc/22776/statm: 70743 5658 376 364 0 5630 0
[pid=22778] ppid=22776 vsize=64476 CPUtime=16.98 cores=0,2,4,6
/proc/22778/stat : 22778 (scip-2.0.1.linu) R 22776 22778 22778 0 -1 4202496 15317 0 0 0 1671 27 0 0 25 0 1 0 947901765 66023424 13925 33554432000 4194304 13684479 140737261447968 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/22778/statm: 16119 13925 799 2317 0 13797 0
[pid=22770/tid=22777] ppid=22768 vsize=293216 CPUtime=0 cores=0,2,4,6
/proc/22770/task/22777/stat : 22777 (python) S 22768 22770 22387 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 2 0 947901765 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451330462656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 17.49
Current children cumulated vsize (KiB) 640664
[startup+18.401 s]
/proc/loadavg: 2.16 1.45 0.64 3/536 22778
/proc/meminfo: memFree=23277872/32950928 swapFree=61542368/67111528
[pid=22770] ppid=22768 vsize=293216 CPUtime=0.45 cores=0,2,4,6
/proc/22770/stat : 22770 (python) S 22768 22770 22387 0 -1 4202496 9650 927 1 0 34 11 0 0 20 0 2 0 947901704 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/22770/statm: 73304 7156 1870 364 0 8191 0
[pid=22776] ppid=22770 vsize=282972 CPUtime=0.08 cores=0,2,4,6
/proc/22776/stat : 22776 (python) S 22770 22770 22387 0 -1 4202560 903 0 0 0 4 4 0 0 15 0 1 0 947901765 289763328 5658 33554432000 4194304 5683644 140736501019424 18446744073709551615 260905414159 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/22776/statm: 70743 5658 376 364 0 5630 0
[pid=22778] ppid=22776 vsize=64476 CPUtime=17.79 cores=0,2,4,6
/proc/22778/stat : 22778 (scip-2.0.1.linu) R 22776 22778 22778 0 -1 4202496 15317 0 0 0 1750 29 0 0 25 0 1 0 947901765 66023424 13925 33554432000 4194304 13684479 140737261447968 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/22778/statm: 16119 13925 799 2317 0 13797 0
[pid=22770/tid=22777] ppid=22768 vsize=293216 CPUtime=0 cores=0,2,4,6
/proc/22770/task/22777/stat : 22777 (python) S 22768 22770 22387 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 2 0 947901765 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451330462656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 18.32
Current children cumulated vsize (KiB) 640664
[startup+18.601 s]
/proc/loadavg: 2.16 1.45 0.64 3/536 22778
/proc/meminfo: memFree=23277872/32950928 swapFree=61542368/67111528
[pid=22770] ppid=22768 vsize=293216 CPUtime=0.45 cores=0,2,4,6
/proc/22770/stat : 22770 (python) S 22768 22770 22387 0 -1 4202496 9650 927 1 0 34 11 0 0 20 0 2 0 947901704 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/22770/statm: 73304 7156 1870 364 0 8191 0
[pid=22776] ppid=22770 vsize=282972 CPUtime=0.08 cores=0,2,4,6
/proc/22776/stat : 22776 (python) S 22770 22770 22387 0 -1 4202560 903 0 0 0 4 4 0 0 15 0 1 0 947901765 289763328 5658 33554432000 4194304 5683644 140736501019424 18446744073709551615 260905414159 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/22776/statm: 70743 5658 376 364 0 5630 0
[pid=22778] ppid=22776 vsize=64476 CPUtime=17.98 cores=0,2,4,6
/proc/22778/stat : 22778 (scip-2.0.1.linu) R 22776 22778 22778 0 -1 4202496 15317 0 0 0 1769 29 0 0 25 0 1 0 947901765 66023424 13925 33554432000 4194304 13684479 140737261447968 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/22778/statm: 16119 13925 799 2317 0 13797 0
[pid=22770/tid=22777] ppid=22768 vsize=293216 CPUtime=0 cores=0,2,4,6
/proc/22770/task/22777/stat : 22777 (python) S 22768 22770 22387 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 2 0 947901765 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451330462656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 18.51
Current children cumulated vsize (KiB) 640664
[startup+18.701 s]
/proc/loadavg: 2.16 1.45 0.64 3/536 22778
/proc/meminfo: memFree=23277872/32950928 swapFree=61542368/67111528
[pid=22770] ppid=22768 vsize=293216 CPUtime=0.45 cores=0,2,4,6
/proc/22770/stat : 22770 (python) S 22768 22770 22387 0 -1 4202496 9650 927 1 0 34 11 0 0 20 0 2 0 947901704 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/22770/statm: 73304 7156 1870 364 0 8191 0
[pid=22776] ppid=22770 vsize=282972 CPUtime=0.08 cores=0,2,4,6
/proc/22776/stat : 22776 (python) S 22770 22770 22387 0 -1 4202560 903 0 0 0 4 4 0 0 15 0 1 0 947901765 289763328 5658 33554432000 4194304 5683644 140736501019424 18446744073709551615 260905414159 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/22776/statm: 70743 5658 376 364 0 5630 0
[pid=22778] ppid=22776 vsize=64476 CPUtime=18.07 cores=0,2,4,6
/proc/22778/stat : 22778 (scip-2.0.1.linu) R 22776 22778 22778 0 -1 4202496 15317 0 0 0 1778 29 0 0 25 0 1 0 947901765 66023424 13925 33554432000 4194304 13684479 140737261447968 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/22778/statm: 16119 13925 799 2317 0 13797 0
[pid=22770/tid=22777] ppid=22768 vsize=293216 CPUtime=0 cores=0,2,4,6
/proc/22770/task/22777/stat : 22777 (python) S 22768 22770 22387 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 2 0 947901765 300253184 7156 33554432000 4194304 5683644 140736501019424 18446744073709551615 260917217713 0 0 16781312 33554434 18446604451330462656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 18.6
Current children cumulated vsize (KiB) 640664
Child status: 0
Real time (s): 18.7673
CPU time (s): 18.7072
CPU user time (s): 18.2322
CPU system time (s): 0.474927
CPU usage (%): 99.6797
Max. virtual memory (cumulated for all children) (KiB): 640984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.2322
system time used= 0.474927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31588
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= 1944
involuntary context switches= 41
runsolver used 0.101984 second user time and 0.19197 second system time
The end