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 Res+CP PB16 | SAT (TO) | -261 | 1800.11 | 909.349 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-06.lin.opb |
| MD5SUM | 82a58da8e8c04db5d33fa1448be69c4a |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -300 |
| Best CPU time to get the best result obtained on this benchmark | 1800.07 |
| 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 | 977 |
| Total number of constraints | 1844 |
| Number of constraints which are clauses | 922 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 922 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 977 |
| Biggest coefficient in the objective function | 34 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 14600 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 34 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 14600 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 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.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 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.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 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.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4118881-1467237416.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 0.50/0.33 c ... done. Wall clock time 0.212s. 0.50/0.33 c declared #vars 977 0.50/0.33 c #constraints 1844 0.50/0.33 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.50/0.33 c constraints type 0.50/0.33 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 922 0.50/0.33 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 922 0.50/0.33 c 1844 constraints processed. 0.50/0.33 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.50/0.33 c constraints type 0.50/0.33 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 922 0.50/0.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 922 0.50/0.33 c 1844 constraints processed. 0.50/0.33 c objective function length is 977 literals 0.50/0.36 c And the winner is solver0 0.71/0.84 c SATISFIABLE 0.71/0.84 c OPTIMIZING... 0.71/0.84 c Got one! Elapsed wall clock time (in seconds):0.718 0.71/0.84 o -55 0.71/0.86 c And the winner is solver0 0.87/1.35 c Got one! Elapsed wall clock time (in seconds):1.231 0.87/1.35 o -57 0.87/1.37 c And the winner is solver0 1.42/1.86 c Got one! Elapsed wall clock time (in seconds):1.739 1.42/1.86 o -58 1.97/2.06 c And the winner is solver0 2.23/2.36 c Got one! Elapsed wall clock time (in seconds):2.244 2.23/2.36 o -73 2.23/2.37 c And the winner is solver0 2.24/2.87 c Got one! Elapsed wall clock time (in seconds):2.748 2.24/2.87 o -89 2.24/2.87 c And the winner is solver0 2.27/3.37 c Got one! Elapsed wall clock time (in seconds):3.251 2.27/3.37 o -91 2.27/3.37 c And the winner is solver0 2.29/3.87 c Got one! Elapsed wall clock time (in seconds):3.754 2.29/3.87 o -92 2.37/3.97 c And the winner is solver0 2.77/4.37 c Got one! Elapsed wall clock time (in seconds):4.257 2.77/4.37 o -93 2.83/4.46 c And the winner is solver0 3.06/4.88 c Got one! Elapsed wall clock time (in seconds):4.759 3.06/4.88 o -94 3.12/4.98 c And the winner is solver0 3.40/5.38 c Got one! Elapsed wall clock time (in seconds):5.262 3.40/5.38 o -104 3.44/5.45 c And the winner is solver0 3.60/5.88 c Got one! Elapsed wall clock time (in seconds):5.765 3.60/5.88 o -109 3.60/5.89 c And the winner is solver0 3.64/6.39 c Got one! Elapsed wall clock time (in seconds):6.268 3.64/6.39 o -123 3.64/6.39 c And the winner is solver0 3.65/6.89 c Got one! Elapsed wall clock time (in seconds):6.77 3.65/6.89 o -125 3.68/6.91 c And the winner is solver0 3.71/7.39 c Got one! Elapsed wall clock time (in seconds):7.272 3.71/7.39 o -126 3.72/7.50 c And the winner is solver0 3.93/7.89 c Got one! Elapsed wall clock time (in seconds):7.774 3.93/7.89 o -127 4.16/8.00 c And the winner is solver0 4.19/8.39 c Got one! Elapsed wall clock time (in seconds):8.276 4.19/8.39 o -128 4.47/8.50 c And the winner is solver0 4.48/8.90 c Got one! Elapsed wall clock time (in seconds):8.778 4.48/8.90 o -129 4.69/9.06 c And the winner is solver0 4.90/9.40 c Got one! Elapsed wall clock time (in seconds):9.279 4.90/9.40 o -130 5.11/9.53 c And the winner is solver0 5.28/9.90 c Got one! Elapsed wall clock time (in seconds):9.781 5.28/9.90 o -134 5.28/9.90 c And the winner is solver0 5.29/10.40 c Got one! Elapsed wall clock time (in seconds):10.283 5.29/10.40 o -135 5.29/10.40 c And the winner is solver0 5.30/10.90 c Got one! Elapsed wall clock time (in seconds):10.785 5.30/10.90 o -136 5.74/11.11 c And the winner is solver0 5.78/11.40 c Got one! Elapsed wall clock time (in seconds):11.287 5.78/11.40 o -137 5.96/11.57 c And the winner is solver0 6.14/11.91 c Got one! Elapsed wall clock time (in seconds):11.789 6.14/11.91 o -138 6.14/12.00 c And the winner is solver0 6.34/12.41 c Got one! Elapsed wall clock time (in seconds):12.291 6.34/12.41 o -140 6.57/12.56 c And the winner is solver0 6.72/12.91 c Got one! Elapsed wall clock time (in seconds):12.793 6.72/12.91 o -141 6.90/13.05 c And the winner is solver0 7.03/13.41 c Got one! Elapsed wall clock time (in seconds):13.295 7.03/13.41 o -142 7.59/13.78 c cleaning 7175 clauses out of 14349 with flag 4053/14349 8.84/14.37 c And the winner is solver0 9.02/14.41 c Got one! Elapsed wall clock time (in seconds):14.297 9.02/14.41 o -144 9.43/14.61 c cleaning 6133 clauses out of 12266 with flag 2007/19441 11.04/15.49 c cleaning 6065 clauses out of 12133 with flag 14016/25441 13.10/16.41 c And the winner is solver0 13.10/16.47 c Got one! Elapsed wall clock time (in seconds):16.349 13.10/16.47 o -145 13.68/16.78 c And the winner is solver0 13.87/16.97 c Got one! Elapsed wall clock time (in seconds):16.851 13.87/16.97 o -147 13.95/17.05 c And the winner is solver0 14.10/17.47 c Got one! Elapsed wall clock time (in seconds):17.354 14.10/17.47 o -148 14.10/17.48 c And the winner is solver0 14.10/17.97 c Got one! Elapsed wall clock time (in seconds):17.856 14.10/17.97 o -149 14.10/17.98 c And the winner is solver0 14.10/18.48 c Got one! Elapsed wall clock time (in seconds):18.358 14.10/18.48 o -150 15.34/19.19 c cleaning 9406 clauses out of 18812 with flag 8024/38185 17.42/20.11 c cleaning 7699 clauses out of 15407 with flag 20026/44186 17.62/20.26 c And the winner is solver0 17.81/20.48 c Got one! Elapsed wall clock time (in seconds):20.361 17.81/20.48 o -151 18.24/20.78 c And the winner is solver0 18.47/20.98 c Got one! Elapsed wall clock time (in seconds):20.863 18.47/20.98 o -152 19.10/21.30 c cleaning 6489 clauses out of 12987 with flag 4053/49465 21.02/22.21 c cleaning 6250 clauses out of 12499 with flag 16126/55466 22.63/23.02 c And the winner is solver0 22.73/23.48 c Got one! Elapsed wall clock time (in seconds):23.366 22.73/23.48 o -153 22.96/23.65 c And the winner is solver0 23.11/23.99 c Got one! Elapsed wall clock time (in seconds):23.868 23.11/23.99 o -154 23.13/24.04 c And the winner is solver0 23.28/24.49 c Got one! Elapsed wall clock time (in seconds):24.37 23.28/24.49 o -156 24.49/25.17 c cleaning 8768 clauses out of 17536 with flag 8028/66753 26.60/26.11 c cleaning 7383 clauses out of 14768 with flag 20030/72753 28.20/26.93 c And the winner is solver0 28.20/26.99 c Got one! Elapsed wall clock time (in seconds):26.873 28.20/26.99 o -157 28.73/27.25 c And the winner is solver0 28.91/27.49 c Got one! Elapsed wall clock time (in seconds):27.375 28.91/27.49 o -158 30.11/28.19 c cleaning 9509 clauses out of 19027 with flag 8079/84395 32.25/29.17 c cleaning 7756 clauses out of 15519 with flag 20269/90396 34.25/30.16 c cleaning 7381 clauses out of 14763 with flag 34270/97396 34.25/30.16 c And the winner is solver1 34.39/30.50 c Got one! Elapsed wall clock time (in seconds):30.378 34.39/30.50 o -236 34.58/30.60 c And the winner is solver0 34.68/31.00 c Got one! Elapsed wall clock time (in seconds):30.881 34.68/31.00 o -238 36.30/31.83 c cleaning 6563 clauses out of 13137 with flag 12297/103151 39.09/33.06 c cleaning 6281 clauses out of 12575 with flag 30456/109152 42.08/34.36 c cleaning 6643 clauses out of 13293 with flag 49566/116151 45.09/35.87 c cleaning 7324 clauses out of 14651 with flag 74360/124152 48.69/37.63 c cleaning 8157 clauses out of 16327 with flag 99810/133152 53.01/39.79 c cleaning 9084 clauses out of 18170 with flag 131546/143152 55.80/41.10 c And the winner is solver1 55.80/41.50 c Got one! Elapsed wall clock time (in seconds):41.385 55.80/41.50 o -241 57.58/42.43 c cleaning 10194 clauses out of 20389 with flag 15012/154455 59.90/43.59 c cleaning 8092 clauses out of 16193 with flag 30906/160453 62.50/44.83 c And the winner is solver1 62.56/45.01 c Got one! Elapsed wall clock time (in seconds):44.888 62.56/45.01 o -245 64.34/45.98 c cleaning 9860 clauses out of 19723 with flag 15182/172075 66.54/47.06 c cleaning 7932 clauses out of 15864 with flag 33778/178076 69.15/48.31 c cleaning 7462 clauses out of 14931 with flag 54680/185075 71.95/49.79 c cleaning 7731 clauses out of 15469 with flag 80343/193075 75.85/51.63 c cleaning 8365 clauses out of 16738 with flag 104435/202075 79.85/53.68 c cleaning 9187 clauses out of 18373 with flag 134507/212075 84.65/56.09 c cleaning 10090 clauses out of 20188 with flag 162474/223077 90.17/58.74 c cleaning 11045 clauses out of 22096 with flag 193627/235075 95.77/61.51 c cleaning 12024 clauses out of 24052 with flag 226436/248076 101.98/64.61 c cleaning 13011 clauses out of 26027 with flag 262795/262075 109.89/68.89 c cleaning 14006 clauses out of 28017 with flag 301575/277076 118.29/73.08 c cleaning 15006 clauses out of 30012 with flag 342346/293077 127.96/77.80 c cleaning 15995 clauses out of 32005 with flag 388924/310076 137.76/82.77 c cleaning 17000 clauses out of 34009 with flag 442537/328075 148.25/87.96 c cleaning 18002 clauses out of 36010 with flag 495253/347076 158.65/93.12 c cleaning 18997 clauses out of 38007 with flag 541839/367075 163.35/95.43 c And the winner is solver0 163.47/95.69 c Got one! Elapsed wall clock time (in seconds):95.572 163.47/95.69 o -246 165.46/96.76 c cleaning 16636 clauses out of 33272 with flag 14292/381337 167.66/97.86 c cleaning 11318 clauses out of 22636 with flag 31822/387337 170.07/99.08 c cleaning 9156 clauses out of 18319 with flag 53830/394338 172.86/100.48 c cleaning 8579 clauses out of 17162 with flag 77952/402337 176.05/102.07 c cleaning 8791 clauses out of 17584 with flag 106329/411338 179.81/103.89 c cleaning 9393 clauses out of 18793 with flag 136030/421338 183.81/105.81 c cleaning 10198 clauses out of 20400 with flag 169238/432338 188.02/107.98 c cleaning 11096 clauses out of 22201 with flag 202021/444337 193.00/110.44 c cleaning 12053 clauses out of 24108 with flag 238915/457340 199.66/114.12 c cleaning 13022 clauses out of 26053 with flag 278245/471338 205.66/117.18 c cleaning 14013 clauses out of 28031 with flag 320678/486338 206.46/117.50 c And the winner is solver1 206.46/117.60 c Got one! Elapsed wall clock time (in seconds):117.486 206.46/117.60 o -249 208.05/118.40 c cleaning 9915 clauses out of 19844 with flag 9228/492164 210.45/119.69 c cleaning 7955 clauses out of 15928 with flag 23191/498163 213.52/121.17 c cleaning 7481 clauses out of 14973 with flag 39760/505163 216.90/122.84 c cleaning 7743 clauses out of 15493 with flag 60837/513164 220.51/124.68 c cleaning 8370 clauses out of 16750 with flag 82334/522164 224.71/126.79 c cleaning 9186 clauses out of 18380 with flag 106481/532164 230.57/129.66 c cleaning 10097 clauses out of 20193 with flag 135715/543163 236.77/132.75 c cleaning 11044 clauses out of 22096 with flag 167483/555163 243.76/136.22 c cleaning 12022 clauses out of 24052 with flag 199835/568163 251.67/140.12 c cleaning 13013 clauses out of 26031 with flag 235963/582164 259.68/144.14 c cleaning 14007 clauses out of 28018 with flag 276098/597164 268.41/148.42 c cleaning 15001 clauses out of 30011 with flag 318196/613164 278.41/153.44 c cleaning 16003 clauses out of 32009 with flag 362826/630163 289.76/159.04 c cleaning 17000 clauses out of 34006 with flag 417263/648163 302.11/165.11 c cleaning 17998 clauses out of 36007 with flag 481445/667164 315.10/171.70 c cleaning 18997 clauses out of 38008 with flag 545817/687163 329.86/178.95 c cleaning 20000 clauses out of 40011 with flag 628629/708163 343.62/185.77 c cleaning 21000 clauses out of 42011 with flag 698741/730163 359.98/193.88 c cleaning 21999 clauses out of 44011 with flag 782457/753163 375.95/201.78 c cleaning 23000 clauses out of 46013 with flag 849339/777164 394.20/210.73 c cleaning 23998 clauses out of 48013 with flag 916301/802164 414.36/220.74 c cleaning 25005 clauses out of 50015 with flag 990588/828164 436.93/231.98 c cleaning 26001 clauses out of 52010 with flag 1064470/855164 457.19/241.81 c cleaning 26999 clauses out of 54010 with flag 1139414/883165 479.86/253.02 c cleaning 27999 clauses out of 56009 with flag 1242558/912163 500.91/263.95 c cleaning 29006 clauses out of 58012 with flag 1329929/942165 504.11/265.58 c And the winner is solver0 504.51/266.07 c Got one! Elapsed wall clock time (in seconds):265.947 504.51/266.07 o -250 506.97/267.38 c cleaning 19668 clauses out of 39335 with flag 13041/952494 509.62/268.60 c cleaning 12832 clauses out of 25668 with flag 28874/958495 512.02/269.87 c cleaning 9915 clauses out of 19836 with flag 47284/965495 514.82/271.24 c cleaning 8957 clauses out of 17920 with flag 67541/973494 517.82/272.80 c cleaning 8979 clauses out of 17963 with flag 93328/982494 521.41/274.50 c cleaning 9489 clauses out of 18984 with flag 123072/992494 525.27/276.48 c cleaning 10240 clauses out of 20495 with flag 153592/1003494 529.86/278.76 c cleaning 11123 clauses out of 22255 with flag 190716/1015494 534.66/281.15 c cleaning 12061 clauses out of 24133 with flag 230725/1028495 540.55/284.02 c cleaning 13034 clauses out of 26072 with flag 274567/1042495 546.76/287.17 c cleaning 14016 clauses out of 28038 with flag 318202/1057495 553.65/290.52 c cleaning 15008 clauses out of 30021 with flag 359537/1073494 560.83/294.16 c cleaning 16005 clauses out of 32015 with flag 404915/1090496 568.96/298.19 c cleaning 17002 clauses out of 34008 with flag 451057/1108494 577.54/302.50 c cleaning 18001 clauses out of 36006 with flag 502547/1127494 587.42/307.38 c cleaning 18998 clauses out of 38005 with flag 554823/1147494 598.32/312.71 c cleaning 20002 clauses out of 40008 with flag 610088/1168495 609.66/318.37 c cleaning 20998 clauses out of 42006 with flag 669814/1190495 621.46/324.29 c cleaning 22001 clauses out of 44007 with flag 735495/1213494 634.03/330.42 c cleaning 23003 clauses out of 46007 with flag 797912/1237495 646.07/336.37 c And the winner is solver1 646.07/336.60 c Got one! Elapsed wall clock time (in seconds):336.484 646.07/336.60 o -252 648.83/338.07 c cleaning 25396 clauses out of 50803 with flag 12474/1265294 651.62/339.44 c cleaning 15688 clauses out of 31406 with flag 29884/1271293 654.83/341.03 c cleaning 11354 clauses out of 22719 with flag 52240/1278294 658.61/342.83 c cleaning 9675 clauses out of 19363 with flag 75091/1286292 662.41/344.77 c cleaning 9345 clauses out of 18689 with flag 103274/1295293 666.81/346.90 c cleaning 9666 clauses out of 19345 with flag 134631/1305294 671.40/349.20 c cleaning 10336 clauses out of 20679 with flag 168955/1316294 677.23/352.01 c cleaning 11167 clauses out of 22341 with flag 202011/1328292 683.21/355.04 c cleaning 12087 clauses out of 24174 with flag 241052/1341292 690.63/358.62 c cleaning 13039 clauses out of 26087 with flag 286541/1355292 697.83/362.24 c cleaning 14020 clauses out of 28048 with flag 335740/1370292 706.47/366.43 c cleaning 15012 clauses out of 30028 with flag 391404/1386292 715.45/370.95 c cleaning 16006 clauses out of 32017 with flag 460198/1403293 725.31/375.75 c cleaning 17000 clauses out of 34011 with flag 517326/1421293 734.71/380.42 c cleaning 17997 clauses out of 36010 with flag 571765/1440292 745.96/385.92 c cleaning 19001 clauses out of 38014 with flag 622652/1460293 758.42/392.03 c cleaning 20004 clauses out of 40013 with flag 680708/1481293 771.70/398.59 c cleaning 21000 clauses out of 42009 with flag 740680/1503293 786.55/405.82 c cleaning 22001 clauses out of 44008 with flag 809532/1526292 800.55/412.89 c cleaning 23002 clauses out of 46007 with flag 883433/1550292 815.33/420.19 c cleaning 24003 clauses out of 48006 with flag 956139/1575293 830.69/427.74 c cleaning 24997 clauses out of 50002 with flag 1026013/1601292 848.65/436.65 c cleaning 25997 clauses out of 52005 with flag 1106667/1628292 868.19/446.39 c cleaning 26999 clauses out of 54009 with flag 1198967/1656293 888.34/456.36 c cleaning 28003 clauses out of 56010 with flag 1296153/1685293 908.08/466.07 c cleaning 28997 clauses out of 58007 with flag 1376088/1715293 929.65/476.79 c cleaning 30005 clauses out of 60009 with flag 1463881/1746292 953.05/488.40 c cleaning 30996 clauses out of 62005 with flag 1557085/1778293 977.26/500.31 c cleaning 31999 clauses out of 64009 with flag 1664951/1811293 1002.34/512.66 c cleaning 33002 clauses out of 66009 with flag 1783136/1845292 1028.49/525.60 c cleaning 33998 clauses out of 68008 with flag 1890979/1880293 1058.00/540.16 c cleaning 34992 clauses out of 70009 with flag 2005172/1916292 1088.06/555.01 c cleaning 36005 clauses out of 72018 with flag 2123358/1953293 1120.90/572.48 c cleaning 37002 clauses out of 74013 with flag 2247243/1991293 1151.17/587.49 c cleaning 38006 clauses out of 76011 with flag 2353057/2030293 1181.33/602.40 c And the winner is solver0 1182.02/603.28 c Got one! Elapsed wall clock time (in seconds):603.163 1182.02/603.28 o -253 1185.02/604.88 c cleaning 34922 clauses out of 69843 with flag 13770/2062131 1187.98/606.28 c cleaning 20461 clauses out of 40921 with flag 30455/2068131 1190.97/607.71 c cleaning 13728 clauses out of 27461 with flag 48668/2075132 1193.77/609.17 c cleaning 10862 clauses out of 21732 with flag 68350/2083131 1196.97/610.75 c cleaning 9931 clauses out of 19870 with flag 91246/2092131 1200.37/612.50 c cleaning 9964 clauses out of 19940 with flag 116769/2102132 1204.71/614.58 c cleaning 10483 clauses out of 20976 with flag 145502/2113132 1209.11/616.76 c cleaning 11244 clauses out of 22492 with flag 175926/2125131 1213.91/619.10 c cleaning 12116 clauses out of 24248 with flag 207355/2138131 1219.11/621.79 c cleaning 13065 clauses out of 26132 with flag 240139/2152131 1225.41/624.81 c cleaning 14032 clauses out of 28068 with flag 275940/2167132 1229.40/626.80 c And the winner is solver1 1229.40/626.82 c Got one! Elapsed wall clock time (in seconds):626.702 1229.40/626.82 o -261 1231.45/627.97 c cleaning 14795 clauses out of 29595 with flag 14603/2182691 1233.85/629.17 c cleaning 10397 clauses out of 20800 with flag 32774/2188691 1237.22/630.72 c cleaning 8697 clauses out of 17403 with flag 53750/2195691 1240.63/632.44 c cleaning 8349 clauses out of 16706 with flag 76577/2203691 1244.43/634.38 c cleaning 8672 clauses out of 17357 with flag 101909/2212691 1248.83/636.50 c cleaning 9338 clauses out of 18685 with flag 129470/2222691 1254.23/639.15 c cleaning 10172 clauses out of 20346 with flag 161242/2233690 1260.22/642.14 c cleaning 11088 clauses out of 22176 with flag 200326/2245692 1267.21/645.65 c cleaning 12038 clauses out of 24086 with flag 241899/2258690 1275.02/649.48 c cleaning 13019 clauses out of 26049 with flag 290196/2272691 1282.62/653.26 c cleaning 14011 clauses out of 28030 with flag 336335/2287691 1290.42/657.18 c cleaning 15006 clauses out of 30018 with flag 385118/2303690 1299.61/661.68 c cleaning 16000 clauses out of 32012 with flag 436594/2320690 1309.40/666.52 c cleaning 17004 clauses out of 34013 with flag 493287/2338691 1320.45/671.92 c cleaning 18002 clauses out of 36008 with flag 550802/2357690 1331.86/677.67 c cleaning 19001 clauses out of 38007 with flag 609858/2377691 1344.90/684.00 c cleaning 19998 clauses out of 40006 with flag 665747/2398691 1358.54/690.79 c cleaning 20997 clauses out of 42007 with flag 724226/2420690 1373.42/698.01 c cleaning 22004 clauses out of 44010 with flag 792570/2443690 1388.01/705.35 c cleaning 22998 clauses out of 46006 with flag 861893/2467690 1405.66/714.04 c cleaning 23997 clauses out of 48009 with flag 938175/2492691 1423.07/722.70 c cleaning 25004 clauses out of 50013 with flag 1018886/2518692 1441.46/731.74 c cleaning 26000 clauses out of 52007 with flag 1095437/2545690 1460.47/741.17 c cleaning 26998 clauses out of 54007 with flag 1173482/2573690 1481.09/751.31 c cleaning 28006 clauses out of 56011 with flag 1251723/2602692 1500.54/760.91 c cleaning 29002 clauses out of 58003 with flag 1324612/2632690 1522.33/771.70 c cleaning 30001 clauses out of 60002 with flag 1399943/2663691 1546.74/783.87 c cleaning 30997 clauses out of 62002 with flag 1479720/2695692 1571.54/796.02 c cleaning 31994 clauses out of 64003 with flag 1565979/2728690 1598.52/809.48 c cleaning 33001 clauses out of 66009 with flag 1657169/2762690 1625.51/822.88 c cleaning 33999 clauses out of 68010 with flag 1745816/2797692 1656.52/838.14 c cleaning 35000 clauses out of 70009 with flag 1845005/2833690 1691.17/855.33 c cleaning 36003 clauses out of 72010 with flag 1970018/2870691 1729.96/874.57 c cleaning 37002 clauses out of 74006 with flag 2128302/2908690 1765.30/892.07 c cleaning 37996 clauses out of 76005 with flag 2275779/2947691 1799.71/909.15 c cleaning 39001 clauses out of 78008 with flag 2391526/2987690 1800.11/909.30 c >>>>>>>>>> Solver number 0 (43 answers) <<<<<<<<<<<<<<<<<< 1800.11/909.30 c starts : 44213 1800.11/909.30 c conflicts : 2988264 1800.11/909.30 c decisions : 10454965 1800.11/909.30 c propagations : 98639191 1800.11/909.30 c inspects : 7458196636 1800.11/909.30 c shortcuts : 0 1800.11/909.30 c learnt literals : 0 1800.11/909.30 c learnt binary clauses : 583 1800.11/909.30 c learnt ternary clauses : 2501 1800.11/909.30 c learnt constraints : 2988264 1800.11/909.30 c ignored constraints : 0 1800.11/909.30 c root simplifications : 0 1800.11/909.30 c removed literals (reason simplification) : 45089812 1800.11/909.30 c reason swapping (by a shorter reason) : 0 1800.11/909.30 c Calls to reduceDB : 175 1800.11/909.30 c Number of update (reduction) of LBD : 138916 1800.11/909.30 c Imported unit clauses : 0 1800.11/909.30 c number of reductions to clauses (during analyze) : 0 1800.11/909.30 c number of learned constraints concerned by reduction : 0 1800.11/909.30 c number of learning phase by resolution : 0 1800.11/909.30 c number of learning phase by cutting planes : 0 1800.11/909.30 c speed (assignments/second) : 349192.4716261089 1800.11/909.30 c non guided choices 0 1800.11/909.32 c learnt constraints type 1800.11/909.32 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 583 1800.11/909.32 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 38998 1800.11/909.32 c >>>>>>>>>> Solver number 1 (6 answers) <<<<<<<<<<<<<<<<<< 1800.11/909.32 c starts : 96 1800.11/909.32 c conflicts : 7942 1800.11/909.32 c decisions : 12538 1800.11/909.32 c propagations : 474899 1800.11/909.32 c inspects : 855276818 1800.11/909.32 c shortcuts : 0 1800.11/909.32 c learnt literals : 0 1800.11/909.32 c learnt binary clauses : 0 1800.11/909.32 c learnt ternary clauses : 13 1800.11/909.32 c learnt constraints : 7913 1800.11/909.32 c ignored constraints : 0 1800.11/909.32 c root simplifications : 0 1800.11/909.32 c removed literals (reason simplification) : 0 1800.11/909.32 c reason swapping (by a shorter reason) : 0 1800.11/909.32 c Calls to reduceDB : 0 1800.11/909.32 c Number of update (reduction) of LBD : 0 1800.11/909.32 c Imported unit clauses : 0 1800.11/909.32 c number of reductions to clauses (during analyze) : 0 1800.11/909.32 c number of learned constraints concerned by reduction : 0 1800.11/909.32 c number of learning phase by resolution : 0 1800.11/909.32 c number of learning phase by cutting planes : 0 1800.11/909.32 c speed (assignments/second) : 1551.7952370993885 1800.11/909.32 c non guided choices 0 1800.11/909.32 c learnt constraints type 1800.11/909.32 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 8 1800.11/909.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 7905 1800.11/909.32 s SATISFIABLE 1800.11/909.32 c Found 49 solution(s) 1800.11/909.33 v -x1 -x2 x3 x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 x13 x14 x15 x16 -x17 x18 -x19 -x20 -x21 -x22 x23 -x24 x25 -x26 -x27 x28 -x29 x30 x31 x32 x33 x34 x35 x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 x46 x47 -x48 -x49 -x50 x51 x52 -x53 x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 x368 -x369 x370 x371 x372 -x373 x374 -x375 x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 x507 x508 x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 -x541 x542 -x543 x544 -x545 -x546 x547 x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 x711 -x712 x713 -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 x779 x780 -x781 x782 x783 x784 -x785 x786 -x787 x788 -x789 x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 x855 x856 x857 -x858 -x859 -x860 -x861 -x862 x863 x864 x865 x866 x867 x868 x869 x870 x871 x872 x873 x874 x875 x876 -x877 x878 x879 x880 -x881 -x882 x883 x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 x970 x971 -x972 x973 x974 -x975 -x976 x977 1800.11/909.33 c objective function=-261 1800.11/909.33 c Total wall clock time (in seconds): 909.212
OK -261
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-4118881-1467237416/watcher-4118881-1467237416 -o /tmp/evaluation-result-4118881-1467237416/solver-4118881-1467237416 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1467233347-7542 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118881-1467237416.opb pid=9594 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: 4.40 3.85 3.78 4/197 9597 /proc/meminfo: memFree=23210944/32872528 swapFree=1268996/1432516 [pid=9597] ppid=9594 vsize=2504 CPUtime=0 cores=1,3,5,7 /proc/9597/stat : 9597 (java) R 9594 9597 5003 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 4696718 2564096 47 33554432000 1073741824 1073778376 140735472961008 140735472958136 214360485108 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/9597/statm: 892 49 38 9 0 30 0 [startup+0.100059 s] /proc/loadavg: 4.40 3.85 3.78 4/197 9597 /proc/meminfo: memFree=23210944/32872528 swapFree=1268996/1432516 [pid=9597] ppid=9594 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/9597/stat : 9597 (java) S 9594 9597 5003 0 -1 4202496 4403 0 1 0 8 1 0 0 20 0 18 0 4696718 9787879424 6030 33554432000 1073741824 1073778376 140735472961008 140735472952144 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9597/statm: 2389619 6030 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200198 s] /proc/loadavg: 4.40 3.85 3.78 4/197 9597 /proc/meminfo: memFree=23210944/32872528 swapFree=1268996/1432516 [pid=9597] ppid=9594 vsize=9558476 CPUtime=0.24 cores=1,3,5,7 /proc/9597/stat : 9597 (java) S 9594 9597 5003 0 -1 4202496 4730 0 1 0 23 1 0 0 20 0 18 0 4696718 9787879424 7293 33554432000 1073741824 1073778376 140735472961008 140735472952144 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9597/statm: 2389619 7293 2203 9 0 2380296 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.300205 s] /proc/loadavg: 4.40 3.85 3.78 4/197 9597 /proc/meminfo: memFree=23210944/32872528 swapFree=1268996/1432516 [pid=9597] ppid=9594 vsize=9558476 CPUtime=0.5 cores=1,3,5,7 /proc/9597/stat : 9597 (java) S 9594 9597 5003 0 -1 4202496 7440 0 1 0 48 2 0 0 20 0 18 0 4696718 9787879424 9882 33554432000 1073741824 1073778376 140735472961008 140735472952144 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9597/statm: 2389619 9882 2236 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558476 [startup+0.700317 s] /proc/loadavg: 4.40 3.85 3.78 4/197 9597 /proc/meminfo: memFree=23210944/32872528 swapFree=1268996/1432516 [pid=9597] ppid=9594 vsize=9824732 CPUtime=0.71 cores=1,3,5,7 /proc/9597/stat : 9597 (java) S 9594 9597 5003 0 -1 4202496 7791 0 1 0 67 4 0 0 20 0 19 0 4696718 10060525568 11799 33554432000 1073741824 1073778376 140735472961008 140735472952144 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9597/statm: 2456183 11799 2253 9 0 2446860 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 9824732 [startup+1.50074 s] /proc/loadavg: 4.40 3.85 3.78 3/216 9622 /proc/meminfo: memFree=23165292/32872528 swapFree=1268996/1432516 [pid=9597] ppid=9594 vsize=9824732 CPUtime=1.24 cores=1,3,5,7 /proc/9597/stat : 9597 (java) S 9594 9597 5003 0 -1 4202496 16820 0 1 0 115 9 0 0 20 0 19 0 4696718 10060525568 18775 33554432000 1073741824 1073778376 140735472961008 140735472952144 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9597/statm: 2456183 18775 2254 9 0 2446860 0 [pid=9597/tid=9599] ppid=9594 vsize=9824732 CPUtime=0.32 cores=1,3,5,7 /proc/9597/task/9599/stat : 9599 (java) S 9594 9597 5003 0 -1 4202560 2429 0 1 0 31 1 0 0 20 0 19 0 4696719 10060525568 18775 33554432000 1073741824 1073778376 140735472961008 140278888706936 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9600] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9600/stat : 9600 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 18775 33554432000 1073741824 1073778376 140735472961008 140278732323240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9601] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9601/stat : 9601 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 18775 33554432000 1073741824 1073778376 140735472961008 140278731270696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9597/tid=9602] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9602/stat : 9602 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 18775 33554432000 1073741824 1073778376 140735472961008 140278730217640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9603] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9603/stat : 9603 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 18775 33554432000 1073741824 1073778376 140735472961008 140278729165096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=9604] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9604/stat : 9604 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 18775 33554432000 1073741824 1073778376 140735472961008 140278728113064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9605] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9605/stat : 9605 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 18775 33554432000 1073741824 1073778376 140735472961008 140278727060520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=9606] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9606/stat : 9606 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 18775 33554432000 1073741824 1073778376 140735472961008 140278726007464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9607] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9607/stat : 9607 (java) S 9594 9597 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 18775 33554432000 1073741824 1073778376 140735472961008 140278724954920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9608] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9608/stat : 9608 (java) S 9594 9597 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4696722 10060525568 18775 33554432000 1073741824 1073778376 140735472961008 140278712756584 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9609] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9609/stat : 9609 (java) S 9594 9597 5003 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4696722 10060525568 18775 33554432000 1073741824 1073778376 140735472961008 140278711702904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9610] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9610/stat : 9610 (java) S 9594 9597 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4696722 10060525568 18775 33554432000 1073741824 1073778376 140735472961008 140278710649736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9611] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9611/stat : 9611 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696724 10060525568 18775 33554432000 1073741824 1073778376 140735472961008 140278709598480 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9612] ppid=9594 vsize=9824732 CPUtime=0.32 cores=1,3,5,7 /proc/9597/task/9612/stat : 9612 (java) R 9594 9597 5003 0 -1 4202560 5781 0 0 0 32 0 0 0 20 0 19 0 4696724 10060525568 18775 33554432000 1073741824 1073778376 140735472961008 140278708523816 140278895162682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=9597/tid=9613] ppid=9594 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/9597/task/9613/stat : 9613 (java) R 9594 9597 5003 0 -1 4202560 7259 0 0 0 38 1 0 0 20 0 19 0 4696724 10060525568 18775 33554432000 1073741824 1073778376 140735472961008 140278707481000 140278892798415 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=9614] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9614/stat : 9614 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696724 10060525568 18775 33554432000 1073741824 1073778376 140735472961008 140278706440952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9597/tid=9615] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9615/stat : 9615 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696724 10060525568 18775 33554432000 1073741824 1073778376 140735472961008 140278705388616 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9619] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9619/stat : 9619 (java) S 9594 9597 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4696753 10060525568 18775 33554432000 1073741824 1073778376 140735472961008 140278701175720 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.24 Current children cumulated vsize (KiB) 9824732 [startup+3.10081 s] /proc/loadavg: 4.40 3.85 3.78 3/216 9628 /proc/meminfo: memFree=23133012/32872528 swapFree=1268996/1432516 [pid=9597] ppid=9594 vsize=9824732 CPUtime=2.27 cores=1,3,5,7 /proc/9597/stat : 9597 (java) S 9594 9597 5003 0 -1 4202496 17136 0 1 0 216 11 0 0 20 0 19 0 4696718 10060525568 23963 33554432000 1073741824 1073778376 140735472961008 140735472952144 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9597/statm: 2456183 23963 2260 9 0 2446860 0 [pid=9597/tid=9599] ppid=9594 vsize=9824732 CPUtime=0.34 cores=1,3,5,7 /proc/9597/task/9599/stat : 9599 (java) S 9594 9597 5003 0 -1 4202560 2430 0 1 0 32 2 0 0 20 0 19 0 4696719 10060525568 23963 33554432000 1073741824 1073778376 140735472961008 140278888706936 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9600] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9600/stat : 9600 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 23963 33554432000 1073741824 1073778376 140735472961008 140278732323240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9601] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9601/stat : 9601 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 23963 33554432000 1073741824 1073778376 140735472961008 140278731270696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9597/tid=9602] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9602/stat : 9602 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 23963 33554432000 1073741824 1073778376 140735472961008 140278730217640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9603] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9603/stat : 9603 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 23963 33554432000 1073741824 1073778376 140735472961008 140278729165096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=9604] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9604/stat : 9604 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 23963 33554432000 1073741824 1073778376 140735472961008 140278728113064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9605] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9605/stat : 9605 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 23963 33554432000 1073741824 1073778376 140735472961008 140278727060520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=9606] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9606/stat : 9606 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 23963 33554432000 1073741824 1073778376 140735472961008 140278726007464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9607] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9607/stat : 9607 (java) S 9594 9597 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 23963 33554432000 1073741824 1073778376 140735472961008 140278724954920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9608] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9608/stat : 9608 (java) S 9594 9597 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4696722 10060525568 23963 33554432000 1073741824 1073778376 140735472961008 140278712756584 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9609] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9609/stat : 9609 (java) S 9594 9597 5003 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4696722 10060525568 23963 33554432000 1073741824 1073778376 140735472961008 140278711702904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9610] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9610/stat : 9610 (java) S 9594 9597 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4696722 10060525568 23963 33554432000 1073741824 1073778376 140735472961008 140278710649736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9611] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9611/stat : 9611 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696724 10060525568 23963 33554432000 1073741824 1073778376 140735472961008 140278709598480 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9612] ppid=9594 vsize=9824732 CPUtime=0.62 cores=1,3,5,7 /proc/9597/task/9612/stat : 9612 (java) S 9594 9597 5003 0 -1 4202560 5825 0 0 0 62 0 0 0 20 0 19 0 4696724 10060525568 23963 33554432000 1073741824 1073778376 140735472961008 140278708546360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=9613] ppid=9594 vsize=9824732 CPUtime=0.69 cores=1,3,5,7 /proc/9597/task/9613/stat : 9613 (java) S 9594 9597 5003 0 -1 4202560 7500 0 0 0 68 1 0 0 20 0 19 0 4696724 10060525568 23963 33554432000 1073741824 1073778376 140735472961008 140278707493816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9597/tid=9614] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9614/stat : 9614 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696724 10060525568 23963 33554432000 1073741824 1073778376 140735472961008 140278706440952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9597/tid=9615] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9615/stat : 9615 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696724 10060525568 23963 33554432000 1073741824 1073778376 140735472961008 140278705388616 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9619] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9619/stat : 9619 (java) S 9594 9597 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4696753 10060525568 23963 33554432000 1073741824 1073778376 140735472961008 140278701175720 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.27 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=25 pid=1815 uid=0 cmd= [startup+6.30083 s] /proc/loadavg: 4.21 3.82 3.77 3/216 9649 /proc/meminfo: memFree=23059476/32872528 swapFree=1268996/1432516 [pid=9597] ppid=9594 vsize=9824732 CPUtime=3.64 cores=1,3,5,7 /proc/9597/stat : 9597 (java) S 9594 9597 5003 0 -1 4202496 17808 0 1 0 344 20 0 0 20 0 19 0 4696718 10060525568 40967 33554432000 1073741824 1073778376 140735472961008 140735472952144 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9597/statm: 2456183 40967 2270 9 0 2446860 0 [pid=9597/tid=9599] ppid=9594 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/9597/task/9599/stat : 9599 (java) S 9594 9597 5003 0 -1 4202560 2433 0 1 0 33 2 0 0 20 0 19 0 4696719 10060525568 40967 33554432000 1073741824 1073778376 140735472961008 140278888706936 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9600] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9600/stat : 9600 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 40967 33554432000 1073741824 1073778376 140735472961008 140278732323240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9601] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9601/stat : 9601 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 40967 33554432000 1073741824 1073778376 140735472961008 140278731270696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9597/tid=9602] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9602/stat : 9602 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 40967 33554432000 1073741824 1073778376 140735472961008 140278730217640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9603] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9603/stat : 9603 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 40967 33554432000 1073741824 1073778376 140735472961008 140278729165096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=9604] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9604/stat : 9604 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 40967 33554432000 1073741824 1073778376 140735472961008 140278728113064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9605] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9605/stat : 9605 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 40967 33554432000 1073741824 1073778376 140735472961008 140278727060520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=9606] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9606/stat : 9606 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 40967 33554432000 1073741824 1073778376 140735472961008 140278726007464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9607] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9607/stat : 9607 (java) S 9594 9597 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4696721 10060525568 40967 33554432000 1073741824 1073778376 140735472961008 140278724954920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9608] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9608/stat : 9608 (java) S 9594 9597 5003 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4696722 10060525568 40967 33554432000 1073741824 1073778376 140735472961008 140278712756584 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=9609] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9609/stat : 9609 (java) S 9594 9597 5003 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4696722 10060525568 40967 33554432000 1073741824 1073778376 140735472961008 140278711702904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9610] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9610/stat : 9610 (java) S 9594 9597 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4696722 10060525568 40967 33554432000 1073741824 1073778376 140735472961008 140278710649736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9611] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9611/stat : 9611 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696724 10060525568 40967 33554432000 1073741824 1073778376 140735472961008 140278709598480 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9612] ppid=9594 vsize=9824732 CPUtime=0.98 cores=1,3,5,7 /proc/9597/task/9612/stat : 9612 (java) S 9594 9597 5003 0 -1 4202560 6387 0 0 0 98 0 0 0 20 0 19 0 4696724 10060525568 40967 33554432000 1073741824 1073778376 140735472961008 140278708546360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9613] ppid=9594 vsize=9824732 CPUtime=0.93 cores=1,3,5,7 /proc/9597/task/9613/stat : 9613 (java) S 9594 9597 5003 0 -1 4202560 7513 0 0 0 92 1 0 0 20 0 19 0 4696724 10060525568 40967 33554432000 1073741824 1073778376 140735472961008 140278707493816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9597/tid=9614] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9614/stat : 9614 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4696724 10060525568 40967 33554432000 1073741824 1073778376 140735472961008 140278706440952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9597/tid=9615] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9615/stat : 9615 (java) S 9594 9597 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4696724 10060525568 40967 33554432000 1073741824 1073778376 140735472961008 140278705388616 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9619] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9619/stat : 9619 (java) S 9594 9597 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4696753 10060525568 40967 33554432000 1073741824 1073778376 140735472961008 140278701175720 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.64 ################ # More data... # ################ [pid=9597/tid=9607] ppid=9594 vsize=9824732 CPUtime=4.99 cores=1,3,5,7 /proc/9597/task/9607/stat : 9607 (java) S 9594 9597 5003 0 -1 4202560 1465 0 0 0 478 21 0 0 20 0 22 0 4696721 10060525568 990656 33554432000 1073741824 1073778376 140735472961008 140278724954920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9608] ppid=9594 vsize=9824732 CPUtime=5.23 cores=1,3,5,7 /proc/9597/task/9608/stat : 9608 (java) S 9594 9597 5003 0 -1 4202560 2484 0 0 0 512 11 0 0 20 0 22 0 4696722 10060525568 990656 33554432000 1073741824 1073778376 140735472961008 140278712756584 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9609] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9609/stat : 9609 (java) S 9594 9597 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4696722 10060525568 990656 33554432000 1073741824 1073778376 140735472961008 140278711702904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=9610] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9610/stat : 9610 (java) S 9594 9597 5003 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 22 0 4696722 10060525568 990656 33554432000 1073741824 1073778376 140735472961008 140278710649736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=9611] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9611/stat : 9611 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4696724 10060525568 990656 33554432000 1073741824 1073778376 140735472961008 140278709598480 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9612] ppid=9594 vsize=9824732 CPUtime=1.95 cores=1,3,5,7 /proc/9597/task/9612/stat : 9612 (java) S 9594 9597 5003 0 -1 4202560 11262 0 0 0 193 2 0 0 20 0 22 0 4696724 10060525568 990656 33554432000 1073741824 1073778376 140735472961008 140278708546360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9613] ppid=9594 vsize=9824732 CPUtime=1.62 cores=1,3,5,7 /proc/9597/task/9613/stat : 9613 (java) S 9594 9597 5003 0 -1 4202560 9563 0 0 0 161 1 0 0 20 0 22 0 4696724 10060525568 990656 33554432000 1073741824 1073778376 140735472961008 140278707493816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9597/tid=9614] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9614/stat : 9614 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4696724 10060525568 990656 33554432000 1073741824 1073778376 140735472961008 140278706440952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9597/tid=9615] ppid=9594 vsize=9824732 CPUtime=0.37 cores=1,3,5,7 /proc/9597/task/9615/stat : 9615 (java) S 9594 9597 5003 0 -1 4202560 52 0 0 0 16 21 0 0 20 0 22 0 4696724 10060525568 990656 33554432000 1073741824 1073778376 140735472961008 140278705388616 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=10199] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/10199/stat : 10199 (java) S 9594 9597 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4757048 10060525568 990656 33554432000 1073741824 1073778376 140735472961008 140278704333736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=10230] ppid=9594 vsize=9824732 CPUtime=251.77 cores=1,3,5,7 /proc/9597/task/10230/stat : 10230 (java) R 9594 9597 5003 0 -1 4202560 9 0 0 0 25174 3 0 0 20 0 22 0 4759402 10060525568 990656 33554432000 1073741824 1073778376 140735472961008 140278701174704 140278750316359 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=9597/tid=10231] ppid=9594 vsize=9824732 CPUtime=251.82 cores=1,3,5,7 /proc/9597/task/10231/stat : 10231 (java) R 9594 9597 5003 0 -1 4202560 23 0 0 0 25179 3 0 0 20 0 22 0 4759402 10060525568 990656 33554432000 1073741824 1073778376 140735472961008 140278702226752 140278749764620 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=10232] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/10232/stat : 10232 (java) S 9594 9597 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4759402 10060525568 990656 33554432000 1073741824 1073778376 140735472961008 140278703281448 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1743.87 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+909.301 s] /proc/loadavg: 4.23 4.09 3.96 5/219 10373 /proc/meminfo: memFree=19146276/32872528 swapFree=1268996/1432516 [pid=9597] ppid=9594 vsize=9824732 CPUtime=1798.24 cores=1,3,5,7 /proc/9597/stat : 9597 (java) S 9594 9597 5003 0 -1 4202496 42471 0 1 0 179509 315 0 0 20 0 22 0 4696718 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140735472952144 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9597/statm: 2456183 990658 2296 9 0 2446860 0 [pid=9597/tid=9599] ppid=9594 vsize=9824732 CPUtime=0.49 cores=1,3,5,7 /proc/9597/task/9599/stat : 9599 (java) S 9594 9597 5003 0 -1 4202560 2453 0 1 0 45 4 0 0 20 0 22 0 4696719 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278888706936 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9600] ppid=9594 vsize=9824732 CPUtime=4.99 cores=1,3,5,7 /proc/9597/task/9600/stat : 9600 (java) S 9594 9597 5003 0 -1 4202560 2536 0 0 0 475 24 0 0 20 0 22 0 4696721 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278732323240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=9601] ppid=9594 vsize=9824732 CPUtime=4.5 cores=1,3,5,7 /proc/9597/task/9601/stat : 9601 (java) S 9594 9597 5003 0 -1 4202560 1530 0 0 0 435 15 0 0 20 0 22 0 4696721 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278731270696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9602] ppid=9594 vsize=9824732 CPUtime=5.11 cores=1,3,5,7 /proc/9597/task/9602/stat : 9602 (java) S 9594 9597 5003 0 -1 4202560 1250 0 0 0 495 16 0 0 20 0 22 0 4696721 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278730217640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9603] ppid=9594 vsize=9824732 CPUtime=4.8 cores=1,3,5,7 /proc/9597/task/9603/stat : 9603 (java) S 9594 9597 5003 0 -1 4202560 807 0 0 0 460 20 0 0 20 0 22 0 4696721 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278729165096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9604] ppid=9594 vsize=9824732 CPUtime=5.11 cores=1,3,5,7 /proc/9597/task/9604/stat : 9604 (java) S 9594 9597 5003 0 -1 4202560 1890 0 0 0 487 24 0 0 20 0 22 0 4696721 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278728113064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9605] ppid=9594 vsize=9824732 CPUtime=4.67 cores=1,3,5,7 /proc/9597/task/9605/stat : 9605 (java) S 9594 9597 5003 0 -1 4202560 1654 0 0 0 447 20 0 0 20 0 22 0 4696721 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278727060520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9606] ppid=9594 vsize=9824732 CPUtime=4.3 cores=1,3,5,7 /proc/9597/task/9606/stat : 9606 (java) S 9594 9597 5003 0 -1 4202560 2519 0 0 0 410 20 0 0 20 0 22 0 4696721 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278726007464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9607] ppid=9594 vsize=9824732 CPUtime=5.14 cores=1,3,5,7 /proc/9597/task/9607/stat : 9607 (java) S 9594 9597 5003 0 -1 4202560 1465 0 0 0 493 21 0 0 20 0 22 0 4696721 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278724954920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9608] ppid=9594 vsize=9824732 CPUtime=5.23 cores=1,3,5,7 /proc/9597/task/9608/stat : 9608 (java) S 9594 9597 5003 0 -1 4202560 2487 0 0 0 512 11 0 0 20 0 22 0 4696722 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278712756584 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9609] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9609/stat : 9609 (java) S 9594 9597 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4696722 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278711702904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=9610] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9610/stat : 9610 (java) S 9594 9597 5003 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 22 0 4696722 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278710649736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=9611] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9611/stat : 9611 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4696724 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278709598480 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9612] ppid=9594 vsize=9824732 CPUtime=1.95 cores=1,3,5,7 /proc/9597/task/9612/stat : 9612 (java) S 9594 9597 5003 0 -1 4202560 11262 0 0 0 193 2 0 0 20 0 22 0 4696724 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278708546360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9613] ppid=9594 vsize=9824732 CPUtime=1.62 cores=1,3,5,7 /proc/9597/task/9613/stat : 9613 (java) S 9594 9597 5003 0 -1 4202560 9563 0 0 0 161 1 0 0 20 0 22 0 4696724 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278707493816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9597/tid=9614] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9614/stat : 9614 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4696724 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278706440952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9597/tid=9615] ppid=9594 vsize=9824732 CPUtime=0.38 cores=1,3,5,7 /proc/9597/task/9615/stat : 9615 (java) S 9594 9597 5003 0 -1 4202560 54 0 0 0 16 22 0 0 20 0 22 0 4696724 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278705388616 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=10199] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/10199/stat : 10199 (java) S 9594 9597 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4757048 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278704333736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=10230] ppid=9594 vsize=9824732 CPUtime=278.47 cores=1,3,5,7 /proc/9597/task/10230/stat : 10230 (java) R 9594 9597 5003 0 -1 4202560 11 0 0 0 27843 4 0 0 20 0 22 0 4759402 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278701174704 140278749543076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=10231] ppid=9594 vsize=9824732 CPUtime=278.51 cores=1,3,5,7 /proc/9597/task/10231/stat : 10231 (java) R 9594 9597 5003 0 -1 4202560 24 0 0 0 27847 4 0 0 20 0 22 0 4759402 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278702228728 140278749476440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=9597/tid=10232] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/10232/stat : 10232 (java) S 9594 9597 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4759402 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278703281448 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1798.24 Current children cumulated vsize (KiB) 9824732 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 9597 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+909.301 s] /proc/loadavg: 4.23 4.09 3.96 5/219 10373 /proc/meminfo: memFree=19146276/32872528 swapFree=1268996/1432516 [pid=9597] ppid=9594 vsize=9824732 CPUtime=1798.24 cores=1,3,5,7 /proc/9597/stat : 9597 (java) S 9594 9597 5003 0 -1 4202496 42471 0 1 0 179509 315 0 0 20 0 22 0 4696718 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140735472952144 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9597/statm: 2456183 990658 2296 9 0 2446860 0 [pid=9597/tid=9599] ppid=9594 vsize=9824732 CPUtime=0.49 cores=1,3,5,7 /proc/9597/task/9599/stat : 9599 (java) S 9594 9597 5003 0 -1 4202560 2453 0 1 0 45 4 0 0 20 0 22 0 4696719 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278888706936 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9600] ppid=9594 vsize=9824732 CPUtime=4.99 cores=1,3,5,7 /proc/9597/task/9600/stat : 9600 (java) S 9594 9597 5003 0 -1 4202560 2536 0 0 0 475 24 0 0 20 0 22 0 4696721 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278732323240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=9601] ppid=9594 vsize=9824732 CPUtime=4.5 cores=1,3,5,7 /proc/9597/task/9601/stat : 9601 (java) S 9594 9597 5003 0 -1 4202560 1530 0 0 0 435 15 0 0 20 0 22 0 4696721 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278731270696 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9602] ppid=9594 vsize=9824732 CPUtime=5.11 cores=1,3,5,7 /proc/9597/task/9602/stat : 9602 (java) S 9594 9597 5003 0 -1 4202560 1250 0 0 0 495 16 0 0 20 0 22 0 4696721 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278730217640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9603] ppid=9594 vsize=9824732 CPUtime=4.8 cores=1,3,5,7 /proc/9597/task/9603/stat : 9603 (java) S 9594 9597 5003 0 -1 4202560 807 0 0 0 460 20 0 0 20 0 22 0 4696721 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278729165096 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9604] ppid=9594 vsize=9824732 CPUtime=5.11 cores=1,3,5,7 /proc/9597/task/9604/stat : 9604 (java) S 9594 9597 5003 0 -1 4202560 1890 0 0 0 487 24 0 0 20 0 22 0 4696721 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278728113064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9605] ppid=9594 vsize=9824732 CPUtime=4.67 cores=1,3,5,7 /proc/9597/task/9605/stat : 9605 (java) S 9594 9597 5003 0 -1 4202560 1654 0 0 0 447 20 0 0 20 0 22 0 4696721 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278727060520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9606] ppid=9594 vsize=9824732 CPUtime=4.3 cores=1,3,5,7 /proc/9597/task/9606/stat : 9606 (java) S 9594 9597 5003 0 -1 4202560 2519 0 0 0 410 20 0 0 20 0 22 0 4696721 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278726007464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9607] ppid=9594 vsize=9824732 CPUtime=5.14 cores=1,3,5,7 /proc/9597/task/9607/stat : 9607 (java) S 9594 9597 5003 0 -1 4202560 1465 0 0 0 493 21 0 0 20 0 22 0 4696721 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278724954920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9608] ppid=9594 vsize=9824732 CPUtime=5.23 cores=1,3,5,7 /proc/9597/task/9608/stat : 9608 (java) S 9594 9597 5003 0 -1 4202560 2487 0 0 0 512 11 0 0 20 0 22 0 4696722 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278712756584 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9609] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9609/stat : 9609 (java) S 9594 9597 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4696722 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278711702904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=9610] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9610/stat : 9610 (java) S 9594 9597 5003 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 22 0 4696722 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278710649736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=9611] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9611/stat : 9611 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4696724 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278709598480 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=9612] ppid=9594 vsize=9824732 CPUtime=1.95 cores=1,3,5,7 /proc/9597/task/9612/stat : 9612 (java) S 9594 9597 5003 0 -1 4202560 11262 0 0 0 193 2 0 0 20 0 22 0 4696724 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278708546360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=9613] ppid=9594 vsize=9824732 CPUtime=1.62 cores=1,3,5,7 /proc/9597/task/9613/stat : 9613 (java) S 9594 9597 5003 0 -1 4202560 9563 0 0 0 161 1 0 0 20 0 22 0 4696724 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278707493816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9597/tid=9614] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/9614/stat : 9614 (java) S 9594 9597 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4696724 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278706440952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9597/tid=9615] ppid=9594 vsize=9824732 CPUtime=0.38 cores=1,3,5,7 /proc/9597/task/9615/stat : 9615 (java) S 9594 9597 5003 0 -1 4202560 54 0 0 0 16 22 0 0 20 0 22 0 4696724 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278705388616 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9597/tid=10199] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/10199/stat : 10199 (java) S 9594 9597 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4757048 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278704333736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9597/tid=10230] ppid=9594 vsize=9824732 CPUtime=278.47 cores=1,3,5,7 /proc/9597/task/10230/stat : 10230 (java) R 9594 9597 5003 0 -1 4202560 11 0 0 0 27843 4 0 0 20 0 22 0 4759402 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278701174704 140278749543076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=9597/tid=10231] ppid=9594 vsize=9824732 CPUtime=278.51 cores=1,3,5,7 /proc/9597/task/10231/stat : 10231 (java) R 9594 9597 5003 0 -1 4202560 24 0 0 0 27847 4 0 0 20 0 22 0 4759402 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278702228728 140278749476440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=9597/tid=10232] ppid=9594 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9597/task/10232/stat : 10232 (java) S 9594 9597 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4759402 10060525568 990658 33554432000 1073741824 1073778376 140735472961008 140278703281448 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1798.24 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9597 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=708314 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=422479 # CPU time returned by wait4() is 1797.13 # while last known CPU time is 1798.24 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.87006 # lost CPU user time (s): 2.08004 # lost CPU system time (s): -0.21 Real time (s): 909.349 CPU time (s): 1800.11 CPU user time (s): 1797.17 CPU system time (s): 2.94 CPU usage (%): 197.956 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.71 system time used= 3.42248 maximum resident set size= 3962760 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42517 page faults= 1 swaps= 0 block input operations= 0 block output operations= 960 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 26042 involuntary context switches= 30350 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.64214 second user time and 7.82481 second system time The end
Begin job on node130 at 2016-06-29 23:56:56 IDJOB=4118881 IDBENCH=111543 IDSOLVER=2543 FILE ID=node130/4118881-1467237416 RUNJOBID= node130-1467233347-7542 PBS_JOBID= 19997578 Free space on /tmp= 71668 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-06.lin.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118881-1467237416/watcher-4118881-1467237416 -o /tmp/evaluation-result-4118881-1467237416/solver-4118881-1467237416 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1467233347-7542 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118881-1467237416.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 82a58da8e8c04db5d33fa1448be69c4a RANDOM SEED=405486179 node130.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.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.62 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.813 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.813 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.55 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.813 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.813 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.55 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.813 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.813 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.813 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: 23211316 kB Buffers: 141504 kB Cached: 3755292 kB SwapCached: 0 kB Active: 4048936 kB Inactive: 3423952 kB Active(anon): 3578336 kB Inactive(anon): 316 kB Active(file): 470600 kB Inactive(file): 3423636 kB Unevictable: 1432516 kB Mlocked: 1268996 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 500 kB Writeback: 0 kB AnonPages: 5008416 kB Mapped: 22216 kB Shmem: 204 kB Slab: 617268 kB SReclaimable: 61060 kB SUnreclaim: 556208 kB KernelStack: 1616 kB PageTables: 13776 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5758064 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3655680 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= 71664 MiB End job on node130 at 2016-06-30 00:12:06