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-3482032-1307576722/watcher-3482032-1307576722 -o /tmp/evaluation-result-3482032-1307576722/solver-3482032-1307576722 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482032-1307576722.opb -seed 787553708 -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: 2.07 1.31 0.56 2/390 16765
/proc/meminfo: memFree=27362540/32951124 swapFree=67056304/67111528
[pid=16765] ppid=16763 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/16765/stat : 16765 (python) R 16763 16765 16077 0 -1 4202496 923 0 0 0 0 0 0 0 17 0 1 0 947902889 16154624 802 33554432000 4194304 5683644 140733772801856 18446744073709551615 4591504 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16765/statm: 3944 807 356 364 0 431 0
[startup+0.026816 s]
/proc/loadavg: 2.07 1.31 0.56 2/390 16765
/proc/meminfo: memFree=27362540/32951124 swapFree=67056304/67111528
[pid=16765] ppid=16763 vsize=16816 CPUtime=0.01 cores=1,3,5,7
/proc/16765/stat : 16765 (python) R 16763 16765 16077 0 -1 4202496 1226 0 0 0 1 0 0 0 17 0 1 0 947902889 17219584 1083 33554432000 4194304 5683644 140733772801856 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16765/statm: 4204 1083 417 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16816
[startup+0.100808 s]
/proc/loadavg: 2.07 1.31 0.56 2/390 16765
/proc/meminfo: memFree=27362540/32951124 swapFree=67056304/67111528
[pid=16765] ppid=16763 vsize=96124 CPUtime=0.06 cores=1,3,5,7
/proc/16765/stat : 16765 (python) R 16763 16765 16077 0 -1 4202496 3169 928 1 0 5 1 0 0 18 0 1 0 947902889 98430976 2483 33554432000 4194304 5683644 140733772801856 18446744073709551615 5170416 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16765/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.300732 s]
/proc/loadavg: 2.07 1.31 0.56 2/390 16765
/proc/meminfo: memFree=27362540/32951124 swapFree=67056304/67111528
[pid=16765] ppid=16763 vsize=184596 CPUtime=0.23 cores=1,3,5,7
/proc/16765/stat : 16765 (python) S 16763 16765 16077 0 -1 4202496 6359 928 1 0 17 6 0 0 17 0 1 0 947902889 189026304 4656 33554432000 4194304 5683644 140733772801856 18446744073709551615 260020393984 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/16765/statm: 46149 4656 1251 364 0 3655 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 184596
[startup+0.700704 s]
/proc/loadavg: 2.07 1.31 0.56 2/390 16765
/proc/meminfo: memFree=27362540/32951124 swapFree=67056304/67111528
[pid=16765] ppid=16763 vsize=293304 CPUtime=0.45 cores=1,3,5,7
/proc/16765/stat : 16765 (python) S 16763 16765 16077 0 -1 4202496 9691 928 1 0 35 10 0 0 19 0 2 0 947902889 300343296 7194 33554432000 4194304 5683644 140733772801856 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16765/statm: 73326 7194 1870 364 0 8213 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293304
[startup+1.60853 s]
/proc/loadavg: 2.07 1.31 0.56 2/390 16765
/proc/meminfo: memFree=27362540/32951124 swapFree=67056304/67111528
[pid=16765] ppid=16763 vsize=293304 CPUtime=0.45 cores=1,3,5,7
/proc/16765/stat : 16765 (python) S 16763 16765 16077 0 -1 4202496 9691 928 1 0 35 10 0 0 19 0 2 0 947902889 300343296 7194 33554432000 4194304 5683644 140733772801856 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16765/statm: 73326 7194 1870 364 0 8213 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293304
[startup+3.10026 s]
/proc/loadavg: 2.07 1.31 0.56 3/398 16777
/proc/meminfo: memFree=27210536/32951124 swapFree=67056304/67111528
[pid=16765] ppid=16763 vsize=293304 CPUtime=0.45 cores=1,3,5,7
/proc/16765/stat : 16765 (python) S 16763 16765 16077 0 -1 4202496 9691 928 1 0 35 10 0 0 19 0 2 0 947902889 300343296 7194 33554432000 4194304 5683644 140733772801856 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16765/statm: 73326 7194 1870 364 0 8213 0
[pid=16771] ppid=16765 vsize=283060 CPUtime=0 cores=1,3,5,7
/proc/16771/stat : 16771 (python) S 16765 16765 16077 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 947902943 289853440 5672 33554432000 4194304 5683644 140733772801856 18446744073709551615 260020416015 0 0 16781312 33554946 2801925999783051264 0 0 17 7 0 0 0
/proc/16771/statm: 70765 5672 352 364 0 5652 0
[pid=16773] ppid=16771 vsize=61168 CPUtime=2.55 cores=1,3,5,7
/proc/16773/stat : 16773 (scip-2.0.1.linu) R 16771 16773 16773 0 -1 4202496 13727 0 0 0 248 7 0 0 18 0 1 0 947902943 62636032 13063 33554432000 4194304 13684479 140734830841424 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16773/statm: 15292 13063 775 2317 0 12970 0
[pid=16765/tid=16772] ppid=16763 vsize=293304 CPUtime=0 cores=1,3,5,7
/proc/16765/task/16772/stat : 16772 (python) S 16763 16765 16077 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947902943 300343296 7194 33554432000 4194304 5683644 140733772801856 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 637532
[startup+6.31268 s]
/proc/loadavg: 2.06 1.32 0.56 3/398 16777
/proc/meminfo: memFree=27173576/32951124 swapFree=67056304/67111528
[pid=16765] ppid=16763 vsize=293304 CPUtime=0.45 cores=1,3,5,7
/proc/16765/stat : 16765 (python) S 16763 16765 16077 0 -1 4202496 9691 928 1 0 35 10 0 0 19 0 2 0 947902889 300343296 7194 33554432000 4194304 5683644 140733772801856 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16765/statm: 73326 7194 1870 364 0 8213 0
[pid=16771] ppid=16765 vsize=283060 CPUtime=0.01 cores=1,3,5,7
/proc/16771/stat : 16771 (python) S 16765 16765 16077 0 -1 4202560 891 0 0 0 1 0 0 0 15 0 1 0 947902943 289853440 5696 33554432000 4194304 5683644 140733772801856 18446744073709551615 260020416015 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/16771/statm: 70765 5696 376 364 0 5652 0
[pid=16773] ppid=16771 vsize=94420 CPUtime=5.76 cores=1,3,5,7
/proc/16773/stat : 16773 (scip-2.0.1.linu) R 16771 16773 16773 0 -1 4202496 22028 0 0 0 559 17 0 0 19 0 1 0 947902943 96686080 21364 33554432000 4194304 13684479 140734830841424 18446744073709551615 7430431 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16773/statm: 23605 21364 775 2317 0 21283 0
[pid=16765/tid=16772] ppid=16763 vsize=293304 CPUtime=0 cores=1,3,5,7
/proc/16765/task/16772/stat : 16772 (python) S 16763 16765 16077 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947902943 300343296 7194 33554432000 4194304 5683644 140733772801856 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 670784
[startup+12.7005 s]
/proc/loadavg: 2.06 1.33 0.57 3/398 16778
/proc/meminfo: memFree=27137156/32951124 swapFree=67056304/67111528
[pid=16765] ppid=16763 vsize=293304 CPUtime=0.45 cores=1,3,5,7
/proc/16765/stat : 16765 (python) S 16763 16765 16077 0 -1 4202496 9691 928 1 0 35 10 0 0 19 0 2 0 947902889 300343296 7194 33554432000 4194304 5683644 140733772801856 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16765/statm: 73326 7194 1870 364 0 8213 0
[pid=16771] ppid=16765 vsize=283060 CPUtime=0.04 cores=1,3,5,7
/proc/16771/stat : 16771 (python) S 16765 16765 16077 0 -1 4202560 899 0 0 0 2 2 0 0 15 0 1 0 947902943 289853440 5696 33554432000 4194304 5683644 140733772801856 18446744073709551615 260020416015 0 0 16781312 33554946 5623753486446373795 0 0 17 7 0 0 0
/proc/16771/statm: 70765 5696 376 364 0 5652 0
[pid=16773] ppid=16771 vsize=118876 CPUtime=12.14 cores=1,3,5,7
/proc/16773/stat : 16773 (scip-2.0.1.linu) R 16771 16773 16773 0 -1 4202496 28843 0 0 0 1179 35 0 0 23 0 1 0 947902943 121729024 27443 33554432000 4194304 13684479 140734830841424 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16773/statm: 29719 27443 795 2317 0 27397 0
[pid=16765/tid=16772] ppid=16763 vsize=293304 CPUtime=0 cores=1,3,5,7
/proc/16765/task/16772/stat : 16772 (python) S 16763 16765 16077 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947902943 300343296 7194 33554432000 4194304 5683644 140733772801856 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 695240
[startup+25.5012 s]
/proc/loadavg: 2.05 1.36 0.59 3/398 16778
/proc/meminfo: memFree=27129492/32951124 swapFree=67056304/67111528
[pid=16765] ppid=16763 vsize=293304 CPUtime=0.45 cores=1,3,5,7
/proc/16765/stat : 16765 (python) S 16763 16765 16077 0 -1 4202496 9691 928 1 0 35 10 0 0 19 0 2 0 947902889 300343296 7194 33554432000 4194304 5683644 140733772801856 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16765/statm: 73326 7194 1870 364 0 8213 0
[pid=16771] ppid=16765 vsize=283060 CPUtime=0.06 cores=1,3,5,7
/proc/16771/stat : 16771 (python) S 16765 16765 16077 0 -1 4202560 906 0 0 0 3 3 0 0 15 0 1 0 947902943 289853440 5696 33554432000 4194304 5683644 140733772801856 18446744073709551615 260020416015 0 0 16781312 33554946 5623753486446373795 0 0 17 7 0 0 0
/proc/16771/statm: 70765 5696 376 364 0 5652 0
[pid=16773] ppid=16771 vsize=118876 CPUtime=24.95 cores=1,3,5,7
/proc/16773/stat : 16773 (scip-2.0.1.linu) R 16771 16773 16773 0 -1 4202496 28845 0 0 0 2425 70 0 0 25 0 1 0 947902943 121729024 27445 33554432000 4194304 13684479 140734830841424 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16773/statm: 29719 27445 796 2317 0 27397 0
[pid=16765/tid=16772] ppid=16763 vsize=293304 CPUtime=0 cores=1,3,5,7
/proc/16765/task/16772/stat : 16772 (python) S 16763 16765 16077 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947902943 300343296 7194 33554432000 4194304 5683644 140733772801856 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 695240
[startup+51.1005 s]
/proc/loadavg: 2.03 1.41 0.63 3/398 16779
/proc/meminfo: memFree=27125512/32951124 swapFree=67056304/67111528
[pid=16765] ppid=16763 vsize=293304 CPUtime=0.45 cores=1,3,5,7
/proc/16765/stat : 16765 (python) S 16763 16765 16077 0 -1 4202496 9691 928 1 0 35 10 0 0 19 0 2 0 947902889 300343296 7194 33554432000 4194304 5683644 140733772801856 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16765/statm: 73326 7194 1870 364 0 8213 0
[pid=16771] ppid=16765 vsize=283060 CPUtime=0.13 cores=1,3,5,7
/proc/16771/stat : 16771 (python) S 16765 16765 16077 0 -1 4202560 915 0 0 0 7 6 0 0 15 0 1 0 947902943 289853440 5696 33554432000 4194304 5683644 140733772801856 18446744073709551615 260020416015 0 0 16781312 33554946 5623753486446373795 0 0 17 7 0 0 0
/proc/16771/statm: 70765 5696 376 364 0 5652 0
[pid=16773] ppid=16771 vsize=118876 CPUtime=50.55 cores=1,3,5,7
/proc/16773/stat : 16773 (scip-2.0.1.linu) R 16771 16773 16773 0 -1 4202496 28855 0 0 0 4902 153 0 0 25 0 1 0 947902943 121729024 27455 33554432000 4194304 13684479 140734830841424 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16773/statm: 29719 27455 797 2317 0 27397 0
[pid=16765/tid=16772] ppid=16763 vsize=293304 CPUtime=0 cores=1,3,5,7
/proc/16765/task/16772/stat : 16772 (python) S 16763 16765 16077 0 -1 4202560 28 928 0 0 0 0 0 0 19 0 2 0 947902943 300343296 7194 33554432000 4194304 5683644 140733772801856 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 695240
Solver just ended. Dumping a history of the last processes samples
[startup+51.5014 s]
/proc/loadavg: 2.03 1.41 0.63 5/423 16804
/proc/meminfo: memFree=27102436/32951124 swapFree=67056304/67111528
[pid=16765] ppid=16763 vsize=304072 CPUtime=51.21 cores=1,3,5,7
/proc/16765/stat : 16765 (python) R 16763 16765 16077 0 -1 4202496 10606 30875 1 0 37 10 4913 161 17 0 3 0 947902889 311369728 7315 33554432000 4194304 5683644 140733772801856 18446744073709551615 4438573 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/16765/statm: 76018 7315 1873 364 0 10902 0
[pid=16785] ppid=16765 vsize=0 CPUtime=0.54 cores=1,3,5,7
/proc/16785/stat : 16785 (python) Z 16765 16765 16077 0 -1 4202588 1146 8663 0 1 0 0 53 1 16 0 1 0 947908004 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/16785/statm: 0 0 0 0 0 0 0
[pid=16765/tid=16772] ppid=16763 vsize=304072 CPUtime=50.74 cores=1,3,5,7
/proc/16765/task/16772/stat : 16772 (python) R 16763 16765 16077 0 -1 4202560 28 30875 0 0 0 0 4913 161 18 0 3 0 947902943 311369728 7315 33554432000 4194304 5683644 140733772801856 18446744073709551615 260032219569 0 0 16781312 33554434 0 0 0 -1 7 0 0 0
[pid=16765/tid=16786] ppid=16763 vsize=304064 CPUtime=50.74 cores=1,3,5,7
/proc/16765/task/16786/stat : 16786 (python) S 16763 16765 16077 0 -1 4202560 28 30875 0 0 0 0 4913 161 20 0 3 0 947908004 311361536 7314 33554432000 4194304 5683644 140733772801856 18446744073709551615 260032219569 0 0 16781312 33554434 18446604464518391872 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.75
Current children cumulated vsize (KiB) 304072
Child status: 0
Real time (s): 51.5217
CPU time (s): 51.8111
CPU user time (s): 50.0584
CPU system time (s): 1.75273
CPU usage (%): 100.562
Max. virtual memory (cumulated for all children) (KiB): 9545904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.0584
system time used= 1.75273
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55651
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1389
involuntary context switches= 185
runsolver used 0.140978 second user time and 0.396939 second system time
The end