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-3482455-1307576357/watcher-3482455-1307576357 -o /tmp/evaluation-result-3482455-1307576357/solver-3482455-1307576357 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482455-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.79 0.18 0.06 2/495 16554
/proc/meminfo: memFree=28549624/32951132 swapFree=57925100/67111528
[pid=16554] ppid=16552 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/16554/stat : 16554 (runsolver) S 16552 16554 16517 0 -1 4202560 46 0 0 0 0 0 0 0 22 0 1 0 869238558 12079104 53 33554432000 4194304 5432328 140735944646016 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699109054 0 0 17 4 0 0 0
/proc/16554/statm: 2949 53 34 303 0 2643 0
[startup+0.104482 s]
/proc/loadavg: 0.79 0.18 0.06 2/495 16554
/proc/meminfo: memFree=28549624/32951132 swapFree=57925100/67111528
[pid=16554] ppid=16552 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/16554/stat : 16554 (python) S 16552 16554 16517 0 -1 4202496 650 0 0 0 0 0 0 0 22 0 1 0 869238558 15441920 545 33554432000 4194304 5683644 140733980866880 18446744073709551615 210647144448 0 2147483391 16781312 2 18446744071699109054 0 0 17 6 0 0 0
/proc/16554/statm: 3770 545 312 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.200473 s]
/proc/loadavg: 0.79 0.18 0.06 2/495 16554
/proc/meminfo: memFree=28549624/32951132 swapFree=57925100/67111528
[pid=16554] ppid=16552 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/16554/stat : 16554 (python) S 16552 16554 16517 0 -1 4202496 734 0 0 0 0 0 0 0 21 0 1 0 869238558 15548416 622 33554432000 4194304 5683644 140733980866880 18446744073709551615 210647144448 0 2147483391 16781312 2 18446744071699109054 0 0 17 6 0 0 0
/proc/16554/statm: 3796 622 322 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184
[startup+0.300416 s]
/proc/loadavg: 0.79 0.18 0.06 2/495 16554
/proc/meminfo: memFree=28549624/32951132 swapFree=57925100/67111528
[pid=16554] ppid=16552 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/16554/stat : 16554 (python) S 16552 16554 16517 0 -1 4202496 820 0 0 0 0 0 0 0 20 0 1 0 869238558 15753216 704 33554432000 4194304 5683644 140733980866880 18446744073709551615 210647144448 0 2147483391 16781312 2 18446744071699109054 0 0 17 6 0 0 0
/proc/16554/statm: 3846 704 334 364 0 333 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15384
[startup+0.700354 s]
/proc/loadavg: 0.79 0.18 0.06 2/495 16554
/proc/meminfo: memFree=28549624/32951132 swapFree=57925100/67111528
[pid=16554] ppid=16552 vsize=21132 CPUtime=0.04 cores=0,2,4,6
/proc/16554/stat : 16554 (python) D 16552 16554 16517 0 -1 4202496 1314 0 2 0 3 1 0 0 17 0 1 0 869238558 21639168 1166 33554432000 4194304 5683644 140733980866880 18446744073709551615 210647142245 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/16554/statm: 5283 1166 428 364 0 730 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21132
[startup+1.50029 s]
/proc/loadavg: 0.79 0.18 0.06 1/499 16558
/proc/meminfo: memFree=28538704/32951132 swapFree=57925100/67111528
[pid=16554] ppid=16552 vsize=58884 CPUtime=0.08 cores=0,2,4,6
/proc/16554/stat : 16554 (python) D 16552 16554 16517 0 -1 4202496 2106 0 10 0 5 3 0 0 16 0 1 0 869238558 60297216 1869 33554432000 4194304 5683644 140733980866880 18446744073709551615 210642222823 0 0 16781312 2 18446744071696489144 0 0 17 6 0 0 3
/proc/16554/statm: 14721 1869 508 364 0 1310 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 58884
[startup+3.10102 s]
/proc/loadavg: 0.79 0.18 0.06 1/499 16558
/proc/meminfo: memFree=28532340/32951132 swapFree=57925100/67111528
[pid=16554] ppid=16552 vsize=58884 CPUtime=0.08 cores=0,2,4,6
/proc/16554/stat : 16554 (python) D 16552 16554 16517 0 -1 4202496 2106 0 10 0 5 3 0 0 16 0 1 0 869238558 60297216 1869 33554432000 4194304 5683644 140733980866880 18446744073709551615 210642222823 0 0 16781312 2 18446744071696489144 0 0 17 6 0 0 3
/proc/16554/statm: 14721 1869 508 364 0 1310 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 58884
heavy processes:
[startup+6.30049 s]
/proc/loadavg: 1.04 0.24 0.08 1/499 16558
/proc/meminfo: memFree=28532472/32951132 swapFree=57925100/67111528
[pid=16554] ppid=16552 vsize=58884 CPUtime=0.08 cores=0,2,4,6
/proc/16554/stat : 16554 (python) D 16552 16554 16517 0 -1 4202496 2106 0 10 0 5 3 0 0 16 0 1 0 869238558 60297216 1869 33554432000 4194304 5683644 140733980866880 18446744073709551615 210642222823 0 0 16781312 2 18446744071696489144 0 0 17 6 0 0 3
/proc/16554/statm: 14721 1869 508 364 0 1310 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 58884
heavy processes:
[startup+12.7004 s]
/proc/loadavg: 1.36 0.32 0.10 2/501 16560
/proc/meminfo: memFree=28526424/32951132 swapFree=57925100/67111528
[pid=16554] ppid=16552 vsize=94068 CPUtime=0.1 cores=0,2,4,6
/proc/16554/stat : 16554 (python) S 16552 16554 16517 0 -1 4202496 2785 0 13 0 6 4 0 0 15 0 1 0 869238558 96325632 2468 33554432000 4194304 5683644 140733980866880 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 36
/proc/16554/statm: 23517 2468 788 364 0 1628 0
[pid=16559] ppid=16554 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/16559/stat : 16559 (sh) S 16554 16554 16517 0 -1 4202496 306 0 0 0 0 0 0 0 17 0 1 0 869239701 8908800 246 33554432000 4194304 4922060 140735516307744 18446744073709551615 210646965381 0 65536 16781316 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/16559/statm: 2175 246 206 178 0 68 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 102768
heavy processes:
[startup+25.5192 s]
/proc/loadavg: 2.53 0.63 0.21 3/505 16572
/proc/meminfo: memFree=28420916/32951132 swapFree=57925100/67111528
[pid=16554] ppid=16552 vsize=293144 CPUtime=0.58 cores=0,2,4,6
/proc/16554/stat : 16554 (python) S 16552 16554 16517 0 -1 4202496 9546 921 97 8 37 21 0 0 16 0 2 0 869238558 300179456 7153 33554432000 4194304 5683644 140733980866880 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 471
/proc/16554/statm: 73286 7153 1870 364 0 8173 0
[pid=16567] ppid=16554 vsize=282900 CPUtime=0 cores=0,2,4,6
/proc/16567/stat : 16567 (python) S 16554 16554 16517 0 -1 4202560 751 0 0 0 0 0 0 0 16 0 1 0 869240943 289689600 5631 33554432000 4194304 5683644 140733980866880 18446744073709551615 210647166479 0 0 16781312 33554946 2818811904225443840 0 0 17 6 0 0 0
/proc/16567/statm: 70725 5631 352 364 0 5612 0
[pid=16569] ppid=16567 vsize=37012 CPUtime=1.66 cores=0,2,4,6
/proc/16569/stat : 16569 (scip-2.0.1.linu) R 16567 16569 16569 0 -1 4202496 8491 0 0 0 161 5 0 0 18 0 1 0 869240943 37900288 7048 33554432000 4194304 13684479 140734929490384 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/16569/statm: 9253 7048 817 2317 0 6931 0
[pid=16554/tid=16568] ppid=16552 vsize=293144 CPUtime=0 cores=0,2,4,6
/proc/16554/task/16568/stat : 16568 (python) S 16552 16554 16517 0 -1 4202560 24 921 0 8 0 0 0 0 17 0 2 0 869240943 300179456 7153 33554432000 4194304 5683644 140733980866880 18446744073709551615 210658970033 0 0 16781312 33554434 18446604452251710656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 613056
heavy processes:
[startup+51.1009 s]
/proc/loadavg: 3.15 0.93 0.32 3/505 16572
/proc/meminfo: memFree=28385732/32951132 swapFree=57925100/67111528
[pid=16554] ppid=16552 vsize=293144 CPUtime=0.58 cores=0,2,4,6
/proc/16554/stat : 16554 (python) S 16552 16554 16517 0 -1 4202496 9546 921 97 8 37 21 0 0 16 0 2 0 869238558 300179456 7153 33554432000 4194304 5683644 140733980866880 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 471
/proc/16554/statm: 73286 7153 1870 364 0 8173 0
[pid=16567] ppid=16554 vsize=282900 CPUtime=0.14 cores=0,2,4,6
/proc/16567/stat : 16567 (python) S 16554 16554 16517 0 -1 4202560 1000 0 0 0 8 6 0 0 15 0 1 0 869240943 289689600 5660 33554432000 4194304 5683644 140733980866880 18446744073709551615 210647166479 0 0 16781312 33554946 3667414974247993344 0 0 17 6 0 0 0
/proc/16567/statm: 70725 5660 381 364 0 5612 0
[pid=16569] ppid=16567 vsize=38740 CPUtime=27.23 cores=0,2,4,6
/proc/16569/stat : 16569 (scip-2.0.1.linu) R 16567 16569 16569 0 -1 4202496 8907 0 0 0 2659 64 0 0 19 0 1 0 869240943 39669760 7464 33554432000 4194304 13684479 140734929490384 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16569/statm: 9685 7464 821 2317 0 7363 0
[pid=16554/tid=16568] ppid=16552 vsize=293144 CPUtime=0 cores=0,2,4,6
/proc/16554/task/16568/stat : 16568 (python) S 16552 16554 16517 0 -1 4202560 24 921 0 8 0 0 0 0 17 0 2 0 869240943 300179456 7153 33554432000 4194304 5683644 140733980866880 18446744073709551615 210658970033 0 0 16781312 33554434 18446604452251710656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 27.95
Current children cumulated vsize (KiB) 614784
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+51.6008 s]
/proc/loadavg: 3.15 0.93 0.32 4/505 16572
/proc/meminfo: memFree=28385856/32951132 swapFree=57925100/67111528
[pid=16554] ppid=16552 vsize=293144 CPUtime=0.58 cores=0,2,4,6
/proc/16554/stat : 16554 (python) S 16552 16554 16517 0 -1 4202496 9546 921 97 8 37 21 0 0 16 0 2 0 869238558 300179456 7153 33554432000 4194304 5683644 140733980866880 18446744073709551615 210658973131 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 471
/proc/16554/statm: 73286 7153 1870 364 0 8173 0
[pid=16567] ppid=16554 vsize=282900 CPUtime=0.14 cores=0,2,4,6
/proc/16567/stat : 16567 (python) S 16554 16554 16517 0 -1 4202560 1000 0 0 0 8 6 0 0 15 0 1 0 869240943 289689600 5660 33554432000 4194304 5683644 140733980866880 18446744073709551615 210647166479 0 0 16781312 33554946 1824460377438552064 0 0 17 6 0 0 0
/proc/16567/statm: 70725 5660 381 364 0 5612 0
[pid=16569] ppid=16567 vsize=38740 CPUtime=27.73 cores=0,2,4,6
/proc/16569/stat : 16569 (scip-2.0.1.linu) R 16567 16569 16569 0 -1 4202496 8907 0 0 0 2708 65 0 0 20 0 1 0 869240943 39669760 7464 33554432000 4194304 13684479 140734929490384 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16569/statm: 9685 7464 821 2317 0 7363 0
[pid=16554/tid=16568] ppid=16552 vsize=293144 CPUtime=0 cores=0,2,4,6
/proc/16554/task/16568/stat : 16568 (python) S 16552 16554 16517 0 -1 4202560 24 921 0 8 0 0 0 0 17 0 2 0 869240943 300179456 7153 33554432000 4194304 5683644 140733980866880 18446744073709551615 210658970033 0 0 16781312 33554434 18446604452251710656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.45
Current children cumulated vsize (KiB) 614784
[startup+52.4007 s]
/proc/loadavg: 3.15 0.93 0.32 5/505 16572
/proc/meminfo: memFree=28385736/32951132 swapFree=57925100/67111528
[pid=16554] ppid=16552 vsize=0 CPUtime=29.2 cores=0,2,4,6
/proc/16554/stat : 16554 (python) D 16552 16554 16517 0 -1 4202500 13963 11172 97 8 39 21 2786 74 16 0 1 0 869238558 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 471
/proc/16554/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 29.2
Current children cumulated vsize (KiB) 0
[startup+52.6006 s]
/proc/loadavg: 3.15 0.93 0.32 5/505 16572
/proc/meminfo: memFree=28385736/32951132 swapFree=57925100/67111528
[pid=16554] ppid=16552 vsize=0 CPUtime=29.2 cores=0,2,4,6
/proc/16554/stat : 16554 (python) D 16552 16554 16517 0 -1 4202500 13963 11172 97 8 39 21 2786 74 16 0 1 0 869238558 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 471
/proc/16554/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 29.2
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 52.678
CPU time (s): 29.2236
CPU user time (s): 28.2547
CPU system time (s): 0.968852
CPU usage (%): 55.4758
Max. virtual memory (cumulated for all children) (KiB): 615184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.2547
system time used= 0.968852
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25135
page faults= 105
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13329
involuntary context switches= 447
runsolver used 0.282956 second user time and 0.513921 second system time
The end