Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB07: minisat+ 1.14 | ? (TO) | 1800.06 | 1800.41 |
Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K102.opb |
MD5SUM | 2946edf6ae8af40eb44098433ff3dcec |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 213.965 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6936 |
Total number of constraints | 7142 |
Number of constraints which are clauses | 7040 |
Number of constraints which are cardinality constraints (but not clauses) | 102 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 102 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 103 |
Number of bits of the biggest sum of numbers | 7 |
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.19/0.22 c Converting 7140 PB-constraints to clauses... 0.19/0.22 c -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 0.19/0.23 c -- Detecting intervals from adjacent constraints: #################################################################################################### 0.19/0.23 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 0.19/0.24 c ---[ 200]---> BDD-cost: 133 0.19/0.24 c ---[ 198]---> BDD-cost: 133 0.19/0.24 c ---[ 196]---> BDD-cost: 133 0.19/0.24 c ---[ 194]---> BDD-cost: 133 0.19/0.24 c ---[ 192]---> BDD-cost: 133 0.19/0.25 c ---[ 190]---> BDD-cost: 133 0.19/0.25 c ---[ 188]---> BDD-cost: 133 0.19/0.25 c ---[ 186]---> BDD-cost: 133 0.19/0.25 c ---[ 184]---> BDD-cost: 133 0.19/0.25 c ---[ 182]---> BDD-cost: 133 0.19/0.25 c ---[ 180]---> BDD-cost: 133 0.19/0.25 c ---[ 178]---> BDD-cost: 133 0.19/0.26 c ---[ 176]---> BDD-cost: 133 0.19/0.26 c ---[ 174]---> BDD-cost: 133 0.19/0.26 c ---[ 172]---> BDD-cost: 133 0.19/0.26 c ---[ 170]---> BDD-cost: 133 0.19/0.26 c ---[ 168]---> BDD-cost: 133 0.19/0.26 c ---[ 166]---> BDD-cost: 133 0.19/0.26 c ---[ 164]---> BDD-cost: 133 0.19/0.27 c ---[ 162]---> BDD-cost: 133 0.19/0.27 c ---[ 160]---> BDD-cost: 133 0.19/0.27 c ---[ 158]---> BDD-cost: 133 0.19/0.27 c ---[ 156]---> BDD-cost: 133 0.19/0.27 c ---[ 154]---> BDD-cost: 133 0.19/0.27 c ---[ 152]---> BDD-cost: 133 0.19/0.27 c ---[ 150]---> BDD-cost: 133 0.19/0.28 c ---[ 148]---> BDD-cost: 133 0.19/0.28 c ---[ 146]---> BDD-cost: 133 0.19/0.28 c ---[ 144]---> BDD-cost: 133 0.19/0.28 c ---[ 142]---> BDD-cost: 133 0.19/0.28 c ---[ 140]---> BDD-cost: 133 0.19/0.28 c ---[ 138]---> BDD-cost: 133 0.19/0.28 c ---[ 136]---> BDD-cost: 133 0.19/0.28 c ---[ 134]---> BDD-cost: 133 0.19/0.29 c ---[ 132]---> BDD-cost: 133 0.19/0.29 c ---[ 130]---> BDD-cost: 133 0.19/0.29 c ---[ 128]---> BDD-cost: 133 0.19/0.29 c ---[ 126]---> BDD-cost: 133 0.19/0.29 c ---[ 124]---> BDD-cost: 133 0.19/0.29 c ---[ 122]---> BDD-cost: 133 0.19/0.29 c ---[ 120]---> BDD-cost: 133 0.29/0.30 c ---[ 118]---> BDD-cost: 133 0.29/0.30 c ---[ 116]---> BDD-cost: 133 0.29/0.30 c ---[ 114]---> BDD-cost: 133 0.29/0.30 c ---[ 112]---> BDD-cost: 133 0.29/0.30 c ---[ 110]---> BDD-cost: 133 0.29/0.30 c ---[ 108]---> BDD-cost: 133 0.29/0.30 c ---[ 106]---> BDD-cost: 133 0.29/0.31 c ---[ 104]---> BDD-cost: 133 0.29/0.31 c ---[ 102]---> BDD-cost: 133 0.29/0.31 c ---[ 100]---> BDD-cost: 133 0.29/0.31 c ---[ 98]---> BDD-cost: 133 0.29/0.31 c ---[ 96]---> BDD-cost: 133 0.29/0.31 c ---[ 94]---> BDD-cost: 133 0.29/0.31 c ---[ 92]---> BDD-cost: 133 0.29/0.32 c ---[ 90]---> BDD-cost: 133 0.29/0.32 c ---[ 88]---> BDD-cost: 133 0.29/0.32 c ---[ 86]---> BDD-cost: 133 0.29/0.32 c ---[ 84]---> BDD-cost: 133 0.29/0.32 c ---[ 82]---> BDD-cost: 133 0.29/0.32 c ---[ 80]---> BDD-cost: 133 0.29/0.32 c ---[ 78]---> BDD-cost: 133 0.29/0.33 c ---[ 76]---> BDD-cost: 133 0.29/0.33 c ---[ 74]---> BDD-cost: 133 0.29/0.33 c ---[ 72]---> BDD-cost: 133 0.29/0.33 c ---[ 70]---> BDD-cost: 133 0.29/0.33 c ---[ 68]---> BDD-cost: 133 0.29/0.33 c ---[ 66]---> BDD-cost: 133 0.29/0.33 c ---[ 64]---> BDD-cost: 133 0.29/0.34 c ---[ 62]---> BDD-cost: 133 0.29/0.34 c ---[ 60]---> BDD-cost: 133 0.29/0.34 c ---[ 58]---> BDD-cost: 133 0.29/0.34 c ---[ 56]---> BDD-cost: 133 0.29/0.34 c ---[ 54]---> BDD-cost: 133 0.29/0.34 c ---[ 52]---> BDD-cost: 133 0.29/0.34 c ---[ 50]---> BDD-cost: 133 0.29/0.35 c ---[ 48]---> BDD-cost: 133 0.29/0.35 c ---[ 46]---> BDD-cost: 133 0.29/0.35 c ---[ 44]---> BDD-cost: 133 0.29/0.35 c ---[ 42]---> BDD-cost: 133 0.29/0.35 c ---[ 40]---> BDD-cost: 133 0.29/0.35 c ---[ 38]---> BDD-cost: 133 0.29/0.35 c ---[ 36]---> BDD-cost: 133 0.29/0.36 c ---[ 34]---> BDD-cost: 133 0.29/0.36 c ---[ 32]---> BDD-cost: 133 0.29/0.36 c ---[ 30]---> BDD-cost: 133 0.29/0.36 c ---[ 28]---> BDD-cost: 133 0.29/0.36 c ---[ 26]---> BDD-cost: 133 0.29/0.36 c ---[ 24]---> BDD-cost: 133 0.29/0.36 c ---[ 22]---> BDD-cost: 133 0.29/0.37 c ---[ 20]---> BDD-cost: 133 0.29/0.37 c ---[ 18]---> BDD-cost: 133 0.29/0.37 c ---[ 16]---> BDD-cost: 133 0.29/0.37 c ---[ 14]---> BDD-cost: 129 0.29/0.37 c ---[ 12]---> BDD-cost: 115 0.29/0.37 c ---[ 10]---> BDD-cost: 93 0.29/0.37 c ---[ 8]---> BDD-cost: 65 0.29/0.37 c ---[ 6]---> BDD-cost: 47 0.29/0.37 c ---[ 4]---> BDD-cost: 25 0.29/0.37 c ---[ 2]---> BDD-cost: 5 0.29/0.39 c ==================================[MINISAT+]================================== 0.29/0.39 c | Conflicts | Original | Learnt | Progress | 0.29/0.39 c | | Clauses Literals | Max Clauses Literals LPC | | 0.29/0.39 c ============================================================================== 0.29/0.39 c | 0 | 38707 112421 | 12902 0 0 nan | 0.000 % | 0.39/0.41 c | 100 | 38707 112421 | 14192 100 11756 117.6 | 2.335 % | 0.39/0.44 c | 251 | 38707 112421 | 15611 251 26586 105.9 | 2.335 % | 0.49/0.53 c | 477 | 38707 112421 | 17172 477 75584 158.5 | 2.335 % | 0.59/0.61 c | 814 | 38704 112413 | 18889 813 116116 142.8 | 2.340 % | 0.69/0.73 c | 1323 | 38704 112413 | 20778 1322 177481 134.3 | 2.340 % | 0.89/0.96 c | 2082 | 38611 112157 | 22856 2078 333850 160.7 | 2.573 % | 1.19/1.25 c | 3221 | 38605 112141 | 25142 3213 522420 162.6 | 2.583 % | 1.69/1.78 c | 4930 | 38605 112141 | 27656 4922 892044 181.2 | 2.583 % | 2.59/2.69 c | 7492 | 38605 112141 | 30422 7484 1366208 182.6 | 2.583 % | 3.89/3.95 c | 11337 | 38599 112126 | 33464 11324 2266260 200.1 | 2.593 % | 5.69/5.73 c | 17103 | 38593 112112 | 36810 17086 3360416 196.7 | 2.603 % | 8.69/8.75 c | 25753 | 38578 112072 | 40492 25716 5215277 202.8 | 2.628 % | 13.68/13.72 c | 38728 | 38572 112055 | 44541 38689 8091515 209.1 | 2.638 % | 23.48/23.56 c | 58189 | 38569 112047 | 48995 24417 6358299 260.4 | 2.644 % | 36.48/36.56 c | 87385 | 38566 112039 | 53894 22193 4672984 210.6 | 2.649 % | 64.68/64.73 c | 131175 | 38566 112039 | 59284 26482 9733113 367.5 | 2.649 % | 98.77/98.89 c | 196861 | 38557 112015 | 65212 50865 12503532 245.8 | 2.669 % | 158.82/158.95 c | 295388 | 38551 112001 | 71734 53864 14105165 261.9 | 2.679 % | 242.30/242.45 c | 443177 | 38551 112001 | 78907 48610 12808506 263.5 | 2.679 % | 430.98/431.11 c | 664862 | 38551 112001 | 86798 55506 16706992 301.0 | 2.679 % | 798.31/798.53 c | 997387 | 38551 112001 | 95478 55436 26241848 473.4 | 2.679 % | 1199.75/1200.03 c | 1496176 | 38551 112001 | 105025 55623 15087904 271.3 | 2.679 % | 1800.05/1800.40 c 1800.05/1800.40 c *** TERMINATED *** 1800.05/1800.40 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-3722159-1338563433/watcher-3722159-1338563433 -o /tmp/evaluation-result-3722159-1338563433/solver-3722159-1338563433 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3722159-1338563433.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.00 2.00 2.00 3/177 23027 /proc/meminfo: memFree=29591136/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=1264 CPUtime=0 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 188 0 0 0 0 0 0 0 20 0 1 0 322468766 1294336 146 33554432000 134512640 135395479 4294556784 4294555752 135031278 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 316 146 74 216 0 98 0 [startup+0.068992 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23027 /proc/meminfo: memFree=29591136/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=3016 CPUtime=0.06 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 585 0 0 0 6 0 0 0 20 0 1 0 322468766 3088384 543 33554432000 134512640 135395479 4294556784 4294555196 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 754 543 74 216 0 536 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3016 [startup+0.100216 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23027 /proc/meminfo: memFree=29591136/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=3588 CPUtime=0.09 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 736 0 0 0 9 0 0 0 20 0 1 0 322468766 3674112 694 33554432000 134512640 135395479 4294556784 4294555752 135031278 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 897 695 74 216 0 679 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3588 [startup+0.30018 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23027 /proc/meminfo: memFree=29591136/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=6336 CPUtime=0.29 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 1469 0 0 0 29 0 0 0 20 0 1 0 322468766 6488064 1386 33554432000 134512640 135395479 4294556784 4294555488 135031374 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 1584 1386 89 216 0 1366 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6336 [startup+0.700179 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23027 /proc/meminfo: memFree=29591136/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=8136 CPUtime=0.69 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 1934 0 0 0 69 0 0 0 20 0 1 0 322468766 8331264 1836 33554432000 134512640 135395479 4294556784 4294555104 134573350 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 2034 1836 106 216 0 1816 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8136 [startup+1.50018 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23028 /proc/meminfo: memFree=29583696/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=10256 CPUtime=1.49 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 2453 0 0 0 149 0 0 0 20 0 1 0 322468766 10502144 2355 33554432000 134512640 135395479 4294556784 4294554656 134574130 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 2564 2355 106 216 0 2346 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10256 [startup+3.10018 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23028 /proc/meminfo: memFree=29579448/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=14468 CPUtime=3.09 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 3489 0 0 0 309 0 0 0 20 0 1 0 322468766 14815232 3391 33554432000 134512640 135395479 4294556784 4294554684 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 3617 3391 106 216 0 3399 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14468 [startup+6.30018 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23028 /proc/meminfo: memFree=29569696/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=23484 CPUtime=6.29 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 5743 0 0 0 628 1 0 0 20 0 1 0 322468766 24047616 5645 33554432000 134512640 135395479 4294556784 4294554684 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 5871 5645 106 216 0 5653 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23484 [startup+12.7001 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23028 /proc/meminfo: memFree=29551020/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=39672 CPUtime=12.69 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 9800 0 0 0 1267 2 0 0 20 0 1 0 322468766 40624128 9702 33554432000 134512640 135395479 4294556784 4294554684 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 9918 9702 106 216 0 9700 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 39672 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23028 /proc/meminfo: memFree=29527348/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=57372 CPUtime=25.48 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 14210 0 0 0 2545 3 0 0 20 0 1 0 322468766 58748928 14112 33554432000 134512640 135395479 4294556784 4294554656 134573849 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 14343 14112 106 216 0 14125 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 57372 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23028 /proc/meminfo: memFree=29512600/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=69472 CPUtime=51.08 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 17252 0 0 0 5104 4 0 0 20 0 1 0 322468766 71139328 17154 33554432000 134512640 135395479 4294556784 4294555136 134580938 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 17368 17154 106 216 0 17150 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 69472 [startup+102.307 s] /proc/loadavg: 1.93 1.98 1.99 3/177 23077 /proc/meminfo: memFree=29965540/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=102576 CPUtime=102.28 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 25517 0 0 0 10222 6 0 0 20 0 1 0 322468766 105037824 25419 33554432000 134512640 135395479 4294556784 4294554656 134574472 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 25644 25419 106 216 0 25426 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 102576 [startup+162.3 s] /proc/loadavg: 1.97 1.98 1.99 3/177 23077 /proc/meminfo: memFree=29935956/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=104672 CPUtime=162.22 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 26073 0 0 0 16216 6 0 0 20 0 1 0 322468766 107184128 25952 33554432000 134512640 135395479 4294556784 4294555136 134580840 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 26168 25952 106 216 0 25950 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 104672 [startup+222.3 s] /proc/loadavg: 1.99 1.98 1.99 3/177 23078 /proc/meminfo: memFree=29922008/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=104584 CPUtime=222.21 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 26077 0 0 0 22215 6 0 0 20 0 1 0 322468766 107094016 25955 33554432000 134512640 135395479 4294556784 4294554656 134574489 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 26146 25955 106 216 0 25928 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 104584 [startup+282.3 s] /proc/loadavg: 2.06 2.00 2.00 3/177 23078 /proc/meminfo: memFree=29906872/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=112868 CPUtime=282.2 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 28135 0 0 0 28213 7 0 0 20 0 1 0 322468766 115576832 28009 33554432000 134512640 135395479 4294556784 4294554656 134574132 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 28217 28009 106 216 0 27999 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 112868 [startup+342.3 s] /proc/loadavg: 2.02 2.00 2.00 3/177 23078 /proc/meminfo: memFree=29895392/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=120900 CPUtime=342.19 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 30154 0 0 0 34212 7 0 0 20 0 1 0 322468766 123801600 30028 33554432000 134512640 135395479 4294556784 4294554656 134574474 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 30225 30028 106 216 0 30007 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 120900 [startup+402.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 23078 /proc/meminfo: memFree=29866492/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=148040 CPUtime=402.18 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 36931 0 0 0 40208 10 0 0 20 0 1 0 322468766 151592960 36801 33554432000 134512640 135395479 4294556784 4294554656 134574417 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 37010 36801 106 216 0 36792 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 148040 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23078 /proc/meminfo: memFree=29857668/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=148040 CPUtime=462.17 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 36950 0 0 0 46207 10 0 0 20 0 1 0 322468766 151592960 36815 33554432000 134512640 135395479 4294556784 4294554656 134574075 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 37010 36815 106 216 0 36792 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 148040 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23079 /proc/meminfo: memFree=29820076/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=172784 CPUtime=522.16 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 43102 0 0 0 52204 12 0 0 20 0 1 0 322468766 176930816 42967 33554432000 134512640 135395479 4294556784 4294554656 134574216 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 43196 42967 106 216 0 42978 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 172784 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23082 /proc/meminfo: memFree=29817896/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=172784 CPUtime=582.14 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 43108 0 0 0 58202 12 0 0 20 0 1 0 322468766 176930816 42967 33554432000 134512640 135395479 4294556784 4294554656 134574486 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 43196 42967 106 216 0 42978 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 172784 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.10 2.03 2.01 3/177 23083 /proc/meminfo: memFree=29776556/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=200976 CPUtime=822.1 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 50187 0 0 0 82196 14 0 0 20 0 1 0 322468766 205799424 50034 33554432000 134512640 135395479 4294556784 4294554752 134579554 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 50244 50034 106 216 0 50026 0 Current children cumulated CPU time (s) 822.1 Current children cumulated vsize (KiB) 200976 [startup+882.3 s] /proc/loadavg: 2.04 2.02 2.00 3/177 23083 /proc/meminfo: memFree=29776536/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=200968 CPUtime=882.09 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 50188 0 0 0 88195 14 0 0 20 0 1 0 322468766 205791232 50033 33554432000 134512640 135395479 4294556784 4294554656 134573871 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 50242 50033 106 216 0 50024 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 200968 [startup+942.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 23083 /proc/meminfo: memFree=29776784/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=200968 CPUtime=942.08 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 50191 0 0 0 94194 14 0 0 20 0 1 0 322468766 205791232 50036 33554432000 134512640 135395479 4294556784 4294554752 134576199 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 50242 50036 106 216 0 50024 0 Current children cumulated CPU time (s) 942.08 Current children cumulated vsize (KiB) 200968 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 2.00 3/178 23084 /proc/meminfo: memFree=29776652/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=200968 CPUtime=1002.07 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 50191 0 0 0 100193 14 0 0 20 0 1 0 322468766 205791232 50036 33554432000 134512640 135395479 4294556784 4294555136 134580941 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 50242 50036 106 216 0 50024 0 Current children cumulated CPU time (s) 1002.07 Current children cumulated vsize (KiB) 200968 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23084 /proc/meminfo: memFree=29776908/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=200968 CPUtime=1062.06 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 50191 0 0 0 106192 14 0 0 20 0 1 0 322468766 205791232 50036 33554432000 134512640 135395479 4294556784 4294554752 134576808 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 50242 50036 106 216 0 50024 0 Current children cumulated CPU time (s) 1062.06 Current children cumulated vsize (KiB) 200968 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23085 /proc/meminfo: memFree=29776660/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=200968 CPUtime=1122.05 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 50191 0 0 0 112191 14 0 0 20 0 1 0 322468766 205791232 50036 33554432000 134512640 135395479 4294556784 4294555136 134581186 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 50242 50036 106 216 0 50024 0 Current children cumulated CPU time (s) 1122.05 Current children cumulated vsize (KiB) 200968 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 23088 /proc/meminfo: memFree=29776228/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=200968 CPUtime=1182.04 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 50191 0 0 0 118190 14 0 0 20 0 1 0 322468766 205791232 50036 33554432000 134512640 135395479 4294556784 4294555136 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 50242 50036 106 216 0 50024 0 Current children cumulated CPU time (s) 1182.04 Current children cumulated vsize (KiB) 200968 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23088 /proc/meminfo: memFree=29776296/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=200968 CPUtime=1242.03 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 50198 0 0 0 124189 14 0 0 20 0 1 0 322468766 205791232 50043 33554432000 134512640 135395479 4294556784 4294555136 134580965 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 50242 50043 106 216 0 50024 0 Current children cumulated CPU time (s) 1242.03 Current children cumulated vsize (KiB) 200968 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23088 /proc/meminfo: memFree=29759432/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=200968 CPUtime=1302.03 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 50198 0 0 0 130189 14 0 0 20 0 1 0 322468766 205791232 50043 33554432000 134512640 135395479 4294556784 4294554656 134573886 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 50242 50043 106 216 0 50024 0 Current children cumulated CPU time (s) 1302.03 Current children cumulated vsize (KiB) 200968 [startup+1362.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 23088 /proc/meminfo: memFree=29756828/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=200968 CPUtime=1362.01 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 50198 0 0 0 136187 14 0 0 20 0 1 0 322468766 205791232 50043 33554432000 134512640 135395479 4294556784 4294555136 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 50242 50043 106 216 0 50024 0 Current children cumulated CPU time (s) 1362.01 Current children cumulated vsize (KiB) 200968 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 2.00 3/177 23089 /proc/meminfo: memFree=29756952/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=200968 CPUtime=1422.01 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 50200 0 0 0 142187 14 0 0 20 0 1 0 322468766 205791232 50045 33554432000 134512640 135395479 4294556784 4294554752 134577392 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 50242 50045 106 216 0 50024 0 Current children cumulated CPU time (s) 1422.01 Current children cumulated vsize (KiB) 200968 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23089 /proc/meminfo: memFree=29731572/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=224628 CPUtime=1482 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 56097 0 0 0 148184 16 0 0 20 0 1 0 322468766 230019072 55942 33554432000 134512640 135395479 4294556784 4294554656 134575405 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 56157 55942 106 216 0 55939 0 Current children cumulated CPU time (s) 1482 Current children cumulated vsize (KiB) 224628 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23089 /proc/meminfo: memFree=29731572/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=224628 CPUtime=1541.99 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 56097 0 0 0 154183 16 0 0 20 0 1 0 322468766 230019072 55942 33554432000 134512640 135395479 4294556784 4294555136 134580923 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 56157 55942 106 216 0 55939 0 Current children cumulated CPU time (s) 1541.99 Current children cumulated vsize (KiB) 224628 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23089 /proc/meminfo: memFree=29731136/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=224628 CPUtime=1601.98 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 56098 0 0 0 160182 16 0 0 20 0 1 0 322468766 230019072 55943 33554432000 134512640 135395479 4294556784 4294554752 134579836 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 56157 55943 106 216 0 55939 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 224628 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23089 /proc/meminfo: memFree=29731548/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=224628 CPUtime=1661.97 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 56108 0 0 0 166181 16 0 0 20 0 1 0 322468766 230019072 55948 33554432000 134512640 135395479 4294556784 4294554752 134576754 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 56157 55948 106 216 0 55939 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 224628 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 23090 /proc/meminfo: memFree=29731672/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=224628 CPUtime=1721.96 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 56108 0 0 0 172180 16 0 0 20 0 1 0 322468766 230019072 55948 33554432000 134512640 135395479 4294556784 4294554656 134575416 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 56157 55948 106 216 0 55939 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 224628 [startup+1782.3 s] /proc/loadavg: 2.08 2.02 2.01 3/178 23093 /proc/meminfo: memFree=29731304/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=224628 CPUtime=1781.95 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 56108 0 0 0 178179 16 0 0 20 0 1 0 322468766 230019072 55948 33554432000 134512640 135395479 4294556784 4294555136 134580959 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 56157 55948 106 216 0 55939 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 224628 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.06 2.01 2.00 3/178 23093 /proc/meminfo: memFree=29731552/32873648 swapFree=7116/7116 [pid=23027] ppid=23025 vsize=224628 CPUtime=1800.05 cores=1,3,5,7 /proc/23027/stat : 23027 (minisat+) R 23025 23027 21013 0 -1 4202496 56108 0 0 0 179989 16 0 0 20 0 1 0 322468766 230019072 55948 33554432000 134512640 135395479 4294556784 4294555136 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/23027/statm: 56157 55948 106 216 0 55939 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 224628 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.41 CPU time (s): 1800.06 CPU user time (s): 1799.9 CPU system time (s): 0.164974 CPU usage (%): 99.9809 Max. virtual memory (cumulated for all children) (KiB): 224628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.9 system time used= 0.164974 maximum resident set size= 223796 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56109 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= 101 involuntary context switches= 1850 runsolver used 3.63245 second user time and 9.38257 second system time The end
Begin job on node127 at 2012-06-01 17:10:33 IDJOB=3722159 IDBENCH=90112 IDSOLVER=2306 FILE ID=node127/3722159-1338563433 RUNJOBID= node127-1338552572-21030 PBS_JOBID= 14635857 Free space on /tmp= 70472 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K102.opb COMMAND LINE= HOME/minisat+ BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3722159-1338563433/watcher-3722159-1338563433 -o /tmp/evaluation-result-3722159-1338563433/solver-3722159-1338563433 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3722159-1338563433.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2946edf6ae8af40eb44098433ff3dcec RANDOM SEED=382161195 node127.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.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.69 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.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 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.94 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.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 29591664 kB Buffers: 331872 kB Cached: 1565548 kB SwapCached: 1472 kB Active: 1435980 kB Inactive: 967052 kB Active(anon): 499432 kB Inactive(anon): 7900 kB Active(file): 936548 kB Inactive(file): 959152 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67104400 kB Dirty: 2736 kB Writeback: 0 kB AnonPages: 510868 kB Mapped: 11204 kB Shmem: 92 kB Slab: 742800 kB SReclaimable: 187136 kB SUnreclaim: 555664 kB KernelStack: 1472 kB PageTables: 4720 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 631140 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 423936 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3722159-1338563433.opb Free space on /tmp at the end= 70480 MiB End job on node127 at 2012-06-01 17:40:36