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-3729870-1338714096/watcher-3729870-1338714096 -o /tmp/evaluation-result-3729870-1338714096/solver-3729870-1338714096 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3729870-1338714096.opb -seed 132502686 -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.20 1.62 1.50 2/179 28508
/proc/meminfo: memFree=26298400/32873648 swapFree=7120/7120
[pid=28508] ppid=28506 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/28508/stat : 28508 (python) D 28506 28508 27000 0 -1 4202496 633 0 0 0 0 0 0 0 20 0 1 0 337537137 15642624 527 33554432000 4194304 5683644 140734621089776 140734621075688 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/28508/statm: 3819 527 312 364 0 261 0
[startup+0.084233 s]
/proc/loadavg: 2.20 1.62 1.50 2/179 28508
/proc/meminfo: memFree=26298400/32873648 swapFree=7120/7120
[pid=28508] ppid=28506 vsize=19084 CPUtime=0.01 cores=1,3,5,7
/proc/28508/stat : 28508 (python) D 28506 28508 27000 0 -1 4202496 1339 0 0 0 1 0 0 0 20 0 1 0 337537137 19542016 1103 33554432000 4194304 5683644 140734621089776 140734621029768 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/28508/statm: 4771 1103 430 364 0 695 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19084
[startup+0.100218 s]
/proc/loadavg: 2.20 1.62 1.50 2/179 28508
/proc/meminfo: memFree=26298400/32873648 swapFree=7120/7120
[pid=28508] ppid=28506 vsize=19084 CPUtime=0.02 cores=1,3,5,7
/proc/28508/stat : 28508 (python) R 28506 28508 27000 0 -1 4202496 1397 0 0 0 2 0 0 0 20 0 1 0 337537137 19542016 1152 33554432000 4194304 5683644 140734621089776 140734621020280 219513596688 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/28508/statm: 4771 1152 430 364 0 695 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19084
[startup+0.300238 s]
/proc/loadavg: 2.20 1.62 1.50 2/179 28508
/proc/meminfo: memFree=26298400/32873648 swapFree=7120/7120
[pid=28508] ppid=28506 vsize=99656 CPUtime=0.1 cores=1,3,5,7
/proc/28508/stat : 28508 (python) R 28506 28508 27000 0 -1 4202496 3968 1010 1 0 8 2 0 0 20 0 1 0 337537137 102047744 2658 33554432000 4194304 5683644 140734621089776 140734620963864 219513587124 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/28508/statm: 24914 2680 838 364 0 1721 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 99656
[startup+0.700233 s]
/proc/loadavg: 2.20 1.62 1.50 2/179 28508
/proc/meminfo: memFree=26298400/32873648 swapFree=7120/7120
[pid=28508] ppid=28506 vsize=166948 CPUtime=0.21 cores=1,3,5,7
/proc/28508/stat : 28508 (python) D 28506 28508 27000 0 -1 4202496 6529 1010 1 0 16 5 0 0 20 0 1 0 337537137 170954752 4328 33554432000 4194304 5683644 140734621089776 140734620976040 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/28508/statm: 41737 4328 1215 364 0 3290 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 166948
[startup+1.50018 s]
/proc/loadavg: 2.20 1.62 1.50 2/180 28513
/proc/meminfo: memFree=26278420/32873648 swapFree=7120/7120
[pid=28508] ppid=28506 vsize=357612 CPUtime=0.45 cores=1,3,5,7
/proc/28508/stat : 28508 (python) S 28506 28508 27000 0 -1 4202496 10599 1010 1 0 37 8 0 0 20 0 2 0 337537137 366194688 7282 33554432000 4194304 5683644 140734621089776 140734621084608 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28508/statm: 89403 7282 1892 364 0 24626 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 357612
[startup+3.10027 s]
/proc/loadavg: 2.20 1.62 1.50 3/183 28516
/proc/meminfo: memFree=26380008/32873648 swapFree=7120/7120
[pid=28508] ppid=28506 vsize=357612 CPUtime=0.45 cores=1,3,5,7
/proc/28508/stat : 28508 (python) S 28506 28508 27000 0 -1 4202496 10599 1010 1 0 37 8 0 0 20 0 2 0 337537137 366194688 7282 33554432000 4194304 5683644 140734621089776 140734621084608 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28508/statm: 89403 7282 1892 364 0 24626 0
[pid=28514] ppid=28508 vsize=281832 CPUtime=0 cores=1,3,5,7
/proc/28514/stat : 28514 (python) S 28508 28508 27000 0 -1 4202560 735 0 0 0 0 0 0 0 20 0 1 0 337537265 288595968 5725 33554432000 4194304 5683644 140734621089776 140734621080864 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/28514/statm: 70458 5725 341 364 0 5681 0
[pid=28516] ppid=28514 vsize=2660 CPUtime=1.81 cores=1,3,5,7
/proc/28516/stat : 28516 (clasp-1.3.7-x86) R 28514 28516 28516 0 -1 4202496 660 0 0 0 181 0 0 0 20 0 1 0 337537265 2723840 413 33554432000 134512640 136139019 4288642352 4288641328 134883407 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/28516/statm: 665 413 183 398 0 265 0
[pid=28508/tid=28515] ppid=28506 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/28508/task/28515/stat : 28515 (python) S 28506 28508 27000 0 -1 4202560 25 1010 0 0 0 0 0 0 20 0 2 0 337537265 366194688 7282 33554432000 4194304 5683644 140734621089776 139695015813680 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 642104
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+3.90027 s]
/proc/loadavg: 2.20 1.62 1.50 3/183 28516
/proc/meminfo: memFree=26379264/32873648 swapFree=7120/7120
[pid=28508] ppid=28506 vsize=357612 CPUtime=0.45 cores=1,3,5,7
/proc/28508/stat : 28508 (python) S 28506 28508 27000 0 -1 4202496 10599 1010 1 0 37 8 0 0 20 0 2 0 337537137 366194688 7282 33554432000 4194304 5683644 140734621089776 140734621084608 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28508/statm: 89403 7282 1892 364 0 24626 0
[pid=28514] ppid=28508 vsize=281832 CPUtime=0 cores=1,3,5,7
/proc/28514/stat : 28514 (python) S 28508 28508 27000 0 -1 4202560 736 0 0 0 0 0 0 0 20 0 1 0 337537265 288595968 5725 33554432000 4194304 5683644 140734621089776 140734621080864 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/28514/statm: 70458 5725 341 364 0 5681 0
[pid=28516] ppid=28514 vsize=2660 CPUtime=2.61 cores=1,3,5,7
/proc/28516/stat : 28516 (clasp-1.3.7-x86) R 28514 28516 28516 0 -1 4202496 673 0 0 0 261 0 0 0 20 0 1 0 337537265 2723840 426 33554432000 134512640 136139019 4288642352 4288641328 134882910 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/28516/statm: 665 426 183 398 0 265 0
[pid=28508/tid=28515] ppid=28506 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/28508/task/28515/stat : 28515 (python) S 28506 28508 27000 0 -1 4202560 25 1010 0 0 0 0 0 0 20 0 2 0 337537265 366194688 7282 33554432000 4194304 5683644 140734621089776 139695015813680 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 642104
[startup+4.70027 s]
/proc/loadavg: 2.27 1.65 1.50 3/183 28516
/proc/meminfo: memFree=26377040/32873648 swapFree=7120/7120
[pid=28508] ppid=28506 vsize=357612 CPUtime=0.45 cores=1,3,5,7
/proc/28508/stat : 28508 (python) S 28506 28508 27000 0 -1 4202496 10599 1010 1 0 37 8 0 0 20 0 2 0 337537137 366194688 7282 33554432000 4194304 5683644 140734621089776 140734621084608 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28508/statm: 89403 7282 1892 364 0 24626 0
[pid=28514] ppid=28508 vsize=281832 CPUtime=0 cores=1,3,5,7
/proc/28514/stat : 28514 (python) S 28508 28508 27000 0 -1 4202560 881 0 0 0 0 0 0 0 20 0 1 0 337537265 288595968 5747 33554432000 4194304 5683644 140734621089776 140734621080864 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/28514/statm: 70458 5747 363 364 0 5681 0
[pid=28516] ppid=28514 vsize=2796 CPUtime=3.41 cores=1,3,5,7
/proc/28516/stat : 28516 (clasp-1.3.7-x86) R 28514 28516 28516 0 -1 4202496 680 0 0 0 341 0 0 0 20 0 1 0 337537265 2863104 433 33554432000 134512640 136139019 4288642352 4288641328 134883474 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/28516/statm: 699 433 183 398 0 299 0
[pid=28508/tid=28515] ppid=28506 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/28508/task/28515/stat : 28515 (python) S 28506 28508 27000 0 -1 4202560 25 1010 0 0 0 0 0 0 20 0 2 0 337537265 366194688 7282 33554432000 4194304 5683644 140734621089776 139695015813680 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 642240
[startup+4.90027 s]
/proc/loadavg: 2.27 1.65 1.50 3/183 28516
/proc/meminfo: memFree=26377040/32873648 swapFree=7120/7120
[pid=28508] ppid=28506 vsize=357612 CPUtime=0.45 cores=1,3,5,7
/proc/28508/stat : 28508 (python) S 28506 28508 27000 0 -1 4202496 10599 1010 1 0 37 8 0 0 20 0 2 0 337537137 366194688 7282 33554432000 4194304 5683644 140734621089776 140734621084608 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28508/statm: 89403 7282 1892 364 0 24626 0
[pid=28514] ppid=28508 vsize=281832 CPUtime=0 cores=1,3,5,7
/proc/28514/stat : 28514 (python) S 28508 28508 27000 0 -1 4202560 881 0 0 0 0 0 0 0 20 0 1 0 337537265 288595968 5747 33554432000 4194304 5683644 140734621089776 140734621080864 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/28514/statm: 70458 5747 363 364 0 5681 0
[pid=28516] ppid=28514 vsize=2796 CPUtime=3.61 cores=1,3,5,7
/proc/28516/stat : 28516 (clasp-1.3.7-x86) R 28514 28516 28516 0 -1 4202496 682 0 0 0 361 0 0 0 20 0 1 0 337537265 2863104 435 33554432000 134512640 136139019 4288642352 4288641328 134883785 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/28516/statm: 699 435 183 398 0 299 0
[pid=28508/tid=28515] ppid=28506 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/28508/task/28515/stat : 28515 (python) S 28506 28508 27000 0 -1 4202560 25 1010 0 0 0 0 0 0 20 0 2 0 337537265 366194688 7282 33554432000 4194304 5683644 140734621089776 139695015813680 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 642240
[startup+5.00028 s]
/proc/loadavg: 2.27 1.65 1.50 3/183 28516
/proc/meminfo: memFree=26377040/32873648 swapFree=7120/7120
[pid=28508] ppid=28506 vsize=357612 CPUtime=0.45 cores=1,3,5,7
/proc/28508/stat : 28508 (python) S 28506 28508 27000 0 -1 4202496 10599 1010 1 0 37 8 0 0 20 0 2 0 337537137 366194688 7282 33554432000 4194304 5683644 140734621089776 140734621084608 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28508/statm: 89403 7282 1892 364 0 24626 0
[pid=28514] ppid=28508 vsize=281832 CPUtime=0 cores=1,3,5,7
/proc/28514/stat : 28514 (python) S 28508 28508 27000 0 -1 4202560 881 0 0 0 0 0 0 0 20 0 1 0 337537265 288595968 5747 33554432000 4194304 5683644 140734621089776 140734621080864 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/28514/statm: 70458 5747 363 364 0 5681 0
[pid=28516] ppid=28514 vsize=2796 CPUtime=3.71 cores=1,3,5,7
/proc/28516/stat : 28516 (clasp-1.3.7-x86) R 28514 28516 28516 0 -1 4202496 682 0 0 0 371 0 0 0 20 0 1 0 337537265 2863104 435 33554432000 134512640 136139019 4288642352 4288641264 134612654 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/28516/statm: 699 435 183 398 0 299 0
[pid=28508/tid=28515] ppid=28506 vsize=357612 CPUtime=0 cores=1,3,5,7
/proc/28508/task/28515/stat : 28515 (python) S 28506 28508 27000 0 -1 4202560 25 1010 0 0 0 0 0 0 20 0 2 0 337537265 366194688 7282 33554432000 4194304 5683644 140734621089776 139695015813680 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 642240
Child status: 0
Real time (s): 5.0268
CPU time (s): 4.22336
CPU user time (s): 4.12437
CPU system time (s): 0.098984
CPU usage (%): 84.0169
Max. virtual memory (cumulated for all children) (KiB): 642240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.12437
system time used= 0.098984
maximum resident set size= 29388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17906
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= 1856
involuntary context switches= 22
runsolver used 0.005999 second user time and 0.030995 second system time
The end