Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | -738 | 1800.03 | 1777.14 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-08.opb |
| MD5SUM | b1ffeac28016db478c89954573217882 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -738 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 0 |
| Total number of constraints | 0 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 926 |
| Biggest coefficient in the objective function | 200 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 41584 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 200 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 41584 |
| Number of bits of the biggest sum of numbers | 16 |
| Number of products (including duplicates) | 896 |
| Sum of products size (including duplicates) | 2726 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.11 c Pseudo Boolean Optimization by upper bound 0.08/0.11 c --- Begin Solver configuration --- 0.08/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.08/0.11 c Learn all clauses as in MiniSAT 0.08/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.11 c No reason simplification 0.08/0.11 c Glucose 2.1 dynamic restart strategy 0.08/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.11 c timeout=2147483s 0.08/0.11 c DB Simplification allowed=false 0.08/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.08/0.11 c --- End Solver configuration --- 0.08/0.11 c solving HOME/instance-4119230-1467252072.opb 0.08/0.11 c reading problem ... 0.08/0.12 c objective function found 0.23/0.25 c ... done. Wall clock time 0.138s. 0.23/0.25 c declared #vars 30 0.23/0.25 c internal #vars 926 0.23/0.25 c #constraints 1792 0.23/0.25 c constraints type 0.23/0.25 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 896 0.23/0.25 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 896 0.23/0.25 c 1792 constraints processed. 0.23/0.25 c objective function length is 926 literals 0.23/0.27 c SATISFIABLE 0.23/0.27 c OPTIMIZING... 0.23/0.27 c Got one! Elapsed wall clock time (in seconds):0.159 0.23/0.27 o 0 0.23/0.29 c Got one! Elapsed wall clock time (in seconds):0.182 0.41/0.30 o -21 0.41/0.32 c Got one! Elapsed wall clock time (in seconds):0.202 0.41/0.32 o -42 0.41/0.33 c Got one! Elapsed wall clock time (in seconds):0.218 0.41/0.33 o -68 0.41/0.35 c Got one! Elapsed wall clock time (in seconds):0.239 0.41/0.35 o -93 0.41/0.39 c Got one! Elapsed wall clock time (in seconds):0.278 0.41/0.39 o -94 0.71/0.41 c Got one! Elapsed wall clock time (in seconds):0.297 0.71/0.41 o -117 0.71/0.43 c Got one! Elapsed wall clock time (in seconds):0.317 0.71/0.43 o -122 0.71/0.45 c Got one! Elapsed wall clock time (in seconds):0.334 0.71/0.45 o -123 0.71/0.46 c Got one! Elapsed wall clock time (in seconds):0.351 0.71/0.46 o -126 0.71/0.48 c Got one! Elapsed wall clock time (in seconds):0.363 0.71/0.48 o -149 0.71/0.49 c Got one! Elapsed wall clock time (in seconds):0.377 0.71/0.49 o -152 1.01/0.50 c Got one! Elapsed wall clock time (in seconds):0.384 1.01/0.50 o -155 1.01/0.50 c Got one! Elapsed wall clock time (in seconds):0.391 1.01/0.50 o -158 1.01/0.51 c Got one! Elapsed wall clock time (in seconds):0.398 1.01/0.51 o -160 1.01/0.52 c Got one! Elapsed wall clock time (in seconds):0.407 1.01/0.52 o -179 1.01/0.52 c Got one! Elapsed wall clock time (in seconds):0.411 1.01/0.52 o -181 1.01/0.53 c Got one! Elapsed wall clock time (in seconds):0.415 1.01/0.53 o -183 1.01/0.53 c Got one! Elapsed wall clock time (in seconds):0.42 1.01/0.53 o -185 1.01/0.54 c Got one! Elapsed wall clock time (in seconds):0.424 1.01/0.54 o -186 1.01/0.54 c Got one! Elapsed wall clock time (in seconds):0.428 1.01/0.54 o -191 1.01/0.55 c Got one! Elapsed wall clock time (in seconds):0.441 1.01/0.55 o -197 1.31/0.61 c Got one! Elapsed wall clock time (in seconds):0.492 1.31/0.61 o -217 1.31/0.63 c Got one! Elapsed wall clock time (in seconds):0.513 1.31/0.63 o -219 1.31/0.63 c Got one! Elapsed wall clock time (in seconds):0.517 1.31/0.63 o -224 1.31/0.64 c Got one! Elapsed wall clock time (in seconds):0.527 1.31/0.64 o -252 1.31/0.67 c Got one! Elapsed wall clock time (in seconds):0.557 1.31/0.67 o -256 1.31/0.67 c Got one! Elapsed wall clock time (in seconds):0.558 1.31/0.67 o -257 1.31/0.68 c Got one! Elapsed wall clock time (in seconds):0.562 1.31/0.68 o -261 1.50/0.70 c Got one! Elapsed wall clock time (in seconds):0.585 1.50/0.70 o -265 1.50/0.70 c Got one! Elapsed wall clock time (in seconds):0.586 1.50/0.70 o -267 1.50/0.70 c Got one! Elapsed wall clock time (in seconds):0.588 1.50/0.70 o -273 1.50/0.70 c Got one! Elapsed wall clock time (in seconds):0.59 1.50/0.70 o -274 1.50/0.70 c Got one! Elapsed wall clock time (in seconds):0.591 1.50/0.70 o -277 1.50/0.71 c Got one! Elapsed wall clock time (in seconds):0.594 1.50/0.71 o -278 1.50/0.71 c Got one! Elapsed wall clock time (in seconds):0.598 1.50/0.71 o -280 1.50/0.72 c Got one! Elapsed wall clock time (in seconds):0.602 1.50/0.72 o -281 1.50/0.72 c Got one! Elapsed wall clock time (in seconds):0.604 1.50/0.72 o -282 1.50/0.72 c Got one! Elapsed wall clock time (in seconds):0.607 1.50/0.72 o -283 1.50/0.72 c Got one! Elapsed wall clock time (in seconds):0.608 1.50/0.72 o -284 1.50/0.72 c Got one! Elapsed wall clock time (in seconds):0.609 1.50/0.72 o -285 1.50/0.73 c Got one! Elapsed wall clock time (in seconds):0.614 1.50/0.73 o -289 1.50/0.74 c Got one! Elapsed wall clock time (in seconds):0.622 1.50/0.74 o -290 1.50/0.74 c Got one! Elapsed wall clock time (in seconds):0.624 1.50/0.74 o -308 1.50/0.78 c Got one! Elapsed wall clock time (in seconds):0.663 1.50/0.78 o -313 1.50/0.79 c Got one! Elapsed wall clock time (in seconds):0.677 1.50/0.79 o -314 1.63/0.80 c Got one! Elapsed wall clock time (in seconds):0.688 1.63/0.80 o -315 1.63/0.80 c Got one! Elapsed wall clock time (in seconds):0.69 1.63/0.80 o -316 1.63/0.81 c Got one! Elapsed wall clock time (in seconds):0.698 1.63/0.81 o -320 1.63/0.83 c Got one! Elapsed wall clock time (in seconds):0.713 1.63/0.83 o -321 1.63/0.83 c Got one! Elapsed wall clock time (in seconds):0.715 1.63/0.83 o -322 1.63/0.83 c Got one! Elapsed wall clock time (in seconds):0.717 1.63/0.83 o -338 1.73/0.91 c Got one! Elapsed wall clock time (in seconds):0.797 1.73/0.91 o -344 1.73/0.94 c Got one! Elapsed wall clock time (in seconds):0.826 1.73/0.94 o -345 1.73/0.95 c Got one! Elapsed wall clock time (in seconds):0.84 1.73/0.95 o -348 1.73/0.97 c Got one! Elapsed wall clock time (in seconds):0.857 1.73/0.97 o -350 1.83/1.00 c Got one! Elapsed wall clock time (in seconds):0.888 1.83/1.00 o -353 1.83/1.00 c Got one! Elapsed wall clock time (in seconds):0.891 1.83/1.00 o -354 1.83/1.02 c Got one! Elapsed wall clock time (in seconds):0.905 1.83/1.02 o -358 1.94/1.18 c Got one! Elapsed wall clock time (in seconds):1.067 1.94/1.18 o -365 1.94/1.20 c Got one! Elapsed wall clock time (in seconds):1.083 1.94/1.20 o -368 1.94/1.20 c Got one! Elapsed wall clock time (in seconds):1.085 1.94/1.20 o -369 1.94/1.20 c Got one! Elapsed wall clock time (in seconds):1.087 1.94/1.20 o -372 2.09/1.22 c Got one! Elapsed wall clock time (in seconds):1.111 2.09/1.22 o -375 2.09/1.26 c Got one! Elapsed wall clock time (in seconds):1.151 2.09/1.26 o -376 2.09/1.27 c Got one! Elapsed wall clock time (in seconds):1.159 2.09/1.27 o -377 2.09/1.28 c Got one! Elapsed wall clock time (in seconds):1.163 2.09/1.28 o -378 2.09/1.29 c Got one! Elapsed wall clock time (in seconds):1.172 2.09/1.29 o -381 2.20/1.33 c Got one! Elapsed wall clock time (in seconds):1.217 2.20/1.33 o -384 2.20/1.38 c Got one! Elapsed wall clock time (in seconds):1.266 2.20/1.38 o -386 2.20/1.39 c Got one! Elapsed wall clock time (in seconds):1.272 2.20/1.39 o -391 2.60/1.75 c Got one! Elapsed wall clock time (in seconds):1.637 2.60/1.75 o -399 2.60/1.77 c Got one! Elapsed wall clock time (in seconds):1.658 2.60/1.77 o -401 2.60/1.78 c Got one! Elapsed wall clock time (in seconds):1.668 2.60/1.78 o -402 2.76/1.80 c Got one! Elapsed wall clock time (in seconds):1.685 2.76/1.80 o -404 2.76/1.82 c Got one! Elapsed wall clock time (in seconds):1.708 2.76/1.82 o -405 2.76/1.83 c Got one! Elapsed wall clock time (in seconds):1.716 2.76/1.83 o -408 2.87/1.91 c Got one! Elapsed wall clock time (in seconds):1.795 2.87/1.91 o -410 2.87/1.98 c Got one! Elapsed wall clock time (in seconds):1.864 2.87/1.98 o -413 2.98/2.04 c Got one! Elapsed wall clock time (in seconds):1.93 2.98/2.04 o -418 3.22/2.21 c cleaning 6448 clauses out of 12895 with flag 2008/12895 3.22/2.22 c Got one! Elapsed wall clock time (in seconds):2.112 3.22/2.22 o -596 3.81/2.86 c cleaning 5776 clauses out of 11552 with flag 10001/18000 3.92/2.92 c Got one! Elapsed wall clock time (in seconds):2.805 3.92/2.92 o -616 4.42/3.46 c Got one! Elapsed wall clock time (in seconds):3.349 4.42/3.46 o -618 4.52/3.57 c Got one! Elapsed wall clock time (in seconds):3.452 4.52/3.57 o -621 4.71/3.72 c cleaning 6343 clauses out of 12690 with flag 2001/24914 5.46/4.47 c cleaning 6174 clauses out of 12348 with flag 14003/30915 5.75/4.73 c Got one! Elapsed wall clock time (in seconds):4.62 5.75/4.73 o -624 6.15/5.12 c cleaning 5735 clauses out of 11476 with flag 6002/36217 6.15/5.17 c Got one! Elapsed wall clock time (in seconds):5.055 6.15/5.17 o -625 6.35/5.33 c Got one! Elapsed wall clock time (in seconds):5.213 6.35/5.33 o -626 6.35/5.38 c Got one! Elapsed wall clock time (in seconds):5.265 6.35/5.38 o -627 6.45/5.40 c Got one! Elapsed wall clock time (in seconds):5.29 6.45/5.40 o -629 6.45/5.41 c Got one! Elapsed wall clock time (in seconds):5.293 6.45/5.41 o -630 6.45/5.42 c Got one! Elapsed wall clock time (in seconds):5.306 6.45/5.42 o -633 6.79/5.77 c Got one! Elapsed wall clock time (in seconds):5.659 6.79/5.77 o -637 6.89/5.90 c Got one! Elapsed wall clock time (in seconds):5.782 6.89/5.90 o -640 6.99/5.91 c Got one! Elapsed wall clock time (in seconds):5.8 6.99/5.91 o -642 7.09/6.00 c Got one! Elapsed wall clock time (in seconds):5.887 7.09/6.00 o -645 7.09/6.04 c Got one! Elapsed wall clock time (in seconds):5.926 7.09/6.04 o -647 7.19/6.16 c Got one! Elapsed wall clock time (in seconds):6.051 7.19/6.16 o -648 7.19/6.17 c Got one! Elapsed wall clock time (in seconds):6.061 7.19/6.17 o -650 7.49/6.48 c cleaning 7998 clauses out of 16000 with flag 4024/46476 8.30/7.26 c cleaning 7000 clauses out of 14001 with flag 16022/52475 9.22/8.15 c cleaning 7000 clauses out of 14002 with flag 30024/59476 9.72/8.64 c Got one! Elapsed wall clock time (in seconds):8.522 9.72/8.64 o -660 9.82/8.78 c cleaning 6040 clauses out of 12082 with flag 2004/64556 10.52/9.48 c cleaning 6017 clauses out of 12043 with flag 14006/70557 11.43/10.36 c cleaning 6513 clauses out of 13025 with flag 28082/77556 11.53/10.40 c Got one! Elapsed wall clock time (in seconds):10.291 11.53/10.40 o -661 11.63/10.58 c Got one! Elapsed wall clock time (in seconds):10.468 11.63/10.58 o -662 12.03/10.94 c Got one! Elapsed wall clock time (in seconds):10.822 12.03/10.94 o -664 12.33/11.21 c cleaning 6685 clauses out of 13375 with flag 4001/84419 13.03/11.93 c cleaning 6344 clauses out of 12691 with flag 16003/90420 13.93/12.82 c cleaning 6674 clauses out of 13347 with flag 30003/97420 14.03/13.00 c Got one! Elapsed wall clock time (in seconds):12.882 14.03/13.00 o -666 14.53/13.49 c cleaning 6099 clauses out of 12204 with flag 8002/102951 15.33/14.20 c cleaning 6050 clauses out of 12106 with flag 20004/108952 15.33/14.24 c Got one! Elapsed wall clock time (in seconds):14.126 15.33/14.24 o -669 15.73/14.63 c Got one! Elapsed wall clock time (in seconds):14.519 15.73/14.63 o -670 15.93/14.89 c cleaning 5940 clauses out of 11879 with flag 4121/114775 16.03/14.99 c Got one! Elapsed wall clock time (in seconds):14.88 16.03/14.99 o -671 16.54/15.42 c Got one! Elapsed wall clock time (in seconds):15.304 16.54/15.42 o -672 16.64/15.53 c Got one! Elapsed wall clock time (in seconds):15.419 16.64/15.53 o -674 16.93/15.81 c cleaning 6721 clauses out of 13455 with flag 4062/122291 17.64/16.54 c cleaning 6360 clauses out of 12734 with flag 16074/128291 18.53/17.42 c cleaning 6686 clauses out of 13373 with flag 30160/135290 19.56/18.43 c cleaning 7340 clauses out of 14687 with flag 46180/143290 20.66/19.59 c cleaning 8170 clauses out of 16347 with flag 64180/152290 20.76/19.64 c Got one! Elapsed wall clock time (in seconds):19.529 20.76/19.64 o -675 21.36/20.25 c cleaning 6811 clauses out of 13628 with flag 10003/157741 22.06/20.99 c cleaning 6404 clauses out of 12816 with flag 22001/163740 22.16/21.06 c Got one! Elapsed wall clock time (in seconds):20.942 22.16/21.06 o -676 22.76/21.67 c cleaning 6003 clauses out of 12011 with flag 10002/169339 23.46/22.38 c cleaning 6001 clauses out of 12009 with flag 22004/175340 23.76/22.64 c Got one! Elapsed wall clock time (in seconds):22.527 23.76/22.64 o -677 24.06/22.97 c Got one! Elapsed wall clock time (in seconds):22.853 24.06/22.97 o -678 24.26/23.11 c cleaning 6019 clauses out of 12043 with flag 2035/181375 24.36/23.26 c Got one! Elapsed wall clock time (in seconds):23.148 24.36/23.26 o -679 24.46/23.31 c Got one! Elapsed wall clock time (in seconds):23.199 24.46/23.31 o -680 24.46/23.32 c Got one! Elapsed wall clock time (in seconds):23.207 24.46/23.32 o -681 24.46/23.32 c Got one! Elapsed wall clock time (in seconds):23.208 24.46/23.32 o -682 24.96/23.81 c cleaning 5991 clauses out of 11997 with flag 8033/187348 25.66/24.55 c cleaning 6001 clauses out of 12006 with flag 20033/193348 26.58/25.42 c cleaning 6501 clauses out of 13004 with flag 34031/200347 26.68/25.57 c Got one! Elapsed wall clock time (in seconds):25.458 26.68/25.57 o -685 27.18/26.05 c cleaning 5950 clauses out of 11905 with flag 8011/205749 27.48/26.40 c Got one! Elapsed wall clock time (in seconds):26.29 27.48/26.40 o -686 27.78/26.65 c cleaning 5568 clauses out of 11142 with flag 4004/210936 28.28/27.18 c Got one! Elapsed wall clock time (in seconds):27.063 28.28/27.18 o -688 28.48/27.31 c cleaning 5619 clauses out of 11241 with flag 2005/216603 28.48/27.32 c Got one! Elapsed wall clock time (in seconds):27.208 28.48/27.32 o -689 28.48/27.39 c Got one! Elapsed wall clock time (in seconds):27.276 28.48/27.39 o -690 28.68/27.52 c Got one! Elapsed wall clock time (in seconds):27.406 28.68/27.52 o -692 28.68/27.59 c Got one! Elapsed wall clock time (in seconds):27.478 28.68/27.59 o -693 28.78/27.66 c Got one! Elapsed wall clock time (in seconds):27.544 28.78/27.66 o -694 28.88/27.79 c Got one! Elapsed wall clock time (in seconds):27.681 28.88/27.79 o -698 29.28/28.18 c cleaning 6494 clauses out of 12993 with flag 6005/223974 29.98/28.89 c cleaning 6244 clauses out of 12498 with flag 18004/229973 30.88/29.76 c cleaning 6623 clauses out of 13255 with flag 32007/236974 30.98/29.83 c Got one! Elapsed wall clock time (in seconds):29.712 30.98/29.83 o -699 31.58/30.44 c cleaning 6158 clauses out of 12319 with flag 10004/242661 31.98/30.88 c Got one! Elapsed wall clock time (in seconds):30.77 31.98/30.88 o -700 32.28/31.14 c cleaning 6064 clauses out of 12131 with flag 4006/248631 32.52/31.31 c Got one! Elapsed wall clock time (in seconds):31.198 32.52/31.31 o -701 32.72/31.50 c Got one! Elapsed wall clock time (in seconds):31.389 32.72/31.50 o -702 32.82/31.61 c Got one! Elapsed wall clock time (in seconds):31.495 32.82/31.61 o -703 33.13/32.00 c cleaning 6492 clauses out of 12986 with flag 6007/255550 33.23/32.04 c Got one! Elapsed wall clock time (in seconds):31.928 33.23/32.04 o -704 33.43/32.25 c Got one! Elapsed wall clock time (in seconds):32.135 33.43/32.25 o -706 33.93/32.74 c cleaning 6401 clauses out of 12810 with flag 8026/261866 34.63/33.46 c cleaning 6203 clauses out of 12407 with flag 20022/267864 35.53/34.31 c cleaning 6599 clauses out of 13204 with flag 34022/274864 36.54/35.32 c cleaning 7302 clauses out of 14605 with flag 50022/282864 37.43/36.25 c Got one! Elapsed wall clock time (in seconds):36.134 37.43/36.25 o -709 38.13/36.95 c cleaning 9867 clauses out of 19742 with flag 10001/295303 38.99/37.77 c cleaning 7937 clauses out of 15875 with flag 22001/301303 39.89/38.67 c cleaning 7465 clauses out of 14938 with flag 36001/308303 40.99/39.73 c cleaning 7735 clauses out of 15473 with flag 52001/316303 42.09/40.88 c cleaning 8366 clauses out of 16738 with flag 70001/325303 43.48/42.20 c cleaning 9180 clauses out of 18372 with flag 90001/335303 44.98/43.73 c Got one! Elapsed wall clock time (in seconds):43.616 44.98/43.73 o -710 45.95/44.63 c cleaning 12586 clauses out of 25179 with flag 10189/351290 46.75/45.46 c cleaning 9293 clauses out of 18594 with flag 22356/357291 47.66/46.39 c cleaning 8141 clauses out of 16300 with flag 36495/364290 48.66/47.33 c Got one! Elapsed wall clock time (in seconds):47.219 48.66/47.33 o -711 49.35/48.06 c cleaning 10316 clauses out of 20636 with flag 10004/376767 50.15/48.83 c cleaning 8155 clauses out of 16320 with flag 22004/382767 51.05/49.74 c cleaning 7579 clauses out of 15165 with flag 36004/389767 51.35/50.07 c Got one! Elapsed wall clock time (in seconds):49.961 51.35/50.07 o -715 51.81/50.48 c cleaning 6722 clauses out of 13454 with flag 6005/395635 52.51/51.18 c cleaning 6362 clauses out of 12731 with flag 18003/401634 52.81/51.46 c Got one! Elapsed wall clock time (in seconds):51.348 52.81/51.46 o -716 53.22/51.83 c cleaning 5983 clauses out of 11970 with flag 6004/407235 53.22/51.89 c Got one! Elapsed wall clock time (in seconds):51.78 53.22/51.89 o -717 53.41/52.08 c Got one! Elapsed wall clock time (in seconds):51.963 53.41/52.08 o -718 53.71/52.31 c Got one! Elapsed wall clock time (in seconds):52.197 53.71/52.31 o -719 53.91/52.57 c cleaning 6267 clauses out of 12542 with flag 4005/413790 54.11/52.71 c Got one! Elapsed wall clock time (in seconds):52.599 54.11/52.71 o -720 54.22/52.90 c Got one! Elapsed wall clock time (in seconds):52.786 54.22/52.90 o -722 54.61/53.28 c cleaning 6226 clauses out of 12457 with flag 6106/419972 55.42/54.01 c cleaning 6115 clauses out of 12232 with flag 18203/425973 56.21/54.86 c cleaning 6554 clauses out of 13116 with flag 32201/432972 57.24/55.85 c cleaning 7281 clauses out of 14563 with flag 48203/440973 58.34/57.00 c cleaning 8135 clauses out of 16281 with flag 66201/449972 59.75/58.34 c cleaning 9072 clauses out of 18147 with flag 86203/459973 61.24/59.87 c cleaning 10033 clauses out of 20074 with flag 108201/470972 63.05/61.60 c cleaning 11020 clauses out of 22042 with flag 132204/482973 63.35/61.89 c Got one! Elapsed wall clock time (in seconds):61.777 63.35/61.89 o -723 63.75/62.28 c cleaning 8265 clauses out of 16541 with flag 6069/488492 64.45/62.99 c cleaning 7134 clauses out of 14278 with flag 18137/494494 65.35/63.81 c cleaning 7071 clauses out of 14143 with flag 32273/501493 66.24/64.75 c cleaning 7533 clauses out of 15071 with flag 48327/509492 67.40/65.87 c cleaning 8266 clauses out of 16539 with flag 66334/518493 68.81/67.20 c cleaning 9136 clauses out of 18273 with flag 86459/528493 69.50/67.97 c Got one! Elapsed wall clock time (in seconds):67.852 69.50/67.97 o -725 70.20/68.67 c cleaning 10174 clauses out of 20355 with flag 10312/539711 71.01/69.43 c cleaning 8089 clauses out of 16182 with flag 22508/545712 71.50/69.90 c Got one! Elapsed wall clock time (in seconds):69.789 71.50/69.90 o -726 71.60/70.03 c cleaning 6608 clauses out of 13223 with flag 2052/550842 72.35/70.75 c cleaning 6305 clauses out of 12614 with flag 14483/556841 73.25/71.62 c cleaning 6651 clauses out of 13310 with flag 29189/563842 74.14/72.58 c cleaning 7326 clauses out of 14659 with flag 45751/571842 74.74/73.18 c Got one! Elapsed wall clock time (in seconds):73.066 74.74/73.18 o -728 75.45/73.84 c cleaning 8938 clauses out of 17878 with flag 10001/582387 76.24/74.61 c cleaning 7466 clauses out of 14940 with flag 22001/588387 77.18/75.51 c cleaning 7232 clauses out of 14475 with flag 36003/595388 78.17/76.53 c cleaning 7615 clauses out of 15242 with flag 52001/603387 79.38/77.70 c cleaning 8315 clauses out of 16629 with flag 70005/612389 80.68/79.03 c cleaning 9155 clauses out of 18312 with flag 90001/622387 82.21/80.52 c cleaning 10076 clauses out of 20158 with flag 112003/633388 83.81/82.18 c cleaning 11040 clauses out of 22081 with flag 136001/645387 85.61/83.99 c cleaning 12018 clauses out of 24042 with flag 162003/658388 87.74/86.00 c cleaning 13012 clauses out of 26023 with flag 190001/672387 89.85/88.15 c cleaning 14004 clauses out of 28012 with flag 220003/687388 92.29/90.56 c cleaning 14999 clauses out of 30007 with flag 252305/703387 95.32/93.43 c cleaning 16000 clauses out of 32008 with flag 297697/720387 98.92/96.59 c cleaning 16993 clauses out of 34008 with flag 348406/738387 102.32/99.96 c cleaning 18003 clauses out of 36016 with flag 411431/757388 106.32/103.87 c cleaning 18997 clauses out of 38012 with flag 484653/777387 110.02/107.51 c cleaning 20008 clauses out of 40015 with flag 557891/798387 114.32/111.75 c cleaning 21001 clauses out of 42009 with flag 617534/820389 119.14/116.40 c cleaning 22003 clauses out of 44006 with flag 701266/843387 123.75/121.10 c cleaning 22997 clauses out of 46003 with flag 802251/867387 129.03/126.22 c cleaning 24000 clauses out of 48007 with flag 910039/892388 134.17/131.36 c cleaning 25004 clauses out of 50007 with flag 1010401/918388 139.28/136.31 c cleaning 26000 clauses out of 52002 with flag 1074263/945387 144.36/141.36 c cleaning 27000 clauses out of 54002 with flag 1136134/973387 149.74/146.70 c cleaning 28001 clauses out of 56003 with flag 1200784/1002388 155.40/152.20 c cleaning 28997 clauses out of 58001 with flag 1268307/1032387 161.47/158.27 c cleaning 30002 clauses out of 60005 with flag 1340753/1063388 168.22/164.92 c cleaning 30997 clauses out of 62002 with flag 1415102/1095387 175.69/172.38 c cleaning 32002 clauses out of 64006 with flag 1491404/1128388 178.66/175.25 c Got one! Elapsed wall clock time (in seconds):175.137 178.66/175.25 o -729 179.76/176.32 c cleaning 25287 clauses out of 50579 with flag 13488/1146963 180.66/177.27 c cleaning 15645 clauses out of 31293 with flag 28768/1152964 181.70/178.23 c cleaning 11320 clauses out of 22647 with flag 44686/1159963 182.70/179.29 c cleaning 9657 clauses out of 19326 with flag 62810/1167962 183.90/180.45 c cleaning 9332 clauses out of 18669 with flag 85128/1176962 185.21/181.76 c cleaning 9665 clauses out of 19338 with flag 106975/1186963 186.71/183.26 c cleaning 10333 clauses out of 20672 with flag 140005/1197962 188.31/184.90 c cleaning 11165 clauses out of 22339 with flag 173350/1209962 190.21/186.70 c cleaning 12088 clauses out of 24175 with flag 206652/1222963 192.15/188.66 c cleaning 13042 clauses out of 26087 with flag 238952/1236963 194.25/190.77 c cleaning 14022 clauses out of 28045 with flag 272521/1251963 196.78/193.24 c cleaning 15010 clauses out of 30022 with flag 308778/1267962 199.44/195.82 c cleaning 16004 clauses out of 32013 with flag 348047/1284963 202.13/198.58 c cleaning 17002 clauses out of 34009 with flag 387617/1302963 205.36/201.71 c cleaning 18001 clauses out of 36006 with flag 429874/1321962 208.69/205.08 c cleaning 19003 clauses out of 38005 with flag 474698/1341962 212.42/208.73 c cleaning 20001 clauses out of 40003 with flag 519707/1362963 216.18/212.49 c cleaning 21000 clauses out of 42002 with flag 570621/1384963 220.51/216.73 c cleaning 22000 clauses out of 44002 with flag 624842/1407963 224.96/221.16 c cleaning 22998 clauses out of 46001 with flag 680366/1431962 229.49/225.69 c cleaning 23999 clauses out of 48003 with flag 735503/1456962 234.71/230.86 c cleaning 25001 clauses out of 50005 with flag 794252/1482963 240.49/236.54 c cleaning 26002 clauses out of 52003 with flag 856121/1509962 246.26/242.29 c cleaning 26993 clauses out of 54002 with flag 917214/1537963 252.33/248.29 c cleaning 28003 clauses out of 56009 with flag 977464/1566963 258.37/254.24 c cleaning 29000 clauses out of 58005 with flag 1038318/1596962 264.74/260.54 c cleaning 29996 clauses out of 60006 with flag 1100920/1627963 271.34/267.09 c cleaning 31004 clauses out of 62009 with flag 1166159/1659962 278.79/274.49 c cleaning 31996 clauses out of 64006 with flag 1235272/1692963 286.63/282.15 c cleaning 33000 clauses out of 66010 with flag 1308019/1726963 294.19/289.66 c cleaning 34002 clauses out of 68010 with flag 1380805/1761963 302.40/297.72 c cleaning 35003 clauses out of 70008 with flag 1456275/1797963 310.77/306.00 c cleaning 36000 clauses out of 72005 with flag 1535455/1834963 319.89/315.04 c cleaning 37002 clauses out of 74004 with flag 1619445/1872962 329.26/324.35 c cleaning 37996 clauses out of 76003 with flag 1702008/1911963 339.70/334.64 c cleaning 39000 clauses out of 78006 with flag 1789535/1951962 350.45/345.26 c cleaning 39999 clauses out of 80006 with flag 1885206/1992962 361.28/356.00 c cleaning 41000 clauses out of 82007 with flag 1982371/2034962 373.65/368.15 c cleaning 42002 clauses out of 84007 with flag 2077778/2077962 387.18/381.52 c cleaning 43003 clauses out of 86005 with flag 2177903/2121962 399.79/394.09 c cleaning 44002 clauses out of 88003 with flag 2277264/2166963 414.26/408.33 c cleaning 45000 clauses out of 90001 with flag 2378609/2212963 415.68/409.78 c Got one! Elapsed wall clock time (in seconds):409.665 415.68/409.78 o -732 416.88/410.98 c cleaning 28343 clauses out of 56702 with flag 10323/2224664 418.00/412.01 c cleaning 17174 clauses out of 34359 with flag 22480/2230664 419.02/413.05 c cleaning 12088 clauses out of 24186 with flag 38574/2237665 420.12/414.19 c cleaning 10045 clauses out of 20098 with flag 56298/2245665 421.32/415.38 c cleaning 9525 clauses out of 19053 with flag 75017/2254665 422.63/416.69 c cleaning 9761 clauses out of 19527 with flag 96085/2264664 424.17/418.19 c cleaning 10383 clauses out of 20767 with flag 119541/2275665 425.90/419.82 c cleaning 11190 clauses out of 22383 with flag 145966/2287664 427.74/421.65 c cleaning 12094 clauses out of 24193 with flag 174380/2300664 429.88/423.74 c cleaning 13048 clauses out of 26100 with flag 205015/2314665 432.30/426.10 c cleaning 14024 clauses out of 28052 with flag 238131/2329665 434.91/428.72 c cleaning 15011 clauses out of 30028 with flag 273654/2345665 437.77/431.52 c cleaning 16005 clauses out of 32016 with flag 311822/2362664 440.61/434.38 c cleaning 17003 clauses out of 34011 with flag 351707/2380664 441.83/435.58 c Got one! Elapsed wall clock time (in seconds):435.471 441.83/435.58 o -733 442.66/436.40 c cleaning 15288 clauses out of 30577 with flag 10524/2394233 443.46/437.18 c cleaning 10640 clauses out of 21287 with flag 23213/2400231 444.38/438.06 c cleaning 8816 clauses out of 17648 with flag 38347/2407232 445.40/439.09 c cleaning 8411 clauses out of 16831 with flag 56743/2415231 446.62/440.21 c cleaning 8709 clauses out of 17421 with flag 76533/2424232 447.86/441.49 c cleaning 9351 clauses out of 18712 with flag 98114/2434232 449.28/442.87 c cleaning 10179 clauses out of 20360 with flag 122844/2445231 449.48/443.06 c Got one! Elapsed wall clock time (in seconds):442.947 449.48/443.06 o -734 449.98/443.56 c cleaning 7978 clauses out of 15966 with flag 8248/2451016 450.72/444.24 c cleaning 6990 clauses out of 13988 with flag 20950/2457016 451.54/445.02 c cleaning 6995 clauses out of 13998 with flag 35459/2464016 452.44/445.98 c cleaning 7497 clauses out of 15002 with flag 52705/2472015 453.54/447.08 c cleaning 8246 clauses out of 16506 with flag 72606/2481016 454.84/448.33 c cleaning 9127 clauses out of 18260 with flag 94735/2491016 456.37/449.80 c cleaning 10062 clauses out of 20132 with flag 118645/2502015 458.01/451.41 c cleaning 11033 clauses out of 22071 with flag 144422/2514016 459.83/453.22 c cleaning 12013 clauses out of 24038 with flag 173148/2527016 461.75/455.17 c cleaning 13009 clauses out of 26025 with flag 202756/2541016 463.99/457.39 c cleaning 14005 clauses out of 28016 with flag 234663/2556016 466.41/459.76 c cleaning 15000 clauses out of 30010 with flag 269930/2572015 469.26/462.53 c cleaning 16004 clauses out of 32011 with flag 307859/2589016 472.19/465.44 c cleaning 16999 clauses out of 34006 with flag 345451/2607015 475.54/468.74 c cleaning 18001 clauses out of 36007 with flag 386735/2626015 479.00/472.10 c cleaning 19002 clauses out of 38007 with flag 429844/2646016 482.79/475.85 c cleaning 20000 clauses out of 40005 with flag 474999/2667016 486.94/479.90 c cleaning 21000 clauses out of 42004 with flag 522418/2689015 491.08/484.07 c cleaning 22000 clauses out of 44004 with flag 570678/2712015 495.84/488.70 c cleaning 22999 clauses out of 46005 with flag 621890/2736016 500.76/493.54 c cleaning 23998 clauses out of 48005 with flag 673106/2761015 505.52/498.24 c cleaning 25000 clauses out of 50008 with flag 726113/2787016 510.69/503.36 c cleaning 26003 clauses out of 52009 with flag 780238/2814017 516.15/508.78 c cleaning 27002 clauses out of 54005 with flag 836800/2842016 522.13/514.61 c cleaning 27997 clauses out of 56003 with flag 895876/2871016 528.75/521.13 c cleaning 28999 clauses out of 58005 with flag 957302/2901015 535.28/527.53 c cleaning 30003 clauses out of 60007 with flag 1020618/2932016 541.97/534.17 c cleaning 31002 clauses out of 62003 with flag 1085464/2964015 549.72/541.79 c cleaning 31997 clauses out of 64002 with flag 1152442/2997016 557.54/549.48 c cleaning 32999 clauses out of 66004 with flag 1221713/3031015 565.57/557.36 c cleaning 33999 clauses out of 68006 with flag 1293408/3066016 568.69/560.42 c Got one! Elapsed wall clock time (in seconds):560.307 568.69/560.42 o -736 569.97/561.69 c cleaning 27552 clauses out of 55119 with flag 10087/3087128 570.97/562.69 c cleaning 16776 clauses out of 33566 with flag 22098/3093127 572.08/563.72 c cleaning 11891 clauses out of 23791 with flag 36281/3100128 573.18/564.84 c cleaning 9943 clauses out of 19900 with flag 52763/3108128 574.28/565.97 c cleaning 9472 clauses out of 18956 with flag 71158/3117127 575.69/567.31 c cleaning 9737 clauses out of 19484 with flag 91846/3127127 577.22/568.88 c cleaning 10370 clauses out of 20748 with flag 114406/3138128 578.93/570.53 c cleaning 11188 clauses out of 22378 with flag 138751/3150128 580.86/572.42 c cleaning 12092 clauses out of 24190 with flag 165401/3163128 582.97/574.52 c cleaning 13048 clauses out of 26098 with flag 193964/3177128 585.29/576.84 c cleaning 14024 clauses out of 28051 with flag 224483/3192129 587.81/579.36 c cleaning 15009 clauses out of 30025 with flag 256966/3208127 590.77/582.27 c cleaning 16009 clauses out of 32017 with flag 291536/3225128 593.83/585.30 c cleaning 17004 clauses out of 34007 with flag 328342/3243127 597.05/588.47 c cleaning 17999 clauses out of 36003 with flag 367025/3262127 600.49/591.83 c cleaning 19002 clauses out of 38005 with flag 407472/3282128 600.90/592.24 c Got one! Elapsed wall clock time (in seconds):592.132 600.90/592.24 o -737 601.21/592.55 c cleaning 12021 clauses out of 24048 with flag 4014/3287173 601.91/593.29 c cleaning 9005 clauses out of 18027 with flag 16044/3293173 602.84/594.15 c cleaning 8001 clauses out of 16022 with flag 30059/3300173 603.74/595.09 c cleaning 8003 clauses out of 16021 with flag 46258/3308173 604.96/596.21 c cleaning 8504 clauses out of 17018 with flag 64733/3317173 606.17/597.46 c cleaning 9255 clauses out of 18514 with flag 84881/3327173 607.67/598.99 c cleaning 10124 clauses out of 20259 with flag 107572/3338173 609.41/600.69 c cleaning 11061 clauses out of 22135 with flag 132164/3350173 610.30/601.58 c Got one! Elapsed wall clock time (in seconds):601.467 610.30/601.58 o -738 611.12/602.30 c cleaning 11384 clauses out of 22771 with flag 10334/3361870 611.84/603.08 c cleaning 8693 clauses out of 17387 with flag 22865/3367870 612.75/603.92 c cleaning 7844 clauses out of 15694 with flag 37458/3374870 613.65/604.89 c cleaning 7921 clauses out of 15851 with flag 53810/3382871 614.86/606.00 c cleaning 8463 clauses out of 16929 with flag 72288/3391870 616.09/607.23 c cleaning 9227 clauses out of 18466 with flag 92722/3401870 617.41/608.59 c cleaning 10118 clauses out of 20240 with flag 115289/3412871 619.06/610.10 c cleaning 11057 clauses out of 22122 with flag 139730/3424871 620.81/611.85 c cleaning 12029 clauses out of 24064 with flag 166208/3437870 622.94/613.92 c cleaning 13017 clauses out of 26035 with flag 194805/3451870 625.16/616.11 c cleaning 14008 clauses out of 28018 with flag 225521/3466870 627.59/618.51 c cleaning 15005 clauses out of 30011 with flag 257628/3482871 630.11/621.01 c cleaning 16002 clauses out of 32006 with flag 291659/3499871 632.98/623.86 c cleaning 16999 clauses out of 34003 with flag 327926/3517870 636.19/627.04 c cleaning 17997 clauses out of 36005 with flag 366376/3536871 639.76/630.59 c cleaning 19003 clauses out of 38007 with flag 407107/3556870 643.61/634.37 c cleaning 20000 clauses out of 40005 with flag 449980/3577871 647.67/638.34 c cleaning 21001 clauses out of 42005 with flag 494752/3599871 651.92/642.59 c cleaning 22002 clauses out of 44004 with flag 541215/3622871 656.56/647.18 c cleaning 23000 clauses out of 46001 with flag 589263/3646870 661.54/652.01 c cleaning 24000 clauses out of 48001 with flag 639318/3671870 666.60/657.07 c cleaning 24995 clauses out of 50001 with flag 692006/3697870 672.58/662.90 c cleaning 26001 clauses out of 52006 with flag 747295/3724870 678.27/668.59 c cleaning 27000 clauses out of 54005 with flag 804432/3752870 684.35/674.56 c cleaning 28002 clauses out of 56005 with flag 864219/3781870 690.75/680.90 c cleaning 28999 clauses out of 58004 with flag 926225/3811871 697.57/687.54 c cleaning 30002 clauses out of 60005 with flag 989459/3842871 705.00/694.87 c cleaning 30995 clauses out of 62003 with flag 1054964/3874871 712.10/701.87 c cleaning 32003 clauses out of 64007 with flag 1121065/3907870 720.20/709.86 c cleaning 33002 clauses out of 66004 with flag 1190395/3941870 728.23/717.75 c cleaning 34001 clauses out of 68003 with flag 1261318/3976871 736.85/726.28 c cleaning 34994 clauses out of 70002 with flag 1333374/4012871 746.07/735.34 c cleaning 36003 clauses out of 72007 with flag 1407411/4049870 755.79/744.96 c cleaning 36996 clauses out of 74004 with flag 1484652/4087870 766.04/755.01 c cleaning 38000 clauses out of 76008 with flag 1564060/4126870 776.43/765.29 c cleaning 39000 clauses out of 78008 with flag 1644581/4166870 787.29/775.95 c cleaning 40002 clauses out of 80008 with flag 1728855/4207870 798.53/787.03 c cleaning 40999 clauses out of 82007 with flag 1815233/4249871 810.48/798.84 c cleaning 42002 clauses out of 84007 with flag 1901327/4292870 822.15/810.31 c cleaning 43000 clauses out of 86006 with flag 1989410/4336871 835.39/823.49 c cleaning 44003 clauses out of 88007 with flag 2079593/4381872 848.55/836.40 c cleaning 44998 clauses out of 90003 with flag 2173182/4427871 862.73/850.43 c cleaning 45998 clauses out of 92005 with flag 2271767/4474871 877.52/865.03 c cleaning 47001 clauses out of 94006 with flag 2369401/4522870 893.32/880.66 c cleaning 47996 clauses out of 96007 with flag 2469840/4571872 908.69/895.86 c cleaning 49000 clauses out of 98009 with flag 2571771/4621870 925.91/912.87 c cleaning 50002 clauses out of 100010 with flag 2677856/4672871 942.46/929.10 c cleaning 50998 clauses out of 102008 with flag 2784487/4724871 959.51/946.06 c cleaning 52004 clauses out of 104009 with flag 2894526/4777870 976.93/963.27 c cleaning 52999 clauses out of 106005 with flag 3005266/4831870 995.05/981.10 c cleaning 53999 clauses out of 108006 with flag 3116323/4886870 1014.44/1000.32 c cleaning 54999 clauses out of 110008 with flag 3230203/4942871 1032.90/1018.58 c cleaning 56003 clauses out of 112008 with flag 3344785/4999870 1052.48/1037.93 c cleaning 56999 clauses out of 114005 with flag 3461968/5057870 1073.90/1059.15 c cleaning 58002 clauses out of 116006 with flag 3580806/5116870 1095.17/1080.15 c cleaning 59001 clauses out of 118006 with flag 3703589/5176872 1116.18/1100.97 c cleaning 60000 clauses out of 120003 with flag 3826399/5237870 1137.61/1122.18 c cleaning 60998 clauses out of 122003 with flag 3950837/5299870 1160.04/1144.24 c cleaning 61999 clauses out of 124005 with flag 4077189/5362870 1182.89/1166.89 c cleaning 63000 clauses out of 126006 with flag 4205446/5426870 1208.35/1192.08 c cleaning 64003 clauses out of 128006 with flag 4335601/5491870 1233.91/1217.36 c cleaning 64999 clauses out of 130003 with flag 4467933/5557870 1258.83/1241.94 c cleaning 65999 clauses out of 132004 with flag 4602221/5624870 1283.39/1266.23 c cleaning 67001 clauses out of 134005 with flag 4738483/5692870 1308.13/1290.77 c cleaning 67997 clauses out of 136005 with flag 4877627/5761871 1335.95/1318.22 c cleaning 68999 clauses out of 138008 with flag 5021723/5831871 1364.36/1346.31 c cleaning 70000 clauses out of 140009 with flag 5169612/5902871 1392.50/1374.13 c cleaning 71003 clauses out of 142008 with flag 5317136/5974870 1421.71/1403.04 c cleaning 72001 clauses out of 144006 with flag 5466891/6047871 1451.85/1432.83 c cleaning 72997 clauses out of 146005 with flag 5618062/6121871 1482.54/1463.25 c cleaning 74000 clauses out of 148008 with flag 5772094/6196871 1515.47/1495.78 c cleaning 74997 clauses out of 150007 with flag 5927782/6272870 1549.01/1528.94 c cleaning 76003 clauses out of 152010 with flag 6082653/6349870 1585.25/1564.90 c cleaning 77002 clauses out of 154008 with flag 6242636/6427871 1619.27/1598.39 c cleaning 77999 clauses out of 156006 with flag 6402337/6506871 1652.37/1631.14 c cleaning 78999 clauses out of 158007 with flag 6565798/6586871 1692.11/1670.44 c cleaning 80001 clauses out of 160007 with flag 6731906/6667870 1725.54/1703.49 c cleaning 81001 clauses out of 162006 with flag 6898603/6749870 1761.86/1739.45 c cleaning 81998 clauses out of 164006 with flag 7067214/6832871 1800.03/1777.10 c starts : 3892 1800.03/1777.10 c conflicts : 6916424 1800.03/1777.10 c decisions : 8452091 1800.03/1777.10 c propagations : 288045653 1800.03/1777.10 c inspects : 26518568392 1800.03/1777.10 c shortcuts : 0 1800.03/1777.10 c learnt literals : 0 1800.03/1777.10 c learnt binary clauses : 143 1800.03/1777.10 c learnt ternary clauses : 1322 1800.03/1777.10 c learnt constraints : 6916424 1800.03/1777.10 c ignored constraints : 0 1800.03/1777.10 c root simplifications : 0 1800.03/1777.10 c removed literals (reason simplification) : 0 1800.03/1777.10 c reason swapping (by a shorter reason) : 0 1800.03/1777.10 c Calls to reduceDB : 305 1800.03/1777.10 c Number of update (reduction) of LBD : 20580 1800.03/1777.10 c Imported unit clauses : 0 1800.03/1777.10 c number of reductions to clauses (during analyze) : 0 1800.03/1777.10 c number of learned constraints concerned by reduction : 0 1800.03/1777.10 c number of learning phase by resolution : 0 1800.03/1777.10 c number of learning phase by cutting planes : 0 1800.03/1777.10 c speed (assignments/second) : 162110.74291792474 1800.03/1777.10 c non guided choices 0 1800.03/1777.13 c learnt constraints type 1800.03/1777.13 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 143 1800.03/1777.13 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 165419 1800.03/1777.13 s SATISFIABLE 1800.03/1777.14 c Found 153 solution(s) 1800.03/1777.14 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 1800.03/1777.14 c objective function=-738 1800.03/1777.14 c Total wall clock time (in seconds): 1777.02
OK -738
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4119230-1467252072/watcher-4119230-1467252072 -o /tmp/evaluation-result-4119230-1467252072/solver-4119230-1467252072 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467250272-6981 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119230-1467252072.opb pid=7175 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.16 2.19 2.18 4/173 7178 /proc/meminfo: memFree=30325860/32872528 swapFree=1298332/1461852 [pid=7178] ppid=7175 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/7178/stat : 7178 (java) R 7175 7178 6451 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 4233198 9515008 185 33554432000 1073741824 1073778376 140736712368672 140736712359704 227512315319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/7178/statm: 2323 185 142 9 0 71 0 [startup+0.100061 s] /proc/loadavg: 2.16 2.19 2.18 4/173 7178 /proc/meminfo: memFree=30325860/32872528 swapFree=1298332/1461852 [pid=7178] ppid=7175 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/7178/stat : 7178 (java) S 7175 7178 6451 0 -1 4202496 4416 0 1 0 8 0 0 0 20 0 18 0 4233198 9787879424 6042 33554432000 1073741824 1073778376 140736627584832 140736627575968 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7178/statm: 2389619 6042 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200226 s] /proc/loadavg: 2.16 2.19 2.18 4/173 7178 /proc/meminfo: memFree=30325860/32872528 swapFree=1298332/1461852 [pid=7178] ppid=7175 vsize=9558476 CPUtime=0.23 cores=1,3,5,7 /proc/7178/stat : 7178 (java) S 7175 7178 6451 0 -1 4202496 4677 0 1 0 22 1 0 0 20 0 18 0 4233198 9787879424 6780 33554432000 1073741824 1073778376 140736627584832 140736627575968 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7178/statm: 2389619 6780 2215 9 0 2380296 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 9558476 [startup+0.300241 s] /proc/loadavg: 2.16 2.19 2.18 4/173 7178 /proc/meminfo: memFree=30325860/32872528 swapFree=1298332/1461852 [pid=7178] ppid=7175 vsize=9625040 CPUtime=0.41 cores=1,3,5,7 /proc/7178/stat : 7178 (java) S 7175 7178 6451 0 -1 4202496 5332 0 1 0 40 1 0 0 20 0 19 0 4233198 9856040960 7778 33554432000 1073741824 1073778376 140736627584832 140736627575968 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7178/statm: 2406260 7778 2248 9 0 2396937 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 9625040 [startup+0.700242 s] /proc/loadavg: 2.16 2.19 2.18 4/173 7178 /proc/meminfo: memFree=30325860/32872528 swapFree=1298332/1461852 [pid=7178] ppid=7175 vsize=9625040 CPUtime=1.5 cores=1,3,5,7 /proc/7178/stat : 7178 (java) S 7175 7178 6451 0 -1 4202496 12983 0 1 0 147 3 0 0 20 0 19 0 4233198 9856040960 15135 33554432000 1073741824 1073778376 140736627584832 140736627575968 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7178/statm: 2406260 15135 2267 9 0 2396937 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 9625040 [startup+1.50069 s] /proc/loadavg: 2.16 2.19 2.18 4/212 7247 /proc/meminfo: memFree=30244984/32872528 swapFree=1298332/1461852 [pid=7178] ppid=7175 vsize=9625040 CPUtime=2.39 cores=1,3,5,7 /proc/7178/stat : 7178 (java) S 7175 7178 6451 0 -1 4202496 13017 0 1 0 235 4 0 0 20 0 19 0 4233198 9856040960 22833 33554432000 1073741824 1073778376 140736627584832 140736627575968 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7178/statm: 2406260 22833 2272 9 0 2396937 0 [pid=7178/tid=7180] ppid=7175 vsize=9625040 CPUtime=1.46 cores=1,3,5,7 /proc/7178/task/7180/stat : 7180 (java) R 7175 7178 6451 0 -1 4202560 2433 0 1 0 144 2 0 0 20 0 19 0 4233199 9856040960 22833 33554432000 1073741824 1073778376 140736627584832 139964850819384 139964679948823 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7181] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7181/stat : 7181 (java) S 7175 7178 6451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 22833 33554432000 1073741824 1073778376 140736627584832 139964812311336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7182] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7182/stat : 7182 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 22833 33554432000 1073741824 1073778376 140736627584832 139964811258536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7183] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7183/stat : 7183 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 22833 33554432000 1073741824 1073778376 140736627584832 139964810206248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7184] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7184/stat : 7184 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 22833 33554432000 1073741824 1073778376 140736627584832 139964809153448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7185] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7185/stat : 7185 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 22833 33554432000 1073741824 1073778376 140736627584832 139964808100136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7186] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7186/stat : 7186 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 22833 33554432000 1073741824 1073778376 140736627584832 139964807047336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7187] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7187/stat : 7187 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 22833 33554432000 1073741824 1073778376 140736627584832 139964805995048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7188] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7188/stat : 7188 (java) S 7175 7178 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 22833 33554432000 1073741824 1073778376 140736627584832 139964804942248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7189] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7189/stat : 7189 (java) S 7175 7178 6451 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4233202 9856040960 22833 33554432000 1073741824 1073778376 140736627584832 139964674185960 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7190] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7190/stat : 7190 (java) S 7175 7178 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4233202 9856040960 22833 33554432000 1073741824 1073778376 140736627584832 139964673132024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7191] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7191/stat : 7191 (java) S 7175 7178 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4233202 9856040960 22833 33554432000 1073741824 1073778376 140736627584832 139964672079624 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7192] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7192/stat : 7192 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233205 9856040960 22833 33554432000 1073741824 1073778376 140736627584832 139964671028112 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7193] ppid=7175 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/7178/task/7193/stat : 7193 (java) S 7175 7178 6451 0 -1 4202560 4979 0 0 0 41 1 0 0 20 0 19 0 4233205 9856040960 22833 33554432000 1073741824 1073778376 140736627584832 139964669974712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7178/tid=7194] ppid=7175 vsize=9625040 CPUtime=0.48 cores=1,3,5,7 /proc/7178/task/7194/stat : 7194 (java) S 7175 7178 6451 0 -1 4202560 4332 0 0 0 46 2 0 0 20 0 19 0 4233205 9856040960 22833 33554432000 1073741824 1073778376 140736627584832 139964668921912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7195] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7195/stat : 7195 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233205 9856040960 22833 33554432000 1073741824 1073778376 140736627584832 139964667869816 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7196] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7196/stat : 7196 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233205 9856040960 22833 33554432000 1073741824 1073778376 140736627584832 139964666817224 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7197] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7197/stat : 7197 (java) S 7175 7178 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4233225 9856040960 22833 33554432000 1073741824 1073778376 140736627584832 139964665763240 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.39 Current children cumulated vsize (KiB) 9625040 [startup+3.10073 s] /proc/loadavg: 2.23 2.20 2.18 6/212 7247 /proc/meminfo: memFree=30177708/32872528 swapFree=1298332/1461852 [pid=7178] ppid=7175 vsize=9625040 CPUtime=4.12 cores=1,3,5,7 /proc/7178/stat : 7178 (java) S 7175 7178 6451 0 -1 4202496 13042 0 1 0 407 5 0 0 20 0 19 0 4233198 9856040960 31029 33554432000 1073741824 1073778376 140736627584832 140736627575968 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7178/statm: 2406260 31029 2276 9 0 2396937 0 [pid=7178/tid=7180] ppid=7175 vsize=9625040 CPUtime=3.05 cores=1,3,5,7 /proc/7178/task/7180/stat : 7180 (java) R 7175 7178 6451 0 -1 4202560 2451 0 1 0 303 2 0 0 20 0 19 0 4233199 9856040960 31029 33554432000 1073741824 1073778376 140736627584832 139964850819496 139964680259230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7181] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7181/stat : 7181 (java) S 7175 7178 6451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 31029 33554432000 1073741824 1073778376 140736627584832 139964812311336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7182] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7182/stat : 7182 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 31029 33554432000 1073741824 1073778376 140736627584832 139964811258536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7183] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7183/stat : 7183 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 31029 33554432000 1073741824 1073778376 140736627584832 139964810206248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7184] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7184/stat : 7184 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 31029 33554432000 1073741824 1073778376 140736627584832 139964809153448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7185] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7185/stat : 7185 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 31029 33554432000 1073741824 1073778376 140736627584832 139964808100136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7186] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7186/stat : 7186 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 31029 33554432000 1073741824 1073778376 140736627584832 139964807047336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7187] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7187/stat : 7187 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 31029 33554432000 1073741824 1073778376 140736627584832 139964805995048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7188] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7188/stat : 7188 (java) S 7175 7178 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 31029 33554432000 1073741824 1073778376 140736627584832 139964804942248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7189] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7189/stat : 7189 (java) S 7175 7178 6451 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4233202 9856040960 31029 33554432000 1073741824 1073778376 140736627584832 139964674185960 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7190] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7190/stat : 7190 (java) S 7175 7178 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4233202 9856040960 31029 33554432000 1073741824 1073778376 140736627584832 139964673132024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7191] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7191/stat : 7191 (java) S 7175 7178 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4233202 9856040960 31029 33554432000 1073741824 1073778376 140736627584832 139964672079624 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7192] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7192/stat : 7192 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233205 9856040960 31029 33554432000 1073741824 1073778376 140736627584832 139964671028112 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7193] ppid=7175 vsize=9625040 CPUtime=0.46 cores=1,3,5,7 /proc/7178/task/7193/stat : 7193 (java) S 7175 7178 6451 0 -1 4202560 4982 0 0 0 45 1 0 0 20 0 19 0 4233205 9856040960 31029 33554432000 1073741824 1073778376 140736627584832 139964669974712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7178/tid=7194] ppid=7175 vsize=9625040 CPUtime=0.57 cores=1,3,5,7 /proc/7178/task/7194/stat : 7194 (java) S 7175 7178 6451 0 -1 4202560 4336 0 0 0 55 2 0 0 20 0 19 0 4233205 9856040960 31029 33554432000 1073741824 1073778376 140736627584832 139964668921912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7195] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7195/stat : 7195 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233205 9856040960 31029 33554432000 1073741824 1073778376 140736627584832 139964667869816 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7196] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7196/stat : 7196 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233205 9856040960 31029 33554432000 1073741824 1073778376 140736627584832 139964666817224 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7197] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7197/stat : 7197 (java) S 7175 7178 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4233225 9856040960 31029 33554432000 1073741824 1073778376 140736627584832 139964665763240 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.12 Current children cumulated vsize (KiB) 9625040 [startup+6.30074 s] /proc/loadavg: 2.23 2.20 2.18 3/212 7247 /proc/meminfo: memFree=30042112/32872528 swapFree=1298332/1461852 [pid=7178] ppid=7175 vsize=9625040 CPUtime=7.39 cores=1,3,5,7 /proc/7178/stat : 7178 (java) S 7175 7178 6451 0 -1 4202496 13124 0 1 0 731 8 0 0 20 0 19 0 4233198 9856040960 46752 33554432000 1073741824 1073778376 140736627584832 140736627575968 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7178/statm: 2406260 46752 2290 9 0 2396937 0 [pid=7178/tid=7180] ppid=7175 vsize=9625040 CPUtime=6.22 cores=1,3,5,7 /proc/7178/task/7180/stat : 7180 (java) R 7175 7178 6451 0 -1 4202560 2479 0 1 0 619 3 0 0 20 0 19 0 4233199 9856040960 46752 33554432000 1073741824 1073778376 140736627584832 139964850818360 139964679965807 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7181] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7181/stat : 7181 (java) S 7175 7178 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 46752 33554432000 1073741824 1073778376 140736627584832 139964812311336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7178/tid=7182] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7182/stat : 7182 (java) S 7175 7178 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 46752 33554432000 1073741824 1073778376 140736627584832 139964811258536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7178/tid=7183] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7183/stat : 7183 (java) S 7175 7178 6451 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 46752 33554432000 1073741824 1073778376 140736627584832 139964810206248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7178/tid=7184] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7184/stat : 7184 (java) S 7175 7178 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 46752 33554432000 1073741824 1073778376 140736627584832 139964809153448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7178/tid=7185] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7185/stat : 7185 (java) S 7175 7178 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 46752 33554432000 1073741824 1073778376 140736627584832 139964808100136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7186] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7186/stat : 7186 (java) S 7175 7178 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 46752 33554432000 1073741824 1073778376 140736627584832 139964807047336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7187] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7187/stat : 7187 (java) S 7175 7178 6451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 46752 33554432000 1073741824 1073778376 140736627584832 139964805995048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7188] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7188/stat : 7188 (java) S 7175 7178 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4233201 9856040960 46752 33554432000 1073741824 1073778376 140736627584832 139964804942248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7189] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7189/stat : 7189 (java) S 7175 7178 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 4233202 9856040960 46752 33554432000 1073741824 1073778376 140736627584832 139964674185960 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7178/tid=7190] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7190/stat : 7190 (java) S 7175 7178 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4233202 9856040960 46752 33554432000 1073741824 1073778376 140736627584832 139964673132024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7191] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7191/stat : 7191 (java) S 7175 7178 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4233202 9856040960 46752 33554432000 1073741824 1073778376 140736627584832 139964672079624 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7192] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7192/stat : 7192 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233205 9856040960 46752 33554432000 1073741824 1073778376 140736627584832 139964671028112 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7193] ppid=7175 vsize=9625040 CPUtime=0.48 cores=1,3,5,7 /proc/7178/task/7193/stat : 7193 (java) S 7175 7178 6451 0 -1 4202560 4982 0 0 0 47 1 0 0 20 0 19 0 4233205 9856040960 46752 33554432000 1073741824 1073778376 140736627584832 139964669974712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7178/tid=7194] ppid=7175 vsize=9625040 CPUtime=0.57 cores=1,3,5,7 /proc/7178/task/7194/stat : 7194 (java) S 7175 7178 6451 0 -1 4202560 4336 0 0 0 55 2 0 0 20 0 19 0 4233205 9856040960 46752 33554432000 1073741824 1073778376 140736627584832 139964668921912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7195] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7195/stat : 7195 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233205 9856040960 46752 33554432000 1073741824 1073778376 140736627584832 139964667869816 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7196] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7196/stat : 7196 (java) S 7175 7178 6451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4233205 9856040960 46752 33554432000 1073741824 1073778376 140736627584832 139964666817224 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7197] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7197/stat : 7197 (java) S 7175 7178 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4233225 9856040960 46752 33554432000 1073741824 1073778376 140736627584832 139964665763240 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.39 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=7178/tid=7197] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7197/stat : 7197 (java) S 7175 7178 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4233225 9856040960 112994 33554432000 1073741824 1073778376 140736627584832 139964665763240 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1683.95 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.17 2.17 2.17 3/211 7287 /proc/meminfo: memFree=29676924/32872528 swapFree=1298332/1461852 [pid=7178] ppid=7175 vsize=9625040 CPUtime=1744.61 cores=1,3,5,7 /proc/7178/stat : 7178 (java) S 7175 7178 6451 0 -1 4202496 42966 0 1 0 174273 188 0 0 20 0 19 0 4233198 9856040960 97824 33554432000 1073741824 1073778376 140736627584832 140736627575968 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7178/statm: 2406260 97824 2298 9 0 2396937 0 [pid=7178/tid=7180] ppid=7175 vsize=9625040 CPUtime=1703.23 cores=1,3,5,7 /proc/7178/task/7180/stat : 7180 (java) R 7175 7178 6451 0 -1 4202560 3169 0 1 0 170288 35 0 0 20 0 19 0 4233199 9856040960 97824 33554432000 1073741824 1073778376 140736627584832 139964850818272 139964680226748 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=7178/tid=7181] ppid=7175 vsize=9625040 CPUtime=3.67 cores=1,3,5,7 /proc/7178/task/7181/stat : 7181 (java) S 7175 7178 6451 0 -1 4202560 3538 0 0 0 349 18 0 0 20 0 19 0 4233201 9856040960 97824 33554432000 1073741824 1073778376 140736627584832 139964812311336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7182] ppid=7175 vsize=9625040 CPUtime=3.71 cores=1,3,5,7 /proc/7178/task/7182/stat : 7182 (java) S 7175 7178 6451 0 -1 4202560 1858 0 0 0 355 16 0 0 20 0 19 0 4233201 9856040960 97824 33554432000 1073741824 1073778376 140736627584832 139964811258536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7183] ppid=7175 vsize=9625040 CPUtime=3.74 cores=1,3,5,7 /proc/7178/task/7183/stat : 7183 (java) S 7175 7178 6451 0 -1 4202560 2715 0 0 0 354 20 0 0 20 0 19 0 4233201 9856040960 97824 33554432000 1073741824 1073778376 140736627584832 139964810206248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7184] ppid=7175 vsize=9625040 CPUtime=3.67 cores=1,3,5,7 /proc/7178/task/7184/stat : 7184 (java) S 7175 7178 6451 0 -1 4202560 2909 0 0 0 348 19 0 0 20 0 19 0 4233201 9856040960 97824 33554432000 1073741824 1073778376 140736627584832 139964809153448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7185] ppid=7175 vsize=9625040 CPUtime=3.9 cores=1,3,5,7 /proc/7178/task/7185/stat : 7185 (java) S 7175 7178 6451 0 -1 4202560 2755 0 0 0 372 18 0 0 20 0 19 0 4233201 9856040960 97824 33554432000 1073741824 1073778376 140736627584832 139964808100136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7178/tid=7186] ppid=7175 vsize=9625040 CPUtime=3.82 cores=1,3,5,7 /proc/7178/task/7186/stat : 7186 (java) S 7175 7178 6451 0 -1 4202560 3945 0 0 0 361 21 0 0 20 0 19 0 4233201 9856040960 97824 33554432000 1073741824 1073778376 140736627584832 139964807047336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7187] ppid=7175 vsize=9625040 CPUtime=3.63 cores=1,3,5,7 /proc/7178/task/7187/stat : 7187 (java) S 7175 7178 6451 0 -1 4202560 2677 0 0 0 345 18 0 0 20 0 19 0 4233201 9856040960 97824 33554432000 1073741824 1073778376 140736627584832 139964805995048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7188] ppid=7175 vsize=9625040 CPUtime=3.59 cores=1,3,5,7 /proc/7178/task/7188/stat : 7188 (java) S 7175 7178 6451 0 -1 4202560 2176 0 0 0 343 16 0 0 20 0 19 0 4233201 9856040960 97824 33554432000 1073741824 1073778376 140736627584832 139964804942248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7178/tid=7189] ppid=7175 vsize=9625040 CPUtime=5.35 cores=1,3,5,7 /proc/7178/task/7189/stat : 7189 (java) S 7175 7178 6451 0 -1 4202560 1244 0 0 0 527 8 0 0 20 0 19 0 4233202 9856040960 97824 33554432000 1073741824 1073778376 140736627584832 139964674185960 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7178/tid=7190] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7190/stat : 7190 (java) S 7175 7178 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4233202 9856040960 97824 33554432000 1073741824 1073778376 140736627584832 139964673132024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7191] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7191/stat : 7191 (java) S 7175 7178 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4233202 9856040960 97824 33554432000 1073741824 1073778376 140736627584832 139964672079624 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7192] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7192/stat : 7192 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233205 9856040960 97824 33554432000 1073741824 1073778376 140736627584832 139964671028112 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7193] ppid=7175 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/7178/task/7193/stat : 7193 (java) S 7175 7178 6451 0 -1 4202560 4983 0 0 0 55 1 0 0 20 0 19 0 4233205 9856040960 97824 33554432000 1073741824 1073778376 140736627584832 139964669974712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7178/tid=7194] ppid=7175 vsize=9625040 CPUtime=1.05 cores=1,3,5,7 /proc/7178/task/7194/stat : 7194 (java) S 7175 7178 6451 0 -1 4202560 9639 0 0 0 102 3 0 0 20 0 19 0 4233205 9856040960 97824 33554432000 1073741824 1073778376 140736627584832 139964668921912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7195] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7195/stat : 7195 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233205 9856040960 97824 33554432000 1073741824 1073778376 140736627584832 139964667869816 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7196] ppid=7175 vsize=9625040 CPUtime=0.44 cores=1,3,5,7 /proc/7178/task/7196/stat : 7196 (java) S 7175 7178 6451 0 -1 4202560 100 0 0 0 21 23 0 0 20 0 19 0 4233205 9856040960 97824 33554432000 1073741824 1073778376 140736627584832 139964666817224 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7197] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7197/stat : 7197 (java) S 7175 7178 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4233225 9856040960 97824 33554432000 1073741824 1073778376 140736627584832 139964665763240 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1744.61 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1777.1 s] /proc/loadavg: 2.13 2.16 2.17 3/212 7291 /proc/meminfo: memFree=29593824/32872528 swapFree=1298332/1461852 [pid=7178] ppid=7175 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7 /proc/7178/stat : 7178 (java) S 7175 7178 6451 0 -1 4202496 43797 0 1 0 179806 197 0 0 20 0 19 0 4233198 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 140736627575968 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7178/statm: 2406260 109547 2298 9 0 2396937 0 [pid=7178/tid=7180] ppid=7175 vsize=9625040 CPUtime=1757.37 cores=1,3,5,7 /proc/7178/task/7180/stat : 7180 (java) R 7175 7178 6451 0 -1 4202560 3189 0 1 0 175701 36 0 0 20 0 19 0 4233199 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964850818192 139964680226748 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7181] ppid=7175 vsize=9625040 CPUtime=3.77 cores=1,3,5,7 /proc/7178/task/7181/stat : 7181 (java) S 7175 7178 6451 0 -1 4202560 3544 0 0 0 358 19 0 0 20 0 19 0 4233201 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964812311336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7182] ppid=7175 vsize=9625040 CPUtime=3.8 cores=1,3,5,7 /proc/7178/task/7182/stat : 7182 (java) S 7175 7178 6451 0 -1 4202560 1971 0 0 0 363 17 0 0 20 0 19 0 4233201 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964811258536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7183] ppid=7175 vsize=9625040 CPUtime=3.86 cores=1,3,5,7 /proc/7178/task/7183/stat : 7183 (java) S 7175 7178 6451 0 -1 4202560 2747 0 0 0 365 21 0 0 20 0 19 0 4233201 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964810206248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7178/tid=7184] ppid=7175 vsize=9625040 CPUtime=3.82 cores=1,3,5,7 /proc/7178/task/7184/stat : 7184 (java) S 7175 7178 6451 0 -1 4202560 3084 0 0 0 362 20 0 0 20 0 19 0 4233201 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964809153448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7185] ppid=7175 vsize=9625040 CPUtime=4.02 cores=1,3,5,7 /proc/7178/task/7185/stat : 7185 (java) S 7175 7178 6451 0 -1 4202560 3019 0 0 0 383 19 0 0 20 0 19 0 4233201 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964808100136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7186] ppid=7175 vsize=9625040 CPUtime=3.93 cores=1,3,5,7 /proc/7178/task/7186/stat : 7186 (java) S 7175 7178 6451 0 -1 4202560 3964 0 0 0 371 22 0 0 20 0 19 0 4233201 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964807047336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7187] ppid=7175 vsize=9625040 CPUtime=3.74 cores=1,3,5,7 /proc/7178/task/7187/stat : 7187 (java) S 7175 7178 6451 0 -1 4202560 2726 0 0 0 355 19 0 0 20 0 19 0 4233201 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964805995048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7188] ppid=7175 vsize=9625040 CPUtime=3.7 cores=1,3,5,7 /proc/7178/task/7188/stat : 7188 (java) S 7175 7178 6451 0 -1 4202560 2226 0 0 0 353 17 0 0 20 0 19 0 4233201 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964804942248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7178/tid=7189] ppid=7175 vsize=9625040 CPUtime=5.6 cores=1,3,5,7 /proc/7178/task/7189/stat : 7189 (java) S 7175 7178 6451 0 -1 4202560 1343 0 0 0 551 9 0 0 20 0 19 0 4233202 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964674185960 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7190] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7190/stat : 7190 (java) S 7175 7178 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4233202 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964673132024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7191] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7191/stat : 7191 (java) S 7175 7178 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4233202 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964672079624 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7192] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7192/stat : 7192 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233205 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964671028112 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7193] ppid=7175 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/7178/task/7193/stat : 7193 (java) S 7175 7178 6451 0 -1 4202560 4983 0 0 0 55 1 0 0 20 0 19 0 4233205 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964669974712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7178/tid=7194] ppid=7175 vsize=9625040 CPUtime=1.05 cores=1,3,5,7 /proc/7178/task/7194/stat : 7194 (java) S 7175 7178 6451 0 -1 4202560 9639 0 0 0 102 3 0 0 20 0 19 0 4233205 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964668921912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7195] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7195/stat : 7195 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233205 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964667869816 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7196] ppid=7175 vsize=9625040 CPUtime=0.46 cores=1,3,5,7 /proc/7178/task/7196/stat : 7196 (java) S 7175 7178 6451 0 -1 4202560 104 0 0 0 21 25 0 0 20 0 19 0 4233205 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964666817224 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7197] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7197/stat : 7197 (java) S 7175 7178 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4233225 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964665763240 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 7178 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1777.1 s] /proc/loadavg: 2.13 2.16 2.17 3/212 7291 /proc/meminfo: memFree=29593824/32872528 swapFree=1298332/1461852 [pid=7178] ppid=7175 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7 /proc/7178/stat : 7178 (java) S 7175 7178 6451 0 -1 4202496 43797 0 1 0 179806 197 0 0 20 0 19 0 4233198 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 140736627575968 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/7178/statm: 2406260 109547 2298 9 0 2396937 0 [pid=7178/tid=7180] ppid=7175 vsize=9625040 CPUtime=1757.37 cores=1,3,5,7 /proc/7178/task/7180/stat : 7180 (java) R 7175 7178 6451 0 -1 4202560 3189 0 1 0 175701 36 0 0 20 0 19 0 4233199 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964850818192 139964680226748 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7181] ppid=7175 vsize=9625040 CPUtime=3.77 cores=1,3,5,7 /proc/7178/task/7181/stat : 7181 (java) S 7175 7178 6451 0 -1 4202560 3544 0 0 0 358 19 0 0 20 0 19 0 4233201 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964812311336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7182] ppid=7175 vsize=9625040 CPUtime=3.8 cores=1,3,5,7 /proc/7178/task/7182/stat : 7182 (java) S 7175 7178 6451 0 -1 4202560 1971 0 0 0 363 17 0 0 20 0 19 0 4233201 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964811258536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7183] ppid=7175 vsize=9625040 CPUtime=3.86 cores=1,3,5,7 /proc/7178/task/7183/stat : 7183 (java) S 7175 7178 6451 0 -1 4202560 2747 0 0 0 365 21 0 0 20 0 19 0 4233201 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964810206248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7178/tid=7184] ppid=7175 vsize=9625040 CPUtime=3.82 cores=1,3,5,7 /proc/7178/task/7184/stat : 7184 (java) S 7175 7178 6451 0 -1 4202560 3084 0 0 0 362 20 0 0 20 0 19 0 4233201 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964809153448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7185] ppid=7175 vsize=9625040 CPUtime=4.02 cores=1,3,5,7 /proc/7178/task/7185/stat : 7185 (java) S 7175 7178 6451 0 -1 4202560 3019 0 0 0 383 19 0 0 20 0 19 0 4233201 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964808100136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7186] ppid=7175 vsize=9625040 CPUtime=3.93 cores=1,3,5,7 /proc/7178/task/7186/stat : 7186 (java) S 7175 7178 6451 0 -1 4202560 3964 0 0 0 371 22 0 0 20 0 19 0 4233201 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964807047336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7187] ppid=7175 vsize=9625040 CPUtime=3.74 cores=1,3,5,7 /proc/7178/task/7187/stat : 7187 (java) S 7175 7178 6451 0 -1 4202560 2726 0 0 0 355 19 0 0 20 0 19 0 4233201 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964805995048 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7188] ppid=7175 vsize=9625040 CPUtime=3.7 cores=1,3,5,7 /proc/7178/task/7188/stat : 7188 (java) S 7175 7178 6451 0 -1 4202560 2226 0 0 0 353 17 0 0 20 0 19 0 4233201 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964804942248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7178/tid=7189] ppid=7175 vsize=9625040 CPUtime=5.6 cores=1,3,5,7 /proc/7178/task/7189/stat : 7189 (java) S 7175 7178 6451 0 -1 4202560 1343 0 0 0 551 9 0 0 20 0 19 0 4233202 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964674185960 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7178/tid=7190] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7190/stat : 7190 (java) S 7175 7178 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4233202 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964673132024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7191] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7191/stat : 7191 (java) S 7175 7178 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4233202 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964672079624 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7192] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7192/stat : 7192 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233205 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964671028112 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7178/tid=7193] ppid=7175 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/7178/task/7193/stat : 7193 (java) S 7175 7178 6451 0 -1 4202560 4983 0 0 0 55 1 0 0 20 0 19 0 4233205 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964669974712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7178/tid=7194] ppid=7175 vsize=9625040 CPUtime=1.05 cores=1,3,5,7 /proc/7178/task/7194/stat : 7194 (java) S 7175 7178 6451 0 -1 4202560 9639 0 0 0 102 3 0 0 20 0 19 0 4233205 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964668921912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7195] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7195/stat : 7195 (java) S 7175 7178 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4233205 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964667869816 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7196] ppid=7175 vsize=9625040 CPUtime=0.46 cores=1,3,5,7 /proc/7178/task/7196/stat : 7196 (java) S 7175 7178 6451 0 -1 4202560 104 0 0 0 21 25 0 0 20 0 19 0 4233205 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964666817224 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7178/tid=7197] ppid=7175 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7178/task/7197/stat : 7197 (java) S 7175 7178 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4233225 9856040960 109547 33554432000 1073741824 1073778376 140736627584832 139964665763240 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 7178 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=599331 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=421631 # CPU time returned by wait4() is 1796.02 # while last known CPU time is 1800.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1777.14 CPU time (s): 1800.03 CPU user time (s): 1798.06 CPU system time (s): 1.97 CPU usage (%): 101.288 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.6 system time used= 2.42163 maximum resident set size= 569760 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43833 page faults= 1 swaps= 0 block input operations= 240 block output operations= 1720 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 59359 involuntary context switches= 65115 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.86065 second user time and 8.13576 second system time The end
Begin job on node121 at 2016-06-30 04:01:12 IDJOB=4119230 IDBENCH=111678 IDSOLVER=2546 FILE ID=node121/4119230-1467252072 RUNJOBID= node121-1467250272-6981 PBS_JOBID= 20004469 Free space on /tmp= 71688 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-08.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119230-1467252072/watcher-4119230-1467252072 -o /tmp/evaluation-result-4119230-1467252072/solver-4119230-1467252072 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467250272-6981 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119230-1467252072.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b1ffeac28016db478c89954573217882 RANDOM SEED=1721448886 node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.172 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.34 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.172 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.172 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 : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.172 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.172 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 : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.172 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 : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.172 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 : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.172 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30325760 kB Buffers: 87708 kB Cached: 234356 kB SwapCached: 0 kB Active: 143652 kB Inactive: 197224 kB Active(anon): 5912 kB Inactive(anon): 15388 kB Active(file): 137740 kB Inactive(file): 181836 kB Unevictable: 1461852 kB Mlocked: 1298332 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1772 kB Writeback: 0 kB AnonPages: 1480804 kB Mapped: 14308 kB Shmem: 204 kB Slab: 608196 kB SReclaimable: 52148 kB SUnreclaim: 556048 kB KernelStack: 1432 kB PageTables: 6888 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1567224 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 165888 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71700 MiB End job on node121 at 2016-06-30 04:30:49