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.09 | 1800.41 |
| Name | OPT-BIGINT-LIN/graca/ normalized-ped2.G.recomb10-0.01-2.opb |
| MD5SUM | e432f4dd04198805b69ce63b40faf1f4 |
| 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 | 96575 |
| Best CPU time to get the best result obtained on this benchmark | 1800.28 |
| 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 | 208409 |
| Total number of constraints | 1724968 |
| Number of constraints which are clauses | 1724968 |
| 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 |
80.68/80.74 c 2012-06-02T17:11:42+0200 80.68/80.74 c arch = x86_64 80.68/80.74 c os = linux 80.68/80.74 c compiler = ghc 7.4 80.68/80.74 c packages: 80.68/80.74 c OptDir-0.0.1 80.68/80.74 c array-0.4.0.0 80.68/80.74 c base-4.5.0.0 80.68/80.74 c bytestring-0.9.2.1 80.68/80.74 c containers-0.4.2.1 80.68/80.74 c deepseq-1.3.0.0 80.68/80.74 c mtl-2.1.1 80.68/80.74 c old_locale-1.0.0.4 80.68/80.74 c parse_dimacs-1.2 80.68/80.74 c parsec-3.1.2 80.68/80.74 c queue-0.1.2 80.68/80.74 c stm-2.3 80.68/80.74 c time-1.4 80.68/80.74 c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724542-1338649901.opb"] 80.68/80.74 c #vars 208409 80.68/80.74 c #constraints 1724968 80.68/80.74 c Solving starts ... 88.37/88.43 c solving time = 7.595s 88.37/88.43 c #decision = 723829 88.37/88.43 c #conflict = 350 88.37/88.43 c #restart = 2 88.37/88.43 o 125668 88.37/88.47 c Solving starts ... 89.18/89.25 c solving time = 0.689s 89.18/89.25 c #decision = 755462 89.18/89.25 c #conflict = 350 89.18/89.25 c #restart = 2 89.18/89.25 o 125667 89.28/89.30 c Solving starts ... 90.78/90.89 c solving time = 1.490s 90.78/90.89 c #decision = 787013 90.78/90.89 c #conflict = 350 90.78/90.89 c #restart = 2 90.78/90.89 o 125666 90.88/90.93 c Solving starts ... 92.77/92.89 c solving time = 1.862s 92.77/92.89 c #decision = 818601 92.77/92.89 c #conflict = 350 92.77/92.89 c #restart = 2 92.77/92.89 o 125665 92.87/92.93 c Solving starts ... 95.58/95.66 c solving time = 2.631s 95.58/95.66 c #decision = 850046 95.58/95.66 c #conflict = 350 95.58/95.66 c #restart = 2 95.58/95.66 o 125664 95.68/95.70 c Solving starts ... 98.77/98.89 c solving time = 3.083s 98.77/98.89 c #decision = 881716 98.77/98.89 c #conflict = 350 98.77/98.89 c #restart = 2 98.77/98.89 o 125663 98.88/98.93 c Solving starts ... 102.48/102.50 c solving time = 3.466s 102.48/102.50 c #decision = 913181 102.48/102.50 c #conflict = 350 102.48/102.50 c #restart = 2 102.48/102.50 o 125662 102.48/102.54 c Solving starts ... 106.77/106.88 c solving time = 4.240s 106.77/106.88 c #decision = 944723 106.77/106.88 c #conflict = 350 106.77/106.88 c #restart = 2 106.77/106.88 o 125661 106.87/106.92 c Solving starts ... 111.57/111.66 c solving time = 4.634s 111.57/111.66 c #decision = 976127 111.57/111.66 c #conflict = 350 111.57/111.66 c #restart = 2 111.57/111.66 o 125660 111.67/111.70 c Solving starts ... 116.67/116.76 c solving time = 4.957s 116.67/116.76 c #decision = 1007595 116.67/116.76 c #conflict = 350 116.67/116.76 c #restart = 2 116.67/116.76 o 125659 116.77/116.80 c Solving starts ... 122.56/122.69 c solving time = 5.785s 122.56/122.69 c #decision = 1039000 122.56/122.69 c #conflict = 350 122.56/122.69 c #restart = 2 122.56/122.69 o 125658 122.66/122.74 c Solving starts ... 128.45/128.54 c solving time = 5.708s 128.45/128.55 c #decision = 1070429 128.45/128.55 c #conflict = 350 128.45/128.55 c #restart = 2 128.45/128.55 o 125657 128.45/128.59 c Solving starts ... 135.46/135.58 c solving time = 6.894s 135.46/135.58 c #decision = 1101785 135.46/135.58 c #conflict = 350 135.46/135.58 c #restart = 2 135.46/135.58 o 125656 135.56/135.63 c Solving starts ... 142.45/142.57 c solving time = 6.845s 142.45/142.57 c #decision = 1133202 142.45/142.57 c #conflict = 350 142.45/142.57 c #restart = 2 142.45/142.57 o 125655 142.55/142.61 c Solving starts ... 150.16/150.28 c solving time = 7.567s 150.16/150.28 c #decision = 1164432 150.16/150.28 c #conflict = 350 150.16/150.28 c #restart = 2 150.16/150.28 o 125654 150.26/150.32 c Solving starts ... 158.26/158.35 c solving time = 7.923s 158.26/158.35 c #decision = 1195800 158.26/158.35 c #conflict = 350 158.26/158.35 c #restart = 2 158.26/158.35 o 125653 158.26/158.39 c Solving starts ... 167.16/167.21 c solving time = 8.717s 167.16/167.21 c #decision = 1227089 167.16/167.21 c #conflict = 350 167.16/167.21 c #restart = 2 167.16/167.21 o 125652 167.16/167.25 c Solving starts ... 176.25/176.37 c solving time = 9.019s 176.25/176.37 c #decision = 1258414 176.25/176.37 c #conflict = 350 176.25/176.37 c #restart = 2 176.25/176.37 o 125651 176.35/176.41 c Solving starts ... 185.85/185.91 c solving time = 9.395s 185.85/185.91 c #decision = 1289620 185.85/185.91 c #conflict = 350 185.85/185.91 c #restart = 2 185.85/185.91 o 125650 185.85/185.95 c Solving starts ... 195.64/195.74 c solving time = 9.683s 195.64/195.74 c #decision = 1320919 195.64/195.74 c #conflict = 350 195.64/195.74 c #restart = 2 195.64/195.74 o 125649 195.64/195.78 c Solving starts ... 205.74/205.87 c solving time = 9.986s 205.74/205.87 c #decision = 1352080 205.74/205.87 c #conflict = 350 205.74/205.87 c #restart = 2 205.74/205.87 o 125648 205.84/205.91 c Solving starts ... 216.65/216.76 c solving time = 10.747s 216.65/216.76 c #decision = 1383301 216.65/216.76 c #conflict = 350 216.65/216.76 c #restart = 2 216.65/216.76 o 125647 216.74/216.80 c Solving starts ... 227.83/227.98 c solving time = 11.077s 227.83/227.98 c #decision = 1414378 227.83/227.98 c #conflict = 350 227.83/227.98 c #restart = 2 227.83/227.98 o 125646 227.93/228.02 c Solving starts ... 240.74/240.82 c solving time = 12.697s 240.74/240.82 c #decision = 1445822 240.74/240.82 c #conflict = 363 240.74/240.82 c #restart = 2 240.74/240.82 o 125065 240.74/240.86 c Solving starts ... 257.34/257.44 c solving time = 16.499s 257.34/257.44 c #decision = 1459306 257.34/257.44 c #conflict = 373 257.34/257.44 c #restart = 2 257.34/257.44 o 124485 257.34/257.49 c Solving starts ... 284.52/284.65 c solving time = 27.077s 284.52/284.65 c #decision = 1477070 284.52/284.65 c #conflict = 409 284.52/284.65 c #restart = 2 284.52/284.65 o 124484 284.52/284.69 c Solving starts ... 298.32/298.42 c solving time = 13.643s 298.32/298.42 c #decision = 1490768 298.32/298.42 c #conflict = 416 298.32/298.42 c #restart = 2 298.32/298.42 o 124483 298.32/298.46 c Solving starts ... 317.32/317.40 c solving time = 18.851s 317.32/317.40 c #decision = 1504431 317.32/317.40 c #conflict = 421 317.32/317.40 c #restart = 2 317.32/317.40 o 124482 317.32/317.44 c Solving starts ... 343.12/343.24 c solving time = 25.707s 343.12/343.24 c #decision = 1522158 343.12/343.24 c #conflict = 492 343.12/343.24 c #restart = 2 343.12/343.24 o 124481 343.12/343.28 c Solving starts ... 388.70/388.82 c solving time = 45.448s 388.70/388.82 c #decision = 1536343 388.70/388.82 c #conflict = 568 388.70/388.82 c #restart = 2 388.70/388.82 o 124480 388.70/388.86 c Solving starts ... 836.11/836.32 c solving time = 447.282s 836.11/836.32 c #decision = 1551944 836.11/836.32 c #conflict = 892 836.11/836.32 c #restart = 4 836.11/836.32 o 124479 836.11/836.36 c Solving starts ... 1486.92/1487.23 c solving time = 650.688s 1486.92/1487.23 c #decision = 1568587 1486.92/1487.23 c #conflict = 1143 1486.92/1487.23 c #restart = 6 1486.92/1487.23 o 124478 1486.92/1487.27 c Solving starts ... 1593.10/1593.47 c solving time = 106.104s 1593.10/1593.47 c #decision = 1583005 1593.10/1593.47 c #conflict = 1172 1593.10/1593.47 c #restart = 6 1593.10/1593.47 o 124477 1593.20/1593.51 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-3724542-1338649901/watcher-3724542-1338649901 -o /tmp/evaluation-result-3724542-1338649901/solver-3724542-1338649901 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724542-1338649901.opb 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.01 2.00 2.00 3/176 21056 /proc/meminfo: memFree=27627960/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=6224 CPUtime=0 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 826 0 0 0 0 0 0 0 20 0 1 0 331118814 6373376 747 33554432000 4194304 8989770 140734870589520 140734870588784 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 1556 747 424 1171 0 333 0 [startup+0.01666 s] /proc/loadavg: 2.01 2.00 2.00 3/176 21056 /proc/meminfo: memFree=27627960/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=7248 CPUtime=0.01 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 1082 0 0 0 1 0 0 0 20 0 1 0 331118814 7421952 1003 33554432000 4194304 8989770 140734870589520 140734870588784 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 1812 1003 424 1171 0 589 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 7248 [startup+0.100262 s] /proc/loadavg: 2.01 2.00 2.00 3/176 21056 /proc/meminfo: memFree=27627960/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=12368 CPUtime=0.09 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 2284 0 0 0 9 0 0 0 20 0 1 0 331118814 12664832 2205 33554432000 4194304 8989770 140734870589520 140734870588784 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 3092 2205 431 1171 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12368 [startup+0.30027 s] /proc/loadavg: 2.01 2.00 2.00 3/176 21056 /proc/meminfo: memFree=27627960/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=26704 CPUtime=0.29 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 5781 0 0 0 28 1 0 0 20 0 1 0 331118814 27344896 5702 33554432000 4194304 8989770 140734870589520 140734870588784 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 6676 5708 431 1171 0 5453 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26704 [startup+0.700266 s] /proc/loadavg: 2.01 2.00 2.00 3/176 21056 /proc/meminfo: memFree=27627960/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=44112 CPUtime=0.69 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 10099 0 0 0 68 1 0 0 20 0 1 0 331118814 45170688 10021 33554432000 4194304 8989770 140734870589520 140734870589016 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 11028 10027 431 1171 0 9805 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 44112 [startup+1.50027 s] /proc/loadavg: 2.01 2.00 2.00 3/177 21057 /proc/meminfo: memFree=27560124/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=95312 CPUtime=1.49 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 23105 0 0 0 146 3 0 0 20 0 1 0 331118814 97599488 23026 33554432000 4194304 8989770 140734870589520 140734870589016 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 23828 23026 431 1171 0 22605 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 95312 [startup+3.10027 s] /proc/loadavg: 2.01 2.00 2.00 3/177 21057 /proc/meminfo: memFree=27506804/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=217168 CPUtime=3.09 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 53569 0 0 0 300 9 0 0 20 0 1 0 331118814 222380032 53490 33554432000 4194304 8989770 140734870589520 140734870588784 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 54292 53490 431 1171 0 53069 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 217168 [startup+6.30027 s] /proc/loadavg: 2.01 2.00 2.00 3/177 21057 /proc/meminfo: memFree=27290672/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=381008 CPUtime=6.29 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 94529 0 0 0 610 19 0 0 20 0 1 0 331118814 390152192 94450 33554432000 4194304 8989770 140734870589520 140734870589016 7953280 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 95252 94450 431 1171 0 94029 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 381008 [startup+12.7003 s] /proc/loadavg: 2.01 2.00 2.00 3/177 21057 /proc/meminfo: memFree=26961808/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=766032 CPUtime=12.69 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 190592 0 0 0 1229 40 0 0 20 0 1 0 331118814 784416768 190514 33554432000 4194304 8989770 140734870589520 140734870588360 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 191508 190521 431 1171 0 190285 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 766032 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21057 /proc/meminfo: memFree=26054120/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1577040 CPUtime=25.49 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 393549 0 0 0 2468 81 0 0 20 0 1 0 331118814 1614888960 393470 33554432000 4194304 8989770 140734870589520 140734870589016 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 394260 393470 437 1171 0 393037 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1577040 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21057 /proc/meminfo: memFree=26602524/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1029200 CPUtime=51.08 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 431700 0 0 0 5010 98 0 0 20 0 1 0 331118814 1053900800 256517 33554432000 4194304 8989770 140734870589520 140734870588784 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 257300 256517 444 1171 0 256077 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1029200 [startup+102.306 s] /proc/loadavg: 2.04 2.01 2.00 3/177 21058 /proc/meminfo: memFree=26602196/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1029200 CPUtime=102.28 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 431729 0 0 0 10117 111 0 0 20 0 1 0 331118814 1053900800 256549 33554432000 4194304 8989770 140734870589520 140734870587456 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 257300 256549 471 1171 0 256077 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1029200 [startup+162.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 21058 /proc/meminfo: memFree=26602224/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1029200 CPUtime=162.25 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 431737 0 0 0 16096 129 0 0 20 0 1 0 331118814 1053900800 256549 33554432000 4194304 8989770 140734870589520 140734870588784 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 257300 256549 471 1171 0 256077 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 1029200 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21058 /proc/meminfo: memFree=26601012/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1029200 CPUtime=222.23 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 431748 0 0 0 22076 147 0 0 20 0 1 0 331118814 1053900800 256549 33554432000 4194304 8989770 140734870589520 140734870589016 4208816 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 257300 256549 471 1171 0 256077 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 1029200 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21058 /proc/meminfo: memFree=26586904/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1043536 CPUtime=282.22 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 435334 0 0 0 28057 165 0 0 20 0 1 0 331118814 1068580864 260133 33554432000 4194304 8989770 140734870589520 140734870587456 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 260884 260133 471 1171 0 259661 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 1043536 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21058 /proc/meminfo: memFree=26578748/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1047632 CPUtime=342.21 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 436359 0 0 0 34041 180 0 0 20 0 1 0 331118814 1072775168 261157 33554432000 4194304 8989770 140734870589520 140734870589016 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 261908 261157 471 1171 0 260685 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 1047632 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21059 /proc/meminfo: memFree=26551248/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1072208 CPUtime=402.2 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 442511 0 0 0 40023 197 0 0 20 0 1 0 331118814 1097940992 267301 33554432000 4194304 8989770 140734870589520 140734870589016 4209168 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 268052 267301 471 1171 0 266829 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 1072208 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21059 /proc/meminfo: memFree=26550408/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1072208 CPUtime=462.18 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 442514 0 0 0 46009 209 0 0 20 0 1 0 331118814 1097940992 267301 33554432000 4194304 8989770 140734870589520 140734870588784 4208870 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 268052 267301 471 1171 0 266829 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 1072208 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21062 /proc/meminfo: memFree=26549436/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1073232 CPUtime=522.17 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 442777 0 0 0 51993 224 0 0 20 0 1 0 331118814 1098989568 267557 33554432000 4194304 8989770 140734870589520 140734870587456 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 268308 267557 471 1171 0 267085 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 1073232 [startup+582.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 21062 /proc/meminfo: memFree=26549348/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1073232 CPUtime=582.16 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 442777 0 0 0 57979 237 0 0 20 0 1 0 331118814 1098989568 267557 33554432000 4194304 8989770 140734870589520 140734870588784 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 268308 267557 471 1171 0 267085 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 1073232 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 21064 /proc/meminfo: memFree=26536548/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1085520 CPUtime=822.12 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 445861 0 0 0 81920 292 0 0 20 0 1 0 331118814 1111572480 270629 33554432000 4194304 8989770 140734870589520 140734870589016 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 271380 270629 471 1171 0 270157 0 Current children cumulated CPU time (s) 822.12 Current children cumulated vsize (KiB) 1085520 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21064 /proc/meminfo: memFree=26530224/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1091664 CPUtime=882.11 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 447397 0 0 0 87903 308 0 0 20 0 1 0 331118814 1117863936 272165 33554432000 4194304 8989770 140734870589520 140734870587456 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 272916 272165 471 1171 0 271693 0 Current children cumulated CPU time (s) 882.11 Current children cumulated vsize (KiB) 1091664 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21064 /proc/meminfo: memFree=26529232/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1092688 CPUtime=942.1 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 447653 0 0 0 93887 323 0 0 20 0 1 0 331118814 1118912512 272421 33554432000 4194304 8989770 140734870589520 140734870589016 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 273172 272421 471 1171 0 271949 0 Current children cumulated CPU time (s) 942.1 Current children cumulated vsize (KiB) 1092688 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21065 /proc/meminfo: memFree=26529108/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1092688 CPUtime=1002.09 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 447653 0 0 0 99874 335 0 0 20 0 1 0 331118814 1118912512 272421 33554432000 4194304 8989770 140734870589520 140734870589016 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 273172 272421 471 1171 0 271949 0 Current children cumulated CPU time (s) 1002.09 Current children cumulated vsize (KiB) 1092688 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21066 /proc/meminfo: memFree=26529348/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1092688 CPUtime=1062.08 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 447653 0 0 0 105858 350 0 0 20 0 1 0 331118814 1118912512 272421 33554432000 4194304 8989770 140734870589520 140734870589016 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 273172 272421 471 1171 0 271949 0 Current children cumulated CPU time (s) 1062.08 Current children cumulated vsize (KiB) 1092688 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 21069 /proc/meminfo: memFree=26529216/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1092688 CPUtime=1122.07 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 447653 0 0 0 111843 364 0 0 20 0 1 0 331118814 1118912512 272421 33554432000 4194304 8989770 140734870589520 140734870587456 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 273172 272421 471 1171 0 271949 0 Current children cumulated CPU time (s) 1122.07 Current children cumulated vsize (KiB) 1092688 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21069 /proc/meminfo: memFree=26529224/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1092688 CPUtime=1182.06 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 447653 0 0 0 117828 378 0 0 20 0 1 0 331118814 1118912512 272421 33554432000 4194304 8989770 140734870589520 140734870588784 4204685 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 273172 272421 471 1171 0 271949 0 Current children cumulated CPU time (s) 1182.06 Current children cumulated vsize (KiB) 1092688 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21069 /proc/meminfo: memFree=26529348/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1092688 CPUtime=1242.06 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 447653 0 0 0 123812 394 0 0 20 0 1 0 331118814 1118912512 272421 33554432000 4194304 8989770 140734870589520 140734870589016 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 273172 272421 471 1171 0 271949 0 Current children cumulated CPU time (s) 1242.06 Current children cumulated vsize (KiB) 1092688 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21070 /proc/meminfo: memFree=26529596/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1092688 CPUtime=1302.05 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 447653 0 0 0 129797 408 0 0 20 0 1 0 331118814 1118912512 272421 33554432000 4194304 8989770 140734870589520 140734870588784 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 273172 272421 471 1171 0 271949 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 1092688 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21070 /proc/meminfo: memFree=26529472/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1092688 CPUtime=1362.03 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 447653 0 0 0 135783 420 0 0 20 0 1 0 331118814 1118912512 272421 33554432000 4194304 8989770 140734870589520 140734870589016 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 273172 272421 471 1171 0 271949 0 Current children cumulated CPU time (s) 1362.03 Current children cumulated vsize (KiB) 1092688 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21070 /proc/meminfo: memFree=26529596/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1092688 CPUtime=1422.03 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 447653 0 0 0 141769 434 0 0 20 0 1 0 331118814 1118912512 272421 33554432000 4194304 8989770 140734870589520 140734870587456 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 273172 272421 471 1171 0 271949 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 1092688 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 21070 /proc/meminfo: memFree=26528356/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1092688 CPUtime=1482.02 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 447653 0 0 0 147753 449 0 0 20 0 1 0 331118814 1118912512 272421 33554432000 4194304 8989770 140734870589520 140734870589016 4209357 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 273172 272421 471 1171 0 271949 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 1092688 [startup+1542.3 s] /proc/loadavg: 1.56 1.89 1.96 2/171 21095 /proc/meminfo: memFree=27130312/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1100880 CPUtime=1542 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 449701 0 0 0 153737 463 0 0 20 0 1 0 331118814 1127301120 274469 33554432000 4194304 8989770 140734870589520 140734870589016 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 275220 274469 471 1171 0 273997 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 1100880 [startup+1602.3 s] /proc/loadavg: 1.20 1.72 1.90 2/171 21096 /proc/meminfo: memFree=27130312/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1100880 CPUtime=1601.99 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 449701 0 0 0 159723 476 0 0 20 0 1 0 331118814 1127301120 274469 33554432000 4194304 8989770 140734870589520 140734870589016 4209187 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 275220 274469 471 1171 0 273997 0 Current children cumulated CPU time (s) 1601.99 Current children cumulated vsize (KiB) 1100880 [startup+1662.3 s] /proc/loadavg: 1.07 1.59 1.84 2/171 21096 /proc/meminfo: memFree=27123368/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1108048 CPUtime=1661.99 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 451493 0 0 0 165709 490 0 0 20 0 1 0 331118814 1134641152 276261 33554432000 4194304 8989770 140734870589520 140734870588784 4205032 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 277012 276261 471 1171 0 275789 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 1108048 [startup+1722.3 s] /proc/loadavg: 1.02 1.48 1.79 2/172 21099 /proc/meminfo: memFree=27123480/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1108048 CPUtime=1721.98 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 451493 0 0 0 171695 503 0 0 20 0 1 0 331118814 1134641152 276261 33554432000 4194304 8989770 140734870589520 140734870587456 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 277012 276261 471 1171 0 275789 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 1108048 [startup+1782.3 s] /proc/loadavg: 1.01 1.39 1.73 2/171 21099 /proc/meminfo: memFree=27123336/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1108048 CPUtime=1781.97 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 451493 0 0 0 177683 514 0 0 20 0 1 0 331118814 1134641152 276261 33554432000 4194304 8989770 140734870589520 140734870589016 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 277012 276261 471 1171 0 275789 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 1108048 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.00 1.36 1.72 2/171 21099 /proc/meminfo: memFree=27123336/32873844 swapFree=7116/7116 [pid=21056] ppid=21054 vsize=1108048 CPUtime=1800.08 cores=0,2,4,6 /proc/21056/stat : 21056 (toysat) R 21054 21056 19272 0 -1 4202496 451493 0 0 0 179490 518 0 0 20 0 1 0 331118814 1134641152 276261 33554432000 4194304 8989770 140734870589520 140734870589016 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/21056/statm: 277012 276261 471 1171 0 275789 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1108048 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.09 CPU user time (s): 1794.9 CPU system time (s): 5.18621 CPU usage (%): 99.982 Max. virtual memory (cumulated for all children) (KiB): 1729616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.9 system time used= 5.18621 maximum resident set size= 1726484 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 451493 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= 57 involuntary context switches= 2080 runsolver used 3.43048 second user time and 8.73467 second system time The end
Begin job on node108 at 2012-06-02 17:11:42 IDJOB=3724542 IDBENCH=92850 IDSOLVER=2308 FILE ID=node108/3724542-1338649901 RUNJOBID= node108-1338631508-19288 PBS_JOBID= 14636472 Free space on /tmp= 71412 MiB SOLVER NAME= toysat 2012-06-01 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb10-0.01-2.opb COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724542-1338649901/watcher-3724542-1338649901 -o /tmp/evaluation-result-3724542-1338649901/solver-3724542-1338649901 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724542-1338649901.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e432f4dd04198805b69ce63b40faf1f4 RANDOM SEED=584421569 node108.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.273 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.54 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.273 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.273 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 : 2666.273 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.273 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.91 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.273 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 : 5438.55 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.273 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 : 2666.273 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: 27627852 kB Buffers: 313248 kB Cached: 3536304 kB SwapCached: 52 kB Active: 2493260 kB Inactive: 1949724 kB Active(anon): 580576 kB Inactive(anon): 13032 kB Active(file): 1912684 kB Inactive(file): 1936692 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67108544 kB Dirty: 61840 kB Writeback: 8 kB AnonPages: 600148 kB Mapped: 16200 kB Shmem: 172 kB Slab: 664004 kB SReclaimable: 105916 kB SUnreclaim: 558088 kB KernelStack: 1448 kB PageTables: 5212 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 703640 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 442368 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= 71424 MiB End job on node108 at 2012-06-02 17:41:45