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-3482553-1307576441/watcher-3482553-1307576441 -o /tmp/evaluation-result-3482553-1307576441/solver-3482553-1307576441 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482553-1307576441.opb -seed 1067838095 -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.35 0.43 0.15 2/530 17912
/proc/meminfo: memFree=31579004/32951124 swapFree=49879164/67111528
[pid=17912] ppid=17910 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/17912/stat : 17912 (python) S 17910 17912 17508 0 -1 4202496 650 0 0 0 0 0 0 0 22 0 1 0 947875140 15441920 545 33554432000 4194304 5683644 140734304801632 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/17912/statm: 3770 545 312 364 0 257 0
[startup+0.0706299 s]
/proc/loadavg: 1.35 0.43 0.15 2/530 17912
/proc/meminfo: memFree=31579004/32951124 swapFree=49879164/67111528
[pid=17912] ppid=17910 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/17912/stat : 17912 (python) S 17910 17912 17508 0 -1 4202496 811 0 0 0 0 0 0 0 22 0 1 0 947875140 15749120 696 33554432000 4194304 5683644 140734304801632 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/17912/statm: 3845 696 334 364 0 332 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+0.100621 s]
/proc/loadavg: 1.35 0.43 0.15 2/530 17912
/proc/meminfo: memFree=31579004/32951124 swapFree=49879164/67111528
[pid=17912] ppid=17910 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/17912/stat : 17912 (python) S 17910 17912 17508 0 -1 4202496 928 0 0 0 0 0 0 0 22 0 1 0 947875140 16154624 807 33554432000 4194304 5683644 140734304801632 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/17912/statm: 3944 807 356 364 0 431 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15776
[startup+0.300587 s]
/proc/loadavg: 1.35 0.43 0.15 2/530 17912
/proc/meminfo: memFree=31579004/32951124 swapFree=49879164/67111528
[pid=17912] ppid=17910 vsize=25316 CPUtime=0.03 cores=1,3,5,7
/proc/17912/stat : 17912 (python) S 17910 17912 17508 0 -1 4202496 1349 0 0 0 3 0 0 0 20 0 1 0 947875140 25923584 1194 33554432000 4194304 5683644 140734304801632 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/17912/statm: 6329 1194 438 364 0 730 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25316
[startup+0.700518 s]
/proc/loadavg: 1.35 0.43 0.15 2/530 17912
/proc/meminfo: memFree=31579004/32951124 swapFree=49879164/67111528
[pid=17912] ppid=17910 vsize=101324 CPUtime=0.1 cores=1,3,5,7
/proc/17912/stat : 17912 (python) S 17910 17912 17508 0 -1 4202496 3757 931 1 0 7 3 0 0 17 0 1 0 947875140 103755776 2633 33554432000 4194304 5683644 140734304801632 18446744073709551615 216730254983 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/17912/statm: 25331 2633 822 364 0 1727 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 101324
[startup+1.50038 s]
/proc/loadavg: 1.35 0.43 0.15 2/531 17917
/proc/meminfo: memFree=31566248/32951124 swapFree=49879164/67111528
[pid=17912] ppid=17910 vsize=227000 CPUtime=0.27 cores=1,3,5,7
/proc/17912/stat : 17912 (python) S 17910 17912 17508 0 -1 4202496 7219 931 1 0 19 8 0 0 15 0 1 0 947875140 232448000 5420 33554432000 4194304 5683644 140734304801632 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/17912/statm: 56750 5420 1557 364 0 4054 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 227000
[startup+3.1011 s]
/proc/loadavg: 1.32 0.43 0.15 2/531 17917
/proc/meminfo: memFree=31555220/32951124 swapFree=49879164/67111528
[pid=17912] ppid=17910 vsize=293084 CPUtime=0.41 cores=1,3,5,7
/proc/17912/stat : 17912 (python) S 17910 17912 17508 0 -1 4202496 9629 931 1 0 32 9 0 0 16 0 2 0 947875140 300118016 7141 33554432000 4194304 5683644 140734304801632 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/17912/statm: 73271 7141 1870 364 0 8158 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 293084
heavy processes:
[startup+6.30054 s]
/proc/loadavg: 1.32 0.43 0.15 2/527 17951
/proc/meminfo: memFree=31673412/32951124 swapFree=49879164/67111528
[pid=17912] ppid=17910 vsize=293084 CPUtime=0.41 cores=1,3,5,7
/proc/17912/stat : 17912 (python) S 17910 17912 17508 0 -1 4202496 9629 931 1 0 32 9 0 0 16 0 2 0 947875140 300118016 7141 33554432000 4194304 5683644 140734304801632 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/17912/statm: 73271 7141 1870 364 0 8158 0
[pid=17945] ppid=17912 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/17945/stat : 17945 (python) S 17912 17912 17508 0 -1 4202560 873 0 0 0 0 1 0 0 16 0 1 0 947875418 289628160 5643 33554432000 4194304 5683644 140734304801632 18446744073709551615 216735198735 0 0 16781312 33554946 4390915254779871495 0 0 17 7 0 0 0
/proc/17945/statm: 70710 5643 376 364 0 5597 0
[pid=17947] ppid=17945 vsize=7976 CPUtime=3.5 cores=1,3,5,7
/proc/17947/stat : 17947 (pbct-0.1.2-linu) R 17945 17947 17947 0 -1 4202496 1860 0 0 0 262 88 0 0 25 0 1 0 947875418 8167424 1606 33554432000 134512640 136422188 4290134304 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/17947/statm: 1994 1606 213 467 0 1525 0
[pid=17912/tid=17946] ppid=17910 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/17912/task/17946/stat : 17946 (python) S 17910 17912 17508 0 -1 4202560 26 931 0 0 0 0 0 0 17 0 2 0 947875418 300118016 7141 33554432000 4194304 5683644 140734304801632 18446744073709551615 216747002289 0 0 16781312 33554434 18446604466669618176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 583900
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+7.90022 s]
/proc/loadavg: 1.29 0.44 0.15 2/531 17956
/proc/meminfo: memFree=31566828/32951124 swapFree=49879164/67111528
[pid=17912] ppid=17910 vsize=293084 CPUtime=0.41 cores=1,3,5,7
/proc/17912/stat : 17912 (python) S 17910 17912 17508 0 -1 4202496 9629 931 1 0 32 9 0 0 16 0 2 0 947875140 300118016 7141 33554432000 4194304 5683644 140734304801632 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/17912/statm: 73271 7141 1870 364 0 8158 0
[pid=17945] ppid=17912 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/17945/stat : 17945 (python) S 17912 17912 17508 0 -1 4202560 873 0 0 0 0 1 0 0 15 0 1 0 947875418 289628160 5643 33554432000 4194304 5683644 140734304801632 18446744073709551615 216735198735 0 0 16781312 33554946 4390915254779871495 0 0 17 7 0 0 0
/proc/17945/statm: 70710 5643 376 364 0 5597 0
[pid=17947] ppid=17945 vsize=7976 CPUtime=5.1 cores=1,3,5,7
/proc/17947/stat : 17947 (pbct-0.1.2-linu) R 17945 17947 17947 0 -1 4202496 1888 0 0 0 380 130 0 0 25 0 1 0 947875418 8167424 1634 33554432000 134512640 136422188 4290134304 18446744073709551615 135029188 0 0 16781312 16387 0 0 0 17 7 0 0 0
/proc/17947/statm: 1994 1634 213 467 0 1525 0
[pid=17912/tid=17946] ppid=17910 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/17912/task/17946/stat : 17946 (python) S 17910 17912 17508 0 -1 4202560 26 931 0 0 0 0 0 0 17 0 2 0 947875418 300118016 7141 33554432000 4194304 5683644 140734304801632 18446744073709551615 216747002289 0 0 16781312 33554434 18446604466669618176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.52
Current children cumulated vsize (KiB) 583900
[startup+8.70107 s]
/proc/loadavg: 1.29 0.44 0.15 3/534 17964
/proc/meminfo: memFree=31546220/32951124 swapFree=49879164/67111528
[pid=17912] ppid=17910 vsize=293084 CPUtime=0.41 cores=1,3,5,7
/proc/17912/stat : 17912 (python) S 17910 17912 17508 0 -1 4202496 9629 931 1 0 32 9 0 0 16 0 2 0 947875140 300118016 7141 33554432000 4194304 5683644 140734304801632 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/17912/statm: 73271 7141 1870 364 0 8158 0
[pid=17945] ppid=17912 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/17945/stat : 17945 (python) S 17912 17912 17508 0 -1 4202560 873 0 0 0 0 1 0 0 15 0 1 0 947875418 289628160 5643 33554432000 4194304 5683644 140734304801632 18446744073709551615 216735198735 0 0 16781312 33554946 4390915254779871495 0 0 17 7 0 0 0
/proc/17945/statm: 70710 5643 376 364 0 5597 0
[pid=17947] ppid=17945 vsize=8104 CPUtime=5.91 cores=1,3,5,7
/proc/17947/stat : 17947 (pbct-0.1.2-linu) R 17945 17947 17947 0 -1 4202496 1891 0 0 0 445 146 0 0 25 0 1 0 947875418 8298496 1637 33554432000 134512640 136422188 4290134304 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/17947/statm: 2026 1637 213 467 0 1557 0
[pid=17912/tid=17946] ppid=17910 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/17912/task/17946/stat : 17946 (python) S 17910 17912 17508 0 -1 4202560 26 931 0 0 0 0 0 0 17 0 2 0 947875418 300118016 7141 33554432000 4194304 5683644 140734304801632 18446744073709551615 216747002289 0 0 16781312 33554434 18446604466669618176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 584028
[startup+9.10105 s]
/proc/loadavg: 1.29 0.44 0.15 3/534 17964
/proc/meminfo: memFree=31546220/32951124 swapFree=49879164/67111528
[pid=17912] ppid=17910 vsize=293084 CPUtime=0.41 cores=1,3,5,7
/proc/17912/stat : 17912 (python) S 17910 17912 17508 0 -1 4202496 9629 931 1 0 32 9 0 0 16 0 2 0 947875140 300118016 7141 33554432000 4194304 5683644 140734304801632 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/17912/statm: 73271 7141 1870 364 0 8158 0
[pid=17945] ppid=17912 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/17945/stat : 17945 (python) S 17912 17912 17508 0 -1 4202560 873 0 0 0 0 1 0 0 15 0 1 0 947875418 289628160 5643 33554432000 4194304 5683644 140734304801632 18446744073709551615 216735198735 0 0 16781312 33554946 4390915254779871495 0 0 17 7 0 0 0
/proc/17945/statm: 70710 5643 376 364 0 5597 0
[pid=17947] ppid=17945 vsize=8104 CPUtime=6.29 cores=1,3,5,7
/proc/17947/stat : 17947 (pbct-0.1.2-linu) R 17945 17947 17947 0 -1 4202496 1891 0 0 0 477 152 0 0 25 0 1 0 947875418 8298496 1637 33554432000 134512640 136422188 4290134304 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/17947/statm: 2026 1637 213 467 0 1557 0
[pid=17912/tid=17946] ppid=17910 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/17912/task/17946/stat : 17946 (python) S 17910 17912 17508 0 -1 4202560 26 931 0 0 0 0 0 0 17 0 2 0 947875418 300118016 7141 33554432000 4194304 5683644 140734304801632 18446744073709551615 216747002289 0 0 16781312 33554434 18446604466669618176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.71
Current children cumulated vsize (KiB) 584028
[startup+9.20103 s]
/proc/loadavg: 1.29 0.44 0.15 3/534 17964
/proc/meminfo: memFree=31546220/32951124 swapFree=49879164/67111528
[pid=17912] ppid=17910 vsize=293084 CPUtime=0.41 cores=1,3,5,7
/proc/17912/stat : 17912 (python) S 17910 17912 17508 0 -1 4202496 9629 931 1 0 32 9 0 0 16 0 2 0 947875140 300118016 7141 33554432000 4194304 5683644 140734304801632 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/17912/statm: 73271 7141 1870 364 0 8158 0
[pid=17945] ppid=17912 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/17945/stat : 17945 (python) S 17912 17912 17508 0 -1 4202560 873 0 0 0 0 1 0 0 15 0 1 0 947875418 289628160 5643 33554432000 4194304 5683644 140734304801632 18446744073709551615 216735198735 0 0 16781312 33554946 4390915254779871495 0 0 17 7 0 0 0
/proc/17945/statm: 70710 5643 376 364 0 5597 0
[pid=17947] ppid=17945 vsize=8104 CPUtime=6.4 cores=1,3,5,7
/proc/17947/stat : 17947 (pbct-0.1.2-linu) R 17945 17947 17947 0 -1 4202496 1891 0 0 0 486 154 0 0 25 0 1 0 947875418 8298496 1637 33554432000 134512640 136422188 4290134304 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/17947/statm: 2026 1637 213 467 0 1557 0
[pid=17912/tid=17946] ppid=17910 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/17912/task/17946/stat : 17946 (python) S 17910 17912 17508 0 -1 4202560 26 931 0 0 0 0 0 0 17 0 2 0 947875418 300118016 7141 33554432000 4194304 5683644 140734304801632 18446744073709551615 216747002289 0 0 16781312 33554434 18446604466669618176 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.82
Current children cumulated vsize (KiB) 584028
Child status: 0
Real time (s): 9.24399
CPU time (s): 6.89895
CPU user time (s): 5.2342
CPU system time (s): 1.66475
CPU usage (%): 74.6317
Max. virtual memory (cumulated for all children) (KiB): 584028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.2342
system time used= 1.66475
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18046
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= 1664
involuntary context switches= 65
runsolver used 0.052991 second user time and 0.156976 second system time
The end