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-3729194-1338713923/watcher-3729194-1338713923 -o /tmp/evaluation-result-3729194-1338713923/solver-3729194-1338713923 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3729194-1338713923.opb -seed 1953877172 -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.23 1.08 1.33 3/179 27097
/proc/meminfo: memFree=26431180/32873648 swapFree=7120/7120
[pid=27097] ppid=27095 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/27097/stat : 27097 (python) D 27095 27097 27000 0 -1 4202496 753 0 0 0 0 0 0 0 20 0 1 0 337519821 15749120 628 33554432000 4194304 5683644 140736953895584 140736953836072 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/27097/statm: 3845 628 333 364 0 287 0
[startup+0.0221909 s]
/proc/loadavg: 1.23 1.08 1.33 3/179 27097
/proc/meminfo: memFree=26431180/32873648 swapFree=7120/7120
[pid=27097] ppid=27095 vsize=16620 CPUtime=0.01 cores=1,3,5,7
/proc/27097/stat : 27097 (python) R 27095 27097 27000 0 -1 4202496 1157 0 0 0 1 0 0 0 20 0 1 0 337519821 17018880 969 33554432000 4194304 5683644 140736953895584 140736953878952 5210636 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/27097/statm: 4155 969 399 364 0 597 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16620
[startup+0.1002 s]
/proc/loadavg: 1.23 1.08 1.33 3/179 27097
/proc/meminfo: memFree=26431180/32873648 swapFree=7120/7120
[pid=27097] ppid=27095 vsize=36708 CPUtime=0.04 cores=1,3,5,7
/proc/27097/stat : 27097 (python) R 27095 27097 27000 0 -1 4202496 1711 0 0 0 4 0 0 0 20 0 1 0 337519821 37588992 1413 33554432000 4194304 5683644 140736953895584 140736953813848 4509097 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/27097/statm: 9177 1413 461 364 0 949 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36708
[startup+0.300255 s]
/proc/loadavg: 1.23 1.08 1.33 3/179 27097
/proc/meminfo: memFree=26431180/32873648 swapFree=7120/7120
[pid=27097] ppid=27095 vsize=107224 CPUtime=0.1 cores=1,3,5,7
/proc/27097/stat : 27097 (python) R 27095 27097 27000 0 -1 4202496 4700 1008 1 0 9 1 0 0 20 0 1 0 337519821 109797376 2917 33554432000 4194304 5683644 140736953895584 140736953718648 4620076 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/27097/statm: 26806 2918 905 364 0 1913 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 107224
[startup+0.700267 s]
/proc/loadavg: 1.23 1.08 1.33 3/179 27097
/proc/meminfo: memFree=26431180/32873648 swapFree=7120/7120
[pid=27097] ppid=27095 vsize=183228 CPUtime=0.23 cores=1,3,5,7
/proc/27097/stat : 27097 (python) D 27095 27097 27000 0 -1 4202496 6985 1008 1 0 18 5 0 0 20 0 1 0 337519821 187625472 4711 33554432000 4194304 5683644 140736953895584 140736953754440 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/27097/statm: 45807 4711 1278 364 0 3649 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 183228
[startup+1.50011 s]
/proc/loadavg: 1.23 1.08 1.33 2/180 27102
/proc/meminfo: memFree=26412936/32873648 swapFree=7120/7120
[pid=27097] ppid=27095 vsize=357240 CPUtime=0.42 cores=1,3,5,7
/proc/27097/stat : 27097 (python) S 27095 27097 27000 0 -1 4202496 10512 1008 1 0 33 9 0 0 20 0 2 0 337519821 365813760 7195 33554432000 4194304 5683644 140736953895584 140736953890416 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27097/statm: 89310 7195 1892 364 0 24533 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 357240
[startup+3.10032 s]
/proc/loadavg: 1.29 1.09 1.34 3/183 27105
/proc/meminfo: memFree=26401984/32873648 swapFree=7120/7120
[pid=27097] ppid=27095 vsize=357240 CPUtime=0.42 cores=1,3,5,7
/proc/27097/stat : 27097 (python) S 27095 27097 27000 0 -1 4202496 10512 1008 1 0 33 9 0 0 20 0 2 0 337519821 365813760 7195 33554432000 4194304 5683644 140736953895584 140736953890416 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27097/statm: 89310 7195 1892 364 0 24533 0
[pid=27103] ppid=27097 vsize=281460 CPUtime=0 cores=1,3,5,7
/proc/27103/stat : 27103 (python) S 27097 27097 27000 0 -1 4202560 737 0 0 0 0 0 0 0 20 0 1 0 337519936 288215040 5638 33554432000 4194304 5683644 140736953895584 140736953886672 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/27103/statm: 70365 5638 341 364 0 5588 0
[pid=27105] ppid=27103 vsize=7848 CPUtime=1.93 cores=1,3,5,7
/proc/27105/stat : 27105 (pbct-0.1.2-linu) R 27103 27105 27105 0 -1 4202496 1827 0 0 0 174 19 0 0 20 0 1 0 337519936 8036352 1578 33554432000 134512640 136422188 4290145152 4290142476 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/27105/statm: 1962 1578 213 467 0 1493 0
[pid=27097/tid=27104] ppid=27095 vsize=357240 CPUtime=0 cores=1,3,5,7
/proc/27097/task/27104/stat : 27104 (python) S 27095 27097 27000 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 337519936 365813760 7195 33554432000 4194304 5683644 140736953895584 139890282742320 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 646548
heavy processes:
[startup+6.30033 s]
/proc/loadavg: 1.29 1.09 1.34 3/183 27105
/proc/meminfo: memFree=26396904/32873648 swapFree=7120/7120
[pid=27097] ppid=27095 vsize=357240 CPUtime=0.42 cores=1,3,5,7
/proc/27097/stat : 27097 (python) S 27095 27097 27000 0 -1 4202496 10512 1008 1 0 33 9 0 0 20 0 2 0 337519821 365813760 7195 33554432000 4194304 5683644 140736953895584 140736953890416 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27097/statm: 89310 7195 1892 364 0 24533 0
[pid=27103] ppid=27097 vsize=281460 CPUtime=0 cores=1,3,5,7
/proc/27103/stat : 27103 (python) S 27097 27097 27000 0 -1 4202560 872 0 0 0 0 0 0 0 20 0 1 0 337519936 288215040 5661 33554432000 4194304 5683644 140736953895584 140736953886672 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/27103/statm: 70365 5661 364 364 0 5588 0
[pid=27105] ppid=27103 vsize=8104 CPUtime=5.13 cores=1,3,5,7
/proc/27105/stat : 27105 (pbct-0.1.2-linu) R 27103 27105 27105 0 -1 4202496 1893 0 0 0 463 50 0 0 20 0 1 0 337519936 8298496 1644 33554432000 134512640 136422188 4290145152 4290142476 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/27105/statm: 2026 1644 213 467 0 1557 0
[pid=27097/tid=27104] ppid=27095 vsize=357240 CPUtime=0 cores=1,3,5,7
/proc/27097/task/27104/stat : 27104 (python) S 27095 27097 27000 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 337519936 365813760 7195 33554432000 4194304 5683644 140736953895584 139890282742320 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (KiB) 646804
Solver just ended. Dumping a history of the last processes samples
[startup+7.10028 s]
/proc/loadavg: 1.29 1.09 1.34 3/183 27105
/proc/meminfo: memFree=26399756/32873648 swapFree=7120/7120
[pid=27097] ppid=27095 vsize=357240 CPUtime=0.42 cores=1,3,5,7
/proc/27097/stat : 27097 (python) S 27095 27097 27000 0 -1 4202496 10512 1008 1 0 33 9 0 0 20 0 2 0 337519821 365813760 7195 33554432000 4194304 5683644 140736953895584 140736953890416 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27097/statm: 89310 7195 1892 364 0 24533 0
[pid=27103] ppid=27097 vsize=281460 CPUtime=0 cores=1,3,5,7
/proc/27103/stat : 27103 (python) S 27097 27097 27000 0 -1 4202560 872 0 0 0 0 0 0 0 20 0 1 0 337519936 288215040 5661 33554432000 4194304 5683644 140736953895584 140736953886672 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/27103/statm: 70365 5661 364 364 0 5588 0
[pid=27105] ppid=27103 vsize=8104 CPUtime=5.92 cores=1,3,5,7
/proc/27105/stat : 27105 (pbct-0.1.2-linu) R 27103 27105 27105 0 -1 4202496 1894 0 0 0 535 57 0 0 20 0 1 0 337519936 8298496 1645 33554432000 134512640 136422188 4290145152 4290142476 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/27105/statm: 2026 1645 213 467 0 1557 0
[pid=27097/tid=27104] ppid=27095 vsize=357240 CPUtime=0 cores=1,3,5,7
/proc/27097/task/27104/stat : 27104 (python) S 27095 27097 27000 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 337519936 365813760 7195 33554432000 4194304 5683644 140736953895584 139890282742320 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.34
Current children cumulated vsize (KiB) 646804
[startup+7.90028 s]
/proc/loadavg: 1.43 1.12 1.34 3/175 27135
/proc/meminfo: memFree=26431092/32873648 swapFree=7120/7120
[pid=27097] ppid=27095 vsize=357240 CPUtime=0.42 cores=1,3,5,7
/proc/27097/stat : 27097 (python) S 27095 27097 27000 0 -1 4202496 10512 1008 1 0 33 9 0 0 20 0 2 0 337519821 365813760 7195 33554432000 4194304 5683644 140736953895584 140736953890416 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27097/statm: 89310 7195 1892 364 0 24533 0
[pid=27103] ppid=27097 vsize=281460 CPUtime=0 cores=1,3,5,7
/proc/27103/stat : 27103 (python) S 27097 27097 27000 0 -1 4202560 872 0 0 0 0 0 0 0 20 0 1 0 337519936 288215040 5661 33554432000 4194304 5683644 140736953895584 140736953886672 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/27103/statm: 70365 5661 364 364 0 5588 0
[pid=27105] ppid=27103 vsize=8104 CPUtime=6.73 cores=1,3,5,7
/proc/27105/stat : 27105 (pbct-0.1.2-linu) R 27103 27105 27105 0 -1 4202496 1894 0 0 0 607 66 0 0 20 0 1 0 337519936 8298496 1645 33554432000 134512640 136422188 4290145152 4290142876 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/27105/statm: 2026 1645 213 467 0 1557 0
[pid=27097/tid=27104] ppid=27095 vsize=357240 CPUtime=0 cores=1,3,5,7
/proc/27097/task/27104/stat : 27104 (python) S 27095 27097 27000 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 337519936 365813760 7195 33554432000 4194304 5683644 140736953895584 139890282742320 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 646804
[startup+8.10028 s]
/proc/loadavg: 1.43 1.12 1.34 3/175 27135
/proc/meminfo: memFree=26431092/32873648 swapFree=7120/7120
[pid=27097] ppid=27095 vsize=357240 CPUtime=0.42 cores=1,3,5,7
/proc/27097/stat : 27097 (python) S 27095 27097 27000 0 -1 4202496 10512 1008 1 0 33 9 0 0 20 0 2 0 337519821 365813760 7195 33554432000 4194304 5683644 140736953895584 140736953890416 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27097/statm: 89310 7195 1892 364 0 24533 0
[pid=27103] ppid=27097 vsize=281460 CPUtime=0 cores=1,3,5,7
/proc/27103/stat : 27103 (python) S 27097 27097 27000 0 -1 4202560 872 0 0 0 0 0 0 0 20 0 1 0 337519936 288215040 5661 33554432000 4194304 5683644 140736953895584 140736953886672 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/27103/statm: 70365 5661 364 364 0 5588 0
[pid=27105] ppid=27103 vsize=8104 CPUtime=6.93 cores=1,3,5,7
/proc/27105/stat : 27105 (pbct-0.1.2-linu) R 27103 27105 27105 0 -1 4202496 1894 0 0 0 625 68 0 0 20 0 1 0 337519936 8298496 1645 33554432000 134512640 136422188 4290145152 4290142876 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/27105/statm: 2026 1645 213 467 0 1557 0
[pid=27097/tid=27104] ppid=27095 vsize=357240 CPUtime=0 cores=1,3,5,7
/proc/27097/task/27104/stat : 27104 (python) S 27095 27097 27000 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 337519936 365813760 7195 33554432000 4194304 5683644 140736953895584 139890282742320 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.35
Current children cumulated vsize (KiB) 646804
[startup+8.20034 s]
/proc/loadavg: 1.43 1.12 1.34 3/175 27135
/proc/meminfo: memFree=26431092/32873648 swapFree=7120/7120
[pid=27097] ppid=27095 vsize=357216 CPUtime=7.47 cores=1,3,5,7
/proc/27097/stat : 27097 (python) R 27095 27097 27000 0 -1 4202496 14455 4106 1 0 35 9 633 70 20 0 1 0 337519821 365789184 7195 33554432000 4194304 5683644 140736953895584 140736953892208 5296949 0 0 16781312 0 0 0 0 17 1 0 0 0 0 0
/proc/27097/statm: 89304 7195 1892 364 0 24533 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 357216
Child status: 0
Real time (s): 8.20691
CPU time (s): 7.49686
CPU user time (s): 6.69298
CPU system time (s): 0.803877
CPU usage (%): 91.3482
Max. virtual memory (cumulated for all children) (KiB): 646804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.69298
system time used= 0.803877
maximum resident set size= 28956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19023
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= 1881
involuntary context switches= 67
runsolver used 0.006998 second user time and 0.047992 second system time
The end