Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB12: minisatp 1.0-2-g022594c | ? (TO) | 1800.02 | 1800.62 |
Name | /DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K163.opb |
MD5SUM | 5c9e224cdd9eef3594ee47236fa33798 |
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 | 19397 |
Total number of constraints | 19725 |
Number of constraints which are clauses | 19562 |
Number of constraints which are cardinality constraints (but not clauses) | 163 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 163 |
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 | 164 |
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.06 c Converting 19723 PB-constraints to clauses... 0.00/0.06 c -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp 0.00/0.09 c -- Detecting intervals from adjacent constraints: ################################################################################################################################################################# 0.00/0.09 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 0.00/0.09 c ---[ 322]---> BDD-cost: 235 0.00/0.09 c ---[ 320]---> BDD-cost: 235 0.00/0.09 c ---[ 318]---> BDD-cost: 235 0.00/0.09 c ---[ 316]---> BDD-cost: 235 0.00/0.09 c ---[ 314]---> BDD-cost: 235 0.00/0.09 c ---[ 312]---> BDD-cost: 235 0.00/0.09 c ---[ 310]---> BDD-cost: 235 0.00/0.09 c ---[ 308]---> BDD-cost: 235 0.00/0.09 c ---[ 306]---> BDD-cost: 235 0.00/0.09 c ---[ 304]---> BDD-cost: 235 0.00/0.09 c ---[ 302]---> BDD-cost: 235 0.00/0.09 c ---[ 300]---> BDD-cost: 235 0.00/0.09 c ---[ 298]---> BDD-cost: 235 0.00/0.09 c ---[ 296]---> BDD-cost: 235 0.00/0.09 c ---[ 294]---> BDD-cost: 235 0.00/0.09 c ---[ 292]---> BDD-cost: 235 0.00/0.09 c ---[ 290]---> BDD-cost: 235 0.00/0.09 c ---[ 288]---> BDD-cost: 235 0.00/0.09 c ---[ 286]---> BDD-cost: 235 0.00/0.09 c ---[ 284]---> BDD-cost: 235 0.00/0.09 c ---[ 282]---> BDD-cost: 235 0.00/0.09 c ---[ 280]---> BDD-cost: 235 0.00/0.09 c ---[ 278]---> BDD-cost: 235 0.00/0.09 c ---[ 276]---> BDD-cost: 235 0.00/0.09 c ---[ 274]---> BDD-cost: 235 0.00/0.09 c ---[ 272]---> BDD-cost: 235 0.00/0.09 c ---[ 270]---> BDD-cost: 235 0.00/0.09 c ---[ 268]---> BDD-cost: 235 0.00/0.09 c ---[ 266]---> BDD-cost: 235 0.00/0.09 c ---[ 264]---> BDD-cost: 235 0.00/0.09 c ---[ 262]---> BDD-cost: 235 0.00/0.09 c ---[ 260]---> BDD-cost: 235 0.00/0.09 c ---[ 258]---> BDD-cost: 235 0.00/0.09 c ---[ 256]---> BDD-cost: 235 0.00/0.09 c ---[ 254]---> BDD-cost: 235 0.00/0.09 c ---[ 252]---> BDD-cost: 235 0.00/0.09 c ---[ 250]---> BDD-cost: 235 0.00/0.09 c ---[ 248]---> BDD-cost: 235 0.00/0.09 c ---[ 246]---> BDD-cost: 235 0.00/0.09 c ---[ 244]---> BDD-cost: 235 0.00/0.09 c ---[ 242]---> BDD-cost: 235 0.00/0.09 c ---[ 240]---> BDD-cost: 235 0.00/0.09 c ---[ 238]---> BDD-cost: 235 0.00/0.09 c ---[ 236]---> BDD-cost: 235 0.00/0.09 c ---[ 234]---> BDD-cost: 235 0.00/0.09 c ---[ 232]---> BDD-cost: 235 0.00/0.09 c ---[ 230]---> BDD-cost: 235 0.00/0.09 c ---[ 228]---> BDD-cost: 235 0.00/0.09 c ---[ 226]---> BDD-cost: 235 0.00/0.09 c ---[ 224]---> BDD-cost: 235 0.00/0.09 c ---[ 222]---> BDD-cost: 235 0.00/0.09 c ---[ 220]---> BDD-cost: 235 0.00/0.09 c ---[ 218]---> BDD-cost: 235 0.00/0.09 c ---[ 216]---> BDD-cost: 235 0.00/0.09 c ---[ 214]---> BDD-cost: 235 0.00/0.09 c ---[ 212]---> BDD-cost: 235 0.00/0.09 c ---[ 210]---> BDD-cost: 235 0.00/0.09 c ---[ 208]---> BDD-cost: 235 0.00/0.09 c ---[ 206]---> BDD-cost: 235 0.00/0.09 c ---[ 204]---> BDD-cost: 235 0.00/0.09 c ---[ 202]---> BDD-cost: 235 0.00/0.09 c ---[ 200]---> BDD-cost: 235 0.00/0.09 c ---[ 198]---> BDD-cost: 235 0.00/0.09 c ---[ 196]---> BDD-cost: 235 0.00/0.09 c ---[ 194]---> BDD-cost: 235 0.00/0.09 c ---[ 192]---> BDD-cost: 235 0.00/0.09 c ---[ 190]---> BDD-cost: 235 0.00/0.09 c ---[ 188]---> BDD-cost: 235 0.00/0.09 c ---[ 186]---> BDD-cost: 235 0.00/0.09 c ---[ 184]---> BDD-cost: 235 0.00/0.09 c ---[ 182]---> BDD-cost: 235 0.00/0.09 c ---[ 180]---> BDD-cost: 235 0.00/0.09 c ---[ 178]---> BDD-cost: 235 0.00/0.09 c ---[ 176]---> BDD-cost: 235 0.00/0.09 c ---[ 174]---> BDD-cost: 235 0.00/0.09 c ---[ 172]---> BDD-cost: 235 0.00/0.09 c ---[ 170]---> BDD-cost: 235 0.00/0.09 c ---[ 168]---> BDD-cost: 235 0.00/0.09 c ---[ 166]---> BDD-cost: 235 0.00/0.09 c ---[ 164]---> BDD-cost: 235 0.00/0.09 c ---[ 162]---> BDD-cost: 235 0.00/0.09 c ---[ 160]---> BDD-cost: 235 0.00/0.09 c ---[ 158]---> BDD-cost: 235 0.00/0.09 c ---[ 156]---> BDD-cost: 235 0.00/0.09 c ---[ 154]---> BDD-cost: 235 0.00/0.09 c ---[ 152]---> BDD-cost: 235 0.00/0.09 c ---[ 150]---> BDD-cost: 235 0.00/0.09 c ---[ 148]---> BDD-cost: 235 0.00/0.09 c ---[ 146]---> BDD-cost: 235 0.00/0.09 c ---[ 144]---> BDD-cost: 235 0.00/0.09 c ---[ 142]---> BDD-cost: 235 0.00/0.09 c ---[ 140]---> BDD-cost: 235 0.00/0.09 c ---[ 138]---> BDD-cost: 235 0.00/0.09 c ---[ 136]---> BDD-cost: 235 0.00/0.09 c ---[ 134]---> BDD-cost: 235 0.00/0.09 c ---[ 132]---> BDD-cost: 235 0.00/0.09 c ---[ 130]---> BDD-cost: 235 0.00/0.09 c ---[ 128]---> BDD-cost: 235 0.00/0.09 c ---[ 126]---> BDD-cost: 235 0.00/0.09 c ---[ 124]---> BDD-cost: 235 0.00/0.09 c ---[ 122]---> BDD-cost: 235 0.00/0.09 c ---[ 120]---> BDD-cost: 235 0.00/0.09 c ---[ 118]---> BDD-cost: 235 0.00/0.09 c ---[ 116]---> BDD-cost: 235 0.00/0.09 c ---[ 114]---> BDD-cost: 235 0.00/0.09 c ---[ 112]---> BDD-cost: 235 0.00/0.09 c ---[ 110]---> BDD-cost: 235 0.00/0.09 c ---[ 108]---> BDD-cost: 235 0.00/0.09 c ---[ 106]---> BDD-cost: 235 0.00/0.09 c ---[ 104]---> BDD-cost: 235 0.00/0.09 c ---[ 102]---> BDD-cost: 235 0.00/0.09 c ---[ 100]---> BDD-cost: 235 0.00/0.09 c ---[ 98]---> BDD-cost: 235 0.00/0.09 c ---[ 96]---> BDD-cost: 235 0.00/0.09 c ---[ 94]---> BDD-cost: 235 0.00/0.09 c ---[ 92]---> BDD-cost: 235 0.00/0.09 c ---[ 90]---> BDD-cost: 235 0.00/0.09 c ---[ 88]---> BDD-cost: 235 0.00/0.09 c ---[ 86]---> BDD-cost: 235 0.00/0.09 c ---[ 84]---> BDD-cost: 235 0.00/0.09 c ---[ 82]---> BDD-cost: 235 0.00/0.09 c ---[ 80]---> BDD-cost: 235 0.00/0.09 c ---[ 78]---> BDD-cost: 235 0.00/0.09 c ---[ 76]---> BDD-cost: 235 0.00/0.09 c ---[ 74]---> BDD-cost: 235 0.00/0.09 c ---[ 72]---> BDD-cost: 235 0.00/0.09 c ---[ 70]---> BDD-cost: 235 0.00/0.09 c ---[ 68]---> BDD-cost: 235 0.00/0.09 c ---[ 66]---> BDD-cost: 235 0.00/0.09 c ---[ 64]---> BDD-cost: 235 0.00/0.09 c ---[ 62]---> BDD-cost: 235 0.00/0.09 c ---[ 60]---> BDD-cost: 235 0.00/0.09 c ---[ 58]---> BDD-cost: 235 0.00/0.09 c ---[ 56]---> BDD-cost: 235 0.00/0.09 c ---[ 54]---> BDD-cost: 235 0.00/0.09 c ---[ 52]---> BDD-cost: 235 0.00/0.09 c ---[ 50]---> BDD-cost: 235 0.00/0.09 c ---[ 48]---> BDD-cost: 235 0.00/0.09 c ---[ 46]---> BDD-cost: 235 0.00/0.09 c ---[ 44]---> BDD-cost: 235 0.00/0.09 c ---[ 42]---> BDD-cost: 235 0.00/0.09 c ---[ 40]---> BDD-cost: 235 0.00/0.09 c ---[ 38]---> BDD-cost: 235 0.00/0.09 c ---[ 36]---> BDD-cost: 235 0.00/0.09 c ---[ 34]---> BDD-cost: 235 0.00/0.09 c ---[ 32]---> BDD-cost: 235 0.00/0.09 c ---[ 30]---> BDD-cost: 235 0.00/0.09 c ---[ 28]---> BDD-cost: 235 0.00/0.09 c ---[ 26]---> BDD-cost: 235 0.00/0.09 c ---[ 24]---> BDD-cost: 233 0.00/0.09 c ---[ 22]---> BDD-cost: 229 0.00/0.09 c ---[ 20]---> BDD-cost: 223 0.00/0.09 c ---[ 18]---> BDD-cost: 213 0.00/0.09 c ---[ 16]---> BDD-cost: 205 0.00/0.09 c ---[ 14]---> BDD-cost: 199 0.00/0.09 c ---[ 12]---> BDD-cost: 177 0.00/0.09 c ---[ 10]---> BDD-cost: 131 0.00/0.09 c ---[ 8]---> BDD-cost: 97 0.00/0.09 c ---[ 6]---> BDD-cost: 63 0.00/0.09 c ---[ 4]---> BDD-cost: 35 0.00/0.09 c ---[ 2]---> BDD-cost: 7 0.00/0.11 c ==================================[MINISAT+]================================== 0.00/0.11 c | Conflicts | Original | Learnt | Progress | 0.00/0.11 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.11 c ============================================================================== 0.00/0.11 c | 0 | 110755 323870 | 36918 0 0 -nan | 0.000 % | 0.00/0.14 c | 100 | 110755 323870 | 40609 100 5636 56.4 | 1.606 % | 0.00/0.23 c | 255 | 110755 323870 | 44670 255 59629 233.8 | 1.606 % | 0.00/0.30 c | 482 | 110755 323870 | 49137 482 87073 180.6 | 1.606 % | 0.00/0.45 c | 819 | 110755 323870 | 54051 819 125997 153.8 | 1.606 % | 0.00/0.61 c | 1325 | 110755 323870 | 59456 1325 177734 134.1 | 1.606 % | 0.00/0.93 c | 2086 | 110752 323863 | 65402 2085 444862 213.4 | 1.608 % | 1.19/1.23 c | 3225 | 110752 323863 | 71942 3224 653655 202.7 | 1.608 % | 1.69/1.72 c | 4933 | 110752 323863 | 79137 4932 914291 185.4 | 1.608 % | 2.69/2.70 c | 7495 | 110752 323863 | 87050 7494 1636192 218.3 | 1.608 % | 4.39/4.41 c | 11341 | 110752 323863 | 95755 11340 3232594 285.1 | 1.608 % | 6.49/6.56 c | 17109 | 110752 323863 | 105331 17108 4472813 261.4 | 1.608 % | 9.89/9.95 c | 25758 | 110752 323863 | 115864 25757 6333445 245.9 | 1.608 % | 15.59/15.62 c | 38733 | 110752 323863 | 127450 38732 9966536 257.3 | 1.608 % | 25.98/26.06 c | 58195 | 110752 323863 | 140196 58194 14798383 254.3 | 1.608 % | 44.18/44.25 c | 87387 | 110752 323863 | 154215 87386 24441664 279.7 | 1.608 % | 78.47/78.57 c | 131177 | 110752 323863 | 169637 131176 37001515 282.1 | 1.608 % | 132.07/132.18 c | 196867 | 110752 323863 | 186600 60736 14320845 235.8 | 1.608 % | 215.16/215.23 c | 295393 | 110752 323863 | 205261 159262 49736339 312.3 | 1.608 % | 352.48/352.66 c | 443182 | 110752 323863 | 225787 144382 42049342 291.2 | 1.608 % | 761.83/762.26 c | 664865 | 110692 323701 | 248365 152613 103927239 681.0 | 1.661 % | 1066.27/1066.78 c | 997393 | 110692 323701 | 273202 77578 17131757 220.8 | 1.661 % | 1590.62/1591.22 c | 1496182 | 110692 323701 | 300522 144603 49158473 340.0 | 1.661 % | 1800.01/1800.61 c 1800.01/1800.61 c *** TERMINATED *** 1800.01/1800.61 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3722868-1338579536/watcher-3722868-1338579536 -o /tmp/evaluation-result-3722868-1338579536/solver-3722868-1338579536 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3722868-1338579536.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.91 1.97 1.99 3/177 26514 /proc/meminfo: memFree=27664032/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [startup+0.0914269 s] /proc/loadavg: 1.91 1.97 1.99 3/177 26514 /proc/meminfo: memFree=27664032/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.11536 s] /proc/loadavg: 1.91 1.97 1.99 3/177 26514 /proc/meminfo: memFree=27664032/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300285 s] /proc/loadavg: 1.91 1.97 1.99 3/177 26514 /proc/meminfo: memFree=27664032/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700283 s] /proc/loadavg: 1.91 1.97 1.99 3/177 26514 /proc/meminfo: memFree=27664032/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50034 s] /proc/loadavg: 1.91 1.97 1.99 3/179 26519 /proc/meminfo: memFree=27642628/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=27348 CPUtime=1.49 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 6192 0 0 0 148 1 0 0 20 0 1 0 324078001 28004352 5940 33554432000 4194304 5276501 140735514696672 140735514694920 4411480 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 6837 5940 118 265 0 6569 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36496 [startup+3.10032 s] /proc/loadavg: 1.91 1.97 1.99 3/179 26519 /proc/meminfo: memFree=27640816/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=28684 CPUtime=3.08 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 7036 0 0 0 307 1 0 0 20 0 1 0 324078001 29372416 6784 33554432000 4194304 5276501 140735514696672 140735514694920 4633200 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 7171 6784 118 265 0 6903 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 37832 [startup+6.30032 s] /proc/loadavg: 1.92 1.97 1.99 3/179 26519 /proc/meminfo: memFree=27630524/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=39848 CPUtime=6.28 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 9835 0 0 0 627 1 0 0 20 0 1 0 324078001 40804352 9583 33554432000 4194304 5276501 140735514696672 140735514694856 4633200 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 9962 9583 118 265 0 9694 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 48996 [startup+12.7003 s] /proc/loadavg: 1.93 1.97 1.99 3/179 26519 /proc/meminfo: memFree=27611808/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=57964 CPUtime=12.68 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 14376 0 0 0 1266 2 0 0 20 0 1 0 324078001 59355136 14124 33554432000 4194304 5276501 140735514696672 140735514694664 4399918 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 14491 14124 118 265 0 14223 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 67112 [startup+25.5003 s] /proc/loadavg: 1.94 1.97 1.99 3/179 26519 /proc/meminfo: memFree=27580064/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=88256 CPUtime=25.48 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 21944 0 0 0 2544 4 0 0 20 0 1 0 324078001 90374144 21692 33554432000 4194304 5276501 140735514696672 140735514694264 4633200 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 22064 21692 118 265 0 21796 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 97404 [startup+51.1003 s] /proc/loadavg: 1.96 1.97 1.99 3/179 26519 /proc/meminfo: memFree=27522248/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=146872 CPUtime=51.08 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 36512 0 0 0 5099 9 0 0 20 0 1 0 324078001 150396928 36260 33554432000 4194304 5276501 140735514696672 140735514694264 4633200 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 36718 36260 118 265 0 36450 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 156020 [startup+102.307 s] /proc/loadavg: 1.98 1.97 1.99 3/180 26523 /proc/meminfo: memFree=27430640/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=236380 CPUtime=102.28 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 58763 0 0 0 10213 15 0 0 20 0 1 0 324078001 242053120 58511 33554432000 4194304 5276501 140735514696672 140735514694264 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 59095 58511 118 265 0 58827 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 245528 [startup+162.3 s] /proc/loadavg: 1.99 1.97 1.99 3/179 26523 /proc/meminfo: memFree=27402672/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=264100 CPUtime=162.26 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 65682 0 0 0 16209 17 0 0 20 0 1 0 324078001 270438400 65430 33554432000 4194304 5276501 140735514696672 140735514694920 4399804 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 66025 65430 118 265 0 65757 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 273248 [startup+222.3 s] /proc/loadavg: 1.99 1.97 1.99 3/179 26523 /proc/meminfo: memFree=27342008/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=274156 CPUtime=222.26 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 68209 0 0 0 22208 18 0 0 20 0 1 0 324078001 280735744 67957 33554432000 4194304 5276501 140735514696672 140735514694856 4399918 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 68539 67957 118 265 0 68271 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 283304 [startup+282.3 s] /proc/loadavg: 1.99 1.97 1.99 3/179 26523 /proc/meminfo: memFree=27198940/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=349988 CPUtime=282.24 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 86884 0 0 0 28201 23 0 0 20 0 1 0 324078001 358387712 86632 33554432000 4194304 5276501 140735514696672 140735514694856 4399394 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 87497 86632 118 265 0 87229 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 359136 [startup+342.3 s] /proc/loadavg: 1.99 1.97 1.99 3/179 26523 /proc/meminfo: memFree=27196984/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=349988 CPUtime=342.19 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 86932 0 0 0 34196 23 0 0 20 0 1 0 324078001 358387712 86655 33554432000 4194304 5276501 140735514696672 140735514694856 4394856 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 87497 86655 118 265 0 87229 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 359136 [startup+402.3 s] /proc/loadavg: 2.07 1.99 1.99 3/179 26524 /proc/meminfo: memFree=27197012/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=644700 CPUtime=1061.87 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 160563 0 0 0 106138 49 0 0 20 0 1 0 324078001 660172800 160496 33554432000 4194304 5276501 140735514696672 140735514694664 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 161175 160496 118 265 0 160907 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 653848 [startup+1122.3 s] /proc/loadavg: 2.00 1.99 1.99 3/179 26529 /proc/meminfo: memFree=26860096/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=644700 CPUtime=1121.86 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 160563 0 0 0 112137 49 0 0 20 0 1 0 324078001 660172800 160496 33554432000 4194304 5276501 140735514696672 140735514694920 4399804 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 161175 160496 118 265 0 160907 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 653848 [startup+1182.3 s] /proc/loadavg: 2.04 2.00 2.00 3/179 26529 /proc/meminfo: memFree=26843232/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=644700 CPUtime=1181.85 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 160565 0 0 0 118136 49 0 0 20 0 1 0 324078001 660172800 160498 33554432000 4194304 5276501 140735514696672 140735514694920 4399937 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 161175 160498 118 265 0 160907 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 653848 [startup+1242.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 26529 /proc/meminfo: memFree=26780856/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=644700 CPUtime=1241.84 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 160583 0 0 0 124135 49 0 0 20 0 1 0 324078001 660172800 160529 33554432000 4194304 5276501 140735514696672 140735514694920 4399394 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 161175 160529 118 265 0 160907 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 653848 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 26533 /proc/meminfo: memFree=26773692/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=644700 CPUtime=1301.79 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 160672 0 0 0 130130 49 0 0 20 0 1 0 324078001 660172800 160708 33554432000 4194304 5276501 140735514696672 140735514694920 4399937 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 161175 160708 118 265 0 160907 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 653848 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 26556 /proc/meminfo: memFree=26773216/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=644700 CPUtime=1361.75 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 160693 0 0 0 136126 49 0 0 20 0 1 0 324078001 660172800 160766 33554432000 4194304 5276501 140735514696672 140735514694920 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 161175 160766 118 265 0 160907 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 653848 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26556 /proc/meminfo: memFree=26773224/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=644700 CPUtime=1421.75 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 160693 0 0 0 142126 49 0 0 20 0 1 0 324078001 660172800 160766 33554432000 4194304 5276501 140735514696672 140735514694920 4399913 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 161175 160766 118 265 0 160907 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 653848 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26556 /proc/meminfo: memFree=26773348/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=644700 CPUtime=1481.73 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 160693 0 0 0 148124 49 0 0 20 0 1 0 324078001 660172800 160766 33554432000 4194304 5276501 140735514696672 140735514694920 4399741 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 161175 160766 118 265 0 160907 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 653848 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26556 /proc/meminfo: memFree=26773036/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=644700 CPUtime=1541.73 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 160699 0 0 0 154124 49 0 0 20 0 1 0 324078001 660172800 160772 33554432000 4194304 5276501 140735514696672 140735514694920 4399804 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 161175 160772 118 265 0 160907 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 653848 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26600 /proc/meminfo: memFree=27203360/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=644700 CPUtime=1601.73 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 160699 0 0 0 160123 50 0 0 20 0 1 0 324078001 660172800 160772 33554432000 4194304 5276501 140735514696672 140735514694920 4394795 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 161175 160772 118 265 0 160907 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 653848 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26600 /proc/meminfo: memFree=27193812/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=644700 CPUtime=1661.72 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 160699 0 0 0 166122 50 0 0 20 0 1 0 324078001 660172800 160772 33554432000 4194304 5276501 140735514696672 140735514694920 4399913 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 161175 160772 118 265 0 160907 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 653848 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26600 /proc/meminfo: memFree=27189100/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=644700 CPUtime=1721.71 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 160699 0 0 0 172121 50 0 0 20 0 1 0 324078001 660172800 160772 33554432000 4194304 5276501 140735514696672 140735514694920 4390371 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 161175 160772 118 265 0 160907 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 653848 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26600 /proc/meminfo: memFree=27182404/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=644700 CPUtime=1781.7 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 160738 0 0 0 178120 50 0 0 20 0 1 0 324078001 660172800 160811 33554432000 4194304 5276501 140735514696672 140735514694920 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 161175 160811 118 265 0 160907 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 653848 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.00 2.00 2.00 3/179 26600 /proc/meminfo: memFree=27178560/32873844 swapFree=7628/7628 [pid=26514] ppid=26512 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/26514/stat : 26514 (minisat+_script) S 26512 26514 23511 0 -1 4202496 383 551 0 0 0 0 0 0 20 0 1 0 324078001 9367552 277 33554432000 4194304 5064252 140733757778432 140733757777344 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/26514/statm: 2287 277 236 213 0 72 0 [pid=26518] ppid=26514 vsize=644700 CPUtime=1800.01 cores=0,2,4,6 /proc/26518/stat : 26518 (minisat+_64-bit) R 26514 26514 23511 0 -1 4202496 160750 0 0 0 179951 50 0 0 20 0 1 0 324078001 660172800 160823 33554432000 4194304 5276501 140735514696672 140735514694920 4394990 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/26518/statm: 161175 160823 118 265 0 160907 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 653848 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.02 CPU user time (s): 1799.51 CPU system time (s): 0.507922 CPU usage (%): 99.9668 Max. virtual memory (cumulated for all children) (KiB): 653848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.507922 maximum resident set size= 643296 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 161697 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= 319 involuntary context switches= 1999 runsolver used 2.68659 second user time and 7.15891 second system time The end
Begin job on node143 at 2012-06-01 21:38:56 IDJOB=3722868 IDBENCH=90172 IDSOLVER=2307 FILE ID=node143/3722868-1338579536 RUNJOBID= node143-1338570186-25408 PBS_JOBID= 14635841 Free space on /tmp= 68544 MiB SOLVER NAME= minisatp 1.0-2-g022594c BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K163.opb COMMAND LINE= minisat+_script BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3722868-1338579536/watcher-3722868-1338579536 -o /tmp/evaluation-result-3722868-1338579536/solver-3722868-1338579536 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3722868-1338579536.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5c9e224cdd9eef3594ee47236fa33798 RANDOM SEED=717945781 node143.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.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 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.787 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.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 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.787 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.90 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.787 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 : 5298.57 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.787 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.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27664676 kB Buffers: 344052 kB Cached: 3572520 kB SwapCached: 112 kB Active: 2314464 kB Inactive: 2000032 kB Active(anon): 389580 kB Inactive(anon): 10916 kB Active(file): 1924884 kB Inactive(file): 1989116 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108424 kB Dirty: 3768 kB Writeback: 0 kB AnonPages: 410084 kB Mapped: 10796 kB Shmem: 160 kB Slab: 755012 kB SReclaimable: 197328 kB SUnreclaim: 557684 kB KernelStack: 1464 kB PageTables: 4868 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 517880 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 68540 MiB End job on node143 at 2012-06-01 22:08:57