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-3481507-1307577968/watcher-3481507-1307577968 -o /tmp/evaluation-result-3481507-1307577968/solver-3481507-1307577968 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481507-1307577968.opb -seed 907331787 -budget 1800
running on 4 cores: 1,3,5,7
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.94 2.07 1.71 2/806 20902
/proc/meminfo: memFree=17962400/32950928 swapFree=26914392/67111528
[pid=20902] ppid=20900 vsize=16236 CPUtime=0 cores=1,3,5,7
/proc/20902/stat : 20902 (python) R 20900 20902 19061 0 -1 4202496 996 0 0 0 0 0 0 0 18 0 1 0 869393579 16625664 869 33554432000 4194304 5683644 140735904092864 18446744073709551615 254500352709 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/20902/statm: 4059 869 368 364 0 546 0
[startup+0.079414 s]
/proc/loadavg: 1.94 2.07 1.71 2/806 20902
/proc/meminfo: memFree=17962400/32950928 swapFree=26914392/67111528
[pid=20902] ppid=20900 vsize=43616 CPUtime=0.05 cores=1,3,5,7
/proc/20902/stat : 20902 (python) S 20900 20902 19061 0 -1 4202496 1878 0 0 0 4 1 0 0 17 0 1 0 869393579 44662784 1653 33554432000 4194304 5683644 140735904092864 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/20902/statm: 10904 1653 467 364 0 1169 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 43616
[startup+0.102554 s]
/proc/loadavg: 1.94 2.07 1.71 2/806 20902
/proc/meminfo: memFree=17962400/32950928 swapFree=26914392/67111528
[pid=20902] ppid=20900 vsize=85616 CPUtime=0.06 cores=1,3,5,7
/proc/20902/stat : 20902 (python) S 20900 20902 19061 0 -1 4202496 2662 0 0 0 5 1 0 0 17 0 1 0 869393579 87670784 2381 33554432000 4194304 5683644 140735904092864 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/20902/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85616
[startup+0.300762 s]
/proc/loadavg: 1.94 2.07 1.71 2/806 20902
/proc/meminfo: memFree=17962400/32950928 swapFree=26914392/67111528
[pid=20902] ppid=20900 vsize=123736 CPUtime=0.17 cores=1,3,5,7
/proc/20902/stat : 20902 (python) S 20900 20902 19061 0 -1 4202496 5356 931 1 0 13 4 0 0 16 0 1 0 869393579 126705664 3743 33554432000 4194304 5683644 140735904092864 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/20902/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123736
[startup+0.707373 s]
/proc/loadavg: 1.94 2.07 1.71 2/806 20902
/proc/meminfo: memFree=17962400/32950928 swapFree=26914392/67111528
[pid=20902] ppid=20900 vsize=282404 CPUtime=0.42 cores=1,3,5,7
/proc/20902/stat : 20902 (python) R 20900 20902 19061 0 -1 4202496 9077 931 1 0 32 10 0 0 15 0 1 0 869393579 289181696 6936 33554432000 4194304 5683644 140735904092864 18446744073709551615 254500512149 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/20902/statm: 70601 6936 1776 364 0 5494 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282404
[startup+1.50119 s]
/proc/loadavg: 1.94 2.07 1.71 3/810 20911
/proc/meminfo: memFree=17922060/32950928 swapFree=26914392/67111528
[pid=20902] ppid=20900 vsize=293444 CPUtime=0.49 cores=1,3,5,7
/proc/20902/stat : 20902 (python) S 20900 20902 19061 0 -1 4202496 10832 1330 1 0 38 11 0 0 18 0 2 0 869393579 300486656 7221 33554432000 4194304 5683644 140735904092864 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/20902/statm: 73361 7221 1871 364 0 8248 0
[pid=20909] ppid=20902 vsize=283200 CPUtime=0 cores=1,3,5,7
/proc/20909/stat : 20909 (python) S 20902 20902 19061 0 -1 4202560 807 0 0 0 0 0 0 0 15 0 1 0 869393656 289996800 5671 33554432000 4194304 5683644 140735904092864 18446744073709551615 254500711951 0 0 16781312 33554946 3480919797674278912 0 0 17 1 0 0 0
/proc/20909/statm: 70800 5671 325 364 0 5687 0
[pid=20911] ppid=20909 vsize=33864 CPUtime=0.71 cores=1,3,5,7
/proc/20911/stat : 20911 (scip-2.0.1.linu) R 20909 20911 20911 0 -1 4202496 7655 0 0 0 59 12 0 0 18 0 1 0 869393656 34676736 6195 33554432000 4194304 13684479 140735328062208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/20911/statm: 8466 6195 779 2317 0 6144 0
[pid=20902/tid=20910] ppid=20900 vsize=293444 CPUtime=0 cores=1,3,5,7
/proc/20902/task/20910/stat : 20910 (python) S 20900 20902 19061 0 -1 4202560 24 1330 0 0 0 0 0 0 18 0 2 0 869393656 300486656 7221 33554432000 4194304 5683644 140735904092864 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464164334400 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 610508
[startup+3.10087 s]
/proc/loadavg: 1.94 2.07 1.71 3/810 20911
/proc/meminfo: memFree=17910480/32950928 swapFree=26914392/67111528
[pid=20902] ppid=20900 vsize=293444 CPUtime=0.49 cores=1,3,5,7
/proc/20902/stat : 20902 (python) S 20900 20902 19061 0 -1 4202496 10832 1330 1 0 38 11 0 0 18 0 2 0 869393579 300486656 7221 33554432000 4194304 5683644 140735904092864 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/20902/statm: 73361 7221 1871 364 0 8248 0
[pid=20909] ppid=20902 vsize=283200 CPUtime=0 cores=1,3,5,7
/proc/20909/stat : 20909 (python) S 20902 20902 19061 0 -1 4202560 812 0 0 0 0 0 0 0 16 0 1 0 869393656 289996800 5671 33554432000 4194304 5683644 140735904092864 18446744073709551615 254500711951 0 0 16781312 33554946 2233912267034853376 0 0 17 1 0 0 0
/proc/20909/statm: 70800 5671 325 364 0 5687 0
[pid=20911] ppid=20909 vsize=34164 CPUtime=2.31 cores=1,3,5,7
/proc/20911/stat : 20911 (scip-2.0.1.linu) R 20909 20911 20911 0 -1 4202496 8495 0 0 0 197 34 0 0 18 0 1 0 869393656 34983936 6240 33554432000 4194304 13684479 140735328062208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/20911/statm: 8541 6240 787 2317 0 6219 0
[pid=20902/tid=20910] ppid=20900 vsize=293444 CPUtime=0 cores=1,3,5,7
/proc/20902/task/20910/stat : 20910 (python) S 20900 20902 19061 0 -1 4202560 24 1330 0 0 0 0 0 0 18 0 2 0 869393656 300486656 7221 33554432000 4194304 5683644 140735904092864 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464164334400 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 610808
Solver just ended. Dumping a history of the last processes samples
[startup+3.90071 s]
/proc/loadavg: 1.94 2.07 1.71 3/810 20911
/proc/meminfo: memFree=17911264/32950928 swapFree=26914392/67111528
[pid=20902] ppid=20900 vsize=293444 CPUtime=0.49 cores=1,3,5,7
/proc/20902/stat : 20902 (python) S 20900 20902 19061 0 -1 4202496 10832 1330 1 0 38 11 0 0 18 0 2 0 869393579 300486656 7221 33554432000 4194304 5683644 140735904092864 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/20902/statm: 73361 7221 1871 364 0 8248 0
[pid=20909] ppid=20902 vsize=283200 CPUtime=0.02 cores=1,3,5,7
/proc/20909/stat : 20909 (python) S 20902 20902 19061 0 -1 4202560 956 0 0 0 2 0 0 0 15 0 1 0 869393656 289996800 5694 33554432000 4194304 5683644 140735904092864 18446744073709551615 254500711951 0 0 16781312 33554946 1477291109976637440 0 0 17 7 0 0 0
/proc/20909/statm: 70800 5694 348 364 0 5687 0
[pid=20911] ppid=20909 vsize=43380 CPUtime=3.11 cores=1,3,5,7
/proc/20911/stat : 20911 (scip-2.0.1.linu) R 20909 20911 20911 0 -1 4202496 11528 0 0 0 265 46 0 0 18 0 1 0 869393656 44421120 8383 33554432000 4194304 13684479 140735328062208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/20911/statm: 10845 8383 816 2317 0 8523 0
[pid=20902/tid=20910] ppid=20900 vsize=293444 CPUtime=0 cores=1,3,5,7
/proc/20902/task/20910/stat : 20910 (python) S 20900 20902 19061 0 -1 4202560 24 1330 0 0 0 0 0 0 18 0 2 0 869393656 300486656 7221 33554432000 4194304 5683644 140735904092864 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464164334400 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 620024
[startup+4.30063 s]
/proc/loadavg: 2.02 2.09 1.71 3/810 20911
/proc/meminfo: memFree=17906552/32950928 swapFree=26914392/67111528
[pid=20902] ppid=20900 vsize=293444 CPUtime=0.49 cores=1,3,5,7
/proc/20902/stat : 20902 (python) S 20900 20902 19061 0 -1 4202496 10832 1330 1 0 38 11 0 0 18 0 2 0 869393579 300486656 7221 33554432000 4194304 5683644 140735904092864 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/20902/statm: 73361 7221 1871 364 0 8248 0
[pid=20909] ppid=20902 vsize=283200 CPUtime=0.02 cores=1,3,5,7
/proc/20909/stat : 20909 (python) R 20902 20902 19061 0 -1 4202560 959 0 0 0 2 0 0 0 15 0 1 0 869393656 289996800 5694 33554432000 4194304 5683644 140735904092864 18446744073709551615 254500711951 0 0 16781312 33554946 0 0 0 17 7 0 0 0
/proc/20909/statm: 70800 5694 348 364 0 5687 0
[pid=20911] ppid=20909 vsize=43380 CPUtime=3.53 cores=1,3,5,7
/proc/20911/stat : 20911 (scip-2.0.1.linu) R 20909 20911 20911 0 -1 4202496 11528 0 0 0 299 54 0 0 18 0 1 0 869393656 44421120 8383 33554432000 4194304 13684479 140735328062208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/20911/statm: 10845 8383 816 2317 0 8523 0
[pid=20902/tid=20910] ppid=20900 vsize=293444 CPUtime=0 cores=1,3,5,7
/proc/20902/task/20910/stat : 20910 (python) S 20900 20902 19061 0 -1 4202560 24 1330 0 0 0 0 0 0 18 0 2 0 869393656 300486656 7221 33554432000 4194304 5683644 140735904092864 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464164334400 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 620024
[startup+4.42153 s]
/proc/loadavg: 2.02 2.09 1.71 3/810 20911
/proc/meminfo: memFree=17906552/32950928 swapFree=26914392/67111528
[pid=20902] ppid=20900 vsize=293444 CPUtime=0.49 cores=1,3,5,7
/proc/20902/stat : 20902 (python) S 20900 20902 19061 0 -1 4202496 10832 1330 1 0 38 11 0 0 18 0 2 0 869393579 300486656 7221 33554432000 4194304 5683644 140735904092864 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/20902/statm: 73361 7221 1871 364 0 8248 0
[pid=20909] ppid=20902 vsize=293444 CPUtime=3.64 cores=1,3,5,7
/proc/20909/stat : 20909 (python) S 20902 20902 19061 0 -1 4202560 1329 11533 0 0 2 0 307 55 16 0 2 0 869393656 300486656 5787 33554432000 4194304 5683644 140735904092864 18446744073709551615 254512515505 0 0 16781824 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/20909/statm: 73361 5787 434 364 0 8248 0
[pid=20902/tid=20910] ppid=20900 vsize=293444 CPUtime=0 cores=1,3,5,7
/proc/20902/task/20910/stat : 20910 (python) S 20900 20902 19061 0 -1 4202560 24 1330 0 0 0 0 0 0 18 0 2 0 869393656 300486656 7221 33554432000 4194304 5683644 140735904092864 18446744073709551615 254512515505 0 0 16781312 33554434 18446604464164334400 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 586888
Child status: 0
Real time (s): 4.44266
CPU time (s): 4.20436
CPU user time (s): 3.51047
CPU system time (s): 0.693894
CPU usage (%): 94.6361
Max. virtual memory (cumulated for all children) (KiB): 620024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.51047
system time used= 0.693894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29426
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= 3583
involuntary context switches= 25
runsolver used 0.030995 second user time and 0.072988 second system time
The end