Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB12: minisatp 1.0-2-g022594c | ? (TO) | 1800.02 | 1800.51 |
Name | /DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K132.opb |
MD5SUM | 88bbbc51beb841161685a00fb4d24f63 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
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 | 15708 |
Total number of constraints | 15974 |
Number of constraints which are clauses | 15842 |
Number of constraints which are cardinality constraints (but not clauses) | 132 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 132 |
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 | 133 |
Number of bits of the biggest sum of numbers | 8 |
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.00/0.05 c Converting 15972 PB-constraints to clauses... 0.00/0.05 c -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 0.00/0.05 c -- Detecting intervals from adjacent constraints: ################################################################################################################################## 0.00/0.05 c -- Clauses(.)/Splits(s): ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.00/0.06 c ---[ 260]---> BDD-cost: 235 0.00/0.06 c ---[ 258]---> BDD-cost: 235 0.00/0.06 c ---[ 256]---> BDD-cost: 235 0.00/0.06 c ---[ 254]---> BDD-cost: 235 0.00/0.06 c ---[ 252]---> BDD-cost: 235 0.00/0.06 c ---[ 250]---> BDD-cost: 235 0.00/0.06 c ---[ 248]---> BDD-cost: 235 0.00/0.06 c ---[ 246]---> BDD-cost: 235 0.00/0.06 c ---[ 244]---> BDD-cost: 235 0.00/0.06 c ---[ 242]---> BDD-cost: 235 0.00/0.06 c ---[ 240]---> BDD-cost: 235 0.00/0.06 c ---[ 238]---> BDD-cost: 235 0.00/0.06 c ---[ 236]---> BDD-cost: 235 0.00/0.06 c ---[ 234]---> BDD-cost: 235 0.00/0.06 c ---[ 232]---> BDD-cost: 235 0.00/0.06 c ---[ 230]---> BDD-cost: 235 0.00/0.06 c ---[ 228]---> BDD-cost: 235 0.00/0.06 c ---[ 226]---> BDD-cost: 235 0.00/0.06 c ---[ 224]---> BDD-cost: 235 0.00/0.06 c ---[ 222]---> BDD-cost: 235 0.00/0.06 c ---[ 220]---> BDD-cost: 235 0.00/0.06 c ---[ 218]---> BDD-cost: 235 0.00/0.06 c ---[ 216]---> BDD-cost: 235 0.00/0.06 c ---[ 214]---> BDD-cost: 235 0.00/0.06 c ---[ 212]---> BDD-cost: 235 0.00/0.06 c ---[ 210]---> BDD-cost: 235 0.00/0.06 c ---[ 208]---> BDD-cost: 235 0.00/0.07 c ---[ 206]---> BDD-cost: 235 0.00/0.07 c ---[ 204]---> BDD-cost: 235 0.00/0.07 c ---[ 202]---> BDD-cost: 235 0.00/0.07 c ---[ 200]---> BDD-cost: 235 0.00/0.07 c ---[ 198]---> BDD-cost: 235 0.00/0.07 c ---[ 196]---> BDD-cost: 235 0.00/0.07 c ---[ 194]---> BDD-cost: 235 0.00/0.07 c ---[ 192]---> BDD-cost: 235 0.00/0.07 c ---[ 190]---> BDD-cost: 235 0.00/0.07 c ---[ 188]---> BDD-cost: 235 0.00/0.07 c ---[ 186]---> BDD-cost: 235 0.00/0.07 c ---[ 184]---> BDD-cost: 235 0.00/0.07 c ---[ 182]---> BDD-cost: 235 0.00/0.07 c ---[ 180]---> BDD-cost: 235 0.00/0.07 c ---[ 178]---> BDD-cost: 235 0.00/0.07 c ---[ 176]---> BDD-cost: 235 0.00/0.07 c ---[ 174]---> BDD-cost: 235 0.00/0.07 c ---[ 172]---> BDD-cost: 235 0.00/0.07 c ---[ 170]---> BDD-cost: 235 0.00/0.07 c ---[ 168]---> BDD-cost: 235 0.00/0.07 c ---[ 166]---> BDD-cost: 235 0.00/0.07 c ---[ 164]---> BDD-cost: 235 0.00/0.07 c ---[ 162]---> BDD-cost: 235 0.00/0.07 c ---[ 160]---> BDD-cost: 235 0.00/0.07 c ---[ 158]---> BDD-cost: 235 0.00/0.07 c ---[ 156]---> BDD-cost: 235 0.00/0.07 c ---[ 154]---> BDD-cost: 235 0.00/0.07 c ---[ 152]---> BDD-cost: 235 0.00/0.07 c ---[ 150]---> BDD-cost: 235 0.00/0.07 c ---[ 148]---> BDD-cost: 235 0.00/0.07 c ---[ 146]---> BDD-cost: 235 0.00/0.07 c ---[ 144]---> BDD-cost: 235 0.00/0.07 c ---[ 142]---> BDD-cost: 235 0.00/0.07 c ---[ 140]---> BDD-cost: 235 0.00/0.07 c ---[ 138]---> BDD-cost: 235 0.00/0.07 c ---[ 136]---> BDD-cost: 235 0.00/0.07 c ---[ 134]---> BDD-cost: 235 0.00/0.07 c ---[ 132]---> BDD-cost: 235 0.00/0.07 c ---[ 130]---> BDD-cost: 235 0.00/0.07 c ---[ 128]---> BDD-cost: 235 0.00/0.07 c ---[ 126]---> BDD-cost: 235 0.00/0.07 c ---[ 124]---> BDD-cost: 235 0.00/0.07 c ---[ 122]---> BDD-cost: 235 0.00/0.07 c ---[ 120]---> BDD-cost: 235 0.00/0.07 c ---[ 118]---> BDD-cost: 235 0.00/0.07 c ---[ 116]---> BDD-cost: 235 0.00/0.07 c ---[ 114]---> BDD-cost: 235 0.00/0.07 c ---[ 112]---> BDD-cost: 235 0.00/0.07 c ---[ 110]---> BDD-cost: 235 0.00/0.07 c ---[ 108]---> BDD-cost: 235 0.00/0.07 c ---[ 106]---> BDD-cost: 235 0.00/0.07 c ---[ 104]---> BDD-cost: 235 0.00/0.07 c ---[ 102]---> BDD-cost: 235 0.00/0.07 c ---[ 100]---> BDD-cost: 235 0.00/0.07 c ---[ 98]---> BDD-cost: 235 0.00/0.07 c ---[ 96]---> BDD-cost: 235 0.00/0.07 c ---[ 94]---> BDD-cost: 235 0.00/0.07 c ---[ 92]---> BDD-cost: 235 0.00/0.07 c ---[ 90]---> BDD-cost: 235 0.00/0.07 c ---[ 88]---> BDD-cost: 235 0.00/0.07 c ---[ 86]---> BDD-cost: 235 0.00/0.07 c ---[ 84]---> BDD-cost: 235 0.00/0.07 c ---[ 82]---> BDD-cost: 235 0.00/0.07 c ---[ 80]---> BDD-cost: 235 0.00/0.07 c ---[ 78]---> BDD-cost: 235 0.00/0.07 c ---[ 76]---> BDD-cost: 235 0.00/0.07 c ---[ 74]---> BDD-cost: 235 0.00/0.07 c ---[ 72]---> BDD-cost: 235 0.00/0.07 c ---[ 70]---> BDD-cost: 235 0.00/0.07 c ---[ 68]---> BDD-cost: 235 0.00/0.07 c ---[ 66]---> BDD-cost: 235 0.00/0.07 c ---[ 64]---> BDD-cost: 235 0.00/0.07 c ---[ 62]---> BDD-cost: 235 0.00/0.07 c ---[ 60]---> BDD-cost: 235 0.00/0.07 c ---[ 58]---> BDD-cost: 235 0.00/0.07 c ---[ 56]---> BDD-cost: 235 0.00/0.07 c ---[ 54]---> BDD-cost: 235 0.00/0.07 c ---[ 52]---> BDD-cost: 235 0.00/0.07 c ---[ 50]---> BDD-cost: 235 0.00/0.07 c ---[ 48]---> BDD-cost: 235 0.00/0.07 c ---[ 46]---> BDD-cost: 235 0.00/0.07 c ---[ 44]---> BDD-cost: 235 0.00/0.07 c ---[ 42]---> BDD-cost: 235 0.00/0.07 c ---[ 40]---> BDD-cost: 235 0.00/0.07 c ---[ 38]---> BDD-cost: 235 0.00/0.07 c ---[ 36]---> BDD-cost: 235 0.00/0.07 c ---[ 34]---> BDD-cost: 235 0.00/0.07 c ---[ 32]---> BDD-cost: 235 0.00/0.07 c ---[ 30]---> BDD-cost: 235 0.00/0.07 c ---[ 28]---> BDD-cost: 235 0.00/0.07 c ---[ 26]---> BDD-cost: 235 0.00/0.07 c ---[ 24]---> BDD-cost: 233 0.00/0.07 c ---[ 22]---> BDD-cost: 229 0.00/0.07 c ---[ 20]---> BDD-cost: 223 0.00/0.07 c ---[ 18]---> BDD-cost: 213 0.00/0.07 c ---[ 16]---> BDD-cost: 205 0.00/0.07 c ---[ 14]---> BDD-cost: 199 0.00/0.07 c ---[ 12]---> BDD-cost: 177 0.00/0.07 c ---[ 10]---> BDD-cost: 131 0.00/0.07 c ---[ 8]---> BDD-cost: 97 0.00/0.07 c ---[ 6]---> BDD-cost: 63 0.00/0.07 c ---[ 4]---> BDD-cost: 35 0.00/0.07 c ---[ 2]---> BDD-cost: 7 0.00/0.09 c ==================================[MINISAT+]================================== 0.00/0.09 c | Conflicts | Original | Learnt | Progress | 0.00/0.09 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.09 c ============================================================================== 0.00/0.09 c | 0 | 88869 259762 | 29623 0 0 -nan | 0.000 % | 0.00/0.13 c | 100 | 88869 259762 | 32585 100 15120 151.2 | 1.927 % | 0.00/0.18 c | 250 | 88869 259762 | 35843 250 30252 121.0 | 1.927 % | 0.00/0.23 c | 476 | 88846 259700 | 39428 474 63156 133.2 | 1.951 % | 0.00/0.33 c | 813 | 88744 259422 | 43371 807 150336 186.3 | 2.053 % | 0.00/0.45 c | 1320 | 88744 259422 | 47708 1314 234571 178.5 | 2.053 % | 0.00/0.63 c | 2084 | 88744 259422 | 52478 2078 365658 176.0 | 2.053 % | 0.00/0.92 c | 3223 | 88744 259422 | 57726 3217 547007 170.0 | 2.053 % | 1.39/1.48 c | 4931 | 88736 259402 | 63499 4922 871659 177.1 | 2.060 % | 2.19/2.24 c | 7494 | 88736 259402 | 69849 7485 1291756 172.6 | 2.060 % | 3.48/3.57 c | 11339 | 88732 259390 | 76834 11327 1868961 165.0 | 2.064 % | 5.99/6.05 c | 17106 | 88717 259352 | 84517 17084 3729506 218.3 | 2.075 % | 9.29/9.31 c | 25756 | 88699 259306 | 92969 25725 5606575 217.9 | 2.088 % | 14.68/14.72 c | 38730 | 88690 259281 | 102266 38693 8807779 227.6 | 2.095 % | 25.88/25.98 c | 58191 | 88638 259140 | 112493 58133 15810432 272.0 | 2.135 % | 44.38/44.47 c | 87384 | 88583 258995 | 123742 87308 24966303 286.0 | 2.192 % | 81.47/81.58 c | 131175 | 88583 258995 | 136116 30070 5758737 191.5 | 2.192 % | 129.07/129.16 c | 196859 | 88483 258735 | 149728 95712 29725934 310.6 | 2.270 % | 206.52/206.67 c | 295385 | 88432 258595 | 164701 77735 21984579 282.8 | 2.307 % | 349.61/349.88 c | 443176 | 88388 258476 | 181171 94547 31365084 331.7 | 2.345 % | 577.57/577.87 c | 664859 | 88323 258304 | 199288 176680 62764439 355.2 | 2.407 % | 1399.39/1399.84 c | 997384 | 88317 258288 | 219217 183002 98168263 536.4 | 2.411 % | 1800.01/1800.50 c 1800.01/1800.50 c *** TERMINATED *** 1800.01/1800.50 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-3722857-1338579801/watcher-3722857-1338579801 -o /tmp/evaluation-result-3722857-1338579801/solver-3722857-1338579801 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3722857-1338579801.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.11 2.07 2.00 3/175 32029 /proc/meminfo: memFree=27271272/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [startup+0.0422591 s] /proc/loadavg: 2.11 2.07 2.00 3/175 32029 /proc/meminfo: memFree=27271272/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100269 s] /proc/loadavg: 2.11 2.07 2.00 3/175 32029 /proc/meminfo: memFree=27271272/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.30024 s] /proc/loadavg: 2.11 2.07 2.00 3/175 32029 /proc/meminfo: memFree=27271272/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.70023 s] /proc/loadavg: 2.11 2.07 2.00 3/175 32029 /proc/meminfo: memFree=27271272/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50027 s] /proc/loadavg: 2.11 2.07 2.00 3/177 32034 /proc/meminfo: memFree=27248680/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=22168 CPUtime=1.49 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 5233 0 0 0 148 1 0 0 20 0 1 0 324105586 22700032 5021 33554432000 4194304 5276501 140734106017232 140734106015480 4394975 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32033/statm: 5542 5021 117 265 0 5274 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31316 [startup+3.10027 s] /proc/loadavg: 2.11 2.07 2.00 3/177 32034 /proc/meminfo: memFree=27243820/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=24596 CPUtime=3.09 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 6100 0 0 0 308 1 0 0 20 0 1 0 324105586 25186304 5888 33554432000 4194304 5276501 140734106017232 140734106015224 4400056 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32033/statm: 6149 5888 117 265 0 5881 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33744 [startup+6.30022 s] /proc/loadavg: 2.10 2.07 2.00 3/177 32034 /proc/meminfo: memFree=27227192/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=34548 CPUtime=6.29 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 8598 0 0 0 627 2 0 0 20 0 1 0 324105586 35377152 8386 33554432000 4194304 5276501 140734106017232 140734106015224 4397093 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32033/statm: 8637 8386 117 265 0 8369 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43696 [startup+12.7003 s] /proc/loadavg: 2.10 2.07 2.00 3/177 32034 /proc/meminfo: memFree=27195996/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=52320 CPUtime=12.68 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 12999 0 0 0 1265 3 0 0 20 0 1 0 324105586 53575680 12787 33554432000 4194304 5276501 140734106017232 140734106015224 4399850 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32033/statm: 13080 12787 117 265 0 12812 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 61468 [startup+25.5003 s] /proc/loadavg: 2.07 2.06 2.00 3/177 32034 /proc/meminfo: memFree=27131640/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=87480 CPUtime=25.48 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 21813 0 0 0 2542 6 0 0 20 0 1 0 324105586 89579520 21601 33554432000 4194304 5276501 140734106017232 140734106015224 4395432 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32033/statm: 21870 21601 117 265 0 21602 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 96628 [startup+51.1002 s] /proc/loadavg: 2.05 2.06 2.00 3/177 32034 /proc/meminfo: memFree=27017528/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=145668 CPUtime=51.08 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 36264 0 0 0 5098 10 0 0 20 0 1 0 324105586 149164032 36052 33554432000 4194304 5276501 140734106017232 140734106015224 4400432 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32033/statm: 36417 36052 117 265 0 36149 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 154816 [startup+102.306 s] /proc/loadavg: 2.10 2.08 2.01 3/177 32034 /proc/meminfo: memFree=26902996/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=207144 CPUtime=102.28 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 51638 0 0 0 10214 14 0 0 20 0 1 0 324105586 212115456 51426 33554432000 4194304 5276501 140734106017232 140734106015480 4399804 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32033/statm: 51786 51426 117 265 0 51518 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 216292 [startup+162.3 s] /proc/loadavg: 2.07 2.07 2.01 3/177 32034 /proc/meminfo: memFree=26880520/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=217712 CPUtime=162.25 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 54265 0 0 0 16211 14 0 0 20 0 1 0 324105586 222937088 54056 33554432000 4194304 5276501 140734106017232 140734106014824 4633200 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32033/statm: 54428 54056 117 265 0 54160 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 226860 [startup+222.3 s] /proc/loadavg: 2.06 2.07 2.01 3/177 32035 /proc/meminfo: memFree=26753200/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=252292 CPUtime=222.21 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 62795 0 0 0 22204 17 0 0 20 0 1 0 324105586 258347008 62583 33554432000 4194304 5276501 140734106017232 140734106015480 4399913 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32033/statm: 63073 62583 117 265 0 62805 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 261440 [startup+282.3 s] /proc/loadavg: 2.06 2.07 2.00 3/177 32035 /proc/meminfo: memFree=26744740/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=261772 CPUtime=282.17 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 65206 0 0 0 28199 18 0 0 20 0 1 0 324105586 268054528 65004 33554432000 4194304 5276501 140734106017232 140734106015224 4399850 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32033/statm: 65443 65004 117 265 0 65175 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 270920 [startup+342.3 s] /proc/loadavg: 2.06 2.07 2.00 3/177 32035 /proc/meminfo: memFree=26698128/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=306396 CPUtime=342.11 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 76386 0 0 0 34190 21 0 0 20 0 1 0 324105586 313749504 76299 33554432000 4194304 5276501 140734106017232 140734106015416 4399768 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/32033/statm: 76599 76299 117 265 0 76331 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 315544 [startup+402.3 s] /proc/loadavg: 2.11 2.08 2.01 3/178 32038 /proc/meminfo: memFree=26657848/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=483184 CPUtime=1121.93 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 120050 0 0 0 112156 37 0 0 20 0 1 0 324105586 494780416 120301 33554432000 4194304 5276501 140734106017232 140734106014824 4394973 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/32033/statm: 120796 120301 117 265 0 120528 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 492332 [startup+1182.3 s] /proc/loadavg: 2.06 2.07 2.01 3/177 32067 /proc/meminfo: memFree=26371940/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=484132 CPUtime=1181.92 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 120246 0 0 0 118155 37 0 0 20 0 1 0 324105586 495751168 120497 33554432000 4194304 5276501 140734106017232 140734106015416 4390530 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/32033/statm: 121033 120497 117 265 0 120765 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 493280 [startup+1242.3 s] /proc/loadavg: 2.06 2.07 2.01 3/177 32067 /proc/meminfo: memFree=26363532/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=486052 CPUtime=1241.91 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 120659 0 0 0 124154 37 0 0 20 0 1 0 324105586 497717248 120910 33554432000 4194304 5276501 140734106017232 140734106015416 4399904 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/32033/statm: 121513 120910 117 265 0 121245 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 495200 [startup+1302.3 s] /proc/loadavg: 2.06 2.07 2.01 3/177 32067 /proc/meminfo: memFree=26333032/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=490372 CPUtime=1301.91 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 121562 0 0 0 130154 37 0 0 20 0 1 0 324105586 502140928 121813 33554432000 4194304 5276501 140734106017232 140734106015416 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/32033/statm: 122593 121813 117 265 0 122325 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 499520 [startup+1362.3 s] /proc/loadavg: 2.06 2.07 2.01 3/177 32067 /proc/meminfo: memFree=26332288/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=490852 CPUtime=1361.89 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 121711 0 0 0 136152 37 0 0 20 0 1 0 324105586 502632448 121962 33554432000 4194304 5276501 140734106017232 140734106015416 4399860 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/32033/statm: 122713 121962 117 265 0 122445 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 500000 [startup+1422.31 s] /proc/loadavg: 2.06 2.07 2.01 3/177 32068 /proc/meminfo: memFree=26301488/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=523052 CPUtime=1421.89 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 129459 0 0 0 142149 40 0 0 20 0 1 0 324105586 535605248 129721 33554432000 4194304 5276501 140734106017232 140734106015224 4405155 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/32033/statm: 130763 129721 117 265 0 130495 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 532200 [startup+1482.3 s] /proc/loadavg: 2.06 2.07 2.01 3/177 32068 /proc/meminfo: memFree=26234340/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=573312 CPUtime=1481.88 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 142008 0 0 0 148145 43 0 0 20 0 1 0 324105586 587071488 142269 33554432000 4194304 5276501 140734106017232 140734106015224 4395096 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/32033/statm: 143328 142269 117 265 0 143060 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 582460 [startup+1542.3 s] /proc/loadavg: 2.06 2.07 2.01 3/177 32068 /proc/meminfo: memFree=26150136/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=573312 CPUtime=1541.85 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 142042 0 0 0 154142 43 0 0 20 0 1 0 324105586 587071488 142840 33554432000 4194304 5276501 140734106017232 140734106015224 4400066 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/32033/statm: 143328 142840 117 265 0 143060 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 582460 [startup+1602.3 s] /proc/loadavg: 2.11 2.08 2.01 3/178 32071 /proc/meminfo: memFree=26141780/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=573312 CPUtime=1601.83 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 142051 0 0 0 160140 43 0 0 20 0 1 0 324105586 587071488 143003 33554432000 4194304 5276501 140734106017232 140734106015224 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/32033/statm: 143328 143003 117 265 0 143060 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 582460 [startup+1662.3 s] /proc/loadavg: 2.08 2.08 2.01 3/177 32071 /proc/meminfo: memFree=26142520/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=573312 CPUtime=1661.82 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 142051 0 0 0 166139 43 0 0 20 0 1 0 324105586 587071488 143003 33554432000 4194304 5276501 140734106017232 140734106015224 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/32033/statm: 143328 143003 117 265 0 143060 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 582460 [startup+1722.3 s] /proc/loadavg: 2.06 2.08 2.01 3/177 32072 /proc/meminfo: memFree=26142520/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=573312 CPUtime=1721.81 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 142051 0 0 0 172138 43 0 0 20 0 1 0 324105586 587071488 143003 33554432000 4194304 5276501 140734106017232 140734106015224 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/32033/statm: 143328 143003 117 265 0 143060 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 582460 [startup+1782.3 s] /proc/loadavg: 1.99 2.06 2.00 3/177 32115 /proc/meminfo: memFree=26294564/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=583828 CPUtime=1781.81 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 144648 0 0 0 178137 44 0 0 20 0 1 0 324105586 597839872 145600 33554432000 4194304 5276501 140734106017232 140734106014824 4396808 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/32033/statm: 145957 145600 117 265 0 145689 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 592976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.07 2.07 2.01 3/177 32115 /proc/meminfo: memFree=26283540/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=583828 CPUtime=1800.01 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 144648 0 0 0 179957 44 0 0 20 0 1 0 324105586 597839872 145600 33554432000 4194304 5276501 140734106017232 140734106014824 4406240 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/32033/statm: 145957 145600 117 265 0 145689 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 592976 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.07 2.07 2.01 3/177 32115 /proc/meminfo: memFree=26283540/32873624 swapFree=7112/7112 [pid=32029] ppid=32027 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/32029/stat : 32029 (minisat+_script) S 32027 32029 29349 0 -1 4202496 382 552 0 0 0 0 0 0 20 0 1 0 324105586 9367552 277 33554432000 4194304 5064252 140733483313536 140733483312448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/32029/statm: 2287 277 236 213 0 72 0 [pid=32033] ppid=32029 vsize=583828 CPUtime=1800.01 cores=0,2,4,6 /proc/32033/stat : 32033 (minisat+_64-bit) R 32029 32029 29349 0 -1 4202496 144648 0 0 0 179957 44 0 0 20 0 1 0 324105586 597839872 145600 33554432000 4194304 5276501 140734106017232 140734106014824 4406240 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/32033/statm: 145957 145600 117 265 0 145689 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 592976 Child status: 0 Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.58 CPU system time (s): 0.446932 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 592976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.446932 maximum resident set size= 582404 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 145595 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= 263 involuntary context switches= 2236 runsolver used 11.9252 second user time and 11.8902 second system time The end
Begin job on node121 at 2012-06-01 21:43:21 IDJOB=3722857 IDBENCH=90214 IDSOLVER=2307 FILE ID=node121/3722857-1338579801 RUNJOBID= node121-1338568931-31067 PBS_JOBID= 14635892 Free space on /tmp= 71312 MiB SOLVER NAME= minisatp 1.0-2-g022594c BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K132.opb COMMAND LINE= minisat+_script BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3722857-1338579801/watcher-3722857-1338579801 -o /tmp/evaluation-result-3722857-1338579801/solver-3722857-1338579801 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3722857-1338579801.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 88bbbc51beb841161685a00fb4d24f63 RANDOM SEED=884484923 node121.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.042 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.08 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.042 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 : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 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.042 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.042 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 : 2667.042 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 : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 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: 32873624 kB MemFree: 27271652 kB Buffers: 583128 kB Cached: 4025608 kB SwapCached: 0 kB Active: 1685416 kB Inactive: 3049168 kB Active(anon): 113516 kB Inactive(anon): 10776 kB Active(file): 1571900 kB Inactive(file): 3038392 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 3424 kB Writeback: 0 kB AnonPages: 128432 kB Mapped: 14604 kB Shmem: 200 kB Slab: 731812 kB SReclaimable: 176136 kB SUnreclaim: 555676 kB KernelStack: 1456 kB PageTables: 3992 kB NFS_Unstable: 8 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545668 kB Committed_AS: 226120 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71284 MiB End job on node121 at 2012-06-01 22:13:22