runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3482854-1307741609/watcher-3482854-1307741609 -o /tmp/evaluation-result-3482854-1307741609/solver-3482854-1307741609 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482854-1307741609.opb -seed 1960123651 -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: 0.40 0.08 0.03 3/175 26487
/proc/meminfo: memFree=31566860/32951124 swapFree=67052292/67111528
[pid=26487] ppid=26485 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/26487/stat : 26487 (python) R 26485 26487 26332 0 -1 4202496 789 0 0 0 0 0 0 0 20 0 1 0 885761925 15753216 677 33554432000 4194304 5683644 140733378984560 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/26487/statm: 3846 678 322 364 0 333 0
[startup+0.0791431 s]
/proc/loadavg: 0.40 0.08 0.03 3/175 26487
/proc/meminfo: memFree=31566860/32951124 swapFree=67052292/67111528
[pid=26487] ppid=26485 vsize=84492 CPUtime=0.05 cores=1,3,5,7
/proc/26487/stat : 26487 (python) R 26485 26487 26332 0 -1 4202496 2200 0 0 0 4 1 0 0 17 0 1 0 885761925 86519808 1949 33554432000 4194304 5683644 140733378984560 18446744073709551615 270608141257 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/26487/statm: 21123 1951 573 364 0 1327 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84492
[startup+0.101082 s]
/proc/loadavg: 0.40 0.08 0.03 3/175 26487
/proc/meminfo: memFree=31566860/32951124 swapFree=67052292/67111528
[pid=26487] ppid=26485 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/26487/stat : 26487 (python) R 26485 26487 26332 0 -1 4202496 3142 933 1 0 5 2 0 0 18 0 1 0 885761925 98435072 2483 33554432000 4194304 5683644 140733378984560 18446744073709551615 270612769912 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/26487/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.455079 s]
/proc/loadavg: 0.40 0.08 0.03 3/175 26487
/proc/meminfo: memFree=31566860/32951124 swapFree=67052292/67111528
[pid=26487] ppid=26485 vsize=261392 CPUtime=0.32 cores=1,3,5,7
/proc/26487/stat : 26487 (python) D 26485 26487 26332 0 -1 4202496 8254 933 1 0 25 7 0 0 17 0 1 0 885761925 267665408 6350 33554432000 4194304 5683644 140733378984560 18446744073709551615 270613116471 0 0 16781312 2 18446744071562154983 0 0 17 5 0 0 0
/proc/26487/statm: 65348 6350 1677 364 0 5064 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 261392
[startup+0.701033 s]
/proc/loadavg: 0.40 0.08 0.03 3/175 26487
/proc/meminfo: memFree=31566860/32951124 swapFree=67052292/67111528
[pid=26487] ppid=26485 vsize=261392 CPUtime=0.32 cores=1,3,5,7
/proc/26487/stat : 26487 (python) D 26485 26487 26332 0 -1 4202496 8254 933 1 0 25 7 0 0 17 0 1 0 885761925 267665408 6350 33554432000 4194304 5683644 140733378984560 18446744073709551615 270613116471 0 0 16781312 2 18446744071562154983 0 0 17 5 0 0 0
/proc/26487/statm: 65348 6350 1677 364 0 5064 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 261392
[startup+1.50087 s]
/proc/loadavg: 0.40 0.08 0.03 3/178 26501
/proc/meminfo: memFree=31515684/32951124 swapFree=67052292/67111528
[pid=26487] ppid=26485 vsize=299468 CPUtime=0.82 cores=1,3,5,7
/proc/26487/stat : 26487 (python) S 26485 26487 26332 0 -1 4202496 11864 933 1 0 72 10 0 0 19 0 2 0 885761925 306655232 8705 33554432000 4194304 5683644 140733378984560 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 45
/proc/26487/statm: 74867 8705 1870 364 0 9754 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 299468
[startup+3.1006 s]
/proc/loadavg: 0.77 0.16 0.05 2/179 26511
/proc/meminfo: memFree=31530308/32951124 swapFree=67052292/67111528
[pid=26487] ppid=26485 vsize=299468 CPUtime=0.82 cores=1,3,5,7
/proc/26487/stat : 26487 (python) S 26485 26487 26332 0 -1 4202496 11864 933 1 0 72 10 0 0 19 0 2 0 885761925 306655232 8705 33554432000 4194304 5683644 140733378984560 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 45
/proc/26487/statm: 74867 8705 1870 364 0 9754 0
[pid=26502] ppid=26487 vsize=289224 CPUtime=0 cores=1,3,5,7
/proc/26502/stat : 26502 (python) S 26487 26487 26332 0 -1 4202560 730 0 0 0 0 0 0 0 18 0 1 0 885762066 296165376 7182 33554432000 4194304 5683644 140733378984560 18446744073709551615 270613130767 0 0 16781312 33554946 4467973565139878148 0 0 17 1 0 0 0
/proc/26502/statm: 72306 7182 351 364 0 7193 0
[pid=26504] ppid=26502 vsize=4900 CPUtime=1.68 cores=1,3,5,7
/proc/26504/stat : 26504 (clasp-1.3.7-x86) R 26502 26504 26504 0 -1 4202496 1359 0 0 0 168 0 0 0 25 0 1 0 885762066 5017600 951 33554432000 134512640 136139019 4290795168 18446744073709551615 134742383 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/26504/statm: 1225 951 184 398 0 825 0
[pid=26487/tid=26503] ppid=26485 vsize=299468 CPUtime=0 cores=1,3,5,7
/proc/26487/task/26503/stat : 26503 (python) S 26485 26487 26332 0 -1 4202560 27 933 0 0 0 0 0 0 19 0 2 0 885762066 306655232 8705 33554432000 4194304 5683644 140733378984560 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465601878720 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 593592
Solver just ended. Dumping a history of the last processes samples
[startup+3.30055 s]
/proc/loadavg: 0.77 0.16 0.05 2/179 26511
/proc/meminfo: memFree=31530308/32951124 swapFree=67052292/67111528
[pid=26487] ppid=26485 vsize=299468 CPUtime=0.82 cores=1,3,5,7
/proc/26487/stat : 26487 (python) S 26485 26487 26332 0 -1 4202496 11864 933 1 0 72 10 0 0 19 0 2 0 885761925 306655232 8705 33554432000 4194304 5683644 140733378984560 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 45
/proc/26487/statm: 74867 8705 1870 364 0 9754 0
[pid=26502] ppid=26487 vsize=289224 CPUtime=0 cores=1,3,5,7
/proc/26502/stat : 26502 (python) S 26487 26487 26332 0 -1 4202560 730 0 0 0 0 0 0 0 18 0 1 0 885762066 296165376 7182 33554432000 4194304 5683644 140733378984560 18446744073709551615 270613130767 0 0 16781312 33554946 4467973565139878148 0 0 17 1 0 0 0
/proc/26502/statm: 72306 7182 351 364 0 7193 0
[pid=26504] ppid=26502 vsize=4900 CPUtime=1.88 cores=1,3,5,7
/proc/26504/stat : 26504 (clasp-1.3.7-x86) R 26502 26504 26504 0 -1 4202496 1359 0 0 0 188 0 0 0 25 0 1 0 885762066 5017600 951 33554432000 134512640 136139019 4290795168 18446744073709551615 134831892 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/26504/statm: 1225 951 184 398 0 825 0
[pid=26487/tid=26503] ppid=26485 vsize=299468 CPUtime=0 cores=1,3,5,7
/proc/26487/task/26503/stat : 26503 (python) S 26485 26487 26332 0 -1 4202560 27 933 0 0 0 0 0 0 19 0 2 0 885762066 306655232 8705 33554432000 4194304 5683644 140733378984560 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465601878720 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 593592
[startup+3.70048 s]
/proc/loadavg: 0.77 0.16 0.05 2/179 26512
/proc/meminfo: memFree=31530152/32951124 swapFree=67052292/67111528
[pid=26487] ppid=26485 vsize=299468 CPUtime=0.82 cores=1,3,5,7
/proc/26487/stat : 26487 (python) S 26485 26487 26332 0 -1 4202496 11864 933 1 0 72 10 0 0 19 0 2 0 885761925 306655232 8705 33554432000 4194304 5683644 140733378984560 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 45
/proc/26487/statm: 74867 8705 1870 364 0 9754 0
[pid=26502] ppid=26487 vsize=289224 CPUtime=0 cores=1,3,5,7
/proc/26502/stat : 26502 (python) S 26487 26487 26332 0 -1 4202560 731 0 0 0 0 0 0 0 18 0 1 0 885762066 296165376 7182 33554432000 4194304 5683644 140733378984560 18446744073709551615 270613130767 0 0 16781312 33554946 4467973565139878148 0 0 17 1 0 0 0
/proc/26502/statm: 72306 7182 351 364 0 7193 0
[pid=26504] ppid=26502 vsize=4900 CPUtime=2.28 cores=1,3,5,7
/proc/26504/stat : 26504 (clasp-1.3.7-x86) R 26502 26504 26504 0 -1 4202496 1360 0 0 0 228 0 0 0 25 0 1 0 885762066 5017600 952 33554432000 134512640 136139019 4290795168 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/26504/statm: 1225 952 184 398 0 825 0
[pid=26487/tid=26503] ppid=26485 vsize=299468 CPUtime=0 cores=1,3,5,7
/proc/26487/task/26503/stat : 26503 (python) S 26485 26487 26332 0 -1 4202560 27 933 0 0 0 0 0 0 19 0 2 0 885762066 306655232 8705 33554432000 4194304 5683644 140733378984560 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465601878720 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 593592
[startup+3.90044 s]
/proc/loadavg: 0.77 0.16 0.05 2/179 26512
/proc/meminfo: memFree=31530152/32951124 swapFree=67052292/67111528
[pid=26487] ppid=26485 vsize=299468 CPUtime=0.82 cores=1,3,5,7
/proc/26487/stat : 26487 (python) S 26485 26487 26332 0 -1 4202496 11864 933 1 0 72 10 0 0 19 0 2 0 885761925 306655232 8705 33554432000 4194304 5683644 140733378984560 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 45
/proc/26487/statm: 74867 8705 1870 364 0 9754 0
[pid=26502] ppid=26487 vsize=289224 CPUtime=0 cores=1,3,5,7
/proc/26502/stat : 26502 (python) S 26487 26487 26332 0 -1 4202560 731 0 0 0 0 0 0 0 18 0 1 0 885762066 296165376 7182 33554432000 4194304 5683644 140733378984560 18446744073709551615 270613130767 0 0 16781312 33554946 4467973565139878148 0 0 17 1 0 0 0
/proc/26502/statm: 72306 7182 351 364 0 7193 0
[pid=26504] ppid=26502 vsize=4900 CPUtime=2.48 cores=1,3,5,7
/proc/26504/stat : 26504 (clasp-1.3.7-x86) R 26502 26504 26504 0 -1 4202496 1360 0 0 0 248 0 0 0 25 0 1 0 885762066 5017600 952 33554432000 134512640 136139019 4290795168 18446744073709551615 134828711 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/26504/statm: 1225 952 184 398 0 825 0
[pid=26487/tid=26503] ppid=26485 vsize=299468 CPUtime=0 cores=1,3,5,7
/proc/26487/task/26503/stat : 26503 (python) S 26485 26487 26332 0 -1 4202560 27 933 0 0 0 0 0 0 19 0 2 0 885762066 306655232 8705 33554432000 4194304 5683644 140733378984560 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465601878720 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 593592
[startup+4.00042 s]
/proc/loadavg: 0.77 0.16 0.05 2/179 26512
/proc/meminfo: memFree=31530152/32951124 swapFree=67052292/67111528
[pid=26487] ppid=26485 vsize=299468 CPUtime=0.82 cores=1,3,5,7
/proc/26487/stat : 26487 (python) S 26485 26487 26332 0 -1 4202496 11864 933 1 0 72 10 0 0 19 0 2 0 885761925 306655232 8705 33554432000 4194304 5683644 140733378984560 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 45
/proc/26487/statm: 74867 8705 1870 364 0 9754 0
[pid=26502] ppid=26487 vsize=289224 CPUtime=0 cores=1,3,5,7
/proc/26502/stat : 26502 (python) S 26487 26487 26332 0 -1 4202560 731 0 0 0 0 0 0 0 18 0 1 0 885762066 296165376 7182 33554432000 4194304 5683644 140733378984560 18446744073709551615 270613130767 0 0 16781312 33554946 4467973565139878148 0 0 17 1 0 0 0
/proc/26502/statm: 72306 7182 351 364 0 7193 0
[pid=26504] ppid=26502 vsize=4900 CPUtime=2.58 cores=1,3,5,7
/proc/26504/stat : 26504 (clasp-1.3.7-x86) R 26502 26504 26504 0 -1 4202496 1360 0 0 0 258 0 0 0 25 0 1 0 885762066 5017600 952 33554432000 134512640 136139019 4290795168 18446744073709551615 134882942 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/26504/statm: 1225 952 184 398 0 825 0
[pid=26487/tid=26503] ppid=26485 vsize=299468 CPUtime=0 cores=1,3,5,7
/proc/26487/task/26503/stat : 26503 (python) S 26485 26487 26332 0 -1 4202560 27 933 0 0 0 0 0 0 19 0 2 0 885762066 306655232 8705 33554432000 4194304 5683644 140733378984560 18446744073709551615 270624934321 0 0 16781312 33554434 18446604465601878720 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 593592
Child status: 0
Real time (s): 4.07396
CPU time (s): 3.49547
CPU user time (s): 3.37849
CPU system time (s): 0.116982
CPU usage (%): 85.8002
Max. virtual memory (cumulated for all children) (KiB): 593592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.37849
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20228
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= 1656
involuntary context switches= 37
runsolver used 0.006998 second user time and 0.016997 second system time
The end