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-3482134-1307577323/watcher-3482134-1307577323 -o /tmp/evaluation-result-3482134-1307577323/solver-3482134-1307577323 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482134-1307577323.opb -seed 717738632 -budget 1800
running on 4 cores: 0,2,4,6
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.93 2.04 1.37 2/745 7914
/proc/meminfo: memFree=27557832/32951124 swapFree=33333036/67111528
[pid=7914] ppid=7912 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/7914/stat : 7914 (python) R 7912 7914 7156 0 -1 4202496 811 0 0 0 0 0 0 0 25 0 1 0 947963072 15749120 696 33554432000 4194304 5683644 140733392885328 18446744073709551615 224284923904 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/7914/statm: 3845 696 334 364 0 332 0
[startup+0.0248761 s]
/proc/loadavg: 1.93 2.04 1.37 2/745 7914
/proc/meminfo: memFree=27557832/32951124 swapFree=33333036/67111528
[pid=7914] ppid=7912 vsize=16400 CPUtime=0 cores=0,2,4,6
/proc/7914/stat : 7914 (python) S 7912 7914 7156 0 -1 4202496 1112 0 0 0 0 0 0 0 25 0 1 0 947963072 16793600 980 33554432000 4194304 5683644 140733392885328 18446744073709551615 224284921701 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/7914/statm: 4100 980 407 364 0 587 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16400
[startup+0.102172 s]
/proc/loadavg: 1.93 2.04 1.37 2/745 7914
/proc/meminfo: memFree=27557832/32951124 swapFree=33333036/67111528
[pid=7914] ppid=7912 vsize=87828 CPUtime=0.06 cores=0,2,4,6
/proc/7914/stat : 7914 (python) S 7912 7914 7156 0 -1 4202496 2692 0 0 0 4 2 0 0 17 0 1 0 947963072 89935872 2407 33554432000 4194304 5683644 140733392885328 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/7914/statm: 21957 2407 735 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87828
[startup+0.300843 s]
/proc/loadavg: 1.93 2.04 1.37 2/745 7914
/proc/meminfo: memFree=27557832/32951124 swapFree=33333036/67111528
[pid=7914] ppid=7912 vsize=123740 CPUtime=0.16 cores=0,2,4,6
/proc/7914/stat : 7914 (python) S 7912 7914 7156 0 -1 4202496 5358 929 1 0 10 6 0 0 18 0 1 0 947963072 126709760 3744 33554432000 4194304 5683644 140733392885328 18446744073709551615 224284921861 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/7914/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.706831 s]
/proc/loadavg: 1.93 2.04 1.37 2/745 7914
/proc/meminfo: memFree=27557832/32951124 swapFree=33333036/67111528
[pid=7914] ppid=7912 vsize=282808 CPUtime=0.44 cores=0,2,4,6
/proc/7914/stat : 7914 (python) R 7912 7914 7156 0 -1 4202496 9403 929 1 0 32 12 0 0 17 0 1 0 947963072 289595392 7122 33554432000 4194304 5683644 140733392885328 18446744073709551615 224288408501 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/7914/statm: 70702 7122 1863 364 0 5592 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 282808
[startup+1.5007 s]
/proc/loadavg: 1.93 2.04 1.37 3/749 7922
/proc/meminfo: memFree=27532752/32951124 swapFree=33333036/67111528
[pid=7914] ppid=7912 vsize=293064 CPUtime=0.44 cores=0,2,4,6
/proc/7914/stat : 7914 (python) S 7912 7914 7156 0 -1 4202496 9629 929 1 0 32 12 0 0 19 0 2 0 947963072 300097536 7136 33554432000 4194304 5683644 140733392885328 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/7914/statm: 73266 7136 1870 364 0 8153 0
[pid=7920] ppid=7914 vsize=282820 CPUtime=0 cores=0,2,4,6
/proc/7920/stat : 7920 (python) S 7914 7914 7156 0 -1 4202560 699 0 0 0 0 0 0 0 19 0 1 0 947963143 289607680 5611 33554432000 4194304 5683644 140733392885328 18446744073709551615 224284945935 0 0 16781312 33554946 7647968519329382658 0 0 17 2 0 0 0
/proc/7920/statm: 70705 5611 349 364 0 5592 0
[pid=7922] ppid=7920 vsize=1860 CPUtime=0.78 cores=0,2,4,6
/proc/7922/stat : 7922 (clasp-1.3.7-x86) R 7920 7922 7922 0 -1 4202496 460 0 0 0 78 0 0 0 22 0 1 0 947963143 1904640 202 33554432000 134512640 136139019 4294772848 18446744073709551615 134640568 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/7922/statm: 465 202 183 398 0 65 0
[pid=7914/tid=7921] ppid=7912 vsize=293064 CPUtime=0 cores=0,2,4,6
/proc/7914/task/7921/stat : 7921 (python) S 7912 7914 7156 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 947963143 300097536 7136 33554432000 4194304 5683644 140733392885328 18446744073709551615 224296749489 0 0 16781312 33554434 18446604448089552832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 577744
[startup+3.10041 s]
/proc/loadavg: 1.93 2.04 1.37 3/749 7922
/proc/meminfo: memFree=27531388/32951124 swapFree=33333036/67111528
[pid=7914] ppid=7912 vsize=293064 CPUtime=0.44 cores=0,2,4,6
/proc/7914/stat : 7914 (python) S 7912 7914 7156 0 -1 4202496 9629 929 1 0 32 12 0 0 19 0 2 0 947963072 300097536 7136 33554432000 4194304 5683644 140733392885328 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/7914/statm: 73266 7136 1870 364 0 8153 0
[pid=7920] ppid=7914 vsize=282820 CPUtime=0 cores=0,2,4,6
/proc/7920/stat : 7920 (python) S 7914 7914 7156 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 1 0 947963143 289607680 5614 33554432000 4194304 5683644 140733392885328 18446744073709551615 224284945935 0 0 16781312 33554946 7647970787072114946 0 0 17 2 0 0 0
/proc/7920/statm: 70705 5614 352 364 0 5592 0
[pid=7922] ppid=7920 vsize=1860 CPUtime=2.38 cores=0,2,4,6
/proc/7922/stat : 7922 (clasp-1.3.7-x86) R 7920 7922 7922 0 -1 4202496 461 0 0 0 238 0 0 0 25 0 1 0 947963143 1904640 203 33554432000 134512640 136139019 4294772848 18446744073709551615 134832401 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/7922/statm: 465 203 183 398 0 65 0
[pid=7914/tid=7921] ppid=7912 vsize=293064 CPUtime=0 cores=0,2,4,6
/proc/7914/task/7921/stat : 7921 (python) S 7912 7914 7156 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 947963143 300097536 7136 33554432000 4194304 5683644 140733392885328 18446744073709551615 224296749489 0 0 16781312 33554434 18446604448089552832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 577744
Solver just ended. Dumping a history of the last processes samples
[startup+4.70113 s]
/proc/loadavg: 1.94 2.04 1.37 3/749 7922
/proc/meminfo: memFree=27530260/32951124 swapFree=33333036/67111528
[pid=7914] ppid=7912 vsize=293064 CPUtime=0.44 cores=0,2,4,6
/proc/7914/stat : 7914 (python) S 7912 7914 7156 0 -1 4202496 9629 929 1 0 32 12 0 0 19 0 2 0 947963072 300097536 7136 33554432000 4194304 5683644 140733392885328 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/7914/statm: 73266 7136 1870 364 0 8153 0
[pid=7920] ppid=7914 vsize=282820 CPUtime=0.01 cores=0,2,4,6
/proc/7920/stat : 7920 (python) S 7914 7914 7156 0 -1 4202560 866 0 0 0 0 1 0 0 18 0 1 0 947963143 289607680 5637 33554432000 4194304 5683644 140733392885328 18446744073709551615 224284945935 0 0 16781312 33554946 8135401471534399746 0 0 17 2 0 0 0
/proc/7920/statm: 70705 5637 375 364 0 5592 0
[pid=7922] ppid=7920 vsize=1860 CPUtime=3.98 cores=0,2,4,6
/proc/7922/stat : 7922 (clasp-1.3.7-x86) R 7920 7922 7922 0 -1 4202496 462 0 0 0 398 0 0 0 25 0 1 0 947963143 1904640 204 33554432000 134512640 136139019 4294772848 18446744073709551615 134832230 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/7922/statm: 465 204 183 398 0 65 0
[pid=7914/tid=7921] ppid=7912 vsize=293064 CPUtime=0 cores=0,2,4,6
/proc/7914/task/7921/stat : 7921 (python) S 7912 7914 7156 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 947963143 300097536 7136 33554432000 4194304 5683644 140733392885328 18446744073709551615 224296749489 0 0 16781312 33554434 18446604448089552832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 577744
[startup+5.10106 s]
/proc/loadavg: 1.94 2.04 1.37 3/749 7922
/proc/meminfo: memFree=27530260/32951124 swapFree=33333036/67111528
[pid=7914] ppid=7912 vsize=293064 CPUtime=0.44 cores=0,2,4,6
/proc/7914/stat : 7914 (python) S 7912 7914 7156 0 -1 4202496 9629 929 1 0 32 12 0 0 19 0 2 0 947963072 300097536 7136 33554432000 4194304 5683644 140733392885328 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/7914/statm: 73266 7136 1870 364 0 8153 0
[pid=7920] ppid=7914 vsize=282820 CPUtime=0.01 cores=0,2,4,6
/proc/7920/stat : 7920 (python) S 7914 7914 7156 0 -1 4202560 866 0 0 0 0 1 0 0 18 0 1 0 947963143 289607680 5637 33554432000 4194304 5683644 140733392885328 18446744073709551615 224284945935 0 0 16781312 33554946 8135401471534399746 0 0 17 2 0 0 0
/proc/7920/statm: 70705 5637 375 364 0 5592 0
[pid=7922] ppid=7920 vsize=1860 CPUtime=4.38 cores=0,2,4,6
/proc/7922/stat : 7922 (clasp-1.3.7-x86) R 7920 7922 7922 0 -1 4202496 462 0 0 0 438 0 0 0 25 0 1 0 947963143 1904640 204 33554432000 134512640 136139019 4294772848 18446744073709551615 134640080 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/7922/statm: 465 204 183 398 0 65 0
[pid=7914/tid=7921] ppid=7912 vsize=293064 CPUtime=0 cores=0,2,4,6
/proc/7914/task/7921/stat : 7921 (python) S 7912 7914 7156 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 947963143 300097536 7136 33554432000 4194304 5683644 140733392885328 18446744073709551615 224296749489 0 0 16781312 33554434 18446604448089552832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.83
Current children cumulated vsize (KiB) 577744
[startup+5.30102 s]
/proc/loadavg: 1.94 2.04 1.37 3/749 7922
/proc/meminfo: memFree=27530260/32951124 swapFree=33333036/67111528
[pid=7914] ppid=7912 vsize=293064 CPUtime=0.44 cores=0,2,4,6
/proc/7914/stat : 7914 (python) S 7912 7914 7156 0 -1 4202496 9629 929 1 0 32 12 0 0 19 0 2 0 947963072 300097536 7136 33554432000 4194304 5683644 140733392885328 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/7914/statm: 73266 7136 1870 364 0 8153 0
[pid=7920] ppid=7914 vsize=282820 CPUtime=0.01 cores=0,2,4,6
/proc/7920/stat : 7920 (python) S 7914 7914 7156 0 -1 4202560 866 0 0 0 0 1 0 0 18 0 1 0 947963143 289607680 5637 33554432000 4194304 5683644 140733392885328 18446744073709551615 224284945935 0 0 16781312 33554946 8135401471534399746 0 0 17 2 0 0 0
/proc/7920/statm: 70705 5637 375 364 0 5592 0
[pid=7922] ppid=7920 vsize=1860 CPUtime=4.58 cores=0,2,4,6
/proc/7922/stat : 7922 (clasp-1.3.7-x86) R 7920 7922 7922 0 -1 4202496 463 0 0 0 458 0 0 0 25 0 1 0 947963143 1904640 205 33554432000 134512640 136139019 4294772848 18446744073709551615 134876516 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/7922/statm: 465 205 183 398 0 65 0
[pid=7914/tid=7921] ppid=7912 vsize=293064 CPUtime=0 cores=0,2,4,6
/proc/7914/task/7921/stat : 7921 (python) S 7912 7914 7156 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 947963143 300097536 7136 33554432000 4194304 5683644 140733392885328 18446744073709551615 224296749489 0 0 16781312 33554434 18446604448089552832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.03
Current children cumulated vsize (KiB) 577744
[startup+5.40101 s]
/proc/loadavg: 1.94 2.04 1.37 3/749 7922
/proc/meminfo: memFree=27527788/32951124 swapFree=33333036/67111528
[pid=7914] ppid=7912 vsize=293064 CPUtime=0.44 cores=0,2,4,6
/proc/7914/stat : 7914 (python) S 7912 7914 7156 0 -1 4202496 9629 929 1 0 32 12 0 0 19 0 2 0 947963072 300097536 7136 33554432000 4194304 5683644 140733392885328 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/7914/statm: 73266 7136 1870 364 0 8153 0
[pid=7920] ppid=7914 vsize=282820 CPUtime=0.01 cores=0,2,4,6
/proc/7920/stat : 7920 (python) S 7914 7914 7156 0 -1 4202560 866 0 0 0 0 1 0 0 18 0 1 0 947963143 289607680 5637 33554432000 4194304 5683644 140733392885328 18446744073709551615 224284945935 0 0 16781312 33554946 8135401471534399746 0 0 17 2 0 0 0
/proc/7920/statm: 70705 5637 375 364 0 5592 0
[pid=7922] ppid=7920 vsize=1860 CPUtime=4.69 cores=0,2,4,6
/proc/7922/stat : 7922 (clasp-1.3.7-x86) R 7920 7922 7922 0 -1 4202496 463 0 0 0 469 0 0 0 25 0 1 0 947963143 1904640 205 33554432000 134512640 136139019 4294772848 18446744073709551615 134883836 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/7922/statm: 465 205 183 398 0 65 0
[pid=7914/tid=7921] ppid=7912 vsize=293064 CPUtime=0 cores=0,2,4,6
/proc/7914/task/7921/stat : 7921 (python) S 7912 7914 7156 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 947963143 300097536 7136 33554432000 4194304 5683644 140733392885328 18446744073709551615 224296749489 0 0 16781312 33554434 18446604448089552832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.14
Current children cumulated vsize (KiB) 577744
Child status: 0
Real time (s): 5.4505
CPU time (s): 5.22221
CPU user time (s): 5.07123
CPU system time (s): 0.150977
CPU usage (%): 95.8115
Max. virtual memory (cumulated for all children) (KiB): 577744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.07123
system time used= 0.150977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16593
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2867
involuntary context switches= 26
runsolver used 0.044993 second user time and 0.084987 second system time
The end