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) | -3659 | 1800.71 | 1769.74 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-19.opb |
| MD5SUM | 49213c6b64cc7e418e6fc489a0b00141 |
| 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 | -3659 |
| Best CPU time to get the best result obtained on this benchmark | 1800.71 |
| 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 | 3040 |
| Biggest coefficient in the objective function | 1528 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 254268 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 1528 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 254268 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 3015 |
| Sum of products size (including duplicates) | 9642 |
| 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.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/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.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4119466-1467259349.opb 0.09/0.11 c reading problem ... 0.09/0.12 c objective function found 0.71/0.47 c ... done. Wall clock time 0.354s. 0.71/0.47 c declared #vars 25 0.71/0.47 c internal #vars 3040 0.71/0.47 c #constraints 6030 0.71/0.47 c constraints type 0.71/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3015 0.71/0.47 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3015 0.71/0.47 c 6030 constraints processed. 0.71/0.47 c objective function length is 3040 literals 0.88/0.51 c SATISFIABLE 0.88/0.51 c OPTIMIZING... 0.88/0.51 c Got one! Elapsed wall clock time (in seconds):0.401 0.88/0.51 o 0 0.88/0.57 c Got one! Elapsed wall clock time (in seconds):0.456 0.88/0.57 o -153 1.18/0.61 c Got one! Elapsed wall clock time (in seconds):0.502 1.18/0.61 o -306 1.18/0.65 c Got one! Elapsed wall clock time (in seconds):0.542 1.18/0.65 o -563 1.18/0.68 c Got one! Elapsed wall clock time (in seconds):0.566 1.18/0.68 o -731 1.49/0.70 c Got one! Elapsed wall clock time (in seconds):0.587 1.49/0.70 o -820 1.49/0.71 c Got one! Elapsed wall clock time (in seconds):0.6 1.49/0.71 o -1140 1.49/0.73 c Got one! Elapsed wall clock time (in seconds):0.621 1.49/0.73 o -1197 1.49/0.76 c Got one! Elapsed wall clock time (in seconds):0.643 1.49/0.76 o -1288 1.49/0.77 c Got one! Elapsed wall clock time (in seconds):0.654 1.49/0.77 o -1323 1.49/0.77 c Got one! Elapsed wall clock time (in seconds):0.66 1.49/0.77 o -1460 1.49/0.78 c Got one! Elapsed wall clock time (in seconds):0.67 1.49/0.78 o -1810 1.77/0.80 c Got one! Elapsed wall clock time (in seconds):0.692 1.77/0.80 o -1819 1.77/0.83 c Got one! Elapsed wall clock time (in seconds):0.714 1.77/0.83 o -2013 1.77/0.85 c Got one! Elapsed wall clock time (in seconds):0.743 1.77/0.85 o -2135 1.77/0.88 c Got one! Elapsed wall clock time (in seconds):0.768 1.77/0.88 o -2144 1.77/0.89 c Got one! Elapsed wall clock time (in seconds):0.776 1.77/0.89 o -2443 1.89/0.97 c Got one! Elapsed wall clock time (in seconds):0.857 1.89/0.97 o -2451 2.04/1.02 c Got one! Elapsed wall clock time (in seconds):0.904 2.04/1.02 o -2650 2.16/1.17 c Got one! Elapsed wall clock time (in seconds):1.056 2.16/1.17 o -2667 2.27/1.21 c Got one! Elapsed wall clock time (in seconds):1.097 2.27/1.21 o -2675 2.27/1.23 c Got one! Elapsed wall clock time (in seconds):1.12 2.27/1.23 o -2680 2.27/1.25 c Got one! Elapsed wall clock time (in seconds):1.135 2.27/1.25 o -2688 2.27/1.26 c Got one! Elapsed wall clock time (in seconds):1.143 2.27/1.26 o -2764 2.46/1.47 c Got one! Elapsed wall clock time (in seconds):1.354 2.46/1.47 o -2830 2.57/1.53 c Got one! Elapsed wall clock time (in seconds):1.413 2.57/1.53 o -2836 2.57/1.58 c Got one! Elapsed wall clock time (in seconds):1.469 2.57/1.58 o -2871 2.67/1.61 c Got one! Elapsed wall clock time (in seconds):1.502 2.67/1.61 o -2881 2.67/1.63 c Got one! Elapsed wall clock time (in seconds):1.52 2.67/1.63 o -2885 2.67/1.65 c Got one! Elapsed wall clock time (in seconds):1.536 2.67/1.65 o -2889 2.67/1.69 c Got one! Elapsed wall clock time (in seconds):1.577 2.67/1.69 o -2894 2.77/1.70 c Got one! Elapsed wall clock time (in seconds):1.587 2.77/1.70 o -2907 2.77/1.71 c Got one! Elapsed wall clock time (in seconds):1.598 2.77/1.71 o -2987 3.17/2.14 c Got one! Elapsed wall clock time (in seconds):2.03 3.17/2.14 o -3001 3.28/2.27 c Got one! Elapsed wall clock time (in seconds):2.161 3.28/2.27 o -3007 3.38/2.32 c Got one! Elapsed wall clock time (in seconds):2.21 3.38/2.32 o -3023 3.38/2.37 c Got one! Elapsed wall clock time (in seconds):2.255 3.38/2.37 o -3031 3.38/2.38 c Got one! Elapsed wall clock time (in seconds):2.266 3.38/2.38 o -3051 3.47/2.49 c Got one! Elapsed wall clock time (in seconds):2.382 3.47/2.49 o -3086 3.67/2.60 c Got one! Elapsed wall clock time (in seconds):2.489 3.67/2.60 o -3094 4.08/3.06 c Got one! Elapsed wall clock time (in seconds):2.946 4.08/3.06 o -3148 4.32/3.29 c Got one! Elapsed wall clock time (in seconds):3.181 4.32/3.29 o -3153 4.52/3.41 c Got one! Elapsed wall clock time (in seconds):3.297 4.52/3.41 o -3155 4.52/3.43 c Got one! Elapsed wall clock time (in seconds):3.323 4.52/3.43 o -3161 4.52/3.44 c Got one! Elapsed wall clock time (in seconds):3.332 4.52/3.44 o -3180 4.52/3.45 c Got one! Elapsed wall clock time (in seconds):3.343 4.52/3.45 o -3185 4.52/3.46 c Got one! Elapsed wall clock time (in seconds):3.347 4.52/3.46 o -3191 4.52/3.49 c Got one! Elapsed wall clock time (in seconds):3.376 4.52/3.49 o -3197 4.62/3.54 c Got one! Elapsed wall clock time (in seconds):3.428 4.62/3.54 o -3201 4.62/3.57 c Got one! Elapsed wall clock time (in seconds):3.461 4.62/3.57 o -3220 5.39/4.26 c Got one! Elapsed wall clock time (in seconds):4.149 5.39/4.26 o -3230 5.49/4.30 c Got one! Elapsed wall clock time (in seconds):4.186 5.49/4.30 o -3236 5.49/4.31 c Got one! Elapsed wall clock time (in seconds):4.194 5.49/4.31 o -3248 5.49/4.31 c Got one! Elapsed wall clock time (in seconds):4.199 5.49/4.31 o -3250 5.49/4.31 c Got one! Elapsed wall clock time (in seconds):4.202 5.49/4.31 o -3257 5.60/4.47 c Got one! Elapsed wall clock time (in seconds):4.353 5.60/4.47 o -3267 6.51/5.35 c cleaning 5131 clauses out of 10266 with flag 4003/10266 7.44/6.21 c Got one! Elapsed wall clock time (in seconds):6.094 7.44/6.21 o -3283 7.85/6.66 c Got one! Elapsed wall clock time (in seconds):6.546 7.85/6.66 o -3337 8.04/6.89 c Got one! Elapsed wall clock time (in seconds):6.775 8.04/6.89 o -3339 8.24/7.00 c Got one! Elapsed wall clock time (in seconds):6.888 8.24/7.00 o -3350 8.24/7.03 c Got one! Elapsed wall clock time (in seconds):6.92 8.24/7.03 o -3354 8.24/7.04 c Got one! Elapsed wall clock time (in seconds):6.926 8.24/7.04 o -3365 8.34/7.10 c Got one! Elapsed wall clock time (in seconds):6.992 8.34/7.10 o -3377 8.86/7.61 c Got one! Elapsed wall clock time (in seconds):7.499 8.86/7.61 o -3388 9.16/7.99 c Got one! Elapsed wall clock time (in seconds):7.875 9.16/7.99 o -3406 9.66/8.44 c cleaning 6173 clauses out of 12350 with flag 2003/17481 11.19/9.80 c Got one! Elapsed wall clock time (in seconds):9.686 11.19/9.80 o -3407 12.11/10.71 c cleaning 5614 clauses out of 11227 with flag 4002/22531 12.11/10.74 c Got one! Elapsed wall clock time (in seconds):10.624 12.11/10.74 o -3412 12.31/10.97 c Got one! Elapsed wall clock time (in seconds):10.855 12.31/10.97 o -3417 12.42/11.09 c Got one! Elapsed wall clock time (in seconds):10.982 12.42/11.09 o -3429 12.52/11.16 c Got one! Elapsed wall clock time (in seconds):11.046 12.52/11.16 o -3430 12.52/11.17 c Got one! Elapsed wall clock time (in seconds):11.061 12.52/11.17 o -3458 12.81/11.41 c Got one! Elapsed wall clock time (in seconds):11.302 12.81/11.41 o -3464 12.91/11.57 c Got one! Elapsed wall clock time (in seconds):11.462 12.91/11.57 o -3485 12.91/11.58 c Got one! Elapsed wall clock time (in seconds):11.47 12.91/11.58 o -3486 14.21/12.87 c Got one! Elapsed wall clock time (in seconds):12.76 14.21/12.87 o -3488 15.11/13.74 c cleaning 6397 clauses out of 12793 with flag 4145/29711 15.49/14.03 c Got one! Elapsed wall clock time (in seconds):13.92 15.49/14.03 o -3489 15.89/14.49 c Got one! Elapsed wall clock time (in seconds):14.379 15.89/14.49 o -3497 16.09/14.62 c Got one! Elapsed wall clock time (in seconds):14.51 16.09/14.62 o -3503 16.19/14.75 c Got one! Elapsed wall clock time (in seconds):14.641 16.19/14.75 o -3506 16.59/15.17 c Got one! Elapsed wall clock time (in seconds):15.059 16.59/15.17 o -3510 18.39/16.94 c cleaning 6858 clauses out of 13715 with flag 8001/37030 21.11/19.59 c cleaning 6429 clauses out of 12857 with flag 20001/43030 23.91/22.39 c Got one! Elapsed wall clock time (in seconds):22.278 23.91/22.39 o -3511 25.82/24.28 c Got one! Elapsed wall clock time (in seconds):24.168 25.82/24.28 o -3526 26.31/24.77 c cleaning 8977 clauses out of 17953 with flag 2003/54555 26.41/24.82 c Got one! Elapsed wall clock time (in seconds):24.711 26.41/24.82 o -3527 26.51/24.90 c Got one! Elapsed wall clock time (in seconds):24.788 26.51/24.90 o -3538 26.51/24.95 c Got one! Elapsed wall clock time (in seconds):24.833 26.51/24.95 o -3540 27.18/25.56 c Got one! Elapsed wall clock time (in seconds):25.451 27.18/25.56 o -3548 27.58/25.93 c Got one! Elapsed wall clock time (in seconds):25.815 27.58/25.93 o -3551 27.58/25.98 c Got one! Elapsed wall clock time (in seconds):25.864 27.58/25.98 o -3553 27.58/25.99 c Got one! Elapsed wall clock time (in seconds):25.877 27.58/25.99 o -3559 28.19/26.55 c Got one! Elapsed wall clock time (in seconds):26.437 28.19/26.55 o -3572 29.48/27.82 c cleaning 8026 clauses out of 16054 with flag 6121/61633 30.39/28.72 c Got one! Elapsed wall clock time (in seconds):28.612 30.39/28.72 o -3573 31.28/29.67 c Got one! Elapsed wall clock time (in seconds):29.554 31.28/29.67 o -3576 31.78/30.12 c cleaning 6720 clauses out of 13441 with flag 2003/67046 34.50/32.79 c cleaning 6358 clauses out of 12720 with flag 14001/73045 37.72/35.82 c cleaning 6681 clauses out of 13362 with flag 28001/80045 41.12/39.28 c cleaning 7339 clauses out of 14681 with flag 44001/88045 41.52/39.64 c Got one! Elapsed wall clock time (in seconds):39.531 41.52/39.64 o -3587 43.83/41.83 c cleaning 6605 clauses out of 13216 with flag 10161/93919 45.83/43.88 c Got one! Elapsed wall clock time (in seconds):43.771 45.83/43.88 o -3591 46.33/44.34 c cleaning 6254 clauses out of 12510 with flag 2002/99818 48.45/46.37 c Got one! Elapsed wall clock time (in seconds):46.254 48.45/46.37 o -3593 48.95/46.82 c cleaning 5956 clauses out of 11919 with flag 2138/105481 50.05/48.00 c Got one! Elapsed wall clock time (in seconds):47.884 50.05/48.00 o -3594 51.35/49.22 c cleaning 5853 clauses out of 11711 with flag 6110/111229 51.55/49.42 c Got one! Elapsed wall clock time (in seconds):49.307 51.55/49.42 o -3597 51.65/49.59 c Got one! Elapsed wall clock time (in seconds):49.475 51.65/49.59 o -3600 53.43/51.20 c Got one! Elapsed wall clock time (in seconds):51.09 53.43/51.20 o -3601 54.23/52.09 c cleaning 6223 clauses out of 12449 with flag 4006/117820 55.23/53.00 c Got one! Elapsed wall clock time (in seconds):52.89 55.23/53.00 o -3624 56.43/54.22 c cleaning 5712 clauses out of 11424 with flag 6014/123018 58.90/56.60 c cleaning 5854 clauses out of 11713 with flag 18110/129019 61.40/59.13 c cleaning 6424 clauses out of 12858 with flag 32123/136018 64.65/62.33 c cleaning 7215 clauses out of 14435 with flag 48125/144019 68.41/66.08 c cleaning 8109 clauses out of 16220 with flag 66125/153019 71.67/69.30 c Got one! Elapsed wall clock time (in seconds):69.191 71.67/69.30 o -3627 74.07/71.63 c cleaning 10347 clauses out of 20695 with flag 10179/165603 76.80/74.34 c cleaning 8168 clauses out of 16347 with flag 22282/171602 80.01/77.55 c cleaning 7587 clauses out of 15179 with flag 36581/178602 83.64/81.17 c cleaning 7791 clauses out of 15593 with flag 52810/186603 87.75/85.22 c cleaning 8397 clauses out of 16801 with flag 71052/195602 92.31/89.70 c cleaning 9200 clauses out of 18404 with flag 91486/205602 97.34/94.64 c cleaning 10099 clauses out of 20205 with flag 113764/216603 102.81/100.00 c cleaning 11049 clauses out of 22105 with flag 138253/228602 108.65/105.83 c cleaning 12028 clauses out of 24056 with flag 164535/241602 113.22/110.30 c Got one! Elapsed wall clock time (in seconds):110.189 113.22/110.30 o -3629 115.62/112.72 c cleaning 13364 clauses out of 26729 with flag 10290/256303 118.36/115.47 c cleaning 9680 clauses out of 19364 with flag 22832/262302 121.72/118.70 c cleaning 8335 clauses out of 16685 with flag 37027/269303 125.15/122.18 c cleaning 8169 clauses out of 16350 with flag 53027/277303 129.00/125.99 c cleaning 8587 clauses out of 17181 with flag 71071/286303 129.90/126.81 c Got one! Elapsed wall clock time (in seconds):126.693 129.90/126.81 o -3638 131.21/128.13 c cleaning 6807 clauses out of 13621 with flag 6004/291330 133.86/130.76 c cleaning 6402 clauses out of 12814 with flag 18004/297330 136.91/133.72 c cleaning 6706 clauses out of 13412 with flag 32004/304330 140.35/137.16 c cleaning 7351 clauses out of 14706 with flag 48004/312330 144.38/141.18 c cleaning 8175 clauses out of 16356 with flag 66006/321331 148.90/145.66 c cleaning 9085 clauses out of 18180 with flag 86004/331330 153.69/150.39 c cleaning 10047 clauses out of 20096 with flag 108006/342331 159.28/155.84 c cleaning 11021 clauses out of 22049 with flag 132006/354331 164.56/161.09 c cleaning 12013 clauses out of 24027 with flag 158004/367330 170.85/167.28 c cleaning 13006 clauses out of 26015 with flag 186006/381331 177.68/173.97 c cleaning 14003 clauses out of 28008 with flag 216004/396330 185.10/181.25 c cleaning 15003 clauses out of 30006 with flag 248021/412331 193.66/189.65 c cleaning 15997 clauses out of 32002 with flag 282227/429330 202.75/198.51 c cleaning 17001 clauses out of 34005 with flag 318537/447330 205.48/201.29 c Got one! Elapsed wall clock time (in seconds):201.182 205.48/201.29 o -3639 207.89/203.66 c cleaning 14033 clauses out of 28070 with flag 10053/458396 210.51/206.28 c cleaning 10017 clauses out of 20038 with flag 22055/464397 213.53/209.24 c cleaning 8506 clauses out of 17021 with flag 36055/471397 214.93/210.62 c Got one! Elapsed wall clock time (in seconds):210.512 214.93/210.62 o -3641 215.87/211.52 c cleaning 6904 clauses out of 13814 with flag 4135/476696 218.29/213.94 c cleaning 6453 clauses out of 12911 with flag 16436/482697 221.13/216.71 c cleaning 6725 clauses out of 13457 with flag 30657/489696 224.31/219.83 c cleaning 7366 clauses out of 14733 with flag 46660/497697 227.75/223.20 c cleaning 8181 clauses out of 16367 with flag 64676/506697 231.78/227.22 c cleaning 9093 clauses out of 18185 with flag 84674/516696 236.44/231.71 c cleaning 10044 clauses out of 20093 with flag 106676/527697 241.10/236.32 c cleaning 11023 clauses out of 22049 with flag 130676/539697 246.27/241.44 c cleaning 12010 clauses out of 24025 with flag 156674/552696 252.53/247.58 c cleaning 13008 clauses out of 26016 with flag 184677/566697 259.04/253.91 c cleaning 14002 clauses out of 28007 with flag 214675/581696 266.91/261.67 c cleaning 15000 clauses out of 30006 with flag 247079/597697 275.51/270.10 c cleaning 16002 clauses out of 32006 with flag 281561/614697 284.71/279.12 c cleaning 16999 clauses out of 34004 with flag 318125/632697 294.25/288.52 c cleaning 17999 clauses out of 36005 with flag 356286/651697 301.26/295.48 c Got one! Elapsed wall clock time (in seconds):295.372 301.26/295.48 o -3642 303.94/298.02 c cleaning 18905 clauses out of 37812 with flag 10169/671503 306.67/300.73 c cleaning 12447 clauses out of 24907 with flag 22234/677503 309.80/303.85 c cleaning 9726 clauses out of 19460 with flag 36243/684503 313.31/307.33 c cleaning 8865 clauses out of 17735 with flag 52253/692504 317.24/311.24 c cleaning 8928 clauses out of 17869 with flag 70262/701503 321.83/315.73 c cleaning 9469 clauses out of 18941 with flag 90315/711503 326.78/320.61 c cleaning 10237 clauses out of 20473 with flag 112367/722504 331.88/325.65 c cleaning 11113 clauses out of 22235 with flag 136429/734503 337.88/331.53 c cleaning 12057 clauses out of 24122 with flag 162434/747503 343.94/337.43 c cleaning 13030 clauses out of 26065 with flag 190447/761503 350.71/344.15 c cleaning 14016 clauses out of 28036 with flag 220462/776504 357.93/351.22 c cleaning 15008 clauses out of 30019 with flag 252499/792503 366.39/359.58 c cleaning 16004 clauses out of 32012 with flag 287103/809504 375.39/368.37 c cleaning 17002 clauses out of 34007 with flag 323539/827503 384.74/377.50 c cleaning 17999 clauses out of 36006 with flag 361620/846504 394.09/386.75 c cleaning 19003 clauses out of 38007 with flag 401640/866504 403.99/396.48 c cleaning 19995 clauses out of 40003 with flag 443660/887503 413.89/406.13 c cleaning 21005 clauses out of 42009 with flag 487662/909504 424.58/416.68 c cleaning 22001 clauses out of 44003 with flag 533999/932503 436.21/428.06 c cleaning 22998 clauses out of 46003 with flag 582233/956504 448.71/440.30 c cleaning 24001 clauses out of 48005 with flag 632371/981504 461.12/452.51 c cleaning 24996 clauses out of 50004 with flag 684473/1007504 475.73/466.88 c cleaning 26002 clauses out of 52008 with flag 738604/1034504 479.16/470.25 c Got one! Elapsed wall clock time (in seconds):470.143 479.16/470.25 o -3650 481.76/472.80 c cleaning 18939 clauses out of 37883 with flag 10244/1046381 484.49/475.57 c cleaning 12468 clauses out of 24944 with flag 22271/1052381 487.51/478.53 c cleaning 9734 clauses out of 19475 with flag 36300/1059380 490.95/481.99 c cleaning 8867 clauses out of 17741 with flag 52357/1067380 494.78/485.73 c cleaning 8935 clauses out of 17875 with flag 70438/1076381 498.99/489.93 c cleaning 9467 clauses out of 18940 with flag 90466/1086381 503.54/494.47 c cleaning 10234 clauses out of 20472 with flag 112531/1097380 508.18/499.06 c cleaning 11115 clauses out of 22239 with flag 136576/1109381 513.35/504.19 c cleaning 12059 clauses out of 24124 with flag 162691/1122381 519.32/510.03 c cleaning 13033 clauses out of 26065 with flag 190795/1136381 525.80/516.44 c cleaning 14013 clauses out of 28031 with flag 221152/1151380 532.75/523.30 c cleaning 15006 clauses out of 30018 with flag 253490/1167380 541.06/531.45 c cleaning 16004 clauses out of 32013 with flag 288061/1184381 549.17/539.43 c cleaning 17003 clauses out of 34008 with flag 324353/1202380 557.63/547.79 c cleaning 18002 clauses out of 36005 with flag 362504/1221380 566.41/556.35 c cleaning 19001 clauses out of 38003 with flag 402658/1241380 575.37/565.13 c cleaning 19999 clauses out of 40003 with flag 444794/1262381 585.22/574.84 c cleaning 21001 clauses out of 42003 with flag 488876/1284380 596.54/585.91 c cleaning 21998 clauses out of 44003 with flag 534994/1307381 608.59/597.78 c cleaning 23003 clauses out of 46005 with flag 583489/1331381 620.42/609.40 c cleaning 23997 clauses out of 48002 with flag 633950/1356381 633.44/622.17 c cleaning 25002 clauses out of 50005 with flag 686233/1382381 646.32/634.78 c cleaning 25999 clauses out of 52002 with flag 740329/1409380 661.01/649.29 c cleaning 26997 clauses out of 54003 with flag 797114/1437380 677.10/665.14 c cleaning 28000 clauses out of 56006 with flag 856088/1466380 694.08/681.84 c cleaning 28999 clauses out of 58006 with flag 917242/1496380 711.76/699.12 c cleaning 30000 clauses out of 60008 with flag 980577/1527381 729.72/716.81 c cleaning 31001 clauses out of 62008 with flag 1046446/1559381 748.66/735.43 c cleaning 32002 clauses out of 64006 with flag 1114307/1592380 750.46/737.29 c Got one! Elapsed wall clock time (in seconds):737.175 750.46/737.29 o -3651 751.69/738.43 c cleaning 18818 clauses out of 37642 with flag 4578/1598018 754.62/741.38 c cleaning 12408 clauses out of 24824 with flag 17024/1604018 757.94/744.63 c cleaning 9703 clauses out of 19415 with flag 31366/1611017 761.59/748.22 c cleaning 8853 clauses out of 17712 with flag 47580/1619017 765.70/752.36 c cleaning 8924 clauses out of 17859 with flag 66155/1628017 770.48/757.03 c cleaning 9465 clauses out of 18935 with flag 86747/1638017 775.73/762.23 c cleaning 10234 clauses out of 20471 with flag 109241/1649018 781.39/767.85 c cleaning 11119 clauses out of 22237 with flag 134044/1661018 787.64/774.09 c cleaning 12058 clauses out of 24118 with flag 160536/1674018 794.57/780.87 c cleaning 13028 clauses out of 26059 with flag 189131/1688017 801.55/787.75 c cleaning 14016 clauses out of 28032 with flag 219388/1703018 808.90/794.94 c cleaning 15006 clauses out of 30016 with flag 251468/1719018 817.10/802.95 c cleaning 16004 clauses out of 32010 with flag 285565/1736018 825.45/811.10 c cleaning 17001 clauses out of 34005 with flag 321932/1754017 834.45/820.09 c cleaning 18000 clauses out of 36004 with flag 360572/1773017 844.11/829.59 c cleaning 18999 clauses out of 38004 with flag 401015/1793017 854.31/839.54 c cleaning 20003 clauses out of 40005 with flag 443119/1814017 864.53/849.64 c cleaning 20999 clauses out of 42003 with flag 487357/1836018 870.13/855.14 c Got one! Elapsed wall clock time (in seconds):855.027 870.13/855.14 o -3652 872.90/857.84 c cleaning 19666 clauses out of 39335 with flag 10821/1854349 875.83/860.74 c cleaning 12831 clauses out of 25670 with flag 23270/1860350 879.04/863.92 c cleaning 9916 clauses out of 19839 with flag 37504/1867350 882.56/867.40 c cleaning 8957 clauses out of 17923 with flag 53702/1875350 886.49/871.39 c cleaning 8978 clauses out of 17965 with flag 72274/1884349 891.02/875.88 c cleaning 9493 clauses out of 18988 with flag 92633/1894350 896.12/880.81 c cleaning 10247 clauses out of 20494 with flag 115006/1905349 901.45/886.04 c cleaning 11123 clauses out of 22247 with flag 139242/1917349 907.32/891.80 c cleaning 12059 clauses out of 24124 with flag 165841/1930349 913.52/897.96 c cleaning 13029 clauses out of 26066 with flag 194433/1944350 920.55/904.86 c cleaning 14016 clauses out of 28037 with flag 225020/1959350 928.28/912.50 c cleaning 15009 clauses out of 30021 with flag 257450/1975350 936.84/920.85 c cleaning 16006 clauses out of 32012 with flag 292439/1992350 945.98/929.85 c cleaning 17000 clauses out of 34006 with flag 329152/2010350 955.57/939.26 c cleaning 18003 clauses out of 36005 with flag 367258/2029349 965.67/949.11 c cleaning 19000 clauses out of 38003 with flag 407545/2049350 976.21/959.47 c cleaning 19999 clauses out of 40002 with flag 449971/2070349 987.01/970.03 c cleaning 21000 clauses out of 42004 with flag 494254/2092350 998.77/981.53 c cleaning 22000 clauses out of 44003 with flag 540303/2115349 1010.93/993.41 c cleaning 23001 clauses out of 46004 with flag 588372/2139350 1022.94/1005.22 c cleaning 23999 clauses out of 48003 with flag 638532/2164350 1034.68/1016.75 c cleaning 24998 clauses out of 50004 with flag 690640/2190350 1049.25/1031.14 c cleaning 25999 clauses out of 52005 with flag 745285/2217349 1064.60/1046.22 c cleaning 26999 clauses out of 54007 with flag 801807/2245350 1080.71/1062.10 c cleaning 28003 clauses out of 56008 with flag 860463/2274350 1097.08/1078.25 c cleaning 29000 clauses out of 58004 with flag 920734/2304349 1113.63/1094.48 c cleaning 30000 clauses out of 60005 with flag 982895/2335350 1130.99/1111.57 c cleaning 31002 clauses out of 62005 with flag 1047111/2367350 1148.74/1129.09 c cleaning 32000 clauses out of 64002 with flag 1113294/2400349 1167.90/1147.81 c cleaning 32998 clauses out of 66002 with flag 1181502/2434349 1186.90/1166.55 c cleaning 33998 clauses out of 68005 with flag 1251694/2469350 1205.45/1184.79 c cleaning 34998 clauses out of 70006 with flag 1324167/2505349 1227.39/1206.32 c cleaning 36001 clauses out of 72008 with flag 1399449/2542349 1241.02/1219.72 c Got one! Elapsed wall clock time (in seconds):1219.613 1241.02/1219.72 o -3659 1244.12/1222.81 c cleaning 32685 clauses out of 65376 with flag 10953/2571718 1247.23/1225.92 c cleaning 19342 clauses out of 38691 with flag 23269/2577718 1250.57/1229.29 c cleaning 13168 clauses out of 26348 with flag 37512/2584717 1254.40/1233.04 c cleaning 10586 clauses out of 21180 with flag 53748/2592717 1258.27/1236.89 c cleaning 9790 clauses out of 19595 with flag 72155/2601718 1262.71/1241.22 c cleaning 9899 clauses out of 19805 with flag 92629/2611718 1267.48/1245.96 c cleaning 10453 clauses out of 20906 with flag 115076/2622718 1272.74/1251.18 c cleaning 11226 clauses out of 22453 with flag 139385/2634718 1278.55/1256.85 c cleaning 12111 clauses out of 24226 with flag 165608/2647717 1284.47/1262.69 c cleaning 13054 clauses out of 26115 with flag 193975/2661717 1290.69/1268.80 c cleaning 14028 clauses out of 28061 with flag 224525/2676717 1298.35/1276.23 c cleaning 15015 clauses out of 30034 with flag 257210/2692718 1307.11/1284.86 c cleaning 16010 clauses out of 32019 with flag 291903/2709718 1316.41/1294.07 c cleaning 17000 clauses out of 34009 with flag 328657/2727718 1326.36/1303.86 c cleaning 18004 clauses out of 36009 with flag 367850/2746718 1336.49/1313.90 c cleaning 19001 clauses out of 38004 with flag 408550/2766717 1347.05/1324.20 c cleaning 20001 clauses out of 40003 with flag 451601/2787717 1357.93/1334.91 c cleaning 20999 clauses out of 42002 with flag 495891/2809717 1369.59/1346.39 c cleaning 21997 clauses out of 44003 with flag 542124/2832717 1381.83/1358.30 c cleaning 23001 clauses out of 46006 with flag 590220/2856717 1394.67/1370.91 c cleaning 23999 clauses out of 48006 with flag 640397/2881718 1408.01/1383.93 c cleaning 25000 clauses out of 50006 with flag 692559/2907717 1421.79/1397.44 c cleaning 26000 clauses out of 52006 with flag 746891/2934717 1437.17/1412.52 c cleaning 27001 clauses out of 54006 with flag 804013/2962717 1451.45/1426.55 c cleaning 28001 clauses out of 56005 with flag 862904/2991717 1466.52/1441.31 c cleaning 29002 clauses out of 58005 with flag 923396/3021718 1482.81/1457.40 c cleaning 29996 clauses out of 60002 with flag 986418/3052717 1501.03/1475.38 c cleaning 30999 clauses out of 62006 with flag 1051326/3084717 1519.57/1493.60 c cleaning 32003 clauses out of 64007 with flag 1117913/3117717 1538.77/1512.40 c cleaning 33003 clauses out of 66005 with flag 1186690/3151718 1558.54/1531.90 c cleaning 34000 clauses out of 68002 with flag 1257718/3186718 1577.60/1550.73 c cleaning 34995 clauses out of 70001 with flag 1330711/3222717 1599.01/1571.88 c cleaning 36001 clauses out of 72007 with flag 1406596/3259718 1621.87/1594.46 c cleaning 37000 clauses out of 74005 with flag 1483992/3297717 1645.02/1617.28 c cleaning 37999 clauses out of 76005 with flag 1563550/3336717 1667.74/1639.65 c cleaning 39002 clauses out of 78007 with flag 1644767/3376718 1690.67/1662.20 c cleaning 39999 clauses out of 80005 with flag 1727569/3417718 1713.42/1684.47 c cleaning 41001 clauses out of 82006 with flag 1812402/3459718 1737.08/1707.77 c cleaning 41997 clauses out of 84004 with flag 1898411/3502717 1762.26/1732.59 c cleaning 43003 clauses out of 86007 with flag 1987492/3546717 1789.30/1759.15 c cleaning 44001 clauses out of 88006 with flag 2079633/3591719 1800.04/1769.70 c starts : 4241 1800.04/1769.70 c conflicts : 3609211 1800.04/1769.70 c decisions : 3694124 1800.04/1769.70 c propagations : 809412280 1800.04/1769.70 c inspects : 11777009533 1800.04/1769.70 c shortcuts : 0 1800.04/1769.70 c learnt literals : 0 1800.04/1769.70 c learnt binary clauses : 0 1800.04/1769.70 c learnt ternary clauses : 33 1800.04/1769.70 c learnt constraints : 3609211 1800.04/1769.70 c ignored constraints : 0 1800.04/1769.70 c root simplifications : 0 1800.04/1769.70 c removed literals (reason simplification) : 0 1800.04/1769.70 c reason swapping (by a shorter reason) : 0 1800.04/1769.70 c Calls to reduceDB : 212 1800.04/1769.70 c Number of update (reduction) of LBD : 4958 1800.04/1769.70 c Imported unit clauses : 0 1800.04/1769.70 c number of reductions to clauses (during analyze) : 0 1800.04/1769.70 c number of learned constraints concerned by reduction : 0 1800.04/1769.70 c number of learning phase by resolution : 0 1800.04/1769.70 c number of learning phase by cutting planes : 0 1800.04/1769.70 c speed (assignments/second) : 457496.1649809916 1800.04/1769.70 c non guided choices 0 1800.04/1769.73 c learnt constraints type 1800.04/1769.73 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 61498 1800.04/1769.73 s SATISFIABLE 1800.04/1769.73 c Found 110 solution(s) 1800.04/1769.73 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 1800.04/1769.73 c objective function=-3659 1800.04/1769.73 c Total wall clock time (in seconds): 1769.614
OK -3659
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-4119466-1467259349/watcher-4119466-1467259349 -o /tmp/evaluation-result-4119466-1467259349/solver-4119466-1467259349 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467246683-9204 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119466-1467259349.opb pid=10904 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.45 2.17 2.05 3/194 10907 /proc/meminfo: memFree=23635076/32872528 swapFree=242912/249044 [pid=10907] ppid=10904 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/10907/stat : 10907 (java) D 10904 10907 9187 0 -1 4202496 524 0 0 0 0 0 0 0 20 0 1 0 7041261 9515008 176 33554432000 1073741824 1073778376 140735149699040 140735149681768 247064249232 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0 /proc/10907/statm: 2323 176 133 9 0 71 0 [startup+0.10016 s] /proc/loadavg: 2.45 2.17 2.05 3/194 10907 /proc/meminfo: memFree=23635076/32872528 swapFree=242912/249044 [pid=10907] ppid=10904 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/10907/stat : 10907 (java) S 10904 10907 9187 0 -1 4202496 4416 0 1 0 8 1 0 0 20 0 18 0 7041261 9787879424 6042 33554432000 1073741824 1073778376 140735149699040 140735149690176 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10907/statm: 2389619 6042 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200328 s] /proc/loadavg: 2.45 2.17 2.05 3/194 10907 /proc/meminfo: memFree=23635076/32872528 swapFree=242912/249044 [pid=10907] ppid=10904 vsize=9558476 CPUtime=0.24 cores=1,3,5,7 /proc/10907/stat : 10907 (java) S 10904 10907 9187 0 -1 4202496 4662 0 1 0 23 1 0 0 20 0 18 0 7041261 9787879424 6729 33554432000 1073741824 1073778376 140735149699040 140735149690176 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10907/statm: 2389619 6729 2216 9 0 2380296 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.300341 s] /proc/loadavg: 2.45 2.17 2.05 3/194 10907 /proc/meminfo: memFree=23635076/32872528 swapFree=242912/249044 [pid=10907] ppid=10904 vsize=9558932 CPUtime=0.49 cores=1,3,5,7 /proc/10907/stat : 10907 (java) S 10904 10907 9187 0 -1 4202496 6064 0 1 0 48 1 0 0 20 0 18 0 7041261 9788346368 8148 33554432000 1073741824 1073778376 140735149699040 140735149690176 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10907/statm: 2389733 8040 2236 9 0 2380410 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558932 [startup+0.700199 s] /proc/loadavg: 2.45 2.17 2.05 3/194 10907 /proc/meminfo: memFree=23635076/32872528 swapFree=242912/249044 [pid=10907] ppid=10904 vsize=9625040 CPUtime=1.49 cores=1,3,5,7 /proc/10907/stat : 10907 (java) S 10904 10907 9187 0 -1 4202496 10612 0 1 0 147 2 0 0 20 0 19 0 7041261 9856040960 13182 33554432000 1073741824 1073778376 140735149699040 140735149690176 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10907/statm: 2406260 13182 2267 9 0 2396937 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9625040 [startup+1.50079 s] /proc/loadavg: 2.45 2.17 2.05 3/213 10926 /proc/meminfo: memFree=23570088/32872528 swapFree=242912/249044 [pid=10907] ppid=10904 vsize=9625040 CPUtime=2.57 cores=1,3,5,7 /proc/10907/stat : 10907 (java) S 10904 10907 9187 0 -1 4202496 11015 0 1 0 254 3 0 0 20 0 19 0 7041261 9856040960 22403 33554432000 1073741824 1073778376 140735149699040 140735149690176 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10907/statm: 2406260 22403 2272 9 0 2396937 0 [pid=10907/tid=10909] ppid=10904 vsize=9625040 CPUtime=1.47 cores=1,3,5,7 /proc/10907/task/10909/stat : 10909 (java) R 10904 10907 9187 0 -1 4202560 2447 0 1 0 145 2 0 0 20 0 19 0 7041262 9856040960 22403 33554432000 1073741824 1073778376 140735149699040 140439801626840 140439674769485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10907/tid=10910] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10910/stat : 10910 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 22403 33554432000 1073741824 1073778376 140735149699040 140439645489832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10911] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10911/stat : 10911 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 22403 33554432000 1073741824 1073778376 140735149699040 140439644437288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10912] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10912/stat : 10912 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 22403 33554432000 1073741824 1073778376 140735149699040 140439643384744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10907/tid=10913] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10913/stat : 10913 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 22403 33554432000 1073741824 1073778376 140735149699040 140439642332200 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10907/tid=10914] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10914/stat : 10914 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 22403 33554432000 1073741824 1073778376 140735149699040 140439641278632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10915] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10915/stat : 10915 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 22403 33554432000 1073741824 1073778376 140735149699040 140439640226088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10907/tid=10916] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10916/stat : 10916 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 22403 33554432000 1073741824 1073778376 140735149699040 140439639173544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10907/tid=10917] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10917/stat : 10917 (java) S 10904 10907 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 22403 33554432000 1073741824 1073778376 140735149699040 140439638121000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10918] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10918/stat : 10918 (java) S 10904 10907 9187 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 7041264 9856040960 22403 33554432000 1073741824 1073778376 140735149699040 140439625710184 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10919] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10919/stat : 10919 (java) S 10904 10907 9187 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 7041264 9856040960 22403 33554432000 1073741824 1073778376 140735149699040 140439624656504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10920] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10920/stat : 10920 (java) S 10904 10907 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 7041264 9856040960 22403 33554432000 1073741824 1073778376 140735149699040 140439623603848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10921] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10921/stat : 10921 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041267 9856040960 22403 33554432000 1073741824 1073778376 140735149699040 140439622552592 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10922] ppid=10904 vsize=9625040 CPUtime=0.63 cores=1,3,5,7 /proc/10907/task/10922/stat : 10922 (java) S 10904 10907 9187 0 -1 4202560 4428 0 0 0 63 0 0 0 20 0 19 0 7041267 9856040960 22403 33554432000 1073741824 1073778376 140735149699040 140439621498936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10923] ppid=10904 vsize=9625040 CPUtime=0.43 cores=1,3,5,7 /proc/10907/task/10923/stat : 10923 (java) S 10904 10907 9187 0 -1 4202560 2862 0 0 0 43 0 0 0 20 0 19 0 7041267 9856040960 22403 33554432000 1073741824 1073778376 140735149699040 140439620446392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10907/tid=10924] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10924/stat : 10924 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041267 9856040960 22403 33554432000 1073741824 1073778376 140735149699040 140439619394040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10907/tid=10925] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10925/stat : 10925 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041267 9856040960 22403 33554432000 1073741824 1073778376 140735149699040 140439618341704 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10926] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10926/stat : 10926 (java) S 10904 10907 9187 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7041309 9856040960 22403 33554432000 1073741824 1073778376 140735149699040 140439617287464 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.57 Current children cumulated vsize (KiB) 9625040 [startup+3.10084 s] /proc/loadavg: 2.50 2.18 2.05 3/213 10926 /proc/meminfo: memFree=23528880/32872528 swapFree=242912/249044 [pid=10907] ppid=10904 vsize=9625040 CPUtime=4.21 cores=1,3,5,7 /proc/10907/stat : 10907 (java) S 10904 10907 9187 0 -1 4202496 11061 0 1 0 418 3 0 0 20 0 19 0 7041261 9856040960 35734 33554432000 1073741824 1073778376 140735149699040 140735149690176 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10907/statm: 2406260 35734 2273 9 0 2396937 0 [pid=10907/tid=10909] ppid=10904 vsize=9625040 CPUtime=3.06 cores=1,3,5,7 /proc/10907/task/10909/stat : 10909 (java) R 10904 10907 9187 0 -1 4202560 2474 0 1 0 304 2 0 0 20 0 19 0 7041262 9856040960 35734 33554432000 1073741824 1073778376 140735149699040 140439801627208 140439674457940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10907/tid=10910] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10910/stat : 10910 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 35734 33554432000 1073741824 1073778376 140735149699040 140439645489832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10911] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10911/stat : 10911 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 35734 33554432000 1073741824 1073778376 140735149699040 140439644437288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10912] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10912/stat : 10912 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 35734 33554432000 1073741824 1073778376 140735149699040 140439643384744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10907/tid=10913] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10913/stat : 10913 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 35734 33554432000 1073741824 1073778376 140735149699040 140439642332200 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10907/tid=10914] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10914/stat : 10914 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 35734 33554432000 1073741824 1073778376 140735149699040 140439641278632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10915] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10915/stat : 10915 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 35734 33554432000 1073741824 1073778376 140735149699040 140439640226088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10907/tid=10916] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10916/stat : 10916 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 35734 33554432000 1073741824 1073778376 140735149699040 140439639173544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10907/tid=10917] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10917/stat : 10917 (java) S 10904 10907 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 35734 33554432000 1073741824 1073778376 140735149699040 140439638121000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10918] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10918/stat : 10918 (java) S 10904 10907 9187 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 7041264 9856040960 35734 33554432000 1073741824 1073778376 140735149699040 140439625710184 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10919] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10919/stat : 10919 (java) S 10904 10907 9187 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 7041264 9856040960 35734 33554432000 1073741824 1073778376 140735149699040 140439624656504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10920] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10920/stat : 10920 (java) S 10904 10907 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 7041264 9856040960 35734 33554432000 1073741824 1073778376 140735149699040 140439623603848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10921] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10921/stat : 10921 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041267 9856040960 35734 33554432000 1073741824 1073778376 140735149699040 140439622552592 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10922] ppid=10904 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/10907/task/10922/stat : 10922 (java) R 10904 10907 9187 0 -1 4202560 4446 0 0 0 67 0 0 0 20 0 19 0 7041267 9856040960 35734 33554432000 1073741824 1073778376 140735149699040 140439621498816 140439807470099 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10923] ppid=10904 vsize=9625040 CPUtime=0.43 cores=1,3,5,7 /proc/10907/task/10923/stat : 10923 (java) S 10904 10907 9187 0 -1 4202560 2862 0 0 0 43 0 0 0 20 0 19 0 7041267 9856040960 35734 33554432000 1073741824 1073778376 140735149699040 140439620446392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10907/tid=10924] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10924/stat : 10924 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041267 9856040960 35734 33554432000 1073741824 1073778376 140735149699040 140439619394040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10907/tid=10925] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10925/stat : 10925 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041267 9856040960 35734 33554432000 1073741824 1073778376 140735149699040 140439618341704 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10926] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10926/stat : 10926 (java) S 10904 10907 9187 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7041309 9856040960 35734 33554432000 1073741824 1073778376 140735149699040 140439617287464 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 4.21 Current children cumulated vsize (KiB) 9625040 [startup+6.3008 s] /proc/loadavg: 2.50 2.18 2.05 3/213 10926 /proc/meminfo: memFree=23439068/32872528 swapFree=242912/249044 [pid=10907] ppid=10904 vsize=9625040 CPUtime=7.54 cores=1,3,5,7 /proc/10907/stat : 10907 (java) S 10904 10907 9187 0 -1 4202496 11166 0 1 0 747 7 0 0 20 0 19 0 7041261 9856040960 50949 33554432000 1073741824 1073778376 140735149699040 140735149690176 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10907/statm: 2406260 50949 2291 9 0 2396937 0 [pid=10907/tid=10909] ppid=10904 vsize=9625040 CPUtime=6.24 cores=1,3,5,7 /proc/10907/task/10909/stat : 10909 (java) R 10904 10907 9187 0 -1 4202560 2491 0 1 0 621 3 0 0 20 0 19 0 7041262 9856040960 50949 33554432000 1073741824 1073778376 140735149699040 140439801624944 140439674749875 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10907/tid=10910] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10910/stat : 10910 (java) S 10904 10907 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 50949 33554432000 1073741824 1073778376 140735149699040 140439645489832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10911] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10911/stat : 10911 (java) S 10904 10907 9187 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 50949 33554432000 1073741824 1073778376 140735149699040 140439644437288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10912] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10912/stat : 10912 (java) S 10904 10907 9187 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 50949 33554432000 1073741824 1073778376 140735149699040 140439643384744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10907/tid=10913] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10913/stat : 10913 (java) S 10904 10907 9187 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 50949 33554432000 1073741824 1073778376 140735149699040 140439642332200 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10907/tid=10914] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10914/stat : 10914 (java) S 10904 10907 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 50949 33554432000 1073741824 1073778376 140735149699040 140439641278632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10915] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10915/stat : 10915 (java) S 10904 10907 9187 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 50949 33554432000 1073741824 1073778376 140735149699040 140439640226088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10907/tid=10916] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10916/stat : 10916 (java) S 10904 10907 9187 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 50949 33554432000 1073741824 1073778376 140735149699040 140439639173544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10917] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10917/stat : 10917 (java) S 10904 10907 9187 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 7041263 9856040960 50949 33554432000 1073741824 1073778376 140735149699040 140439638121000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10918] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10918/stat : 10918 (java) S 10904 10907 9187 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 7041264 9856040960 50949 33554432000 1073741824 1073778376 140735149699040 140439625710184 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10919] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10919/stat : 10919 (java) S 10904 10907 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 7041264 9856040960 50949 33554432000 1073741824 1073778376 140735149699040 140439624656504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10920] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10920/stat : 10920 (java) S 10904 10907 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7041264 9856040960 50949 33554432000 1073741824 1073778376 140735149699040 140439623603848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10921] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10921/stat : 10921 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041267 9856040960 50949 33554432000 1073741824 1073778376 140735149699040 140439622552592 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10922] ppid=10904 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/10907/task/10922/stat : 10922 (java) S 10904 10907 9187 0 -1 4202560 4451 0 0 0 72 0 0 0 20 0 19 0 7041267 9856040960 50949 33554432000 1073741824 1073778376 140735149699040 140439621498936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10923] ppid=10904 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/10907/task/10923/stat : 10923 (java) S 10904 10907 9187 0 -1 4202560 2864 0 0 0 45 0 0 0 20 0 19 0 7041267 9856040960 50949 33554432000 1073741824 1073778376 140735149699040 140439620446392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10907/tid=10924] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10924/stat : 10924 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041267 9856040960 50949 33554432000 1073741824 1073778376 140735149699040 140439619394040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10907/tid=10925] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10925/stat : 10925 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041267 9856040960 50949 33554432000 1073741824 1073778376 140735149699040 140439618341704 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10926] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10926/stat : 10926 (java) S 10904 10907 9187 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7041309 9856040960 50949 33554432000 1073741824 1073778376 140735149699040 140439617287464 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 7.54 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=10907/tid=10919] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10919/stat : 10919 (java) S 10904 10907 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 7041264 9856040960 222682 33554432000 1073741824 1073778376 140735149699040 140439624656504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10920] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10920/stat : 10920 (java) S 10904 10907 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7041264 9856040960 222682 33554432000 1073741824 1073778376 140735149699040 140439623603848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10921] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10921/stat : 10921 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041267 9856040960 222682 33554432000 1073741824 1073778376 140735149699040 140439622552592 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10922] ppid=10904 vsize=9625040 CPUtime=0.74 cores=1,3,5,7 /proc/10907/task/10922/stat : 10922 (java) S 10904 10907 9187 0 -1 4202560 4453 0 0 0 74 0 0 0 20 0 19 0 7041267 9856040960 222682 33554432000 1073741824 1073778376 140735149699040 140439621498936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10923] ppid=10904 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/10907/task/10923/stat : 10923 (java) S 10904 10907 9187 0 -1 4202560 2864 0 0 0 47 0 0 0 20 0 19 0 7041267 9856040960 222682 33554432000 1073741824 1073778376 140735149699040 140439620446392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10924] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10924/stat : 10924 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041267 9856040960 222682 33554432000 1073741824 1073778376 140735149699040 140439619394040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10907/tid=10925] ppid=10904 vsize=9625040 CPUtime=0.33 cores=1,3,5,7 /proc/10907/task/10925/stat : 10925 (java) S 10904 10907 9187 0 -1 4202560 97 0 0 0 14 19 0 0 20 0 19 0 7041267 9856040960 222682 33554432000 1073741824 1073778376 140735149699040 140439618341704 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10907/tid=10926] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10926/stat : 10926 (java) S 10904 10907 9187 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7041309 9856040960 222682 33554432000 1073741824 1073778376 140735149699040 140439617287464 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1690.87 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.11 2.04 2.01 3/213 11036 /proc/meminfo: memFree=24742668/32872528 swapFree=242912/249044 [pid=10907] ppid=10904 vsize=9625040 CPUtime=1751.94 cores=1,3,5,7 /proc/10907/stat : 10907 (java) S 10904 10907 9187 0 -1 4202496 28075 0 1 0 174937 257 0 0 20 0 19 0 7041261 9856040960 226161 33554432000 1073741824 1073778376 140735149699040 140735149690176 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10907/statm: 2406260 226161 2300 9 0 2396937 0 [pid=10907/tid=10909] ppid=10904 vsize=9625040 CPUtime=1706.84 cores=1,3,5,7 /proc/10907/task/10909/stat : 10909 (java) R 10904 10907 9187 0 -1 4202560 3029 0 1 0 170653 31 0 0 20 0 19 0 7041262 9856040960 226161 33554432000 1073741824 1073778376 140735149699040 140439801625808 140439674526691 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10910] ppid=10904 vsize=9625040 CPUtime=4.99 cores=1,3,5,7 /proc/10907/task/10910/stat : 10910 (java) S 10904 10907 9187 0 -1 4202560 1810 0 0 0 466 33 0 0 20 0 19 0 7041263 9856040960 226161 33554432000 1073741824 1073778376 140735149699040 140439645489832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10907/tid=10911] ppid=10904 vsize=9625040 CPUtime=5.4 cores=1,3,5,7 /proc/10907/task/10911/stat : 10911 (java) S 10904 10907 9187 0 -1 4202560 1559 0 0 0 506 34 0 0 20 0 19 0 7041263 9856040960 226161 33554432000 1073741824 1073778376 140735149699040 140439644437288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10907/tid=10912] ppid=10904 vsize=9625040 CPUtime=4.74 cores=1,3,5,7 /proc/10907/task/10912/stat : 10912 (java) S 10904 10907 9187 0 -1 4202560 1616 0 0 0 451 23 0 0 20 0 19 0 7041263 9856040960 226161 33554432000 1073741824 1073778376 140735149699040 140439643384744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10913] ppid=10904 vsize=9625040 CPUtime=5.04 cores=1,3,5,7 /proc/10907/task/10913/stat : 10913 (java) S 10904 10907 9187 0 -1 4202560 1783 0 0 0 471 33 0 0 20 0 19 0 7041263 9856040960 226161 33554432000 1073741824 1073778376 140735149699040 140439642332200 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10907/tid=10914] ppid=10904 vsize=9625040 CPUtime=4.78 cores=1,3,5,7 /proc/10907/task/10914/stat : 10914 (java) S 10904 10907 9187 0 -1 4202560 1767 0 0 0 450 28 0 0 20 0 19 0 7041263 9856040960 226161 33554432000 1073741824 1073778376 140735149699040 140439641278632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10915] ppid=10904 vsize=9625040 CPUtime=4.9 cores=1,3,5,7 /proc/10907/task/10915/stat : 10915 (java) S 10904 10907 9187 0 -1 4202560 1967 0 0 0 466 24 0 0 20 0 19 0 7041263 9856040960 226161 33554432000 1073741824 1073778376 140735149699040 140439640226088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10907/tid=10916] ppid=10904 vsize=9625040 CPUtime=4.8 cores=1,3,5,7 /proc/10907/task/10916/stat : 10916 (java) S 10904 10907 9187 0 -1 4202560 1776 0 0 0 454 26 0 0 20 0 19 0 7041263 9856040960 226161 33554432000 1073741824 1073778376 140735149699040 140439639173544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10917] ppid=10904 vsize=9625040 CPUtime=5.26 cores=1,3,5,7 /proc/10907/task/10917/stat : 10917 (java) S 10904 10907 9187 0 -1 4202560 1834 0 0 0 498 28 0 0 20 0 19 0 7041263 9856040960 226161 33554432000 1073741824 1073778376 140735149699040 140439638121000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10918] ppid=10904 vsize=9625040 CPUtime=3.97 cores=1,3,5,7 /proc/10907/task/10918/stat : 10918 (java) S 10904 10907 9187 0 -1 4202560 2253 0 0 0 389 8 0 0 20 0 19 0 7041264 9856040960 226161 33554432000 1073741824 1073778376 140735149699040 140439625710184 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10919] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10919/stat : 10919 (java) S 10904 10907 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 7041264 9856040960 226161 33554432000 1073741824 1073778376 140735149699040 140439624656504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10920] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10920/stat : 10920 (java) S 10904 10907 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7041264 9856040960 226161 33554432000 1073741824 1073778376 140735149699040 140439623603848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10921] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10921/stat : 10921 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041267 9856040960 226161 33554432000 1073741824 1073778376 140735149699040 140439622552592 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10922] ppid=10904 vsize=9625040 CPUtime=0.74 cores=1,3,5,7 /proc/10907/task/10922/stat : 10922 (java) S 10904 10907 9187 0 -1 4202560 4453 0 0 0 74 0 0 0 20 0 19 0 7041267 9856040960 226161 33554432000 1073741824 1073778376 140735149699040 140439621498936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10923] ppid=10904 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/10907/task/10923/stat : 10923 (java) S 10904 10907 9187 0 -1 4202560 2864 0 0 0 47 0 0 0 20 0 19 0 7041267 9856040960 226161 33554432000 1073741824 1073778376 140735149699040 140439620446392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10924] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10924/stat : 10924 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041267 9856040960 226161 33554432000 1073741824 1073778376 140735149699040 140439619394040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10907/tid=10925] ppid=10904 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/10907/task/10925/stat : 10925 (java) S 10904 10907 9187 0 -1 4202560 100 0 0 0 15 20 0 0 20 0 19 0 7041267 9856040960 226161 33554432000 1073741824 1073778376 140735149699040 140439618341704 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10926] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10926/stat : 10926 (java) S 10904 10907 9187 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7041309 9856040960 226161 33554432000 1073741824 1073778376 140735149699040 140439617287464 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1751.94 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1769.7 s] /proc/loadavg: 2.05 2.03 2.00 3/213 11037 /proc/meminfo: memFree=24589604/32872528 swapFree=242912/249044 [pid=10907] ppid=10904 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7 /proc/10907/stat : 10907 (java) S 10904 10907 9187 0 -1 4202496 28452 0 1 0 179745 259 0 0 20 0 19 0 7041261 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140735149690176 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10907/statm: 2406260 214369 2300 9 0 2396937 0 [pid=10907/tid=10909] ppid=10904 vsize=9625040 CPUtime=1753.89 cores=1,3,5,7 /proc/10907/task/10909/stat : 10909 (java) R 10904 10907 9187 0 -1 4202560 3041 0 1 0 175357 32 0 0 20 0 19 0 7041262 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439801625808 140439674750199 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10907/tid=10910] ppid=10904 vsize=9625040 CPUtime=5.11 cores=1,3,5,7 /proc/10907/task/10910/stat : 10910 (java) S 10904 10907 9187 0 -1 4202560 1839 0 0 0 478 33 0 0 20 0 19 0 7041263 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439645489832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10907/tid=10911] ppid=10904 vsize=9625040 CPUtime=5.55 cores=1,3,5,7 /proc/10907/task/10911/stat : 10911 (java) S 10904 10907 9187 0 -1 4202560 1561 0 0 0 521 34 0 0 20 0 19 0 7041263 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439644437288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10912] ppid=10904 vsize=9625040 CPUtime=4.85 cores=1,3,5,7 /proc/10907/task/10912/stat : 10912 (java) S 10904 10907 9187 0 -1 4202560 1703 0 0 0 462 23 0 0 20 0 19 0 7041263 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439643384744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10913] ppid=10904 vsize=9625040 CPUtime=5.17 cores=1,3,5,7 /proc/10907/task/10913/stat : 10913 (java) S 10904 10907 9187 0 -1 4202560 1783 0 0 0 484 33 0 0 20 0 19 0 7041263 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439642332200 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10914] ppid=10904 vsize=9625040 CPUtime=4.92 cores=1,3,5,7 /proc/10907/task/10914/stat : 10914 (java) S 10904 10907 9187 0 -1 4202560 1810 0 0 0 464 28 0 0 20 0 19 0 7041263 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439641278632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10915] ppid=10904 vsize=9625040 CPUtime=5.03 cores=1,3,5,7 /proc/10907/task/10915/stat : 10915 (java) S 10904 10907 9187 0 -1 4202560 2074 0 0 0 479 24 0 0 20 0 19 0 7041263 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439640226088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10916] ppid=10904 vsize=9625040 CPUtime=4.89 cores=1,3,5,7 /proc/10907/task/10916/stat : 10916 (java) S 10904 10907 9187 0 -1 4202560 1858 0 0 0 463 26 0 0 20 0 19 0 7041263 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439639173544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10907/tid=10917] ppid=10904 vsize=9625040 CPUtime=5.37 cores=1,3,5,7 /proc/10907/task/10917/stat : 10917 (java) S 10904 10907 9187 0 -1 4202560 1834 0 0 0 509 28 0 0 20 0 19 0 7041263 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439638121000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10918] ppid=10904 vsize=9625040 CPUtime=4.03 cores=1,3,5,7 /proc/10907/task/10918/stat : 10918 (java) S 10904 10907 9187 0 -1 4202560 2266 0 0 0 395 8 0 0 20 0 19 0 7041264 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439625710184 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10919] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10919/stat : 10919 (java) S 10904 10907 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 7041264 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439624656504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10920] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10920/stat : 10920 (java) S 10904 10907 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7041264 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439623603848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10921] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10921/stat : 10921 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041267 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439622552592 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10922] ppid=10904 vsize=9625040 CPUtime=0.74 cores=1,3,5,7 /proc/10907/task/10922/stat : 10922 (java) S 10904 10907 9187 0 -1 4202560 4453 0 0 0 74 0 0 0 20 0 19 0 7041267 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439621498936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10923] ppid=10904 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/10907/task/10923/stat : 10923 (java) S 10904 10907 9187 0 -1 4202560 2864 0 0 0 47 0 0 0 20 0 19 0 7041267 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439620446392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10924] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10924/stat : 10924 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041267 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439619394040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10907/tid=10925] ppid=10904 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/10907/task/10925/stat : 10925 (java) S 10904 10907 9187 0 -1 4202560 102 0 0 0 15 21 0 0 20 0 19 0 7041267 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439618341704 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10907/tid=10926] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10926/stat : 10926 (java) S 10904 10907 9187 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7041309 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439617287464 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 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 10907 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1769.7 s] /proc/loadavg: 2.05 2.03 2.00 3/213 11037 /proc/meminfo: memFree=24589604/32872528 swapFree=242912/249044 [pid=10907] ppid=10904 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7 /proc/10907/stat : 10907 (java) S 10904 10907 9187 0 -1 4202496 28452 0 1 0 179745 259 0 0 20 0 19 0 7041261 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140735149690176 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10907/statm: 2406260 214369 2300 9 0 2396937 0 [pid=10907/tid=10909] ppid=10904 vsize=9625040 CPUtime=1753.89 cores=1,3,5,7 /proc/10907/task/10909/stat : 10909 (java) R 10904 10907 9187 0 -1 4202560 3041 0 1 0 175357 32 0 0 20 0 19 0 7041262 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439801625808 140439674750199 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10907/tid=10910] ppid=10904 vsize=9625040 CPUtime=5.11 cores=1,3,5,7 /proc/10907/task/10910/stat : 10910 (java) S 10904 10907 9187 0 -1 4202560 1839 0 0 0 478 33 0 0 20 0 19 0 7041263 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439645489832 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10907/tid=10911] ppid=10904 vsize=9625040 CPUtime=5.55 cores=1,3,5,7 /proc/10907/task/10911/stat : 10911 (java) S 10904 10907 9187 0 -1 4202560 1561 0 0 0 521 34 0 0 20 0 19 0 7041263 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439644437288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10912] ppid=10904 vsize=9625040 CPUtime=4.85 cores=1,3,5,7 /proc/10907/task/10912/stat : 10912 (java) S 10904 10907 9187 0 -1 4202560 1703 0 0 0 462 23 0 0 20 0 19 0 7041263 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439643384744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10913] ppid=10904 vsize=9625040 CPUtime=5.17 cores=1,3,5,7 /proc/10907/task/10913/stat : 10913 (java) S 10904 10907 9187 0 -1 4202560 1783 0 0 0 484 33 0 0 20 0 19 0 7041263 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439642332200 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10914] ppid=10904 vsize=9625040 CPUtime=4.92 cores=1,3,5,7 /proc/10907/task/10914/stat : 10914 (java) S 10904 10907 9187 0 -1 4202560 1810 0 0 0 464 28 0 0 20 0 19 0 7041263 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439641278632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10915] ppid=10904 vsize=9625040 CPUtime=5.03 cores=1,3,5,7 /proc/10907/task/10915/stat : 10915 (java) S 10904 10907 9187 0 -1 4202560 2074 0 0 0 479 24 0 0 20 0 19 0 7041263 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439640226088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10916] ppid=10904 vsize=9625040 CPUtime=4.89 cores=1,3,5,7 /proc/10907/task/10916/stat : 10916 (java) S 10904 10907 9187 0 -1 4202560 1858 0 0 0 463 26 0 0 20 0 19 0 7041263 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439639173544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10907/tid=10917] ppid=10904 vsize=9625040 CPUtime=5.37 cores=1,3,5,7 /proc/10907/task/10917/stat : 10917 (java) S 10904 10907 9187 0 -1 4202560 1834 0 0 0 509 28 0 0 20 0 19 0 7041263 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439638121000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10918] ppid=10904 vsize=9625040 CPUtime=4.03 cores=1,3,5,7 /proc/10907/task/10918/stat : 10918 (java) S 10904 10907 9187 0 -1 4202560 2266 0 0 0 395 8 0 0 20 0 19 0 7041264 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439625710184 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10919] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10919/stat : 10919 (java) S 10904 10907 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 7041264 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439624656504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10920] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10920/stat : 10920 (java) S 10904 10907 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 7041264 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439623603848 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10921] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10921/stat : 10921 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041267 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439622552592 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10922] ppid=10904 vsize=9625040 CPUtime=0.74 cores=1,3,5,7 /proc/10907/task/10922/stat : 10922 (java) S 10904 10907 9187 0 -1 4202560 4453 0 0 0 74 0 0 0 20 0 19 0 7041267 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439621498936 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10907/tid=10923] ppid=10904 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/10907/task/10923/stat : 10923 (java) S 10904 10907 9187 0 -1 4202560 2864 0 0 0 47 0 0 0 20 0 19 0 7041267 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439620446392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10907/tid=10924] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10924/stat : 10924 (java) S 10904 10907 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 7041267 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439619394040 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10907/tid=10925] ppid=10904 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/10907/task/10925/stat : 10925 (java) S 10904 10907 9187 0 -1 4202560 102 0 0 0 15 21 0 0 20 0 19 0 7041267 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439618341704 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10907/tid=10926] ppid=10904 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10907/task/10926/stat : 10926 (java) S 10904 10907 9187 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 7041309 9856040960 214369 33554432000 1073741824 1073778376 140735149699040 140439617287464 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9625040 Child status: 143 Real time (s): 1769.74 CPU time (s): 1800.71 CPU user time (s): 1797.66 CPU system time (s): 3.05054 CPU usage (%): 101.75 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.66 system time used= 3.05054 maximum resident set size= 1022612 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28486 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1712 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 54840 involuntary context switches= 65305 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.1213 second user time and 12.0762 second system time The end
Begin job on node103 at 2016-06-30 06:02:29 IDJOB=4119466 IDBENCH=111737 IDSOLVER=2546 FILE ID=node103/4119466-1467259349 RUNJOBID= node103-1467246683-9204 PBS_JOBID= 20004480 Free space on /tmp= 71712 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_bern25-19.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119466-1467259349/watcher-4119466-1467259349 -o /tmp/evaluation-result-4119466-1467259349/solver-4119466-1467259349 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467246683-9204 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119466-1467259349.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 49213c6b64cc7e418e6fc489a0b00141 RANDOM SEED=29671700 node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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 : 2666.456 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 : 2666.456 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 : 2666.456 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 : 2666.456 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 23635604 kB Buffers: 136548 kB Cached: 5739328 kB SwapCached: 0 kB Active: 3686996 kB Inactive: 4525024 kB Active(anon): 2338708 kB Inactive(anon): 0 kB Active(file): 1348288 kB Inactive(file): 4525024 kB Unevictable: 249044 kB Mlocked: 242912 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 828 kB Writeback: 0 kB AnonPages: 2517028 kB Mapped: 22256 kB Shmem: 204 kB Slab: 624708 kB SReclaimable: 68928 kB SUnreclaim: 555780 kB KernelStack: 1760 kB PageTables: 9724 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3437892 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2215936 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= 71712 MiB End job on node103 at 2016-06-30 06:31:59