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-3482018-1307576695/watcher-3482018-1307576695 -o /tmp/evaluation-result-3482018-1307576695/solver-3482018-1307576695 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482018-1307576695.opb -seed 683913730 -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: 2.27 1.39 0.60 2/532 22734
/proc/meminfo: memFree=23358260/32950928 swapFree=61542368/67111528
[pid=22734] ppid=22732 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/22734/stat : 22734 (python) R 22732 22734 22387 0 -1 4202496 898 0 0 0 0 0 0 0 20 0 1 0 947900409 16154624 779 33554432000 4194304 5683644 140733777870896 18446744073709551615 260905437319 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/22734/statm: 3944 779 343 364 0 431 0
[startup+0.059809 s]
/proc/loadavg: 2.27 1.39 0.60 2/532 22734
/proc/meminfo: memFree=23358260/32950928 swapFree=61542368/67111528
[pid=22734] ppid=22732 vsize=38904 CPUtime=0.03 cores=0,2,4,6
/proc/22734/stat : 22734 (python) S 22732 22734 22387 0 -1 4202496 1664 0 0 0 3 0 0 0 20 0 1 0 947900409 39837696 1491 33554432000 4194304 5683644 140733777870896 18446744073709551615 260900470407 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/22734/statm: 9726 1491 455 364 0 1026 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 38904
[startup+0.100799 s]
/proc/loadavg: 2.27 1.39 0.60 2/532 22734
/proc/meminfo: memFree=23358260/32950928 swapFree=61542368/67111528
[pid=22734] ppid=22732 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/22734/stat : 22734 (python) R 22732 22734 22387 0 -1 4202496 3168 930 1 0 6 1 0 0 20 0 1 0 947900409 98435072 2483 33554432000 4194304 5683644 140733777870896 18446744073709551615 5170258 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/22734/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.30076 s]
/proc/loadavg: 2.27 1.39 0.60 2/532 22734
/proc/meminfo: memFree=23358260/32950928 swapFree=61542368/67111528
[pid=22734] ppid=22732 vsize=123884 CPUtime=0.18 cores=0,2,4,6
/proc/22734/stat : 22734 (python) R 22732 22734 22387 0 -1 4202496 5395 930 1 0 13 5 0 0 17 0 1 0 947900409 126857216 3765 33554432000 4194304 5683644 140733777870896 18446744073709551615 260905390085 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/22734/statm: 30971 3765 987 364 0 2803 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123884
[startup+0.700688 s]
/proc/loadavg: 2.27 1.39 0.60 2/532 22734
/proc/meminfo: memFree=23358260/32950928 swapFree=61542368/67111528
[pid=22734] ppid=22732 vsize=293108 CPUtime=0.42 cores=0,2,4,6
/proc/22734/stat : 22734 (python) S 22732 22734 22387 0 -1 4202496 9638 930 1 0 33 9 0 0 19 0 2 0 947900409 300142592 7148 33554432000 4194304 5683644 140733777870896 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/22734/statm: 73277 7148 1870 364 0 8164 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293108
[startup+1.50065 s]
/proc/loadavg: 2.27 1.39 0.60 3/536 22743
/proc/meminfo: memFree=23316744/32950928 swapFree=61542368/67111528
[pid=22734] ppid=22732 vsize=293108 CPUtime=0.42 cores=0,2,4,6
/proc/22734/stat : 22734 (python) S 22732 22734 22387 0 -1 4202496 9638 930 1 0 33 9 0 0 19 0 2 0 947900409 300142592 7148 33554432000 4194304 5683644 140733777870896 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/22734/statm: 73277 7148 1870 364 0 8164 0
[pid=22740] ppid=22734 vsize=282864 CPUtime=0 cores=0,2,4,6
/proc/22740/stat : 22740 (python) S 22734 22734 22387 0 -1 4202560 750 0 0 0 0 0 0 0 15 0 1 0 947900467 289652736 5626 33554432000 4194304 5683644 140733777870896 18446744073709551615 260905414159 0 0 16781312 33554946 1330902801869438976 0 0 17 2 0 0 0
/proc/22740/statm: 70716 5626 352 364 0 5603 0
[pid=22742] ppid=22740 vsize=37216 CPUtime=0.91 cores=0,2,4,6
/proc/22742/stat : 22742 (scip-2.0.1.linu) R 22740 22742 22742 0 -1 4202496 7619 0 0 0 88 3 0 0 21 0 1 0 947900467 38109184 6986 33554432000 4194304 13684479 140734345069072 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22742/statm: 9304 6986 775 2317 0 6982 0
[pid=22734/tid=22741] ppid=22732 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/22734/task/22741/stat : 22741 (python) S 22732 22734 22387 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 947900467 300142592 7148 33554432000 4194304 5683644 140733777870896 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443201312896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 613188
[startup+3.10025 s]
/proc/loadavg: 2.25 1.40 0.60 3/536 22743
/proc/meminfo: memFree=23302360/32950928 swapFree=61542368/67111528
[pid=22734] ppid=22732 vsize=293108 CPUtime=0.42 cores=0,2,4,6
/proc/22734/stat : 22734 (python) S 22732 22734 22387 0 -1 4202496 9638 930 1 0 33 9 0 0 19 0 2 0 947900409 300142592 7148 33554432000 4194304 5683644 140733777870896 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/22734/statm: 73277 7148 1870 364 0 8164 0
[pid=22740] ppid=22734 vsize=282864 CPUtime=0 cores=0,2,4,6
/proc/22740/stat : 22740 (python) S 22734 22734 22387 0 -1 4202560 751 0 0 0 0 0 0 0 15 0 1 0 947900467 289652736 5626 33554432000 4194304 5683644 140733777870896 18446744073709551615 260905414159 0 0 16781312 33554946 17019182264044454145 0 0 17 2 0 0 0
/proc/22740/statm: 70716 5626 352 364 0 5603 0
[pid=22742] ppid=22740 vsize=39332 CPUtime=2.51 cores=0,2,4,6
/proc/22742/stat : 22742 (scip-2.0.1.linu) R 22740 22742 22742 0 -1 4202496 9087 0 0 0 244 7 0 0 19 0 1 0 947900467 40275968 7616 33554432000 4194304 13684479 140734345069072 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22742/statm: 9833 7616 795 2317 0 7511 0
[pid=22734/tid=22741] ppid=22732 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/22734/task/22741/stat : 22741 (python) S 22732 22734 22387 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 947900467 300142592 7148 33554432000 4194304 5683644 140733777870896 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443201312896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 615304
[startup+6.30078 s]
/proc/loadavg: 2.25 1.40 0.60 3/536 22743
/proc/meminfo: memFree=23303744/32950928 swapFree=61542368/67111528
[pid=22734] ppid=22732 vsize=293108 CPUtime=0.42 cores=0,2,4,6
/proc/22734/stat : 22734 (python) S 22732 22734 22387 0 -1 4202496 9638 930 1 0 33 9 0 0 19 0 2 0 947900409 300142592 7148 33554432000 4194304 5683644 140733777870896 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/22734/statm: 73277 7148 1870 364 0 8164 0
[pid=22740] ppid=22734 vsize=282864 CPUtime=0.01 cores=0,2,4,6
/proc/22740/stat : 22740 (python) S 22734 22734 22387 0 -1 4202560 889 0 0 0 1 0 0 0 15 0 1 0 947900467 289652736 5650 33554432000 4194304 5683644 140733777870896 18446744073709551615 260905414159 0 0 16781312 33554946 3429185829967233024 0 0 17 6 0 0 0
/proc/22740/statm: 70716 5650 376 364 0 5603 0
[pid=22742] ppid=22740 vsize=39332 CPUtime=5.71 cores=0,2,4,6
/proc/22742/stat : 22742 (scip-2.0.1.linu) R 22740 22742 22742 0 -1 4202496 9089 0 0 0 557 14 0 0 25 0 1 0 947900467 40275968 7618 33554432000 4194304 13684479 140734345069072 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22742/statm: 9833 7618 797 2317 0 7511 0
[pid=22734/tid=22741] ppid=22732 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/22734/task/22741/stat : 22741 (python) S 22732 22734 22387 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 947900467 300142592 7148 33554432000 4194304 5683644 140733777870896 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443201312896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 615304
Solver just ended. Dumping a history of the last processes samples
[startup+7.40051 s]
/proc/loadavg: 2.23 1.41 0.61 3/536 22743
/proc/meminfo: memFree=23303504/32950928 swapFree=61542368/67111528
[pid=22734] ppid=22732 vsize=293108 CPUtime=0.42 cores=0,2,4,6
/proc/22734/stat : 22734 (python) S 22732 22734 22387 0 -1 4202496 9638 930 1 0 33 9 0 0 19 0 2 0 947900409 300142592 7148 33554432000 4194304 5683644 140733777870896 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/22734/statm: 73277 7148 1870 364 0 8164 0
[pid=22740] ppid=22734 vsize=282864 CPUtime=0.01 cores=0,2,4,6
/proc/22740/stat : 22740 (python) S 22734 22734 22387 0 -1 4202560 889 0 0 0 1 0 0 0 15 0 1 0 947900467 289652736 5650 33554432000 4194304 5683644 140733777870896 18446744073709551615 260905414159 0 0 16781312 33554946 3429185829967233024 0 0 17 6 0 0 0
/proc/22740/statm: 70716 5650 376 364 0 5603 0
[pid=22742] ppid=22740 vsize=39332 CPUtime=6.81 cores=0,2,4,6
/proc/22742/stat : 22742 (scip-2.0.1.linu) R 22740 22742 22742 0 -1 4202496 9089 0 0 0 663 18 0 0 25 0 1 0 947900467 40275968 7618 33554432000 4194304 13684479 140734345069072 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22742/statm: 9833 7618 797 2317 0 7511 0
[pid=22734/tid=22741] ppid=22732 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/22734/task/22741/stat : 22741 (python) S 22732 22734 22387 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 947900467 300142592 7148 33554432000 4194304 5683644 140733777870896 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443201312896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 615304
[startup+10.601 s]
/proc/loadavg: 2.23 1.41 0.61 3/536 22743
/proc/meminfo: memFree=23303652/32950928 swapFree=61542368/67111528
[pid=22734] ppid=22732 vsize=293108 CPUtime=0.42 cores=0,2,4,6
/proc/22734/stat : 22734 (python) S 22732 22734 22387 0 -1 4202496 9638 930 1 0 33 9 0 0 19 0 2 0 947900409 300142592 7148 33554432000 4194304 5683644 140733777870896 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/22734/statm: 73277 7148 1870 364 0 8164 0
[pid=22740] ppid=22734 vsize=282864 CPUtime=0.03 cores=0,2,4,6
/proc/22740/stat : 22740 (python) S 22734 22734 22387 0 -1 4202560 891 0 0 0 2 1 0 0 15 0 1 0 947900467 289652736 5650 33554432000 4194304 5683644 140733777870896 18446744073709551615 260905414159 0 0 16781312 33554946 72556772316949211 0 0 17 6 0 0 0
/proc/22740/statm: 70716 5650 376 364 0 5603 0
[pid=22742] ppid=22740 vsize=39468 CPUtime=10.01 cores=0,2,4,6
/proc/22742/stat : 22742 (scip-2.0.1.linu) R 22740 22742 22742 0 -1 4202496 9091 0 0 0 978 23 0 0 25 0 1 0 947900467 40415232 7620 33554432000 4194304 13684479 140734345069072 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22742/statm: 9867 7620 797 2317 0 7545 0
[pid=22734/tid=22741] ppid=22732 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/22734/task/22741/stat : 22741 (python) S 22732 22734 22387 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 947900467 300142592 7148 33554432000 4194304 5683644 140733777870896 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443201312896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.46
Current children cumulated vsize (KiB) 615440
[startup+11.4008 s]
/proc/loadavg: 2.23 1.41 0.61 3/536 22743
/proc/meminfo: memFree=23304272/32950928 swapFree=61542368/67111528
[pid=22734] ppid=22732 vsize=293108 CPUtime=0.42 cores=0,2,4,6
/proc/22734/stat : 22734 (python) S 22732 22734 22387 0 -1 4202496 9638 930 1 0 33 9 0 0 19 0 2 0 947900409 300142592 7148 33554432000 4194304 5683644 140733777870896 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/22734/statm: 73277 7148 1870 364 0 8164 0
[pid=22740] ppid=22734 vsize=282864 CPUtime=0.03 cores=0,2,4,6
/proc/22740/stat : 22740 (python) S 22734 22734 22387 0 -1 4202560 891 0 0 0 2 1 0 0 15 0 1 0 947900467 289652736 5650 33554432000 4194304 5683644 140733777870896 18446744073709551615 260905414159 0 0 16781312 33554946 72556772316949211 0 0 17 6 0 0 0
/proc/22740/statm: 70716 5650 376 364 0 5603 0
[pid=22742] ppid=22740 vsize=39468 CPUtime=10.81 cores=0,2,4,6
/proc/22742/stat : 22742 (scip-2.0.1.linu) R 22740 22742 22742 0 -1 4202496 9092 0 0 0 1057 24 0 0 25 0 1 0 947900467 40415232 7621 33554432000 4194304 13684479 140734345069072 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22742/statm: 9867 7621 797 2317 0 7545 0
[pid=22734/tid=22741] ppid=22732 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/22734/task/22741/stat : 22741 (python) S 22732 22734 22387 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 947900467 300142592 7148 33554432000 4194304 5683644 140733777870896 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443201312896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.26
Current children cumulated vsize (KiB) 615440
[startup+11.8008 s]
/proc/loadavg: 2.23 1.41 0.61 3/536 22743
/proc/meminfo: memFree=23304272/32950928 swapFree=61542368/67111528
[pid=22734] ppid=22732 vsize=293108 CPUtime=0.42 cores=0,2,4,6
/proc/22734/stat : 22734 (python) S 22732 22734 22387 0 -1 4202496 9638 930 1 0 33 9 0 0 19 0 2 0 947900409 300142592 7148 33554432000 4194304 5683644 140733777870896 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/22734/statm: 73277 7148 1870 364 0 8164 0
[pid=22740] ppid=22734 vsize=282864 CPUtime=0.03 cores=0,2,4,6
/proc/22740/stat : 22740 (python) S 22734 22734 22387 0 -1 4202560 891 0 0 0 2 1 0 0 15 0 1 0 947900467 289652736 5650 33554432000 4194304 5683644 140733777870896 18446744073709551615 260905414159 0 0 16781312 33554946 72556772316949211 0 0 17 6 0 0 0
/proc/22740/statm: 70716 5650 376 364 0 5603 0
[pid=22742] ppid=22740 vsize=39468 CPUtime=11.21 cores=0,2,4,6
/proc/22742/stat : 22742 (scip-2.0.1.linu) R 22740 22742 22742 0 -1 4202496 9092 0 0 0 1096 25 0 0 25 0 1 0 947900467 40415232 7621 33554432000 4194304 13684479 140734345069072 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22742/statm: 9867 7621 797 2317 0 7545 0
[pid=22734/tid=22741] ppid=22732 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/22734/task/22741/stat : 22741 (python) S 22732 22734 22387 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 947900467 300142592 7148 33554432000 4194304 5683644 140733777870896 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443201312896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.66
Current children cumulated vsize (KiB) 615440
[startup+12.0007 s]
/proc/loadavg: 2.21 1.42 0.62 3/536 22743
/proc/meminfo: memFree=23303280/32950928 swapFree=61542368/67111528
[pid=22734] ppid=22732 vsize=293108 CPUtime=0.42 cores=0,2,4,6
/proc/22734/stat : 22734 (python) S 22732 22734 22387 0 -1 4202496 9638 930 1 0 33 9 0 0 19 0 2 0 947900409 300142592 7148 33554432000 4194304 5683644 140733777870896 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/22734/statm: 73277 7148 1870 364 0 8164 0
[pid=22740] ppid=22734 vsize=282864 CPUtime=0.03 cores=0,2,4,6
/proc/22740/stat : 22740 (python) S 22734 22734 22387 0 -1 4202560 891 0 0 0 2 1 0 0 15 0 1 0 947900467 289652736 5650 33554432000 4194304 5683644 140733777870896 18446744073709551615 260905414159 0 0 16781312 33554946 72556772316949211 0 0 17 6 0 0 0
/proc/22740/statm: 70716 5650 376 364 0 5603 0
[pid=22742] ppid=22740 vsize=39468 CPUtime=11.42 cores=0,2,4,6
/proc/22742/stat : 22742 (scip-2.0.1.linu) R 22740 22742 22742 0 -1 4202496 9092 0 0 0 1116 26 0 0 25 0 1 0 947900467 40415232 7621 33554432000 4194304 13684479 140734345069072 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22742/statm: 9867 7621 797 2317 0 7545 0
[pid=22734/tid=22741] ppid=22732 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/22734/task/22741/stat : 22741 (python) S 22732 22734 22387 0 -1 4202560 27 930 0 0 0 0 0 0 19 0 2 0 947900467 300142592 7148 33554432000 4194304 5683644 140733777870896 18446744073709551615 260917217713 0 0 16781312 33554434 18446604443201312896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.87
Current children cumulated vsize (KiB) 615440
Child status: 0
Real time (s): 12.0823
CPU time (s): 11.9982
CPU user time (s): 11.6042
CPU system time (s): 0.39394
CPU usage (%): 99.3036
Max. virtual memory (cumulated for all children) (KiB): 615440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.6042
system time used= 0.39394
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25265
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= 1650
involuntary context switches= 33
runsolver used 0.056991 second user time and 0.139978 second system time
The end