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-3482529-1307576430/watcher-3482529-1307576430 -o /tmp/evaluation-result-3482529-1307576430/solver-3482529-1307576430 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482529-1307576430.opb -seed 262160610 -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: 3.06 0.86 0.29 2/530 2701
/proc/meminfo: memFree=17326640/32951132 swapFree=45426552/67111528
[pid=2701] ppid=2699 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/2701/stat : 2701 (python) R 2699 2701 2587 0 -1 4202496 693 0 0 0 0 0 0 0 20 0 1 0 869241697 15548416 585 33554432000 4194304 5683644 140736013833952 18446744073709551615 242970246679 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2701/statm: 3796 587 320 364 0 283 0
[startup+0.0358359 s]
/proc/loadavg: 3.06 0.86 0.29 2/530 2701
/proc/meminfo: memFree=17326640/32951132 swapFree=45426552/67111528
[pid=2701] ppid=2699 vsize=18892 CPUtime=0.02 cores=0,2,4,6
/proc/2701/stat : 2701 (python) R 2699 2701 2587 0 -1 4202496 1284 0 0 0 1 1 0 0 17 0 1 0 869241697 19345408 1136 33554432000 4194304 5683644 140736013833952 18446744073709551615 4884776 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2701/statm: 4723 1136 421 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18892
[startup+0.10084 s]
/proc/loadavg: 3.06 0.86 0.29 2/530 2701
/proc/meminfo: memFree=17326640/32951132 swapFree=45426552/67111528
[pid=2701] ppid=2699 vsize=94068 CPUtime=0.07 cores=0,2,4,6
/proc/2701/stat : 2701 (python) R 2699 2701 2587 0 -1 4202496 2798 0 1 0 5 2 0 0 18 0 1 0 869241697 96325632 2469 33554432000 4194304 5683644 140736013833952 18446744073709551615 242970546100 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2701/statm: 23517 2473 788 364 0 1628 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 94068
[startup+0.300822 s]
/proc/loadavg: 3.06 0.86 0.29 2/530 2701
/proc/meminfo: memFree=17326640/32951132 swapFree=45426552/67111528
[pid=2701] ppid=2699 vsize=132556 CPUtime=0.21 cores=0,2,4,6
/proc/2701/stat : 2701 (python) R 2699 2701 2587 0 -1 4202496 5539 931 1 0 13 8 0 0 17 0 1 0 869241697 135737344 3890 33554432000 4194304 5683644 140736013833952 18446744073709551615 242965600808 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2701/statm: 33139 3892 1017 364 0 2870 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 132556
[startup+0.700784 s]
/proc/loadavg: 3.06 0.86 0.29 2/530 2701
/proc/meminfo: memFree=17326640/32951132 swapFree=45426552/67111528
[pid=2701] ppid=2699 vsize=293088 CPUtime=0.49 cores=0,2,4,6
/proc/2701/stat : 2701 (python) S 2699 2701 2587 0 -1 4202496 9634 931 1 0 34 15 0 0 18 0 2 0 869241697 300122112 7142 33554432000 4194304 5683644 140736013833952 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/2701/statm: 73272 7142 1870 364 0 8159 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 293088
[startup+1.50058 s]
/proc/loadavg: 2.98 0.88 0.30 3/537 2712
/proc/meminfo: memFree=17273504/32951132 swapFree=45426552/67111528
[pid=2701] ppid=2699 vsize=293088 CPUtime=0.49 cores=0,2,4,6
/proc/2701/stat : 2701 (python) S 2699 2701 2587 0 -1 4202496 9634 931 1 0 34 15 0 0 18 0 2 0 869241697 300122112 7142 33554432000 4194304 5683644 140736013833952 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/2701/statm: 73272 7142 1870 364 0 8159 0
[pid=2710] ppid=2701 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/2710/stat : 2710 (python) S 2701 2701 2587 0 -1 4202560 725 0 0 0 0 0 0 0 18 0 1 0 869241761 289632256 5620 33554432000 4194304 5683644 140736013833952 18446744073709551615 242970570255 0 0 16781312 33554946 14776343676284010755 0 0 17 6 0 0 0
/proc/2710/statm: 70711 5620 352 364 0 5598 0
[pid=2712] ppid=2710 vsize=7712 CPUtime=0.84 cores=0,2,4,6
/proc/2712/stat : 2712 (pbct-0.1.2-linu) R 2710 2712 2712 0 -1 4202496 1823 0 0 0 76 8 0 0 21 0 1 0 869241762 7897088 1567 33554432000 134512640 136422188 4289562096 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/2712/statm: 1928 1567 213 467 0 1459 0
[pid=2701/tid=2711] ppid=2699 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/2701/task/2711/stat : 2711 (python) S 2699 2701 2587 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869241762 300122112 7142 33554432000 4194304 5683644 140736013833952 18446744073709551615 242982373809 0 0 16781312 33554434 18446604448670831872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 583644
[startup+3.10034 s]
/proc/loadavg: 2.98 0.88 0.30 3/537 2712
/proc/meminfo: memFree=17271692/32951132 swapFree=45426552/67111528
[pid=2701] ppid=2699 vsize=293088 CPUtime=0.49 cores=0,2,4,6
/proc/2701/stat : 2701 (python) S 2699 2701 2587 0 -1 4202496 9634 931 1 0 34 15 0 0 18 0 2 0 869241697 300122112 7142 33554432000 4194304 5683644 140736013833952 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/2701/statm: 73272 7142 1870 364 0 8159 0
[pid=2710] ppid=2701 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/2710/stat : 2710 (python) S 2701 2701 2587 0 -1 4202560 728 0 0 0 0 0 0 0 18 0 1 0 869241761 289632256 5620 33554432000 4194304 5683644 140736013833952 18446744073709551615 242970570255 0 0 16781312 33554946 14776343676284010755 0 0 17 6 0 0 0
/proc/2710/statm: 70711 5620 352 364 0 5598 0
[pid=2712] ppid=2710 vsize=7840 CPUtime=2.44 cores=0,2,4,6
/proc/2712/stat : 2712 (pbct-0.1.2-linu) R 2710 2712 2712 0 -1 4202496 1841 0 0 0 223 21 0 0 25 0 1 0 869241762 8028160 1585 33554432000 134512640 136422188 4289562096 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/2712/statm: 1960 1585 213 467 0 1491 0
[pid=2701/tid=2711] ppid=2699 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/2701/task/2711/stat : 2711 (python) S 2699 2701 2587 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869241762 300122112 7142 33554432000 4194304 5683644 140736013833952 18446744073709551615 242982373809 0 0 16781312 33554434 18446604448670831872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 583772
[startup+6.30079 s]
/proc/loadavg: 2.98 0.88 0.30 3/537 2712
/proc/meminfo: memFree=17270720/32951132 swapFree=45426552/67111528
[pid=2701] ppid=2699 vsize=293088 CPUtime=0.49 cores=0,2,4,6
/proc/2701/stat : 2701 (python) S 2699 2701 2587 0 -1 4202496 9634 931 1 0 34 15 0 0 18 0 2 0 869241697 300122112 7142 33554432000 4194304 5683644 140736013833952 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/2701/statm: 73272 7142 1870 364 0 8159 0
[pid=2710] ppid=2701 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/2710/stat : 2710 (python) S 2701 2701 2587 0 -1 4202560 861 0 0 0 0 1 0 0 18 0 1 0 869241761 289632256 5644 33554432000 4194304 5683644 140736013833952 18446744073709551615 242970570255 0 0 16781312 33554946 4035677753813467395 0 0 17 6 0 0 0
/proc/2710/statm: 70711 5644 376 364 0 5598 0
[pid=2712] ppid=2710 vsize=7968 CPUtime=5.64 cores=0,2,4,6
/proc/2712/stat : 2712 (pbct-0.1.2-linu) R 2710 2712 2712 0 -1 4202496 1874 0 0 0 514 50 0 0 25 0 1 0 869241762 8159232 1618 33554432000 134512640 136422188 4289562096 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/2712/statm: 1992 1618 213 467 0 1523 0
[pid=2701/tid=2711] ppid=2699 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/2701/task/2711/stat : 2711 (python) S 2699 2701 2587 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869241762 300122112 7142 33554432000 4194304 5683644 140736013833952 18446744073709551615 242982373809 0 0 16781312 33554434 18446604448670831872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 583900
Solver just ended. Dumping a history of the last processes samples
[startup+7.40061 s]
/proc/loadavg: 3.14 0.95 0.33 3/537 2712
/proc/meminfo: memFree=17270596/32951132 swapFree=45426552/67111528
[pid=2701] ppid=2699 vsize=293088 CPUtime=0.49 cores=0,2,4,6
/proc/2701/stat : 2701 (python) S 2699 2701 2587 0 -1 4202496 9634 931 1 0 34 15 0 0 18 0 2 0 869241697 300122112 7142 33554432000 4194304 5683644 140736013833952 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/2701/statm: 73272 7142 1870 364 0 8159 0
[pid=2710] ppid=2701 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/2710/stat : 2710 (python) S 2701 2701 2587 0 -1 4202560 861 0 0 0 0 1 0 0 18 0 1 0 869241761 289632256 5644 33554432000 4194304 5683644 140736013833952 18446744073709551615 242970570255 0 0 16781312 33554946 4035677753813467395 0 0 17 6 0 0 0
/proc/2710/statm: 70711 5644 376 364 0 5598 0
[pid=2712] ppid=2710 vsize=7968 CPUtime=6.75 cores=0,2,4,6
/proc/2712/stat : 2712 (pbct-0.1.2-linu) R 2710 2712 2712 0 -1 4202496 1877 0 0 0 616 59 0 0 25 0 1 0 869241762 8159232 1621 33554432000 134512640 136422188 4289562096 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/2712/statm: 1992 1621 213 467 0 1523 0
[pid=2701/tid=2711] ppid=2699 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/2701/task/2711/stat : 2711 (python) S 2699 2701 2587 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869241762 300122112 7142 33554432000 4194304 5683644 140736013833952 18446744073709551615 242982373809 0 0 16781312 33554434 18446604448670831872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (KiB) 583900
[startup+7.5006 s]
/proc/loadavg: 3.14 0.95 0.33 3/537 2712
/proc/meminfo: memFree=17270596/32951132 swapFree=45426552/67111528
[pid=2701] ppid=2699 vsize=293088 CPUtime=0.49 cores=0,2,4,6
/proc/2701/stat : 2701 (python) S 2699 2701 2587 0 -1 4202496 9634 931 1 0 34 15 0 0 18 0 2 0 869241697 300122112 7142 33554432000 4194304 5683644 140736013833952 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/2701/statm: 73272 7142 1870 364 0 8159 0
[pid=2710] ppid=2701 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/2710/stat : 2710 (python) S 2701 2701 2587 0 -1 4202560 861 0 0 0 0 1 0 0 18 0 1 0 869241761 289632256 5644 33554432000 4194304 5683644 140736013833952 18446744073709551615 242970570255 0 0 16781312 33554946 4035677753813467395 0 0 17 6 0 0 0
/proc/2710/statm: 70711 5644 376 364 0 5598 0
[pid=2712] ppid=2710 vsize=7968 CPUtime=6.85 cores=0,2,4,6
/proc/2712/stat : 2712 (pbct-0.1.2-linu) R 2710 2712 2712 0 -1 4202496 1877 0 0 0 625 60 0 0 25 0 1 0 869241762 8159232 1621 33554432000 134512640 136422188 4289562096 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0
/proc/2712/statm: 1992 1621 213 467 0 1523 0
[pid=2701/tid=2711] ppid=2699 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/2701/task/2711/stat : 2711 (python) S 2699 2701 2587 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869241762 300122112 7142 33554432000 4194304 5683644 140736013833952 18446744073709551615 242982373809 0 0 16781312 33554434 18446604448670831872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.35
Current children cumulated vsize (KiB) 583900
Child status: 0
Real time (s): 7.55469
CPU time (s): 7.43287
CPU user time (s): 6.65399
CPU system time (s): 0.778881
CPU usage (%): 98.3875
Max. virtual memory (cumulated for all children) (KiB): 583900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.65399
system time used= 0.778881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18025
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= 6038
involuntary context switches= 28
runsolver used 0.046992 second user time and 0.084987 second system time
The end