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-3494722-1307808732/watcher-3494722-1307808732 -o /tmp/evaluation-result-3494722-1307808732/solver-3494722-1307808732 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494722-1307808732.cnf
running on 2 cores: 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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.18 2.33 3.05 1/171 25951
/proc/meminfo: memFree=31880216/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=24280 CPUtime=0 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 518 0 0 0 0 0 0 0 25 0 1 0 892473705 24862720 460 33554432000 4194304 4337479 140733768606464 18446744073709551615 4321305 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 6070 462 219 35 0 2693 0
[startup+0.0113521 s]
/proc/loadavg: 1.18 2.33 3.05 1/171 25951
/proc/meminfo: memFree=31880216/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=25140 CPUtime=0 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 821 0 0 0 0 0 0 0 25 0 1 0 892473705 25743360 752 33554432000 4194304 4337479 140733768606464 18446744073709551615 4258532 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 6285 752 219 35 0 2908 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25140
[startup+0.100332 s]
/proc/loadavg: 1.18 2.33 3.05 1/171 25951
/proc/meminfo: memFree=31880216/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=28520 CPUtime=0.09 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 3141 0 0 0 9 0 0 0 25 0 1 0 892473705 29204480 2789 33554432000 4194304 4337479 140733768606464 18446744073709551615 4222609 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 7130 2789 226 35 0 3753 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28520
[startup+0.300294 s]
/proc/loadavg: 1.18 2.33 3.05 1/171 25951
/proc/meminfo: memFree=31880216/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=26300 CPUtime=0.29 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 3910 0 0 0 29 0 0 0 25 0 1 0 892473705 26931200 2826 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303658 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 6575 2826 244 35 0 3198 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26300
[startup+0.700219 s]
/proc/loadavg: 1.18 2.33 3.05 1/171 25951
/proc/meminfo: memFree=31880216/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=28908 CPUtime=0.69 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 4550 0 0 0 69 0 0 0 25 0 1 0 892473705 29601792 3459 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303184 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 7227 3459 244 35 0 3850 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28908
[startup+1.50108 s]
/proc/loadavg: 1.18 2.33 3.05 2/172 25952
/proc/meminfo: memFree=31866100/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=33572 CPUtime=1.49 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 5517 0 0 0 149 0 0 0 25 0 1 0 892473705 34377728 4416 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303238 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 8393 4416 244 35 0 5016 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33572
[startup+3.10078 s]
/proc/loadavg: 1.18 2.33 3.05 2/172 25952
/proc/meminfo: memFree=31859228/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=40860 CPUtime=3.09 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 9786 0 0 0 308 1 0 0 25 0 1 0 892473705 41840640 6445 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 10215 6445 264 35 0 6838 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40860
[startup+6.3002 s]
/proc/loadavg: 1.17 2.31 3.04 2/172 25952
/proc/meminfo: memFree=31852252/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=48272 CPUtime=6.29 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 13143 0 0 0 627 2 0 0 25 0 1 0 892473705 49430528 8078 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303471 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 12068 8078 264 35 0 8691 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48272
[startup+12.701 s]
/proc/loadavg: 1.16 2.29 3.03 2/172 25952
/proc/meminfo: memFree=31822496/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=82124 CPUtime=12.68 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 20769 0 0 0 1266 2 0 0 25 0 1 0 892473705 84094976 15508 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303235 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 20531 15508 265 35 0 17154 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 82124
[startup+25.5007 s]
/proc/loadavg: 1.12 2.22 3.00 2/172 25953
/proc/meminfo: memFree=31760580/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=135696 CPUtime=25.49 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 35910 0 0 0 2545 4 0 0 25 0 1 0 892473705 138952704 30241 33554432000 4194304 4337479 140733768606464 18446744073709551615 4280264 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 33924 30241 265 35 0 30547 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 135696
[startup+51.101 s]
/proc/loadavg: 1.08 2.12 2.94 2/172 25954
/proc/meminfo: memFree=31644596/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=268896 CPUtime=51.09 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 66531 0 0 0 5101 8 0 0 25 0 1 0 892473705 275349504 60160 33554432000 4194304 4337479 140733768606464 18446744073709551615 230808814807 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 67224 60160 265 35 0 63847 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 268896
[startup+102.307 s]
/proc/loadavg: 1.03 1.95 2.84 2/172 25955
/proc/meminfo: memFree=31435884/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=483288 CPUtime=102.29 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 117931 0 0 0 10214 15 0 0 25 0 1 0 892473705 494886912 111049 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303184 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 120822 111049 265 35 0 117445 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 483288
[startup+162.301 s]
/proc/loadavg: 1.01 1.77 2.72 2/172 25956
/proc/meminfo: memFree=31209536/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=732948 CPUtime=162.29 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 174856 0 0 0 16207 22 0 0 25 0 1 0 892473705 750538752 167858 33554432000 4194304 4337479 140733768606464 18446744073709551615 230808832991 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 183237 167858 265 35 0 179860 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 732948
[startup+222.301 s]
/proc/loadavg: 1.00 1.63 2.61 2/172 25958
/proc/meminfo: memFree=30967096/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=1011780 CPUtime=222.29 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 236646 0 0 0 22199 30 0 0 25 0 1 0 892473705 1036062720 229575 33554432000 4194304 4337479 140733768606464 18446744073709551615 4304539 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 252945 229575 265 35 0 249568 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1011780
[startup+282.301 s]
/proc/loadavg: 1.00 1.51 2.51 2/172 25960
/proc/meminfo: memFree=30755160/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=1217724 CPUtime=282.3 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 288695 0 0 0 28193 37 0 0 25 0 1 0 892473705 1246949376 281597 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303658 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 304431 281597 265 35 0 301054 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1217724
[startup+342.301 s]
/proc/loadavg: 1.00 1.42 2.41 2/172 25961
/proc/meminfo: memFree=30507632/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=1519320 CPUtime=342.29 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 349811 0 0 0 34184 45 0 0 25 0 1 0 892473705 1555783680 342707 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303707 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 379830 342707 265 35 0 376453 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1519320
[startup+402.301 s]
/proc/loadavg: 1.00 1.34 2.32 2/172 25963
/proc/meminfo: memFree=30311572/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=1709148 CPUtime=402.3 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 399606 0 0 0 40178 52 0 0 25 0 1 0 892473705 1750167552 392500 33554432000 4194304 4337479 140733768606464 18446744073709551615 4288490 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 427287 392500 265 35 0 423910 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1709148
[startup+462.301 s]
/proc/loadavg: 1.06 1.29 2.24 2/172 25964
/proc/meminfo: memFree=30106568/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=1910776 CPUtime=462.3 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 450624 0 0 0 46170 60 0 0 25 0 1 0 892473705 1956634624 443516 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303723 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 477694 443516 265 35 0 474317 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1910776
[startup+522.301 s]
/proc/loadavg: 1.02 1.23 2.16 2/172 25966
/proc/meminfo: memFree=29847128/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=2267144 CPUtime=522.31 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 516208 0 0 0 52162 69 0 0 25 0 1 0 892473705 2321555456 509095 33554432000 4194304 4337479 140733768606464 18446744073709551615 4289648 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 566786 509095 265 35 0 563409 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2267144
[startup+582.301 s]
/proc/loadavg: 1.00 1.19 2.08 2/172 25968
/proc/meminfo: memFree=29648320/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=2441844 CPUtime=582.3 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 564345 0 0 0 58156 74 0 0 25 0 1 0 892473705 2500448256 557232 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303124 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 610461 557232 265 35 0 607084 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2441844
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 1.00 1.06 1.77 2/172 25976
/proc/meminfo: memFree=28564632/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=3660876 CPUtime=882.31 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 834644 0 0 0 88118 113 0 0 25 0 1 0 892473705 3748737024 827531 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303440 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 915219 827531 265 35 0 911842 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 3660876
[startup+942.3 s]
/proc/loadavg: 1.00 1.05 1.72 2/172 25977
/proc/meminfo: memFree=28386032/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=3824612 CPUtime=942.31 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 879415 0 0 0 94111 120 0 0 25 0 1 0 892473705 3916402688 872301 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303443 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 956153 872301 265 35 0 952776 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 3824612
[startup+1002.3 s]
/proc/loadavg: 1.00 1.04 1.67 2/172 25979
/proc/meminfo: memFree=28185848/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=4007840 CPUtime=1002.31 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 929202 0 0 0 100104 127 0 0 25 0 1 0 892473705 4104028160 922088 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303500 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 1001960 922088 265 35 0 998583 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 4007840
[startup+1062.3 s]
/proc/loadavg: 1.00 1.03 1.63 2/172 25980
/proc/meminfo: memFree=27993348/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=4235708 CPUtime=1062.32 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 978792 0 0 0 106097 135 0 0 25 0 1 0 892473705 4337364992 971678 33554432000 4194304 4337479 140733768606464 18446744073709551615 4256421 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 1058927 971678 265 35 0 1055550 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 4235708
[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.59 2/172 25982
/proc/meminfo: memFree=27777808/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=4450160 CPUtime=1122.32 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 1031125 0 0 0 112090 142 0 0 25 0 1 0 892473705 4556963840 1024011 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 1112540 1024011 265 35 0 1109163 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 4450160
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.54 2/172 25984
/proc/meminfo: memFree=27559904/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=4825256 CPUtime=1182.32 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 1086557 0 0 0 118081 151 0 0 25 0 1 0 892473705 4941062144 1079443 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303451 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 1206314 1079443 265 35 0 1202937 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 4825256
[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.51 2/172 25985
/proc/meminfo: memFree=27333952/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=5046884 CPUtime=1242.32 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 1141809 0 0 0 124073 159 0 0 25 0 1 0 892473705 5168009216 1134695 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 1261721 1134695 265 35 0 1258344 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 5046884
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.47 2/172 25987
/proc/meminfo: memFree=27118036/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=5272312 CPUtime=1302.33 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 1195487 0 0 0 130066 167 0 0 25 0 1 0 892473705 5398847488 1188373 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303227 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 1318078 1188373 265 35 0 1314701 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 5272312
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.44 2/172 25988
/proc/meminfo: memFree=26923696/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=5439240 CPUtime=1362.33 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 1244195 0 0 0 136059 174 0 0 25 0 1 0 892473705 5569781760 1237081 33554432000 4194304 4337479 140733768606464 18446744073709551615 4304532 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 1359810 1237081 265 35 0 1356433 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 5439240
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.41 2/172 25990
/proc/meminfo: memFree=26746972/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=5587940 CPUtime=1422.33 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 1288144 0 0 0 142053 180 0 0 25 0 1 0 892473705 5722050560 1281030 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303503 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 1396985 1281030 265 35 0 1393608 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 5587940
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.38 2/172 25992
/proc/meminfo: memFree=26540108/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=5803652 CPUtime=1482.33 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 1339900 0 0 0 148044 189 0 0 25 0 1 0 892473705 5942939648 1332786 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 1450913 1332786 265 35 0 1447536 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 5803652
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.36 2/172 25993
/proc/meminfo: memFree=26341924/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=5986964 CPUtime=1542.33 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 1389180 0 0 0 154038 195 0 0 25 0 1 0 892473705 6130651136 1382066 33554432000 4194304 4337479 140733768606464 18446744073709551615 230808820917 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 1496741 1382066 265 35 0 1493364 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 5986964
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.33 2/172 25995
/proc/meminfo: memFree=26158236/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=6191948 CPUtime=1602.33 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 1436207 0 0 0 160032 201 0 0 25 0 1 0 892473705 6340554752 1429093 33554432000 4194304 4337479 140733768606464 18446744073709551615 4258657 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 1547987 1429093 265 35 0 1544610 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 6191948
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.31 2/172 25996
/proc/meminfo: memFree=25978656/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=6375572 CPUtime=1662.33 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 1479872 0 0 0 166025 208 0 0 25 0 1 0 892473705 6528585728 1472758 33554432000 4194304 4337479 140733768606464 18446744073709551615 4279066 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 1593893 1472758 265 35 0 1590516 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 6375572
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.29 2/172 25998
/proc/meminfo: memFree=25759144/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=6622080 CPUtime=1722.33 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 1534844 0 0 0 172016 217 0 0 25 0 1 0 892473705 6781009920 1527730 33554432000 4194304 4337479 140733768606464 18446744073709551615 4303227 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 1655520 1527730 265 35 0 1652143 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 6622080
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.26 2/172 26000
/proc/meminfo: memFree=25566288/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=7031280 CPUtime=1782.34 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 1582744 0 0 0 178009 225 0 0 25 0 1 0 892473705 7200030720 1575630 33554432000 4194304 4337479 140733768606464 18446744073709551615 4290194 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 1757820 1575630 265 35 0 1754443 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 7031280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.26 2/172 26000
/proc/meminfo: memFree=25505880/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=7086172 CPUtime=1800.04 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4202496 1597687 0 0 0 179777 227 0 0 25 0 1 0 892473705 7256240128 1590573 33554432000 4194304 4337479 140733768606464 18446744073709551615 4288492 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/25951/statm: 1771543 1590573 265 35 0 1768166 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 7086172
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 1.00 1.00 1.26 2/172 26000
/proc/meminfo: memFree=25505880/32951124 swapFree=67052968/67111528
[pid=25951] ppid=25949 vsize=0 CPUtime=1800.23 cores=5,7
/proc/25951/stat : 25951 (hmuc) R 25949 25951 24151 0 -1 4203524 1597687 0 0 0 179777 246 0 0 25 0 1 0 892473705 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 5 0 0 0
/proc/25951/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.27
CPU time (s): 1800.32
CPU user time (s): 1797.78
CPU system time (s): 2.53561
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 7086172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.78
system time used= 2.53561
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1597687
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 19499
runsolver used 2.16067 second user time and 6.05108 second system time
The end
Begin job on node104 at 2011-06-11 18:12:13
IDJOB=3494722
IDBENCH=89624
IDSOLVER=1985
FILE ID=node104/3494722-1307808732
RUNJOBID= node104-1307808732-25938
PBS_JOBID= 13551072
Free space on /tmp= 74128 MiB
SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT11/mus/marques-silva/fpga-routing/vda_gr_rcs_w7.shuffled.cnf
COMMAND LINE= HOME/hmuc BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494722-1307808732/watcher-3494722-1307808732 -o /tmp/evaluation-result-3494722-1307808732/solver-3494722-1307808732 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494722-1307808732.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 82a9ca0e4da00ed6ec7517b8e833f40e
RANDOM SEED=1360507579
node104.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.71
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.80
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5293.18
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31880644 kB
Buffers: 152216 kB
Cached: 744964 kB
SwapCached: 11092 kB
Active: 268196 kB
Inactive: 646716 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31880644 kB
SwapTotal: 67111528 kB
SwapFree: 67052968 kB
Dirty: 1984 kB
Writeback: 0 kB
AnonPages: 15352 kB
Mapped: 8456 kB
Slab: 90820 kB
PageTables: 4012 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 190712 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74128 MiB
End job on node104 at 2011-06-11 18:42:15