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-3482675-1307576507/watcher-3482675-1307576507 -o /tmp/evaluation-result-3482675-1307576507/solver-3482675-1307576507 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482675-1307576507.opb -seed 754371084 -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: 1.26 0.36 0.12 3/276 29073
/proc/meminfo: memFree=31988784/32951124 swapFree=53958412/67111528
[pid=29073] ppid=29071 vsize=15760 CPUtime=0 cores=0,2,4,6
/proc/29073/stat : 29073 (python) S 29071 29073 28606 0 -1 4202496 844 0 0 0 0 0 0 0 20 0 1 0 869251502 16138240 727 33554432000 4194304 5683644 140734952387392 18446744073709551615 222921775104 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/29073/statm: 3940 727 334 364 0 427 0
[startup+0.0743711 s]
/proc/loadavg: 1.26 0.36 0.12 3/276 29073
/proc/meminfo: memFree=31988784/32951124 swapFree=53958412/67111528
[pid=29073] ppid=29071 vsize=54636 CPUtime=0.05 cores=0,2,4,6
/proc/29073/stat : 29073 (python) R 29071 29073 28606 0 -1 4202496 2071 0 0 0 4 1 0 0 17 0 1 0 869251502 55947264 1829 33554432000 4194304 5683644 140734952387392 18446744073709551615 222921437893 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29073/statm: 13658 1828 492 364 0 1308 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54636
[startup+0.100395 s]
/proc/loadavg: 1.26 0.36 0.12 3/276 29073
/proc/meminfo: memFree=31988784/32951124 swapFree=53958412/67111528
[pid=29073] ppid=29071 vsize=96120 CPUtime=0.07 cores=0,2,4,6
/proc/29073/stat : 29073 (python) R 29071 29073 28606 0 -1 4202496 3167 930 1 0 5 2 0 0 18 0 1 0 869251502 98426880 2482 33554432000 4194304 5683644 140734952387392 18446744073709551615 5170289 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29073/statm: 24030 2482 792 364 0 1625 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96120
[startup+0.3004 s]
/proc/loadavg: 1.26 0.36 0.12 3/276 29073
/proc/meminfo: memFree=31988784/32951124 swapFree=53958412/67111528
[pid=29073] ppid=29071 vsize=168436 CPUtime=0.21 cores=0,2,4,6
/proc/29073/stat : 29073 (python) S 29071 29073 28606 0 -1 4202496 6009 930 1 0 16 5 0 0 17 0 1 0 869251502 172478464 4326 33554432000 4194304 5683644 140734952387392 18446744073709551615 222916853383 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/29073/statm: 42109 4326 1222 364 0 3326 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 168436
[startup+0.700274 s]
/proc/loadavg: 1.26 0.36 0.12 3/276 29073
/proc/meminfo: memFree=31988784/32951124 swapFree=53958412/67111528
[pid=29073] ppid=29071 vsize=293080 CPUtime=0.4 cores=0,2,4,6
/proc/29073/stat : 29073 (python) S 29071 29073 28606 0 -1 4202496 9634 930 1 0 31 9 0 0 18 0 2 0 869251502 300113920 7141 33554432000 4194304 5683644 140734952387392 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29073/statm: 73270 7141 1870 364 0 8157 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 293080
Solver just ended. Dumping a history of the last processes samples
[startup+0.900231 s]
/proc/loadavg: 1.26 0.36 0.12 3/276 29073
/proc/meminfo: memFree=31988784/32951124 swapFree=53958412/67111528
[pid=29073] ppid=29071 vsize=293080 CPUtime=0.4 cores=0,2,4,6
/proc/29073/stat : 29073 (python) S 29071 29073 28606 0 -1 4202496 9634 930 1 0 31 9 0 0 18 0 2 0 869251502 300113920 7141 33554432000 4194304 5683644 140734952387392 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29073/statm: 73270 7141 1870 364 0 8157 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 293080
[startup+1.00021 s]
/proc/loadavg: 1.26 0.36 0.12 3/291 29122
/proc/meminfo: memFree=32055600/32951124 swapFree=53958412/67111528
[pid=29073] ppid=29071 vsize=293080 CPUtime=0.4 cores=0,2,4,6
/proc/29073/stat : 29073 (python) S 29071 29073 28606 0 -1 4202496 9634 930 1 0 31 9 0 0 18 0 2 0 869251502 300113920 7141 33554432000 4194304 5683644 140734952387392 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29073/statm: 73270 7141 1870 364 0 8157 0
[pid=29080] ppid=29073 vsize=282836 CPUtime=0 cores=0,2,4,6
/proc/29080/stat : 29080 (python) S 29073 29073 28606 0 -1 4202560 757 0 0 0 0 0 0 0 15 0 1 0 869251561 289624064 5619 33554432000 4194304 5683644 140734952387392 18446744073709551615 222921797135 0 0 16781312 33554946 255390579465125888 0 0 17 2 0 0 0
/proc/29080/statm: 70709 5619 352 364 0 5596 0
[pid=29082] ppid=29080 vsize=8534768 CPUtime=0.2 cores=0,2,4,6
/proc/29082/stat : 29082 (java) S 29080 29082 29082 0 -1 4202496 6052 0 119 0 19 1 0 0 17 0 19 0 869251561 8739602432 5577 33554432000 1073741824 1073778376 140735217817984 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 12
/proc/29082/statm: 2133692 5577 2154 9 0 2124433 0
[pid=29082/tid=29099] ppid=29080 vsize=8534768 CPUtime=0.15 cores=0,2,4,6
/proc/29082/task/29099/stat : 29099 (java) R 29080 29082 29082 0 -1 4202560 3582 0 58 0 14 1 0 0 19 0 19 0 869251575 8739602432 5577 33554432000 1073741824 1073778376 140735217817984 18446744073709551615 46912505194336 0 4 0 16800975 0 0 0 -1 2 0 0 10
[pid=29082/tid=29103] ppid=29080 vsize=8534768 CPUtime=0 cores=0,2,4,6
/proc/29082/task/29103/stat : 29103 (java) S 29080 29082 29082 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869251578 8739602432 5577 33554432000 1073741824 1073778376 140735217817984 18446744073709551615 222933592985 0 4 0 16800975 18446604440795021696 0 0 -1 0 0 0 0
[pid=29082/tid=29104] ppid=29080 vsize=8534768 CPUtime=0 cores=0,2,4,6
/proc/29082/task/29104/stat : 29104 (java) S 29080 29082 29082 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869251578 8739602432 5577 33554432000 1073741824 1073778376 140735217817984 18446744073709551615 222933592985 0 4 0 16800975 18446604440795021696 0 0 -1 0 0 0 0
[pid=29082/tid=29105] ppid=29080 vsize=8534768 CPUtime=0 cores=0,2,4,6
/proc/29082/task/29105/stat : 29105 (java) S 29080 29082 29082 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869251578 8739602432 5577 33554432000 1073741824 1073778376 140735217817984 18446744073709551615 222933592985 0 4 0 16800975 18446604440795021696 0 0 -1 0 0 0 0
[pid=29082/tid=29106] ppid=29080 vsize=8534768 CPUtime=0 cores=0,2,4,6
/proc/29082/task/29106/stat : 29106 (java) S 29080 29082 29082 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869251578 8739602432 5577 33554432000 1073741824 1073778376 140735217817984 18446744073709551615 222933592985 0 4 0 16800975 18446604440795021696 0 0 -1 0 0 0 0
[pid=29082/tid=29107] ppid=29080 vsize=8534768 CPUtime=0 cores=0,2,4,6
/proc/29082/task/29107/stat : 29107 (java) S 29080 29082 29082 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869251578 8739602432 5577 33554432000 1073741824 1073778376 140735217817984 18446744073709551615 222933592985 0 4 0 16800975 18446604440795021696 0 0 -1 0 0 0 0
[pid=29082/tid=29108] ppid=29080 vsize=8534768 CPUtime=0 cores=0,2,4,6
/proc/29082/task/29108/stat : 29108 (java) S 29080 29082 29082 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869251578 8739602432 5577 33554432000 1073741824 1073778376 140735217817984 18446744073709551615 222933592985 0 4 0 16800975 18446604440795021696 0 0 -1 0 0 0 0
[pid=29082/tid=29109] ppid=29080 vsize=8534768 CPUtime=0 cores=0,2,4,6
/proc/29082/task/29109/stat : 29109 (java) S 29080 29082 29082 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869251578 8739602432 5577 33554432000 1073741824 1073778376 140735217817984 18446744073709551615 222933592985 0 4 0 16800975 18446604440795021696 0 0 -1 0 0 0 0
[pid=29082/tid=29110] ppid=29080 vsize=8534768 CPUtime=0 cores=0,2,4,6
/proc/29082/task/29110/stat : 29110 (java) S 29080 29082 29082 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869251578 8739602432 5577 33554432000 1073741824 1073778376 140735217817984 18446744073709551615 222933592985 0 4 0 16800975 18446604440795021696 0 0 -1 0 0 0 0
[pid=29082/tid=29114] ppid=29080 vsize=8534768 CPUtime=0 cores=0,2,4,6
/proc/29082/task/29114/stat : 29114 (java) S 29080 29082 29082 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 869251581 8739602432 5577 33554432000 1073741824 1073778376 140735217817984 18446744073709551615 222933593600 0 0 0 16800975 18446604440795021696 0 0 -1 6 0 0 0
[pid=29082/tid=29115] ppid=29080 vsize=8534768 CPUtime=0 cores=0,2,4,6
/proc/29082/task/29115/stat : 29115 (java) S 29080 29082 29082 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 869251583 8739602432 5577 33554432000 1073741824 1073778376 140735217817984 18446744073709551615 222933592985 0 4 0 16800975 18446604440795021696 0 0 -1 6 0 0 0
[pid=29082/tid=29116] ppid=29080 vsize=8534768 CPUtime=0 cores=0,2,4,6
/proc/29082/task/29116/stat : 29116 (java) S 29080 29082 29082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 869251583 8739602432 5577 33554432000 1073741824 1073778376 140735217817984 18446744073709551615 222933592985 0 4 0 16800975 18446604440795021696 0 0 -1 6 0 0 0
[pid=29082/tid=29117] ppid=29080 vsize=8534768 CPUtime=0 cores=0,2,4,6
/proc/29082/task/29117/stat : 29117 (java) S 29080 29082 29082 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869251589 8739602432 5577 33554432000 1073741824 1073778376 140735217817984 18446744073709551615 222933600689 0 4 0 16800975 18446604440795021696 0 0 -1 2 0 0 0
[pid=29082/tid=29118] ppid=29080 vsize=8534768 CPUtime=0.02 cores=0,2,4,6
/proc/29082/task/29118/stat : 29118 (java) S 29080 29082 29082 0 -1 4202560 580 0 2 0 2 0 0 0 19 0 19 0 869251589 8739602432 5577 33554432000 1073741824 1073778376 140735217817984 18446744073709551615 222933592985 0 4 0 16800975 18446604440795021696 0 0 -1 4 0 0 0
[pid=29082/tid=29119] ppid=29080 vsize=8534768 CPUtime=0.01 cores=0,2,4,6
/proc/29082/task/29119/stat : 29119 (java) S 29080 29082 29082 0 -1 4202560 562 0 2 0 1 0 0 0 17 0 19 0 869251589 8739602432 5577 33554432000 1073741824 1073778376 140735217817984 18446744073709551615 222933592985 0 4 0 16800975 18446604440795021696 0 0 -1 6 0 0 0
[pid=29082/tid=29120] ppid=29080 vsize=8534768 CPUtime=0 cores=0,2,4,6
/proc/29082/task/29120/stat : 29120 (java) S 29080 29082 29082 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869251589 8739602432 5577 33554432000 1073741824 1073778376 140735217817984 18446744073709551615 222933592985 0 4 0 16800975 18446604440795021696 0 0 -1 2 0 0 0
[pid=29082/tid=29121] ppid=29080 vsize=8534768 CPUtime=0 cores=0,2,4,6
/proc/29082/task/29121/stat : 29121 (java) S 29080 29082 29082 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869251589 8739602432 5577 33554432000 1073741824 1073778376 140735217817984 18446744073709551615 222933593600 0 4 0 16800975 18446604440795021696 0 0 -1 6 0 0 0
[pid=29082/tid=29122] ppid=29080 vsize=8534768 CPUtime=0 cores=0,2,4,6
/proc/29082/task/29122/stat : 29122 (java) S 29080 29082 29082 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869251602 8739602432 5577 33554432000 1073741824 1073778376 140735217817984 18446744073709551615 222933593600 0 4 0 16800975 18446604440795021696 0 0 -1 6 0 0 0
[pid=29073/tid=29081] ppid=29071 vsize=293080 CPUtime=0 cores=0,2,4,6
/proc/29073/task/29081/stat : 29081 (python) S 29071 29073 28606 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 2 0 869251561 300113920 7141 33554432000 4194304 5683644 140734952387392 18446744073709551615 222933600689 0 0 16781312 33554434 18446604453308972096 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 9110684
Child status: 0
Real time (s): 1.10463
CPU time (s): 0.85087
CPU user time (s): 0.725889
CPU system time (s): 0.124981
CPU usage (%): 77.0277
Max. virtual memory (cumulated for all children) (KiB): 9110684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.725889
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23676
page faults= 120
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1793
involuntary context switches= 110
runsolver used 0.006998 second user time and 0.012998 second system time
The end