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-3482492-1307576409/watcher-3482492-1307576409 -o /tmp/evaluation-result-3482492-1307576409/solver-3482492-1307576409 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482492-1307576409.opb -seed 1300517719 -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: 0.85 0.22 0.07 2/440 15175
/proc/meminfo: memFree=24704572/32951124 swapFree=50923800/67111528
[pid=15175] ppid=15173 vsize=15908 CPUtime=0 cores=0,2,4,6
/proc/15175/stat : 15175 (python) S 15173 15175 15040 0 -1 4202496 958 0 0 0 0 0 0 0 17 0 1 0 850056627 16289792 834 33554432000 4194304 5683644 140734293039328 18446744073709551615 270338381824 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/15175/statm: 3977 834 357 364 0 464 0
[startup+0.0577891 s]
/proc/loadavg: 0.85 0.22 0.07 2/440 15175
/proc/meminfo: memFree=24704572/32951124 swapFree=50923800/67111528
[pid=15175] ppid=15173 vsize=34424 CPUtime=0.03 cores=0,2,4,6
/proc/15175/stat : 15175 (python) R 15173 15175 15040 0 -1 4202496 1552 0 0 0 3 0 0 0 17 0 1 0 850056627 35250176 1388 33554432000 4194304 5683644 140734293039328 18446744073709551615 270338381824 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15175/statm: 8606 1388 448 364 0 944 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 34424
[startup+0.100757 s]
/proc/loadavg: 0.85 0.22 0.07 2/440 15175
/proc/meminfo: memFree=24704572/32951124 swapFree=50923800/67111528
[pid=15175] ppid=15173 vsize=96124 CPUtime=0.06 cores=0,2,4,6
/proc/15175/stat : 15175 (python) R 15173 15175 15040 0 -1 4202496 3001 467 1 0 5 1 0 0 18 0 1 0 850056627 98430976 2483 33554432000 4194304 5683644 140734293039328 18446744073709551615 270338204053 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15175/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.300777 s]
/proc/loadavg: 0.85 0.22 0.07 2/440 15175
/proc/meminfo: memFree=24704572/32951124 swapFree=50923800/67111528
[pid=15175] ppid=15173 vsize=123740 CPUtime=0.15 cores=0,2,4,6
/proc/15175/stat : 15175 (python) R 15173 15175 15040 0 -1 4202496 5359 931 1 0 11 4 0 0 17 0 1 0 850056627 126709760 3746 33554432000 4194304 5683644 140734293039328 18446744073709551615 270338379781 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15175/statm: 30935 3746 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.700689 s]
/proc/loadavg: 0.85 0.22 0.07 2/440 15175
/proc/meminfo: memFree=24704572/32951124 swapFree=50923800/67111528
[pid=15175] ppid=15173 vsize=293084 CPUtime=0.38 cores=0,2,4,6
/proc/15175/stat : 15175 (python) S 15173 15175 15040 0 -1 4202496 9628 931 1 0 30 8 0 0 18 0 2 0 850056627 300118016 7141 33554432000 4194304 5683644 140734293039328 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15175/statm: 73271 7141 1870 364 0 8158 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 293084
[startup+1.50053 s]
/proc/loadavg: 0.94 0.25 0.08 3/444 15183
/proc/meminfo: memFree=24674408/32951124 swapFree=50923800/67111528
[pid=15175] ppid=15173 vsize=293084 CPUtime=0.38 cores=0,2,4,6
/proc/15175/stat : 15175 (python) S 15173 15175 15040 0 -1 4202496 9628 931 1 0 30 8 0 0 18 0 2 0 850056627 300118016 7141 33554432000 4194304 5683644 140734293039328 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15175/statm: 73271 7141 1870 364 0 8158 0
[pid=15181] ppid=15175 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/15181/stat : 15181 (python) S 15175 15175 15040 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 1 0 850056693 289628160 5619 33554432000 4194304 5683644 140734293039328 18446744073709551615 270338403855 0 0 16781312 33554946 5780445614370160899 0 0 17 2 0 0 0
/proc/15181/statm: 70710 5619 352 364 0 5597 0
[pid=15183] ppid=15181 vsize=7716 CPUtime=0.83 cores=0,2,4,6
/proc/15183/stat : 15183 (pbct-0.1.2-linu) R 15181 15183 15183 0 -1 4202496 1798 0 0 0 75 8 0 0 21 0 1 0 850056693 7901184 1543 33554432000 134512640 136422188 4291522416 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/15183/statm: 1929 1543 213 467 0 1460 0
[pid=15175/tid=15182] ppid=15173 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/15175/task/15182/stat : 15182 (python) S 15173 15175 15040 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 850056693 300118016 7141 33554432000 4194304 5683644 140734293039328 18446744073709551615 270350207409 0 0 16781312 33554434 18446604446284288256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 583640
[startup+3.10116 s]
/proc/loadavg: 0.94 0.25 0.08 3/444 15183
/proc/meminfo: memFree=24673788/32951124 swapFree=50923800/67111528
[pid=15175] ppid=15173 vsize=293084 CPUtime=0.38 cores=0,2,4,6
/proc/15175/stat : 15175 (python) S 15173 15175 15040 0 -1 4202496 9628 931 1 0 30 8 0 0 18 0 2 0 850056627 300118016 7141 33554432000 4194304 5683644 140734293039328 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15175/statm: 73271 7141 1870 364 0 8158 0
[pid=15181] ppid=15175 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/15181/stat : 15181 (python) S 15175 15175 15040 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 850056693 289628160 5619 33554432000 4194304 5683644 140734293039328 18446744073709551615 270338403855 0 0 16781312 33554946 5780445614370160899 0 0 17 2 0 0 0
/proc/15181/statm: 70710 5619 352 364 0 5597 0
[pid=15183] ppid=15181 vsize=7972 CPUtime=2.43 cores=0,2,4,6
/proc/15183/stat : 15183 (pbct-0.1.2-linu) R 15181 15183 15183 0 -1 4202496 1863 0 0 0 221 22 0 0 25 0 1 0 850056693 8163328 1608 33554432000 134512640 136422188 4291522416 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/15183/statm: 1993 1608 213 467 0 1524 0
[pid=15175/tid=15182] ppid=15173 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/15175/task/15182/stat : 15182 (python) S 15173 15175 15040 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 850056693 300118016 7141 33554432000 4194304 5683644 140734293039328 18446744073709551615 270350207409 0 0 16781312 33554434 18446604446284288256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 583896
Solver just ended. Dumping a history of the last processes samples
[startup+4.70087 s]
/proc/loadavg: 0.94 0.25 0.08 3/444 15183
/proc/meminfo: memFree=24675444/32951124 swapFree=50923800/67111528
[pid=15175] ppid=15173 vsize=293084 CPUtime=0.38 cores=0,2,4,6
/proc/15175/stat : 15175 (python) S 15173 15175 15040 0 -1 4202496 9628 931 1 0 30 8 0 0 18 0 2 0 850056627 300118016 7141 33554432000 4194304 5683644 140734293039328 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15175/statm: 73271 7141 1870 364 0 8158 0
[pid=15181] ppid=15175 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/15181/stat : 15181 (python) S 15175 15175 15040 0 -1 4202560 868 0 0 0 0 1 0 0 18 0 1 0 850056693 289628160 5643 33554432000 4194304 5683644 140734293039328 18446744073709551615 270338403855 0 0 16781312 33554946 5780444102541672707 0 0 17 2 0 0 0
/proc/15181/statm: 70710 5643 376 364 0 5597 0
[pid=15183] ppid=15181 vsize=7972 CPUtime=4.04 cores=0,2,4,6
/proc/15183/stat : 15183 (pbct-0.1.2-linu) R 15181 15183 15183 0 -1 4202496 1877 0 0 0 368 36 0 0 25 0 1 0 850056693 8163328 1622 33554432000 134512640 136422188 4291522416 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/15183/statm: 1993 1622 213 467 0 1524 0
[pid=15175/tid=15182] ppid=15173 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/15175/task/15182/stat : 15182 (python) S 15173 15175 15040 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 850056693 300118016 7141 33554432000 4194304 5683644 140734293039328 18446744073709551615 270350207409 0 0 16781312 33554434 18446604446284288256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 583896
[startup+5.51571 s]
/proc/loadavg: 0.94 0.25 0.08 3/444 15183
/proc/meminfo: memFree=24675768/32951124 swapFree=50923800/67111528
[pid=15175] ppid=15173 vsize=293084 CPUtime=0.38 cores=0,2,4,6
/proc/15175/stat : 15175 (python) S 15173 15175 15040 0 -1 4202496 9628 931 1 0 30 8 0 0 18 0 2 0 850056627 300118016 7141 33554432000 4194304 5683644 140734293039328 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15175/statm: 73271 7141 1870 364 0 8158 0
[pid=15181] ppid=15175 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/15181/stat : 15181 (python) S 15175 15175 15040 0 -1 4202560 868 0 0 0 0 1 0 0 18 0 1 0 850056693 289628160 5643 33554432000 4194304 5683644 140734293039328 18446744073709551615 270338403855 0 0 16781312 33554946 5780444102541672707 0 0 17 2 0 0 0
/proc/15181/statm: 70710 5643 376 364 0 5597 0
[pid=15183] ppid=15181 vsize=7972 CPUtime=4.85 cores=0,2,4,6
/proc/15183/stat : 15183 (pbct-0.1.2-linu) R 15181 15183 15183 0 -1 4202496 1877 0 0 0 443 42 0 0 25 0 1 0 850056693 8163328 1622 33554432000 134512640 136422188 4291522416 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/15183/statm: 1993 1622 213 467 0 1524 0
[pid=15175/tid=15182] ppid=15173 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/15175/task/15182/stat : 15182 (python) S 15173 15175 15040 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 850056693 300118016 7141 33554432000 4194304 5683644 140734293039328 18446744073709551615 270350207409 0 0 16781312 33554434 18446604446284288256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.24
Current children cumulated vsize (KiB) 583896
[startup+5.90063 s]
/proc/loadavg: 0.94 0.25 0.08 3/444 15183
/proc/meminfo: memFree=24675768/32951124 swapFree=50923800/67111528
[pid=15175] ppid=15173 vsize=293084 CPUtime=0.38 cores=0,2,4,6
/proc/15175/stat : 15175 (python) S 15173 15175 15040 0 -1 4202496 9628 931 1 0 30 8 0 0 18 0 2 0 850056627 300118016 7141 33554432000 4194304 5683644 140734293039328 18446744073709551615 270350210507 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/15175/statm: 73271 7141 1870 364 0 8158 0
[pid=15181] ppid=15175 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/15181/stat : 15181 (python) S 15175 15175 15040 0 -1 4202560 868 0 0 0 0 1 0 0 18 0 1 0 850056693 289628160 5643 33554432000 4194304 5683644 140734293039328 18446744073709551615 270338403855 0 0 16781312 33554946 5780444102541672707 0 0 17 2 0 0 0
/proc/15181/statm: 70710 5643 376 364 0 5597 0
[pid=15183] ppid=15181 vsize=7972 CPUtime=5.23 cores=0,2,4,6
/proc/15183/stat : 15183 (pbct-0.1.2-linu) R 15181 15183 15183 0 -1 4202496 1877 0 0 0 478 45 0 0 25 0 1 0 850056693 8163328 1622 33554432000 134512640 136422188 4291522416 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/15183/statm: 1993 1622 213 467 0 1524 0
[pid=15175/tid=15182] ppid=15173 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/15175/task/15182/stat : 15182 (python) S 15173 15175 15040 0 -1 4202560 26 931 0 0 0 0 0 0 18 0 2 0 850056693 300118016 7141 33554432000 4194304 5683644 140734293039328 18446744073709551615 270350207409 0 0 16781312 33554434 18446604446284288256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 583896
Child status: 0
Real time (s): 5.98314
CPU time (s): 5.74712
CPU user time (s): 5.17421
CPU system time (s): 0.572912
CPU usage (%): 96.0554
Max. virtual memory (cumulated for all children) (KiB): 583896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.17421
system time used= 0.572912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18032
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= 2001
involuntary context switches= 20
runsolver used 0.030995 second user time and 0.06199 second system time
The end