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-3482597-1307576462/watcher-3482597-1307576462 -o /tmp/evaluation-result-3482597-1307576462/solver-3482597-1307576462 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482597-1307576462.opb -seed 58639514 -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.26 0.45 0.16 3/443 3214
/proc/meminfo: memFree=20924692/32951124 swapFree=60787360/67111528
[pid=3214] ppid=3212 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/3214/stat : 3214 (python) S 3212 3214 3014 0 -1 4202496 896 0 0 0 0 0 0 0 20 0 1 0 869244147 16154624 777 33554432000 4194304 5683644 140734419275424 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 2 0 0 0
/proc/3214/statm: 3944 777 343 364 0 431 0
[startup+0.0524229 s]
/proc/loadavg: 1.26 0.45 0.16 3/443 3214
/proc/meminfo: memFree=20924692/32951124 swapFree=60787360/67111528
[pid=3214] ppid=3212 vsize=29788 CPUtime=0.03 cores=0,2,4,6
/proc/3214/stat : 3214 (python) R 3212 3214 3014 0 -1 4202496 1462 0 0 0 3 0 0 0 20 0 1 0 869244147 30502912 1301 33554432000 4194304 5683644 140734419275424 18446744073709551615 255377299456 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/3214/statm: 7447 1301 443 364 0 817 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29788
[startup+0.107464 s]
/proc/loadavg: 1.26 0.45 0.16 3/443 3214
/proc/meminfo: memFree=20924692/32951124 swapFree=60787360/67111528
[pid=3214] ppid=3212 vsize=96128 CPUtime=0.08 cores=0,2,4,6
/proc/3214/stat : 3214 (python) R 3212 3214 3014 0 -1 4202496 3170 928 1 0 6 2 0 0 18 0 1 0 869244147 98435072 2484 33554432000 4194304 5683644 140734419275424 18446744073709551615 5172176 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/3214/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.300561 s]
/proc/loadavg: 1.26 0.45 0.16 3/443 3214
/proc/meminfo: memFree=20924692/32951124 swapFree=60787360/67111528
[pid=3214] ppid=3212 vsize=168444 CPUtime=0.22 cores=0,2,4,6
/proc/3214/stat : 3214 (python) S 3212 3214 3014 0 -1 4202496 6013 928 1 0 15 7 0 0 17 0 1 0 869244147 172486656 4329 33554432000 4194304 5683644 140734419275424 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 6 0 0 0
/proc/3214/statm: 42111 4329 1222 364 0 3328 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 168444
[startup+0.700347 s]
/proc/loadavg: 1.26 0.45 0.16 3/443 3214
/proc/meminfo: memFree=20924692/32951124 swapFree=60787360/67111528
[pid=3214] ppid=3212 vsize=293484 CPUtime=0.46 cores=0,2,4,6
/proc/3214/stat : 3214 (python) S 3212 3214 3014 0 -1 4202496 9699 928 1 0 36 10 0 0 19 0 2 0 869244147 300527616 7206 33554432000 4194304 5683644 140734419275424 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3214/statm: 73371 7206 1862 364 0 8258 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 293484
[startup+1.5012 s]
/proc/loadavg: 1.26 0.45 0.16 3/447 3223
/proc/meminfo: memFree=20897752/32951124 swapFree=60787360/67111528
[pid=3214] ppid=3212 vsize=293484 CPUtime=0.46 cores=0,2,4,6
/proc/3214/stat : 3214 (python) S 3212 3214 3014 0 -1 4202496 9699 928 1 0 36 10 0 0 19 0 2 0 869244147 300527616 7206 33554432000 4194304 5683644 140734419275424 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3214/statm: 73371 7206 1862 364 0 8258 0
[pid=3221] ppid=3214 vsize=283240 CPUtime=0 cores=0,2,4,6
/proc/3221/stat : 3221 (python) S 3214 3214 3014 0 -1 4202560 703 0 0 0 0 0 0 0 18 0 1 0 869244205 290037760 5689 33554432000 4194304 5683644 140734419275424 18446744073709551615 255377321487 0 0 16781312 33554946 9539354193865703681 0 0 17 6 0 0 0
/proc/3221/statm: 70810 5689 349 364 0 5697 0
[pid=3223] ppid=3221 vsize=2388 CPUtime=0.92 cores=0,2,4,6
/proc/3223/stat : 3223 (clasp-1.3.7-x86) R 3221 3223 3223 0 -1 4202496 599 0 0 0 92 0 0 0 21 0 1 0 869244205 2445312 342 33554432000 134512640 136139019 4290511408 18446744073709551615 134608392 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/3223/statm: 597 342 184 398 0 197 0
[pid=3214/tid=3222] ppid=3212 vsize=293484 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3222/stat : 3222 (python) S 3212 3214 3014 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 869244205 300527616 7206 33554432000 4194304 5683644 140734419275424 18446744073709551615 255389125041 0 0 16781312 33554434 18446604452160834496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 579112
[startup+3.10089 s]
/proc/loadavg: 1.26 0.45 0.16 3/447 3223
/proc/meminfo: memFree=20896632/32951124 swapFree=60787360/67111528
[pid=3214] ppid=3212 vsize=293484 CPUtime=0.46 cores=0,2,4,6
/proc/3214/stat : 3214 (python) S 3212 3214 3014 0 -1 4202496 9699 928 1 0 36 10 0 0 19 0 2 0 869244147 300527616 7206 33554432000 4194304 5683644 140734419275424 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3214/statm: 73371 7206 1862 364 0 8258 0
[pid=3221] ppid=3214 vsize=283240 CPUtime=0 cores=0,2,4,6
/proc/3221/stat : 3221 (python) S 3214 3214 3014 0 -1 4202560 725 0 0 0 0 0 0 0 18 0 1 0 869244205 290037760 5692 33554432000 4194304 5683644 140734419275424 18446744073709551615 255377321487 0 0 16781312 33554946 9539351926122971393 0 0 17 6 0 0 0
/proc/3221/statm: 70810 5692 352 364 0 5697 0
[pid=3223] ppid=3221 vsize=2652 CPUtime=2.52 cores=0,2,4,6
/proc/3223/stat : 3223 (clasp-1.3.7-x86) R 3221 3223 3223 0 -1 4202496 674 0 0 0 252 0 0 0 25 0 1 0 869244205 2715648 417 33554432000 134512640 136139019 4290511408 18446744073709551615 134599050 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/3223/statm: 663 417 184 398 0 263 0
[pid=3214/tid=3222] ppid=3212 vsize=293484 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3222/stat : 3222 (python) S 3212 3214 3014 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 869244205 300527616 7206 33554432000 4194304 5683644 140734419275424 18446744073709551615 255389125041 0 0 16781312 33554434 18446604452160834496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 579376
Solver just ended. Dumping a history of the last processes samples
[startup+4.7006 s]
/proc/loadavg: 1.26 0.45 0.16 3/447 3223
/proc/meminfo: memFree=20896144/32951124 swapFree=60787360/67111528
[pid=3214] ppid=3212 vsize=293484 CPUtime=0.46 cores=0,2,4,6
/proc/3214/stat : 3214 (python) S 3212 3214 3014 0 -1 4202496 9699 928 1 0 36 10 0 0 19 0 2 0 869244147 300527616 7206 33554432000 4194304 5683644 140734419275424 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3214/statm: 73371 7206 1862 364 0 8258 0
[pid=3221] ppid=3214 vsize=283240 CPUtime=0.01 cores=0,2,4,6
/proc/3221/stat : 3221 (python) S 3214 3214 3014 0 -1 4202560 876 0 0 0 1 0 0 0 18 0 1 0 869244205 290037760 5715 33554432000 4194304 5683644 140734419275424 18446744073709551615 255377321487 0 0 16781312 33554946 9539351926122971393 0 0 17 6 0 0 0
/proc/3221/statm: 70810 5715 375 364 0 5697 0
[pid=3223] ppid=3221 vsize=2916 CPUtime=4.12 cores=0,2,4,6
/proc/3223/stat : 3223 (clasp-1.3.7-x86) R 3221 3223 3223 0 -1 4202496 724 0 0 0 412 0 0 0 25 0 1 0 869244205 2985984 467 33554432000 134512640 136139019 4290511408 18446744073709551615 134883461 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/3223/statm: 729 467 184 398 0 329 0
[pid=3214/tid=3222] ppid=3212 vsize=293484 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3222/stat : 3222 (python) S 3212 3214 3014 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 869244205 300527616 7206 33554432000 4194304 5683644 140734419275424 18446744073709551615 255389125041 0 0 16781312 33554434 18446604452160834496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 579640
[startup+4.90057 s]
/proc/loadavg: 1.26 0.45 0.16 3/447 3223
/proc/meminfo: memFree=20896144/32951124 swapFree=60787360/67111528
[pid=3214] ppid=3212 vsize=293484 CPUtime=0.46 cores=0,2,4,6
/proc/3214/stat : 3214 (python) S 3212 3214 3014 0 -1 4202496 9699 928 1 0 36 10 0 0 19 0 2 0 869244147 300527616 7206 33554432000 4194304 5683644 140734419275424 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3214/statm: 73371 7206 1862 364 0 8258 0
[pid=3221] ppid=3214 vsize=283240 CPUtime=0.01 cores=0,2,4,6
/proc/3221/stat : 3221 (python) S 3214 3214 3014 0 -1 4202560 876 0 0 0 1 0 0 0 18 0 1 0 869244205 290037760 5715 33554432000 4194304 5683644 140734419275424 18446744073709551615 255377321487 0 0 16781312 33554946 9539351926122971393 0 0 17 6 0 0 0
/proc/3221/statm: 70810 5715 375 364 0 5697 0
[pid=3223] ppid=3221 vsize=2916 CPUtime=4.32 cores=0,2,4,6
/proc/3223/stat : 3223 (clasp-1.3.7-x86) R 3221 3223 3223 0 -1 4202496 724 0 0 0 432 0 0 0 25 0 1 0 869244205 2985984 467 33554432000 134512640 136139019 4290511408 18446744073709551615 134608909 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/3223/statm: 729 467 184 398 0 329 0
[pid=3214/tid=3222] ppid=3212 vsize=293484 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3222/stat : 3222 (python) S 3212 3214 3014 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 869244205 300527616 7206 33554432000 4194304 5683644 140734419275424 18446744073709551615 255389125041 0 0 16781312 33554434 18446604452160834496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 579640
[startup+5.00058 s]
/proc/loadavg: 1.26 0.45 0.16 3/447 3223
/proc/meminfo: memFree=20896144/32951124 swapFree=60787360/67111528
[pid=3214] ppid=3212 vsize=293484 CPUtime=0.46 cores=0,2,4,6
/proc/3214/stat : 3214 (python) S 3212 3214 3014 0 -1 4202496 9699 928 1 0 36 10 0 0 19 0 2 0 869244147 300527616 7206 33554432000 4194304 5683644 140734419275424 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/3214/statm: 73371 7206 1862 364 0 8258 0
[pid=3221] ppid=3214 vsize=283240 CPUtime=0.01 cores=0,2,4,6
/proc/3221/stat : 3221 (python) S 3214 3214 3014 0 -1 4202560 876 0 0 0 1 0 0 0 18 0 1 0 869244205 290037760 5715 33554432000 4194304 5683644 140734419275424 18446744073709551615 255377321487 0 0 16781312 33554946 9539351926122971393 0 0 17 6 0 0 0
/proc/3221/statm: 70810 5715 375 364 0 5697 0
[pid=3223] ppid=3221 vsize=2916 CPUtime=4.42 cores=0,2,4,6
/proc/3223/stat : 3223 (clasp-1.3.7-x86) R 3221 3223 3223 0 -1 4202496 732 0 0 0 442 0 0 0 25 0 1 0 869244205 2985984 475 33554432000 134512640 136139019 4290511408 18446744073709551615 134634724 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/3223/statm: 729 475 184 398 0 329 0
[pid=3214/tid=3222] ppid=3212 vsize=293484 CPUtime=0 cores=0,2,4,6
/proc/3214/task/3222/stat : 3222 (python) S 3212 3214 3014 0 -1 4202560 26 928 0 0 0 0 0 0 19 0 2 0 869244205 300527616 7206 33554432000 4194304 5683644 140734419275424 18446744073709551615 255389125041 0 0 16781312 33554434 18446604452160834496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.89
Current children cumulated vsize (KiB) 579640
Child status: 0
Real time (s): 5.05346
CPU time (s): 4.97324
CPU user time (s): 4.84826
CPU system time (s): 0.124981
CPU usage (%): 98.4126
Max. virtual memory (cumulated for all children) (KiB): 579640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.84826
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16970
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= 1160
involuntary context switches= 35
runsolver used 0.018997 second user time and 0.05999 second system time
The end