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-3482709-1307576515/watcher-3482709-1307576515 -o /tmp/evaluation-result-3482709-1307576515/solver-3482709-1307576515 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482709-1307576515.opb -seed 1028587990 -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.81 0.74 0.27 2/527 18226
/proc/meminfo: memFree=30994336/32951124 swapFree=49879164/67111528
[pid=18226] ppid=18224 vsize=16236 CPUtime=0 cores=1,3,5,7
/proc/18226/stat : 18226 (python) R 18224 18226 17508 0 -1 4202496 1037 0 0 0 0 0 0 0 21 0 1 0 947882235 16625664 909 33554432000 4194304 5683644 140733576739680 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/18226/statm: 4059 909 380 364 0 546 0
[startup+0.117682 s]
/proc/loadavg: 1.81 0.74 0.27 2/527 18226
/proc/meminfo: memFree=30994336/32951124 swapFree=49879164/67111528
[pid=18226] ppid=18224 vsize=96124 CPUtime=0.06 cores=1,3,5,7
/proc/18226/stat : 18226 (python) R 18224 18226 17508 0 -1 4202496 3169 931 1 0 5 1 0 0 18 0 1 0 947882235 98430976 2483 33554432000 4194304 5683644 140733576739680 18446744073709551615 5177563 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/18226/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.200634 s]
/proc/loadavg: 1.81 0.74 0.27 2/527 18226
/proc/meminfo: memFree=30994336/32951124 swapFree=49879164/67111528
[pid=18226] ppid=18224 vsize=111976 CPUtime=0.1 cores=1,3,5,7
/proc/18226/stat : 18226 (python) S 18224 18226 17508 0 -1 4202496 4660 931 1 0 8 2 0 0 17 0 1 0 947882235 114663424 3113 33554432000 4194304 5683644 140733576739680 18446744073709551615 216735174501 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/18226/statm: 27994 3113 901 364 0 2173 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 111976
[startup+0.300649 s]
/proc/loadavg: 1.81 0.74 0.27 2/527 18226
/proc/meminfo: memFree=30994336/32951124 swapFree=49879164/67111528
[pid=18226] ppid=18224 vsize=123740 CPUtime=0.16 cores=1,3,5,7
/proc/18226/stat : 18226 (python) R 18224 18226 17508 0 -1 4202496 5359 931 1 0 12 4 0 0 17 0 1 0 947882235 126709760 3746 33554432000 4194304 5683644 140733576739680 18446744073709551615 216735174661 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/18226/statm: 30935 3746 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.700547 s]
/proc/loadavg: 1.81 0.74 0.27 2/527 18226
/proc/meminfo: memFree=30994336/32951124 swapFree=49879164/67111528
[pid=18226] ppid=18224 vsize=293140 CPUtime=0.41 cores=1,3,5,7
/proc/18226/stat : 18226 (python) S 18224 18226 17508 0 -1 4202496 9647 931 1 0 33 8 0 0 18 0 2 0 947882235 300175360 7152 33554432000 4194304 5683644 140733576739680 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/18226/statm: 73285 7152 1870 364 0 8172 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 293140
Solver just ended. Dumping a history of the last processes samples
[startup+0.80057 s]
/proc/loadavg: 1.81 0.74 0.27 2/527 18226
/proc/meminfo: memFree=30994336/32951124 swapFree=49879164/67111528
[pid=18226] ppid=18224 vsize=293140 CPUtime=0.41 cores=1,3,5,7
/proc/18226/stat : 18226 (python) S 18224 18226 17508 0 -1 4202496 9647 931 1 0 33 8 0 0 18 0 2 0 947882235 300175360 7152 33554432000 4194304 5683644 140733576739680 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/18226/statm: 73285 7152 1870 364 0 8172 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 293140
[startup+1.00053 s]
/proc/loadavg: 1.81 0.74 0.27 2/527 18226
/proc/meminfo: memFree=30994336/32951124 swapFree=49879164/67111528
[pid=18226] ppid=18224 vsize=293140 CPUtime=0.41 cores=1,3,5,7
/proc/18226/stat : 18226 (python) S 18224 18226 17508 0 -1 4202496 9647 931 1 0 33 8 0 0 18 0 2 0 947882235 300175360 7152 33554432000 4194304 5683644 140733576739680 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/18226/statm: 73285 7152 1870 364 0 8172 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 293140
[startup+1.10048 s]
/proc/loadavg: 1.83 0.76 0.28 5/549 18255
/proc/meminfo: memFree=30910344/32951124 swapFree=49879164/67111528
[pid=18226] ppid=18224 vsize=293140 CPUtime=0.41 cores=1,3,5,7
/proc/18226/stat : 18226 (python) S 18224 18226 17508 0 -1 4202496 9647 931 1 0 33 8 0 0 18 0 2 0 947882235 300175360 7152 33554432000 4194304 5683644 140733576739680 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/18226/statm: 73285 7152 1870 364 0 8172 0
[pid=18234] ppid=18226 vsize=282896 CPUtime=0 cores=1,3,5,7
/proc/18234/stat : 18234 (python) S 18226 18226 17508 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 1 0 947882297 289685504 5630 33554432000 4194304 5683644 140733576739680 18446744073709551615 216735198735 0 0 16781312 33554946 6378694563967500550 0 0 17 7 0 0 0
/proc/18234/statm: 70724 5630 352 364 0 5611 0
[pid=18236] ppid=18234 vsize=8535256 CPUtime=0.36 cores=1,3,5,7
/proc/18236/stat : 18236 (java) S 18234 18236 18236 0 -1 4202496 7414 0 118 0 34 2 0 0 18 0 19 0 947882297 8740102144 6591 33554432000 1073741824 1073778376 140735030143584 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 12
/proc/18236/statm: 2133814 6591 2194 9 0 2124555 0
[pid=18236/tid=18237] ppid=18234 vsize=8535256 CPUtime=0.21 cores=1,3,5,7
/proc/18236/task/18237/stat : 18237 (java) R 18234 18236 18236 0 -1 4202560 3809 0 59 0 20 1 0 0 24 0 19 0 947882311 8740102144 6638 33554432000 1073741824 1073778376 140735030143584 18446744073709551615 46912505228240 0 4 0 16800975 0 0 0 -1 5 0 0 12
[pid=18236/tid=18238] ppid=18234 vsize=8535256 CPUtime=0 cores=1,3,5,7
/proc/18236/task/18238/stat : 18238 (java) S 18234 18236 18236 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947882315 8740102144 6638 33554432000 1073741824 1073778376 140735030143584 18446744073709551615 216746994585 0 4 0 16800975 18446604465217755904 0 0 -1 1 0 0 0
[pid=18236/tid=18239] ppid=18234 vsize=8535256 CPUtime=0 cores=1,3,5,7
/proc/18236/task/18239/stat : 18239 (java) S 18234 18236 18236 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947882315 8740102144 6638 33554432000 1073741824 1073778376 140735030143584 18446744073709551615 216746994585 0 4 0 16800975 18446604465217755904 0 0 -1 1 0 0 0
[pid=18236/tid=18240] ppid=18234 vsize=8535256 CPUtime=0 cores=1,3,5,7
/proc/18236/task/18240/stat : 18240 (java) S 18234 18236 18236 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947882315 8740102144 6638 33554432000 1073741824 1073778376 140735030143584 18446744073709551615 216746994585 0 4 0 16800975 18446604465217755904 0 0 -1 1 0 0 0
[pid=18236/tid=18241] ppid=18234 vsize=8535256 CPUtime=0 cores=1,3,5,7
/proc/18236/task/18241/stat : 18241 (java) S 18234 18236 18236 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947882315 8740102144 6638 33554432000 1073741824 1073778376 140735030143584 18446744073709551615 216746994585 0 4 0 16800975 18446604465217755904 0 0 -1 1 0 0 0
[pid=18236/tid=18242] ppid=18234 vsize=8535256 CPUtime=0 cores=1,3,5,7
/proc/18236/task/18242/stat : 18242 (java) S 18234 18236 18236 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947882315 8740102144 6638 33554432000 1073741824 1073778376 140735030143584 18446744073709551615 216746994585 0 4 0 16800975 18446604465217755904 0 0 -1 1 0 0 0
[pid=18236/tid=18243] ppid=18234 vsize=8535256 CPUtime=0 cores=1,3,5,7
/proc/18236/task/18243/stat : 18243 (java) S 18234 18236 18236 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947882315 8740102144 6638 33554432000 1073741824 1073778376 140735030143584 18446744073709551615 216746994585 0 4 0 16800975 18446604465217755904 0 0 -1 1 0 0 0
[pid=18236/tid=18244] ppid=18234 vsize=8535256 CPUtime=0 cores=1,3,5,7
/proc/18236/task/18244/stat : 18244 (java) S 18234 18236 18236 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947882315 8740102144 6638 33554432000 1073741824 1073778376 140735030143584 18446744073709551615 216746994585 0 4 0 16800975 18446604465217755904 0 0 -1 1 0 0 0
[pid=18236/tid=18245] ppid=18234 vsize=8535256 CPUtime=0 cores=1,3,5,7
/proc/18236/task/18245/stat : 18245 (java) S 18234 18236 18236 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 947882315 8740102144 6638 33554432000 1073741824 1073778376 140735030143584 18446744073709551615 216746994585 0 4 0 16800975 18446604465217755904 0 0 -1 1 0 0 0
[pid=18236/tid=18246] ppid=18234 vsize=8535256 CPUtime=0 cores=1,3,5,7
/proc/18236/task/18246/stat : 18246 (java) S 18234 18236 18236 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 947882319 8740102144 6638 33554432000 1073741824 1073778376 140735030143584 18446744073709551615 216746995200 0 0 0 16800975 18446604465217755904 0 0 -1 1 0 0 0
[pid=18236/tid=18247] ppid=18234 vsize=8535256 CPUtime=0 cores=1,3,5,7
/proc/18236/task/18247/stat : 18247 (java) S 18234 18236 18236 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 947882320 8740102144 6638 33554432000 1073741824 1073778376 140735030143584 18446744073709551615 216746994585 0 4 0 16800975 18446604465217755904 0 0 -1 1 0 0 0
[pid=18236/tid=18248] ppid=18234 vsize=8535256 CPUtime=0 cores=1,3,5,7
/proc/18236/task/18248/stat : 18248 (java) S 18234 18236 18236 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 947882320 8740102144 6638 33554432000 1073741824 1073778376 140735030143584 18446744073709551615 216746994585 0 4 0 16800975 18446604465217755904 0 0 -1 1 0 0 0
[pid=18236/tid=18249] ppid=18234 vsize=8535256 CPUtime=0 cores=1,3,5,7
/proc/18236/task/18249/stat : 18249 (java) S 18234 18236 18236 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947882326 8740102144 6638 33554432000 1073741824 1073778376 140735030143584 18446744073709551615 216747002289 0 4 0 16800975 18446604465217755904 0 0 -1 1 0 0 0
[pid=18236/tid=18250] ppid=18234 vsize=8535256 CPUtime=0.06 cores=1,3,5,7
/proc/18236/task/18250/stat : 18250 (java) R 18234 18236 18236 0 -1 4202560 1364 0 0 0 6 0 0 0 17 0 19 0 947882326 8740102144 6638 33554432000 1073741824 1073778376 140735030143584 18446744073709551615 47838599492299 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18236/tid=18251] ppid=18234 vsize=8535256 CPUtime=0.07 cores=1,3,5,7
/proc/18236/task/18251/stat : 18251 (java) R 18234 18236 18236 0 -1 4202560 955 0 2 0 7 0 0 0 17 0 19 0 947882326 8740102144 6638 33554432000 1073741824 1073778376 140735030143584 18446744073709551615 47838595115784 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18236/tid=18253] ppid=18234 vsize=8535256 CPUtime=0 cores=1,3,5,7
/proc/18236/task/18253/stat : 18253 (java) S 18234 18236 18236 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947882326 8740102144 6638 33554432000 1073741824 1073778376 140735030143584 18446744073709551615 216746994585 0 4 0 16800975 18446604465217755904 0 0 -1 1 0 0 0
[pid=18236/tid=18254] ppid=18234 vsize=8535256 CPUtime=0 cores=1,3,5,7
/proc/18236/task/18254/stat : 18254 (java) S 18234 18236 18236 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947882326 8740102144 6638 33554432000 1073741824 1073778376 140735030143584 18446744073709551615 216746995200 0 4 0 16800975 18446604465217755904 0 0 -1 5 0 0 0
[pid=18236/tid=18255] ppid=18234 vsize=8535256 CPUtime=0 cores=1,3,5,7
/proc/18236/task/18255/stat : 18255 (java) S 18234 18236 18236 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 947882343 8740102144 6638 33554432000 1073741824 1073778376 140735030143584 18446744073709551615 216746995200 0 4 0 16800975 18446604465217755904 0 0 -1 7 0 0 0
[pid=18226/tid=18235] ppid=18224 vsize=293140 CPUtime=0 cores=1,3,5,7
/proc/18226/task/18235/stat : 18235 (python) S 18224 18226 17508 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 947882297 300175360 7152 33554432000 4194304 5683644 140733576739680 18446744073709551615 216747002289 0 0 16781312 33554434 18446604466669619968 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 9111292
Child status: 0
Real time (s): 1.21837
CPU time (s): 1.01484
CPU user time (s): 0.886865
CPU system time (s): 0.12798
CPU usage (%): 83.295
Max. virtual memory (cumulated for all children) (KiB): 9111292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.886865
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24476
page faults= 119
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1717
involuntary context switches= 71
runsolver used 0.007998 second user time and 0.031995 second system time
The end