Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2012-06-01 | ? (TO) | 1800.11 | 1800.41 |
| Name | OPT-BIGINT-LIN/graca/ normalized-ped2.G.recomb1-0.10-8.opb |
| MD5SUM | 6588abae91382e225ff22e3d71e1a061 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 9927 |
| Best CPU time to get the best result obtained on this benchmark | 1800.05 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 212006 |
| Total number of constraints | 2890345 |
| Number of constraints which are clauses | 2890345 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 579 |
| Number of terms in the objective function | 18980 |
| Biggest coefficient in the objective function | 581 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 10690980 |
| Number of bits of the sum of numbers in the objective function | 24 |
| Biggest number in a constraint | 581 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 10690980 |
| Number of bits of the biggest sum of numbers | 24 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
115.97/116.03 c 2012-06-02T17:11:51+0200 115.97/116.03 c arch = x86_64 115.97/116.03 c os = linux 115.97/116.03 c compiler = ghc 7.4 115.97/116.03 c packages: 115.97/116.03 c OptDir-0.0.1 115.97/116.03 c array-0.4.0.0 115.97/116.03 c base-4.5.0.0 115.97/116.03 c bytestring-0.9.2.1 115.97/116.03 c containers-0.4.2.1 115.97/116.03 c deepseq-1.3.0.0 115.97/116.03 c mtl-2.1.1 115.97/116.03 c old_locale-1.0.0.4 115.97/116.03 c parse_dimacs-1.2 115.97/116.03 c parsec-3.1.2 115.97/116.03 c queue-0.1.2 115.97/116.03 c stm-2.3 115.97/116.03 c time-1.4 115.97/116.03 c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724539-1338649908.opb"] 115.97/116.03 c #vars 212006 115.97/116.03 c #constraints 2890345 115.97/116.03 c Solving starts ... 121.57/121.65 c solving time = 5.524s 121.57/121.65 c #decision = 514719 121.57/121.65 c #conflict = 385 121.57/121.65 c #restart = 2 121.57/121.65 o 48904 122.28/122.37 c Solving starts ... 122.97/123.09 c solving time = 0.610s 122.97/123.09 c #decision = 548786 122.97/123.09 c #conflict = 385 122.97/123.09 c #restart = 2 122.97/123.09 o 48903 123.07/123.13 c Solving starts ... 124.07/124.11 c solving time = 0.865s 124.07/124.11 c #decision = 582999 124.07/124.11 c #conflict = 385 124.07/124.11 c #restart = 2 124.07/124.11 o 48902 124.07/124.15 c Solving starts ... 125.87/125.91 c solving time = 1.650s 125.87/125.91 c #decision = 617019 125.87/125.91 c #conflict = 385 125.87/125.91 c #restart = 2 125.87/125.91 o 48901 125.87/125.95 c Solving starts ... 127.87/127.95 c solving time = 1.884s 127.87/127.95 c #decision = 651251 127.87/127.95 c #conflict = 385 127.87/127.95 c #restart = 2 127.87/127.95 o 48900 127.87/127.99 c Solving starts ... 130.17/130.22 c solving time = 2.121s 130.17/130.22 c #decision = 685386 130.17/130.22 c #conflict = 385 130.17/130.22 c #restart = 2 130.17/130.22 o 48899 130.17/130.26 c Solving starts ... 133.18/133.30 c solving time = 2.920s 133.18/133.30 c #decision = 719598 133.18/133.30 c #conflict = 385 133.18/133.30 c #restart = 2 133.18/133.30 o 48898 133.28/133.34 c Solving starts ... 135.97/136.01 c solving time = 2.561s 135.97/136.01 c #decision = 753544 135.97/136.01 c #conflict = 385 135.97/136.01 c #restart = 2 135.97/136.01 o 48897 136.58/136.64 c Solving starts ... 139.47/139.50 c solving time = 2.749s 139.47/139.50 c #decision = 787623 139.47/139.50 c #conflict = 385 139.47/139.50 c #restart = 2 139.47/139.50 o 48896 139.47/139.54 c Solving starts ... 143.07/143.18 c solving time = 3.526s 143.07/143.18 c #decision = 821453 143.07/143.18 c #conflict = 385 143.07/143.18 c #restart = 2 143.07/143.18 o 48895 143.17/143.22 c Solving starts ... 146.96/147.05 c solving time = 3.717s 146.96/147.05 c #decision = 855492 146.96/147.05 c #conflict = 385 146.96/147.05 c #restart = 2 146.96/147.05 o 48894 147.57/147.68 c Solving starts ... 151.67/151.73 c solving time = 3.937s 151.67/151.73 c #decision = 889309 151.67/151.73 c #conflict = 385 151.67/151.73 c #restart = 2 151.67/151.73 o 48893 151.67/151.77 c Solving starts ... 156.56/156.63 c solving time = 4.745s 156.56/156.63 c #decision = 923722 156.56/156.63 c #conflict = 386 156.56/156.63 c #restart = 2 156.56/156.63 o 48892 156.56/156.67 c Solving starts ... 160.97/161.08 c solving time = 4.297s 160.97/161.08 c #decision = 957678 160.97/161.08 c #conflict = 386 160.97/161.08 c #restart = 2 160.97/161.08 o 48891 161.07/161.12 c Solving starts ... 166.27/166.31 c solving time = 5.078s 166.27/166.31 c #decision = 991808 166.27/166.31 c #conflict = 386 166.27/166.31 c #restart = 2 166.27/166.31 o 48890 166.27/166.36 c Solving starts ... 171.67/171.72 c solving time = 5.248s 171.67/171.72 c #decision = 1025903 171.67/171.72 c #conflict = 386 171.67/171.72 c #restart = 2 171.67/171.72 o 48889 171.67/171.76 c Solving starts ... 177.77/177.87 c solving time = 6.002s 177.77/177.87 c #decision = 1059945 177.77/177.87 c #conflict = 386 177.77/177.87 c #restart = 2 177.77/177.87 o 48888 177.87/177.92 c Solving starts ... 183.56/183.64 c solving time = 5.615s 183.56/183.64 c #decision = 1094071 183.56/183.64 c #conflict = 386 183.56/183.64 c #restart = 2 183.56/183.64 o 48887 183.56/183.69 c Solving starts ... 190.06/190.16 c solving time = 6.360s 190.06/190.16 c #decision = 1128024 190.06/190.16 c #conflict = 386 190.06/190.16 c #restart = 2 190.06/190.16 o 48886 190.16/190.20 c Solving starts ... 196.26/196.30 c solving time = 5.993s 196.26/196.30 c #decision = 1162030 196.26/196.30 c #conflict = 386 196.26/196.30 c #restart = 2 196.26/196.30 o 48885 196.26/196.34 c Solving starts ... 203.05/203.19 c solving time = 6.738s 203.05/203.19 c #decision = 1195775 203.05/203.19 c #conflict = 386 203.05/203.19 c #restart = 2 203.05/203.19 o 48884 203.15/203.24 c Solving starts ... 231.65/231.78 c solving time = 28.443s 231.65/231.78 c #decision = 1232532 231.65/231.78 c #conflict = 490 231.65/231.78 c #restart = 3 231.65/231.78 o 48306 231.75/231.82 c Solving starts ... 238.86/238.94 c solving time = 7.024s 238.86/238.94 c #decision = 1248318 238.86/238.94 c #conflict = 490 238.86/238.94 c #restart = 3 238.86/238.94 o 48305 238.86/238.98 c Solving starts ... 322.84/322.92 c solving time = 83.837s 322.84/322.92 c #decision = 1265805 322.84/322.92 c #conflict = 554 322.84/322.92 c #restart = 3 322.84/322.92 o 47727 322.84/322.97 c Solving starts ... 330.44/330.52 c solving time = 7.454s 330.44/330.52 c #decision = 1281150 330.44/330.52 c #conflict = 554 330.44/330.52 c #restart = 3 330.44/330.52 o 47726 331.04/331.17 c Solving starts ... 338.74/338.90 c solving time = 7.631s 338.74/338.90 c #decision = 1296503 338.74/338.90 c #conflict = 554 338.74/338.90 c #restart = 3 338.74/338.90 o 47725 338.84/338.94 c Solving starts ... 348.53/348.61 c solving time = 9.577s 348.53/348.61 c #decision = 1311955 348.53/348.61 c #conflict = 556 348.53/348.61 c #restart = 3 348.53/348.61 o 47724 348.53/348.65 c Solving starts ... 428.02/428.10 c solving time = 79.340s 428.02/428.10 c #decision = 1334927 428.02/428.10 c #conflict = 620 428.02/428.10 c #restart = 3 428.02/428.10 o 47723 428.02/428.14 c Solving starts ... 441.91/442.00 c solving time = 13.758s 441.91/442.00 c #decision = 1352671 441.91/442.00 c #conflict = 622 441.91/442.00 c #restart = 3 441.91/442.00 o 47722 441.91/442.04 c Solving starts ... 452.61/452.74 c solving time = 10.594s 452.61/452.74 c #decision = 1368953 452.61/452.74 c #conflict = 623 452.61/452.74 c #restart = 3 452.61/452.74 o 47721 452.61/452.78 c Solving starts ... 560.39/560.58 c solving time = 107.684s 560.39/560.58 c #decision = 1387983 560.39/560.59 c #conflict = 660 560.39/560.59 c #restart = 3 560.39/560.59 o 47720 560.49/560.63 c Solving starts ... 712.37/712.54 c solving time = 151.794s 712.37/712.54 c #decision = 1405945 712.37/712.54 c #conflict = 739 712.37/712.54 c #restart = 3 712.37/712.54 o 47719 712.37/712.58 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-3724539-1338649908/watcher-3724539-1338649908 -o /tmp/evaluation-result-3724539-1338649908/solver-3724539-1338649908 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724539-1338649908.opb 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: 2.01 2.02 2.00 3/176 22115 /proc/meminfo: memFree=26947412/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=6224 CPUtime=0 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 811 0 0 0 0 0 0 0 20 0 1 0 331117882 6373376 731 33554432000 4194304 8989770 140736130717696 140736130716960 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 1556 735 424 1171 0 333 0 [startup+0.055451 s] /proc/loadavg: 2.01 2.02 2.00 3/176 22115 /proc/meminfo: memFree=26947412/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=9296 CPUtime=0.04 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 1437 0 0 0 4 0 0 0 20 0 1 0 331117882 9519104 1357 33554432000 4194304 8989770 140736130717696 140736130716960 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 2324 1357 424 1171 0 1101 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9296 [startup+0.100228 s] /proc/loadavg: 2.01 2.02 2.00 3/176 22115 /proc/meminfo: memFree=26947412/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=12368 CPUtime=0.08 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 2283 0 0 0 8 0 0 0 20 0 1 0 331117882 12664832 2203 33554432000 4194304 8989770 140736130717696 140736130716960 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 3092 2203 431 1171 0 1869 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12368 [startup+0.300234 s] /proc/loadavg: 2.01 2.02 2.00 3/176 22115 /proc/meminfo: memFree=26947412/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=25680 CPUtime=0.29 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 5598 0 0 0 28 1 0 0 20 0 1 0 331117882 26296320 5519 33554432000 4194304 8989770 140736130717696 140736130716960 4212523 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 6420 5525 431 1171 0 5197 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25680 [startup+0.700247 s] /proc/loadavg: 2.01 2.02 2.00 3/176 22115 /proc/meminfo: memFree=26947412/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=43088 CPUtime=0.69 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 10050 0 0 0 67 2 0 0 20 0 1 0 331117882 44122112 9970 33554432000 4194304 8989770 140736130717696 140736130716960 4204359 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 10772 9970 431 1171 0 9549 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 43088 [startup+1.50025 s] /proc/loadavg: 2.01 2.02 2.00 3/177 22116 /proc/meminfo: memFree=26877472/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=96336 CPUtime=1.49 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 23362 0 0 0 145 4 0 0 20 0 1 0 331117882 98648064 23282 33554432000 4194304 8989770 140736130717696 140736130717192 7874608 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 24084 23282 431 1171 0 22861 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 96336 [startup+3.10024 s] /proc/loadavg: 2.01 2.02 2.00 3/177 22116 /proc/meminfo: memFree=26803228/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=216144 CPUtime=3.09 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 53213 0 0 0 299 10 0 0 20 0 1 0 331117882 221331456 53133 33554432000 4194304 8989770 140736130717696 140736130717192 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 54036 53140 431 1171 0 52813 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 216144 [startup+6.30023 s] /proc/loadavg: 2.01 2.02 2.00 3/177 22116 /proc/meminfo: memFree=26569776/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=383056 CPUtime=6.29 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 95042 0 0 0 609 20 0 0 20 0 1 0 331117882 392249344 94962 33554432000 4194304 8989770 140736130717696 140736130717192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 95764 94962 431 1171 0 94541 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 383056 [startup+12.7002 s] /proc/loadavg: 2.01 2.02 2.00 3/177 22116 /proc/meminfo: memFree=26278144/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=715856 CPUtime=12.68 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 178079 0 0 0 1231 37 0 0 20 0 1 0 331117882 733036544 177999 33554432000 4194304 8989770 140736130717696 140736130717192 4212523 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 178964 178006 431 1171 0 177741 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 715856 [startup+25.5067 s] /proc/loadavg: 2.01 2.02 2.00 3/177 22116 /proc/meminfo: memFree=25371480/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1580112 CPUtime=25.49 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 394306 0 0 0 2471 78 0 0 20 0 1 0 331117882 1618034688 394226 33554432000 4194304 8989770 140736130717696 140736130717192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 395028 394226 431 1171 0 393805 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1580112 [startup+51.1002 s] /proc/loadavg: 2.00 2.02 2.00 3/177 22116 /proc/meminfo: memFree=24166304/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=2783312 CPUtime=51.08 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 695125 0 0 0 4969 139 0 0 20 0 1 0 331117882 2850111488 695045 33554432000 4194304 8989770 140736130717696 140736130717192 5394588 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 695828 695045 444 1171 0 694605 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 2783312 [startup+102.3 s] /proc/loadavg: 2.05 2.03 2.00 3/177 22116 /proc/meminfo: memFree=25508232/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1442896 CPUtime=102.27 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 695125 0 0 0 10068 159 0 0 20 0 1 0 331117882 1477525504 359941 33554432000 4194304 8989770 140736130717696 140736130717192 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 360724 359941 444 1171 0 359501 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1442896 [startup+162.3 s] /proc/loadavg: 2.14 2.05 2.01 3/177 22116 /proc/meminfo: memFree=25507868/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1442896 CPUtime=162.26 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 695152 0 0 0 16052 174 0 0 20 0 1 0 331117882 1477525504 359968 33554432000 4194304 8989770 140736130717696 140736130715648 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 360724 359968 471 1171 0 359501 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 1442896 [startup+222.3 s] /proc/loadavg: 2.01 2.03 2.00 3/177 22156 /proc/meminfo: memFree=25912324/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1442896 CPUtime=222.26 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 695152 0 0 0 22040 186 0 0 20 0 1 0 331117882 1477525504 359968 33554432000 4194304 8989770 140736130717696 140736130715648 4204359 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 360724 359968 471 1171 0 359501 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 1442896 [startup+282.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 22232 /proc/meminfo: memFree=26334556/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1442896 CPUtime=282.24 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 695154 0 0 0 28027 197 0 0 20 0 1 0 331117882 1477525504 359968 33554432000 4194304 8989770 140736130717696 140736130715648 4208823 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 360724 359968 471 1171 0 359501 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 1442896 [startup+342.307 s] /proc/loadavg: 1.40 1.85 1.94 2/171 22256 /proc/meminfo: memFree=26509448/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1442896 CPUtime=342.24 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 695154 0 0 0 34014 210 0 0 20 0 1 0 331117882 1477525504 359968 33554432000 4194304 8989770 140736130717696 140736130717192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 360724 359968 471 1171 0 359501 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 1442896 [startup+402.3 s] /proc/loadavg: 1.14 1.69 1.88 2/171 22256 /proc/meminfo: memFree=26509600/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1442896 CPUtime=402.22 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 695159 0 0 0 39998 224 0 0 20 0 1 0 331117882 1477525504 359968 33554432000 4194304 8989770 140736130717696 140736130717192 7732752 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 360724 359968 471 1171 0 359501 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 1442896 [startup+462.3 s] /proc/loadavg: 1.09 1.58 1.83 2/171 22256 /proc/meminfo: memFree=26509504/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1442896 CPUtime=462.2 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 695169 0 0 0 45984 236 0 0 20 0 1 0 331117882 1477525504 359968 33554432000 4194304 8989770 140736130717696 140736130715648 4204286 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 360724 359968 471 1171 0 359501 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 1442896 [startup+522.3 s] /proc/loadavg: 1.03 1.47 1.77 2/172 22260 /proc/meminfo: memFree=26509624/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1442896 CPUtime=522.2 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 695184 0 0 0 51971 249 0 0 20 0 1 0 331117882 1477525504 359968 33554432000 4194304 8989770 140736130717696 140736130717192 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 360724 359968 471 1171 0 359501 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 1442896 [startup+582.3 s] /proc/loadavg: 1.01 1.38 1.72 2/171 22260 /proc/meminfo: memFree=26509784/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1442896 CPUtime=582.18 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 695198 0 0 0 57953 265 0 0 20 0 1 0 331117882 1477525504 359968 33554432000 4194304 8989770 140736130717696 140736130717192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 360724 359968 471 1171 0 359501 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 1442896 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 1.07 1.22 1.57 2/171 22261 /proc/meminfo: memFree=26509776/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1442896 CPUtime=822.15 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 695200 0 0 0 81892 323 0 0 20 0 1 0 331117882 1477525504 359968 33554432000 4194304 8989770 140736130717696 140736130715648 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 360724 359968 471 1171 0 359501 0 Current children cumulated CPU time (s) 822.15 Current children cumulated vsize (KiB) 1442896 [startup+882.3 s] /proc/loadavg: 1.06 1.19 1.54 2/171 22261 /proc/meminfo: memFree=26509804/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1442896 CPUtime=882.14 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 695207 0 0 0 87878 336 0 0 20 0 1 0 331117882 1477525504 359968 33554432000 4194304 8989770 140736130717696 140736130716960 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 360724 359968 471 1171 0 359501 0 Current children cumulated CPU time (s) 882.14 Current children cumulated vsize (KiB) 1442896 [startup+942.3 s] /proc/loadavg: 1.05 1.17 1.51 2/171 22261 /proc/meminfo: memFree=26509832/32873648 swapFree=6856/6856 [pid=22115] ppid=22113 vsize=1442896 CPUtime=942.12 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 695207 0 0 0 93860 352 0 0 20 0 1 0 331117882 1477525504 359968 33554432000 4194304 8989770 140736130717696 140736130715648 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 360724 359968 471 1171 0 359501 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 1442896 [startup+1002.31 s] /proc/loadavg: 1.05 1.15 1.48 2/171 22261 /proc/meminfo: memFree=26509860/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1442896 CPUtime=1002.12 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 695207 0 0 0 99845 367 0 0 20 0 1 0 331117882 1477525504 359968 33554432000 4194304 8989770 140736130717696 140736130716960 4208863 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 360724 359968 471 1171 0 359501 0 Current children cumulated CPU time (s) 1002.12 Current children cumulated vsize (KiB) 1442896 [startup+1062.3 s] /proc/loadavg: 1.05 1.13 1.45 2/171 22261 /proc/meminfo: memFree=26509904/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1442896 CPUtime=1062.1 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 695207 0 0 0 105827 383 0 0 20 0 1 0 331117882 1477525504 359968 33554432000 4194304 8989770 140736130717696 140736130716960 4208822 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 360724 359968 471 1171 0 359501 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 1442896 [startup+1122.3 s] /proc/loadavg: 1.05 1.12 1.42 2/172 22265 /proc/meminfo: memFree=26510252/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1442896 CPUtime=1122.1 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 695207 0 0 0 111812 398 0 0 20 0 1 0 331117882 1477525504 359968 33554432000 4194304 8989770 140736130717696 140736130716960 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 360724 359968 471 1171 0 359501 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 1442896 [startup+1182.3 s] /proc/loadavg: 1.02 1.10 1.39 2/171 22265 /proc/meminfo: memFree=26510136/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1442896 CPUtime=1182.08 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 695207 0 0 0 117797 411 0 0 20 0 1 0 331117882 1477525504 359968 33554432000 4194304 8989770 140736130717696 140736130717192 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 360724 359968 471 1171 0 359501 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 1442896 [startup+1242.3 s] /proc/loadavg: 1.04 1.09 1.37 2/171 22265 /proc/meminfo: memFree=26505176/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1448016 CPUtime=1242.07 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 696487 0 0 0 123782 425 0 0 20 0 1 0 331117882 1482768384 361248 33554432000 4194304 8989770 140736130717696 140736130716960 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 362004 361248 471 1171 0 360781 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 1448016 [startup+1302.3 s] /proc/loadavg: 1.05 1.08 1.35 2/172 22266 /proc/meminfo: memFree=26505416/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1448016 CPUtime=1302.07 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 696487 0 0 0 129771 436 0 0 20 0 1 0 331117882 1482768384 361248 33554432000 4194304 8989770 140736130717696 140736130715648 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 362004 361248 471 1171 0 360781 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 1448016 [startup+1362.3 s] /proc/loadavg: 1.02 1.07 1.33 2/171 22266 /proc/meminfo: memFree=26505300/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1448016 CPUtime=1362.06 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 696487 0 0 0 135757 449 0 0 20 0 1 0 331117882 1482768384 361248 33554432000 4194304 8989770 140736130717696 140736130716960 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 362004 361248 471 1171 0 360781 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 1448016 [startup+1422.3 s] /proc/loadavg: 1.00 1.05 1.30 2/171 22267 /proc/meminfo: memFree=26505548/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1448016 CPUtime=1422.05 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 696487 0 0 0 141743 462 0 0 20 0 1 0 331117882 1482768384 361248 33554432000 4194304 8989770 140736130717696 140736130715648 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 362004 361248 471 1171 0 360781 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 1448016 [startup+1482.3 s] /proc/loadavg: 1.00 1.04 1.28 2/171 22267 /proc/meminfo: memFree=26505548/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1448016 CPUtime=1482.03 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 696487 0 0 0 147729 474 0 0 20 0 1 0 331117882 1482768384 361248 33554432000 4194304 8989770 140736130717696 140736130717192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 362004 361248 471 1171 0 360781 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 1448016 [startup+1542.3 s] /proc/loadavg: 1.00 1.03 1.26 2/171 22267 /proc/meminfo: memFree=26505552/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1448016 CPUtime=1542.03 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 696487 0 0 0 153713 490 0 0 20 0 1 0 331117882 1482768384 361248 33554432000 4194304 8989770 140736130717696 140736130715648 4208833 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 362004 361248 471 1171 0 360781 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 1448016 [startup+1602.3 s] /proc/loadavg: 1.06 1.04 1.25 2/171 22267 /proc/meminfo: memFree=26505676/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1448016 CPUtime=1602.02 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 696487 0 0 0 159699 503 0 0 20 0 1 0 331117882 1482768384 361248 33554432000 4194304 8989770 140736130717696 140736130717192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 362004 361248 471 1171 0 360781 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 1448016 [startup+1662.31 s] /proc/loadavg: 1.05 1.04 1.24 2/171 22267 /proc/meminfo: memFree=26505676/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1448016 CPUtime=1662.02 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 696487 0 0 0 165684 518 0 0 20 0 1 0 331117882 1482768384 361248 33554432000 4194304 8989770 140736130717696 140736130717192 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 362004 361248 471 1171 0 360781 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 1448016 [startup+1722.3 s] /proc/loadavg: 1.02 1.03 1.22 2/172 22271 /proc/meminfo: memFree=26505764/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1448016 CPUtime=1722 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 696487 0 0 0 171669 531 0 0 20 0 1 0 331117882 1482768384 361248 33554432000 4194304 8989770 140736130717696 140736130717192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 362004 361248 471 1171 0 360781 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 1448016 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 1.20 2/171 22271 /proc/meminfo: memFree=26505400/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1448016 CPUtime=1781.99 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 696487 0 0 0 177652 547 0 0 20 0 1 0 331117882 1482768384 361248 33554432000 4194304 8989770 140736130717696 140736130716960 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 362004 361248 471 1171 0 360781 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 1448016 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.07 1.04 1.20 2/171 22271 /proc/meminfo: memFree=26505772/32873648 swapFree=6852/6852 [pid=22115] ppid=22113 vsize=1448016 CPUtime=1800.1 cores=1,3,5,7 /proc/22115/stat : 22115 (toysat) R 22113 22115 20635 0 -1 4202496 696487 0 0 0 179459 551 0 0 20 0 1 0 331117882 1482768384 361248 33554432000 4194304 8989770 140736130717696 140736130716960 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/22115/statm: 362004 361248 471 1171 0 360781 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1448016 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.41 CPU time (s): 1800.11 CPU user time (s): 1794.59 CPU system time (s): 5.51916 CPU usage (%): 99.9833 Max. virtual memory (cumulated for all children) (KiB): 2783312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.59 system time used= 5.51916 maximum resident set size= 2780180 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 696487 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= 1866 runsolver used 3.23351 second user time and 9.8825 second system time The end
Begin job on node115 at 2012-06-02 17:11:51 IDJOB=3724539 IDBENCH=92852 IDSOLVER=2308 FILE ID=node115/3724539-1338649908 RUNJOBID= node115-1338631508-20653 PBS_JOBID= 14636465 Free space on /tmp= 70708 MiB SOLVER NAME= toysat 2012-06-01 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb1-0.10-8.opb COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724539-1338649908/watcher-3724539-1338649908 -o /tmp/evaluation-result-3724539-1338649908/solver-3724539-1338649908 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724539-1338649908.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6588abae91382e225ff22e3d71e1a061 RANDOM SEED=332875823 node115.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.462 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 : 5332.92 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.462 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 : 2666.462 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.92 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.462 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 : 2666.462 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 : 2666.462 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.91 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.462 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.91 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.462 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: 32873648 kB MemFree: 26947676 kB Buffers: 555632 kB Cached: 3481880 kB SwapCached: 964 kB Active: 2914612 kB Inactive: 2102572 kB Active(anon): 971720 kB Inactive(anon): 9824 kB Active(file): 1942892 kB Inactive(file): 2092748 kB Unevictable: 6852 kB Mlocked: 6852 kB SwapTotal: 67108856 kB SwapFree: 67106432 kB Dirty: 97420 kB Writeback: 0 kB AnonPages: 985064 kB Mapped: 13424 kB Shmem: 96 kB Slab: 770100 kB SReclaimable: 214152 kB SUnreclaim: 555948 kB KernelStack: 1440 kB PageTables: 5832 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1094464 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 966656 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70736 MiB End job on node115 at 2012-06-02 17:41:54