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.09 | 1800.42 |
| Name | /PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-66-100-0.wbo |
| MD5SUM | 8a7b280af2f03093297f21c42e0139c3 |
| Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 426.13 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 84836 |
| Total number of constraints | 245062 |
| Number of soft constraints | 83464 |
| Number of constraints which are clauses | 233598 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 11464 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 15 |
| Top cost | 4203368 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 4203367 |
| Biggest number in a constraint | 129 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 510 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1082.98/1083.28 c 2012-05-28T01:51:01+0200 1082.98/1083.28 c arch = x86_64 1082.98/1083.28 c os = linux 1082.98/1083.28 c compiler = ghc 7.4 1082.98/1083.28 c packages: 1082.98/1083.28 c OptDir-0.0.1 1082.98/1083.28 c array-0.4.0.0 1082.98/1083.28 c base-4.5.0.0 1082.98/1083.28 c bytestring-0.9.2.1 1082.98/1083.28 c containers-0.4.2.1 1082.98/1083.28 c deepseq-1.3.0.0 1082.98/1083.28 c mtl-2.1.1 1082.98/1083.28 c old_locale-1.0.0.4 1082.98/1083.28 c parse_dimacs-1.2 1082.98/1083.28 c parsec-3.1.2 1082.98/1083.28 c queue-0.1.2 1082.98/1083.28 c stm-2.3 1082.98/1083.28 c time-1.4 1082.98/1083.28 c command line = ["--wbo","HOME/instance-3711763-1338162660.wbo"] 1082.98/1083.28 c #vars 84836 1082.98/1083.28 c #constraints 245062 1082.98/1083.28 c Solving starts ... 1090.98/1091.29 c solving time = 7.798s 1090.98/1091.29 c #decision = 476241 1090.98/1091.29 c #conflict = 490 1090.98/1091.29 c #restart = 3 1091.08/1091.30 o 145 1091.48/1091.70 c Solving starts ... 1092.58/1092.80 c solving time = 0.876s 1092.58/1092.80 c #decision = 559318 1092.58/1092.80 c #conflict = 490 1092.58/1092.80 c #restart = 3 1092.58/1092.80 o 144 1092.98/1093.21 c Solving starts ... 1094.48/1094.74 c solving time = 1.294s 1094.48/1094.74 c #decision = 640481 1094.48/1094.74 c #conflict = 490 1094.48/1094.74 c #restart = 3 1094.48/1094.74 o 143 1094.88/1095.19 c Solving starts ... 1096.68/1096.95 c solving time = 1.522s 1096.68/1096.95 c #decision = 719706 1096.68/1096.95 c #conflict = 490 1096.68/1096.95 c #restart = 3 1096.68/1096.95 o 142 1096.87/1097.13 c Solving starts ... 1098.97/1099.26 c solving time = 1.888s 1098.97/1099.26 c #decision = 796848 1098.97/1099.26 c #conflict = 490 1098.97/1099.26 c #restart = 3 1098.97/1099.26 o 141 1099.37/1099.69 c Solving starts ... 1101.48/1101.70 c solving time = 1.772s 1101.48/1101.70 c #decision = 871880 1101.48/1101.70 c #conflict = 490 1101.48/1101.70 c #restart = 3 1101.48/1101.70 o 140 1101.88/1102.15 c Solving starts ... 1105.47/1105.72 c solving time = 3.342s 1105.47/1105.72 c #decision = 946446 1105.47/1105.72 c #conflict = 491 1105.47/1105.72 c #restart = 3 1105.47/1105.73 o 137 1105.67/1105.91 c Solving starts ... 1108.17/1108.44 c solving time = 2.354s 1108.17/1108.44 c #decision = 947257 1108.17/1108.44 c #conflict = 491 1108.17/1108.44 c #restart = 3 1108.17/1108.45 o 136 1108.37/1108.63 c Solving starts ... 1111.38/1111.62 c solving time = 2.811s 1111.38/1111.62 c #decision = 948123 1111.38/1111.62 c #conflict = 495 1111.38/1111.62 c #restart = 3 1111.38/1111.62 o 135 1111.58/1111.80 c Solving starts ... 1257.65/1257.99 c solving time = 145.968s 1257.65/1257.99 c #decision = 950711 1257.65/1257.99 c #conflict = 638 1257.65/1257.99 c #restart = 4 1257.65/1258.00 o 134 1257.85/1258.18 c Solving starts ... 1260.36/1260.65 c solving time = 2.286s 1260.36/1260.65 c #decision = 952253 1260.36/1260.65 c #conflict = 640 1260.36/1260.65 c #restart = 4 1260.36/1260.65 o 133 1260.86/1261.12 c Solving starts ... 1262.95/1263.23 c solving time = 1.916s 1262.95/1263.23 c #decision = 961219 1262.95/1263.23 c #conflict = 640 1262.95/1263.23 c #restart = 4 1262.95/1263.23 o 123 1263.45/1263.72 c Solving starts ... 1265.56/1265.80 c solving time = 1.899s 1265.56/1265.80 c #decision = 962766 1265.56/1265.80 c #conflict = 640 1265.56/1265.80 c #restart = 4 1265.56/1265.80 o 122 1266.06/1266.30 c Solving starts ... 1268.06/1268.31 c solving time = 1.802s 1268.06/1268.31 c #decision = 984506 1268.06/1268.31 c #conflict = 640 1268.06/1268.31 c #restart = 4 1268.06/1268.31 o 97 1268.25/1268.50 c Solving starts ... 1270.45/1270.77 c solving time = 2.088s 1270.45/1270.77 c #decision = 986690 1270.45/1270.77 c #conflict = 640 1270.45/1270.77 c #restart = 4 1270.45/1270.78 o 95 1270.65/1270.96 c Solving starts ... 1273.25/1273.51 c solving time = 2.327s 1273.25/1273.51 c #decision = 1030208 1273.25/1273.51 c #conflict = 641 1273.25/1273.51 c #restart = 4 1273.25/1273.51 o 44 1273.45/1273.73 c Solving starts ... 1286.45/1286.75 c solving time = 12.883s 1286.45/1286.75 c #decision = 1032068 1286.45/1286.75 c #conflict = 670 1286.45/1286.75 c #restart = 4 1286.45/1286.75 o 43 1286.55/1286.84 c Solving starts ... 1288.85/1289.12 c solving time = 2.153s 1288.85/1289.12 c #decision = 1033078 1288.85/1289.12 c #conflict = 670 1288.85/1289.12 c #restart = 4 1288.85/1289.12 o 42 1288.95/1289.20 c Solving starts ... 1291.25/1291.51 c solving time = 2.181s 1291.25/1291.51 c #decision = 1035826 1291.25/1291.51 c #conflict = 670 1291.25/1291.51 c #restart = 4 1291.25/1291.52 o 39 1291.35/1291.60 c Solving starts ... 1293.65/1293.96 c solving time = 2.236s 1293.65/1293.96 c #decision = 1036842 1293.65/1293.96 c #conflict = 670 1293.65/1293.96 c #restart = 4 1293.65/1293.96 o 38 1293.75/1294.04 c Solving starts ... 1295.95/1296.26 c solving time = 2.100s 1295.95/1296.26 c #decision = 1041233 1295.95/1296.26 c #conflict = 670 1295.95/1296.26 c #restart = 4 1295.95/1296.26 o 33 1296.05/1296.34 c Solving starts ... 1309.86/1310.15 c solving time = 13.683s 1309.86/1310.15 c #decision = 1044264 1309.86/1310.15 c #conflict = 779 1309.86/1310.15 c #restart = 5 1309.86/1310.15 o 31 1309.95/1310.22 c Solving starts ... 1386.44/1386.74 c solving time = 76.388s 1386.44/1386.74 c #decision = 1046268 1386.44/1386.74 c #conflict = 1018 1386.44/1386.74 c #restart = 6 1386.44/1386.75 o 30 1386.54/1386.81 c Solving starts ... 1391.14/1391.47 c solving time = 4.531s 1391.14/1391.47 c #decision = 1047332 1391.14/1391.47 c #conflict = 1082 1391.14/1391.47 c #restart = 6 1391.14/1391.47 o 29 1391.24/1391.53 c Solving starts ... 1398.13/1398.40 c solving time = 6.753s 1398.13/1398.40 c #decision = 1048524 1398.13/1398.40 c #conflict = 1104 1398.13/1398.40 c #restart = 6 1398.13/1398.40 o 28 1398.13/1398.46 c Solving starts ... 1399.63/1399.97 c solving time = 1.383s 1399.63/1399.97 c #decision = 1056325 1399.63/1399.97 c #conflict = 1104 1399.63/1399.97 c #restart = 6 1399.63/1399.97 o 19 1399.73/1400.03 c Solving starts ... 1401.04/1401.35 c solving time = 1.198s 1401.04/1401.35 c #decision = 1061586 1401.04/1401.35 c #conflict = 1104 1401.04/1401.35 c #restart = 6 1401.04/1401.35 o 13 1401.04/1401.39 c Solving starts ... 1401.83/1402.13 c solving time = 0.643s 1401.83/1402.13 c #decision = 1064318 1401.83/1402.13 c #conflict = 1105 1401.83/1402.13 c #restart = 6 1401.83/1402.14 o 10 1401.83/1402.17 c Solving starts ... 1411.73/1412.00 c solving time = 9.728s 1411.73/1412.00 c #decision = 1066504 1411.73/1412.00 c #conflict = 1250 1411.73/1412.00 c #restart = 7 1411.73/1412.00 o 9 1411.73/1412.02 c Solving starts ... 1412.53/1412.86 c solving time = 0.747s 1412.53/1412.86 c #decision = 1067481 1412.53/1412.86 c #conflict = 1250 1412.53/1412.86 c #restart = 7 1412.53/1412.86 o 8 1412.53/1412.88 c Solving starts ... 1413.93/1414.29 c solving time = 1.310s 1413.93/1414.29 c #decision = 1068901 1413.93/1414.29 c #conflict = 1259 1413.93/1414.29 c #restart = 7 1413.93/1414.29 o 7 1414.03/1414.31 c Solving starts ... 1415.23/1415.59 c solving time = 1.184s 1415.23/1415.59 c #decision = 1069950 1415.23/1415.59 c #conflict = 1260 1415.23/1415.59 c #restart = 7 1415.23/1415.59 o 6 1415.34/1415.60 c Solving starts ... 1415.93/1416.23 c solving time = 0.540s 1415.93/1416.23 c #decision = 1073485 1415.93/1416.23 c #conflict = 1260 1415.93/1416.23 c #restart = 7 1415.93/1416.24 o 2 1415.93/1416.25 c Solving starts ... 1416.54/1416.87 c solving time = 0.532s 1416.54/1416.87 c #decision = 1074437 1416.54/1416.87 c #conflict = 1260 1416.54/1416.87 c #restart = 7 1416.54/1416.87 o 1 1416.54/1416.88 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-3711763-1338162660/watcher-3711763-1338162660 -o /tmp/evaluation-result-3711763-1338162660/solver-3711763-1338162660 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3711763-1338162660.wbo 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: 2.06 2.03 2.01 3/179 18844 /proc/meminfo: memFree=31094592/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=6208 CPUtime=0 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 812 0 0 0 0 0 0 0 20 0 1 0 282391406 6356992 732 33554432000 4194304 8973514 140734601645408 140735072987864 5712389 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/18844/statm: 1552 732 423 1167 0 333 0 [startup+0.0113669 s] /proc/loadavg: 2.06 2.03 2.01 3/179 18844 /proc/meminfo: memFree=31094592/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=7232 CPUtime=0 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 918 0 0 0 0 0 0 0 20 0 1 0 282391406 7405568 838 33554432000 4194304 8973514 140734601645408 140735072987864 4645083 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/18844/statm: 1808 838 425 1167 0 589 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 7232 [startup+0.100225 s] /proc/loadavg: 2.06 2.03 2.01 3/179 18844 /proc/meminfo: memFree=31094592/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=12352 CPUtime=0.09 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 2366 0 0 0 9 0 0 0 20 0 1 0 282391406 12648448 2286 33554432000 4194304 8973514 140734601645408 140735072987864 4664904 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/18844/statm: 3088 2286 428 1167 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12352 [startup+0.300234 s] /proc/loadavg: 2.06 2.03 2.01 3/179 18844 /proc/meminfo: memFree=31094592/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=23616 CPUtime=0.29 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 5182 0 0 0 28 1 0 0 20 0 1 0 282391406 24182784 5102 33554432000 4194304 8973514 140734601645408 140735072987864 5783400 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/18844/statm: 5904 5102 428 1167 0 4685 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23616 [startup+0.700226 s] /proc/loadavg: 2.06 2.03 2.01 3/179 18844 /proc/meminfo: memFree=31094592/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=50240 CPUtime=0.69 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 11838 0 0 0 67 2 0 0 20 0 1 0 282391406 51445760 11758 33554432000 4194304 8973514 140734601645408 140734601643328 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/18844/statm: 12560 11758 428 1167 0 11341 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 50240 [startup+1.50023 s] /proc/loadavg: 2.06 2.03 2.00 3/179 18845 /proc/meminfo: memFree=31033576/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=87104 CPUtime=1.49 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 21054 0 0 0 144 5 0 0 20 0 1 0 282391406 89194496 20974 33554432000 4194304 8973514 140734601645408 140734601627392 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/18844/statm: 21776 20974 428 1167 0 20557 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 87104 [startup+3.10023 s] /proc/loadavg: 2.06 2.03 2.00 3/179 18845 /proc/meminfo: memFree=30982728/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=207936 CPUtime=3.09 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 51263 0 0 0 297 12 0 0 20 0 1 0 282391406 212926464 51183 33554432000 4194304 8973514 140734601645408 140734601644904 7724501 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/18844/statm: 51984 51183 428 1167 0 50765 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 207936 [startup+6.30024 s] /proc/loadavg: 2.06 2.03 2.00 3/179 18845 /proc/meminfo: memFree=30750096/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=348224 CPUtime=6.28 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 86354 0 0 0 609 19 0 0 20 0 1 0 282391406 356581376 86274 33554432000 4194304 8973514 140734601645408 140734601644672 7408011 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/18844/statm: 87056 86274 441 1167 0 85837 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 348224 [startup+12.7002 s] /proc/loadavg: 2.05 2.02 2.00 3/179 18845 /proc/meminfo: memFree=30643224/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=454720 CPUtime=12.69 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 112979 0 0 0 1244 25 0 0 20 0 1 0 282391406 465633280 112899 33554432000 4194304 8973514 140734601645408 140734601644904 7657108 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/18844/statm: 113680 112899 442 1167 0 112461 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 454720 [startup+25.5002 s] /proc/loadavg: 2.04 2.02 2.00 3/179 18845 /proc/meminfo: memFree=30619904/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=478272 CPUtime=25.49 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 118867 0 0 0 2519 30 0 0 20 0 1 0 282391406 489750528 118787 33554432000 4194304 8973514 140734601645408 140734601644904 5389372 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0 /proc/18844/statm: 119568 118787 442 1167 0 118349 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 478272 [startup+51.1003 s] /proc/loadavg: 2.02 2.02 2.00 3/178 18845 /proc/meminfo: memFree=30619996/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=478272 CPUtime=51.07 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 118867 0 0 0 5066 41 0 0 20 0 1 0 282391406 489750528 118787 33554432000 4194304 8973514 140734601645408 140734601644904 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 119568 118787 442 1167 0 118349 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 478272 [startup+102.307 s] /proc/loadavg: 2.01 2.02 2.00 3/179 18846 /proc/meminfo: memFree=30619040/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=478272 CPUtime=102.27 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 118867 0 0 0 10161 66 0 0 20 0 1 0 282391406 489750528 118787 33554432000 4194304 8973514 140734601645408 140734601644904 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 119568 118787 442 1167 0 118349 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 478272 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 18846 /proc/meminfo: memFree=30619564/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=478272 CPUtime=162.26 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 118867 0 0 0 16136 90 0 0 20 0 1 0 282391406 489750528 118787 33554432000 4194304 8973514 140734601645408 140734601644672 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 119568 118787 442 1167 0 118349 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 478272 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18846 /proc/meminfo: memFree=30619672/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=478272 CPUtime=222.24 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 118881 0 0 0 22105 119 0 0 20 0 1 0 282391406 489750528 118792 33554432000 4194304 8973514 140734601645408 140734601644904 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 119568 118792 442 1167 0 118349 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 478272 [startup+282.3 s] /proc/loadavg: 2.06 2.02 2.00 3/179 18846 /proc/meminfo: memFree=30507976/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=478272 CPUtime=282.23 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 118881 0 0 0 28075 148 0 0 20 0 1 0 282391406 489750528 118792 33554432000 4194304 8973514 140734601645408 140734601644904 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 119568 118792 442 1167 0 118349 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 478272 [startup+342.3 s] /proc/loadavg: 2.05 2.02 2.00 3/179 18846 /proc/meminfo: memFree=30468076/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=478272 CPUtime=342.21 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 118901 0 0 0 34043 178 0 0 20 0 1 0 282391406 489750528 118792 33554432000 4194304 8973514 140734601645408 140734601644904 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 119568 118792 442 1167 0 118349 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 478272 [startup+402.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 18847 /proc/meminfo: memFree=30401392/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=478272 CPUtime=402.19 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 118917 0 0 0 40009 210 0 0 20 0 1 0 282391406 489750528 118792 33554432000 4194304 8973514 140734601645408 140734601644904 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 119568 118792 442 1167 0 118349 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 478272 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 18847 /proc/meminfo: memFree=30401296/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=478272 CPUtime=462.18 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 118918 0 0 0 45982 236 0 0 20 0 1 0 282391406 489750528 118792 33554432000 4194304 8973514 140734601645408 140734601643392 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 119568 118792 442 1167 0 118349 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 478272 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 18847 /proc/meminfo: memFree=30394948/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=478272 CPUtime=522.17 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 118918 0 0 0 51951 266 0 0 20 0 1 0 282391406 489750528 118792 33554432000 4194304 8973514 140734601645408 140734601643392 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 119568 118792 442 1167 0 118349 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 478272 [startup+582.3 s] /proc/loadavg: 1.93 1.99 1.99 3/180 18888 /proc/meminfo: memFree=30650944/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=478272 CPUtime=582.16 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 118918 0 0 0 57925 291 0 0 20 0 1 0 282391406 489750528 118792 33554432000 4194304 8973514 140734601645408 140734601644904 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 119568 118792 442 1167 0 118349 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 478272 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 18911 /proc/meminfo: memFree=30477516/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=478272 CPUtime=822.12 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 118918 0 0 0 81811 401 0 0 20 0 1 0 282391406 489750528 118792 33554432000 4194304 8973514 140734601645408 140734601643392 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 119568 118792 442 1167 0 118349 0 Current children cumulated CPU time (s) 822.12 Current children cumulated vsize (KiB) 478272 [startup+882.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 18911 /proc/meminfo: memFree=30477392/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=478272 CPUtime=882.12 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 118918 0 0 0 87792 420 0 0 20 0 1 0 282391406 489750528 118792 33554432000 4194304 8973514 140734601645408 140734601643328 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 119568 118792 442 1167 0 118349 0 Current children cumulated CPU time (s) 882.12 Current children cumulated vsize (KiB) 478272 [startup+942.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 18911 /proc/meminfo: memFree=30477372/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=478272 CPUtime=942.1 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 118918 0 0 0 93772 438 0 0 20 0 1 0 282391406 489750528 118792 33554432000 4194304 8973514 140734601645408 140734601644904 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 119568 118792 442 1167 0 118349 0 Current children cumulated CPU time (s) 942.1 Current children cumulated vsize (KiB) 478272 [startup+1002.3 s] /proc/loadavg: 2.05 2.00 2.00 3/179 18912 /proc/meminfo: memFree=30477524/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=478272 CPUtime=1002.1 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 118918 0 0 0 99746 464 0 0 20 0 1 0 282391406 489750528 118792 33554432000 4194304 8973514 140734601645408 140734601644904 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 119568 118792 442 1167 0 118349 0 Current children cumulated CPU time (s) 1002.1 Current children cumulated vsize (KiB) 478272 [startup+1062.3 s] /proc/loadavg: 2.02 2.00 2.00 3/179 18912 /proc/meminfo: memFree=30477304/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=478272 CPUtime=1062.09 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 118918 0 0 0 105719 490 0 0 20 0 1 0 282391406 489750528 118792 33554432000 4194304 8973514 140734601645408 140734601644904 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 119568 118792 442 1167 0 118349 0 Current children cumulated CPU time (s) 1062.09 Current children cumulated vsize (KiB) 478272 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18912 /proc/meminfo: memFree=30179052/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=778304 CPUtime=1122.07 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 193950 0 0 0 111691 516 0 0 20 0 1 0 282391406 796983296 193824 33554432000 4194304 8973514 140734601645408 140734601643392 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 194576 193824 466 1167 0 193357 0 Current children cumulated CPU time (s) 1122.07 Current children cumulated vsize (KiB) 778304 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 18915 /proc/meminfo: memFree=30171732/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=785472 CPUtime=1182.07 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 195742 0 0 0 117673 534 0 0 20 0 1 0 282391406 804323328 195616 33554432000 4194304 8973514 140734601645408 140734601644904 4209272 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 196368 195616 466 1167 0 195149 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 785472 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18915 /proc/meminfo: memFree=30171740/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=785472 CPUtime=1242.05 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 195742 0 0 0 123654 551 0 0 20 0 1 0 282391406 804323328 195616 33554432000 4194304 8973514 140734601645408 140734601644904 7656557 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 196368 195616 466 1167 0 195149 0 Current children cumulated CPU time (s) 1242.05 Current children cumulated vsize (KiB) 785472 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18916 /proc/meminfo: memFree=29928948/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=1027136 CPUtime=1302.06 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 256158 0 0 0 129635 571 0 0 20 0 1 0 282391406 1051787264 256032 33554432000 4194304 8973514 140734601645408 140734601643392 6661604 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 256784 256032 466 1167 0 255565 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 1027136 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18916 /proc/meminfo: memFree=29896336/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=1059904 CPUtime=1362.04 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 264350 0 0 0 135622 582 0 0 20 0 1 0 282391406 1085341696 264224 33554432000 4194304 8973514 140734601645408 140734601644672 4208833 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 264976 264224 466 1167 0 263757 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 1059904 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18916 /proc/meminfo: memFree=29843016/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=1113152 CPUtime=1422.04 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 277662 0 0 0 141610 594 0 0 20 0 1 0 282391406 1139867648 277536 33554432000 4194304 8973514 140734601645408 140734601644904 4204286 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 278288 277536 466 1167 0 277069 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 1113152 [startup+1482.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 18916 /proc/meminfo: memFree=29551640/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=1113152 CPUtime=1482.02 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 277662 0 0 0 147596 606 0 0 20 0 1 0 282391406 1139867648 277536 33554432000 4194304 8973514 140734601645408 140734601644904 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 278288 277536 466 1167 0 277069 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 1113152 [startup+1542.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 18916 /proc/meminfo: memFree=29498596/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=1113152 CPUtime=1542.01 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 277662 0 0 0 153578 623 0 0 20 0 1 0 282391406 1139867648 277536 33554432000 4194304 8973514 140734601645408 140734601644904 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 278288 277536 466 1167 0 277069 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 1113152 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18917 /proc/meminfo: memFree=29498624/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=1113152 CPUtime=1602 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 277662 0 0 0 159560 640 0 0 20 0 1 0 282391406 1139867648 277536 33554432000 4194304 8973514 140734601645408 140734601644904 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 278288 277536 466 1167 0 277069 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 1113152 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18917 /proc/meminfo: memFree=29496668/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=1115200 CPUtime=1661.99 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 278174 0 0 0 165544 655 0 0 20 0 1 0 282391406 1141964800 278048 33554432000 4194304 8973514 140734601645408 140734601644904 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 278800 278048 466 1167 0 277581 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 1115200 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18917 /proc/meminfo: memFree=29480080/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=1131584 CPUtime=1721.98 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 282274 0 0 0 171528 670 0 0 20 0 1 0 282391406 1158742016 282144 33554432000 4194304 8973514 140734601645408 140734601644672 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 282896 282144 466 1167 0 281677 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 1131584 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 18920 /proc/meminfo: memFree=29471668/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=1139776 CPUtime=1781.97 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 284322 0 0 0 177512 685 0 0 20 0 1 0 282391406 1167130624 284192 33554432000 4194304 8973514 140734601645408 140734601644904 4209425 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 284944 284192 466 1167 0 283725 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 1139776 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/179 18920 /proc/meminfo: memFree=29471636/32873844 swapFree=7112/7112 [pid=18844] ppid=18842 vsize=1139776 CPUtime=1800.07 cores=0,2,4,6 /proc/18844/stat : 18844 (toysat) R 18842 18844 18402 0 -1 4202496 284322 0 0 0 179318 689 0 0 20 0 1 0 282391406 1167130624 284192 33554432000 4194304 8973514 140734601645408 140734601644904 4209198 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0 /proc/18844/statm: 284944 284192 466 1167 0 283725 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1139776 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.09 CPU user time (s): 1793.19 CPU system time (s): 6.90895 CPU usage (%): 99.9821 Max. virtual memory (cumulated for all children) (KiB): 1139776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.19 system time used= 6.90895 maximum resident set size= 1136768 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 284322 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= 58 involuntary context switches= 2274 runsolver used 3.65044 second user time and 9.00463 second system time The end
Begin job on node132 at 2012-05-28 01:51:01 IDJOB=3711763 IDBENCH=78627 IDSOLVER=2291 FILE ID=node132/3711763-1338162660 RUNJOBID= node132-1338159019-18418 PBS_JOBID= 14624548 Free space on /tmp= 71616 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl--soft-66-100-0.wbo COMMAND LINE= HOME/toysat --wbo BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711763-1338162660/watcher-3711763-1338162660 -o /tmp/evaluation-result-3711763-1338162660/solver-3711763-1338162660 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3711763-1338162660.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8a7b280af2f03093297f21c42e0139c3 RANDOM SEED=80609361 node132.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 : 2666.832 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 : 5333.66 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 : 2666.832 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 : 5332.55 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 : 2666.832 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 : 5332.56 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 : 2666.832 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 : 5332.56 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 : 2666.832 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 : 5332.55 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 : 2666.832 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 : 5332.56 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 : 2666.832 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 : 5332.55 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 : 2666.832 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31094856 kB Buffers: 398112 kB Cached: 191860 kB SwapCached: 2292 kB Active: 821368 kB Inactive: 85464 kB Active(anon): 309464 kB Inactive(anon): 8148 kB Active(file): 511904 kB Inactive(file): 77316 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67103732 kB Dirty: 16428 kB Writeback: 0 kB AnonPages: 322308 kB Mapped: 12792 kB Shmem: 8 kB Slab: 731448 kB SReclaimable: 172424 kB SUnreclaim: 559024 kB KernelStack: 1472 kB PageTables: 4564 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 431580 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 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= 71608 MiB End job on node132 at 2012-05-28 02:21:03