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-3482528-1307576429/watcher-3482528-1307576429 -o /tmp/evaluation-result-3482528-1307576429/solver-3482528-1307576429 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482528-1307576429.opb -seed 81356269 -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: 3.06 0.86 0.29 2/525 2692
/proc/meminfo: memFree=17335524/32951132 swapFree=45426552/67111528
[pid=2692] ppid=2690 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/2692/stat : 2692 (python) R 2690 2692 2587 0 -1 4202496 711 0 0 0 0 0 0 0 20 0 1 0 869241686 15548416 603 33554432000 4194304 5683644 140735763400384 18446744073709551615 242970548224 0 2147483391 16781312 2 0 0 0 17 3 0 0 0
/proc/2692/statm: 3796 603 319 364 0 283 0
[startup+0.025409 s]
/proc/loadavg: 3.06 0.86 0.29 2/525 2692
/proc/meminfo: memFree=17335524/32951132 swapFree=45426552/67111528
[pid=2692] ppid=2690 vsize=16820 CPUtime=0.01 cores=1,3,5,7
/proc/2692/stat : 2692 (python) R 2690 2692 2587 0 -1 4202496 1210 0 0 0 1 0 0 0 20 0 1 0 869241686 17223680 1070 33554432000 4194304 5683644 140735763400384 18446744073709551615 4509181 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/2692/statm: 4205 1070 417 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16820
[startup+0.100415 s]
/proc/loadavg: 3.06 0.86 0.29 2/525 2692
/proc/meminfo: memFree=17335524/32951132 swapFree=45426552/67111528
[pid=2692] ppid=2690 vsize=94064 CPUtime=0.05 cores=1,3,5,7
/proc/2692/stat : 2692 (python) S 2690 2692 2587 0 -1 4202496 2795 0 1 0 4 1 0 0 17 0 1 0 869241686 96321536 2468 33554432000 4194304 5683644 140735763400384 18446744073709551615 242970550016 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 0
/proc/2692/statm: 23516 2468 788 364 0 1627 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 94064
[startup+0.300369 s]
/proc/loadavg: 3.06 0.86 0.29 2/525 2692
/proc/meminfo: memFree=17335524/32951132 swapFree=45426552/67111528
[pid=2692] ppid=2690 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/2692/stat : 2692 (python) S 2690 2692 2587 0 -1 4202496 5357 927 1 0 12 5 0 0 17 0 1 0 869241686 126709760 3744 33554432000 4194304 5683644 140735763400384 18446744073709551615 242970546181 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/2692/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.7003 s]
/proc/loadavg: 3.06 0.86 0.29 2/525 2692
/proc/meminfo: memFree=17335524/32951132 swapFree=45426552/67111528
[pid=2692] ppid=2690 vsize=273716 CPUtime=0.42 cores=1,3,5,7
/proc/2692/stat : 2692 (python) R 2690 2692 2587 0 -1 4202496 8809 927 1 0 29 13 0 0 16 0 1 0 869241686 280285184 6759 33554432000 4194304 5683644 140735763400384 18446744073709551615 4868289 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/2692/statm: 68429 6759 1720 364 0 5462 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 273716
[startup+1.50119 s]
/proc/loadavg: 2.98 0.88 0.30 3/537 2712
/proc/meminfo: memFree=17274620/32951132 swapFree=45426552/67111528
[pid=2692] ppid=2690 vsize=293084 CPUtime=0.48 cores=1,3,5,7
/proc/2692/stat : 2692 (python) S 2690 2692 2587 0 -1 4202496 9634 927 1 0 34 14 0 0 18 0 2 0 869241686 300118016 7141 33554432000 4194304 5683644 140735763400384 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2692/statm: 73271 7141 1870 364 0 8158 0
[pid=2707] ppid=2692 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/2707/stat : 2707 (python) S 2692 2692 2587 0 -1 4202560 727 0 0 0 0 0 0 0 17 0 1 0 869241761 289628160 5619 33554432000 4194304 5683644 140735763400384 18446744073709551615 242970570255 0 0 16781312 33554946 3907478958622343428 0 0 17 7 0 0 0
/proc/2707/statm: 70710 5619 352 364 0 5597 0
[pid=2709] ppid=2707 vsize=7712 CPUtime=0.74 cores=1,3,5,7
/proc/2709/stat : 2709 (pbct-0.1.2-linu) R 2707 2709 2709 0 -1 4202496 1807 0 0 0 62 12 0 0 20 0 1 0 869241761 7897088 1551 33554432000 134512640 136422188 4291560368 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/2709/statm: 1928 1551 213 467 0 1459 0
[pid=2692/tid=2708] ppid=2690 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/2692/task/2708/stat : 2708 (python) S 2690 2692 2587 0 -1 4202560 25 927 0 0 0 0 0 0 18 0 2 0 869241761 300118016 7141 33554432000 4194304 5683644 140735763400384 18446744073709551615 242982373809 0 0 16781312 33554434 18446604461156168896 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 583636
[startup+3.10093 s]
/proc/loadavg: 2.98 0.88 0.30 3/537 2712
/proc/meminfo: memFree=17271816/32951132 swapFree=45426552/67111528
[pid=2692] ppid=2690 vsize=293084 CPUtime=0.48 cores=1,3,5,7
/proc/2692/stat : 2692 (python) S 2690 2692 2587 0 -1 4202496 9634 927 1 0 34 14 0 0 18 0 2 0 869241686 300118016 7141 33554432000 4194304 5683644 140735763400384 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2692/statm: 73271 7141 1870 364 0 8158 0
[pid=2707] ppid=2692 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/2707/stat : 2707 (python) S 2692 2692 2587 0 -1 4202560 729 0 0 0 0 0 0 0 15 0 1 0 869241761 289628160 5619 33554432000 4194304 5683644 140735763400384 18446744073709551615 242970570255 0 0 16781312 33554946 3907478958622343428 0 0 17 7 0 0 0
/proc/2707/statm: 70710 5619 352 364 0 5597 0
[pid=2709] ppid=2707 vsize=7968 CPUtime=2.34 cores=1,3,5,7
/proc/2709/stat : 2709 (pbct-0.1.2-linu) R 2707 2709 2709 0 -1 4202496 1865 0 0 0 196 38 0 0 25 0 1 0 869241761 8159232 1609 33554432000 134512640 136422188 4291560368 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/2709/statm: 1992 1609 213 467 0 1523 0
[pid=2692/tid=2708] ppid=2690 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/2692/task/2708/stat : 2708 (python) S 2690 2692 2587 0 -1 4202560 25 927 0 0 0 0 0 0 18 0 2 0 869241761 300118016 7141 33554432000 4194304 5683644 140735763400384 18446744073709551615 242982373809 0 0 16781312 33554434 18446604461156168896 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 583892
[startup+6.30036 s]
/proc/loadavg: 2.98 0.88 0.30 3/537 2712
/proc/meminfo: memFree=17270588/32951132 swapFree=45426552/67111528
[pid=2692] ppid=2690 vsize=293084 CPUtime=0.48 cores=1,3,5,7
/proc/2692/stat : 2692 (python) S 2690 2692 2587 0 -1 4202496 9634 927 1 0 34 14 0 0 18 0 2 0 869241686 300118016 7141 33554432000 4194304 5683644 140735763400384 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2692/statm: 73271 7141 1870 364 0 8158 0
[pid=2707] ppid=2692 vsize=282840 CPUtime=0.02 cores=1,3,5,7
/proc/2707/stat : 2707 (python) S 2692 2692 2587 0 -1 4202560 872 0 0 0 1 1 0 0 15 0 1 0 869241761 289628160 5643 33554432000 4194304 5683644 140735763400384 18446744073709551615 242970570255 0 0 16781312 33554946 3907480470450831620 0 0 17 7 0 0 0
/proc/2707/statm: 70710 5643 376 364 0 5597 0
[pid=2709] ppid=2707 vsize=7968 CPUtime=5.47 cores=1,3,5,7
/proc/2709/stat : 2709 (pbct-0.1.2-linu) R 2707 2709 2709 0 -1 4202496 1888 0 0 0 450 97 0 0 25 0 1 0 869241761 8159232 1632 33554432000 134512640 136422188 4291560368 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/2709/statm: 1992 1632 213 467 0 1523 0
[pid=2692/tid=2708] ppid=2690 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/2692/task/2708/stat : 2708 (python) S 2690 2692 2587 0 -1 4202560 25 927 0 0 0 0 0 0 18 0 2 0 869241761 300118016 7141 33554432000 4194304 5683644 140735763400384 18446744073709551615 242982373809 0 0 16781312 33554434 18446604461156168896 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 583892
Solver just ended. Dumping a history of the last processes samples
[startup+7.60114 s]
/proc/loadavg: 3.14 0.95 0.33 3/537 2712
/proc/meminfo: memFree=17270596/32951132 swapFree=45426552/67111528
[pid=2692] ppid=2690 vsize=293084 CPUtime=0.48 cores=1,3,5,7
/proc/2692/stat : 2692 (python) S 2690 2692 2587 0 -1 4202496 9634 927 1 0 34 14 0 0 18 0 2 0 869241686 300118016 7141 33554432000 4194304 5683644 140735763400384 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2692/statm: 73271 7141 1870 364 0 8158 0
[pid=2707] ppid=2692 vsize=282840 CPUtime=0.02 cores=1,3,5,7
/proc/2707/stat : 2707 (python) S 2692 2692 2587 0 -1 4202560 872 0 0 0 1 1 0 0 15 0 1 0 869241761 289628160 5643 33554432000 4194304 5683644 140735763400384 18446744073709551615 242970570255 0 0 16781312 33554946 3907480470450831620 0 0 17 7 0 0 0
/proc/2707/statm: 70710 5643 376 364 0 5597 0
[pid=2709] ppid=2707 vsize=8096 CPUtime=6.77 cores=1,3,5,7
/proc/2709/stat : 2709 (pbct-0.1.2-linu) R 2707 2709 2709 0 -1 4202496 1895 0 0 0 558 119 0 0 25 0 1 0 869241761 8290304 1639 33554432000 134512640 136422188 4291560368 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/2709/statm: 2024 1639 213 467 0 1555 0
[pid=2692/tid=2708] ppid=2690 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/2692/task/2708/stat : 2708 (python) S 2690 2692 2587 0 -1 4202560 25 927 0 0 0 0 0 0 18 0 2 0 869241761 300118016 7141 33554432000 4194304 5683644 140735763400384 18446744073709551615 242982373809 0 0 16781312 33554434 18446604461156168896 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 584020
[startup+7.80111 s]
/proc/loadavg: 3.14 0.95 0.33 3/537 2712
/proc/meminfo: memFree=17270596/32951132 swapFree=45426552/67111528
[pid=2692] ppid=2690 vsize=293084 CPUtime=0.48 cores=1,3,5,7
/proc/2692/stat : 2692 (python) S 2690 2692 2587 0 -1 4202496 9634 927 1 0 34 14 0 0 18 0 2 0 869241686 300118016 7141 33554432000 4194304 5683644 140735763400384 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2692/statm: 73271 7141 1870 364 0 8158 0
[pid=2707] ppid=2692 vsize=282840 CPUtime=0.02 cores=1,3,5,7
/proc/2707/stat : 2707 (python) S 2692 2692 2587 0 -1 4202560 872 0 0 0 1 1 0 0 15 0 1 0 869241761 289628160 5643 33554432000 4194304 5683644 140735763400384 18446744073709551615 242970570255 0 0 16781312 33554946 3907480470450831620 0 0 17 7 0 0 0
/proc/2707/statm: 70710 5643 376 364 0 5597 0
[pid=2709] ppid=2707 vsize=8096 CPUtime=6.97 cores=1,3,5,7
/proc/2709/stat : 2709 (pbct-0.1.2-linu) R 2707 2709 2709 0 -1 4202496 1895 0 0 0 573 124 0 0 25 0 1 0 869241761 8290304 1639 33554432000 134512640 136422188 4291560368 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/2709/statm: 2024 1639 213 467 0 1555 0
[pid=2692/tid=2708] ppid=2690 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/2692/task/2708/stat : 2708 (python) S 2690 2692 2587 0 -1 4202560 25 927 0 0 0 0 0 0 18 0 2 0 869241761 300118016 7141 33554432000 4194304 5683644 140735763400384 18446744073709551615 242982373809 0 0 16781312 33554434 18446604461156168896 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 584020
Child status: 0
Real time (s): 7.89446
CPU time (s): 7.59085
CPU user time (s): 6.15906
CPU system time (s): 1.43178
CPU usage (%): 96.154
Max. virtual memory (cumulated for all children) (KiB): 584020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.15906
system time used= 1.43178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18053
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= 7022
involuntary context switches= 47
runsolver used 0.038994 second user time and 0.113982 second system time
The end