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-3481475-1307577863/watcher-3481475-1307577863 -o /tmp/evaluation-result-3481475-1307577863/solver-3481475-1307577863 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481475-1307577863.opb -seed 396870955 -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.19 2.11 1.66 3/718 3676
/proc/meminfo: memFree=20094392/32950928 swapFree=41528364/67111528
[pid=3676] ppid=3674 vsize=15784 CPUtime=0 cores=1,3,5,7
/proc/3676/stat : 3676 (python) R 3674 3676 2544 0 -1 4202496 938 0 0 0 0 0 0 0 25 0 1 0 869385048 16162816 816 33554432000 4194304 5683644 140735044989840 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3676/statm: 3979 817 356 364 0 466 0
[startup+0.0469261 s]
/proc/loadavg: 2.19 2.11 1.66 3/718 3676
/proc/meminfo: memFree=20094392/32950928 swapFree=41528364/67111528
[pid=3676] ppid=3674 vsize=29792 CPUtime=0.02 cores=1,3,5,7
/proc/3676/stat : 3676 (python) S 3674 3676 2544 0 -1 4202496 1415 0 0 0 2 0 0 0 25 0 1 0 869385048 30507008 1258 33554432000 4194304 5683644 140735044989840 18446744073709551615 251814238208 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/3676/statm: 7448 1258 443 364 0 818 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29792
[startup+0.106742 s]
/proc/loadavg: 2.19 2.11 1.66 3/718 3676
/proc/meminfo: memFree=20094392/32950928 swapFree=41528364/67111528
[pid=3676] ppid=3674 vsize=96128 CPUtime=0.08 cores=1,3,5,7
/proc/3676/stat : 3676 (python) R 3674 3676 2544 0 -1 4202496 3168 931 1 0 6 2 0 0 18 0 1 0 869385048 98435072 2483 33554432000 4194304 5683644 140735044989840 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/3676/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.300662 s]
/proc/loadavg: 2.19 2.11 1.66 3/718 3676
/proc/meminfo: memFree=20094392/32950928 swapFree=41528364/67111528
[pid=3676] ppid=3674 vsize=205568 CPUtime=0.21 cores=1,3,5,7
/proc/3676/stat : 3676 (python) R 3674 3676 2544 0 -1 4202496 6788 931 1 0 16 5 0 0 17 0 1 0 869385048 210501632 5056 33554432000 4194304 5683644 140735044989840 18446744073709551615 251814238208 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/3676/statm: 51392 5056 1483 364 0 3783 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 205568
[startup+1.34848 s]
/proc/loadavg: 2.19 2.11 1.66 3/718 3676
/proc/meminfo: memFree=20094392/32950928 swapFree=41528364/67111528
[pid=3676] ppid=3674 vsize=293388 CPUtime=0.42 cores=1,3,5,7
/proc/3676/stat : 3676 (python) S 3674 3676 2544 0 -1 4202496 10726 1328 1 0 34 8 0 0 20 0 2 0 869385048 300429312 7193 33554432000 4194304 5683644 140735044989840 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 14
/proc/3676/statm: 73347 7193 1871 364 0 8234 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293388
[startup+1.50046 s]
/proc/loadavg: 2.19 2.11 1.66 3/718 3676
/proc/meminfo: memFree=20094392/32950928 swapFree=41528364/67111528
[pid=3676] ppid=3674 vsize=293388 CPUtime=0.42 cores=1,3,5,7
/proc/3676/stat : 3676 (python) S 3674 3676 2544 0 -1 4202496 10726 1328 1 0 34 8 0 0 20 0 2 0 869385048 300429312 7193 33554432000 4194304 5683644 140735044989840 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 14
/proc/3676/statm: 73347 7193 1871 364 0 8234 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293388
[startup+3.12422 s]
/proc/loadavg: 2.33 2.14 1.68 3/718 3717
/proc/meminfo: memFree=20089912/32950928 swapFree=41528364/67111528
[pid=3676] ppid=3674 vsize=293388 CPUtime=0.42 cores=1,3,5,7
/proc/3676/stat : 3676 (python) S 3674 3676 2544 0 -1 4202496 10726 1328 1 0 34 8 0 0 20 0 2 0 869385048 300429312 7193 33554432000 4194304 5683644 140735044989840 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 14
/proc/3676/statm: 73347 7193 1871 364 0 8234 0
[pid=3703] ppid=3676 vsize=283144 CPUtime=0 cores=1,3,5,7
/proc/3703/stat : 3703 (python) S 3676 3676 2544 0 -1 4202560 856 0 0 0 0 0 0 0 15 0 1 0 869385116 289939456 5643 33554432000 4194304 5683644 140735044989840 18446744073709551615 251814260239 0 0 16781312 33554946 372458116505141248 0 0 17 1 0 0 0
/proc/3703/statm: 70786 5643 325 364 0 5673 0
[pid=3705] ppid=3703 vsize=32420 CPUtime=2.43 cores=1,3,5,7
/proc/3705/stat : 3705 (scip-2.0.1.linu) R 3703 3705 3705 0 -1 4202496 8196 0 0 0 226 17 0 0 18 0 1 0 869385117 33198080 5951 33554432000 4194304 13684479 140735999695408 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3705/statm: 8105 5951 801 2317 0 5783 0
[pid=3676/tid=3704] ppid=3674 vsize=293388 CPUtime=0 cores=1,3,5,7
/proc/3676/task/3704/stat : 3704 (python) S 3674 3676 2544 0 -1 4202560 29 1328 0 0 0 0 0 0 20 0 2 0 869385117 300429312 7193 33554432000 4194304 5683644 140735044989840 18446744073709551615 251826063793 0 0 16781312 33554434 18446604463605076992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 608952
Solver just ended. Dumping a history of the last processes samples
[startup+3.20117 s]
/proc/loadavg: 2.33 2.14 1.68 3/718 3717
/proc/meminfo: memFree=20089912/32950928 swapFree=41528364/67111528
[pid=3676] ppid=3674 vsize=293388 CPUtime=0.42 cores=1,3,5,7
/proc/3676/stat : 3676 (python) S 3674 3676 2544 0 -1 4202496 10726 1328 1 0 34 8 0 0 20 0 2 0 869385048 300429312 7193 33554432000 4194304 5683644 140735044989840 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 14
/proc/3676/statm: 73347 7193 1871 364 0 8234 0
[pid=3703] ppid=3676 vsize=283144 CPUtime=0 cores=1,3,5,7
/proc/3703/stat : 3703 (python) S 3676 3676 2544 0 -1 4202560 856 0 0 0 0 0 0 0 15 0 1 0 869385116 289939456 5643 33554432000 4194304 5683644 140735044989840 18446744073709551615 251814260239 0 0 16781312 33554946 372458116505141248 0 0 17 1 0 0 0
/proc/3703/statm: 70786 5643 325 364 0 5673 0
[pid=3705] ppid=3703 vsize=32420 CPUtime=2.51 cores=1,3,5,7
/proc/3705/stat : 3705 (scip-2.0.1.linu) R 3703 3705 3705 0 -1 4202496 8196 0 0 0 233 18 0 0 18 0 1 0 869385117 33198080 5951 33554432000 4194304 13684479 140735999695408 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3705/statm: 8105 5951 801 2317 0 5783 0
[pid=3676/tid=3704] ppid=3674 vsize=293388 CPUtime=0 cores=1,3,5,7
/proc/3676/task/3704/stat : 3704 (python) S 3674 3676 2544 0 -1 4202560 29 1328 0 0 0 0 0 0 20 0 2 0 869385117 300429312 7193 33554432000 4194304 5683644 140735044989840 18446744073709551615 251826063793 0 0 16781312 33554434 18446604463605076992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 608952
[startup+4.00104 s]
/proc/loadavg: 2.33 2.14 1.68 3/718 3717
/proc/meminfo: memFree=20089912/32950928 swapFree=41528364/67111528
[pid=3676] ppid=3674 vsize=293388 CPUtime=0.42 cores=1,3,5,7
/proc/3676/stat : 3676 (python) S 3674 3676 2544 0 -1 4202496 10726 1328 1 0 34 8 0 0 20 0 2 0 869385048 300429312 7193 33554432000 4194304 5683644 140735044989840 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 14
/proc/3676/statm: 73347 7193 1871 364 0 8234 0
[pid=3703] ppid=3676 vsize=283144 CPUtime=0 cores=1,3,5,7
/proc/3703/stat : 3703 (python) S 3676 3676 2544 0 -1 4202560 856 0 0 0 0 0 0 0 15 0 1 0 869385116 289939456 5643 33554432000 4194304 5683644 140735044989840 18446744073709551615 251814260239 0 0 16781312 33554946 372458116505141248 0 0 17 1 0 0 0
/proc/3703/statm: 70786 5643 325 364 0 5673 0
[pid=3705] ppid=3703 vsize=32420 CPUtime=3.31 cores=1,3,5,7
/proc/3705/stat : 3705 (scip-2.0.1.linu) R 3703 3705 3705 0 -1 4202496 8201 0 0 0 308 23 0 0 19 0 1 0 869385117 33198080 5956 33554432000 4194304 13684479 140735999695408 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3705/statm: 8105 5956 806 2317 0 5783 0
[pid=3676/tid=3704] ppid=3674 vsize=293388 CPUtime=0 cores=1,3,5,7
/proc/3676/task/3704/stat : 3704 (python) S 3674 3676 2544 0 -1 4202560 29 1328 0 0 0 0 0 0 20 0 2 0 869385117 300429312 7193 33554432000 4194304 5683644 140735044989840 18446744073709551615 251826063793 0 0 16781312 33554434 18446604463605076992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 608952
[startup+4.222 s]
/proc/loadavg: 2.33 2.14 1.68 3/721 3721
/proc/meminfo: memFree=20036320/32950928 swapFree=41528364/67111528
[pid=3676] ppid=3674 vsize=293388 CPUtime=0.42 cores=1,3,5,7
/proc/3676/stat : 3676 (python) S 3674 3676 2544 0 -1 4202496 10726 1328 1 0 34 8 0 0 20 0 2 0 869385048 300429312 7193 33554432000 4194304 5683644 140735044989840 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 14
/proc/3676/statm: 73347 7193 1871 364 0 8234 0
[pid=3703] ppid=3676 vsize=283144 CPUtime=0.02 cores=1,3,5,7
/proc/3703/stat : 3703 (python) S 3676 3676 2544 0 -1 4202560 982 0 0 0 1 1 0 0 15 0 1 0 869385116 289939456 5666 33554432000 4194304 5683644 140735044989840 18446744073709551615 251814260239 0 0 16781312 33554946 10889196581739790598 0 0 17 1 0 0 0
/proc/3703/statm: 70786 5666 348 364 0 5673 0
[pid=3705] ppid=3703 vsize=32420 CPUtime=3.53 cores=1,3,5,7
/proc/3705/stat : 3705 (scip-2.0.1.linu) R 3703 3705 3705 0 -1 4202496 8201 0 0 0 329 24 0 0 19 0 1 0 869385117 33198080 5956 33554432000 4194304 13684479 140735999695408 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3705/statm: 8105 5956 806 2317 0 5783 0
[pid=3676/tid=3704] ppid=3674 vsize=293388 CPUtime=0 cores=1,3,5,7
/proc/3676/task/3704/stat : 3704 (python) S 3674 3676 2544 0 -1 4202560 29 1328 0 0 0 0 0 0 20 0 2 0 869385117 300429312 7193 33554432000 4194304 5683644 140735044989840 18446744073709551615 251826063793 0 0 16781312 33554434 18446604463605076992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 608952
[startup+4.30099 s]
/proc/loadavg: 2.33 2.14 1.68 3/721 3721
/proc/meminfo: memFree=20036320/32950928 swapFree=41528364/67111528
[pid=3676] ppid=3674 vsize=293388 CPUtime=0.42 cores=1,3,5,7
/proc/3676/stat : 3676 (python) S 3674 3676 2544 0 -1 4202496 10726 1328 1 0 34 8 0 0 20 0 2 0 869385048 300429312 7193 33554432000 4194304 5683644 140735044989840 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 14
/proc/3676/statm: 73347 7193 1871 364 0 8234 0
[pid=3703] ppid=3676 vsize=283144 CPUtime=0.02 cores=1,3,5,7
/proc/3703/stat : 3703 (python) S 3676 3676 2544 0 -1 4202560 982 0 0 0 1 1 0 0 15 0 1 0 869385116 289939456 5666 33554432000 4194304 5683644 140735044989840 18446744073709551615 251814260239 0 0 16781312 33554946 10889196581739790598 0 0 17 1 0 0 0
/proc/3703/statm: 70786 5666 348 364 0 5673 0
[pid=3705] ppid=3703 vsize=32420 CPUtime=3.61 cores=1,3,5,7
/proc/3705/stat : 3705 (scip-2.0.1.linu) R 3703 3705 3705 0 -1 4202496 8201 0 0 0 336 25 0 0 19 0 1 0 869385117 33198080 5956 33554432000 4194304 13684479 140735999695408 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3705/statm: 8105 5956 806 2317 0 5783 0
[pid=3676/tid=3704] ppid=3674 vsize=293388 CPUtime=0 cores=1,3,5,7
/proc/3676/task/3704/stat : 3704 (python) S 3674 3676 2544 0 -1 4202560 29 1328 0 0 0 0 0 0 20 0 2 0 869385117 300429312 7193 33554432000 4194304 5683644 140735044989840 18446744073709551615 251826063793 0 0 16781312 33554434 18446604463605076992 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 608952
Child status: 0
Real time (s): 4.3672
CPU time (s): 4.16037
CPU user time (s): 3.78942
CPU system time (s): 0.370943
CPU usage (%): 95.2639
Max. virtual memory (cumulated for all children) (KiB): 609700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.78942
system time used= 0.370943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26015
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= 1427
involuntary context switches= 23
runsolver used 0.029995 second user time and 0.05999 second system time
The end