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-3481385-1307577823/watcher-3481385-1307577823 -o /tmp/evaluation-result-3481385-1307577823/solver-3481385-1307577823 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481385-1307577823.opb -seed 988676014 -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.58 2.18 1.63 2/700 19335
/proc/meminfo: memFree=19614036/32951124 swapFree=56297244/67111528
[pid=19335] ppid=19333 vsize=15760 CPUtime=0 cores=0,2,4,6
/proc/19335/stat : 19335 (python) S 19333 19335 17566 0 -1 4202496 845 0 0 0 0 0 0 0 17 0 1 0 948012810 16138240 727 33554432000 4194304 5683644 140734144363456 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/19335/statm: 3940 727 334 364 0 427 0
[startup+0.103186 s]
/proc/loadavg: 2.58 2.18 1.63 2/700 19335
/proc/meminfo: memFree=19614036/32951124 swapFree=56297244/67111528
[pid=19335] ppid=19333 vsize=96124 CPUtime=0.06 cores=0,2,4,6
/proc/19335/stat : 19335 (python) R 19333 19335 17566 0 -1 4202496 3170 929 1 0 5 1 0 0 18 0 1 0 948012810 98430976 2483 33554432000 4194304 5683644 140734144363456 18446744073709551615 5172134 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/19335/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.201168 s]
/proc/loadavg: 2.58 2.18 1.63 2/700 19335
/proc/meminfo: memFree=19614036/32951124 swapFree=56297244/67111528
[pid=19335] ppid=19333 vsize=123740 CPUtime=0.14 cores=0,2,4,6
/proc/19335/stat : 19335 (python) R 19333 19335 17566 0 -1 4202496 5359 929 1 0 11 3 0 0 17 0 1 0 948012810 126709760 3745 33554432000 4194304 5683644 140734144363456 18446744073709551615 252457758416 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/19335/statm: 30935 3745 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.301153 s]
/proc/loadavg: 2.58 2.18 1.63 2/700 19335
/proc/meminfo: memFree=19614036/32951124 swapFree=56297244/67111528
[pid=19335] ppid=19333 vsize=182076 CPUtime=0.22 cores=0,2,4,6
/proc/19335/stat : 19335 (python) R 19333 19335 17566 0 -1 4202496 6278 929 1 0 16 6 0 0 17 0 1 0 948012810 186445824 4584 33554432000 4194304 5683644 140734144363456 18446744073709551615 252458065552 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/19335/statm: 45519 4584 1246 364 0 3567 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 182076
[startup+0.701038 s]
/proc/loadavg: 2.58 2.18 1.63 2/700 19335
/proc/meminfo: memFree=19614036/32951124 swapFree=56297244/67111528
[pid=19335] ppid=19333 vsize=293212 CPUtime=0.41 cores=0,2,4,6
/proc/19335/stat : 19335 (python) S 19333 19335 17566 0 -1 4202496 10696 1318 1 0 32 9 0 0 20 0 2 0 948012810 300249088 7155 33554432000 4194304 5683644 140734144363456 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 73303 7155 1871 364 0 8190 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 293212
[startup+1.50093 s]
/proc/loadavg: 2.58 2.18 1.63 3/704 19344
/proc/meminfo: memFree=19575320/32951124 swapFree=56297244/67111528
[pid=19335] ppid=19333 vsize=293212 CPUtime=0.41 cores=0,2,4,6
/proc/19335/stat : 19335 (python) S 19333 19335 17566 0 -1 4202496 10696 1318 1 0 32 9 0 0 20 0 2 0 948012810 300249088 7155 33554432000 4194304 5683644 140734144363456 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 73303 7155 1871 364 0 8190 0
[pid=19342] ppid=19335 vsize=282968 CPUtime=0 cores=0,2,4,6
/proc/19342/stat : 19342 (python) S 19335 19335 17566 0 -1 4202560 814 0 0 0 0 0 0 0 16 0 1 0 948012864 289759232 5605 33554432000 4194304 5683644 140734144363456 18446744073709551615 252458085903 0 0 16781312 33554946 3165106707755958272 0 0 17 4 0 0 0
/proc/19342/statm: 70742 5605 325 364 0 5629 0
[pid=19344] ppid=19342 vsize=24688 CPUtime=0.95 cores=0,2,4,6
/proc/19344/stat : 19344 (scip-2.0.1.linu) R 19342 19344 19344 0 -1 4202496 7348 0 0 0 92 3 0 0 18 0 1 0 948012864 25280512 3997 33554432000 4194304 13684479 140735566153552 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19344/statm: 6172 3997 817 2317 0 3850 0
[pid=19335/tid=19343] ppid=19333 vsize=293212 CPUtime=0 cores=0,2,4,6
/proc/19335/task/19343/stat : 19343 (python) S 19333 19335 17566 0 -1 4202560 28 1318 0 0 0 0 0 0 20 0 2 0 948012864 300249088 7155 33554432000 4194304 5683644 140734144363456 18446744073709551615 252469889457 0 0 16781312 33554434 18446604445901543232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 600868
[startup+3.11867 s]
/proc/loadavg: 2.61 2.19 1.64 3/704 19344
/proc/meminfo: memFree=19576820/32951124 swapFree=56297244/67111528
[pid=19335] ppid=19333 vsize=293212 CPUtime=0.41 cores=0,2,4,6
/proc/19335/stat : 19335 (python) S 19333 19335 17566 0 -1 4202496 10696 1318 1 0 32 9 0 0 20 0 2 0 948012810 300249088 7155 33554432000 4194304 5683644 140734144363456 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 73303 7155 1871 364 0 8190 0
[pid=19342] ppid=19335 vsize=282968 CPUtime=0 cores=0,2,4,6
/proc/19342/stat : 19342 (python) S 19335 19335 17566 0 -1 4202560 815 0 0 0 0 0 0 0 16 0 1 0 948012864 289759232 5605 33554432000 4194304 5683644 140734144363456 18446744073709551615 252458085903 0 0 16781312 33554946 3837691160311103488 0 0 17 4 0 0 0
/proc/19342/statm: 70742 5605 325 364 0 5629 0
[pid=19344] ppid=19342 vsize=24940 CPUtime=2.57 cores=0,2,4,6
/proc/19344/stat : 19344 (scip-2.0.1.linu) R 19342 19344 19344 0 -1 4202496 7381 0 0 0 249 8 0 0 18 0 1 0 948012864 25538560 4030 33554432000 4194304 13684479 140735566153552 18446744073709551615 6051358 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19344/statm: 6235 4030 818 2317 0 3913 0
[pid=19335/tid=19343] ppid=19333 vsize=293212 CPUtime=0 cores=0,2,4,6
/proc/19335/task/19343/stat : 19343 (python) S 19333 19335 17566 0 -1 4202560 28 1318 0 0 0 0 0 0 20 0 2 0 948012864 300249088 7155 33554432000 4194304 5683644 140734144363456 18446744073709551615 252469889457 0 0 16781312 33554434 18446604445901543232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 601120
Solver just ended. Dumping a history of the last processes samples
[startup+4.00048 s]
/proc/loadavg: 2.61 2.19 1.64 3/704 19344
/proc/meminfo: memFree=19576820/32951124 swapFree=56297244/67111528
[pid=19335] ppid=19333 vsize=293212 CPUtime=0.41 cores=0,2,4,6
/proc/19335/stat : 19335 (python) S 19333 19335 17566 0 -1 4202496 10696 1318 1 0 32 9 0 0 20 0 2 0 948012810 300249088 7155 33554432000 4194304 5683644 140734144363456 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 73303 7155 1871 364 0 8190 0
[pid=19342] ppid=19335 vsize=282968 CPUtime=0.01 cores=0,2,4,6
/proc/19342/stat : 19342 (python) S 19335 19335 17566 0 -1 4202560 945 0 0 0 0 1 0 0 15 0 1 0 948012864 289759232 5628 33554432000 4194304 5683644 140734144363456 18446744073709551615 252458085903 0 0 16781312 33554946 3763890428026290176 0 0 17 4 0 0 0
/proc/19342/statm: 70742 5628 348 364 0 5629 0
[pid=19344] ppid=19342 vsize=25940 CPUtime=3.45 cores=0,2,4,6
/proc/19344/stat : 19344 (scip-2.0.1.linu) R 19342 19344 19344 0 -1 4202496 7622 0 0 0 335 10 0 0 18 0 1 0 948012864 26562560 4267 33554432000 4194304 13684479 140735566153552 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19344/statm: 6485 4267 818 2317 0 4163 0
[pid=19335/tid=19343] ppid=19333 vsize=293212 CPUtime=0 cores=0,2,4,6
/proc/19335/task/19343/stat : 19343 (python) S 19333 19335 17566 0 -1 4202560 28 1318 0 0 0 0 0 0 20 0 2 0 948012864 300249088 7155 33554432000 4194304 5683644 140734144363456 18446744073709551615 252469889457 0 0 16781312 33554434 18446604445901543232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 602120
[startup+4.80035 s]
/proc/loadavg: 2.61 2.19 1.64 3/704 19344
/proc/meminfo: memFree=19575704/32951124 swapFree=56297244/67111528
[pid=19335] ppid=19333 vsize=293212 CPUtime=0.41 cores=0,2,4,6
/proc/19335/stat : 19335 (python) S 19333 19335 17566 0 -1 4202496 10696 1318 1 0 32 9 0 0 20 0 2 0 948012810 300249088 7155 33554432000 4194304 5683644 140734144363456 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 73303 7155 1871 364 0 8190 0
[pid=19342] ppid=19335 vsize=282968 CPUtime=0.01 cores=0,2,4,6
/proc/19342/stat : 19342 (python) S 19335 19335 17566 0 -1 4202560 946 0 0 0 0 1 0 0 15 0 1 0 948012864 289759232 5628 33554432000 4194304 5683644 140734144363456 18446744073709551615 252458085903 0 0 16781312 33554946 2758255365022810112 0 0 17 4 0 0 0
/proc/19342/statm: 70742 5628 348 364 0 5629 0
[pid=19344] ppid=19342 vsize=27100 CPUtime=4.24 cores=0,2,4,6
/proc/19344/stat : 19344 (scip-2.0.1.linu) R 19342 19344 19344 0 -1 4202496 7939 0 0 0 412 12 0 0 18 0 1 0 948012864 27750400 4580 33554432000 4194304 13684479 140735566153552 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19344/statm: 6775 4580 818 2317 0 4453 0
[pid=19335/tid=19343] ppid=19333 vsize=293212 CPUtime=0 cores=0,2,4,6
/proc/19335/task/19343/stat : 19343 (python) S 19333 19335 17566 0 -1 4202560 28 1318 0 0 0 0 0 0 20 0 2 0 948012864 300249088 7155 33554432000 4194304 5683644 140734144363456 18446744073709551615 252469889457 0 0 16781312 33554434 18446604445901543232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.66
Current children cumulated vsize (KiB) 603280
[startup+5.20127 s]
/proc/loadavg: 2.61 2.19 1.64 3/704 19344
/proc/meminfo: memFree=19574588/32951124 swapFree=56297244/67111528
[pid=19335] ppid=19333 vsize=293212 CPUtime=0.41 cores=0,2,4,6
/proc/19335/stat : 19335 (python) S 19333 19335 17566 0 -1 4202496 10696 1318 1 0 32 9 0 0 20 0 2 0 948012810 300249088 7155 33554432000 4194304 5683644 140734144363456 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 73303 7155 1871 364 0 8190 0
[pid=19342] ppid=19335 vsize=282968 CPUtime=0.01 cores=0,2,4,6
/proc/19342/stat : 19342 (python) S 19335 19335 17566 0 -1 4202560 946 0 0 0 0 1 0 0 15 0 1 0 948012864 289759232 5628 33554432000 4194304 5683644 140734144363456 18446744073709551615 252458085903 0 0 16781312 33554946 125130852806950912 0 0 17 4 0 0 0
/proc/19342/statm: 70742 5628 348 364 0 5629 0
[pid=19344] ppid=19342 vsize=27616 CPUtime=4.66 cores=0,2,4,6
/proc/19344/stat : 19344 (scip-2.0.1.linu) R 19342 19344 19344 0 -1 4202496 8062 0 0 0 452 14 0 0 18 0 1 0 948012864 28278784 4702 33554432000 4194304 13684479 140735566153552 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19344/statm: 6904 4702 818 2317 0 4582 0
[pid=19335/tid=19343] ppid=19333 vsize=293212 CPUtime=0 cores=0,2,4,6
/proc/19335/task/19343/stat : 19343 (python) S 19333 19335 17566 0 -1 4202560 28 1318 0 0 0 0 0 0 20 0 2 0 948012864 300249088 7155 33554432000 4194304 5683644 140734144363456 18446744073709551615 252469889457 0 0 16781312 33554434 18446604445901543232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.08
Current children cumulated vsize (KiB) 603796
[startup+5.40124 s]
/proc/loadavg: 2.61 2.19 1.64 3/704 19344
/proc/meminfo: memFree=19574588/32951124 swapFree=56297244/67111528
[pid=19335] ppid=19333 vsize=293212 CPUtime=0.41 cores=0,2,4,6
/proc/19335/stat : 19335 (python) S 19333 19335 17566 0 -1 4202496 10696 1318 1 0 32 9 0 0 20 0 2 0 948012810 300249088 7155 33554432000 4194304 5683644 140734144363456 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 73303 7155 1871 364 0 8190 0
[pid=19342] ppid=19335 vsize=282968 CPUtime=0.01 cores=0,2,4,6
/proc/19342/stat : 19342 (python) S 19335 19335 17566 0 -1 4202560 946 0 0 0 0 1 0 0 15 0 1 0 948012864 289759232 5628 33554432000 4194304 5683644 140734144363456 18446744073709551615 252458085903 0 0 16781312 33554946 829374308164829184 0 0 17 4 0 0 0
/proc/19342/statm: 70742 5628 348 364 0 5629 0
[pid=19344] ppid=19342 vsize=27752 CPUtime=4.85 cores=0,2,4,6
/proc/19344/stat : 19344 (scip-2.0.1.linu) R 19342 19344 19344 0 -1 4202496 8090 0 0 0 470 15 0 0 18 0 1 0 948012864 28418048 4730 33554432000 4194304 13684479 140735566153552 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19344/statm: 6938 4730 818 2317 0 4616 0
[pid=19335/tid=19343] ppid=19333 vsize=293212 CPUtime=0 cores=0,2,4,6
/proc/19335/task/19343/stat : 19343 (python) S 19333 19335 17566 0 -1 4202560 28 1318 0 0 0 0 0 0 20 0 2 0 948012864 300249088 7155 33554432000 4194304 5683644 140734144363456 18446744073709551615 252469889457 0 0 16781312 33554434 18446604445901543232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.27
Current children cumulated vsize (KiB) 603932
[startup+5.50122 s]
/proc/loadavg: 2.61 2.19 1.64 3/704 19344
/proc/meminfo: memFree=19574588/32951124 swapFree=56297244/67111528
[pid=19335] ppid=19333 vsize=293212 CPUtime=0.41 cores=0,2,4,6
/proc/19335/stat : 19335 (python) S 19333 19335 17566 0 -1 4202496 10696 1318 1 0 32 9 0 0 20 0 2 0 948012810 300249088 7155 33554432000 4194304 5683644 140734144363456 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 73303 7155 1871 364 0 8190 0
[pid=19342] ppid=19335 vsize=282968 CPUtime=0.01 cores=0,2,4,6
/proc/19342/stat : 19342 (python) S 19335 19335 17566 0 -1 4202560 956 0 0 0 0 1 0 0 16 0 1 0 948012864 289759232 5628 33554432000 4194304 5683644 140734144363456 18446744073709551615 252458085903 0 0 16781312 33554946 1649560285419143168 0 0 17 4 0 0 0
/proc/19342/statm: 70742 5628 348 364 0 5629 0
[pid=19344] ppid=19342 vsize=27752 CPUtime=4.95 cores=0,2,4,6
/proc/19344/stat : 19344 (scip-2.0.1.linu) R 19342 19344 19344 0 -1 4202496 8092 0 0 0 480 15 0 0 18 0 1 0 948012864 28418048 4732 33554432000 4194304 13684479 140735566153552 18446744073709551615 4888968 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/19344/statm: 6938 4732 820 2317 0 4616 0
[pid=19335/tid=19343] ppid=19333 vsize=293212 CPUtime=0 cores=0,2,4,6
/proc/19335/task/19343/stat : 19343 (python) S 19333 19335 17566 0 -1 4202560 28 1318 0 0 0 0 0 0 20 0 2 0 948012864 300249088 7155 33554432000 4194304 5683644 140734144363456 18446744073709551615 252469889457 0 0 16781312 33554434 18446604445901543232 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 603932
Child status: 0
Real time (s): 5.53083
CPU time (s): 5.44017
CPU user time (s): 5.16021
CPU system time (s): 0.279957
CPU usage (%): 98.3608
Max. virtual memory (cumulated for all children) (KiB): 603932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.16021
system time used= 0.279957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25775
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= 1260
involuntary context switches= 36
runsolver used 0.032994 second user time and 0.057991 second system time
The end