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-3482458-1307576357/watcher-3482458-1307576357 -o /tmp/evaluation-result-3482458-1307576357/solver-3482458-1307576357 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482458-1307576357.opb -seed 611056974 -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.61 0.14 0.05 2/488 28717
/proc/meminfo: memFree=27363476/32951124 swapFree=63649284/67111528
[pid=28716] ppid=28713 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/28716/stat : 28716 (runsolver) S 28713 28716 28679 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 869236913 12079104 53 33554432000 4194304 5432328 140734834927984 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699207358 0 0 17 4 0 0 0
/proc/28716/statm: 2949 53 34 303 0 2643 0
[startup+0.0692159 s]
/proc/loadavg: 0.61 0.14 0.05 2/488 28717
/proc/meminfo: memFree=27363476/32951124 swapFree=63649284/67111528
[pid=28716] ppid=28713 vsize=1964 CPUtime=0 cores=0,2,4,6
/proc/28716/stat : 28716 (python) D 28713 28716 28679 0 -1 4194304 65 0 1 0 0 0 0 0 17 0 1 0 869236913 2011136 19 33554432000 4194304 5683644 140733531990224 18446744073709551615 210199652128 0 0 4096 0 18446744071562234166 0 0 17 6 0 0 1
/proc/28716/statm: 491 19 13 364 0 37 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1964
[startup+0.101193 s]
/proc/loadavg: 0.61 0.14 0.05 2/488 28717
/proc/meminfo: memFree=27363476/32951124 swapFree=63649284/67111528
[pid=28716] ppid=28713 vsize=6240 CPUtime=0 cores=0,2,4,6
/proc/28716/stat : 28716 (python) S 28713 28716 28679 0 -1 4194304 96 0 3 0 0 0 0 0 17 0 1 0 869236913 6389760 51 33554432000 4194304 5683644 140733531990224 18446744073709551615 210199723655 0 2147483391 4096 0 18446744071699207358 0 0 17 6 0 0 3
/proc/28716/statm: 1560 51 40 364 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6240
[startup+0.301162 s]
/proc/loadavg: 0.61 0.14 0.05 2/488 28717
/proc/meminfo: memFree=27363476/32951124 swapFree=63649284/67111528
[pid=28716] ppid=28713 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/28716/stat : 28716 (python) S 28713 28716 28679 0 -1 4202496 610 0 7 0 0 0 0 0 16 0 1 0 869236913 15441920 513 33554432000 4194304 5683644 140733531990224 18446744073709551615 210204645376 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 7
/proc/28716/statm: 3770 513 300 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.70109 s]
/proc/loadavg: 0.61 0.14 0.05 2/488 28717
/proc/meminfo: memFree=27363476/32951124 swapFree=63649284/67111528
[pid=28716] ppid=28713 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/28716/stat : 28716 (python) S 28713 28716 28679 0 -1 4202496 721 0 7 0 0 0 0 0 16 0 1 0 869236913 15548416 617 33554432000 4194304 5683644 140733531990224 18446744073709551615 210204645376 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 12
/proc/28716/statm: 3796 617 322 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184
[startup+1.50096 s]
/proc/loadavg: 0.61 0.14 0.05 2/490 28719
/proc/meminfo: memFree=27356828/32951124 swapFree=63649284/67111528
[pid=28716] ppid=28713 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/28716/stat : 28716 (python) S 28713 28716 28679 0 -1 4202496 889 0 7 0 0 0 0 0 16 0 1 0 869236913 16154624 777 33554432000 4194304 5683644 140733531990224 18446744073709551615 210204645376 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 19
/proc/28716/statm: 3944 777 343 364 0 431 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15776
[startup+3.10065 s]
/proc/loadavg: 0.61 0.14 0.05 2/490 28719
/proc/meminfo: memFree=27350384/32951124 swapFree=63649284/67111528
[pid=28716] ppid=28713 vsize=16396 CPUtime=0.02 cores=0,2,4,6
/proc/28716/stat : 28716 (python) S 28713 28716 28679 0 -1 4202496 1117 0 7 0 1 1 0 0 15 0 1 0 869236913 16789504 990 33554432000 4194304 5683644 140733531990224 18446744073709551615 210204645376 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 52
/proc/28716/statm: 4099 990 413 364 0 586 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16396
heavy processes:
[startup+6.30114 s]
/proc/loadavg: 0.64 0.16 0.05 2/490 28719
/proc/meminfo: memFree=27349660/32951124 swapFree=63649284/67111528
[pid=28716] ppid=28713 vsize=50012 CPUtime=0.09 cores=0,2,4,6
/proc/28716/stat : 28716 (python) D 28713 28716 28679 0 -1 4202496 1958 0 18 0 4 5 0 0 16 0 1 0 869236913 51212288 1737 33554432000 4194304 5683644 140733531990224 18446744073709551615 210204645376 0 0 16781312 2 0 0 0 17 0 0 0 101
/proc/28716/statm: 12503 1737 480 364 0 1203 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50012
heavy processes:
[startup+12.701 s]
/proc/loadavg: 0.67 0.17 0.06 2/490 28727
/proc/meminfo: memFree=27309044/32951124 swapFree=63649284/67111528
[pid=28716] ppid=28713 vsize=190664 CPUtime=0.39 cores=0,2,4,6
/proc/28716/stat : 28716 (python) S 28713 28716 28679 0 -1 4202496 6480 922 75 9 18 21 0 0 16 0 1 0 869236913 195239936 4846 33554432000 4194304 5683644 140733531990224 18446744073709551615 210199723588 0 2147483391 16781312 2 18446744071699207358 0 0 17 0 0 0 258
/proc/28716/statm: 47666 4846 1400 364 0 3676 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 190664
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+15.9006 s]
/proc/loadavg: 0.70 0.18 0.06 2/490 28727
/proc/meminfo: memFree=27287380/32951124 swapFree=63649284/67111528
[pid=28716] ppid=28713 vsize=247960 CPUtime=0.55 cores=0,2,4,6
/proc/28716/stat : 28716 (python) S 28713 28716 28679 0 -1 4202496 7919 922 104 9 26 29 0 0 16 0 1 0 869236913 253911040 6152 33554432000 4194304 5683644 140733531990224 18446744073709551615 210204645376 0 2147483391 16781312 2 18446744071699207358 0 0 17 0 0 0 357
/proc/28716/statm: 61990 6152 1613 364 0 4994 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 247960
[startup+17.5013 s]
/proc/loadavg: 0.70 0.18 0.06 4/496 28733
/proc/meminfo: memFree=27231548/32951124 swapFree=63649284/67111528
[pid=28716] ppid=28713 vsize=293100 CPUtime=0.67 cores=0,2,4,6
/proc/28716/stat : 28716 (python) S 28713 28716 28679 0 -1 4202496 9525 922 113 9 34 33 0 0 17 0 2 0 869236913 300134400 7145 33554432000 4194304 5683644 140733531990224 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 368
/proc/28716/statm: 73275 7145 1870 364 0 8162 0
[pid=28728] ppid=28716 vsize=282856 CPUtime=0 cores=0,2,4,6
/proc/28728/stat : 28728 (python) S 28716 28716 28679 0 -1 4202560 746 0 0 0 0 0 0 0 15 0 1 0 869238550 289644544 5623 33554432000 4194304 5683644 140733531990224 18446744073709551615 210204667407 0 0 16781312 33554946 2640007004034170880 0 0 17 6 0 0 0
/proc/28728/statm: 70714 5623 352 364 0 5601 0
[pid=28733] ppid=28728 vsize=34792 CPUtime=1.14 cores=0,2,4,6
/proc/28733/stat : 28733 (scip-2.0.1.linu) R 28728 28733 28733 0 -1 4202496 7934 0 0 0 111 3 0 0 18 0 1 0 869238550 35627008 6478 33554432000 4194304 13684479 140735517605984 18446744073709551615 7419774 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28733/statm: 8698 6478 818 2317 0 6376 0
[pid=28716/tid=28730] ppid=28713 vsize=293100 CPUtime=0 cores=0,2,4,6
/proc/28716/task/28730/stat : 28730 (python) S 28713 28716 28679 0 -1 4202560 26 922 0 9 0 0 0 0 18 0 2 0 869238550 300134400 7145 33554432000 4194304 5683644 140733531990224 18446744073709551615 210216470961 0 0 16781312 33554434 18446604449712625792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 610748
[startup+19.101 s]
/proc/loadavg: 0.70 0.18 0.06 4/496 28733
/proc/meminfo: memFree=27220008/32951124 swapFree=63649284/67111528
[pid=28716] ppid=28713 vsize=293100 CPUtime=0.67 cores=0,2,4,6
/proc/28716/stat : 28716 (python) S 28713 28716 28679 0 -1 4202496 9525 922 113 9 34 33 0 0 17 0 2 0 869236913 300134400 7145 33554432000 4194304 5683644 140733531990224 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 368
/proc/28716/statm: 73275 7145 1870 364 0 8162 0
[pid=28728] ppid=28716 vsize=282856 CPUtime=0 cores=0,2,4,6
/proc/28728/stat : 28728 (python) S 28716 28716 28679 0 -1 4202560 856 0 0 0 0 0 0 0 15 0 1 0 869238550 289644544 5629 33554432000 4194304 5683644 140733531990224 18446744073709551615 210204667407 0 0 16781312 33554946 3012160993905082368 0 0 17 6 0 0 0
/proc/28728/statm: 70714 5629 358 364 0 5601 0
[pid=28733] ppid=28728 vsize=35048 CPUtime=2.73 cores=0,2,4,6
/proc/28733/stat : 28733 (scip-2.0.1.linu) R 28728 28733 28733 0 -1 4202496 7971 0 0 0 264 9 0 0 18 0 1 0 869238550 35889152 6515 33554432000 4194304 13684479 140735517605984 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28733/statm: 8762 6515 818 2317 0 6440 0
[pid=28716/tid=28730] ppid=28713 vsize=293100 CPUtime=0 cores=0,2,4,6
/proc/28716/task/28730/stat : 28730 (python) S 28713 28716 28679 0 -1 4202560 26 922 0 9 0 0 0 0 18 0 2 0 869238550 300134400 7145 33554432000 4194304 5683644 140733531990224 18446744073709551615 210216470961 0 0 16781312 33554434 18446604449712625792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 611004
[startup+19.9008 s]
/proc/loadavg: 0.80 0.21 0.07 4/496 28733
/proc/meminfo: memFree=27208980/32951124 swapFree=63649284/67111528
[pid=28716] ppid=28713 vsize=293100 CPUtime=0.67 cores=0,2,4,6
/proc/28716/stat : 28716 (python) S 28713 28716 28679 0 -1 4202496 9525 922 113 9 34 33 0 0 17 0 2 0 869236913 300134400 7145 33554432000 4194304 5683644 140733531990224 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 368
/proc/28716/statm: 73275 7145 1870 364 0 8162 0
[pid=28728] ppid=28716 vsize=282856 CPUtime=0.01 cores=0,2,4,6
/proc/28728/stat : 28728 (python) S 28716 28716 28679 0 -1 4202560 978 0 0 0 0 1 0 0 15 0 1 0 869238550 289644544 5652 33554432000 4194304 5683644 140733531990224 18446744073709551615 210204667407 0 0 16781312 33554946 2350124671791267840 0 0 17 6 0 0 0
/proc/28728/statm: 70714 5652 381 364 0 5601 0
[pid=28733] ppid=28728 vsize=35484 CPUtime=3.52 cores=0,2,4,6
/proc/28733/stat : 28733 (scip-2.0.1.linu) R 28728 28733 28733 0 -1 4202496 8108 0 0 0 341 11 0 0 18 0 1 0 869238550 36335616 6651 33554432000 4194304 13684479 140735517605984 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28733/statm: 8871 6651 818 2317 0 6549 0
[pid=28716/tid=28730] ppid=28713 vsize=293100 CPUtime=0 cores=0,2,4,6
/proc/28716/task/28730/stat : 28730 (python) S 28713 28716 28679 0 -1 4202560 26 922 0 9 0 0 0 0 18 0 2 0 869238550 300134400 7145 33554432000 4194304 5683644 140733531990224 18446744073709551615 210216470961 0 0 16781312 33554434 18446604449712625792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 611440
[startup+20.1008 s]
/proc/loadavg: 0.80 0.21 0.07 4/496 28733
/proc/meminfo: memFree=27208980/32951124 swapFree=63649284/67111528
[pid=28716] ppid=28713 vsize=293100 CPUtime=0.67 cores=0,2,4,6
/proc/28716/stat : 28716 (python) S 28713 28716 28679 0 -1 4202496 9525 922 113 9 34 33 0 0 17 0 2 0 869236913 300134400 7145 33554432000 4194304 5683644 140733531990224 18446744073709551615 210216474059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 368
/proc/28716/statm: 73275 7145 1870 364 0 8162 0
[pid=28728] ppid=28716 vsize=282856 CPUtime=0.01 cores=0,2,4,6
/proc/28728/stat : 28728 (python) S 28716 28716 28679 0 -1 4202560 979 0 0 0 0 1 0 0 15 0 1 0 869238550 289644544 5652 33554432000 4194304 5683644 140733531990224 18446744073709551615 210204667407 0 0 16781312 33554946 3187502380929253376 0 0 17 6 0 0 0
/proc/28728/statm: 70714 5652 381 364 0 5601 0
[pid=28733] ppid=28728 vsize=35484 CPUtime=3.72 cores=0,2,4,6
/proc/28733/stat : 28733 (scip-2.0.1.linu) R 28728 28733 28733 0 -1 4202496 8128 0 0 0 360 12 0 0 18 0 1 0 869238550 36335616 6671 33554432000 4194304 13684479 140735517605984 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28733/statm: 8871 6671 818 2317 0 6549 0
[pid=28716/tid=28730] ppid=28713 vsize=293100 CPUtime=0 cores=0,2,4,6
/proc/28716/task/28730/stat : 28730 (python) S 28713 28716 28679 0 -1 4202560 26 922 0 9 0 0 0 0 18 0 2 0 869238550 300134400 7145 33554432000 4194304 5683644 140733531990224 18446744073709551615 210216470961 0 0 16781312 33554434 18446604449712625792 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 611440
Child status: 0
Real time (s): 20.1333
CPU time (s): 4.48132
CPU user time (s): 3.98939
CPU system time (s): 0.491925
CPU usage (%): 22.2582
Max. virtual memory (cumulated for all children) (KiB): 611440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.98939
system time used= 0.491925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24230
page faults= 122
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20468
involuntary context switches= 30
runsolver used 0.12598 second user time and 0.273958 second system time
The end