Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2012-05-17 | ? (TO) | 1800.11 | 1800.42 |
| Name | /PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub1-20_wcsp.wbo |
| MD5SUM | 8392c6f9a9c070c17f5e6e6f3dfa2fdc |
| Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 272946 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 280 |
| Total number of constraints | 49254 |
| Number of soft constraints | 49240 |
| Number of constraints which are clauses | 49240 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Top cost | 38275680 |
| Min constraint cost | 1 |
| Max constraint cost | 1000000 |
| Sum of constraints costs | 3660538699 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
303.93/304.09 c 2012-05-28T20:18:35+0200 303.93/304.09 c arch = x86_64 303.93/304.09 c os = linux 303.93/304.09 c compiler = ghc 7.4 303.93/304.09 c packages: 303.93/304.09 c OptDir-0.0.1 303.93/304.09 c array-0.4.0.0 303.93/304.09 c base-4.5.0.0 303.93/304.09 c bytestring-0.9.2.1 303.93/304.09 c containers-0.4.2.1 303.93/304.09 c deepseq-1.3.0.0 303.93/304.09 c mtl-2.1.1 303.93/304.09 c old_locale-1.0.0.4 303.93/304.09 c parse_dimacs-1.2 303.93/304.09 c parsec-3.1.2 303.93/304.09 c queue-0.1.2 303.93/304.09 c stm-2.3 303.93/304.09 c time-1.4 303.93/304.09 c command line = ["--wbo","HOME/instance-3711812-1338229115.wbo"] 303.93/304.09 c #vars 280 303.93/304.09 c #constraints 49254 303.93/304.09 c Solving starts ... 308.32/308.45 c solving time = 4.289s 308.32/308.45 c #decision = 304944 308.32/308.45 c #conflict = 256 308.32/308.45 c #restart = 2 308.32/308.45 o 5647420 308.52/308.63 c Solving starts ... 312.92/313.02 c solving time = 4.328s 312.92/313.02 c #decision = 348204 312.92/313.02 c #conflict = 256 312.92/313.02 c #restart = 2 312.92/313.02 o 5647419 313.02/313.12 c Solving starts ... 319.52/319.62 c solving time = 6.436s 319.52/319.62 c #decision = 391457 319.52/319.62 c #conflict = 256 319.52/319.62 c #restart = 2 319.52/319.62 o 5647418 319.62/319.72 c Solving starts ... 328.02/328.16 c solving time = 8.371s 328.02/328.16 c #decision = 434563 328.02/328.16 c #conflict = 256 328.02/328.16 c #restart = 2 328.02/328.16 o 5647417 328.22/328.35 c Solving starts ... 338.62/338.79 c solving time = 10.372s 338.62/338.79 c #decision = 477369 338.62/338.79 c #conflict = 256 338.62/338.79 c #restart = 2 338.62/338.79 o 5647416 338.82/338.98 c Solving starts ... 351.32/351.43 c solving time = 12.383s 351.32/351.43 c #decision = 520175 351.32/351.43 c #conflict = 256 351.32/351.43 c #restart = 2 351.32/351.43 o 5647415 351.52/351.62 c Solving starts ... 365.81/365.97 c solving time = 14.284s 365.81/365.97 c #decision = 562873 365.81/365.97 c #conflict = 256 365.81/365.97 c #restart = 2 365.81/365.97 o 5647414 365.91/366.07 c Solving starts ... 382.32/382.43 c solving time = 16.296s 382.32/382.43 c #decision = 605316 382.32/382.43 c #conflict = 256 382.32/382.43 c #restart = 2 382.32/382.44 o 5647413 382.42/382.54 c Solving starts ... 400.71/400.80 c solving time = 18.197s 400.71/400.80 c #decision = 647741 400.71/400.80 c #conflict = 256 400.71/400.80 c #restart = 2 400.71/400.81 o 5647412 400.81/400.91 c Solving starts ... 420.81/420.91 c solving time = 19.936s 420.81/420.91 c #decision = 690158 420.81/420.91 c #conflict = 256 420.81/420.91 c #restart = 2 420.81/420.92 o 5647411 421.01/421.12 c Solving starts ... 442.90/443.02 c solving time = 21.829s 442.90/443.02 c #decision = 732560 442.90/443.02 c #conflict = 256 442.90/443.02 c #restart = 2 442.90/443.02 o 5647410 443.00/443.12 c Solving starts ... 466.60/466.78 c solving time = 23.593s 466.60/466.78 c #decision = 774950 466.60/466.78 c #conflict = 256 466.60/466.78 c #restart = 2 466.60/466.78 o 5647409 466.70/466.88 c Solving starts ... 492.19/492.33 c solving time = 25.368s 492.19/492.33 c #decision = 817325 492.19/492.33 c #conflict = 256 492.19/492.33 c #restart = 2 492.19/492.33 o 5647408 492.29/492.43 c Solving starts ... 519.50/519.60 c solving time = 27.105s 519.50/519.60 c #decision = 859383 519.50/519.60 c #conflict = 256 519.50/519.60 c #restart = 2 519.50/519.61 o 5647407 519.70/519.83 c Solving starts ... 548.49/548.69 c solving time = 28.792s 548.49/548.69 c #decision = 899711 548.49/548.69 c #conflict = 256 548.49/548.69 c #restart = 2 548.49/548.69 o 5647406 548.80/548.93 c Solving starts ... 579.38/579.57 c solving time = 30.574s 579.38/579.57 c #decision = 939357 579.38/579.57 c #conflict = 256 579.38/579.57 c #restart = 2 579.38/579.57 o 5647405 579.49/579.67 c Solving starts ... 611.78/611.90 c solving time = 32.152s 611.78/611.90 c #decision = 978990 611.78/611.90 c #conflict = 256 611.78/611.90 c #restart = 2 611.78/611.90 o 5647404 611.98/612.14 c Solving starts ... 645.77/645.94 c solving time = 33.730s 645.77/645.94 c #decision = 1017881 645.77/645.94 c #conflict = 256 645.77/645.94 c #restart = 2 645.77/645.95 o 5647403 645.97/646.19 c Solving starts ... 681.27/681.46 c solving time = 35.200s 681.27/681.46 c #decision = 1056553 681.27/681.46 c #conflict = 256 681.27/681.46 c #restart = 2 681.27/681.47 o 5647402 681.37/681.57 c Solving starts ... 718.06/718.26 c solving time = 36.619s 718.06/718.26 c #decision = 1095220 718.06/718.26 c #conflict = 256 718.06/718.26 c #restart = 2 718.06/718.26 o 5647401 718.16/718.36 c Solving starts ... 756.44/756.63 c solving time = 38.198s 756.44/756.63 c #decision = 1133872 756.44/756.63 c #conflict = 256 756.44/756.63 c #restart = 2 756.44/756.64 o 5647400 756.55/756.74 c Solving starts ... 796.44/796.62 c solving time = 39.811s 796.44/796.62 c #decision = 1171444 796.44/796.62 c #conflict = 256 796.44/796.62 c #restart = 2 796.44/796.62 o 5647399 796.54/796.72 c Solving starts ... 837.53/837.80 c solving time = 41.007s 837.53/837.80 c #decision = 1208913 837.53/837.80 c #conflict = 256 837.53/837.80 c #restart = 2 837.63/837.80 o 5647398 837.83/838.06 c Solving starts ... 879.73/879.96 c solving time = 41.832s 879.73/879.96 c #decision = 1245519 879.73/879.96 c #conflict = 256 879.73/879.96 c #restart = 2 879.73/879.97 o 5647397 879.83/880.07 c Solving starts ... 923.32/923.54 c solving time = 43.409s 923.32/923.54 c #decision = 1282120 923.32/923.54 c #conflict = 256 923.32/923.54 c #restart = 2 923.32/923.55 o 5647396 923.62/923.82 c Solving starts ... 968.51/968.75 c solving time = 44.860s 968.51/968.75 c #decision = 1318722 968.51/968.75 c #conflict = 256 968.51/968.75 c #restart = 2 968.51/968.75 o 5647395 968.61/968.85 c Solving starts ... 1015.11/1015.37 c solving time = 46.453s 1015.11/1015.37 c #decision = 1355318 1015.11/1015.37 c #conflict = 256 1015.11/1015.37 c #restart = 2 1015.11/1015.37 o 5647394 1015.21/1015.47 c Solving starts ... 1063.40/1063.60 c solving time = 48.072s 1063.40/1063.60 c #decision = 1391914 1063.40/1063.60 c #conflict = 256 1063.40/1063.60 c #restart = 2 1063.40/1063.61 o 5647393 1063.51/1063.71 c Solving starts ... 1112.79/1113.05 c solving time = 49.268s 1112.79/1113.05 c #decision = 1428507 1112.79/1113.05 c #conflict = 256 1112.79/1113.05 c #restart = 2 1112.79/1113.05 o 5647392 1112.90/1113.15 c Solving starts ... 1163.78/1164.05 c solving time = 50.826s 1163.78/1164.05 c #decision = 1464154 1163.78/1164.05 c #conflict = 256 1163.78/1164.05 c #restart = 2 1163.78/1164.05 o 5647391 1163.88/1164.15 c Solving starts ... 1216.47/1216.74 c solving time = 52.518s 1216.47/1216.74 c #decision = 1499796 1216.47/1216.74 c #conflict = 256 1216.47/1216.74 c #restart = 2 1216.47/1216.74 o 5647390 1216.57/1216.84 c Solving starts ... 1270.36/1270.65 c solving time = 53.742s 1270.36/1270.65 c #decision = 1535439 1270.36/1270.65 c #conflict = 256 1270.36/1270.65 c #restart = 2 1270.36/1270.65 o 5647389 1270.66/1270.96 c Solving starts ... 1325.76/1326.07 c solving time = 55.051s 1325.76/1326.07 c #decision = 1571076 1325.76/1326.07 c #conflict = 256 1325.76/1326.07 c #restart = 2 1325.76/1326.08 o 5647388 1325.86/1326.17 c Solving starts ... 1382.25/1382.54 c solving time = 56.293s 1382.25/1382.54 c #decision = 1606713 1382.25/1382.54 c #conflict = 256 1382.25/1382.54 c #restart = 2 1382.25/1382.54 o 5647387 1382.35/1382.64 c Solving starts ... 1440.04/1440.37 c solving time = 57.661s 1440.04/1440.37 c #decision = 1642347 1440.04/1440.37 c #conflict = 256 1440.04/1440.37 c #restart = 2 1440.04/1440.37 o 5647386 1440.14/1440.47 c Solving starts ... 1498.63/1498.96 c solving time = 58.420s 1498.63/1498.96 c #decision = 1677870 1498.63/1498.96 c #conflict = 256 1498.63/1498.96 c #restart = 2 1498.63/1498.96 o 5647385 1498.73/1499.06 c Solving starts ... 1558.43/1558.72 c solving time = 59.587s 1558.43/1558.72 c #decision = 1713268 1558.43/1558.72 c #conflict = 256 1558.43/1558.72 c #restart = 2 1558.43/1558.72 o 5647384 1558.52/1558.81 c Solving starts ... 1619.10/1619.42 c solving time = 60.541s 1619.10/1619.42 c #decision = 1748655 1619.10/1619.42 c #conflict = 256 1619.10/1619.42 c #restart = 2 1619.10/1619.42 o 5647383 1619.20/1619.52 c Solving starts ... 1681.20/1681.54 c solving time = 61.952s 1681.20/1681.54 c #decision = 1783379 1681.20/1681.54 c #conflict = 256 1681.20/1681.54 c #restart = 2 1681.20/1681.54 o 5647382 1681.30/1681.64 c Solving starts ... 1744.29/1744.67 c solving time = 62.959s 1744.29/1744.67 c #decision = 1817186 1744.29/1744.67 c #conflict = 256 1744.29/1744.67 c #restart = 2 1744.29/1744.67 o 5647381 1744.39/1744.77 c Solving starts ...
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3711812-1338229115/watcher-3711812-1338229115 -o /tmp/evaluation-result-3711812-1338229115/solver-3711812-1338229115 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3711812-1338229115.wbo 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: 1.15 1.11 1.43 3/176 6579 /proc/meminfo: memFree=30509044/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=6208 CPUtime=0 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 807 0 0 0 0 0 0 0 20 0 1 0 289036376 6356992 728 33554432000 4194304 8973514 140733736524048 140735156019320 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 1552 728 424 1167 0 333 0 [startup+0.0160761 s] /proc/loadavg: 1.15 1.11 1.43 3/176 6579 /proc/meminfo: memFree=30509044/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=7232 CPUtime=0.01 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 1083 0 0 0 1 0 0 0 20 0 1 0 289036376 7405568 1004 33554432000 4194304 8973514 140733736524048 140735156019320 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 1808 1004 426 1167 0 589 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 7232 [startup+0.100265 s] /proc/loadavg: 1.15 1.11 1.43 3/176 6579 /proc/meminfo: memFree=30509044/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=12352 CPUtime=0.09 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 2365 0 0 0 9 0 0 0 20 0 1 0 289036376 12648448 2286 33554432000 4194304 8973514 140733736524048 140735156019320 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 3088 2286 428 1167 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12352 [startup+0.300269 s] /proc/loadavg: 1.15 1.11 1.43 3/176 6579 /proc/meminfo: memFree=30509044/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=23616 CPUtime=0.29 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 5181 0 0 0 28 1 0 0 20 0 1 0 289036376 24182784 5102 33554432000 4194304 8973514 140733736524048 140735156019320 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 5904 5102 428 1167 0 4685 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23616 [startup+0.700268 s] /proc/loadavg: 1.15 1.11 1.43 3/176 6579 /proc/meminfo: memFree=30509044/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=52288 CPUtime=0.69 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 12349 0 0 0 67 2 0 0 20 0 1 0 289036376 53542912 12270 33554432000 4194304 8973514 140733736524048 140735156019320 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 13072 12270 428 1167 0 11853 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 52288 [startup+1.50032 s] /proc/loadavg: 1.15 1.11 1.43 4/177 6580 /proc/meminfo: memFree=30340528/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=126016 CPUtime=1.49 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 30638 0 0 0 144 5 0 0 20 0 1 0 289036376 129040384 30559 33554432000 4194304 8973514 140733736524048 140733736523312 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 31504 30559 441 1167 0 30285 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 126016 [startup+3.10023 s] /proc/loadavg: 1.15 1.11 1.43 4/177 6580 /proc/meminfo: memFree=30259564/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=126016 CPUtime=3.09 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 30800 0 0 0 303 6 0 0 20 0 1 0 289036376 129040384 30721 33554432000 4194304 8973514 140733736524048 140733736523544 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 31504 30721 441 1167 0 30285 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 126016 [startup+6.30023 s] /proc/loadavg: 1.22 1.12 1.44 4/177 6580 /proc/meminfo: memFree=30211220/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=133184 CPUtime=6.29 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 32592 0 0 0 621 8 0 0 20 0 1 0 289036376 136380416 32513 33554432000 4194304 8973514 140733736524048 140733736523544 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 33296 32513 441 1167 0 32077 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 133184 [startup+12.7003 s] /proc/loadavg: 1.28 1.14 1.44 4/177 6580 /proc/meminfo: memFree=30184532/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=135232 CPUtime=12.68 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 33104 0 0 0 1258 10 0 0 20 0 1 0 289036376 138477568 33025 33554432000 4194304 8973514 140733736524048 140733736523312 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 33808 33025 441 1167 0 32589 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 135232 [startup+25.5002 s] /proc/loadavg: 1.44 1.18 1.45 4/177 6580 /proc/meminfo: memFree=30184152/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=135232 CPUtime=25.48 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 33104 0 0 0 2532 16 0 0 20 0 1 0 289036376 138477568 33025 33554432000 4194304 8973514 140733736524048 140733736523544 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 33808 33025 441 1167 0 32589 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 135232 [startup+51.1003 s] /proc/loadavg: 1.63 1.24 1.46 4/177 6580 /proc/meminfo: memFree=30184476/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=135232 CPUtime=51.08 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 33104 0 0 0 5084 24 0 0 20 0 1 0 289036376 138477568 33025 33554432000 4194304 8973514 140733736524048 140733736523544 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 33808 33025 441 1167 0 32589 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 135232 [startup+102.307 s] /proc/loadavg: 1.84 1.36 1.49 4/178 6583 /proc/meminfo: memFree=30183644/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=135232 CPUtime=102.28 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 33104 0 0 0 10186 42 0 0 20 0 1 0 289036376 138477568 33025 33554432000 4194304 8973514 140733736524048 140733736523312 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 33808 33025 441 1167 0 32589 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 135232 [startup+162.3 s] /proc/loadavg: 1.94 1.47 1.52 4/177 6583 /proc/meminfo: memFree=30183928/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=135232 CPUtime=162.27 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 33104 0 0 0 16165 62 0 0 20 0 1 0 289036376 138477568 33025 33554432000 4194304 8973514 140733736524048 140733736523312 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 33808 33025 441 1167 0 32589 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 135232 [startup+222.3 s] /proc/loadavg: 1.98 1.57 1.55 4/177 6583 /proc/meminfo: memFree=30184468/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=135232 CPUtime=222.25 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 33104 0 0 0 22143 82 0 0 20 0 1 0 289036376 138477568 33025 33554432000 4194304 8973514 140733736524048 140733736523544 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 33808 33025 441 1167 0 32589 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 135232 [startup+282.3 s] /proc/loadavg: 1.99 1.64 1.57 4/177 6583 /proc/meminfo: memFree=30184496/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=135232 CPUtime=282.22 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 33123 0 0 0 28122 100 0 0 20 0 1 0 289036376 138477568 33025 33554432000 4194304 8973514 140733736524048 140733736523544 4208846 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 33808 33025 441 1167 0 32589 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 135232 [startup+342.3 s] /proc/loadavg: 1.99 1.70 1.59 4/177 6584 /proc/meminfo: memFree=30091044/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=228416 CPUtime=342.22 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 56447 0 0 0 34102 120 0 0 20 0 1 0 289036376 233897984 56348 33554432000 4194304 8973514 140733736524048 140733736523312 4209212 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 57104 56348 468 1167 0 55885 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 228416 [startup+402.3 s] /proc/loadavg: 1.99 1.76 1.62 4/177 6584 /proc/meminfo: memFree=30023464/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=296000 CPUtime=402.21 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 73343 0 0 0 40088 133 0 0 20 0 1 0 289036376 303104000 73244 33554432000 4194304 8973514 140733736524048 140733736523544 4209212 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 74000 73244 468 1167 0 72781 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 296000 [startup+462.3 s] /proc/loadavg: 1.99 1.80 1.64 4/177 6584 /proc/meminfo: memFree=29976220/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=343104 CPUtime=462.2 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 85119 0 0 0 46073 147 0 0 20 0 1 0 289036376 351338496 85020 33554432000 4194304 8973514 140733736524048 140733736521984 4204722 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 85776 85020 468 1167 0 84557 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 343104 [startup+522.3 s] /proc/loadavg: 2.11 1.86 1.67 4/177 6584 /proc/meminfo: memFree=29939268/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=379968 CPUtime=522.19 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 94335 0 0 0 52059 160 0 0 20 0 1 0 289036376 389087232 94236 33554432000 4194304 8973514 140733736524048 140733736523312 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 94992 94236 468 1167 0 93773 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 379968 [startup+582.3 s] /proc/loadavg: 2.04 1.88 1.68 4/177 6584 /proc/meminfo: memFree=29905540/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=413760 CPUtime=582.18 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 102783 0 0 0 58046 172 0 0 20 0 1 0 289036376 423690240 102684 33554432000 4194304 8973514 140733736524048 140733736521984 4208870 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 103440 102684 468 1167 0 102221 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 413760 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 1.94 1.75 4/177 6588 /proc/meminfo: memFree=29793020/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=525376 CPUtime=822.13 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 130704 0 0 0 81995 218 0 0 20 0 1 0 289036376 537985024 130588 33554432000 4194304 8973514 140733736524048 140733736523312 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 131344 130588 468 1167 0 130125 0 Current children cumulated CPU time (s) 822.13 Current children cumulated vsize (KiB) 525376 [startup+882.3 s] /proc/loadavg: 2.00 1.95 1.76 4/177 6588 /proc/meminfo: memFree=29770112/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=547904 CPUtime=882.12 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 136336 0 0 0 87981 231 0 0 20 0 1 0 289036376 561053696 136220 33554432000 4194304 8973514 140733736524048 140733736523544 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 136976 136220 468 1167 0 135757 0 Current children cumulated CPU time (s) 882.12 Current children cumulated vsize (KiB) 547904 [startup+942.3 s] /proc/loadavg: 2.00 1.95 1.77 4/177 6589 /proc/meminfo: memFree=29747420/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=570432 CPUtime=942.12 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 141968 0 0 0 93965 247 0 0 20 0 1 0 289036376 584122368 141852 33554432000 4194304 8973514 140733736524048 140733736523312 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 142608 141852 468 1167 0 141389 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 570432 [startup+1002.3 s] /proc/loadavg: 2.12 1.99 1.79 4/177 6589 /proc/meminfo: memFree=29723860/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=593984 CPUtime=1002.1 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 147856 0 0 0 99950 260 0 0 20 0 1 0 289036376 608239616 147740 33554432000 4194304 8973514 140733736524048 140733736522048 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 148496 147740 468 1167 0 147277 0 Current children cumulated CPU time (s) 1002.1 Current children cumulated vsize (KiB) 593984 [startup+1062.3 s] /proc/loadavg: 2.04 1.99 1.80 4/177 6589 /proc/meminfo: memFree=29703524/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=615488 CPUtime=1062.09 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 153232 0 0 0 105936 273 0 0 20 0 1 0 289036376 630259712 153116 33554432000 4194304 8973514 140733736524048 140733736523312 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 153872 153116 468 1167 0 152653 0 Current children cumulated CPU time (s) 1062.09 Current children cumulated vsize (KiB) 615488 [startup+1122.3 s] /proc/loadavg: 2.01 1.99 1.82 4/177 6589 /proc/meminfo: memFree=29684428/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=633920 CPUtime=1122.08 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 157840 0 0 0 111922 286 0 0 20 0 1 0 289036376 649134080 157724 33554432000 4194304 8973514 140733736524048 140733736523312 4204398 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 158480 157724 468 1167 0 157261 0 Current children cumulated CPU time (s) 1122.08 Current children cumulated vsize (KiB) 633920 [startup+1182.3 s] /proc/loadavg: 2.00 1.99 1.82 4/177 6589 /proc/meminfo: memFree=29667564/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=651328 CPUtime=1182.08 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 162192 0 0 0 117908 300 0 0 20 0 1 0 289036376 666959872 162076 33554432000 4194304 8973514 140733736524048 140733736523312 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 162832 162076 468 1167 0 161613 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 651328 [startup+1242.3 s] /proc/loadavg: 2.00 1.99 1.83 4/177 6590 /proc/meminfo: memFree=29644128/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=673856 CPUtime=1242.06 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 167824 0 0 0 123891 315 0 0 20 0 1 0 289036376 690028544 167708 33554432000 4194304 8973514 140733736524048 140733736523544 4204605 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 168464 167708 468 1167 0 167245 0 Current children cumulated CPU time (s) 1242.06 Current children cumulated vsize (KiB) 673856 [startup+1302.3 s] /proc/loadavg: 2.00 1.99 1.83 4/178 6593 /proc/meminfo: memFree=29623908/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=693312 CPUtime=1302.06 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 172688 0 0 0 129878 328 0 0 20 0 1 0 289036376 709951488 172572 33554432000 4194304 8973514 140733736524048 140733736523544 4213900 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 173328 172572 468 1167 0 172109 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 693312 [startup+1362.3 s] /proc/loadavg: 2.00 1.99 1.84 4/177 6593 /proc/meminfo: memFree=29606556/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=711744 CPUtime=1362.05 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 177296 0 0 0 135864 341 0 0 20 0 1 0 289036376 728825856 177180 33554432000 4194304 8973514 140733736524048 140733736523312 4204706 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 177936 177180 468 1167 0 176717 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 711744 [startup+1422.31 s] /proc/loadavg: 2.00 1.99 1.85 4/177 6593 /proc/meminfo: memFree=29587956/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=729152 CPUtime=1422.04 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 181651 0 0 0 141850 354 0 0 20 0 1 0 289036376 746651648 181532 33554432000 4194304 8973514 140733736524048 140733736523312 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 182288 181532 468 1167 0 181069 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 729152 [startup+1482.3 s] /proc/loadavg: 2.00 1.99 1.85 4/177 6593 /proc/meminfo: memFree=29570748/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=746560 CPUtime=1482.02 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 186004 0 0 0 147833 369 0 0 20 0 1 0 289036376 764477440 185884 33554432000 4194304 8973514 140733736524048 140733736523544 4209450 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 186640 185884 468 1167 0 185421 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 746560 [startup+1542.3 s] /proc/loadavg: 2.00 1.99 1.86 4/177 6594 /proc/meminfo: memFree=29553272/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=763968 CPUtime=1542.02 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 190356 0 0 0 153820 382 0 0 20 0 1 0 289036376 782303232 190236 33554432000 4194304 8973514 140733736524048 140733736521984 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 190992 190236 468 1167 0 189773 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 763968 [startup+1602.3 s] /proc/loadavg: 2.00 1.99 1.86 4/177 6594 /proc/meminfo: memFree=29537028/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=780352 CPUtime=1602.01 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 194452 0 0 0 159804 397 0 0 20 0 1 0 289036376 799080448 194332 33554432000 4194304 8973514 140733736524048 140733736523312 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 195088 194332 468 1167 0 193869 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 780352 [startup+1662.3 s] /proc/loadavg: 2.00 1.99 1.87 4/177 6594 /proc/meminfo: memFree=29520660/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=796736 CPUtime=1662 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 198548 0 0 0 165789 411 0 0 20 0 1 0 289036376 815857664 198428 33554432000 4194304 8973514 140733736524048 140733736522048 7937344 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 199184 198428 468 1167 0 197965 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 796736 [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.88 4/177 6594 /proc/meminfo: memFree=29505160/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=813120 CPUtime=1721.99 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 202644 0 0 0 171773 426 0 0 20 0 1 0 289036376 832634880 202524 33554432000 4194304 8973514 140733736524048 140733736522048 7841851 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 203280 202524 468 1167 0 202061 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 813120 [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.88 4/177 6594 /proc/meminfo: memFree=29488668/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=828480 CPUtime=1781.98 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 206484 0 0 0 177759 439 0 0 20 0 1 0 289036376 848363520 206364 33554432000 4194304 8973514 140733736524048 140733736523312 4209168 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 207120 206364 468 1167 0 205901 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 828480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.92 1.97 1.88 3/174 6623 /proc/meminfo: memFree=29810844/32873844 swapFree=6600/6600 [pid=6579] ppid=6577 vsize=834624 CPUtime=1800.09 cores=1,3,5,7 /proc/6579/stat : 6579 (toysat) R 6577 6579 6458 0 -1 4202496 208020 0 0 0 179566 443 0 0 20 0 1 0 289036376 854654976 207900 33554432000 4194304 8973514 140733736524048 140733736523312 7662855 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0 /proc/6579/statm: 208656 207900 468 1167 0 207437 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 834624 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.42 CPU time (s): 1800.11 CPU user time (s): 1795.66 CPU system time (s): 4.44432 CPU usage (%): 99.9827 Max. virtual memory (cumulated for all children) (KiB): 834624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.66 system time used= 4.44432 maximum resident set size= 831600 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 208020 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= 43 involuntary context switches= 1855 runsolver used 3.51946 second user time and 10.1355 second system time The end
Begin job on node140 at 2012-05-28 20:18:35 IDJOB=3711812 IDBENCH=79551 IDSOLVER=2291 FILE ID=node140/3711812-1338229115 RUNJOBID= node140-1338229108-6475 PBS_JOBID= 14624641 Free space on /tmp= 71324 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar7-sub1-20_wcsp.wbo COMMAND LINE= HOME/toysat --wbo BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711812-1338229115/watcher-3711812-1338229115 -o /tmp/evaluation-result-3711812-1338229115/solver-3711812-1338229115 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3711812-1338229115.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8392c6f9a9c070c17f5e6e6f3dfa2fdc RANDOM SEED=1706053188 node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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 : 2667.094 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30509316 kB Buffers: 549624 kB Cached: 781904 kB SwapCached: 1516 kB Active: 1169260 kB Inactive: 309324 kB Active(anon): 138420 kB Inactive(anon): 8636 kB Active(file): 1030840 kB Inactive(file): 300688 kB Unevictable: 6600 kB Mlocked: 6600 kB SwapTotal: 67108856 kB SwapFree: 67105308 kB Dirty: 20032 kB Writeback: 0 kB AnonPages: 150060 kB Mapped: 13392 kB Shmem: 8 kB Slab: 745796 kB SReclaimable: 186956 kB SUnreclaim: 558840 kB KernelStack: 1456 kB PageTables: 4324 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 260212 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71224 MiB End job on node140 at 2012-05-28 20:48:38