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-3482607-1307576467/watcher-3482607-1307576467 -o /tmp/evaluation-result-3482607-1307576467/solver-3482607-1307576467 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482607-1307576467.opb -seed 1782823493 -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: 0.61 0.14 0.05 3/494 15215
/proc/meminfo: memFree=31121688/32951124 swapFree=53876552/67111528
[pid=15215] ppid=15213 vsize=15904 CPUtime=0 cores=0,2,4,6
/proc/15215/stat : 15215 (python) R 15213 15215 15018 0 -1 4202496 944 0 0 0 0 0 0 0 17 0 1 0 869247712 16285696 820 33554432000 4194304 5683644 140734131477728 18446744073709551615 4681245 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15215/statm: 3976 820 357 364 0 463 0
[startup+0.067034 s]
/proc/loadavg: 0.61 0.14 0.05 3/494 15215
/proc/meminfo: memFree=31121688/32951124 swapFree=53876552/67111528
[pid=15215] ppid=15213 vsize=36508 CPUtime=0.04 cores=0,2,4,6
/proc/15215/stat : 15215 (python) R 15213 15215 15018 0 -1 4202496 1621 0 0 0 3 1 0 0 17 0 1 0 869247712 37384192 1451 33554432000 4194304 5683644 140734131477728 18446744073709551615 270613108736 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15215/statm: 9127 1451 452 364 0 944 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36508
[startup+0.819881 s]
/proc/loadavg: 0.61 0.14 0.05 3/494 15215
/proc/meminfo: memFree=31121688/32951124 swapFree=53876552/67111528
[pid=15215] ppid=15213 vsize=233912 CPUtime=0.3 cores=0,2,4,6
/proc/15215/stat : 15215 (python) R 15213 15215 15018 0 -1 4202496 7323 931 1 0 22 8 0 0 16 0 1 0 869247712 239525888 5518 33554432000 4194304 5683644 140734131477728 18446744073709551615 4572064 0 0 16781312 2 0 0 0 17 0 0 0 39
/proc/15215/statm: 58478 5518 1578 364 0 4126 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 233912
[startup+0.90087 s]
/proc/loadavg: 0.61 0.14 0.05 3/494 15215
/proc/meminfo: memFree=31121688/32951124 swapFree=53876552/67111528
[pid=15215] ppid=15213 vsize=247960 CPUtime=0.36 cores=0,2,4,6
/proc/15215/stat : 15215 (python) R 15213 15215 15018 0 -1 4202496 8015 931 1 0 27 9 0 0 16 0 1 0 869247712 253911040 6147 33554432000 4194304 5683644 140734131477728 18446744073709551615 4602711 0 0 16781312 2 0 0 0 17 0 0 0 39
/proc/15215/statm: 61990 6147 1613 364 0 4994 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 247960
[startup+1.00086 s]
/proc/loadavg: 0.61 0.14 0.05 3/494 15215
/proc/meminfo: memFree=31121688/32951124 swapFree=53876552/67111528
[pid=15215] ppid=15213 vsize=283036 CPUtime=0.46 cores=0,2,4,6
/proc/15215/stat : 15215 (python) R 15213 15215 15018 0 -1 4202496 9277 931 1 0 35 11 0 0 16 0 1 0 869247712 289828864 7138 33554432000 4194304 5683644 140734131477728 18446744073709551615 5013392 0 0 16781312 33554434 0 0 0 17 0 0 0 39
/proc/15215/statm: 70759 7138 1815 364 0 5652 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 283036
[startup+1.50077 s]
/proc/loadavg: 0.61 0.14 0.05 3/494 15215
/proc/meminfo: memFree=31121688/32951124 swapFree=53876552/67111528
[pid=15215] ppid=15213 vsize=293480 CPUtime=0.51 cores=0,2,4,6
/proc/15215/stat : 15215 (python) S 15213 15215 15018 0 -1 4202496 9707 931 1 0 40 11 0 0 18 0 2 0 869247712 300523520 7213 33554432000 4194304 5683644 140734131477728 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 39
/proc/15215/statm: 73370 7213 1870 364 0 8257 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 293480
[startup+3.10052 s]
/proc/loadavg: 0.61 0.14 0.05 3/502 15232
/proc/meminfo: memFree=30967480/32951124 swapFree=53876552/67111528
[pid=15215] ppid=15213 vsize=293480 CPUtime=0.51 cores=0,2,4,6
/proc/15215/stat : 15215 (python) S 15213 15215 15018 0 -1 4202496 9707 931 1 0 40 11 0 0 18 0 2 0 869247712 300523520 7213 33554432000 4194304 5683644 140734131477728 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 39
/proc/15215/statm: 73370 7213 1870 364 0 8257 0
[pid=15221] ppid=15215 vsize=283236 CPUtime=0 cores=0,2,4,6
/proc/15221/stat : 15221 (python) S 15215 15215 15018 0 -1 4202560 722 0 0 0 0 0 0 0 18 0 1 0 869247818 290033664 5691 33554432000 4194304 5683644 140734131477728 18446744073709551615 270613130767 0 0 16781312 33554946 3033275748916887810 0 0 17 6 0 0 0
/proc/15221/statm: 70809 5691 352 364 0 5696 0
[pid=15223] ppid=15221 vsize=2656 CPUtime=2.04 cores=0,2,4,6
/proc/15223/stat : 15223 (clasp-1.3.7-x86) R 15221 15223 15223 0 -1 4202496 663 0 0 0 204 0 0 0 25 0 1 0 869247818 2719744 405 33554432000 134512640 136139019 4292650112 18446744073709551615 134597141 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/15223/statm: 664 405 184 398 0 264 0
[pid=15215/tid=15222] ppid=15213 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/15215/task/15222/stat : 15222 (python) S 15213 15215 15018 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 869247818 300523520 7213 33554432000 4194304 5683644 140734131477728 18446744073709551615 270624934321 0 0 16781312 33554434 18446604448815301696 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 579372
[startup+6.3009 s]
/proc/loadavg: 0.72 0.17 0.06 3/505 15235
/proc/meminfo: memFree=30960664/32951124 swapFree=53876552/67111528
[pid=15215] ppid=15213 vsize=293480 CPUtime=0.51 cores=0,2,4,6
/proc/15215/stat : 15215 (python) S 15213 15215 15018 0 -1 4202496 9707 931 1 0 40 11 0 0 18 0 2 0 869247712 300523520 7213 33554432000 4194304 5683644 140734131477728 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 39
/proc/15215/statm: 73370 7213 1870 364 0 8257 0
[pid=15221] ppid=15215 vsize=283236 CPUtime=0.01 cores=0,2,4,6
/proc/15221/stat : 15221 (python) S 15215 15215 15018 0 -1 4202560 878 0 0 0 0 1 0 0 18 0 1 0 869247818 290033664 5715 33554432000 4194304 5683644 140734131477728 18446744073709551615 270613130767 0 0 16781312 33554946 3033268945688690946 0 0 17 4 0 0 0
/proc/15221/statm: 70809 5715 376 364 0 5696 0
[pid=15223] ppid=15221 vsize=3056 CPUtime=5.24 cores=0,2,4,6
/proc/15223/stat : 15223 (clasp-1.3.7-x86) R 15221 15223 15223 0 -1 4202496 765 0 0 0 524 0 0 0 25 0 1 0 869247818 3129344 507 33554432000 134512640 136139019 4292650112 18446744073709551615 134634856 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/15223/statm: 764 507 184 398 0 364 0
[pid=15215/tid=15222] ppid=15213 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/15215/task/15222/stat : 15222 (python) S 15213 15215 15018 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 869247818 300523520 7213 33554432000 4194304 5683644 140734131477728 18446744073709551615 270624934321 0 0 16781312 33554434 18446604448815301696 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.76
Current children cumulated vsize (KiB) 579772
Solver just ended. Dumping a history of the last processes samples
[startup+7.00083 s]
/proc/loadavg: 0.72 0.17 0.06 3/505 15235
/proc/meminfo: memFree=30960664/32951124 swapFree=53876552/67111528
[pid=15215] ppid=15213 vsize=293480 CPUtime=0.51 cores=0,2,4,6
/proc/15215/stat : 15215 (python) S 15213 15215 15018 0 -1 4202496 9707 931 1 0 40 11 0 0 18 0 2 0 869247712 300523520 7213 33554432000 4194304 5683644 140734131477728 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 39
/proc/15215/statm: 73370 7213 1870 364 0 8257 0
[pid=15221] ppid=15215 vsize=283236 CPUtime=0.01 cores=0,2,4,6
/proc/15221/stat : 15221 (python) S 15215 15215 15018 0 -1 4202560 878 0 0 0 0 1 0 0 18 0 1 0 869247818 290033664 5715 33554432000 4194304 5683644 140734131477728 18446744073709551615 270613130767 0 0 16781312 33554946 3033268945688690946 0 0 17 4 0 0 0
/proc/15221/statm: 70809 5715 376 364 0 5696 0
[pid=15223] ppid=15221 vsize=3056 CPUtime=5.94 cores=0,2,4,6
/proc/15223/stat : 15223 (clasp-1.3.7-x86) R 15221 15223 15223 0 -1 4202496 778 0 0 0 594 0 0 0 25 0 1 0 869247818 3129344 520 33554432000 134512640 136139019 4292650112 18446744073709551615 134598386 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/15223/statm: 764 520 184 398 0 364 0
[pid=15215/tid=15222] ppid=15213 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/15215/task/15222/stat : 15222 (python) S 15213 15215 15018 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 869247818 300523520 7213 33554432000 4194304 5683644 140734131477728 18446744073709551615 270624934321 0 0 16781312 33554434 18446604448815301696 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.46
Current children cumulated vsize (KiB) 579772
[startup+8.60053 s]
/proc/loadavg: 0.91 0.22 0.07 3/505 15270
/proc/meminfo: memFree=30964372/32951124 swapFree=53876552/67111528
[pid=15215] ppid=15213 vsize=293480 CPUtime=0.51 cores=0,2,4,6
/proc/15215/stat : 15215 (python) S 15213 15215 15018 0 -1 4202496 9707 931 1 0 40 11 0 0 18 0 2 0 869247712 300523520 7213 33554432000 4194304 5683644 140734131477728 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 39
/proc/15215/statm: 73370 7213 1870 364 0 8257 0
[pid=15221] ppid=15215 vsize=283236 CPUtime=0.01 cores=0,2,4,6
/proc/15221/stat : 15221 (python) S 15215 15215 15018 0 -1 4202560 878 0 0 0 0 1 0 0 18 0 1 0 869247818 290033664 5715 33554432000 4194304 5683644 140734131477728 18446744073709551615 270613130767 0 0 16781312 33554946 3033268945688690946 0 0 17 4 0 0 0
/proc/15221/statm: 70809 5715 376 364 0 5696 0
[pid=15223] ppid=15221 vsize=3320 CPUtime=7.54 cores=0,2,4,6
/proc/15223/stat : 15223 (clasp-1.3.7-x86) R 15221 15223 15223 0 -1 4202496 817 0 0 0 754 0 0 0 25 0 1 0 869247818 3399680 559 33554432000 134512640 136139019 4292650112 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/15223/statm: 830 559 184 398 0 430 0
[pid=15215/tid=15222] ppid=15213 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/15215/task/15222/stat : 15222 (python) S 15213 15215 15018 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 869247818 300523520 7213 33554432000 4194304 5683644 140734131477728 18446744073709551615 270624934321 0 0 16781312 33554434 18446604448815301696 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.06
Current children cumulated vsize (KiB) 580036
[startup+9.40039 s]
/proc/loadavg: 0.91 0.22 0.07 3/505 15270
/proc/meminfo: memFree=30963628/32951124 swapFree=53876552/67111528
[pid=15215] ppid=15213 vsize=293480 CPUtime=0.51 cores=0,2,4,6
/proc/15215/stat : 15215 (python) S 15213 15215 15018 0 -1 4202496 9707 931 1 0 40 11 0 0 18 0 2 0 869247712 300523520 7213 33554432000 4194304 5683644 140734131477728 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 39
/proc/15215/statm: 73370 7213 1870 364 0 8257 0
[pid=15221] ppid=15215 vsize=283236 CPUtime=0.03 cores=0,2,4,6
/proc/15221/stat : 15221 (python) S 15215 15215 15018 0 -1 4202560 881 0 0 0 1 2 0 0 18 0 1 0 869247818 290033664 5715 33554432000 4194304 5683644 140734131477728 18446744073709551615 270613130767 0 0 16781312 33554946 72409437758827269 0 0 17 4 0 0 0
/proc/15221/statm: 70809 5715 376 364 0 5696 0
[pid=15223] ppid=15221 vsize=3320 CPUtime=8.35 cores=0,2,4,6
/proc/15223/stat : 15223 (clasp-1.3.7-x86) R 15221 15223 15223 0 -1 4202496 826 0 0 0 835 0 0 0 25 0 1 0 869247818 3399680 568 33554432000 134512640 136139019 4292650112 18446744073709551615 134832464 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/15223/statm: 830 568 184 398 0 430 0
[pid=15215/tid=15222] ppid=15213 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/15215/task/15222/stat : 15222 (python) S 15213 15215 15018 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 869247818 300523520 7213 33554432000 4194304 5683644 140734131477728 18446744073709551615 270624934321 0 0 16781312 33554434 18446604448815301696 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.89
Current children cumulated vsize (KiB) 580036
[startup+9.80031 s]
/proc/loadavg: 0.91 0.22 0.07 3/505 15270
/proc/meminfo: memFree=30963628/32951124 swapFree=53876552/67111528
[pid=15215] ppid=15213 vsize=293480 CPUtime=0.51 cores=0,2,4,6
/proc/15215/stat : 15215 (python) S 15213 15215 15018 0 -1 4202496 9707 931 1 0 40 11 0 0 18 0 2 0 869247712 300523520 7213 33554432000 4194304 5683644 140734131477728 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 39
/proc/15215/statm: 73370 7213 1870 364 0 8257 0
[pid=15221] ppid=15215 vsize=283236 CPUtime=0.03 cores=0,2,4,6
/proc/15221/stat : 15221 (python) S 15215 15215 15018 0 -1 4202560 881 0 0 0 1 2 0 0 18 0 1 0 869247818 290033664 5715 33554432000 4194304 5683644 140734131477728 18446744073709551615 270613130767 0 0 16781312 33554946 72409437758827269 0 0 17 4 0 0 0
/proc/15221/statm: 70809 5715 376 364 0 5696 0
[pid=15223] ppid=15221 vsize=3320 CPUtime=8.74 cores=0,2,4,6
/proc/15223/stat : 15223 (clasp-1.3.7-x86) R 15221 15223 15223 0 -1 4202496 826 0 0 0 874 0 0 0 25 0 1 0 869247818 3399680 568 33554432000 134512640 136139019 4292650112 18446744073709551615 134871008 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/15223/statm: 830 568 184 398 0 430 0
[pid=15215/tid=15222] ppid=15213 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/15215/task/15222/stat : 15222 (python) S 15213 15215 15018 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 869247818 300523520 7213 33554432000 4194304 5683644 140734131477728 18446744073709551615 270624934321 0 0 16781312 33554434 18446604448815301696 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.28
Current children cumulated vsize (KiB) 580036
[startup+10.2012 s]
/proc/loadavg: 0.91 0.22 0.07 3/505 15270
/proc/meminfo: memFree=30963628/32951124 swapFree=53876552/67111528
[pid=15215] ppid=15213 vsize=293480 CPUtime=0.51 cores=0,2,4,6
/proc/15215/stat : 15215 (python) S 15213 15215 15018 0 -1 4202496 9707 931 1 0 40 11 0 0 18 0 2 0 869247712 300523520 7213 33554432000 4194304 5683644 140734131477728 18446744073709551615 270624937419 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 39
/proc/15215/statm: 73370 7213 1870 364 0 8257 0
[pid=15221] ppid=15215 vsize=283236 CPUtime=0.03 cores=0,2,4,6
/proc/15221/stat : 15221 (python) S 15215 15215 15018 0 -1 4202560 881 0 0 0 1 2 0 0 18 0 1 0 869247818 290033664 5715 33554432000 4194304 5683644 140734131477728 18446744073709551615 270613130767 0 0 16781312 33554946 72409437758827269 0 0 17 4 0 0 0
/proc/15221/statm: 70809 5715 376 364 0 5696 0
[pid=15223] ppid=15221 vsize=3320 CPUtime=9.14 cores=0,2,4,6
/proc/15223/stat : 15223 (clasp-1.3.7-x86) R 15221 15223 15223 0 -1 4202496 826 0 0 0 914 0 0 0 25 0 1 0 869247818 3399680 568 33554432000 134512640 136139019 4292650112 18446744073709551615 134599050 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/15223/statm: 830 568 184 398 0 430 0
[pid=15215/tid=15222] ppid=15213 vsize=293480 CPUtime=0 cores=0,2,4,6
/proc/15215/task/15222/stat : 15222 (python) S 15213 15215 15018 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 869247818 300523520 7213 33554432000 4194304 5683644 140734131477728 18446744073709551615 270624934321 0 0 16781312 33554434 18446604448815301696 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.68
Current children cumulated vsize (KiB) 580036
Child status: 0
Real time (s): 10.2832
CPU time (s): 9.78651
CPU user time (s): 9.63853
CPU system time (s): 0.147977
CPU usage (%): 95.1698
Max. virtual memory (cumulated for all children) (KiB): 580036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.63853
system time used= 0.147977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17088
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= 2178
involuntary context switches= 38
runsolver used 0.050992 second user time and 0.103984 second system time
The end