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-3729376-1338713965/watcher-3729376-1338713965 -o /tmp/evaluation-result-3729376-1338713965/solver-3729376-1338713965 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3729376-1338713965.opb -seed 1983906397 -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.30 1.81 1.64 3/191 3241
/proc/meminfo: memFree=31205500/32873844 swapFree=7116/7116
[pid=3241] ppid=3239 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/3241/stat : 3241 (python) D 3239 3241 2614 0 -1 4202496 672 0 0 0 0 0 0 0 20 0 1 0 337521500 15642624 559 33554432000 4194304 5683644 140736987647328 140736987615272 240565175184 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3241/statm: 3819 559 324 364 0 261 0
[startup+0.104165 s]
/proc/loadavg: 2.30 1.81 1.64 3/191 3241
/proc/meminfo: memFree=31205500/32873844 swapFree=7116/7116
[pid=3241] ppid=3239 vsize=19080 CPUtime=0.02 cores=1,3,5,7
/proc/3241/stat : 3241 (python) D 3239 3241 2614 0 -1 4202496 1398 0 0 0 2 0 0 0 20 0 1 0 337521500 19537920 1152 33554432000 4194304 5683644 140736987647328 140736987593048 240556010791 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3241/statm: 5292 1152 430 364 0 694 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19080
[startup+0.200292 s]
/proc/loadavg: 2.30 1.81 1.64 3/191 3241
/proc/meminfo: memFree=31205500/32873844 swapFree=7116/7116
[pid=3241] ppid=3239 vsize=82764 CPUtime=0.06 cores=1,3,5,7
/proc/3241/stat : 3241 (python) R 3239 3241 2614 0 -1 4202496 2585 0 0 0 4 2 0 0 20 0 1 0 337521500 84750336 2129 33554432000 4194304 5683644 140736987647328 140736987579320 139807263696384 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3241/statm: 20691 2134 706 364 0 1319 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 82764
[startup+0.300268 s]
/proc/loadavg: 2.30 1.81 1.64 3/191 3241
/proc/meminfo: memFree=31205500/32873844 swapFree=7116/7116
[pid=3241] ppid=3239 vsize=96892 CPUtime=0.1 cores=1,3,5,7
/proc/3241/stat : 3241 (python) D 3239 3241 2614 0 -1 4202496 3949 1009 1 0 8 2 0 0 20 0 1 0 337521500 99217408 2648 33554432000 4194304 5683644 140736987647328 140736987533656 240565175184 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/3241/statm: 24223 2648 823 364 0 1714 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 96892
[startup+0.700272 s]
/proc/loadavg: 2.30 1.81 1.64 3/191 3241
/proc/meminfo: memFree=31205500/32873844 swapFree=7116/7116
[pid=3241] ppid=3239 vsize=140448 CPUtime=0.24 cores=1,3,5,7
/proc/3241/stat : 3241 (python) R 3239 3241 2614 0 -1 4202496 6267 1009 1 0 16 8 0 0 20 0 1 0 337521500 143818752 4095 33554432000 4194304 5683644 140736987647328 140736987525592 240556011399 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3241/statm: 35112 4099 1100 364 0 2952 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 140448
[startup+1.50018 s]
/proc/loadavg: 2.30 1.81 1.64 2/192 3246
/proc/meminfo: memFree=31186660/32873844 swapFree=7116/7116
[pid=3241] ppid=3239 vsize=357240 CPUtime=0.47 cores=1,3,5,7
/proc/3241/stat : 3241 (python) S 3239 3241 2614 0 -1 4202496 10520 1009 1 0 34 13 0 0 20 0 2 0 337521500 365813760 7713 33554432000 4194304 5683644 140736987647328 140736987642160 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3241/statm: 89310 7713 1900 364 0 24533 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 357240
[startup+3.1003 s]
/proc/loadavg: 2.30 1.81 1.64 3/195 3249
/proc/meminfo: memFree=31173932/32873844 swapFree=7116/7116
[pid=3241] ppid=3239 vsize=357240 CPUtime=0.47 cores=1,3,5,7
/proc/3241/stat : 3241 (python) S 3239 3241 2614 0 -1 4202496 10520 1009 1 0 34 13 0 0 20 0 2 0 337521500 365813760 7713 33554432000 4194304 5683644 140736987647328 140736987642160 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3241/statm: 89310 7713 1900 364 0 24533 0
[pid=3247] ppid=3241 vsize=281460 CPUtime=0 cores=1,3,5,7
/proc/3247/stat : 3247 (python) S 3241 3241 2614 0 -1 4202560 732 0 0 0 0 0 0 0 20 0 1 0 337521628 288215040 5638 33554432000 4194304 5683644 140736987647328 140736987638416 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3247/statm: 70365 5638 341 364 0 5588 0
[pid=3249] ppid=3247 vsize=7860 CPUtime=1.81 cores=1,3,5,7
/proc/3249/stat : 3249 (pbct-0.1.2-linu) R 3247 3249 3249 0 -1 4202496 1835 0 0 0 164 17 0 0 20 0 1 0 337521628 8048640 1586 33554432000 134512640 136422188 4293043792 4293041116 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/3249/statm: 1965 1586 213 467 0 1496 0
[pid=3241/tid=3248] ppid=3239 vsize=357240 CPUtime=0 cores=1,3,5,7
/proc/3241/task/3248/stat : 3248 (python) S 3239 3241 2614 0 -1 4202560 25 1009 0 0 0 0 0 0 20 0 2 0 337521628 365813760 7713 33554432000 4194304 5683644 140736987647328 139807076385328 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 646560
heavy processes:
[startup+6.30028 s]
/proc/loadavg: 2.36 1.83 1.65 3/195 3249
/proc/meminfo: memFree=31173436/32873844 swapFree=7116/7116
[pid=3241] ppid=3239 vsize=357240 CPUtime=0.47 cores=1,3,5,7
/proc/3241/stat : 3241 (python) S 3239 3241 2614 0 -1 4202496 10520 1009 1 0 34 13 0 0 20 0 2 0 337521500 365813760 7713 33554432000 4194304 5683644 140736987647328 140736987642160 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3241/statm: 89310 7713 1900 364 0 24533 0
[pid=3247] ppid=3241 vsize=281460 CPUtime=0 cores=1,3,5,7
/proc/3247/stat : 3247 (python) S 3241 3241 2614 0 -1 4202560 868 0 0 0 0 0 0 0 20 0 1 0 337521628 288215040 5661 33554432000 4194304 5683644 140736987647328 140736987638416 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3247/statm: 70365 5661 364 364 0 5588 0
[pid=3249] ppid=3247 vsize=7988 CPUtime=5.01 cores=1,3,5,7
/proc/3249/stat : 3249 (pbct-0.1.2-linu) R 3247 3249 3249 0 -1 4202496 1875 0 0 0 452 49 0 0 20 0 1 0 337521628 8179712 1626 33554432000 134512640 136422188 4293043792 4293041516 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/3249/statm: 1997 1626 213 467 0 1528 0
[pid=3241/tid=3248] ppid=3239 vsize=357240 CPUtime=0 cores=1,3,5,7
/proc/3241/task/3248/stat : 3248 (python) S 3239 3241 2614 0 -1 4202560 25 1009 0 0 0 0 0 0 20 0 2 0 337521628 365813760 7713 33554432000 4194304 5683644 140736987647328 139807076385328 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 646688
Solver just ended. Dumping a history of the last processes samples
[startup+6.90029 s]
/proc/loadavg: 2.36 1.83 1.65 3/195 3249
/proc/meminfo: memFree=31173436/32873844 swapFree=7116/7116
[pid=3241] ppid=3239 vsize=357240 CPUtime=0.47 cores=1,3,5,7
/proc/3241/stat : 3241 (python) S 3239 3241 2614 0 -1 4202496 10520 1009 1 0 34 13 0 0 20 0 2 0 337521500 365813760 7713 33554432000 4194304 5683644 140736987647328 140736987642160 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3241/statm: 89310 7713 1900 364 0 24533 0
[pid=3247] ppid=3241 vsize=281460 CPUtime=0 cores=1,3,5,7
/proc/3247/stat : 3247 (python) S 3241 3241 2614 0 -1 4202560 868 0 0 0 0 0 0 0 20 0 1 0 337521628 288215040 5661 33554432000 4194304 5683644 140736987647328 140736987638416 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3247/statm: 70365 5661 364 364 0 5588 0
[pid=3249] ppid=3247 vsize=8116 CPUtime=5.61 cores=1,3,5,7
/proc/3249/stat : 3249 (pbct-0.1.2-linu) R 3247 3249 3249 0 -1 4202496 1896 0 0 0 508 53 0 0 20 0 1 0 337521628 8310784 1647 33554432000 134512640 136422188 4293043792 4293041116 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/3249/statm: 2029 1647 213 467 0 1560 0
[pid=3241/tid=3248] ppid=3239 vsize=357240 CPUtime=0 cores=1,3,5,7
/proc/3241/task/3248/stat : 3248 (python) S 3239 3241 2614 0 -1 4202560 25 1009 0 0 0 0 0 0 20 0 2 0 337521628 365813760 7713 33554432000 4194304 5683644 140736987647328 139807076385328 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 646816
[startup+7.70029 s]
/proc/loadavg: 2.36 1.83 1.65 3/195 3249
/proc/meminfo: memFree=31173584/32873844 swapFree=7116/7116
[pid=3241] ppid=3239 vsize=357240 CPUtime=0.47 cores=1,3,5,7
/proc/3241/stat : 3241 (python) S 3239 3241 2614 0 -1 4202496 10520 1009 1 0 34 13 0 0 20 0 2 0 337521500 365813760 7713 33554432000 4194304 5683644 140736987647328 140736987642160 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3241/statm: 89310 7713 1900 364 0 24533 0
[pid=3247] ppid=3241 vsize=281460 CPUtime=0 cores=1,3,5,7
/proc/3247/stat : 3247 (python) S 3241 3241 2614 0 -1 4202560 868 0 0 0 0 0 0 0 20 0 1 0 337521628 288215040 5661 33554432000 4194304 5683644 140736987647328 140736987638416 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3247/statm: 70365 5661 364 364 0 5588 0
[pid=3249] ppid=3247 vsize=8116 CPUtime=6.41 cores=1,3,5,7
/proc/3249/stat : 3249 (pbct-0.1.2-linu) R 3247 3249 3249 0 -1 4202496 1896 0 0 0 581 60 0 0 20 0 1 0 337521628 8310784 1647 33554432000 134512640 136422188 4293043792 4293041516 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/3249/statm: 2029 1647 213 467 0 1560 0
[pid=3241/tid=3248] ppid=3239 vsize=357240 CPUtime=0 cores=1,3,5,7
/proc/3241/task/3248/stat : 3248 (python) S 3239 3241 2614 0 -1 4202560 25 1009 0 0 0 0 0 0 20 0 2 0 337521628 365813760 7713 33554432000 4194304 5683644 140736987647328 139807076385328 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 646816
[startup+7.90028 s]
/proc/loadavg: 2.36 1.83 1.65 3/195 3249
/proc/meminfo: memFree=31173584/32873844 swapFree=7116/7116
[pid=3241] ppid=3239 vsize=357240 CPUtime=0.47 cores=1,3,5,7
/proc/3241/stat : 3241 (python) S 3239 3241 2614 0 -1 4202496 10520 1009 1 0 34 13 0 0 20 0 2 0 337521500 365813760 7713 33554432000 4194304 5683644 140736987647328 140736987642160 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3241/statm: 89310 7713 1900 364 0 24533 0
[pid=3247] ppid=3241 vsize=281460 CPUtime=0 cores=1,3,5,7
/proc/3247/stat : 3247 (python) S 3241 3241 2614 0 -1 4202560 868 0 0 0 0 0 0 0 20 0 1 0 337521628 288215040 5661 33554432000 4194304 5683644 140736987647328 140736987638416 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3247/statm: 70365 5661 364 364 0 5588 0
[pid=3249] ppid=3247 vsize=8116 CPUtime=6.61 cores=1,3,5,7
/proc/3249/stat : 3249 (pbct-0.1.2-linu) R 3247 3249 3249 0 -1 4202496 1896 0 0 0 600 61 0 0 20 0 1 0 337521628 8310784 1647 33554432000 134512640 136422188 4293043792 4293041116 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/3249/statm: 2029 1647 213 467 0 1560 0
[pid=3241/tid=3248] ppid=3239 vsize=357240 CPUtime=0 cores=1,3,5,7
/proc/3241/task/3248/stat : 3248 (python) S 3239 3241 2614 0 -1 4202560 25 1009 0 0 0 0 0 0 20 0 2 0 337521628 365813760 7713 33554432000 4194304 5683644 140736987647328 139807076385328 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.08
Current children cumulated vsize (KiB) 646816
Child status: 0
Real time (s): 7.96806
CPU time (s): 7.17291
CPU user time (s): 6.41302
CPU system time (s): 0.759884
CPU usage (%): 90.0208
Max. virtual memory (cumulated for all children) (KiB): 646816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.41303
system time used= 0.759884
maximum resident set size= 30860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19024
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= 1939
involuntary context switches= 38
runsolver used 0.013997 second user time and 0.050992 second system time
The end