Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: minisat+ 1.14 | ? (TO) | 1800.11 | 1800.62 |
Name | /OPT-BIGINT-LIN/heinz/ normalized-opm2-z7-s2.opb |
MD5SUM | 826cee40b1a37b4e41d6d3a639f8df55 |
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 | -7368 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
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 | 2023 |
Total number of constraints | 31798 |
Number of constraints which are clauses | 31790 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2023 |
Number of terms in the objective function | 1997 |
Biggest coefficient in the objective function | 333 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 170608 |
Number of bits of the sum of numbers in the objective function | 18 |
Biggest number in a constraint | 735392 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 5003866 |
Number of bits of the biggest sum of numbers | 23 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 0.39/0.47 c Converting 31798 PB-constraints to clauses... 0.39/0.48 c -- Unit propagations: (none) 0.39/0.48 c -- Detecting intervals from adjacent constraints: (none) 0.39/0.48 c -- Clauses(.)/Splits(s): .............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 0.49/0.51 c ---[31797]---> Adder-cost: 20850 maxlim: 3412480 bits: 22/22 25.19/25.25 c ---[31796]---> Adder-cost: 21096 maxlim: 3361977 bits: 22/22 49.98/50.05 c ---[31795]---> Adder-cost: 21272 maxlim: 3399752 bits: 22/22 75.67/75.74 c ---[31794]---> Adder-cost: 21108 maxlim: 3365192 bits: 22/22 99.78/99.81 c ---[31793]---> Adder-cost: 20998 maxlim: 3428013 bits: 22/22 125.07/125.11 c ---[31792]---> Adder-cost: 20712 maxlim: 3379994 bits: 22/22 149.47/149.56 c ---[31791]---> Adder-cost: 20962 maxlim: 3447546 bits: 22/22 175.16/175.24 c ---[31790]---> Adder-cost: 21208 maxlim: 3533081 bits: 23/22 201.66/201.74 c ==================================[MINISAT+]================================== 201.66/201.74 c | Conflicts | Original | Learnt | Progress | 201.66/201.74 c | | Clauses Literals | Max Clauses Literals LPC | | 201.66/201.74 c ============================================================================== 201.66/201.74 c | 0 | 1208457 4266271 | 402819 0 0 nan | 0.000 % | 201.66/201.74 c | 100 | 1208457 4266271 | 443100 100 340 3.4 | 0.056 % | 201.76/201.80 c | 250 | 1208451 4266254 | 487410 249 959 3.9 | 0.057 % | 201.96/202.00 c | 475 | 1208451 4266254 | 536152 474 2527 5.3 | 0.057 % | 202.16/202.22 c | 813 | 1208451 4266254 | 589767 812 11347 14.0 | 0.057 % | 204.76/204.88 c | 1319 | 1208451 4266254 | 648744 1318 14419 10.9 | 0.057 % | 206.36/206.46 c | 2078 | 1208451 4266254 | 713618 2077 70775 34.1 | 0.057 % | 208.46/208.56 c | 3218 | 1208442 4266223 | 784980 3216 113426 35.3 | 0.058 % | 209.26/209.36 c | 4927 | 1208442 4266223 | 863478 4925 183435 37.2 | 0.058 % | 212.95/213.01 c | 7489 | 1208442 4266223 | 949826 7487 383916 51.3 | 0.058 % | 222.25/222.32 c | 11333 | 1208442 4266223 | 1044808 11331 1680812 148.3 | 0.058 % | 241.75/241.82 c | 17099 | 1208442 4266223 | 1149289 17097 5231148 306.0 | 0.058 % | 262.86/262.96 c | 25749 | 1208442 4266223 | 1264218 25747 9449676 367.0 | 0.058 % | 303.53/303.69 c | 38723 | 1208442 4266223 | 1390640 38721 16608185 428.9 | 0.058 % | 335.71/335.88 c | 58185 | 1208380 4266021 | 1529704 58175 23269396 400.0 | 0.064 % | 349.10/349.29 c | 87377 | 1208380 4266021 | 1682674 87367 25691976 294.1 | 0.064 % | 403.47/403.69 c | 131166 | 1208380 4266021 | 1850942 131156 36383033 277.4 | 0.064 % | 476.86/477.01 c | 196850 | 1208380 4266021 | 2036036 196840 50870148 258.4 | 0.064 % | 627.43/627.68 c | 295379 | 1208371 4265992 | 2239640 295368 69719889 236.0 | 0.065 % | 1198.68/1199.06 c | 443169 | 1208362 4265963 | 2463604 443157 126916410 286.4 | 0.066 % | 1800.09/1800.61 c 1800.09/1800.61 c *** TERMINATED *** 1800.09/1800.61 s UNKNOWN
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-3722128-1338562951/watcher-3722128-1338562951 -o /tmp/evaluation-result-3722128-1338562951/solver-3722128-1338562951 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3722128-1338562951.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: 1.97 2.01 2.00 3/176 12024 /proc/meminfo: memFree=31521056/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=1564 CPUtime=0 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 322423686 1601536 204 33554432000 134512640 135395479 4287053856 4287052396 135005330 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 391 204 71 216 0 173 0 [startup+0.0999139 s] /proc/loadavg: 1.97 2.01 2.00 3/176 12024 /proc/meminfo: memFree=31521056/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=2656 CPUtime=0.09 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 513 0 0 0 9 0 0 0 20 0 1 0 322423686 2719744 470 33554432000 134512640 135395479 4287053856 4287052432 134648448 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 664 470 74 216 0 446 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2656 [startup+0.10025 s] /proc/loadavg: 1.97 2.01 2.00 3/176 12024 /proc/meminfo: memFree=31521056/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=2656 CPUtime=0.09 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 513 0 0 0 9 0 0 0 20 0 1 0 322423686 2719744 470 33554432000 134512640 135395479 4287053856 4287052444 134809796 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 664 470 74 216 0 446 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2656 [startup+0.300211 s] /proc/loadavg: 1.97 2.01 2.00 3/176 12024 /proc/meminfo: memFree=31521056/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=5956 CPUtime=0.29 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 1341 0 0 0 29 0 0 0 20 0 1 0 322423686 6098944 1298 33554432000 134512640 135395479 4287053856 4287052392 135012160 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 1489 1298 74 216 0 1271 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5956 [startup+0.700244 s] /proc/loadavg: 1.97 2.01 2.00 3/176 12024 /proc/meminfo: memFree=31521056/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=15436 CPUtime=0.69 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 3888 0 0 0 67 2 0 0 20 0 1 0 322423686 15806464 3678 33554432000 134512640 135395479 4287053856 4287049760 135012191 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 3859 3678 91 216 0 3641 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15436 [startup+1.50022 s] /proc/loadavg: 1.97 2.01 2.00 3/177 12025 /proc/meminfo: memFree=31506640/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=15436 CPUtime=1.49 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 3888 0 0 0 147 2 0 0 20 0 1 0 322423686 15806464 3678 33554432000 134512640 135395479 4287053856 4287050340 135005282 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 3859 3678 91 216 0 3641 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15436 [startup+3.10016 s] /proc/loadavg: 1.97 2.01 2.00 3/177 12025 /proc/meminfo: memFree=31506276/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=15436 CPUtime=3.09 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 3888 0 0 0 307 2 0 0 20 0 1 0 322423686 15806464 3678 33554432000 134512640 135395479 4287053856 4287050336 134808945 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 3859 3678 91 216 0 3641 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15436 [startup+6.30022 s] /proc/loadavg: 2.05 2.02 2.00 3/177 12025 /proc/meminfo: memFree=31506028/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=15436 CPUtime=6.29 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 3888 0 0 0 627 2 0 0 20 0 1 0 322423686 15806464 3678 33554432000 134512640 135395479 4287053856 4287050492 135005797 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 3859 3678 91 216 0 3641 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15436 [startup+12.7002 s] /proc/loadavg: 2.05 2.02 2.00 3/177 12025 /proc/meminfo: memFree=31505680/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=15436 CPUtime=12.69 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 3888 0 0 0 1267 2 0 0 20 0 1 0 322423686 15806464 3678 33554432000 134512640 135395479 4287053856 4287050396 134839099 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 3859 3678 91 216 0 3641 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15436 [startup+25.5002 s] /proc/loadavg: 2.11 2.04 2.01 3/177 12025 /proc/meminfo: memFree=31490432/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=31364 CPUtime=25.48 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 8401 0 0 0 2546 2 0 0 20 0 1 0 322423686 32116736 7552 33554432000 134512640 135395479 4287053856 4287050044 134838064 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 7841 7552 107 216 0 7623 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31364 [startup+51.1001 s] /proc/loadavg: 2.07 2.03 2.01 3/177 12025 /proc/meminfo: memFree=31488200/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=33080 CPUtime=51.08 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 9114 0 0 0 5106 2 0 0 20 0 1 0 322423686 33873920 7975 33554432000 134512640 135395479 4287053856 4287050060 134839070 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 8270 7975 107 216 0 8052 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 33080 [startup+102.306 s] /proc/loadavg: 2.13 2.06 2.01 3/177 12025 /proc/meminfo: memFree=31486216/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=36752 CPUtime=102.28 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 9870 0 0 0 10225 3 0 0 20 0 1 0 322423686 37634048 8408 33554432000 134512640 135395479 4287053856 4287050460 135005853 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 9188 8408 107 216 0 8970 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 36752 [startup+162.3 s] /proc/loadavg: 2.04 2.04 2.01 3/177 12025 /proc/meminfo: memFree=31485720/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=36904 CPUtime=162.27 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 10377 0 0 0 16224 3 0 0 20 0 1 0 322423686 37789696 8559 33554432000 134512640 135395479 4287053856 4287050876 135005240 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 9226 8559 107 216 0 9008 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 36904 [startup+222.3 s] /proc/loadavg: 2.15 2.07 2.01 3/177 12025 /proc/meminfo: memFree=31402268/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=113676 CPUtime=222.25 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 28725 0 0 0 22217 8 0 0 20 0 1 0 322423686 116404224 26712 33554432000 134512640 135395479 4287053856 4287052144 134868663 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 28419 26712 123 216 0 28201 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 113676 [startup+282.3 s] /proc/loadavg: 2.05 2.05 2.00 3/177 12026 /proc/meminfo: memFree=31349468/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=158852 CPUtime=282.25 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 40024 0 0 0 28212 13 0 0 20 0 1 0 322423686 162664448 38003 33554432000 134512640 135395479 4287053856 4287052208 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 39713 38003 123 216 0 39495 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 158852 [startup+342.3 s] /proc/loadavg: 2.02 2.04 2.00 3/177 12026 /proc/meminfo: memFree=31302004/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=205820 CPUtime=342.2 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 51800 0 0 0 34203 17 0 0 20 0 1 0 322423686 210759680 49737 33554432000 134512640 135395479 4287053856 4287052208 134581028 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 51455 49737 123 216 0 51237 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 205820 [startup+402.3 s] /proc/loadavg: 2.00 2.03 2.00 3/177 12026 /proc/meminfo: memFree=31252804/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=255124 CPUtime=402.17 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 64177 0 0 0 40194 23 0 0 20 0 1 0 322423686 261246976 62084 33554432000 134512640 135395479 4287053856 4287052208 134581451 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 63781 62084 123 216 0 63563 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 255124 [startup+462.3 s] /proc/loadavg: 2.04 2.04 2.00 3/178 12029 /proc/meminfo: memFree=31202072/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=305120 CPUtime=462.16 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 76659 0 0 0 46187 29 0 0 20 0 1 0 322423686 312442880 74723 33554432000 134512640 135395479 4287053856 4287051728 134574144 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 76280 74723 123 216 0 76062 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 305120 [startup+522.3 s] /proc/loadavg: 2.01 2.03 2.00 3/177 12029 /proc/meminfo: memFree=31149008/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=357852 CPUtime=522.15 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 89804 0 0 0 52179 36 0 0 20 0 1 0 322423686 366440448 87868 33554432000 134512640 135395479 4287053856 4287052208 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 89463 87868 123 216 0 89245 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 357852 [startup+582.3 s] /proc/loadavg: 2.06 2.03 2.00 3/177 12030 /proc/meminfo: memFree=31127184/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=379856 CPUtime=582.14 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 95320 0 0 0 58175 39 0 0 20 0 1 0 322423686 388972544 93384 33554432000 134512640 135395479 4287053856 4287052208 134581183 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 94964 93384 123 216 0 94746 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 379856 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 12030 /proc/meminfo: memFree=31043028/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=460692 CPUtime=822.1 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 115464 0 0 0 82160 50 0 0 20 0 1 0 322423686 471748608 113518 33554432000 134512640 135395479 4287053856 4287052208 134580732 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 115173 113518 123 216 0 114955 0 Current children cumulated CPU time (s) 822.1 Current children cumulated vsize (KiB) 460692 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12031 /proc/meminfo: memFree=30987504/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=487600 CPUtime=882.07 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 122225 0 0 0 88154 53 0 0 20 0 1 0 322423686 499302400 120254 33554432000 134512640 135395479 4287053856 4287052176 134572684 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 121900 120254 123 216 0 121682 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 487600 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12031 /proc/meminfo: memFree=30964964/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=510556 CPUtime=942.03 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 128021 0 0 0 94146 57 0 0 20 0 1 0 322423686 522809344 126007 33554432000 134512640 135395479 4287053856 4287051728 134575423 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 127639 126007 123 216 0 127421 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 510556 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12031 /proc/meminfo: memFree=30940112/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=534724 CPUtime=1002 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 134127 0 0 0 100139 61 0 0 20 0 1 0 322423686 547557376 132091 33554432000 134512640 135395479 4287053856 4287052176 134572721 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 133681 132091 123 216 0 133463 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 534724 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 12034 /proc/meminfo: memFree=30915180/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=560020 CPUtime=1061.99 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 140457 0 0 0 106135 64 0 0 20 0 1 0 322423686 573460480 138421 33554432000 134512640 135395479 4287053856 4287052208 134580915 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 140005 138421 123 216 0 139787 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 560020 [startup+1122.3 s] /proc/loadavg: 2.08 2.02 2.01 3/177 12034 /proc/meminfo: memFree=30887164/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=587724 CPUtime=1121.98 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 147398 0 0 0 112130 68 0 0 20 0 1 0 322423686 601829376 145362 33554432000 134512640 135395479 4287053856 4287052208 134580732 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 146931 145362 123 216 0 146713 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 587724 [startup+1182.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 12035 /proc/meminfo: memFree=30857652/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=617540 CPUtime=1181.98 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 154844 0 0 0 118126 72 0 0 20 0 1 0 322423686 632360960 152808 33554432000 134512640 135395479 4287053856 4287052208 134580959 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 154385 152808 123 216 0 154167 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 617540 [startup+1242.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 12084 /proc/meminfo: memFree=31293228/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=641012 CPUtime=1241.97 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 160741 0 0 0 124121 76 0 0 20 0 1 0 322423686 656396288 158705 33554432000 134512640 135395479 4287053856 4287052208 134580929 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 160253 158705 123 216 0 160035 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 641012 [startup+1302.3 s] /proc/loadavg: 2.13 2.04 2.01 3/177 12084 /proc/meminfo: memFree=31182280/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=671296 CPUtime=1301.96 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 168106 0 0 0 130116 80 0 0 20 0 1 0 322423686 687407104 166070 33554432000 134512640 135395479 4287053856 4287052208 134580732 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 167824 166070 123 216 0 167606 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 671296 [startup+1362.3 s] /proc/loadavg: 2.05 2.03 2.00 3/177 12084 /proc/meminfo: memFree=31079608/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=706532 CPUtime=1361.95 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 176916 0 0 0 136110 85 0 0 20 0 1 0 322423686 723488768 174880 33554432000 134512640 135395479 4287053856 4287052208 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 176633 174880 123 216 0 176415 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 706532 [startup+1422.31 s] /proc/loadavg: 2.02 2.02 2.00 3/177 12084 /proc/meminfo: memFree=30978176/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=740044 CPUtime=1421.94 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 185307 0 0 0 142106 88 0 0 20 0 1 0 322423686 757805056 183271 33554432000 134512640 135395479 4287053856 4287052208 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 185011 183271 123 216 0 184793 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 740044 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 12085 /proc/meminfo: memFree=30926096/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=766324 CPUtime=1481.94 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 191895 0 0 0 148101 93 0 0 20 0 1 0 322423686 784715776 189859 33554432000 134512640 135395479 4287053856 4287052208 134580973 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 191581 189859 123 216 0 191363 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 766324 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 12085 /proc/meminfo: memFree=30897612/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=794544 CPUtime=1541.92 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 198987 0 0 0 154095 97 0 0 20 0 1 0 322423686 813613056 196938 33554432000 134512640 135395479 4287053856 4287052208 134580973 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 198636 196938 123 216 0 198418 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 794544 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 12085 /proc/meminfo: memFree=30868376/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=823752 CPUtime=1601.88 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 206333 0 0 0 160089 99 0 0 20 0 1 0 322423686 843522048 204255 33554432000 134512640 135395479 4287053856 4287052208 134580750 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 205938 204255 123 216 0 205720 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 823752 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 12088 /proc/meminfo: memFree=30809868/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=852880 CPUtime=1661.84 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 213653 0 0 0 166081 103 0 0 20 0 1 0 322423686 873349120 211533 33554432000 134512640 135395479 4287053856 4287052208 134580959 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 213220 211533 123 216 0 213002 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 852880 [startup+1722.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 12088 /proc/meminfo: memFree=30737612/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=882116 CPUtime=1721.81 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 221017 0 0 0 172074 107 0 0 20 0 1 0 322423686 903286784 218863 33554432000 134512640 135395479 4287053856 4287052208 134581451 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 220529 218863 123 216 0 220311 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 882116 [startup+1782.3 s] /proc/loadavg: 2.06 2.03 2.00 3/177 12089 /proc/meminfo: memFree=30704488/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=914364 CPUtime=1781.78 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 229130 0 0 0 178068 110 0 0 20 0 1 0 322423686 936308736 226964 33554432000 134512640 135395479 4287053856 4287052208 134581415 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 228591 226964 123 216 0 228373 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 914364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.04 2.02 2.00 3/177 12089 /proc/meminfo: memFree=30694040/32873844 swapFree=8656/8656 [pid=12024] ppid=12022 vsize=924464 CPUtime=1800.09 cores=0,2,4,6 /proc/12024/stat : 12024 (minisat+) R 12022 12024 11023 0 -1 4202496 231669 0 0 0 179898 111 0 0 20 0 1 0 322423686 946651136 229503 33554432000 134512640 135395479 4287053856 4287052208 134580744 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/12024/statm: 231116 229503 123 216 0 230898 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 924464 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.11 CPU user time (s): 1798.99 CPU system time (s): 1.12183 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 924464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.99 system time used= 1.12183 maximum resident set size= 918016 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 231670 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= 387 involuntary context switches= 3056 runsolver used 2.50162 second user time and 10.0345 second system time The end
Begin job on node102 at 2012-06-01 17:02:32 IDJOB=3722128 IDBENCH=89884 IDSOLVER=2306 FILE ID=node102/3722128-1338562951 RUNJOBID= node102-1338552592-11039 PBS_JOBID= 14635889 Free space on /tmp= 71188 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-opm2-z7-s2.opb COMMAND LINE= HOME/minisat+ BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3722128-1338562951/watcher-3722128-1338562951 -o /tmp/evaluation-result-3722128-1338562951/solver-3722128-1338562951 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3722128-1338562951.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 826cee40b1a37b4e41d6d3a639f8df55 RANDOM SEED=1416554080 node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 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 : 2667.178 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.178 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 : 2667.178 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: 31521444 kB Buffers: 71824 kB Cached: 89964 kB SwapCached: 5544 kB Active: 478832 kB Inactive: 127012 kB Active(anon): 440856 kB Inactive(anon): 5516 kB Active(file): 37976 kB Inactive(file): 121496 kB Unevictable: 8656 kB Mlocked: 8656 kB SwapTotal: 67108856 kB SwapFree: 67097156 kB Dirty: 3176 kB Writeback: 0 kB AnonPages: 447388 kB Mapped: 9364 kB Shmem: 0 kB Slab: 603424 kB SReclaimable: 44588 kB SUnreclaim: 558836 kB KernelStack: 1464 kB PageTables: 5052 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 564996 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 419840 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3722128-1338562951.opb Free space on /tmp at the end= 71188 MiB End job on node102 at 2012-06-01 17:32:34