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.42 |
| Name | OPT-BIGINT-LIN/graca/ normalized-ped2.G.recomb5-0.01-2.opb |
| MD5SUM | a5191d93a779f8a3cc9e0ce05eabef05 |
| 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 | 70991 |
| Best CPU time to get the best result obtained on this benchmark | 1800.39 |
| 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 | 208141 |
| Total number of constraints | 2069692 |
| Number of constraints which are clauses | 2069692 |
| 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 |
96.66/96.78 c 2012-06-02T17:10:24+0200 96.66/96.78 c arch = x86_64 96.66/96.78 c os = linux 96.66/96.78 c compiler = ghc 7.4 96.66/96.78 c packages: 96.66/96.78 c OptDir-0.0.1 96.66/96.78 c array-0.4.0.0 96.66/96.78 c base-4.5.0.0 96.66/96.78 c bytestring-0.9.2.1 96.66/96.78 c containers-0.4.2.1 96.66/96.78 c deepseq-1.3.0.0 96.66/96.78 c mtl-2.1.1 96.66/96.78 c old_locale-1.0.0.4 96.66/96.78 c parse_dimacs-1.2 96.66/96.78 c parsec-3.1.2 96.66/96.78 c queue-0.1.2 96.66/96.78 c stm-2.3 96.66/96.78 c time-1.4 96.66/96.78 c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724551-1338649822.opb"] 96.66/96.78 c #vars 208141 96.66/96.78 c #constraints 2069692 96.66/96.78 c Solving starts ... 105.76/105.81 c solving time = 8.307s 105.76/105.81 c #decision = 677694 105.76/105.81 c #conflict = 333 105.76/105.81 c #restart = 2 105.76/105.81 o 189580 105.76/105.86 c Solving starts ... 106.85/106.91 c solving time = 0.920s 106.85/106.91 c #decision = 706588 106.85/106.91 c #conflict = 333 106.85/106.91 c #restart = 2 106.85/106.91 o 189579 106.85/106.95 c Solving starts ... 108.95/109.01 c solving time = 1.932s 108.95/109.01 c #decision = 735577 108.95/109.01 c #conflict = 333 108.95/109.01 c #restart = 2 108.95/109.01 o 189578 108.95/109.06 c Solving starts ... 111.55/111.61 c solving time = 2.421s 111.55/111.61 c #decision = 764401 111.55/111.61 c #conflict = 333 111.55/111.61 c #restart = 2 111.55/111.61 o 189577 111.55/111.66 c Solving starts ... 115.16/115.22 c solving time = 3.429s 115.16/115.22 c #decision = 793355 115.16/115.22 c #conflict = 333 115.16/115.22 c #restart = 2 115.16/115.22 o 189576 115.16/115.27 c Solving starts ... 119.45/119.51 c solving time = 4.109s 119.45/119.51 c #decision = 822187 119.45/119.51 c #conflict = 333 119.45/119.51 c #restart = 2 119.45/119.51 o 189575 119.45/119.56 c Solving starts ... 124.25/124.36 c solving time = 4.664s 124.25/124.36 c #decision = 851125 124.25/124.36 c #conflict = 333 124.25/124.36 c #restart = 2 124.25/124.36 o 189574 124.35/124.40 c Solving starts ... 129.65/129.76 c solving time = 5.220s 129.65/129.76 c #decision = 879950 129.65/129.78 c #conflict = 333 129.65/129.78 c #restart = 2 129.65/129.78 o 189573 129.75/129.80 c Solving starts ... 136.05/136.11 c solving time = 6.166s 136.05/136.11 c #decision = 908904 136.05/136.11 c #conflict = 333 136.05/136.11 c #restart = 2 136.05/136.11 o 189572 136.05/136.15 c Solving starts ... 142.85/142.99 c solving time = 6.706s 142.85/142.99 c #decision = 937807 142.85/142.99 c #conflict = 333 142.85/142.99 c #restart = 2 142.85/142.99 o 189571 142.95/143.04 c Solving starts ... 150.64/150.75 c solving time = 7.578s 150.64/150.75 c #decision = 966905 150.64/150.75 c #conflict = 333 150.64/150.75 c #restart = 2 150.64/150.75 o 189570 150.64/150.79 c Solving starts ... 158.55/158.64 c solving time = 7.714s 158.55/158.64 c #decision = 995894 158.55/158.64 c #conflict = 333 158.55/158.64 c #restart = 2 158.55/158.64 o 189569 158.55/158.68 c Solving starts ... 167.44/167.51 c solving time = 8.694s 167.44/167.51 c #decision = 1024898 167.44/167.51 c #conflict = 333 167.44/167.51 c #restart = 2 167.44/167.51 o 189568 167.44/167.56 c Solving starts ... 177.13/177.29 c solving time = 9.601s 177.13/177.29 c #decision = 1053719 177.13/177.29 c #conflict = 333 177.13/177.29 c #restart = 2 177.23/177.30 o 189567 177.23/177.34 c Solving starts ... 187.03/187.14 c solving time = 9.654s 187.03/187.14 c #decision = 1082580 187.03/187.14 c #conflict = 333 187.03/187.14 c #restart = 2 187.03/187.14 o 189566 187.03/187.18 c Solving starts ... 197.82/197.92 c solving time = 10.608s 197.82/197.92 c #decision = 1111311 197.82/197.92 c #conflict = 333 197.82/197.92 c #restart = 2 197.82/197.92 o 189565 197.82/197.97 c Solving starts ... 209.12/209.20 c solving time = 11.090s 209.12/209.20 c #decision = 1140174 209.12/209.20 c #conflict = 333 209.12/209.20 c #restart = 2 209.12/209.20 o 189564 209.12/209.24 c Solving starts ... 221.32/221.41 c solving time = 12.035s 221.32/221.41 c #decision = 1169005 221.32/221.41 c #conflict = 333 221.32/221.41 c #restart = 2 221.32/221.41 o 189563 221.32/221.46 c Solving starts ... 233.52/233.63 c solving time = 12.042s 233.52/233.63 c #decision = 1197841 233.52/233.63 c #conflict = 333 233.52/233.63 c #restart = 2 233.52/233.63 o 189562 233.52/233.68 c Solving starts ... 246.71/246.84 c solving time = 13.024s 246.71/246.84 c #decision = 1226578 246.71/246.84 c #conflict = 333 246.71/246.84 c #restart = 2 246.71/246.84 o 189561 246.71/246.88 c Solving starts ... 260.32/260.42 c solving time = 13.400s 260.32/260.42 c #decision = 1255445 260.32/260.42 c #conflict = 333 260.32/260.42 c #restart = 2 260.32/260.42 o 189560 260.32/260.47 c Solving starts ... 274.81/274.93 c solving time = 14.329s 274.81/274.93 c #decision = 1284168 274.81/274.93 c #conflict = 333 274.81/274.93 c #restart = 2 274.81/274.93 o 189559 274.81/274.97 c Solving starts ... 289.31/289.41 c solving time = 14.306s 289.31/289.41 c #decision = 1312967 289.31/289.41 c #conflict = 333 289.31/289.41 c #restart = 2 289.31/289.41 o 189558 289.31/289.46 c Solving starts ... 304.71/304.82 c solving time = 15.228s 304.71/304.82 c #decision = 1341604 304.71/304.82 c #conflict = 333 304.71/304.82 c #restart = 2 304.71/304.82 o 189557 304.71/304.86 c Solving starts ... 320.51/320.67 c solving time = 15.670s 320.51/320.67 c #decision = 1370371 320.51/320.67 c #conflict = 333 320.51/320.67 c #restart = 2 320.51/320.67 o 189556 320.61/320.71 c Solving starts ... 337.31/337.46 c solving time = 16.609s 337.31/337.46 c #decision = 1399063 337.31/337.46 c #conflict = 333 337.31/337.46 c #restart = 2 337.31/337.46 o 189555 337.31/337.50 c Solving starts ... 354.10/354.23 c solving time = 16.590s 354.10/354.23 c #decision = 1427815 354.10/354.23 c #conflict = 333 354.10/354.23 c #restart = 2 354.10/354.23 o 189554 354.10/354.27 c Solving starts ... 371.80/371.93 c solving time = 17.520s 371.80/371.93 c #decision = 1456494 371.80/371.93 c #conflict = 333 371.80/371.93 c #restart = 2 371.80/371.93 o 189553 371.80/371.97 c Solving starts ... 389.89/390.04 c solving time = 17.924s 389.89/390.04 c #decision = 1485175 389.89/390.04 c #conflict = 333 389.89/390.04 c #restart = 2 389.89/390.04 o 189552 389.89/390.08 c Solving starts ... 408.40/408.58 c solving time = 18.356s 408.40/408.58 c #decision = 1513735 408.40/408.58 c #conflict = 333 408.40/408.58 c #restart = 2 408.40/408.58 o 189551 408.50/408.62 c Solving starts ... 428.29/428.47 c solving time = 19.719s 428.29/428.47 c #decision = 1542722 428.29/428.47 c #conflict = 339 428.29/428.47 c #restart = 2 428.29/428.47 o 188970 428.39/428.51 c Solving starts ... 448.09/448.29 c solving time = 19.664s 448.09/448.29 c #decision = 1553350 448.09/448.29 c #conflict = 340 448.09/448.29 c #restart = 2 448.09/448.29 o 188390 448.19/448.34 c Solving starts ... 468.38/468.50 c solving time = 20.047s 468.38/468.50 c #decision = 1563590 468.38/468.50 c #conflict = 341 468.38/468.50 c #restart = 2 468.38/468.50 o 188389 468.38/468.54 c Solving starts ... 489.18/489.37 c solving time = 20.711s 489.18/489.37 c #decision = 1574849 489.18/489.37 c #conflict = 344 489.18/489.37 c #restart = 2 489.18/489.37 o 187811 489.28/489.42 c Solving starts ... 510.87/511.06 c solving time = 21.527s 510.87/511.06 c #decision = 1584915 510.87/511.06 c #conflict = 344 510.87/511.06 c #restart = 2 510.87/511.06 o 187810 510.97/511.11 c Solving starts ... 858.61/858.88 c solving time = 347.597s 858.61/858.88 c #decision = 1609050 858.61/858.88 c #conflict = 699 858.61/858.88 c #restart = 4 858.61/858.88 o 187809 858.71/858.93 c Solving starts ... 926.39/926.63 c solving time = 67.588s 926.39/926.63 c #decision = 1619966 926.39/926.63 c #conflict = 732 926.39/926.63 c #restart = 4 926.39/926.63 o 187808 926.39/926.68 c Solving starts ... 1337.03/1337.38 c solving time = 410.518s 1337.03/1337.38 c #decision = 1634558 1337.03/1337.38 c #conflict = 866 1337.03/1337.38 c #restart = 5 1337.03/1337.38 o 187807 1337.13/1337.42 c Solving starts ... 1651.59/1651.92 c solving time = 314.330s 1651.59/1651.92 c #decision = 1646130 1651.59/1651.92 c #conflict = 919 1651.59/1651.92 c #restart = 5 1651.59/1651.92 o 187806 1651.59/1651.97 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-3724551-1338649822/watcher-3724551-1338649822 -o /tmp/evaluation-result-3724551-1338649822/solver-3724551-1338649822 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724551-1338649822.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.02 2.01 2.00 2/179 23445 /proc/meminfo: memFree=28191380/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=6224 CPUtime=0 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 824 0 0 0 0 0 0 0 20 0 1 0 331107686 6373376 745 33554432000 4194304 8989770 140737373508032 140733356749832 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 1556 745 424 1171 0 333 0 [startup+0.0139621 s] /proc/loadavg: 2.02 2.01 2.00 2/179 23445 /proc/meminfo: memFree=28191380/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=7248 CPUtime=0.01 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 1050 0 0 0 1 0 0 0 20 0 1 0 331107686 7421952 971 33554432000 4194304 8989770 140737373508032 140737373507528 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 1812 971 424 1171 0 589 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 7248 [startup+0.10026 s] /proc/loadavg: 2.02 2.01 2.00 2/179 23445 /proc/meminfo: memFree=28191380/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=12368 CPUtime=0.09 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 2274 0 0 0 9 0 0 0 20 0 1 0 331107686 12664832 2195 33554432000 4194304 8989770 140737373508032 140737373507528 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 3092 2195 430 1171 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12368 [startup+0.300296 s] /proc/loadavg: 2.02 2.01 2.00 2/179 23445 /proc/meminfo: memFree=28191380/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=23632 CPUtime=0.29 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 5076 0 0 0 28 1 0 0 20 0 1 0 331107686 24199168 4997 33554432000 4194304 8989770 140737373508032 140737373507528 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 5908 5006 431 1171 0 4685 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23632 [startup+0.700299 s] /proc/loadavg: 2.02 2.01 2.00 2/179 23445 /proc/meminfo: memFree=28191380/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=43088 CPUtime=0.69 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 10050 0 0 0 66 3 0 0 20 0 1 0 331107686 44122112 9971 33554432000 4194304 8989770 140737373508032 140737373507528 7953280 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 10772 9971 431 1171 0 9549 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 43088 [startup+1.50027 s] /proc/loadavg: 2.02 2.01 2.00 3/180 23446 /proc/meminfo: memFree=28120328/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=96336 CPUtime=1.48 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 23363 0 0 0 142 6 0 0 20 0 1 0 331107686 98648064 23284 33554432000 4194304 8989770 140737373508032 140737373507296 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 24084 23284 431 1171 0 22861 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 96336 [startup+3.10707 s] /proc/loadavg: 2.02 2.01 2.00 3/180 23446 /proc/meminfo: memFree=28031652/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=186448 CPUtime=3.1 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 45781 0 0 0 297 13 0 0 20 0 1 0 331107686 190922752 45703 33554432000 4194304 8989770 140737373508032 140737373507528 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 46612 45714 431 1171 0 45389 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 186448 [startup+6.30038 s] /proc/loadavg: 2.02 2.01 2.00 3/180 23446 /proc/meminfo: memFree=27813288/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=383056 CPUtime=6.3 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 95043 0 0 0 603 27 0 0 20 0 1 0 331107686 392249344 94964 33554432000 4194304 8989770 140737373508032 140737373507528 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 95764 94964 431 1171 0 94541 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 383056 [startup+12.7003 s] /proc/loadavg: 2.02 2.01 2.00 3/180 23446 /proc/meminfo: memFree=27520904/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=674896 CPUtime=12.69 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 168003 0 0 0 1224 45 0 0 20 0 1 0 331107686 691093504 167924 33554432000 4194304 8989770 140737373508032 140737373507528 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 168724 167924 431 1171 0 167501 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 674896 [startup+25.5004 s] /proc/loadavg: 2.02 2.01 2.00 3/180 23446 /proc/meminfo: memFree=26609008/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1585232 CPUtime=25.48 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 395587 0 0 0 2452 96 0 0 20 0 1 0 331107686 1623277568 395508 33554432000 4194304 8989770 140737373508032 140737373507528 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 396308 395508 431 1171 0 395085 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1585232 [startup+51.1002 s] /proc/loadavg: 2.01 2.00 2.00 3/179 23446 /proc/meminfo: memFree=26108676/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=2084944 CPUtime=51.08 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 520534 0 0 0 4983 125 0 0 20 0 1 0 331107686 2134982656 520455 33554432000 4194304 8989770 140737373508032 140737373507296 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 521236 520455 444 1171 0 520013 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 2084944 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23446 /proc/meminfo: memFree=27181456/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1012816 CPUtime=102.26 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 520571 0 0 0 10080 146 0 0 20 0 1 0 331107686 1037123584 252437 33554432000 4194304 8989770 140737373508032 140737373507528 4435164 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 253204 252437 458 1171 0 251981 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1012816 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23446 /proc/meminfo: memFree=27181112/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1012816 CPUtime=162.24 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 520586 0 0 0 16060 164 0 0 20 0 1 0 331107686 1037123584 252450 33554432000 4194304 8989770 140737373508032 140737373507528 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 253204 252450 471 1171 0 251981 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 1012816 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23446 /proc/meminfo: memFree=27181140/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1012816 CPUtime=222.23 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 520602 0 0 0 22038 185 0 0 20 0 1 0 331107686 1037123584 252450 33554432000 4194304 8989770 140737373508032 140737373507528 4437872 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 253204 252450 471 1171 0 251981 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 1012816 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23447 /proc/meminfo: memFree=27176580/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1017936 CPUtime=282.21 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 521884 0 0 0 28013 208 0 0 20 0 1 0 331107686 1042366464 253730 33554432000 4194304 8989770 140737373508032 140737373507296 4437920 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 254484 253730 471 1171 0 253261 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 1017936 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23447 /proc/meminfo: memFree=27149824/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1044560 CPUtime=342.2 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 528540 0 0 0 33989 231 0 0 20 0 1 0 331107686 1069629440 260386 33554432000 4194304 8989770 140737373508032 140737373507528 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 261140 260386 471 1171 0 259917 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 1044560 [startup+402.3 s] /proc/loadavg: 2.13 2.03 2.01 3/179 23447 /proc/meminfo: memFree=27129640/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1065040 CPUtime=402.2 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 533660 0 0 0 39962 258 0 0 20 0 1 0 331107686 1090600960 265506 33554432000 4194304 8989770 140737373508032 140737373507528 4209272 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 266260 265506 471 1171 0 265037 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 1065040 [startup+462.3 s] /proc/loadavg: 2.05 2.02 2.00 3/179 23447 /proc/meminfo: memFree=27117268/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1077328 CPUtime=462.18 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 536739 0 0 0 45935 283 0 0 20 0 1 0 331107686 1103183872 268578 33554432000 4194304 8989770 140737373508032 140737373507528 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 269332 268578 471 1171 0 268109 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 1077328 [startup+522.307 s] /proc/loadavg: 2.02 2.02 2.00 3/179 23447 /proc/meminfo: memFree=27107748/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1086544 CPUtime=522.17 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 539051 0 0 0 51911 306 0 0 20 0 1 0 331107686 1112621056 270882 33554432000 4194304 8989770 140737373508032 140737373507528 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 271636 270882 471 1171 0 270413 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 1086544 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 23450 /proc/meminfo: memFree=27097484/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1096784 CPUtime=582.15 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 541613 0 0 0 57893 322 0 0 20 0 1 0 331107686 1123106816 273442 33554432000 4194304 8989770 140737373508032 140737373507296 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 274196 273442 471 1171 0 272973 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 1096784 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23451 /proc/meminfo: memFree=27087808/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1107024 CPUtime=882.09 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 544183 0 0 0 87788 421 0 0 20 0 1 0 331107686 1133592576 276002 33554432000 4194304 8989770 140737373508032 140737373507528 4209573 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 276756 276002 471 1171 0 275533 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 1107024 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23452 /proc/meminfo: memFree=27087684/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1107024 CPUtime=942.09 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 544183 0 0 0 93772 437 0 0 20 0 1 0 331107686 1133592576 276002 33554432000 4194304 8989770 140737373508032 140737373507528 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 276756 276002 471 1171 0 275533 0 Current children cumulated CPU time (s) 942.09 Current children cumulated vsize (KiB) 1107024 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23452 /proc/meminfo: memFree=27085824/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1109072 CPUtime=1002.08 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 544695 0 0 0 99755 453 0 0 20 0 1 0 331107686 1135689728 276514 33554432000 4194304 8989770 140737373508032 140737373507296 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 277268 276514 471 1171 0 276045 0 Current children cumulated CPU time (s) 1002.08 Current children cumulated vsize (KiB) 1109072 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23452 /proc/meminfo: memFree=27083840/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1111120 CPUtime=1062.08 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 545207 0 0 0 105738 470 0 0 20 0 1 0 331107686 1137786880 277026 33554432000 4194304 8989770 140737373508032 140737373507528 4209336 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 277780 277026 471 1171 0 276557 0 Current children cumulated CPU time (s) 1062.08 Current children cumulated vsize (KiB) 1111120 [startup+1122.3 s] /proc/loadavg: 1.78 1.95 1.98 2/173 23477 /proc/meminfo: memFree=27186780/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1111120 CPUtime=1122.06 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 545207 0 0 0 111723 483 0 0 20 0 1 0 331107686 1137786880 277026 33554432000 4194304 8989770 140737373508032 140737373506048 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 277780 277026 471 1171 0 276557 0 Current children cumulated CPU time (s) 1122.06 Current children cumulated vsize (KiB) 1111120 [startup+1182.31 s] /proc/loadavg: 1.28 1.77 1.92 2/174 23480 /proc/meminfo: memFree=27187136/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1111120 CPUtime=1182.07 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 545207 0 0 0 117710 497 0 0 20 0 1 0 331107686 1137786880 277026 33554432000 4194304 8989770 140737373508032 140737373507296 4209354 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 277780 277026 471 1171 0 276557 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 1111120 [startup+1242.3 s] /proc/loadavg: 1.10 1.63 1.86 2/173 23481 /proc/meminfo: memFree=27178224/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1120336 CPUtime=1242.05 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 547511 0 0 0 123694 511 0 0 20 0 1 0 331107686 1147224064 279330 33554432000 4194304 8989770 140737373508032 140737373505984 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 280084 279330 471 1171 0 278861 0 Current children cumulated CPU time (s) 1242.05 Current children cumulated vsize (KiB) 1120336 [startup+1302.3 s] /proc/loadavg: 1.04 1.51 1.80 2/173 23481 /proc/meminfo: memFree=27177976/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1120336 CPUtime=1302.03 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 547511 0 0 0 129679 524 0 0 20 0 1 0 331107686 1147224064 279330 33554432000 4194304 8989770 140737373508032 140737373505984 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 280084 279330 471 1171 0 278861 0 Current children cumulated CPU time (s) 1302.03 Current children cumulated vsize (KiB) 1120336 [startup+1362.3 s] /proc/loadavg: 1.01 1.42 1.75 2/172 23481 /proc/meminfo: memFree=27172900/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1126480 CPUtime=1362.03 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 549047 0 0 0 135661 542 0 0 20 0 1 0 331107686 1153515520 280866 33554432000 4194304 8989770 140737373508032 140737373505984 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 281620 280866 471 1171 0 280397 0 Current children cumulated CPU time (s) 1362.03 Current children cumulated vsize (KiB) 1126480 [startup+1422.3 s] /proc/loadavg: 1.00 1.34 1.70 2/173 23482 /proc/meminfo: memFree=27172372/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1126480 CPUtime=1422.02 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 549049 0 0 0 141648 554 0 0 20 0 1 0 331107686 1153515520 280866 33554432000 4194304 8989770 140737373508032 140737373507296 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 281620 280866 471 1171 0 280397 0 Current children cumulated CPU time (s) 1422.02 Current children cumulated vsize (KiB) 1126480 [startup+1482.3 s] /proc/loadavg: 1.00 1.27 1.65 2/173 23482 /proc/meminfo: memFree=27172372/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1126480 CPUtime=1482.01 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 549049 0 0 0 147635 566 0 0 20 0 1 0 331107686 1153515520 280866 33554432000 4194304 8989770 140737373508032 140737373507528 7676928 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 281620 280866 471 1171 0 280397 0 Current children cumulated CPU time (s) 1482.01 Current children cumulated vsize (KiB) 1126480 [startup+1542.3 s] /proc/loadavg: 1.00 1.22 1.61 2/173 23483 /proc/meminfo: memFree=27172248/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1126480 CPUtime=1542 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 549049 0 0 0 153622 578 0 0 20 0 1 0 331107686 1153515520 280866 33554432000 4194304 8989770 140737373508032 140737373507528 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 281620 280866 471 1171 0 280397 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 1126480 [startup+1602.3 s] /proc/loadavg: 1.00 1.18 1.57 2/173 23483 /proc/meminfo: memFree=27170140/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1128528 CPUtime=1601.99 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 549561 0 0 0 159606 593 0 0 20 0 1 0 331107686 1155612672 281378 33554432000 4194304 8989770 140737373508032 140737373507528 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 282132 281378 471 1171 0 280909 0 Current children cumulated CPU time (s) 1601.99 Current children cumulated vsize (KiB) 1128528 [startup+1662.3 s] /proc/loadavg: 1.00 1.14 1.53 2/173 23483 /proc/meminfo: memFree=27164064/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1134672 CPUtime=1661.98 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 551097 0 0 0 165590 608 0 0 20 0 1 0 331107686 1161904128 282914 33554432000 4194304 8989770 140737373508032 140737373507528 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 283668 282914 471 1171 0 282445 0 Current children cumulated CPU time (s) 1661.98 Current children cumulated vsize (KiB) 1134672 [startup+1722.3 s] /proc/loadavg: 1.00 1.11 1.50 2/173 23483 /proc/meminfo: memFree=27164064/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1134672 CPUtime=1721.98 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 551097 0 0 0 171576 622 0 0 20 0 1 0 331107686 1161904128 282914 33554432000 4194304 8989770 140737373508032 140737373507528 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 283668 282914 471 1171 0 282445 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 1134672 [startup+1782.3 s] /proc/loadavg: 1.00 1.09 1.46 2/174 23486 /proc/meminfo: memFree=27164056/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1134672 CPUtime=1781.97 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 551097 0 0 0 177562 635 0 0 20 0 1 0 331107686 1161904128 282914 33554432000 4194304 8989770 140737373508032 140737373507296 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 283668 282914 471 1171 0 282445 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 1134672 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.00 1.09 1.45 2/173 23486 /proc/meminfo: memFree=27164064/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1134672 CPUtime=1800.07 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 551097 0 0 0 179370 637 0 0 20 0 1 0 331107686 1161904128 282914 33554432000 4194304 8989770 140737373508032 140737373507528 7678037 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 283668 282914 471 1171 0 282445 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1134672 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.4 s] /proc/loadavg: 1.00 1.09 1.45 2/173 23486 /proc/meminfo: memFree=27164064/32873844 swapFree=7112/7112 [pid=23445] ppid=23443 vsize=1134672 CPUtime=1800.07 cores=1,3,5,7 /proc/23445/stat : 23445 (toysat) R 23443 23445 21777 0 -1 4202496 551097 0 0 0 179370 637 0 0 20 0 1 0 331107686 1161904128 282914 33554432000 4194304 8989770 140737373508032 140737373507528 7678037 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/23445/statm: 283668 282914 471 1171 0 282445 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1134672 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.42 CPU time (s): 1800.09 CPU user time (s): 1793.71 CPU system time (s): 6.38603 CPU usage (%): 99.9816 Max. virtual memory (cumulated for all children) (KiB): 2084944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.71 system time used= 6.38603 maximum resident set size= 2081820 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 551097 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= 75 involuntary context switches= 1892 runsolver used 3.90041 second user time and 10.2864 second system time The end
Begin job on node132 at 2012-06-02 17:10:24 IDJOB=3724551 IDBENCH=92823 IDSOLVER=2308 FILE ID=node132/3724551-1338649822 RUNJOBID= node132-1338631508-21795 PBS_JOBID= 14636448 Free space on /tmp= 71144 MiB SOLVER NAME= toysat 2012-06-01 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/graca/normalized-ped2.G.recomb5-0.01-2.opb COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724551-1338649822/watcher-3724551-1338649822 -o /tmp/evaluation-result-3724551-1338649822/solver-3724551-1338649822 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724551-1338649822.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a5191d93a779f8a3cc9e0ce05eabef05 RANDOM SEED=1632838848 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: 28192024 kB Buffers: 588416 kB Cached: 3076268 kB SwapCached: 2292 kB Active: 1700364 kB Inactive: 2067288 kB Active(anon): 95664 kB Inactive(anon): 7120 kB Active(file): 1604700 kB Inactive(file): 2060168 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67102708 kB Dirty: 73116 kB Writeback: 0 kB AnonPages: 105672 kB Mapped: 12908 kB Shmem: 8 kB Slab: 775420 kB SReclaimable: 216656 kB SUnreclaim: 558764 kB KernelStack: 1456 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 217544 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 90112 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= 71144 MiB End job on node132 at 2012-06-02 17:40:26