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-3482527-1307576429/watcher-3482527-1307576429 -o /tmp/evaluation-result-3482527-1307576429/solver-3482527-1307576429 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482527-1307576429.opb -seed 717738632 -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.25 0.36 0.12 3/446 25913
/proc/meminfo: memFree=30012356/32950928 swapFree=52246700/67111528
[pid=25913] ppid=25911 vsize=15780 CPUtime=0 cores=0,2,4,6
/proc/25913/stat : 25913 (python) R 25911 25913 25621 0 -1 4202496 904 0 0 0 0 0 0 0 17 0 1 0 947873675 16158720 785 33554432000 4194304 5683644 140734231777456 18446744073709551615 231895490304 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/25913/statm: 3945 790 346 364 0 432 0
[startup+0.100978 s]
/proc/loadavg: 1.25 0.36 0.12 3/446 25913
/proc/meminfo: memFree=30012356/32950928 swapFree=52246700/67111528
[pid=25913] ppid=25911 vsize=96128 CPUtime=0.06 cores=0,2,4,6
/proc/25913/stat : 25913 (python) R 25911 25913 25621 0 -1 4202496 3169 930 1 0 5 1 0 0 18 0 1 0 947873675 98435072 2484 33554432000 4194304 5683644 140734231777456 18446744073709551615 5158152 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/25913/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.200998 s]
/proc/loadavg: 1.25 0.36 0.12 3/446 25913
/proc/meminfo: memFree=30012356/32950928 swapFree=52246700/67111528
[pid=25913] ppid=25911 vsize=123740 CPUtime=0.12 cores=0,2,4,6
/proc/25913/stat : 25913 (python) S 25911 25913 25621 0 -1 4202496 5356 930 1 0 10 2 0 0 17 0 1 0 947873675 126709760 3743 33554432000 4194304 5683644 140734231777456 18446744073709551615 231895486469 0 2147483391 16781312 2 18446744071699215550 0 0 17 4 0 0 0
/proc/25913/statm: 30935 3743 987 364 0 2767 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 123740
[startup+0.300999 s]
/proc/loadavg: 1.25 0.36 0.12 3/446 25913
/proc/meminfo: memFree=30012356/32950928 swapFree=52246700/67111528
[pid=25913] ppid=25911 vsize=123740 CPUtime=0.16 cores=0,2,4,6
/proc/25913/stat : 25913 (python) R 25911 25913 25621 0 -1 4202496 5359 930 1 0 12 4 0 0 16 0 1 0 947873675 126709760 3746 33554432000 4194304 5683644 140734231777456 18446744073709551615 231895486469 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/25913/statm: 30935 3746 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.700944 s]
/proc/loadavg: 1.25 0.36 0.12 3/446 25913
/proc/meminfo: memFree=30012356/32950928 swapFree=52246700/67111528
[pid=25913] ppid=25911 vsize=268664 CPUtime=0.32 cores=0,2,4,6
/proc/25913/stat : 25913 (python) D 25911 25913 25621 0 -1 4202496 8704 930 1 0 26 6 0 0 16 0 1 0 947873675 275111936 6672 33554432000 4194304 5683644 140734231777456 18446744073709551615 231895496247 0 0 16781312 2 18446744071562154983 0 0 17 0 0 0 0
/proc/25913/statm: 67166 6672 1704 364 0 5314 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 268664
[startup+1.51978 s]
/proc/loadavg: 1.25 0.36 0.12 3/446 25913
/proc/meminfo: memFree=30012356/32950928 swapFree=52246700/67111528
[pid=25913] ppid=25911 vsize=293088 CPUtime=0.38 cores=0,2,4,6
/proc/25913/stat : 25913 (python) S 25911 25913 25621 0 -1 4202496 9634 930 1 0 32 6 0 0 18 0 2 0 947873675 300122112 7143 33554432000 4194304 5683644 140734231777456 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 71
/proc/25913/statm: 73272 7143 1870 364 0 8159 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 293088
[startup+3.10047 s]
/proc/loadavg: 1.25 0.36 0.12 3/450 25921
/proc/meminfo: memFree=29981260/32950928 swapFree=52246700/67111528
[pid=25913] ppid=25911 vsize=293088 CPUtime=0.38 cores=0,2,4,6
/proc/25913/stat : 25913 (python) S 25911 25913 25621 0 -1 4202496 9634 930 1 0 32 6 0 0 18 0 2 0 947873675 300122112 7143 33554432000 4194304 5683644 140734231777456 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 71
/proc/25913/statm: 73272 7143 1870 364 0 8159 0
[pid=25919] ppid=25913 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/25919/stat : 25919 (python) S 25913 25913 25621 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 947873807 289632256 5621 33554432000 4194304 5683644 140734231777456 18446744073709551615 231895510543 0 0 16781312 33554946 2360663872995557634 0 0 17 0 0 0 0
/proc/25919/statm: 70711 5621 352 364 0 5598 0
[pid=25921] ppid=25919 vsize=7844 CPUtime=1.77 cores=0,2,4,6
/proc/25921/stat : 25921 (pbct-0.1.2-linu) R 25919 25921 25921 0 -1 4202496 1852 0 0 0 163 14 0 0 25 0 1 0 947873807 8032256 1596 33554432000 134512640 136422188 4290217376 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/25921/statm: 1961 1596 213 467 0 1492 0
[pid=25913/tid=25920] ppid=25911 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/25913/task/25920/stat : 25920 (python) S 25911 25913 25621 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 2 0 947873807 300122112 7143 33554432000 4194304 5683644 140734231777456 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 583776
heavy processes:
[startup+6.31587 s]
/proc/loadavg: 1.31 0.39 0.13 3/443 25944
/proc/meminfo: memFree=30091424/32950928 swapFree=52246700/67111528
[pid=25913] ppid=25911 vsize=293088 CPUtime=0.38 cores=0,2,4,6
/proc/25913/stat : 25913 (python) S 25911 25913 25621 0 -1 4202496 9634 930 1 0 32 6 0 0 18 0 2 0 947873675 300122112 7143 33554432000 4194304 5683644 140734231777456 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 71
/proc/25913/statm: 73272 7143 1870 364 0 8159 0
[pid=25919] ppid=25913 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/25919/stat : 25919 (python) S 25913 25913 25621 0 -1 4202560 859 0 0 0 0 1 0 0 18 0 1 0 947873807 289632256 5645 33554432000 4194304 5683644 140734231777456 18446744073709551615 231895510543 0 0 16781312 33554946 2360672188052242690 0 0 17 0 0 0 0
/proc/25919/statm: 70711 5645 376 364 0 5598 0
[pid=25921] ppid=25919 vsize=8104 CPUtime=4.98 cores=0,2,4,6
/proc/25921/stat : 25921 (pbct-0.1.2-linu) R 25919 25921 25921 0 -1 4202496 1892 0 0 0 458 40 0 0 25 0 1 0 947873807 8298496 1636 33554432000 134512640 136422188 4290217376 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/25921/statm: 2026 1636 213 467 0 1557 0
[pid=25913/tid=25920] ppid=25911 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/25913/task/25920/stat : 25920 (python) S 25911 25913 25621 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 2 0 947873807 300122112 7143 33554432000 4194304 5683644 140734231777456 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 584036
Solver just ended. Dumping a history of the last processes samples
[startup+7.10071 s]
/proc/loadavg: 1.31 0.39 0.13 3/443 25944
/proc/meminfo: memFree=30091424/32950928 swapFree=52246700/67111528
[pid=25913] ppid=25911 vsize=293088 CPUtime=0.38 cores=0,2,4,6
/proc/25913/stat : 25913 (python) S 25911 25913 25621 0 -1 4202496 9634 930 1 0 32 6 0 0 18 0 2 0 947873675 300122112 7143 33554432000 4194304 5683644 140734231777456 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 71
/proc/25913/statm: 73272 7143 1870 364 0 8159 0
[pid=25919] ppid=25913 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/25919/stat : 25919 (python) S 25913 25913 25621 0 -1 4202560 859 0 0 0 0 1 0 0 18 0 1 0 947873807 289632256 5645 33554432000 4194304 5683644 140734231777456 18446744073709551615 231895510543 0 0 16781312 33554946 2360672188052242690 0 0 17 0 0 0 0
/proc/25919/statm: 70711 5645 376 364 0 5598 0
[pid=25921] ppid=25919 vsize=8104 CPUtime=5.77 cores=0,2,4,6
/proc/25921/stat : 25921 (pbct-0.1.2-linu) R 25919 25921 25921 0 -1 4202496 1913 0 0 0 530 47 0 0 25 0 1 0 947873807 8298496 1657 33554432000 134512640 136422188 4290217376 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/25921/statm: 2026 1657 213 467 0 1557 0
[pid=25913/tid=25920] ppid=25911 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/25913/task/25920/stat : 25920 (python) S 25911 25913 25621 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 2 0 947873807 300122112 7143 33554432000 4194304 5683644 140734231777456 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 584036
[startup+8.70041 s]
/proc/loadavg: 1.31 0.39 0.13 3/450 25956
/proc/meminfo: memFree=29981400/32950928 swapFree=52246700/67111528
[pid=25913] ppid=25911 vsize=293088 CPUtime=0.38 cores=0,2,4,6
/proc/25913/stat : 25913 (python) S 25911 25913 25621 0 -1 4202496 9634 930 1 0 32 6 0 0 18 0 2 0 947873675 300122112 7143 33554432000 4194304 5683644 140734231777456 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 71
/proc/25913/statm: 73272 7143 1870 364 0 8159 0
[pid=25919] ppid=25913 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/25919/stat : 25919 (python) S 25913 25913 25621 0 -1 4202560 859 0 0 0 0 1 0 0 18 0 1 0 947873807 289632256 5645 33554432000 4194304 5683644 140734231777456 18446744073709551615 231895510543 0 0 16781312 33554946 2360672188052242690 0 0 17 0 0 0 0
/proc/25919/statm: 70711 5645 376 364 0 5598 0
[pid=25921] ppid=25919 vsize=8104 CPUtime=7.37 cores=0,2,4,6
/proc/25921/stat : 25921 (pbct-0.1.2-linu) R 25919 25921 25921 0 -1 4202496 1913 0 0 0 677 60 0 0 25 0 1 0 947873807 8298496 1657 33554432000 134512640 136422188 4290217376 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/25921/statm: 2026 1657 213 467 0 1557 0
[pid=25913/tid=25920] ppid=25911 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/25913/task/25920/stat : 25920 (python) S 25911 25913 25621 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 2 0 947873807 300122112 7143 33554432000 4194304 5683644 140734231777456 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 584036
[startup+9.50125 s]
/proc/loadavg: 1.36 0.41 0.14 3/450 25956
/proc/meminfo: memFree=29981276/32950928 swapFree=52246700/67111528
[pid=25913] ppid=25911 vsize=293088 CPUtime=0.38 cores=0,2,4,6
/proc/25913/stat : 25913 (python) S 25911 25913 25621 0 -1 4202496 9634 930 1 0 32 6 0 0 18 0 2 0 947873675 300122112 7143 33554432000 4194304 5683644 140734231777456 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 71
/proc/25913/statm: 73272 7143 1870 364 0 8159 0
[pid=25919] ppid=25913 vsize=282844 CPUtime=0.03 cores=0,2,4,6
/proc/25919/stat : 25919 (python) S 25913 25913 25621 0 -1 4202560 865 0 0 0 2 1 0 0 18 0 1 0 947873807 289632256 5645 33554432000 4194304 5683644 140734231777456 18446744073709551615 231895510543 0 0 16781312 33554946 72114768642583325 0 0 17 0 0 0 0
/proc/25919/statm: 70711 5645 376 364 0 5598 0
[pid=25921] ppid=25919 vsize=8104 CPUtime=8.18 cores=0,2,4,6
/proc/25921/stat : 25921 (pbct-0.1.2-linu) R 25919 25921 25921 0 -1 4202496 1913 0 0 0 752 66 0 0 25 0 1 0 947873807 8298496 1657 33554432000 134512640 136422188 4290217376 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/25921/statm: 2026 1657 213 467 0 1557 0
[pid=25913/tid=25920] ppid=25911 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/25913/task/25920/stat : 25920 (python) S 25911 25913 25621 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 2 0 947873807 300122112 7143 33554432000 4194304 5683644 140734231777456 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.59
Current children cumulated vsize (KiB) 584036
[startup+9.90118 s]
/proc/loadavg: 1.36 0.41 0.14 3/450 25956
/proc/meminfo: memFree=29981276/32950928 swapFree=52246700/67111528
[pid=25913] ppid=25911 vsize=293088 CPUtime=0.38 cores=0,2,4,6
/proc/25913/stat : 25913 (python) S 25911 25913 25621 0 -1 4202496 9634 930 1 0 32 6 0 0 18 0 2 0 947873675 300122112 7143 33554432000 4194304 5683644 140734231777456 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 71
/proc/25913/statm: 73272 7143 1870 364 0 8159 0
[pid=25919] ppid=25913 vsize=282844 CPUtime=0.03 cores=0,2,4,6
/proc/25919/stat : 25919 (python) S 25913 25913 25621 0 -1 4202560 865 0 0 0 2 1 0 0 18 0 1 0 947873807 289632256 5645 33554432000 4194304 5683644 140734231777456 18446744073709551615 231895510543 0 0 16781312 33554946 72114768642583325 0 0 17 0 0 0 0
/proc/25919/statm: 70711 5645 376 364 0 5598 0
[pid=25921] ppid=25919 vsize=8104 CPUtime=8.56 cores=0,2,4,6
/proc/25921/stat : 25921 (pbct-0.1.2-linu) R 25919 25921 25921 0 -1 4202496 1913 0 0 0 788 68 0 0 25 0 1 0 947873807 8298496 1657 33554432000 134512640 136422188 4290217376 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/25921/statm: 2026 1657 213 467 0 1557 0
[pid=25913/tid=25920] ppid=25911 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/25913/task/25920/stat : 25920 (python) S 25911 25913 25621 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 2 0 947873807 300122112 7143 33554432000 4194304 5683644 140734231777456 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.97
Current children cumulated vsize (KiB) 584036
[startup+10.1012 s]
/proc/loadavg: 1.36 0.41 0.14 3/450 25956
/proc/meminfo: memFree=29981276/32950928 swapFree=52246700/67111528
[pid=25913] ppid=25911 vsize=293088 CPUtime=0.38 cores=0,2,4,6
/proc/25913/stat : 25913 (python) S 25911 25913 25621 0 -1 4202496 9634 930 1 0 32 6 0 0 18 0 2 0 947873675 300122112 7143 33554432000 4194304 5683644 140734231777456 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 71
/proc/25913/statm: 73272 7143 1870 364 0 8159 0
[pid=25919] ppid=25913 vsize=282844 CPUtime=0.03 cores=0,2,4,6
/proc/25919/stat : 25919 (python) S 25913 25913 25621 0 -1 4202560 865 0 0 0 2 1 0 0 18 0 1 0 947873807 289632256 5645 33554432000 4194304 5683644 140734231777456 18446744073709551615 231895510543 0 0 16781312 33554946 72114768642583325 0 0 17 0 0 0 0
/proc/25919/statm: 70711 5645 376 364 0 5598 0
[pid=25921] ppid=25919 vsize=8104 CPUtime=8.77 cores=0,2,4,6
/proc/25921/stat : 25921 (pbct-0.1.2-linu) R 25919 25921 25921 0 -1 4202496 1913 0 0 0 807 70 0 0 25 0 1 0 947873807 8298496 1657 33554432000 134512640 136422188 4290217376 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 2 0 0 0
/proc/25921/statm: 2026 1657 213 467 0 1557 0
[pid=25913/tid=25920] ppid=25911 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/25913/task/25920/stat : 25920 (python) S 25911 25913 25621 0 -1 4202560 29 930 0 0 0 0 0 0 18 0 2 0 947873807 300122112 7143 33554432000 4194304 5683644 140734231777456 18446744073709551615 231907314097 0 0 16781312 33554434 18446604444242701312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.18
Current children cumulated vsize (KiB) 584036
[startup+10.2011 s]
/proc/loadavg: 1.36 0.41 0.14 3/450 25956
/proc/meminfo: memFree=29981276/32950928 swapFree=52246700/67111528
[pid=25913] ppid=25911 vsize=0 CPUtime=9.3 cores=0,2,4,6
/proc/25913/stat : 25913 (python) R 25911 25913 25621 0 -1 4202500 14032 4032 1 0 34 7 816 73 17 0 1 0 947873675 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 71
/proc/25913/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.3
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 10.2023
CPU time (s): 9.32458
CPU user time (s): 8.51271
CPU system time (s): 0.811876
CPU usage (%): 91.3972
Max. virtual memory (cumulated for all children) (KiB): 584036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.51271
system time used= 0.811876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18064
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= 1639
involuntary context switches= 23
runsolver used 0.056991 second user time and 0.095985 second system time
The end