runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3729220-1338713928/watcher-3729220-1338713928 -o /tmp/evaluation-result-3729220-1338713928/solver-3729220-1338713928 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3729220-1338713928.opb -seed 1919677751 -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.16 1.71 1.61 2/188 3054
/proc/meminfo: memFree=31231892/32873844 swapFree=7116/7116
[pid=3054] ppid=3052 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/3054/stat : 3054 (python) R 3052 3054 2614 0 -1 4202496 751 0 0 0 0 0 0 0 20 0 1 0 337517806 15749120 625 33554432000 4194304 5683644 140734612167392 140734612125848 240565216183 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3054/statm: 3845 628 333 364 0 287 0
[startup+0.060062 s]
/proc/loadavg: 2.16 1.71 1.61 2/188 3054
/proc/meminfo: memFree=31231892/32873844 swapFree=7116/7116
[pid=3054] ppid=3052 vsize=30308 CPUtime=0.04 cores=1,3,5,7
/proc/3054/stat : 3054 (python) D 3052 3054 2614 0 -1 4202496 1653 0 0 0 3 1 0 0 20 0 1 0 337517806 31035392 1358 33554432000 4194304 5683644 140734612167392 140734612079928 240565175184 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3054/statm: 7577 1358 452 364 0 902 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 30308
[startup+0.100329 s]
/proc/loadavg: 2.16 1.71 1.61 2/188 3054
/proc/meminfo: memFree=31231892/32873844 swapFree=7116/7116
[pid=3054] ppid=3052 vsize=92396 CPUtime=0.06 cores=1,3,5,7
/proc/3054/stat : 3054 (python) S 3052 3054 2614 0 -1 4202496 3070 0 1 0 4 2 0 0 20 0 1 0 337517806 94613504 2527 33554432000 4194304 5683644 140734612167392 140734612119864 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3054/statm: 23099 2527 816 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 92396
[startup+0.300263 s]
/proc/loadavg: 2.16 1.71 1.61 2/188 3054
/proc/meminfo: memFree=31231892/32873844 swapFree=7116/7116
[pid=3054] ppid=3052 vsize=166948 CPUtime=0.21 cores=1,3,5,7
/proc/3054/stat : 3054 (python) D 3052 3054 2614 0 -1 4202496 6513 1007 1 0 16 5 0 0 20 0 1 0 337517806 170954752 4318 33554432000 4194304 5683644 140734612167392 140734612067384 240565175184 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3054/statm: 41737 4318 1215 364 0 3290 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 166948
[startup+0.700274 s]
/proc/loadavg: 2.16 1.71 1.61 2/188 3054
/proc/meminfo: memFree=31231892/32873844 swapFree=7116/7116
[pid=3054] ppid=3052 vsize=357244 CPUtime=0.42 cores=1,3,5,7
/proc/3054/stat : 3054 (python) S 3052 3054 2614 0 -1 4202496 10523 1007 1 0 34 8 0 0 20 0 2 0 337517806 365817856 7203 33554432000 4194304 5683644 140734612167392 140734612162224 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3054/statm: 89311 7203 1900 364 0 24534 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 357244
[startup+1.50033 s]
/proc/loadavg: 2.16 1.71 1.61 3/192 3062
/proc/meminfo: memFree=31200968/32873844 swapFree=7116/7116
[pid=3054] ppid=3052 vsize=357244 CPUtime=0.42 cores=1,3,5,7
/proc/3054/stat : 3054 (python) S 3052 3054 2614 0 -1 4202496 10523 1007 1 0 34 8 0 0 20 0 2 0 337517806 365817856 7203 33554432000 4194304 5683644 140734612167392 140734612162224 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3054/statm: 89311 7203 1900 364 0 24534 0
[pid=3060] ppid=3054 vsize=281464 CPUtime=0 cores=1,3,5,7
/proc/3060/stat : 3060 (python) S 3054 3054 2614 0 -1 4202560 744 0 0 0 0 0 0 0 20 0 1 0 337517863 288219136 5638 33554432000 4194304 5683644 140734612167392 140734612158480 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 5 0 0 0 0 0
/proc/3060/statm: 70366 5638 341 364 0 5589 0
[pid=3062] ppid=3060 vsize=7696 CPUtime=0.91 cores=1,3,5,7
/proc/3062/stat : 3062 (pbct-0.1.2-linu) R 3060 3062 3062 0 -1 4202496 1807 0 0 0 83 8 0 0 20 0 1 0 337517863 7880704 1552 33554432000 134512640 136422188 4293360816 4293358140 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/3062/statm: 1924 1552 213 467 0 1455 0
[pid=3054/tid=3061] ppid=3052 vsize=357244 CPUtime=0 cores=1,3,5,7
/proc/3054/task/3061/stat : 3061 (python) S 3052 3054 2614 0 -1 4202560 27 1007 0 0 0 0 0 0 20 0 2 0 337517863 365817856 7203 33554432000 4194304 5683644 140734612167392 140553484530224 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 646404
[startup+3.10033 s]
/proc/loadavg: 2.31 1.75 1.62 3/192 3062
/proc/meminfo: memFree=31201216/32873844 swapFree=7116/7116
[pid=3054] ppid=3052 vsize=357244 CPUtime=0.42 cores=1,3,5,7
/proc/3054/stat : 3054 (python) S 3052 3054 2614 0 -1 4202496 10523 1007 1 0 34 8 0 0 20 0 2 0 337517806 365817856 7203 33554432000 4194304 5683644 140734612167392 140734612162224 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3054/statm: 89311 7203 1900 364 0 24534 0
[pid=3060] ppid=3054 vsize=281464 CPUtime=0 cores=1,3,5,7
/proc/3060/stat : 3060 (python) S 3054 3054 2614 0 -1 4202560 746 0 0 0 0 0 0 0 20 0 1 0 337517863 288219136 5638 33554432000 4194304 5683644 140734612167392 140734612158480 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3060/statm: 70366 5638 341 364 0 5589 0
[pid=3062] ppid=3060 vsize=7824 CPUtime=2.51 cores=1,3,5,7
/proc/3062/stat : 3062 (pbct-0.1.2-linu) R 3060 3062 3062 0 -1 4202496 1845 0 0 0 226 25 0 0 20 0 1 0 337517863 8011776 1590 33554432000 134512640 136422188 4293360816 4293358540 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/3062/statm: 1956 1590 213 467 0 1487 0
[pid=3054/tid=3061] ppid=3052 vsize=357244 CPUtime=0 cores=1,3,5,7
/proc/3054/task/3061/stat : 3061 (python) S 3052 3054 2614 0 -1 4202560 27 1007 0 0 0 0 0 0 20 0 2 0 337517863 365817856 7203 33554432000 4194304 5683644 140734612167392 140553484530224 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 646532
Solver just ended. Dumping a history of the last processes samples
[startup+3.70033 s]
/proc/loadavg: 2.31 1.75 1.62 3/192 3062
/proc/meminfo: memFree=31201216/32873844 swapFree=7116/7116
[pid=3054] ppid=3052 vsize=357244 CPUtime=0.42 cores=1,3,5,7
/proc/3054/stat : 3054 (python) S 3052 3054 2614 0 -1 4202496 10523 1007 1 0 34 8 0 0 20 0 2 0 337517806 365817856 7203 33554432000 4194304 5683644 140734612167392 140734612162224 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3054/statm: 89311 7203 1900 364 0 24534 0
[pid=3060] ppid=3054 vsize=281464 CPUtime=0 cores=1,3,5,7
/proc/3060/stat : 3060 (python) S 3054 3054 2614 0 -1 4202560 874 0 0 0 0 0 0 0 20 0 1 0 337517863 288219136 5660 33554432000 4194304 5683644 140734612167392 140734612158480 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3060/statm: 70366 5660 363 364 0 5589 0
[pid=3062] ppid=3060 vsize=7824 CPUtime=3.11 cores=1,3,5,7
/proc/3062/stat : 3062 (pbct-0.1.2-linu) R 3060 3062 3062 0 -1 4202496 1845 0 0 0 280 31 0 0 20 0 1 0 337517863 8011776 1590 33554432000 134512640 136422188 4293360816 4293358540 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/3062/statm: 1956 1590 213 467 0 1487 0
[pid=3054/tid=3061] ppid=3052 vsize=357244 CPUtime=0 cores=1,3,5,7
/proc/3054/task/3061/stat : 3061 (python) S 3052 3054 2614 0 -1 4202560 27 1007 0 0 0 0 0 0 20 0 2 0 337517863 365817856 7203 33554432000 4194304 5683644 140734612167392 140553484530224 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 646532
[startup+4.50032 s]
/proc/loadavg: 2.31 1.75 1.62 3/192 3062
/proc/meminfo: memFree=31203324/32873844 swapFree=7116/7116
[pid=3054] ppid=3052 vsize=357244 CPUtime=0.42 cores=1,3,5,7
/proc/3054/stat : 3054 (python) S 3052 3054 2614 0 -1 4202496 10523 1007 1 0 34 8 0 0 20 0 2 0 337517806 365817856 7203 33554432000 4194304 5683644 140734612167392 140734612162224 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3054/statm: 89311 7203 1900 364 0 24534 0
[pid=3060] ppid=3054 vsize=281464 CPUtime=0 cores=1,3,5,7
/proc/3060/stat : 3060 (python) S 3054 3054 2614 0 -1 4202560 874 0 0 0 0 0 0 0 20 0 1 0 337517863 288219136 5660 33554432000 4194304 5683644 140734612167392 140734612158480 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3060/statm: 70366 5660 363 364 0 5589 0
[pid=3062] ppid=3060 vsize=7824 CPUtime=3.91 cores=1,3,5,7
/proc/3062/stat : 3062 (pbct-0.1.2-linu) R 3060 3062 3062 0 -1 4202496 1845 0 0 0 353 38 0 0 20 0 1 0 337517863 8011776 1590 33554432000 134512640 136422188 4293360816 4293358540 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/3062/statm: 1956 1590 213 467 0 1487 0
[pid=3054/tid=3061] ppid=3052 vsize=357244 CPUtime=0 cores=1,3,5,7
/proc/3054/task/3061/stat : 3061 (python) S 3052 3054 2614 0 -1 4202560 27 1007 0 0 0 0 0 0 20 0 2 0 337517863 365817856 7203 33554432000 4194304 5683644 140734612167392 140553484530224 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 646532
[startup+4.90032 s]
/proc/loadavg: 2.31 1.75 1.62 3/192 3062
/proc/meminfo: memFree=31203448/32873844 swapFree=7116/7116
[pid=3054] ppid=3052 vsize=357244 CPUtime=0.42 cores=1,3,5,7
/proc/3054/stat : 3054 (python) S 3052 3054 2614 0 -1 4202496 10523 1007 1 0 34 8 0 0 20 0 2 0 337517806 365817856 7203 33554432000 4194304 5683644 140734612167392 140734612162224 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3054/statm: 89311 7203 1900 364 0 24534 0
[pid=3060] ppid=3054 vsize=281464 CPUtime=0 cores=1,3,5,7
/proc/3060/stat : 3060 (python) S 3054 3054 2614 0 -1 4202560 874 0 0 0 0 0 0 0 20 0 1 0 337517863 288219136 5660 33554432000 4194304 5683644 140734612167392 140734612158480 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3060/statm: 70366 5660 363 364 0 5589 0
[pid=3062] ppid=3060 vsize=7824 CPUtime=4.32 cores=1,3,5,7
/proc/3062/stat : 3062 (pbct-0.1.2-linu) R 3060 3062 3062 0 -1 4202496 1845 0 0 0 390 42 0 0 20 0 1 0 337517863 8011776 1590 33554432000 134512640 136422188 4293360816 4293358540 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/3062/statm: 1956 1590 213 467 0 1487 0
[pid=3054/tid=3061] ppid=3052 vsize=357244 CPUtime=0 cores=1,3,5,7
/proc/3054/task/3061/stat : 3061 (python) S 3052 3054 2614 0 -1 4202560 27 1007 0 0 0 0 0 0 20 0 2 0 337517863 365817856 7203 33554432000 4194304 5683644 140734612167392 140553484530224 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 646532
[startup+5.30033 s]
/proc/loadavg: 2.31 1.75 1.62 3/192 3062
/proc/meminfo: memFree=31203448/32873844 swapFree=7116/7116
[pid=3054] ppid=3052 vsize=357244 CPUtime=0.42 cores=1,3,5,7
/proc/3054/stat : 3054 (python) S 3052 3054 2614 0 -1 4202496 10523 1007 1 0 34 8 0 0 20 0 2 0 337517806 365817856 7203 33554432000 4194304 5683644 140734612167392 140734612162224 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3054/statm: 89311 7203 1900 364 0 24534 0
[pid=3060] ppid=3054 vsize=281464 CPUtime=0 cores=1,3,5,7
/proc/3060/stat : 3060 (python) S 3054 3054 2614 0 -1 4202560 874 0 0 0 0 0 0 0 20 0 1 0 337517863 288219136 5660 33554432000 4194304 5683644 140734612167392 140734612158480 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3060/statm: 70366 5660 363 364 0 5589 0
[pid=3062] ppid=3060 vsize=7952 CPUtime=4.71 cores=1,3,5,7
/proc/3062/stat : 3062 (pbct-0.1.2-linu) R 3060 3062 3062 0 -1 4202496 1863 0 0 0 426 45 0 0 20 0 1 0 337517863 8142848 1608 33554432000 134512640 136422188 4293360816 4293358540 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/3062/statm: 1988 1608 213 467 0 1519 0
[pid=3054/tid=3061] ppid=3052 vsize=357244 CPUtime=0 cores=1,3,5,7
/proc/3054/task/3061/stat : 3061 (python) S 3052 3054 2614 0 -1 4202560 27 1007 0 0 0 0 0 0 20 0 2 0 337517863 365817856 7203 33554432000 4194304 5683644 140734612167392 140553484530224 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.13
Current children cumulated vsize (KiB) 646660
[startup+5.40033 s]
/proc/loadavg: 2.31 1.75 1.62 3/192 3062
/proc/meminfo: memFree=31203448/32873844 swapFree=7116/7116
[pid=3054] ppid=3052 vsize=357244 CPUtime=0.42 cores=1,3,5,7
/proc/3054/stat : 3054 (python) S 3052 3054 2614 0 -1 4202496 10523 1007 1 0 34 8 0 0 20 0 2 0 337517806 365817856 7203 33554432000 4194304 5683644 140734612167392 140734612162224 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3054/statm: 89311 7203 1900 364 0 24534 0
[pid=3060] ppid=3054 vsize=281464 CPUtime=0 cores=1,3,5,7
/proc/3060/stat : 3060 (python) S 3054 3054 2614 0 -1 4202560 874 0 0 0 0 0 0 0 20 0 1 0 337517863 288219136 5660 33554432000 4194304 5683644 140734612167392 140734612158480 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3060/statm: 70366 5660 363 364 0 5589 0
[pid=3062] ppid=3060 vsize=7952 CPUtime=4.81 cores=1,3,5,7
/proc/3062/stat : 3062 (pbct-0.1.2-linu) R 3060 3062 3062 0 -1 4202496 1863 0 0 0 435 46 0 0 20 0 1 0 337517863 8142848 1608 33554432000 134512640 136422188 4293360816 4293358540 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/3062/statm: 1988 1608 213 467 0 1519 0
[pid=3054/tid=3061] ppid=3052 vsize=357244 CPUtime=0 cores=1,3,5,7
/proc/3054/task/3061/stat : 3061 (python) S 3052 3054 2614 0 -1 4202560 27 1007 0 0 0 0 0 0 20 0 2 0 337517863 365817856 7203 33554432000 4194304 5683644 140734612167392 140553484530224 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 646660
Child status: 0
Real time (s): 5.4462
CPU time (s): 5.31919
CPU user time (s): 4.74728
CPU system time (s): 0.571913
CPU usage (%): 97.6679
Max. virtual memory (cumulated for all children) (KiB): 646660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.74728
system time used= 0.571913
maximum resident set size= 28956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19007
page faults= 1
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1006
involuntary context switches= 48
runsolver used 0.008998 second user time and 0.024996 second system time
The end