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-3482681-1307576509/watcher-3482681-1307576509 -o /tmp/evaluation-result-3482681-1307576509/solver-3482681-1307576509 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482681-1307576509.opb -seed 1224744113 -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.45 0.42 0.14 2/498 15506
/proc/meminfo: memFree=30853060/32951124 swapFree=53876552/67111528
[pid=15506] ppid=15503 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/15506/stat : 15506 (python) R 15503 15506 15018 0 -1 4202496 997 0 0 0 0 0 0 0 17 0 1 0 869251869 16629760 869 33554432000 4194304 5683644 140735122326176 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15506/statm: 4060 869 368 364 0 547 0
[startup+0.041867 s]
/proc/loadavg: 1.45 0.42 0.14 2/498 15506
/proc/meminfo: memFree=30853060/32951124 swapFree=53876552/67111528
[pid=15506] ppid=15503 vsize=18888 CPUtime=0.03 cores=1,3,5,7
/proc/15506/stat : 15506 (python) S 15503 15506 15018 0 -1 4202496 1289 0 0 0 3 0 0 0 17 0 1 0 869251869 19341312 1141 33554432000 4194304 5683644 140735122326176 18446744073709551615 270613108736 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/15506/statm: 4722 1141 421 364 0 691 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18888
[startup+0.100676 s]
/proc/loadavg: 1.45 0.42 0.14 2/498 15506
/proc/meminfo: memFree=30853060/32951124 swapFree=53876552/67111528
[pid=15506] ppid=15503 vsize=34424 CPUtime=0.03 cores=1,3,5,7
/proc/15506/stat : 15506 (python) S 15503 15506 15018 0 -1 4202496 1553 0 0 0 3 0 0 0 17 0 1 0 869251869 35250176 1388 33554432000 4194304 5683644 140735122326176 18446744073709551615 270608187015 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/15506/statm: 8606 1388 448 364 0 944 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 34424
[startup+0.300657 s]
/proc/loadavg: 1.45 0.42 0.14 2/498 15506
/proc/meminfo: memFree=30853060/32951124 swapFree=53876552/67111528
[pid=15506] ppid=15503 vsize=119984 CPUtime=0.11 cores=1,3,5,7
/proc/15506/stat : 15506 (python) S 15503 15506 15018 0 -1 4202496 4930 930 1 0 9 2 0 0 17 0 1 0 869251869 122863616 3351 33554432000 4194304 5683644 140735122326176 18446744073709551615 270613108736 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/15506/statm: 29996 3351 919 364 0 2445 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 119984
[startup+0.700498 s]
/proc/loadavg: 1.45 0.42 0.14 2/498 15506
/proc/meminfo: memFree=30853060/32951124 swapFree=53876552/67111528
[pid=15506] ppid=15503 vsize=293096 CPUtime=0.41 cores=1,3,5,7
/proc/15506/stat : 15506 (python) S 15503 15506 15018 0 -1 4202496 9637 930 1 0 33 8 0 0 18 0 2 0 869251869 300130304 7144 33554432000 4194304 5683644 140735122326176 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15506/statm: 73274 7144 1870 364 0 8161 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 293096
Solver just ended. Dumping a history of the last processes samples
[startup+1.12042 s]
/proc/loadavg: 1.45 0.42 0.14 5/519 15534
/proc/meminfo: memFree=30771392/32951124 swapFree=53876552/67111528
[pid=15506] ppid=15503 vsize=293096 CPUtime=0.41 cores=1,3,5,7
/proc/15506/stat : 15506 (python) S 15503 15506 15018 0 -1 4202496 9637 930 1 0 33 8 0 0 18 0 2 0 869251869 300130304 7144 33554432000 4194304 5683644 140735122326176 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/15506/statm: 73274 7144 1870 364 0 8161 0
[pid=15515] ppid=15506 vsize=282852 CPUtime=0 cores=1,3,5,7
/proc/15515/stat : 15515 (python) S 15506 15506 15018 0 -1 4202560 750 0 0 0 0 0 0 0 15 0 1 0 869251935 289640448 5622 33554432000 4194304 5683644 140735122326176 18446744073709551615 270613130767 0 0 16781312 33554946 1575287390199578886 0 0 17 3 0 0 0
/proc/15515/statm: 70713 5622 352 364 0 5600 0
[pid=15517] ppid=15515 vsize=8534332 CPUtime=0.23 cores=1,3,5,7
/proc/15517/stat : 15517 (java) S 15515 15517 15517 0 -1 4202496 6000 0 115 0 21 2 0 0 19 0 19 0 869251936 8739155968 5563 33554432000 1073741824 1073778376 140734807304000 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8
/proc/15517/statm: 2133583 5563 2175 9 0 2124324 0
[pid=15517/tid=15518] ppid=15515 vsize=8534332 CPUtime=0.16 cores=1,3,5,7
/proc/15517/task/15518/stat : 15518 (java) R 15515 15517 15517 0 -1 4202560 3657 0 53 0 15 1 0 0 19 0 19 0 869251946 8739155968 5563 33554432000 1073741824 1073778376 140734807304000 18446744073709551615 46912505228572 0 4 0 16800975 0 0 0 -1 1 0 0 17
[pid=15517/tid=15519] ppid=15515 vsize=8534332 CPUtime=0 cores=1,3,5,7
/proc/15517/task/15519/stat : 15519 (java) S 15515 15517 15517 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869251949 8739155968 5563 33554432000 1073741824 1073778376 140734807304000 18446744073709551615 270624926617 0 4 0 16800975 18446604455590393792 0 0 -1 7 0 0 0
[pid=15517/tid=15520] ppid=15515 vsize=8534332 CPUtime=0 cores=1,3,5,7
/proc/15517/task/15520/stat : 15520 (java) S 15515 15517 15517 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869251949 8739155968 5563 33554432000 1073741824 1073778376 140734807304000 18446744073709551615 270624926617 0 4 0 16800975 18446604455590393792 0 0 -1 7 0 0 0
[pid=15517/tid=15521] ppid=15515 vsize=8534332 CPUtime=0 cores=1,3,5,7
/proc/15517/task/15521/stat : 15521 (java) S 15515 15517 15517 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869251949 8739155968 5563 33554432000 1073741824 1073778376 140734807304000 18446744073709551615 270624926617 0 4 0 16800975 18446604455590393792 0 0 -1 7 0 0 0
[pid=15517/tid=15522] ppid=15515 vsize=8534332 CPUtime=0 cores=1,3,5,7
/proc/15517/task/15522/stat : 15522 (java) S 15515 15517 15517 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869251949 8739155968 5563 33554432000 1073741824 1073778376 140734807304000 18446744073709551615 270624926617 0 4 0 16800975 18446604455590393792 0 0 -1 7 0 0 0
[pid=15517/tid=15523] ppid=15515 vsize=8534332 CPUtime=0 cores=1,3,5,7
/proc/15517/task/15523/stat : 15523 (java) S 15515 15517 15517 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869251949 8739155968 5563 33554432000 1073741824 1073778376 140734807304000 18446744073709551615 270624926617 0 4 0 16800975 18446604455590393792 0 0 -1 7 0 0 0
[pid=15517/tid=15524] ppid=15515 vsize=8534332 CPUtime=0 cores=1,3,5,7
/proc/15517/task/15524/stat : 15524 (java) S 15515 15517 15517 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869251949 8739155968 5563 33554432000 1073741824 1073778376 140734807304000 18446744073709551615 270624926617 0 4 0 16800975 18446604455590393792 0 0 -1 7 0 0 0
[pid=15517/tid=15525] ppid=15515 vsize=8534332 CPUtime=0 cores=1,3,5,7
/proc/15517/task/15525/stat : 15525 (java) S 15515 15517 15517 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869251949 8739155968 5563 33554432000 1073741824 1073778376 140734807304000 18446744073709551615 270624926617 0 4 0 16800975 18446604455590393792 0 0 -1 7 0 0 0
[pid=15517/tid=15526] ppid=15515 vsize=8534332 CPUtime=0 cores=1,3,5,7
/proc/15517/task/15526/stat : 15526 (java) S 15515 15517 15517 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869251949 8739155968 5563 33554432000 1073741824 1073778376 140734807304000 18446744073709551615 270624926617 0 4 0 16800975 18446604455590393792 0 0 -1 7 0 0 0
[pid=15517/tid=15527] ppid=15515 vsize=8534332 CPUtime=0 cores=1,3,5,7
/proc/15517/task/15527/stat : 15527 (java) S 15515 15517 15517 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869251952 8739155968 5563 33554432000 1073741824 1073778376 140734807304000 18446744073709551615 270624927232 0 0 0 16800975 18446604455590393792 0 0 -1 7 0 0 0
[pid=15517/tid=15528] ppid=15515 vsize=8534332 CPUtime=0 cores=1,3,5,7
/proc/15517/task/15528/stat : 15528 (java) S 15515 15517 15517 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869251954 8739155968 5563 33554432000 1073741824 1073778376 140734807304000 18446744073709551615 270624926617 0 4 0 16800975 18446604455590393792 0 0 -1 7 0 0 0
[pid=15517/tid=15529] ppid=15515 vsize=8534332 CPUtime=0 cores=1,3,5,7
/proc/15517/task/15529/stat : 15529 (java) S 15515 15517 15517 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 869251954 8739155968 5563 33554432000 1073741824 1073778376 140734807304000 18446744073709551615 270624926617 0 4 0 16800975 18446604455590393792 0 0 -1 7 0 0 0
[pid=15517/tid=15530] ppid=15515 vsize=8534332 CPUtime=0 cores=1,3,5,7
/proc/15517/task/15530/stat : 15530 (java) S 15515 15517 15517 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869251959 8739155968 5563 33554432000 1073741824 1073778376 140734807304000 18446744073709551615 270624934321 0 4 0 16800975 18446604455590393792 0 0 -1 7 0 0 0
[pid=15517/tid=15531] ppid=15515 vsize=8534332 CPUtime=0.03 cores=1,3,5,7
/proc/15517/task/15531/stat : 15531 (java) R 15515 15517 15517 0 -1 4202560 400 0 2 0 3 0 0 0 24 0 19 0 869251959 8739155968 5563 33554432000 1073741824 1073778376 140734807304000 18446744073709551615 47977945490091 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15517/tid=15532] ppid=15515 vsize=8534332 CPUtime=0.02 cores=1,3,5,7
/proc/15517/task/15532/stat : 15532 (java) R 15515 15517 15517 0 -1 4202560 616 0 2 0 2 0 0 0 24 0 19 0 869251959 8739155968 5563 33554432000 1073741824 1073778376 140734807304000 18446744073709551615 47977945292785 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15517/tid=15533] ppid=15515 vsize=8534332 CPUtime=0 cores=1,3,5,7
/proc/15517/task/15533/stat : 15533 (java) S 15515 15517 15517 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869251959 8739155968 5563 33554432000 1073741824 1073778376 140734807304000 18446744073709551615 270624926617 0 4 0 16800975 18446604455590393792 0 0 -1 7 0 0 0
[pid=15517/tid=15534] ppid=15515 vsize=8534332 CPUtime=0 cores=1,3,5,7
/proc/15517/task/15534/stat : 15534 (java) S 15515 15517 15517 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869251959 8739155968 5563 33554432000 1073741824 1073778376 140734807304000 18446744073709551615 270624927232 0 4 0 16800975 18446604455590393792 0 0 -1 3 0 0 0
[pid=15506/tid=15516] ppid=15503 vsize=293096 CPUtime=0 cores=1,3,5,7
/proc/15506/task/15516/stat : 15516 (python) S 15503 15506 15018 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 869251936 300130304 7144 33554432000 4194304 5683644 140735122326176 18446744073709551615 270624934321 0 0 16781312 33554434 18446604460606469248 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 9110280
[startup+1.20141 s]
/proc/loadavg: 1.45 0.42 0.14 5/519 15534
/proc/meminfo: memFree=30771392/32951124 swapFree=53876552/67111528
[pid=15506] ppid=15503 vsize=293072 CPUtime=0.8 cores=1,3,5,7
/proc/15506/stat : 15506 (python) R 15503 15506 15018 0 -1 4202496 13695 9644 1 115 34 8 36 2 18 0 1 0 869251869 300105728 7144 33554432000 4194304 5683644 140735122326176 18446744073709551615 4499476 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/15506/statm: 73268 7144 1870 364 0 8161 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 293072
Child status: 0
Real time (s): 1.20631
CPU time (s): 0.835872
CPU user time (s): 0.714891
CPU system time (s): 0.120981
CPU usage (%): 69.2919
Max. virtual memory (cumulated for all children) (KiB): 9110280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.714891
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23691
page faults= 116
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1608
involuntary context switches= 94
runsolver used 0.014997 second user time and 0.023996 second system time
The end