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-3482061-1307576825/watcher-3482061-1307576825 -o /tmp/evaluation-result-3482061-1307576825/solver-3482061-1307576825 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482061-1307576825.opb -seed 768462683 -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.00 1.48 0.68 2/475 26974
/proc/meminfo: memFree=22259652/32951124 swapFree=49244124/67111528
[pid=26974] ppid=26972 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/26974/stat : 26974 (python) R 26972 26974 26377 0 -1 4202496 1046 0 0 0 0 0 0 0 25 0 1 0 869285362 16633856 917 33554432000 4194304 5683644 140736733914112 18446744073709551615 218370651092 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/26974/statm: 4061 917 381 364 0 548 0
[startup+0.0382379 s]
/proc/loadavg: 2.00 1.48 0.68 2/475 26974
/proc/meminfo: memFree=22259652/32951124 swapFree=49244124/67111528
[pid=26974] ppid=26972 vsize=18892 CPUtime=0.02 cores=0,2,4,6
/proc/26974/stat : 26974 (python) R 26972 26974 26377 0 -1 4202496 1289 0 0 0 2 0 0 0 25 0 1 0 869285362 19345408 1141 33554432000 4194304 5683644 140736733914112 18446744073709551615 5293775 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/26974/statm: 4723 1141 421 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18892
[startup+0.104232 s]
/proc/loadavg: 2.00 1.48 0.68 2/475 26974
/proc/meminfo: memFree=22259652/32951124 swapFree=49244124/67111528
[pid=26974] ppid=26972 vsize=96128 CPUtime=0.08 cores=0,2,4,6
/proc/26974/stat : 26974 (python) R 26972 26974 26377 0 -1 4202496 3169 928 1 0 6 2 0 0 18 0 1 0 869285362 98435072 2483 33554432000 4194304 5683644 140736733914112 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/26974/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.30017 s]
/proc/loadavg: 2.00 1.48 0.68 2/475 26974
/proc/meminfo: memFree=22259652/32951124 swapFree=49244124/67111528
[pid=26974] ppid=26972 vsize=202996 CPUtime=0.23 cores=0,2,4,6
/proc/26974/stat : 26974 (python) S 26972 26974 26377 0 -1 4202496 6671 928 1 0 17 6 0 0 17 0 1 0 869285362 207867904 4957 33554432000 4194304 5683644 140736733914112 18446744073709551615 218370955264 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/26974/statm: 50749 4962 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202996
[startup+0.701121 s]
/proc/loadavg: 2.00 1.48 0.68 2/475 26974
/proc/meminfo: memFree=22259652/32951124 swapFree=49244124/67111528
[pid=26974] ppid=26972 vsize=294120 CPUtime=0.49 cores=0,2,4,6
/proc/26974/stat : 26974 (python) S 26972 26974 26377 0 -1 4202496 9889 928 1 0 40 9 0 0 18 0 2 0 869285362 301178880 7395 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26974/statm: 73530 7395 1870 364 0 8417 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 294120
[startup+1.50102 s]
/proc/loadavg: 2.00 1.49 0.69 3/479 26982
/proc/meminfo: memFree=22211400/32951124 swapFree=49244124/67111528
[pid=26974] ppid=26972 vsize=294120 CPUtime=0.49 cores=0,2,4,6
/proc/26974/stat : 26974 (python) S 26972 26974 26377 0 -1 4202496 9889 928 1 0 40 9 0 0 18 0 2 0 869285362 301178880 7395 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26974/statm: 73530 7395 1870 364 0 8417 0
[pid=26980] ppid=26974 vsize=283876 CPUtime=0 cores=0,2,4,6
/proc/26980/stat : 26980 (python) S 26974 26974 26377 0 -1 4202560 865 0 0 0 0 0 0 0 15 0 1 0 869285421 290689024 5879 33554432000 4194304 5683644 140736733914112 18446744073709551615 218370977295 0 0 16781312 33554946 2625943713444003840 0 0 17 6 0 0 0
/proc/26980/statm: 70969 5879 358 364 0 5856 0
[pid=26982] ppid=26980 vsize=37468 CPUtime=0.9 cores=0,2,4,6
/proc/26982/stat : 26982 (scip-2.0.1.linu) R 26980 26982 26982 0 -1 4202496 7880 0 0 0 86 4 0 0 21 0 1 0 869285422 38367232 7173 33554432000 4194304 13684479 140735836980512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/26982/statm: 9367 7173 763 2317 0 7045 0
[pid=26974/tid=26981] ppid=26972 vsize=294120 CPUtime=0 cores=0,2,4,6
/proc/26974/task/26981/stat : 26981 (python) S 26972 26974 26377 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 869285422 301178880 7395 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444545906688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 615464
[startup+3.10073 s]
/proc/loadavg: 2.00 1.49 0.69 3/479 26982
/proc/meminfo: memFree=22206936/32951124 swapFree=49244124/67111528
[pid=26974] ppid=26972 vsize=294120 CPUtime=0.49 cores=0,2,4,6
/proc/26974/stat : 26974 (python) S 26972 26974 26377 0 -1 4202496 9889 928 1 0 40 9 0 0 18 0 2 0 869285362 301178880 7395 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26974/statm: 73530 7395 1870 364 0 8417 0
[pid=26980] ppid=26974 vsize=283876 CPUtime=0 cores=0,2,4,6
/proc/26980/stat : 26980 (python) S 26974 26974 26377 0 -1 4202560 865 0 0 0 0 0 0 0 15 0 1 0 869285421 290689024 5879 33554432000 4194304 5683644 140736733914112 18446744073709551615 218370977295 0 0 16781312 33554946 2598656794075070464 0 0 17 6 0 0 0
/proc/26980/statm: 70969 5879 358 364 0 5856 0
[pid=26982] ppid=26980 vsize=42548 CPUtime=2.5 cores=0,2,4,6
/proc/26982/stat : 26982 (scip-2.0.1.linu) R 26980 26982 26982 0 -1 4202496 9121 0 0 0 244 6 0 0 18 0 1 0 869285422 43569152 8394 33554432000 4194304 13684479 140735836980512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/26982/statm: 10637 8394 788 2317 0 8315 0
[pid=26974/tid=26981] ppid=26972 vsize=294120 CPUtime=0 cores=0,2,4,6
/proc/26974/task/26981/stat : 26981 (python) S 26972 26974 26377 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 869285422 301178880 7395 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444545906688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 620544
[startup+6.30114 s]
/proc/loadavg: 2.00 1.49 0.69 3/479 26982
/proc/meminfo: memFree=22185264/32951124 swapFree=49244124/67111528
[pid=26974] ppid=26972 vsize=294120 CPUtime=0.49 cores=0,2,4,6
/proc/26974/stat : 26974 (python) S 26972 26974 26377 0 -1 4202496 9889 928 1 0 40 9 0 0 18 0 2 0 869285362 301178880 7395 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26974/statm: 73530 7395 1870 364 0 8417 0
[pid=26980] ppid=26974 vsize=283876 CPUtime=0.02 cores=0,2,4,6
/proc/26980/stat : 26980 (python) S 26974 26974 26377 0 -1 4202560 998 0 0 0 1 1 0 0 15 0 1 0 869285421 290689024 5901 33554432000 4194304 5683644 140736733914112 18446744073709551615 218370977295 0 0 16781312 33554946 1664531471966142464 0 0 17 6 0 0 0
/proc/26980/statm: 70969 5901 380 364 0 5856 0
[pid=26982] ppid=26980 vsize=63096 CPUtime=5.69 cores=0,2,4,6
/proc/26982/stat : 26982 (scip-2.0.1.linu) R 26980 26982 26982 0 -1 4202496 14399 0 0 0 560 9 0 0 24 0 1 0 869285422 64610304 13492 33554432000 4194304 13684479 140735836980512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/26982/statm: 15774 13492 810 2317 0 13452 0
[pid=26974/tid=26981] ppid=26972 vsize=294120 CPUtime=0 cores=0,2,4,6
/proc/26974/task/26981/stat : 26981 (python) S 26972 26974 26377 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 869285422 301178880 7395 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444545906688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 641092
[startup+12.701 s]
/proc/loadavg: 2.15 1.54 0.71 3/479 26982
/proc/meminfo: memFree=22163312/32951124 swapFree=49244124/67111528
[pid=26974] ppid=26972 vsize=294120 CPUtime=0.49 cores=0,2,4,6
/proc/26974/stat : 26974 (python) S 26972 26974 26377 0 -1 4202496 9889 928 1 0 40 9 0 0 18 0 2 0 869285362 301178880 7395 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26974/statm: 73530 7395 1870 364 0 8417 0
[pid=26980] ppid=26974 vsize=283876 CPUtime=0.05 cores=0,2,4,6
/proc/26980/stat : 26980 (python) S 26974 26974 26377 0 -1 4202560 1006 0 0 0 2 3 0 0 15 0 1 0 869285421 290689024 5902 33554432000 4194304 5683644 140736733914112 18446744073709551615 218370977295 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/26980/statm: 70969 5902 381 364 0 5856 0
[pid=26982] ppid=26980 vsize=82368 CPUtime=12.1 cores=0,2,4,6
/proc/26982/stat : 26982 (scip-2.0.1.linu) R 26980 26982 26982 0 -1 4202496 19358 0 0 0 1195 15 0 0 25 0 1 0 869285422 84344832 18350 33554432000 4194304 13684479 140735836980512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/26982/statm: 20592 18350 804 2317 0 18270 0
[pid=26974/tid=26981] ppid=26972 vsize=294120 CPUtime=0 cores=0,2,4,6
/proc/26974/task/26981/stat : 26981 (python) S 26972 26974 26377 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 869285422 301178880 7395 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444545906688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 660364
[startup+25.5008 s]
/proc/loadavg: 2.12 1.56 0.73 3/479 26982
/proc/meminfo: memFree=22163272/32951124 swapFree=49244124/67111528
[pid=26974] ppid=26972 vsize=294120 CPUtime=0.49 cores=0,2,4,6
/proc/26974/stat : 26974 (python) S 26972 26974 26377 0 -1 4202496 9889 928 1 0 40 9 0 0 18 0 2 0 869285362 301178880 7395 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26974/statm: 73530 7395 1870 364 0 8417 0
[pid=26980] ppid=26974 vsize=283876 CPUtime=0.09 cores=0,2,4,6
/proc/26980/stat : 26980 (python) S 26974 26974 26377 0 -1 4202560 1012 0 0 0 4 5 0 0 15 0 1 0 869285421 290689024 5902 33554432000 4194304 5683644 140736733914112 18446744073709551615 218370977295 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/26980/statm: 70969 5902 381 364 0 5856 0
[pid=26982] ppid=26980 vsize=82368 CPUtime=24.9 cores=0,2,4,6
/proc/26982/stat : 26982 (scip-2.0.1.linu) R 26980 26982 26982 0 -1 4202496 20161 0 0 0 2465 25 0 0 25 0 1 0 869285422 84344832 18402 33554432000 4194304 13684479 140735836980512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/26982/statm: 20592 18402 809 2317 0 18270 0
[pid=26974/tid=26981] ppid=26972 vsize=294120 CPUtime=0 cores=0,2,4,6
/proc/26974/task/26981/stat : 26981 (python) S 26972 26974 26377 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 869285422 301178880 7395 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444545906688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 660364
[startup+51.1012 s]
/proc/loadavg: 2.08 1.59 0.76 3/495 27057
/proc/meminfo: memFree=22179324/32951124 swapFree=49244124/67111528
[pid=26974] ppid=26972 vsize=304988 CPUtime=0.51 cores=0,2,4,6
/proc/26974/stat : 26974 (python) S 26972 26974 26377 0 -1 4202496 10802 928 1 0 42 9 0 0 19 0 3 0 869285362 312307712 7528 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26974/statm: 76247 7528 1873 364 0 11131 0
[pid=26980] ppid=26974 vsize=294120 CPUtime=0.19 cores=0,2,4,6
/proc/26980/stat : 26980 (python) S 26974 26974 26377 0 -1 4202560 1156 0 0 0 10 9 0 0 16 0 2 0 869285421 301178880 5938 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/26980/statm: 73530 5938 412 364 0 8417 0
[pid=26982] ppid=26980 vsize=82368 CPUtime=49.83 cores=0,2,4,6
/proc/26982/stat : 26982 (scip-2.0.1.linu) T 26980 26982 26982 0 -1 4202496 20163 0 0 0 4933 50 0 0 25 0 1 0 869285422 84344832 18404 33554432000 4194304 13684479 140735836980512 18446744073709551615 7268222 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/26982/statm: 20592 18404 811 2317 0 18270 0
[pid=26980/tid=27042] ppid=26974 vsize=294120 CPUtime=0 cores=0,2,4,6
/proc/26980/task/27042/stat : 27042 (python) S 26974 26974 26377 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 869290406 301178880 5938 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382780849 0 0 16781312 33554946 18446604453903432512 0 0 -1 0 0 0 0
[pid=27043] ppid=26974 vsize=294744 CPUtime=0 cores=0,2,4,6
/proc/27043/stat : 27043 (python) S 26974 26974 26377 0 -1 4202560 787 0 0 0 0 0 0 0 16 0 1 0 869290408 301817856 6000 33554432000 4194304 5683644 140736733914112 18446744073709551615 218370977350 0 0 16781312 33554946 1265285996623167488 0 0 17 2 0 0 0
/proc/27043/statm: 73686 6000 349 364 0 8570 0
[pid=27045] ppid=27043 vsize=8536160 CPUtime=1.11 cores=0,2,4,6
/proc/27045/stat : 27045 (java) S 27043 27045 27045 0 -1 4202496 10796 0 1 0 108 3 0 0 20 0 19 0 869290408 8741027840 9494 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/27045/statm: 2134040 9494 2220 9 0 2124781 0
[pid=27045/tid=27046] ppid=27043 vsize=8536160 CPUtime=0.61 cores=0,2,4,6
/proc/27045/task/27046/stat : 27046 (java) R 27043 27045 27045 0 -1 4202560 6597 0 1 0 60 1 0 0 25 0 19 0 869290409 8741027840 9494 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 46912505684960 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27045/tid=27047] ppid=27043 vsize=8536160 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27047/stat : 27047 (java) S 27043 27045 27045 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869290410 8741027840 9494 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 6 0 0 0
[pid=27045/tid=27048] ppid=27043 vsize=8536160 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27048/stat : 27048 (java) S 27043 27045 27045 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869290410 8741027840 9494 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 6 0 0 0
[pid=27045/tid=27049] ppid=27043 vsize=8536160 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27049/stat : 27049 (java) S 27043 27045 27045 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869290410 8741027840 9494 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 6 0 0 0
[pid=27045/tid=27050] ppid=27043 vsize=8536160 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27050/stat : 27050 (java) S 27043 27045 27045 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869290410 8741027840 9494 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 2 0 0 0
[pid=27045/tid=27051] ppid=27043 vsize=8536160 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27051/stat : 27051 (java) S 27043 27045 27045 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869290410 8741027840 9494 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 2 0 0 0
[pid=27045/tid=27052] ppid=27043 vsize=8536160 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27052/stat : 27052 (java) S 27043 27045 27045 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869290410 8741027840 9494 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 2 0 0 0
[pid=27045/tid=27053] ppid=27043 vsize=8536160 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27053/stat : 27053 (java) S 27043 27045 27045 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869290410 8741027840 9494 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 2 0 0 0
[pid=27045/tid=27054] ppid=27043 vsize=8536160 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27054/stat : 27054 (java) S 27043 27045 27045 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869290410 8741027840 9494 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 2 0 0 0
[pid=27045/tid=27055] ppid=27043 vsize=8536160 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27055/stat : 27055 (java) S 27043 27045 27045 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869290411 8741027840 9494 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773760 0 0 0 16800975 18446604447764923328 0 0 -1 6 0 0 0
[pid=27045/tid=27056] ppid=27043 vsize=8536160 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27056/stat : 27056 (java) S 27043 27045 27045 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869290411 8741027840 9494 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 6 0 0 0
[pid=27045/tid=27057] ppid=27043 vsize=8536160 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27057/stat : 27057 (java) S 27043 27045 27045 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869290411 8741027840 9494 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 6 0 0 0
[pid=27045/tid=27058] ppid=27043 vsize=8536160 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27058/stat : 27058 (java) S 27043 27045 27045 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869290414 8741027840 9494 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382780849 0 4 0 16800975 18446604447764923328 0 0 -1 4 0 0 0
[pid=27045/tid=27059] ppid=27043 vsize=8536160 CPUtime=0.22 cores=0,2,4,6
/proc/27045/task/27059/stat : 27059 (java) S 27043 27045 27045 0 -1 4202560 914 0 0 0 22 0 0 0 25 0 19 0 869290414 8741027840 9494 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 4 0 0 0
[pid=27045/tid=27060] ppid=27043 vsize=8536160 CPUtime=0.25 cores=0,2,4,6
/proc/27045/task/27060/stat : 27060 (java) S 27043 27045 27045 0 -1 4202560 1884 0 0 0 25 0 0 0 17 0 19 0 869290414 8741027840 9494 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 2 0 0 0
[pid=27045/tid=27061] ppid=27043 vsize=8536160 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27061/stat : 27061 (java) S 27043 27045 27045 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869290414 8741027840 9494 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 4 0 0 0
[pid=27045/tid=27062] ppid=27043 vsize=8536160 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27062/stat : 27062 (java) S 27043 27045 27045 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869290414 8741027840 9494 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773760 0 4 0 16800975 18446604447764923328 0 0 -1 4 0 0 0
[pid=26974/tid=26981] ppid=26972 vsize=304988 CPUtime=0 cores=0,2,4,6
/proc/26974/task/26981/stat : 26981 (python) S 26972 26974 26377 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 3 0 869285422 312307712 7528 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444545906688 0 0 -1 0 0 0 0
[pid=26974/tid=27044] ppid=26972 vsize=304988 CPUtime=0 cores=0,2,4,6
/proc/26974/task/27044/stat : 27044 (python) S 26972 26974 26377 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 869290408 312307712 7528 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444545906688 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.64
Current children cumulated vsize (KiB) 9512380
Solver just ended. Dumping a history of the last processes samples
[startup+51.5011 s]
/proc/loadavg: 2.08 1.59 0.76 3/495 27057
/proc/meminfo: memFree=22179324/32951124 swapFree=49244124/67111528
[pid=26974] ppid=26972 vsize=304988 CPUtime=0.51 cores=0,2,4,6
/proc/26974/stat : 26974 (python) S 26972 26974 26377 0 -1 4202496 10802 928 1 0 42 9 0 0 19 0 3 0 869285362 312307712 7528 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26974/statm: 76247 7528 1873 364 0 11131 0
[pid=26980] ppid=26974 vsize=294120 CPUtime=0.19 cores=0,2,4,6
/proc/26980/stat : 26980 (python) S 26974 26974 26377 0 -1 4202560 1156 0 0 0 10 9 0 0 16 0 2 0 869285421 301178880 5938 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/26980/statm: 73530 5938 412 364 0 8417 0
[pid=26982] ppid=26980 vsize=82368 CPUtime=49.83 cores=0,2,4,6
/proc/26982/stat : 26982 (scip-2.0.1.linu) T 26980 26982 26982 0 -1 4202496 20163 0 0 0 4933 50 0 0 25 0 1 0 869285422 84344832 18404 33554432000 4194304 13684479 140735836980512 18446744073709551615 7268222 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/26982/statm: 20592 18404 811 2317 0 18270 0
[pid=26980/tid=27042] ppid=26974 vsize=294120 CPUtime=0 cores=0,2,4,6
/proc/26980/task/27042/stat : 27042 (python) S 26974 26974 26377 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 869290406 301178880 5938 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382780849 0 0 16781312 33554946 18446604453903432512 0 0 -1 0 0 0 0
[pid=27043] ppid=26974 vsize=294744 CPUtime=0 cores=0,2,4,6
/proc/27043/stat : 27043 (python) S 26974 26974 26377 0 -1 4202560 790 0 0 0 0 0 0 0 15 0 1 0 869290408 301817856 6000 33554432000 4194304 5683644 140736733914112 18446744073709551615 218370977350 0 0 16781312 33554946 4294934787 0 0 17 2 0 0 0
/proc/27043/statm: 73686 6000 349 364 0 8570 0
[pid=27045] ppid=27043 vsize=8540032 CPUtime=1.74 cores=0,2,4,6
/proc/27045/stat : 27045 (java) S 27043 27045 27045 0 -1 4202496 14584 0 1 0 171 3 0 0 20 0 19 0 869290408 8744992768 12061 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/27045/statm: 2135008 12061 2253 9 0 2125749 0
[pid=27045/tid=27046] ppid=27043 vsize=8540032 CPUtime=1.01 cores=0,2,4,6
/proc/27045/task/27046/stat : 27046 (java) R 27043 27045 27045 0 -1 4202560 7150 0 1 0 99 2 0 0 25 0 19 0 869290409 8744992768 12061 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 46912505746552 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27045/tid=27047] ppid=27043 vsize=8540032 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27047/stat : 27047 (java) S 27043 27045 27045 0 -1 4202560 215 0 0 0 0 0 0 0 18 0 19 0 869290410 8744992768 12061 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 2 0 0 0
[pid=27045/tid=27048] ppid=27043 vsize=8540032 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27048/stat : 27048 (java) S 27043 27045 27045 0 -1 4202560 72 0 0 0 0 0 0 0 18 0 19 0 869290410 8744992768 12061 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 2 0 0 0
[pid=27045/tid=27049] ppid=27043 vsize=8540032 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27049/stat : 27049 (java) S 27043 27045 27045 0 -1 4202560 86 0 0 0 0 0 0 0 18 0 19 0 869290410 8744992768 12061 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 2 0 0 0
[pid=27045/tid=27050] ppid=27043 vsize=8540032 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27050/stat : 27050 (java) S 27043 27045 27045 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869290410 8744992768 12061 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 2 0 0 0
[pid=27045/tid=27051] ppid=27043 vsize=8540032 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27051/stat : 27051 (java) S 27043 27045 27045 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869290410 8744992768 12061 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 2 0 0 0
[pid=27045/tid=27052] ppid=27043 vsize=8540032 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27052/stat : 27052 (java) S 27043 27045 27045 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869290410 8744992768 12061 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 2 0 0 0
[pid=27045/tid=27053] ppid=27043 vsize=8540032 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27053/stat : 27053 (java) S 27043 27045 27045 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869290410 8744992768 12061 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 2 0 0 0
[pid=27045/tid=27054] ppid=27043 vsize=8540032 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27054/stat : 27054 (java) S 27043 27045 27045 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869290410 8744992768 12061 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 2 0 0 0
[pid=27045/tid=27055] ppid=27043 vsize=8540032 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27055/stat : 27055 (java) S 27043 27045 27045 0 -1 4202560 376 0 0 0 0 0 0 0 17 0 19 0 869290411 8744992768 12061 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773760 0 0 0 16800975 18446604447764923328 0 0 -1 6 0 0 0
[pid=27045/tid=27056] ppid=27043 vsize=8540032 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27056/stat : 27056 (java) S 27043 27045 27045 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869290411 8744992768 12061 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 6 0 0 0
[pid=27045/tid=27057] ppid=27043 vsize=8540032 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27057/stat : 27057 (java) S 27043 27045 27045 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869290411 8744992768 12061 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 6 0 0 0
[pid=27045/tid=27058] ppid=27043 vsize=8540032 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27058/stat : 27058 (java) S 27043 27045 27045 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869290414 8744992768 12061 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382780849 0 4 0 16800975 18446604447764923328 0 0 -1 4 0 0 0
[pid=27045/tid=27059] ppid=27043 vsize=8540032 CPUtime=0.37 cores=0,2,4,6
/proc/27045/task/27059/stat : 27059 (java) R 27043 27045 27045 0 -1 4202560 2657 0 0 0 37 0 0 0 22 0 19 0 869290414 8744992768 12061 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 47893882885528 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27045/tid=27060] ppid=27043 vsize=8540032 CPUtime=0.32 cores=0,2,4,6
/proc/27045/task/27060/stat : 27060 (java) S 27043 27045 27045 0 -1 4202560 2629 0 0 0 32 0 0 0 15 0 19 0 869290414 8744992768 12061 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 2 0 0 0
[pid=27045/tid=27061] ppid=27043 vsize=8540032 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27061/stat : 27061 (java) S 27043 27045 27045 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869290414 8744992768 12061 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773145 0 4 0 16800975 18446604447764923328 0 0 -1 4 0 0 0
[pid=27045/tid=27062] ppid=27043 vsize=8540032 CPUtime=0 cores=0,2,4,6
/proc/27045/task/27062/stat : 27062 (java) S 27043 27045 27045 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869290414 8744992768 12061 33554432000 1073741824 1073778376 140734382436672 18446744073709551615 218382773760 0 4 0 16800975 18446604447764923328 0 0 -1 4 0 0 0
[pid=26974/tid=26981] ppid=26972 vsize=304988 CPUtime=0 cores=0,2,4,6
/proc/26974/task/26981/stat : 26981 (python) S 26972 26974 26377 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 3 0 869285422 312307712 7528 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444545906688 0 0 -1 0 0 0 0
[pid=26974/tid=27044] ppid=26972 vsize=304988 CPUtime=0 cores=0,2,4,6
/proc/26974/task/27044/stat : 27044 (python) S 26972 26974 26377 0 -1 4202560 28 928 0 0 0 0 0 0 20 0 3 0 869290408 312307712 7528 33554432000 4194304 5683644 140736733914112 18446744073709551615 218382780849 0 0 16781312 33554434 18446604444545906688 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 52.27
Current children cumulated vsize (KiB) 9516252
Child status: 0
Real time (s): 51.5697
CPU time (s): 52.403
CPU user time (s): 51.6511
CPU system time (s): 0.751885
CPU usage (%): 101.616
Max. virtual memory (cumulated for all children) (KiB): 9516252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.6511
system time used= 0.751885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53601
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= 1534
involuntary context switches= 164
runsolver used 0.199969 second user time and 0.474927 second system time
The end