Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2012-05-28 | OPTIMUM | 54.7157 | 52.4354 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo |
| MD5SUM | 2001343def6115cfc261dcde547cf23c |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 19 |
| Best CPU time to get the best result obtained on this benchmark | 0.278957 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 101 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 4944 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 4943 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1298 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.02/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.02/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.07 c See www.sat4j.org for details. 0.02/0.07 c version 2.3.2.v20120528 0.02/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.07 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.07 c java.vm.version 19.1-b02 0.02/0.07 c java.vm.vendor Sun Microsystems Inc. 0.02/0.07 c sun.arch.data.model 64 0.02/0.07 c java.version 1.6.0_24 0.02/0.07 c os.name Linux 0.02/0.07 c os.version 2.6.32-71.29.1.el6.x86_64 0.02/0.07 c os.arch amd64 0.02/0.07 c Free memory 501472288 0.02/0.07 c Max memory 7480803328 0.02/0.07 c Total memory 504102912 0.02/0.07 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization by upper bound 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose 2 learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-3718425-1338254201.wbo 0.11/0.10 c reading problem ... 0.11/0.15 c ... done. Wall clock time 0.053s. 0.11/0.15 c declared #vars 169 0.11/0.15 c internal #vars 270 0.11/0.15 c #constraints 101 0.11/0.15 c constraints type 0.11/0.15 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.11/0.15 c ignored satisfied constraints => 1 0.11/0.15 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.11/0.15 c 102 constraints processed. 0.11/0.15 c objective function length is 101 literals 0.29/0.20 c SATISFIABLE 0.29/0.20 c OPTIMIZING... 0.29/0.20 c Got one! Elapsed wall clock time (in seconds):0.107 0.29/0.20 o 759 0.29/0.23 c Got one! Elapsed wall clock time (in seconds):0.131 0.29/0.23 o 742 0.29/0.24 c Got one! Elapsed wall clock time (in seconds):0.143 0.29/0.24 o 599 0.29/0.25 c Got one! Elapsed wall clock time (in seconds):0.15 0.29/0.25 o 596 0.29/0.26 c Got one! Elapsed wall clock time (in seconds):0.164 0.29/0.26 o 571 0.29/0.27 c Got one! Elapsed wall clock time (in seconds):0.173 0.29/0.27 o 565 0.29/0.27 c Got one! Elapsed wall clock time (in seconds):0.178 0.29/0.27 o 560 0.29/0.28 c Got one! Elapsed wall clock time (in seconds):0.187 0.29/0.28 o 550 0.29/0.29 c Got one! Elapsed wall clock time (in seconds):0.198 0.29/0.29 o 518 0.52/0.31 c Got one! Elapsed wall clock time (in seconds):0.213 0.52/0.31 o 466 0.52/0.35 c Got one! Elapsed wall clock time (in seconds):0.232 0.52/0.35 o 463 0.52/0.35 c Got one! Elapsed wall clock time (in seconds):0.25 0.52/0.35 o 461 0.52/0.36 c Got one! Elapsed wall clock time (in seconds):0.263 0.52/0.36 o 460 0.52/0.36 c Got one! Elapsed wall clock time (in seconds):0.268 0.52/0.36 o 458 0.52/0.37 c Got one! Elapsed wall clock time (in seconds):0.274 0.52/0.37 o 455 0.52/0.38 c Got one! Elapsed wall clock time (in seconds):0.283 0.52/0.38 o 453 0.52/0.39 c Got one! Elapsed wall clock time (in seconds):0.293 0.52/0.39 o 413 0.70/0.42 c Got one! Elapsed wall clock time (in seconds):0.326 0.70/0.42 o 410 0.70/0.45 c Got one! Elapsed wall clock time (in seconds):0.352 0.70/0.45 o 405 0.82/0.50 c Got one! Elapsed wall clock time (in seconds):0.407 0.82/0.50 o 403 0.82/0.54 c Got one! Elapsed wall clock time (in seconds):0.445 0.82/0.54 o 390 0.82/0.55 c Got one! Elapsed wall clock time (in seconds):0.452 0.82/0.55 o 389 0.82/0.56 c Got one! Elapsed wall clock time (in seconds):0.469 0.82/0.56 o 388 0.95/0.60 c Got one! Elapsed wall clock time (in seconds):0.501 0.95/0.60 o 386 0.95/0.62 c Got one! Elapsed wall clock time (in seconds):0.521 0.95/0.62 o 384 0.95/0.69 c cleaning 5879 clauses out of 11761 with flag 3408/11761 1.24/0.76 c Got one! Elapsed wall clock time (in seconds):0.665 1.24/0.76 o 383 1.24/0.77 c Got one! Elapsed wall clock time (in seconds):0.675 1.24/0.77 o 376 1.24/0.79 c Got one! Elapsed wall clock time (in seconds):0.692 1.24/0.79 o 374 1.45/0.82 c Got one! Elapsed wall clock time (in seconds):0.72 1.45/0.82 o 368 1.45/0.84 c Got one! Elapsed wall clock time (in seconds):0.744 1.45/0.84 o 334 1.59/0.94 c cleaning 6778 clauses out of 13565 with flag 12844/19444 1.59/1.00 c Got one! Elapsed wall clock time (in seconds):0.903 1.59/1.00 o 333 1.71/1.02 c Got one! Elapsed wall clock time (in seconds):0.92 1.71/1.02 o 332 1.71/1.08 c Got one! Elapsed wall clock time (in seconds):0.98 1.71/1.08 o 327 1.71/1.10 c Got one! Elapsed wall clock time (in seconds):1.001 1.71/1.10 o 324 1.81/1.17 c Got one! Elapsed wall clock time (in seconds):1.077 1.81/1.17 o 316 1.90/1.22 c cleaning 7337 clauses out of 14682 with flag 4600/27339 2.13/1.41 c Got one! Elapsed wall clock time (in seconds):1.315 2.13/1.41 o 303 2.13/1.45 c Got one! Elapsed wall clock time (in seconds):1.354 2.13/1.45 o 302 2.23/1.54 c Got one! Elapsed wall clock time (in seconds):1.446 2.23/1.54 o 296 2.38/1.61 c cleaning 9557 clauses out of 19138 with flag 7201/39132 2.58/1.84 c cleaning 7779 clauses out of 15583 with flag 33665/45134 2.69/1.93 c Got one! Elapsed wall clock time (in seconds):1.833 2.69/1.93 o 250 2.69/1.99 c Got one! Elapsed wall clock time (in seconds):1.895 2.69/1.99 o 248 2.79/2.02 c Got one! Elapsed wall clock time (in seconds):1.922 2.79/2.02 o 246 2.79/2.06 c cleaning 6969 clauses out of 13946 with flag 4021/51276 2.90/2.13 c Got one! Elapsed wall clock time (in seconds):2.032 2.90/2.13 o 245 2.90/2.17 c Got one! Elapsed wall clock time (in seconds):2.07 2.90/2.17 o 230 3.00/2.27 c cleaning 6532 clauses out of 13077 with flag 14383/57376 3.21/2.46 c Got one! Elapsed wall clock time (in seconds):2.366 3.21/2.46 o 228 3.41/2.63 c cleaning 8294 clauses out of 16610 with flag 23949/67441 3.41/2.68 c Got one! Elapsed wall clock time (in seconds):2.585 3.41/2.68 o 225 3.63/2.85 c cleaning 7127 clauses out of 14267 with flag 25771/73392 3.73/2.92 c Got one! Elapsed wall clock time (in seconds):2.82 3.73/2.92 o 224 3.73/2.98 c Got one! Elapsed wall clock time (in seconds):2.881 3.73/2.98 o 215 3.83/3.05 c cleaning 6604 clauses out of 13212 with flag 8393/79464 4.06/3.29 c cleaning 6287 clauses out of 12607 with flag 32595/85463 4.16/3.35 c Got one! Elapsed wall clock time (in seconds):3.255 4.16/3.35 o 214 4.26/3.48 c cleaning 6034 clauses out of 12073 with flag 20770/91216 4.36/3.54 c Got one! Elapsed wall clock time (in seconds):3.444 4.36/3.54 o 208 4.48/3.66 c cleaning 5905 clauses out of 11825 with flag 17368/97002 4.68/3.85 c cleaning 5957 clauses out of 11921 with flag 40850/103003 4.78/3.90 c Got one! Elapsed wall clock time (in seconds):3.804 4.78/3.90 o 207 4.88/4.03 c cleaning 5657 clauses out of 11335 with flag 20784/108374 5.09/4.21 c cleaning 5839 clauses out of 11679 with flag 48270/114375 5.09/4.23 c Got one! Elapsed wall clock time (in seconds):4.132 5.09/4.23 o 201 5.20/4.33 c Got one! Elapsed wall clock time (in seconds):4.229 5.20/4.33 o 200 5.20/4.36 c Got one! Elapsed wall clock time (in seconds):4.269 5.20/4.36 o 194 5.31/4.44 c cleaning 6077 clauses out of 12162 with flag 10458/120697 5.41/4.53 c Got one! Elapsed wall clock time (in seconds):4.432 5.41/4.53 o 192 5.51/4.62 c cleaning 5818 clauses out of 11658 with flag 13090/126270 5.71/4.86 c cleaning 5905 clauses out of 11841 with flag 37493/132271 5.71/4.88 c Got one! Elapsed wall clock time (in seconds):4.785 5.71/4.88 o 186 5.92/5.04 c cleaning 5731 clauses out of 11474 with flag 25370/137809 6.02/5.17 c Got one! Elapsed wall clock time (in seconds):5.073 6.02/5.17 o 183 6.12/5.20 c cleaning 5378 clauses out of 10776 with flag 4545/142842 6.22/5.38 c cleaning 5694 clauses out of 11398 with flag 31469/148842 6.33/5.49 c Got one! Elapsed wall clock time (in seconds):5.391 6.33/5.49 o 179 6.43/5.55 c cleaning 5737 clauses out of 11487 with flag 9374/154625 6.62/5.73 c cleaning 5870 clauses out of 11751 with flag 36950/160626 6.82/5.95 c cleaning 6430 clauses out of 12880 with flag 68614/167625 6.93/6.08 c Got one! Elapsed wall clock time (in seconds):5.98 6.93/6.08 o 177 6.93/6.09 c Got one! Elapsed wall clock time (in seconds):5.996 6.93/6.09 o 176 7.04/6.11 c Got one! Elapsed wall clock time (in seconds):6.019 7.04/6.11 o 169 7.04/6.15 c cleaning 6403 clauses out of 12813 with flag 3574/173988 7.04/6.20 c Got one! Elapsed wall clock time (in seconds):6.099 7.04/6.20 o 160 7.14/6.28 c Got one! Elapsed wall clock time (in seconds):6.189 7.14/6.28 o 148 7.24/6.35 c cleaning 6190 clauses out of 12397 with flag 9592/179975 7.35/6.48 c Got one! Elapsed wall clock time (in seconds):6.388 7.35/6.48 o 147 7.45/6.55 c cleaning 5996 clauses out of 12000 with flag 10374/185768 7.65/6.75 c cleaning 5994 clauses out of 12004 with flag 39142/191768 7.95/7.00 c cleaning 6491 clauses out of 13012 with flag 66538/198770 8.15/7.23 c Got one! Elapsed wall clock time (in seconds):7.131 8.15/7.23 o 146 8.25/7.40 c cleaning 8740 clauses out of 17490 with flag 25984/209739 8.57/7.63 c cleaning 7363 clauses out of 14750 with flag 52997/215739 8.87/7.91 c cleaning 7192 clauses out of 14390 with flag 86975/222742 9.17/8.22 c cleaning 7596 clauses out of 15194 with flag 127101/230738 9.17/8.23 c Got one! Elapsed wall clock time (in seconds):8.139 9.17/8.23 o 143 9.27/8.40 c cleaning 6299 clauses out of 12603 with flag 26425/235743 9.49/8.59 c cleaning 6131 clauses out of 12304 with flag 54301/241743 9.79/8.80 c cleaning 6581 clauses out of 13173 with flag 86081/248743 9.99/9.07 c cleaning 7288 clauses out of 14593 with flag 124377/256744 10.10/9.16 c Got one! Elapsed wall clock time (in seconds):9.068 10.10/9.16 o 140 10.10/9.18 c Got one! Elapsed wall clock time (in seconds):9.083 10.10/9.18 o 134 10.20/9.23 c Got one! Elapsed wall clock time (in seconds):9.135 10.20/9.23 o 133 10.30/9.31 c cleaning 7035 clauses out of 14074 with flag 8749/263513 10.30/9.38 c Got one! Elapsed wall clock time (in seconds):9.286 10.30/9.38 o 131 10.50/9.51 c cleaning 6416 clauses out of 12841 with flag 16894/269315 10.50/9.55 c Got one! Elapsed wall clock time (in seconds):9.451 10.50/9.55 o 124 10.70/9.74 c cleaning 6059 clauses out of 12131 with flag 21495/275021 10.70/9.76 c Got one! Elapsed wall clock time (in seconds):9.659 10.70/9.76 o 123 10.91/9.92 c cleaning 5636 clauses out of 11311 with flag 20592/280260 11.10/10.11 c Got one! Elapsed wall clock time (in seconds):10.009 11.10/10.11 o 120 11.10/10.14 c cleaning 5817 clauses out of 11645 with flag 4831/286230 11.30/10.34 c cleaning 5905 clauses out of 11829 with flag 34488/292231 11.50/10.53 c Got one! Elapsed wall clock time (in seconds):10.429 11.50/10.53 o 118 11.70/10.70 c cleaning 8542 clauses out of 17101 with flag 23172/303408 11.80/10.90 c cleaning 7274 clauses out of 14563 with flag 50994/309412 12.10/11.13 c cleaning 7136 clauses out of 14284 with flag 84758/316407 12.20/11.20 c Got one! Elapsed wall clock time (in seconds):11.103 12.20/11.20 o 113 12.30/11.35 c cleaning 6491 clauses out of 13000 with flag 19863/322259 12.67/11.58 c cleaning 6241 clauses out of 12510 with flag 50047/328260 13.27/11.82 c cleaning 6622 clauses out of 13268 with flag 83352/335259 13.60/12.07 c cleaning 7306 clauses out of 14646 with flag 118157/343259 14.03/12.41 c cleaning 8164 clauses out of 16340 with flag 159078/352259 14.03/12.46 c Got one! Elapsed wall clock time (in seconds):12.367 14.03/12.46 o 112 14.13/12.60 c cleaning 6720 clauses out of 13450 with flag 21045/357533 14.33/12.79 c cleaning 6360 clauses out of 12731 with flag 51499/363534 14.63/13.02 c cleaning 6664 clauses out of 13370 with flag 86118/370533 14.84/13.29 c cleaning 7346 clauses out of 14706 with flag 126079/378533 15.14/13.59 c cleaning 8170 clauses out of 16363 with flag 171393/387536 15.24/13.69 c Got one! Elapsed wall clock time (in seconds):13.595 15.24/13.69 o 105 15.34/13.71 c Got one! Elapsed wall clock time (in seconds):13.617 15.34/13.71 o 95 15.34/13.74 c Got one! Elapsed wall clock time (in seconds):13.647 15.34/13.74 o 92 15.44/13.83 c cleaning 7356 clauses out of 14731 with flag 9546/394074 15.44/13.88 c Got one! Elapsed wall clock time (in seconds):13.784 15.44/13.88 o 91 15.54/13.99 c Got one! Elapsed wall clock time (in seconds):13.89 15.54/13.99 o 90 15.64/14.03 c cleaning 6277 clauses out of 12566 with flag 5382/399265 15.84/14.24 c cleaning 6137 clauses out of 12291 with flag 32266/405267 15.95/14.35 c Got one! Elapsed wall clock time (in seconds):14.254 15.95/14.35 o 88 16.04/14.42 c cleaning 5625 clauses out of 11267 with flag 10656/410380 16.24/14.62 c cleaning 5819 clauses out of 11641 with flag 41338/416379 16.45/14.86 c cleaning 6406 clauses out of 12822 with flag 69160/423379 16.55/14.97 c Got one! Elapsed wall clock time (in seconds):14.879 16.55/14.97 o 87 16.65/15.04 c cleaning 5809 clauses out of 11638 with flag 10125/428601 16.76/15.12 c Got one! Elapsed wall clock time (in seconds):15.028 16.76/15.12 o 85 16.86/15.22 c cleaning 5537 clauses out of 11089 with flag 15693/433861 17.07/15.42 c cleaning 5761 clauses out of 11552 with flag 45601/439861 17.28/15.65 c cleaning 6383 clauses out of 12791 with flag 79876/446861 17.59/15.94 c cleaning 7196 clauses out of 14409 with flag 115915/454862 17.59/15.98 c Got one! Elapsed wall clock time (in seconds):15.881 17.59/15.98 o 84 17.79/16.14 c cleaning 6493 clauses out of 13008 with flag 26760/460657 17.99/16.34 c cleaning 6244 clauses out of 12514 with flag 57663/466656 18.20/16.56 c cleaning 6626 clauses out of 13271 with flag 91967/473657 18.49/16.82 c cleaning 7320 clauses out of 14645 with flag 129958/481657 18.79/17.15 c cleaning 8148 clauses out of 16323 with flag 172986/490655 19.20/17.56 c cleaning 9082 clauses out of 18177 with flag 228521/500657 19.20/17.59 c Got one! Elapsed wall clock time (in seconds):17.491 19.20/17.59 o 83 19.40/17.75 c cleaning 7371 clauses out of 14757 with flag 27169/506319 19.60/17.96 c cleaning 6674 clauses out of 13385 with flag 58578/512318 19.80/18.18 c cleaning 6849 clauses out of 13711 with flag 94700/519318 20.10/18.48 c cleaning 7420 clauses out of 14866 with flag 133124/527322 20.21/18.54 c Got one! Elapsed wall clock time (in seconds):18.445 20.21/18.54 o 77 20.32/18.67 c cleaning 6612 clauses out of 13237 with flag 22032/533113 20.51/18.88 c cleaning 6301 clauses out of 12625 with flag 53638/539113 20.82/19.11 c cleaning 6645 clauses out of 13323 with flag 90492/546112 21.02/19.37 c cleaning 7324 clauses out of 14677 with flag 130781/554111 21.32/19.69 c cleaning 8165 clauses out of 16356 with flag 177642/563114 21.73/20.07 c cleaning 9082 clauses out of 18188 with flag 232025/573111 22.13/20.44 c cleaning 10041 clauses out of 20106 with flag 284920/584111 22.23/20.56 c Got one! Elapsed wall clock time (in seconds):20.465 22.23/20.56 o 74 22.23/20.59 c Got one! Elapsed wall clock time (in seconds):20.49 22.23/20.59 o 68 22.33/20.62 c Got one! Elapsed wall clock time (in seconds):20.526 22.33/20.62 o 64 22.33/20.67 c cleaning 8219 clauses out of 16462 with flag 5205/590508 22.44/20.74 c Got one! Elapsed wall clock time (in seconds):20.645 22.44/20.74 o 63 22.55/20.88 c cleaning 7080 clauses out of 14186 with flag 20349/596451 22.65/20.97 c Got one! Elapsed wall clock time (in seconds):20.87 22.65/20.97 o 59 22.75/21.07 c cleaning 6241 clauses out of 12501 with flag 16171/601846 22.95/21.26 c cleaning 6111 clauses out of 12260 with flag 46991/607846 22.95/21.28 c Got one! Elapsed wall clock time (in seconds):21.185 22.95/21.28 o 58 23.16/21.44 c cleaning 5767 clauses out of 11540 with flag 27863/613237 23.36/21.64 c cleaning 5887 clauses out of 11777 with flag 52085/619241 23.56/21.87 c cleaning 6435 clauses out of 12886 with flag 79213/626237 23.56/21.89 c Got one! Elapsed wall clock time (in seconds):21.796 23.56/21.89 o 56 23.77/22.05 c cleaning 5938 clauses out of 11887 with flag 27602/631673 23.96/22.25 c cleaning 5962 clauses out of 11948 with flag 59852/637672 24.17/22.48 c cleaning 6481 clauses out of 12988 with flag 97189/644674 24.47/22.77 c cleaning 7245 clauses out of 14505 with flag 137189/652672 24.87/23.10 c cleaning 8129 clauses out of 16262 with flag 185110/661674 25.17/23.46 c cleaning 9056 clauses out of 18131 with flag 227715/671672 25.27/23.56 c Got one! Elapsed wall clock time (in seconds):23.468 25.27/23.56 o 55 25.37/23.64 c cleaning 7105 clauses out of 14241 with flag 10955/676838 25.57/23.84 c cleaning 6566 clauses out of 13140 with flag 44645/682842 25.77/24.08 c cleaning 6778 clauses out of 13571 with flag 82644/689839 26.09/24.37 c cleaning 7392 clauses out of 14792 with flag 126556/697838 26.39/24.67 c cleaning 8194 clauses out of 16403 with flag 174035/706841 26.79/25.05 c cleaning 9091 clauses out of 18208 with flag 231587/716840 26.90/25.19 c Got one! Elapsed wall clock time (in seconds):25.089 26.90/25.19 o 54 27.01/25.27 c cleaning 7517 clauses out of 15059 with flag 11274/722782 27.22/25.47 c cleaning 6763 clauses out of 13541 with flag 41371/728781 27.53/25.71 c cleaning 6877 clauses out of 13780 with flag 75976/735783 27.73/25.96 c cleaning 7429 clauses out of 14901 with flag 114746/743781 28.03/26.25 c cleaning 8222 clauses out of 16474 with flag 158839/752783 28.45/26.61 c cleaning 9105 clauses out of 18251 with flag 210359/762782 28.75/26.98 c cleaning 10053 clauses out of 20146 with flag 266711/773782 29.26/27.41 c cleaning 11039 clauses out of 22092 with flag 328956/785781 29.65/27.86 c cleaning 12018 clauses out of 24054 with flag 385950/798782 30.16/28.30 c Got one! Elapsed wall clock time (in seconds):28.207 30.16/28.30 o 51 30.36/28.53 c cleaning 14726 clauses out of 29466 with flag 30531/816212 30.57/28.77 c cleaning 10362 clauses out of 20738 with flag 65741/822210 30.87/29.03 c cleaning 8680 clauses out of 17376 with flag 106965/829210 31.18/29.33 c cleaning 8337 clauses out of 16697 with flag 153144/837211 31.50/29.66 c cleaning 8669 clauses out of 17359 with flag 204800/846210 31.89/30.02 c cleaning 9334 clauses out of 18691 with flag 262173/856211 32.30/30.42 c cleaning 10168 clauses out of 20356 with flag 322412/867210 32.70/30.87 c cleaning 11075 clauses out of 22190 with flag 390299/879212 32.90/31.03 c Got one! Elapsed wall clock time (in seconds):30.93 32.90/31.03 o 50 32.90/31.07 c cleaning 8320 clauses out of 16646 with flag 4963/884743 32.90/31.09 c Got one! Elapsed wall clock time (in seconds):30.989 32.90/31.09 o 49 33.13/31.24 c cleaning 6724 clauses out of 13463 with flag 24620/889880 33.13/31.26 c Got one! Elapsed wall clock time (in seconds):31.168 33.13/31.26 o 47 33.23/31.38 c Got one! Elapsed wall clock time (in seconds):31.283 33.23/31.38 o 46 33.33/31.45 c cleaning 6503 clauses out of 13024 with flag 11521/896165 33.53/31.65 c cleaning 6260 clauses out of 12524 with flag 42581/902168 33.74/31.90 c cleaning 6625 clauses out of 13263 with flag 76660/909167 34.04/32.15 c cleaning 7316 clauses out of 14636 with flag 112666/917166 34.35/32.47 c cleaning 8150 clauses out of 16318 with flag 153881/926165 34.45/32.51 c Got one! Elapsed wall clock time (in seconds):32.41 34.45/32.51 o 45 34.55/32.67 c cleaning 7023 clauses out of 14045 with flag 26563/932042 34.76/32.87 c cleaning 6507 clauses out of 13022 with flag 55787/938042 35.06/33.11 c cleaning 6746 clauses out of 13515 with flag 92627/945042 35.16/33.22 c Got one! Elapsed wall clock time (in seconds):33.128 35.16/33.22 o 44 35.26/33.30 c cleaning 6130 clauses out of 12270 with flag 11138/950543 35.26/33.39 c Got one! Elapsed wall clock time (in seconds):33.298 35.26/33.39 o 42 35.46/33.50 c cleaning 6006 clauses out of 12030 with flag 17203/956433 35.66/33.70 c cleaning 6004 clauses out of 12026 with flag 51097/962435 35.86/33.94 c cleaning 6499 clauses out of 13020 with flag 89152/969433 36.17/34.22 c cleaning 7247 clauses out of 14520 with flag 133916/977432 36.47/34.52 c cleaning 8135 clauses out of 16274 with flag 178714/986433 36.77/34.84 c cleaning 9061 clauses out of 18140 with flag 222372/996434 37.07/35.20 c cleaning 10041 clauses out of 20082 with flag 272878/1007437 37.18/35.28 c Got one! Elapsed wall clock time (in seconds):35.185 37.18/35.28 o 41 37.27/35.39 c cleaning 7737 clauses out of 15504 with flag 17553/1012901 37.48/35.59 c cleaning 6867 clauses out of 13767 with flag 50508/1018901 37.78/35.82 c cleaning 6925 clauses out of 13900 with flag 87655/1025901 37.98/36.10 c cleaning 7468 clauses out of 14975 with flag 130516/1033901 38.40/36.42 c cleaning 8248 clauses out of 16511 with flag 179640/1042905 38.71/36.75 c cleaning 9114 clauses out of 18260 with flag 229700/1052902 39.13/37.12 c cleaning 10065 clauses out of 20145 with flag 279514/1063902 39.55/37.53 c cleaning 11038 clauses out of 22080 with flag 336534/1075903 39.55/37.59 c Got one! Elapsed wall clock time (in seconds):37.498 39.55/37.59 o 40 39.75/37.74 c cleaning 8307 clauses out of 16630 with flag 23032/1081491 39.95/37.93 c cleaning 7154 clauses out of 14323 with flag 53882/1087491 40.16/38.16 c cleaning 7078 clauses out of 14168 with flag 87440/1094490 40.46/38.45 c cleaning 7531 clauses out of 15089 with flag 127011/1102489 40.76/38.74 c cleaning 8272 clauses out of 16558 with flag 170089/1111489 41.06/39.07 c cleaning 9128 clauses out of 18286 with flag 217164/1121489 41.46/39.45 c cleaning 10061 clauses out of 20158 with flag 273831/1132489 41.86/39.86 c cleaning 11043 clauses out of 22097 with flag 330810/1144489 42.26/40.29 c cleaning 12024 clauses out of 24054 with flag 385552/1157489 42.77/40.76 c cleaning 13009 clauses out of 26031 with flag 454279/1171491 42.87/40.89 c Got one! Elapsed wall clock time (in seconds):40.794 42.87/40.89 o 39 42.97/40.97 c cleaning 9420 clauses out of 18841 with flag 10447/1177310 43.17/41.17 c cleaning 7705 clauses out of 15422 with flag 42013/1183311 43.48/41.40 c cleaning 7353 clauses out of 14714 with flag 77069/1190308 43.68/41.67 c cleaning 7670 clauses out of 15360 with flag 116735/1198307 43.98/41.97 c cleaning 8334 clauses out of 16690 with flag 158363/1207307 44.39/42.31 c cleaning 9164 clauses out of 18355 with flag 205933/1217306 44.69/42.69 c cleaning 10088 clauses out of 20191 with flag 258846/1228306 45.10/43.09 c cleaning 11043 clauses out of 22110 with flag 315669/1240313 45.60/43.57 c cleaning 12017 clauses out of 24060 with flag 377923/1253306 46.10/44.07 c cleaning 13009 clauses out of 26044 with flag 442401/1267307 46.49/44.43 c Got one! Elapsed wall clock time (in seconds):44.329 46.49/44.43 o 38 46.69/44.65 c cleaning 14755 clauses out of 29532 with flag 27445/1283804 46.89/44.88 c cleaning 10385 clauses out of 20776 with flag 59965/1289803 47.20/45.13 c cleaning 8685 clauses out of 17394 with flag 97161/1296806 47.50/45.41 c cleaning 8342 clauses out of 16707 with flag 136384/1304804 47.80/45.70 c cleaning 8664 clauses out of 17367 with flag 178291/1313806 48.10/46.03 c cleaning 9341 clauses out of 18700 with flag 224432/1323803 48.50/46.40 c cleaning 10164 clauses out of 20359 with flag 276401/1334803 48.90/46.81 c cleaning 11087 clauses out of 22195 with flag 334993/1346803 49.31/47.23 c cleaning 12039 clauses out of 24109 with flag 394627/1359804 49.82/47.72 c cleaning 13028 clauses out of 26071 with flag 461781/1373805 50.32/48.25 c cleaning 14006 clauses out of 28041 with flag 533724/1388803 50.92/48.83 c cleaning 15009 clauses out of 30036 with flag 613152/1404804 51.02/48.95 c Got one! Elapsed wall clock time (in seconds):48.851 51.02/48.95 o 28 51.12/49.02 c cleaning 10314 clauses out of 20641 with flag 8889/1410418 51.32/49.23 c cleaning 8161 clauses out of 16329 with flag 34601/1416421 51.53/49.44 c cleaning 7575 clauses out of 15164 with flag 63952/1423417 51.83/49.71 c cleaning 7789 clauses out of 15592 with flag 101751/1431420 51.93/49.87 c Got one! Elapsed wall clock time (in seconds):49.777 51.93/49.87 o 25 52.13/50.05 c cleaning 8972 clauses out of 17960 with flag 26347/1441578 52.33/50.25 c cleaning 7489 clauses out of 14990 with flag 54632/1447580 52.55/50.46 c cleaning 7241 clauses out of 14497 with flag 84033/1454577 52.85/50.70 c cleaning 7627 clauses out of 15258 with flag 117949/1462581 53.15/51.00 c cleaning 8312 clauses out of 16627 with flag 162216/1471577 53.45/51.32 c cleaning 9145 clauses out of 18313 with flag 206412/1481578 53.75/51.68 c cleaning 10081 clauses out of 20169 with flag 255523/1492580 53.75/51.70 c Got one! Elapsed wall clock time (in seconds):51.606 53.75/51.70 o 19 53.95/51.87 c cleaning 7655 clauses out of 15324 with flag 26654/1497816 54.15/52.05 c cleaning 6834 clauses out of 13667 with flag 54886/1503816 54.36/52.26 c cleaning 6915 clauses out of 13830 with flag 86014/1510816 54.57/52.43 c starts : 314 54.57/52.43 c conflicts : 1516109 54.57/52.43 c decisions : 2432230 54.57/52.43 c propagations : 35490877 54.57/52.43 c inspects : 369147689 54.57/52.43 c shortcuts : 0 54.57/52.43 c learnt literals : 34 54.57/52.43 c learnt binary clauses : 42 54.57/52.43 c learnt ternary clauses : 1511 54.57/52.43 c learnt constraints : 1516074 54.57/52.43 c ignored constraints : 0 54.57/52.43 c root simplifications : 0 54.57/52.43 c removed literals (reason simplification) : 0 54.57/52.43 c reason swapping (by a shorter reason) : 0 54.57/52.43 c Calls to reduceDB : 193 54.57/52.43 c Number of update (reduction) of LBD : 456702 54.57/52.43 c number of reductions to clauses (during analyze) : 0 54.57/52.43 c number of learned constraints concerned by reduction : 0 54.57/52.43 c number of learning phase by resolution : 0 54.57/52.43 c number of learning phase by cutting planes : 0 54.57/52.43 c speed (assignments/second) : 678952.3654659193 54.57/52.43 c non guided choices 6350 54.57/52.43 c learnt constraints type 54.57/52.43 c constraints type 54.57/52.43 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 54.57/52.43 c ignored satisfied constraints => 1 54.57/52.43 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 54.57/52.43 c 102 constraints processed. 54.57/52.43 s OPTIMUM FOUND 54.57/52.43 v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 54.57/52.43 c objective function=19 54.57/52.43 c Total wall clock time (in seconds): 52.331
OK 19
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-3718425-1338254201/watcher-3718425-1338254201 -o /tmp/evaluation-result-3718425-1338254201/solver-3718425-1338254201 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718425-1338254201.wbo running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.13 2.04 2.01 2/194 1262 /proc/meminfo: memFree=29957832/32873648 swapFree=7116/7116 [pid=1262] ppid=1260 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/1262/stat : 1262 (java) R 1260 1262 30566 0 -1 4202496 677 0 0 0 0 0 0 0 20 0 1 0 291547433 23793664 406 33554432000 1073741824 1073778376 140737242781616 140737242770680 219504753217 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/1262/statm: 5809 420 321 9 0 128 0 [pid=1262/tid=1263] ppid=1260 vsize=91816 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (java) D 1260 1262 30566 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 291547434 94019584 917 33554432000 1073741824 1073778376 140737242781616 139830478147112 219504799015 0 0 4096 0 18446744072100609316 0 0 -1 3 0 0 0 0 0 [startup+0.0428419 s] /proc/loadavg: 2.13 2.04 2.01 2/194 1262 /proc/meminfo: memFree=29957832/32873648 swapFree=7116/7116 [pid=1262] ppid=1260 vsize=9225560 CPUtime=0.02 cores=1,3,5,7 /proc/1262/stat : 1262 (java) S 1260 1262 30566 0 -1 4202496 3078 0 1 0 2 0 0 0 20 0 13 0 291547433 9446973440 3776 33554432000 1073741824 1073778376 140737242781616 140737242772752 219517321277 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1262/statm: 2306390 3776 1708 9 0 2297091 0 [pid=1262/tid=1263] ppid=1260 vsize=9225560 CPUtime=0.02 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (java) R 1260 1262 30566 0 -1 4202560 1897 0 1 0 2 0 0 0 20 0 13 0 291547434 9446973440 3776 33554432000 1073741824 1073778376 140737242781616 139830478149352 219513589652 0 4 0 16800971 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9225560 [startup+0.100233 s] /proc/loadavg: 2.13 2.04 2.01 2/194 1262 /proc/meminfo: memFree=29957832/32873648 swapFree=7116/7116 [pid=1262] ppid=1260 vsize=9558416 CPUtime=0.11 cores=1,3,5,7 /proc/1262/stat : 1262 (java) S 1260 1262 30566 0 -1 4202496 4479 0 1 0 10 1 0 0 20 0 18 0 291547433 9787817984 6143 33554432000 1073741824 1073778376 140737242781616 140737242772752 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1262/statm: 2389604 6143 2144 9 0 2380296 0 [pid=1262/tid=1263] ppid=1260 vsize=9558416 CPUtime=0.07 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (java) R 1260 1262 30566 0 -1 4202560 2436 0 1 0 6 1 0 0 20 0 18 0 291547434 9787817984 6143 33554432000 1073741824 1073778376 140737242781616 139830478150424 219517347085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558416 [startup+0.300247 s] /proc/loadavg: 2.13 2.04 2.01 2/194 1262 /proc/meminfo: memFree=29957832/32873648 swapFree=7116/7116 [pid=1262] ppid=1260 vsize=9624980 CPUtime=0.52 cores=1,3,5,7 /proc/1262/stat : 1262 (java) S 1260 1262 30566 0 -1 4202496 6750 0 1 0 49 3 0 0 20 0 19 0 291547433 9855979520 7928 33554432000 1073741824 1073778376 140737242781616 140737242772752 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1262/statm: 2406245 7928 2233 9 0 2396937 0 [pid=1262/tid=1263] ppid=1260 vsize=9624980 CPUtime=0.27 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (java) R 1260 1262 30566 0 -1 4202560 2456 0 1 0 26 1 0 0 20 0 19 0 291547434 9855979520 7928 33554432000 1073741824 1073778376 140737242781616 139830478152464 219517346989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9624980 [startup+0.700307 s] /proc/loadavg: 2.13 2.04 2.01 2/194 1262 /proc/meminfo: memFree=29957832/32873648 swapFree=7116/7116 [pid=1262] ppid=1260 vsize=9626396 CPUtime=1.24 cores=1,3,5,7 /proc/1262/stat : 1262 (java) S 1260 1262 30566 0 -1 4202496 11507 0 1 0 120 4 0 0 20 0 19 0 291547433 9857429504 12882 33554432000 1073741824 1073778376 140737242781616 140737242772752 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1262/statm: 2406599 12900 2266 9 0 2397291 0 [pid=1262/tid=1263] ppid=1260 vsize=9626396 CPUtime=0.67 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (java) S 1260 1262 30566 0 -1 4202560 2460 0 1 0 65 2 0 0 20 0 19 0 291547434 9857429504 12908 33554432000 1073741824 1073778376 140737242781616 139830478152088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.24 Current children cumulated vsize (KiB) 9626396 [startup+1.50063 s] /proc/loadavg: 2.13 2.04 2.01 3/213 1281 /proc/meminfo: memFree=29896128/32873648 swapFree=7116/7116 [pid=1262] ppid=1260 vsize=9624980 CPUtime=2.23 cores=1,3,5,7 /proc/1262/stat : 1262 (java) S 1260 1262 30566 0 -1 4202496 16583 0 1 0 218 5 0 0 20 0 19 0 291547433 9855979520 17560 33554432000 1073741824 1073778376 140737242781616 140737242772752 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1262/statm: 2406245 17560 2272 9 0 2396937 0 [pid=1262/tid=1263] ppid=1260 vsize=9624980 CPUtime=1.44 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (java) R 1260 1262 30566 0 -1 4202560 2462 0 1 0 142 2 0 0 20 0 19 0 291547434 9855979520 17560 33554432000 1073741824 1073778376 140737242781616 139830478151968 139830327574400 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (java) S 1260 1262 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291547434 9855979520 17560 33554432000 1073741824 1073778376 140737242781616 139830450604328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1266] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1266/stat : 1266 (java) S 1260 1262 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291547434 9855979520 17560 33554432000 1073741824 1073778376 140737242781616 139830449551528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1267] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1267/stat : 1267 (java) S 1260 1262 30566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291547434 9855979520 17560 33554432000 1073741824 1073778376 140737242781616 139830448499240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1268] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1268/stat : 1268 (java) S 1260 1262 30566 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291547434 9855979520 17560 33554432000 1073741824 1073778376 140737242781616 139830447446440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1269] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1269/stat : 1269 (java) S 1260 1262 30566 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291547434 9855979520 17560 33554432000 1073741824 1073778376 140737242781616 139830446394152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1270] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1270/stat : 1270 (java) S 1260 1262 30566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291547434 9855979520 17560 33554432000 1073741824 1073778376 140737242781616 139830316542632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1271] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1271/stat : 1271 (java) S 1260 1262 30566 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291547434 9855979520 17560 33554432000 1073741824 1073778376 140737242781616 139830315490344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1262/tid=1272] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1272/stat : 1272 (java) S 1260 1262 30566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291547434 9855979520 17560 33554432000 1073741824 1073778376 140737242781616 139830314437544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1262/tid=1273] ppid=1260 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/1262/task/1273/stat : 1273 (java) S 1260 1262 30566 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 291547435 9855979520 17560 33554432000 1073741824 1073778376 140737242781616 139829831489768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1274] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1274/stat : 1274 (java) S 1260 1262 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291547436 9855979520 17560 33554432000 1073741824 1073778376 140737242781616 139829830435832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1275] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1275/stat : 1275 (java) S 1260 1262 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291547436 9855979520 17560 33554432000 1073741824 1073778376 140737242781616 139829829383432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1276] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1276/stat : 1276 (java) S 1260 1262 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291547438 9855979520 17560 33554432000 1073741824 1073778376 140737242781616 139829828331920 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1277] ppid=1260 vsize=9624980 CPUtime=0.4 cores=1,3,5,7 /proc/1262/task/1277/stat : 1277 (java) S 1260 1262 30566 0 -1 4202560 8530 0 0 0 38 2 0 0 20 0 19 0 291547438 9855979520 17560 33554432000 1073741824 1073778376 140737242781616 139829827279544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1278] ppid=1260 vsize=9624980 CPUtime=0.3 cores=1,3,5,7 /proc/1262/task/1278/stat : 1278 (java) S 1260 1262 30566 0 -1 4202560 4340 0 0 0 29 1 0 0 20 0 19 0 291547438 9855979520 17560 33554432000 1073741824 1073778376 140737242781616 139829826226744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1279] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1279/stat : 1279 (java) S 1260 1262 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291547438 9855979520 17560 33554432000 1073741824 1073778376 140737242781616 139829825174648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1280] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1280/stat : 1280 (java) S 1260 1262 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291547438 9855979520 17560 33554432000 1073741824 1073778376 140737242781616 139829824122056 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1281] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1281/stat : 1281 (java) S 1260 1262 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291547449 9855979520 17560 33554432000 1073741824 1073778376 140737242781616 139829823067048 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.23 Current children cumulated vsize (KiB) 9624980 [startup+3.10064 s] /proc/loadavg: 2.13 2.04 2.01 3/213 1281 /proc/meminfo: memFree=29895756/32873648 swapFree=7116/7116 [pid=1262] ppid=1260 vsize=9624980 CPUtime=3.95 cores=1,3,5,7 /proc/1262/stat : 1262 (java) S 1260 1262 30566 0 -1 4202496 16598 0 1 0 390 5 0 0 20 0 19 0 291547433 9855979520 17568 33554432000 1073741824 1073778376 140737242781616 140737242772752 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1262/statm: 2406245 17568 2272 9 0 2396937 0 [pid=1262/tid=1263] ppid=1260 vsize=9624980 CPUtime=2.94 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (java) R 1260 1262 30566 0 -1 4202560 2469 0 1 0 292 2 0 0 20 0 19 0 291547434 9855979520 17568 33554432000 1073741824 1073778376 140737242781616 139830478152088 139830327937250 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (java) S 1260 1262 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291547434 9855979520 17568 33554432000 1073741824 1073778376 140737242781616 139830450604328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1266] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1266/stat : 1266 (java) S 1260 1262 30566 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291547434 9855979520 17568 33554432000 1073741824 1073778376 140737242781616 139830449551528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1267] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1267/stat : 1267 (java) S 1260 1262 30566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291547434 9855979520 17568 33554432000 1073741824 1073778376 140737242781616 139830448499240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1262/tid=1268] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1268/stat : 1268 (java) S 1260 1262 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291547434 9855979520 17568 33554432000 1073741824 1073778376 140737242781616 139830447446440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1269] ppid=1260 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/1262/task/1269/stat : 1269 (java) S 1260 1262 30566 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291547434 9855979520 17568 33554432000 1073741824 1073778376 140737242781616 139830446394152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1270] ppid=1260 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/1262/task/1270/stat : 1270 (java) S 1260 1262 30566 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 291547434 9855979520 17568 33554432000 1073741824 1073778376 140737242781616 139830316542632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1271] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1271/stat : 1271 (java) S 1260 1262 30566 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291547434 9855979520 17568 33554432000 1073741824 1073778376 140737242781616 139830315490344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1272] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1272/stat : 1272 (java) S 1260 1262 30566 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291547434 9855979520 17568 33554432000 1073741824 1073778376 140737242781616 139830314437544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1273] ppid=1260 vsize=9624980 CPUtime=0.08 cores=1,3,5,7 /proc/1262/task/1273/stat : 1273 (java) S 1260 1262 30566 0 -1 4202560 31 0 0 0 8 0 0 0 20 0 19 0 291547435 9855979520 17568 33554432000 1073741824 1073778376 140737242781616 139829831489768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1274] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1274/stat : 1274 (java) S 1260 1262 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291547436 9855979520 17568 33554432000 1073741824 1073778376 140737242781616 139829830435832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1275] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1275/stat : 1275 (java) S 1260 1262 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291547436 9855979520 17568 33554432000 1073741824 1073778376 140737242781616 139829829383432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1276] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1276/stat : 1276 (java) S 1260 1262 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291547438 9855979520 17568 33554432000 1073741824 1073778376 140737242781616 139829828331920 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1277] ppid=1260 vsize=9624980 CPUtime=0.45 cores=1,3,5,7 /proc/1262/task/1277/stat : 1277 (java) S 1260 1262 30566 0 -1 4202560 8530 0 0 0 42 3 0 0 20 0 19 0 291547438 9855979520 17568 33554432000 1073741824 1073778376 140737242781616 139829827279544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1278] ppid=1260 vsize=9624980 CPUtime=0.32 cores=1,3,5,7 /proc/1262/task/1278/stat : 1278 (java) S 1260 1262 30566 0 -1 4202560 4340 0 0 0 31 1 0 0 20 0 19 0 291547438 9855979520 17568 33554432000 1073741824 1073778376 140737242781616 139829826226744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1279] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1279/stat : 1279 (java) S 1260 1262 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291547438 9855979520 17568 33554432000 1073741824 1073778376 140737242781616 139829825174648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1280] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1280/stat : 1280 (java) S 1260 1262 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291547438 9855979520 17568 33554432000 1073741824 1073778376 140737242781616 139829824122056 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1281] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1281/stat : 1281 (java) S 1260 1262 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291547449 9855979520 17568 33554432000 1073741824 1073778376 140737242781616 139829823067048 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.95 Current children cumulated vsize (KiB) 9624980 [startup+6.30073 s] /proc/loadavg: 2.12 2.04 2.01 3/213 1281 /proc/meminfo: memFree=29892784/32873648 swapFree=7116/7116 [pid=1262] ppid=1260 vsize=9624980 CPUtime=7.24 cores=1,3,5,7 /proc/1262/stat : 1262 (java) S 1260 1262 30566 0 -1 4202496 16628 0 1 0 718 6 0 0 20 0 19 0 291547433 9855979520 17294 33554432000 1073741824 1073778376 140737242781616 140737242772752 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1262/statm: 2406245 17294 2273 9 0 2396937 0 [pid=1262/tid=1263] ppid=1260 vsize=9624980 CPUtime=5.98 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (java) R 1260 1262 30566 0 -1 4202560 2486 0 1 0 596 2 0 0 20 0 19 0 291547434 9855979520 17294 33554432000 1073741824 1073778376 140737242781616 139830478152088 139830327951440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (java) S 1260 1262 30566 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 291547434 9855979520 17294 33554432000 1073741824 1073778376 140737242781616 139830450604328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1266] ppid=1260 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/1262/task/1266/stat : 1266 (java) S 1260 1262 30566 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 291547434 9855979520 17294 33554432000 1073741824 1073778376 140737242781616 139830449551528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1267] ppid=1260 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/1262/task/1267/stat : 1267 (java) S 1260 1262 30566 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 291547434 9855979520 17294 33554432000 1073741824 1073778376 140737242781616 139830448499240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1268] ppid=1260 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/1262/task/1268/stat : 1268 (java) S 1260 1262 30566 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291547434 9855979520 17294 33554432000 1073741824 1073778376 140737242781616 139830447446440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1269] ppid=1260 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/1262/task/1269/stat : 1269 (java) S 1260 1262 30566 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291547434 9855979520 17294 33554432000 1073741824 1073778376 140737242781616 139830446394152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1270] ppid=1260 vsize=9624980 CPUtime=0.02 cores=1,3,5,7 /proc/1262/task/1270/stat : 1270 (java) S 1260 1262 30566 0 -1 4202560 3 0 0 0 2 0 0 0 20 0 19 0 291547434 9855979520 17294 33554432000 1073741824 1073778376 140737242781616 139830316542632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1271] ppid=1260 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/1262/task/1271/stat : 1271 (java) S 1260 1262 30566 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 291547434 9855979520 17294 33554432000 1073741824 1073778376 140737242781616 139830315490344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1262/tid=1272] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1272/stat : 1272 (java) S 1260 1262 30566 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291547434 9855979520 17294 33554432000 1073741824 1073778376 140737242781616 139830314437544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1262/tid=1273] ppid=1260 vsize=9624980 CPUtime=0.21 cores=1,3,5,7 /proc/1262/task/1273/stat : 1273 (java) S 1260 1262 30566 0 -1 4202560 31 0 0 0 21 0 0 0 20 0 19 0 291547435 9855979520 17294 33554432000 1073741824 1073778376 140737242781616 139829831489768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1274] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1274/stat : 1274 (java) S 1260 1262 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291547436 9855979520 17294 33554432000 1073741824 1073778376 140737242781616 139829830435832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1275] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1275/stat : 1275 (java) S 1260 1262 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291547436 9855979520 17294 33554432000 1073741824 1073778376 140737242781616 139829829383432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1276] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1276/stat : 1276 (java) S 1260 1262 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291547438 9855979520 17294 33554432000 1073741824 1073778376 140737242781616 139829828331920 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1277] ppid=1260 vsize=9624980 CPUtime=0.49 cores=1,3,5,7 /proc/1262/task/1277/stat : 1277 (java) S 1260 1262 30566 0 -1 4202560 8531 0 0 0 46 3 0 0 20 0 19 0 291547438 9855979520 17294 33554432000 1073741824 1073778376 140737242781616 139829827279544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1278] ppid=1260 vsize=9624980 CPUtime=0.33 cores=1,3,5,7 /proc/1262/task/1278/stat : 1278 (java) S 1260 1262 30566 0 -1 4202560 4346 0 0 0 32 1 0 0 20 0 19 0 291547438 9855979520 17294 33554432000 1073741824 1073778376 140737242781616 139829826226744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 ################ # More data... # ################ /proc/1262/task/1266/stat : 1266 (java) S 1260 1262 30566 0 -1 4202560 18 0 0 0 10 0 0 0 20 0 19 0 291547434 9855979520 16578 33554432000 1073741824 1073778376 140737242781616 139830449551528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1267] ppid=1260 vsize=9624980 CPUtime=0.11 cores=1,3,5,7 /proc/1262/task/1267/stat : 1267 (java) S 1260 1262 30566 0 -1 4202560 9 0 0 0 10 1 0 0 20 0 19 0 291547434 9855979520 16578 33554432000 1073741824 1073778376 140737242781616 139830448499240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1268] ppid=1260 vsize=9624980 CPUtime=0.13 cores=1,3,5,7 /proc/1262/task/1268/stat : 1268 (java) S 1260 1262 30566 0 -1 4202560 15 0 0 0 13 0 0 0 20 0 19 0 291547434 9855979520 16578 33554432000 1073741824 1073778376 140737242781616 139830447446440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1262/tid=1269] ppid=1260 vsize=9624980 CPUtime=0.12 cores=1,3,5,7 /proc/1262/task/1269/stat : 1269 (java) S 1260 1262 30566 0 -1 4202560 18 0 0 0 12 0 0 0 20 0 19 0 291547434 9855979520 16578 33554432000 1073741824 1073778376 140737242781616 139830446394152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1262/tid=1270] ppid=1260 vsize=9624980 CPUtime=0.12 cores=1,3,5,7 /proc/1262/task/1270/stat : 1270 (java) S 1260 1262 30566 0 -1 4202560 10 0 0 0 12 0 0 0 20 0 19 0 291547434 9855979520 16578 33554432000 1073741824 1073778376 140737242781616 139830316542632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1262/tid=1271] ppid=1260 vsize=9624980 CPUtime=0.12 cores=1,3,5,7 /proc/1262/task/1271/stat : 1271 (java) S 1260 1262 30566 0 -1 4202560 23 0 0 0 12 0 0 0 20 0 19 0 291547434 9855979520 16578 33554432000 1073741824 1073778376 140737242781616 139830315490344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1272] ppid=1260 vsize=9624980 CPUtime=0.11 cores=1,3,5,7 /proc/1262/task/1272/stat : 1272 (java) S 1260 1262 30566 0 -1 4202560 9 0 0 0 11 0 0 0 20 0 19 0 291547434 9855979520 16578 33554432000 1073741824 1073778376 140737242781616 139830314437544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1273] ppid=1260 vsize=9624980 CPUtime=1.79 cores=1,3,5,7 /proc/1262/task/1273/stat : 1273 (java) S 1260 1262 30566 0 -1 4202560 67 0 0 0 179 0 0 0 20 0 19 0 291547435 9855979520 16578 33554432000 1073741824 1073778376 140737242781616 139829831489768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1274] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1274/stat : 1274 (java) S 1260 1262 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291547436 9855979520 16578 33554432000 1073741824 1073778376 140737242781616 139829830435832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1275] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1275/stat : 1275 (java) S 1260 1262 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291547436 9855979520 16578 33554432000 1073741824 1073778376 140737242781616 139829829383432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1276] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1276/stat : 1276 (java) S 1260 1262 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291547438 9855979520 16578 33554432000 1073741824 1073778376 140737242781616 139829828331920 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1277] ppid=1260 vsize=9624980 CPUtime=0.55 cores=1,3,5,7 /proc/1262/task/1277/stat : 1277 (java) S 1260 1262 30566 0 -1 4202560 8531 0 0 0 52 3 0 0 20 0 19 0 291547438 9855979520 16578 33554432000 1073741824 1073778376 140737242781616 139829827279544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1278] ppid=1260 vsize=9624980 CPUtime=0.98 cores=1,3,5,7 /proc/1262/task/1278/stat : 1278 (java) S 1260 1262 30566 0 -1 4202560 11831 0 0 0 95 3 0 0 20 0 19 0 291547438 9855979520 16578 33554432000 1073741824 1073778376 140737242781616 139829826226744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1279] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1279/stat : 1279 (java) S 1260 1262 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291547438 9855979520 16578 33554432000 1073741824 1073778376 140737242781616 139829825174648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1280] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1280/stat : 1280 (java) S 1260 1262 30566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291547438 9855979520 16578 33554432000 1073741824 1073778376 140737242781616 139829824122056 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1281] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1281/stat : 1281 (java) S 1260 1262 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291547449 9855979520 16578 33554432000 1073741824 1073778376 140737242781616 139829823067048 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 53.25 Current children cumulated vsize (KiB) 9624980 Solver just ended. Dumping a history of the last processes samples [startup+51.9006 s] /proc/loadavg: 2.06 2.03 2.01 3/213 1281 /proc/meminfo: memFree=29893868/32873648 swapFree=7116/7116 [pid=1262] ppid=1260 vsize=9624980 CPUtime=54.05 cores=1,3,5,7 /proc/1262/stat : 1262 (java) S 1260 1262 30566 0 -1 4202496 24380 0 1 0 5392 13 0 0 20 0 19 0 291547433 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 140737242772752 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1262/statm: 2406245 16581 2276 9 0 2396937 0 [pid=1262/tid=1263] ppid=1260 vsize=9624980 CPUtime=49.66 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (java) R 1260 1262 30566 0 -1 4202560 2650 0 1 0 4963 3 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830478152088 139830327992514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=9624980 CPUtime=0.11 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (java) S 1260 1262 30566 0 -1 4202560 13 0 0 0 11 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830450604328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1266] ppid=1260 vsize=9624980 CPUtime=0.1 cores=1,3,5,7 /proc/1262/task/1266/stat : 1266 (java) S 1260 1262 30566 0 -1 4202560 18 0 0 0 10 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830449551528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1267] ppid=1260 vsize=9624980 CPUtime=0.11 cores=1,3,5,7 /proc/1262/task/1267/stat : 1267 (java) S 1260 1262 30566 0 -1 4202560 9 0 0 0 10 1 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830448499240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1268] ppid=1260 vsize=9624980 CPUtime=0.13 cores=1,3,5,7 /proc/1262/task/1268/stat : 1268 (java) S 1260 1262 30566 0 -1 4202560 15 0 0 0 13 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830447446440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1262/tid=1269] ppid=1260 vsize=9624980 CPUtime=0.12 cores=1,3,5,7 /proc/1262/task/1269/stat : 1269 (java) S 1260 1262 30566 0 -1 4202560 18 0 0 0 12 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830446394152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1270] ppid=1260 vsize=9624980 CPUtime=0.12 cores=1,3,5,7 /proc/1262/task/1270/stat : 1270 (java) S 1260 1262 30566 0 -1 4202560 10 0 0 0 12 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830316542632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1262/tid=1271] ppid=1260 vsize=9624980 CPUtime=0.12 cores=1,3,5,7 /proc/1262/task/1271/stat : 1271 (java) S 1260 1262 30566 0 -1 4202560 24 0 0 0 12 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830315490344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1272] ppid=1260 vsize=9624980 CPUtime=0.11 cores=1,3,5,7 /proc/1262/task/1272/stat : 1272 (java) S 1260 1262 30566 0 -1 4202560 11 0 0 0 11 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830314437544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1273] ppid=1260 vsize=9624980 CPUtime=1.82 cores=1,3,5,7 /proc/1262/task/1273/stat : 1273 (java) S 1260 1262 30566 0 -1 4202560 67 0 0 0 182 0 0 0 20 0 19 0 291547435 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829831489768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1274] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1274/stat : 1274 (java) S 1260 1262 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291547436 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829830435832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1275] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1275/stat : 1275 (java) S 1260 1262 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291547436 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829829383432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1276] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1276/stat : 1276 (java) S 1260 1262 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291547438 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829828331920 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1277] ppid=1260 vsize=9624980 CPUtime=0.55 cores=1,3,5,7 /proc/1262/task/1277/stat : 1277 (java) S 1260 1262 30566 0 -1 4202560 8531 0 0 0 52 3 0 0 20 0 19 0 291547438 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829827279544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1278] ppid=1260 vsize=9624980 CPUtime=0.98 cores=1,3,5,7 /proc/1262/task/1278/stat : 1278 (java) S 1260 1262 30566 0 -1 4202560 11831 0 0 0 95 3 0 0 20 0 19 0 291547438 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829826226744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1279] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1279/stat : 1279 (java) S 1260 1262 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291547438 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829825174648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1280] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1280/stat : 1280 (java) S 1260 1262 30566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291547438 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829824122056 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1281] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1281/stat : 1281 (java) S 1260 1262 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291547449 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829823067048 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 54.05 Current children cumulated vsize (KiB) 9624980 [startup+52.3006 s] /proc/loadavg: 2.06 2.03 2.01 3/213 1281 /proc/meminfo: memFree=29893868/32873648 swapFree=7116/7116 [pid=1262] ppid=1260 vsize=9624980 CPUtime=54.47 cores=1,3,5,7 /proc/1262/stat : 1262 (java) S 1260 1262 30566 0 -1 4202496 24382 0 1 0 5434 13 0 0 20 0 19 0 291547433 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 140737242772752 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1262/statm: 2406245 16581 2276 9 0 2396937 0 [pid=1262/tid=1263] ppid=1260 vsize=9624980 CPUtime=50.03 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (java) R 1260 1262 30566 0 -1 4202560 2652 0 1 0 5000 3 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830478151928 139830328158083 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=9624980 CPUtime=0.12 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (java) S 1260 1262 30566 0 -1 4202560 13 0 0 0 12 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830450604328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1266] ppid=1260 vsize=9624980 CPUtime=0.1 cores=1,3,5,7 /proc/1262/task/1266/stat : 1266 (java) S 1260 1262 30566 0 -1 4202560 18 0 0 0 10 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830449551528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1267] ppid=1260 vsize=9624980 CPUtime=0.11 cores=1,3,5,7 /proc/1262/task/1267/stat : 1267 (java) S 1260 1262 30566 0 -1 4202560 9 0 0 0 10 1 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830448499240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1268] ppid=1260 vsize=9624980 CPUtime=0.13 cores=1,3,5,7 /proc/1262/task/1268/stat : 1268 (java) S 1260 1262 30566 0 -1 4202560 15 0 0 0 13 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830447446440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1262/tid=1269] ppid=1260 vsize=9624980 CPUtime=0.12 cores=1,3,5,7 /proc/1262/task/1269/stat : 1269 (java) S 1260 1262 30566 0 -1 4202560 18 0 0 0 12 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830446394152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1270] ppid=1260 vsize=9624980 CPUtime=0.12 cores=1,3,5,7 /proc/1262/task/1270/stat : 1270 (java) S 1260 1262 30566 0 -1 4202560 10 0 0 0 12 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830316542632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1262/tid=1271] ppid=1260 vsize=9624980 CPUtime=0.12 cores=1,3,5,7 /proc/1262/task/1271/stat : 1271 (java) S 1260 1262 30566 0 -1 4202560 24 0 0 0 12 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830315490344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1272] ppid=1260 vsize=9624980 CPUtime=0.11 cores=1,3,5,7 /proc/1262/task/1272/stat : 1272 (java) S 1260 1262 30566 0 -1 4202560 11 0 0 0 11 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830314437544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1273] ppid=1260 vsize=9624980 CPUtime=1.84 cores=1,3,5,7 /proc/1262/task/1273/stat : 1273 (java) S 1260 1262 30566 0 -1 4202560 67 0 0 0 184 0 0 0 20 0 19 0 291547435 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829831489768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1274] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1274/stat : 1274 (java) S 1260 1262 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291547436 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829830435832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1275] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1275/stat : 1275 (java) S 1260 1262 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291547436 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829829383432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1276] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1276/stat : 1276 (java) S 1260 1262 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291547438 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829828331920 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1277] ppid=1260 vsize=9624980 CPUtime=0.55 cores=1,3,5,7 /proc/1262/task/1277/stat : 1277 (java) S 1260 1262 30566 0 -1 4202560 8531 0 0 0 52 3 0 0 20 0 19 0 291547438 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829827279544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1278] ppid=1260 vsize=9624980 CPUtime=0.98 cores=1,3,5,7 /proc/1262/task/1278/stat : 1278 (java) S 1260 1262 30566 0 -1 4202560 11831 0 0 0 95 3 0 0 20 0 19 0 291547438 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829826226744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1279] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1279/stat : 1279 (java) S 1260 1262 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291547438 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829825174648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1280] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1280/stat : 1280 (java) S 1260 1262 30566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291547438 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829824122056 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1281] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1281/stat : 1281 (java) S 1260 1262 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291547449 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829823067048 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 54.47 Current children cumulated vsize (KiB) 9624980 [startup+52.4007 s] /proc/loadavg: 2.06 2.03 2.01 3/213 1281 /proc/meminfo: memFree=29893868/32873648 swapFree=7116/7116 [pid=1262] ppid=1260 vsize=9624980 CPUtime=54.57 cores=1,3,5,7 /proc/1262/stat : 1262 (java) S 1260 1262 30566 0 -1 4202496 24382 0 1 0 5444 13 0 0 20 0 19 0 291547433 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 140737242772752 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1262/statm: 2406245 16581 2276 9 0 2396937 0 [pid=1262/tid=1263] ppid=1260 vsize=9624980 CPUtime=50.13 cores=1,3,5,7 /proc/1262/task/1263/stat : 1263 (java) R 1260 1262 30566 0 -1 4202560 2652 0 1 0 5010 3 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830478151968 139830327937353 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1262/tid=1265] ppid=1260 vsize=9624980 CPUtime=0.12 cores=1,3,5,7 /proc/1262/task/1265/stat : 1265 (java) S 1260 1262 30566 0 -1 4202560 13 0 0 0 12 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830450604328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1266] ppid=1260 vsize=9624980 CPUtime=0.1 cores=1,3,5,7 /proc/1262/task/1266/stat : 1266 (java) S 1260 1262 30566 0 -1 4202560 18 0 0 0 10 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830449551528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1267] ppid=1260 vsize=9624980 CPUtime=0.11 cores=1,3,5,7 /proc/1262/task/1267/stat : 1267 (java) S 1260 1262 30566 0 -1 4202560 9 0 0 0 10 1 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830448499240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1268] ppid=1260 vsize=9624980 CPUtime=0.13 cores=1,3,5,7 /proc/1262/task/1268/stat : 1268 (java) S 1260 1262 30566 0 -1 4202560 15 0 0 0 13 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830447446440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1262/tid=1269] ppid=1260 vsize=9624980 CPUtime=0.12 cores=1,3,5,7 /proc/1262/task/1269/stat : 1269 (java) S 1260 1262 30566 0 -1 4202560 18 0 0 0 12 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830446394152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1270] ppid=1260 vsize=9624980 CPUtime=0.12 cores=1,3,5,7 /proc/1262/task/1270/stat : 1270 (java) S 1260 1262 30566 0 -1 4202560 10 0 0 0 12 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830316542632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1262/tid=1271] ppid=1260 vsize=9624980 CPUtime=0.12 cores=1,3,5,7 /proc/1262/task/1271/stat : 1271 (java) S 1260 1262 30566 0 -1 4202560 24 0 0 0 12 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830315490344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1272] ppid=1260 vsize=9624980 CPUtime=0.11 cores=1,3,5,7 /proc/1262/task/1272/stat : 1272 (java) S 1260 1262 30566 0 -1 4202560 11 0 0 0 11 0 0 0 20 0 19 0 291547434 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139830314437544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1273] ppid=1260 vsize=9624980 CPUtime=1.84 cores=1,3,5,7 /proc/1262/task/1273/stat : 1273 (java) S 1260 1262 30566 0 -1 4202560 67 0 0 0 184 0 0 0 20 0 19 0 291547435 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829831489768 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1274] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1274/stat : 1274 (java) S 1260 1262 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291547436 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829830435832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1275] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1275/stat : 1275 (java) S 1260 1262 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291547436 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829829383432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1276] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1276/stat : 1276 (java) S 1260 1262 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291547438 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829828331920 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1262/tid=1277] ppid=1260 vsize=9624980 CPUtime=0.55 cores=1,3,5,7 /proc/1262/task/1277/stat : 1277 (java) S 1260 1262 30566 0 -1 4202560 8531 0 0 0 52 3 0 0 20 0 19 0 291547438 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829827279544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1278] ppid=1260 vsize=9624980 CPUtime=0.98 cores=1,3,5,7 /proc/1262/task/1278/stat : 1278 (java) S 1260 1262 30566 0 -1 4202560 11831 0 0 0 95 3 0 0 20 0 19 0 291547438 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829826226744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1279] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1279/stat : 1279 (java) S 1260 1262 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291547438 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829825174648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1262/tid=1280] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1280/stat : 1280 (java) S 1260 1262 30566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291547438 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829824122056 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1262/tid=1281] ppid=1260 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1262/task/1281/stat : 1281 (java) S 1260 1262 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291547449 9855979520 16581 33554432000 1073741824 1073778376 140737242781616 139829823067048 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 54.57 Current children cumulated vsize (KiB) 9624980 Child status: 30 Real time (s): 52.4354 CPU time (s): 54.7157 CPU user time (s): 54.4847 CPU system time (s): 0.230964 CPU usage (%): 104.349 Max. virtual memory (cumulated for all children) (KiB): 9626396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 54.4847 system time used= 0.230964 maximum resident set size= 85588 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24400 page faults= 1 swaps= 0 block input operations= 0 block output operations= 104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6293 involuntary context switches= 4864 runsolver used 0.105983 second user time and 0.231964 second system time The end
Begin job on node114 at 2012-05-29 03:16:41 IDJOB=3718425 IDBENCH=79225 IDSOLVER=2301 FILE ID=node114/3718425-1338254201 RUNJOBID= node114-1338248715-32682 PBS_JOBID= 14624648 Free space on /tmp= 71464 MiB SOLVER NAME= Sat4j PB 2012-05-28 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718425-1338254201/watcher-3718425-1338254201 -o /tmp/evaluation-result-3718425-1338254201/solver-3718425-1338254201 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718425-1338254201.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2001343def6115cfc261dcde547cf23c RANDOM SEED=1594456548 node114.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.242 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.48 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.242 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.242 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 : 5451.90 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.242 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.242 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.242 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.242 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.242 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 29958220 kB Buffers: 865216 kB Cached: 424208 kB SwapCached: 2272 kB Active: 1919012 kB Inactive: 42176 kB Active(anon): 657068 kB Inactive(anon): 9072 kB Active(file): 1261944 kB Inactive(file): 33104 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67103572 kB Dirty: 244 kB Writeback: 0 kB AnonPages: 709792 kB Mapped: 19196 kB Shmem: 104 kB Slab: 802976 kB SReclaimable: 246752 kB SUnreclaim: 556224 kB KernelStack: 1760 kB PageTables: 5548 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1038480 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 675840 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= 71464 MiB End job on node114 at 2012-05-29 03:17:33