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) | -2666 | 1800.47 | 917.767 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-25.lin.opb |
| MD5SUM | 2a7f032165a45570212a8b02f661ec7a |
| 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 | -2666 |
| Best CPU time to get the best result obtained on this benchmark | 1800.47 |
| 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 | 3677 |
| Total number of constraints | 7304 |
| Number of constraints which are clauses | 3652 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3652 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 3677 |
| Biggest coefficient in the objective function | 926 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 187616 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 926 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 187616 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.10 c version PB16.v20160501 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 501472288 0.07/0.10 c Max memory 7480803328 0.07/0.10 c Total memory 504102912 0.07/0.10 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization by upper bound 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Glucose 2.1 dynamic restart strategy 0.07/0.13 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.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 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.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-4119007-1467239054.opb 0.07/0.13 c reading problem ... 0.07/0.13 c objective function found 0.74/0.48 c ... done. Wall clock time 0.345s. 0.74/0.48 c declared #vars 3677 0.74/0.48 c #constraints 7304 0.74/0.48 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.74/0.48 c constraints type 0.74/0.48 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3652 0.74/0.48 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3652 0.74/0.48 c 7304 constraints processed. 0.74/0.48 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.74/0.48 c constraints type 0.74/0.48 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3652 0.74/0.48 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3652 0.74/0.48 c 7304 constraints processed. 0.74/0.48 c objective function length is 3677 literals 1.05/0.56 c And the winner is solver0 1.81/0.98 c SATISFIABLE 1.81/0.98 c OPTIMIZING... 1.81/0.98 c Got one! Elapsed wall clock time (in seconds):0.854 1.81/0.98 o 0 1.84/1.10 c And the winner is solver0 2.42/1.54 c Got one! Elapsed wall clock time (in seconds):1.403 2.42/1.54 o -276 2.42/1.56 c And the winner is solver0 2.52/2.06 c Got one! Elapsed wall clock time (in seconds):1.932 2.52/2.06 o -506 2.52/2.09 c And the winner is solver0 2.69/2.59 c Got one! Elapsed wall clock time (in seconds):2.457 2.69/2.59 o -855 2.72/2.60 c And the winner is solver0 2.74/3.09 c Got one! Elapsed wall clock time (in seconds):2.964 2.74/3.09 o -1016 2.77/3.12 c And the winner is solver0 2.83/3.60 c Got one! Elapsed wall clock time (in seconds):3.473 2.83/3.60 o -1126 2.83/3.61 c And the winner is solver0 2.84/4.11 c Got one! Elapsed wall clock time (in seconds):3.979 2.84/4.11 o -1450 2.84/4.14 c And the winner is solver0 3.01/4.61 c Got one! Elapsed wall clock time (in seconds):4.483 3.01/4.61 o -1662 3.01/4.63 c And the winner is solver0 3.06/5.12 c Got one! Elapsed wall clock time (in seconds):4.989 3.06/5.12 o -1676 3.06/5.14 c And the winner is solver0 3.11/5.63 c Got one! Elapsed wall clock time (in seconds):5.494 3.11/5.63 o -1923 3.11/5.66 c And the winner is solver0 3.23/6.13 c Got one! Elapsed wall clock time (in seconds):6.0 3.23/6.13 o -1939 3.23/6.15 c And the winner is solver0 3.27/6.64 c Got one! Elapsed wall clock time (in seconds):6.504 3.27/6.64 o -2010 3.42/6.71 c And the winner is solver0 3.45/7.14 c Got one! Elapsed wall clock time (in seconds):7.009 3.45/7.14 o -2075 3.45/7.17 c And the winner is solver0 3.59/7.65 c Got one! Elapsed wall clock time (in seconds):7.514 3.59/7.65 o -2107 3.59/7.67 c And the winner is solver0 3.64/8.15 c Got one! Elapsed wall clock time (in seconds):8.018 3.64/8.15 o -2213 3.73/8.25 c And the winner is solver0 4.00/8.65 c Got one! Elapsed wall clock time (in seconds):8.523 4.00/8.65 o -2233 4.08/8.74 c And the winner is solver0 4.33/9.16 c Got one! Elapsed wall clock time (in seconds):9.027 4.33/9.16 o -2237 4.41/9.23 c And the winner is solver0 4.49/9.66 c Got one! Elapsed wall clock time (in seconds):9.532 4.49/9.66 o -2242 4.56/9.72 c And the winner is solver0 4.62/10.17 c Got one! Elapsed wall clock time (in seconds):10.036 4.62/10.17 o -2248 4.62/10.18 c And the winner is solver0 4.64/10.67 c Got one! Elapsed wall clock time (in seconds):10.541 4.64/10.67 o -2256 4.64/10.69 c And the winner is solver0 4.67/11.18 c Got one! Elapsed wall clock time (in seconds):11.045 4.67/11.18 o -2258 4.70/11.28 c And the winner is solver0 5.01/11.68 c Got one! Elapsed wall clock time (in seconds):11.55 5.01/11.68 o -2268 5.04/11.73 c And the winner is solver0 5.12/12.19 c Got one! Elapsed wall clock time (in seconds):12.054 5.12/12.19 o -2269 5.34/12.34 c And the winner is solver0 5.50/12.69 c Got one! Elapsed wall clock time (in seconds):12.559 5.50/12.69 o -2275 6.70/13.21 c And the winner is solver0 6.81/13.69 c Got one! Elapsed wall clock time (in seconds):13.564 6.81/13.69 o -2278 7.01/13.88 c And the winner is solver0 7.21/14.20 c Got one! Elapsed wall clock time (in seconds):14.068 7.21/14.20 o -2297 7.21/14.26 c And the winner is solver0 7.40/14.70 c Got one! Elapsed wall clock time (in seconds):14.573 7.40/14.70 o -2313 7.40/14.75 c And the winner is solver0 7.58/15.21 c Got one! Elapsed wall clock time (in seconds):15.078 7.58/15.21 o -2316 7.58/15.22 c And the winner is solver0 7.63/15.71 c Got one! Elapsed wall clock time (in seconds):15.582 7.63/15.71 o -2329 7.63/15.74 c And the winner is solver0 7.77/16.22 c Got one! Elapsed wall clock time (in seconds):16.087 7.77/16.22 o -2335 7.95/16.31 c And the winner is solver0 8.02/16.72 c Got one! Elapsed wall clock time (in seconds):16.594 8.02/16.72 o -2338 8.02/16.77 c And the winner is solver0 8.20/17.23 c Got one! Elapsed wall clock time (in seconds):17.098 8.20/17.23 o -2349 8.33/17.35 c And the winner is solver0 8.44/17.73 c Got one! Elapsed wall clock time (in seconds):17.602 8.44/17.73 o -2366 8.44/17.77 c And the winner is solver0 8.61/18.24 c Got one! Elapsed wall clock time (in seconds):18.107 8.61/18.24 o -2367 10.02/18.92 c And the winner is solver0 10.22/19.24 c Got one! Elapsed wall clock time (in seconds):19.112 10.22/19.24 o -2372 12.99/20.52 c And the winner is solver0 13.07/20.75 c Got one! Elapsed wall clock time (in seconds):20.616 13.07/20.75 o -2391 13.80/21.17 c And the winner is solver0 13.97/21.25 c Got one! Elapsed wall clock time (in seconds):21.121 13.97/21.25 o -2403 15.50/22.07 c And the winner is solver0 15.68/22.26 c Got one! Elapsed wall clock time (in seconds):22.126 15.68/22.26 o -2437 16.76/22.88 c cleaning 4660 clauses out of 9319 with flag 2001/9319 20.93/24.81 c And the winner is solver0 21.04/25.26 c Got one! Elapsed wall clock time (in seconds):25.131 21.04/25.26 o -2439 21.49/25.55 c And the winner is solver0 21.67/25.77 c Got one! Elapsed wall clock time (in seconds):25.636 21.67/25.77 o -2445 22.33/26.12 c And the winner is solver0 22.40/26.27 c Got one! Elapsed wall clock time (in seconds):26.141 22.40/26.27 o -2471 22.44/26.35 c And the winner is solver0 22.66/26.78 c Got one! Elapsed wall clock time (in seconds):26.646 22.66/26.78 o -2477 22.70/26.84 c And the winner is solver0 22.80/27.28 c Got one! Elapsed wall clock time (in seconds):27.151 22.80/27.28 o -2478 22.82/27.31 c And the winner is solver0 22.87/27.79 c Got one! Elapsed wall clock time (in seconds):27.655 22.87/27.79 o -2481 22.88/27.84 c And the winner is solver0 23.04/28.29 c Got one! Elapsed wall clock time (in seconds):28.16 23.04/28.29 o -2486 23.24/28.40 c And the winner is solver0 23.36/28.80 c Got one! Elapsed wall clock time (in seconds):28.666 23.36/28.80 o -2495 25.74/30.03 c cleaning 5646 clauses out of 11291 with flag 4021/15951 29.60/32.00 c And the winner is solver0 29.90/32.30 c Got one! Elapsed wall clock time (in seconds):32.171 29.90/32.30 o -2512 32.28/33.52 c cleaning 5426 clauses out of 10853 with flag 4086/21159 39.81/37.24 c cleaning 5710 clauses out of 11426 with flag 16288/27158 48.66/41.65 c cleaning 6357 clauses out of 12717 with flag 30418/34159 49.40/41.97 c And the winner is solver0 49.54/42.33 c Got one! Elapsed wall clock time (in seconds):42.198 49.54/42.33 o -2534 55.47/45.33 c cleaning 5899 clauses out of 11805 with flag 10051/39604 58.86/47.06 c And the winner is solver0 59.11/47.33 c Got one! Elapsed wall clock time (in seconds):47.203 59.11/47.33 o -2538 62.92/49.23 c cleaning 5887 clauses out of 11780 with flag 6043/45478 63.92/49.77 c And the winner is solver0 64.10/49.89 c Got one! Elapsed wall clock time (in seconds):49.76 64.10/49.89 o -2541 65.19/50.48 c And the winner is solver0 65.40/50.90 c Got one! Elapsed wall clock time (in seconds):50.766 65.40/50.90 o -2567 65.59/51.00 c And the winner is solver0 65.76/51.40 c Got one! Elapsed wall clock time (in seconds):51.272 65.76/51.40 o -2570 65.76/51.46 c And the winner is solver0 65.90/51.91 c Got one! Elapsed wall clock time (in seconds):51.778 65.90/51.91 o -2597 65.90/51.98 c And the winner is solver0 66.08/52.41 c Got one! Elapsed wall clock time (in seconds):52.284 66.08/52.41 o -2601 66.08/52.44 c And the winner is solver0 66.15/52.92 c Got one! Elapsed wall clock time (in seconds):52.789 66.15/52.92 o -2603 66.15/52.97 c And the winner is solver0 66.28/53.43 c Got one! Elapsed wall clock time (in seconds):53.295 66.28/53.43 o -2604 71.08/55.85 c cleaning 6172 clauses out of 12346 with flag 8109/51931 78.08/59.34 c cleaning 6087 clauses out of 12174 with flag 20243/57931 86.78/63.63 c cleaning 6544 clauses out of 13087 with flag 34376/64931 96.19/68.33 c cleaning 7270 clauses out of 14543 with flag 50376/72931 107.31/73.84 c cleaning 8137 clauses out of 16273 with flag 68376/81931 120.39/80.47 c cleaning 9068 clauses out of 18136 with flag 88376/91931 134.46/87.30 c cleaning 10029 clauses out of 20068 with flag 110376/102931 149.92/95.05 c cleaning 11020 clauses out of 22040 with flag 134378/114932 166.93/103.54 c cleaning 12009 clauses out of 24020 with flag 160378/127932 185.84/113.19 c cleaning 13004 clauses out of 26011 with flag 189153/141932 193.83/117.16 c And the winner is solver0 194.13/117.40 c Got one! Elapsed wall clock time (in seconds):117.266 194.13/117.40 o -2618 200.13/120.49 c cleaning 12227 clauses out of 24463 with flag 10023/153388 208.04/124.31 c cleaning 9115 clauses out of 18236 with flag 22023/159388 216.63/128.64 c cleaning 8056 clauses out of 16120 with flag 36021/166387 226.76/133.62 c cleaning 8030 clauses out of 16065 with flag 52023/174388 236.17/138.38 c And the winner is solver0 236.45/138.58 c Got one! Elapsed wall clock time (in seconds):138.451 236.45/138.58 o -2637 243.18/141.85 c cleaning 10356 clauses out of 20712 with flag 10046/187065 247.18/143.81 c And the winner is solver0 247.40/144.09 c Got one! Elapsed wall clock time (in seconds):143.959 247.40/144.09 o -2652 249.85/145.31 c cleaning 7856 clauses out of 15717 with flag 4041/192426 252.44/146.68 c And the winner is solver0 252.79/147.10 c Got one! Elapsed wall clock time (in seconds):146.967 252.79/147.10 o -2654 254.56/148.00 c And the winner is solver0 254.74/148.21 c Got one! Elapsed wall clock time (in seconds):148.075 254.74/148.21 o -2663 257.11/149.45 c cleaning 6857 clauses out of 13719 with flag 4162/198284 264.33/152.97 c cleaning 6427 clauses out of 12861 with flag 16208/204283 272.51/157.03 c cleaning 6716 clauses out of 13435 with flag 30281/211284 281.71/161.66 c cleaning 7353 clauses out of 14719 with flag 46281/219284 293.04/167.21 c cleaning 8182 clauses out of 16365 with flag 64279/228283 305.22/173.34 c cleaning 9090 clauses out of 18183 with flag 84279/238283 319.54/180.45 c cleaning 10044 clauses out of 20094 with flag 106281/249284 334.32/187.86 c cleaning 11024 clauses out of 22050 with flag 130281/261284 351.11/196.17 c cleaning 12011 clauses out of 24026 with flag 156281/274284 351.11/196.19 c And the winner is solver0 351.61/196.58 c Got one! Elapsed wall clock time (in seconds):196.445 351.61/196.58 o -2664 358.08/199.83 c cleaning 8528 clauses out of 17055 with flag 10409/279324 365.50/203.60 c cleaning 7261 clauses out of 14528 with flag 22734/285325 374.29/207.87 c cleaning 7131 clauses out of 14266 with flag 37322/292324 383.69/212.55 c cleaning 7566 clauses out of 15134 with flag 53980/300323 395.08/218.15 c cleaning 8282 clauses out of 16569 with flag 73131/309324 407.89/224.56 c cleaning 9143 clauses out of 18287 with flag 94554/319324 422.50/231.76 c cleaning 10069 clauses out of 20143 with flag 116784/330323 438.46/239.53 c cleaning 11038 clauses out of 22075 with flag 140806/342324 454.06/247.36 c cleaning 12012 clauses out of 24036 with flag 166810/355323 472.72/257.04 c cleaning 13012 clauses out of 26024 with flag 194810/369323 490.92/266.20 c cleaning 14007 clauses out of 28013 with flag 224812/384324 512.01/276.65 c cleaning 15002 clauses out of 30005 with flag 256878/400323 535.39/288.28 c cleaning 15998 clauses out of 32004 with flag 291325/417324 560.58/300.76 c cleaning 16998 clauses out of 34006 with flag 327762/435324 586.42/313.58 c cleaning 17998 clauses out of 36008 with flag 365762/454324 612.91/326.64 c cleaning 19001 clauses out of 38010 with flag 405812/474324 642.07/341.01 c cleaning 20003 clauses out of 40008 with flag 447810/495323 675.34/358.13 c cleaning 21000 clauses out of 42005 with flag 491810/517323 708.16/374.49 c cleaning 22000 clauses out of 44006 with flag 538147/540324 742.71/391.67 c cleaning 23000 clauses out of 46005 with flag 586489/564323 778.85/409.57 c cleaning 24001 clauses out of 48005 with flag 636810/589323 818.32/429.04 c cleaning 24998 clauses out of 50005 with flag 689442/615324 857.32/448.18 c cleaning 25999 clauses out of 52007 with flag 743698/642324 898.91/469.42 c cleaning 26999 clauses out of 54008 with flag 799973/670324 941.57/490.67 c cleaning 28000 clauses out of 56008 with flag 858160/699323 987.02/513.06 c cleaning 29002 clauses out of 58008 with flag 918251/729323 1034.60/536.60 c cleaning 30000 clauses out of 60006 with flag 980389/760323 1085.22/562.68 c cleaning 30998 clauses out of 62007 with flag 1044620/792324 1137.48/588.68 c cleaning 32002 clauses out of 64009 with flag 1111076/825324 1189.27/614.43 c cleaning 32999 clauses out of 66006 with flag 1179478/859323 1245.41/642.27 c cleaning 33998 clauses out of 68007 with flag 1250353/894323 1304.98/671.41 c cleaning 35001 clauses out of 70010 with flag 1323648/930324 1370.13/703.32 c cleaning 35999 clauses out of 72008 with flag 1398373/967323 1432.74/735.40 c cleaning 37000 clauses out of 74009 with flag 1474623/1005323 1498.15/767.84 c cleaning 38003 clauses out of 76010 with flag 1552711/1044324 1570.18/803.33 c cleaning 39001 clauses out of 78006 with flag 1632899/1084323 1570.97/803.73 c And the winner is solver0 1572.42/805.02 c Got one! Elapsed wall clock time (in seconds):804.895 1572.42/805.02 o -2666 1580.73/809.07 c cleaning 22280 clauses out of 44568 with flag 10110/1089886 1589.09/813.16 c cleaning 14139 clauses out of 28288 with flag 22198/1095886 1598.08/817.62 c cleaning 10571 clauses out of 21149 with flag 36236/1102886 1607.99/822.57 c cleaning 9285 clauses out of 18578 with flag 52251/1110886 1620.09/828.50 c cleaning 9140 clauses out of 18292 with flag 70348/1119885 1633.37/835.12 c cleaning 9573 clauses out of 19152 with flag 90423/1129885 1648.17/842.48 c cleaning 10288 clauses out of 20580 with flag 112515/1140886 1663.89/850.24 c cleaning 11143 clauses out of 22292 with flag 136515/1152886 1680.41/858.43 c cleaning 12073 clauses out of 24149 with flag 162515/1165886 1698.86/867.59 c cleaning 13038 clauses out of 26076 with flag 190673/1179886 1719.20/877.65 c cleaning 14017 clauses out of 28038 with flag 220747/1194886 1740.14/888.03 c cleaning 15010 clauses out of 30020 with flag 252854/1210885 1763.12/899.45 c cleaning 16000 clauses out of 32010 with flag 287029/1227885 1789.73/912.66 c cleaning 17002 clauses out of 34010 with flag 323134/1245885 1800.12/917.71 c >>>>>>>>>> Solver number 0 (63 answers) <<<<<<<<<<<<<<<<<< 1800.12/917.71 c starts : 1167 1800.12/917.71 c conflicts : 1253371 1800.12/917.71 c decisions : 1277022 1800.12/917.71 c propagations : 372140636 1800.12/917.71 c inspects : 4613491692 1800.12/917.71 c shortcuts : 0 1800.12/917.71 c learnt literals : 0 1800.12/917.71 c learnt binary clauses : 0 1800.12/917.71 c learnt ternary clauses : 0 1800.12/917.71 c learnt constraints : 1253371 1800.12/917.71 c ignored constraints : 0 1800.12/917.71 c root simplifications : 0 1800.12/917.71 c removed literals (reason simplification) : 188493040 1800.12/917.71 c reason swapping (by a shorter reason) : 0 1800.12/917.71 c Calls to reduceDB : 82 1800.12/917.71 c Number of update (reduction) of LBD : 1912 1800.12/917.71 c Imported unit clauses : 0 1800.12/917.71 c number of reductions to clauses (during analyze) : 0 1800.12/917.71 c number of learned constraints concerned by reduction : 0 1800.12/917.71 c number of learning phase by resolution : 0 1800.12/917.71 c number of learning phase by cutting planes : 0 1800.12/917.71 c speed (assignments/second) : 405733.7691505925 1800.12/917.71 c non guided choices 0 1800.12/917.72 c learnt constraints type 1800.12/917.72 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 24494 1800.12/917.72 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.12/917.72 c starts : 79 1800.12/917.72 c conflicts : 2979 1800.12/917.72 c decisions : 4614 1800.12/917.72 c propagations : 966135 1800.12/917.72 c inspects : 478545488 1800.12/917.72 c shortcuts : 0 1800.12/917.72 c learnt literals : 0 1800.12/917.72 c learnt binary clauses : 0 1800.12/917.72 c learnt ternary clauses : 0 1800.12/917.72 c learnt constraints : 2922 1800.12/917.72 c ignored constraints : 0 1800.12/917.72 c root simplifications : 0 1800.12/917.72 c removed literals (reason simplification) : 0 1800.12/917.72 c reason swapping (by a shorter reason) : 0 1800.12/917.72 c Calls to reduceDB : 0 1800.12/917.72 c Number of update (reduction) of LBD : 0 1800.12/917.72 c Imported unit clauses : 0 1800.12/917.72 c number of reductions to clauses (during analyze) : 0 1800.12/917.72 c number of learned constraints concerned by reduction : 0 1800.12/917.72 c number of learning phase by resolution : 0 1800.12/917.72 c number of learning phase by cutting planes : 0 1800.12/917.72 c speed (assignments/second) : 8574.300218321234 1800.12/917.72 c non guided choices 0 1800.12/917.72 c learnt constraints type 1800.12/917.72 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2922 1800.12/917.72 s SATISFIABLE 1800.12/917.72 c Found 63 solution(s) 1800.12/917.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 -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 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 x1014 x1015 x1016 x1017 -x1018 -x1019 -x1020 x1021 x1022 x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 x1038 x1039 x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 x1098 x1099 x1100 x1101 x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 x1403 x1404 -x1405 -x1406 x1407 x1408 x1409 -x1410 -x1411 -x1412 x1413 x1414 x1415 x1416 x1417 x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x1460 x1461 -x1462 -x1463 x1464 x1465 x1466 -x1467 -x1468 -x1469 x1470 x1471 x1472 x1473 x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 x1512 x1513 x1514 -x1515 -x1516 x1517 x1518 x1519 x1520 x1521 x1522 -x1523 -x1524 x1525 x1526 x1527 -x1528 -x1529 -x1530 x1531 x1532 x1533 x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 x1560 -x1561 -x1562 -x1563 x1564 x1565 x1566 x1567 x1568 x1569 x1570 -x1571 -x1572 -x1573 x1574 x1575 x1576 x1577 x1578 x1579 -x1580 -x1581 -x1582 x1583 x1584 x1585 x1586 x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 x1611 x1612 x1613 x1614 x1615 x1616 x1617 x1618 x1619 x1620 x1621 x1622 x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 x1893 x1894 -x1895 -x1896 x1897 x1898 x1899 -x1900 -x1901 -x1902 x1903 x1904 x1905 x1906 x1907 x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 x1945 x1946 x1947 -x1948 -x1949 -x1950 x1951 x1952 x1953 x1954 x1955 x1956 -x1957 -x1958 x1959 x1960 x1961 -x1962 -x1963 -x1964 x1965 x1966 x1967 x1968 x1969 x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 x1994 x1995 -x1996 -x1997 -x1998 x1999 x2000 x2001 x2002 x2003 x2004 -x2005 -x2006 -x2007 x2008 x2009 x2010 x2011 x2012 x2013 -x2014 -x2015 -x2016 x2017 x2018 x2019 x2020 x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 x2045 x2046 x2047 x2048 x2049 x2050 x2051 x2052 x2053 x2054 x2055 x2056 x2057 x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 x2449 x2450 x2451 -x2452 -x2453 -x2454 x2455 x2456 x2457 x2458 x2459 x2460 -x2461 -x2462 x2463 x2464 x2465 -x2466 -x2467 -x2468 x2469 x2470 x2471 x2472 x2473 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 x2501 -x2502 -x2503 -x2504 x2505 x2506 x2507 x2508 x2509 x2510 -x2511 -x2512 -x2513 x2514 x2515 x2516 x2517 x2518 -x2519 -x2520 -x2521 x2522 x2523 x2524 x2525 x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 x2549 x2550 x2551 x2552 x2553 x2554 x2555 x2556 x2557 x2558 x2559 x2560 x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 x2820 x2821 x2822 -x2823 -x2824 -x2825 x2826 x2827 x2828 x2829 x2830 x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 x2857 x2858 -x2859 -x2860 -x2861 x2862 x2863 x2864 x2865 x2866 x2867 x2868 -x2869 -x2870 -x2871 x2872 x2873 x2874 x2875 x2876 x2877 -x2878 -x2879 -x2880 x2881 x2882 x2883 x2884 x2885 x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 x2908 x2909 x2910 x2911 x2912 x2913 x2914 x2915 x2916 x2917 x2918 x2919 x2920 x2921 x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 x2948 x2949 -x2950 -x2951 -x2952 x2953 x2954 x2955 x2956 x2957 x2958 x2959 -x2960 -x2961 -x2962 x2963 x2964 x2965 x2966 x2967 x2968 -x2969 -x2970 -x2971 x2972 x2973 x2974 x2975 x2976 x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 x2999 x3000 x3001 x3002 x3003 x3004 x3005 x3006 x3007 x3008 x3009 x3010 x3011 x3012 x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 x3158 -x3159 -x3160 -x3161 x3162 x3163 x3164 x3165 x3166 x3167 -x3168 -x3169 -x3170 x3171 x3172 x3173 x3174 x3175 x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 x3198 x3199 x3200 x3201 x3202 x3203 x3204 x3205 x3206 x3207 x3208 x3209 x3210 x3211 x3212 -x3213 -x3214 -x3215 x3216 x3217 x3218 x3219 x3220 x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 x3243 x3244 x3245 x3246 x3247 x3248 x3249 x3250 x3251 x3252 x3253 x3254 x3255 x3256 x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 x3280 x3281 x3282 x3283 x3284 x3285 x3286 x3287 x3288 x3289 x3290 x3291 x3292 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 x3358 x3359 x3360 x3361 x3362 x3363 x3364 x3365 x3366 x3367 x3368 x3369 x3370 x3371 x3372 x3373 x3374 x3375 x3376 x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 x3403 -x3404 -x3405 x3406 -x3407 -x3408 x3409 x3410 -x3411 -x3412 x3413 x3414 x3415 -x3416 -x3417 -x3418 x3419 x3420 x3421 x3422 x3423 x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 x3449 -x3450 -x3451 x3452 x3453 -x3454 -x3455 x3456 x3457 x3458 -x3459 -x3460 -x3461 x3462 x3463 x3464 x3465 x3466 x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 x3509 x3510 -x3511 -x3512 x3513 x3514 x3515 -x3516 -x3517 -x3518 x3519 x3520 x3521 x3522 x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 x3558 -x3559 -x3560 x3561 x3562 x3563 -x3564 -x3565 -x3566 x3567 x3568 x3569 x3570 x3571 x3572 -x3573 -x3574 x3575 x3576 x3577 -x3578 -x3579 -x3580 x3581 x3582 x3583 x3584 x3585 x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 x3612 x3613 -x3614 -x3615 -x3616 x3617 x3618 x3619 x3620 x3621 x3622 x3623 -x3624 -x3625 -x3626 x3627 x3628 x3629 x3630 x3631 x3632 -x3633 -x3634 -x3635 x3636 x3637 x3638 x3639 x3640 x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 x3663 x3664 x3665 x3666 x3667 x3668 x3669 x3670 x3671 x3672 x3673 x3674 x3675 x3676 x3677 1800.12/917.73 c objective function=-2666 1800.12/917.73 c Total wall clock time (in seconds): 917.603
OK -2666
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-4119007-1467239054/watcher-4119007-1467239054 -o /tmp/evaluation-result-4119007-1467239054/solver-4119007-1467239054 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467234298-6334 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119007-1467239054.opb pid=8733 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.20 4.25 4.20 4/197 8736 /proc/meminfo: memFree=23763372/32872528 swapFree=1427512/1541976 [pid=8736] ppid=8733 vsize=9216 CPUtime=0 cores=0,2,4,6 /proc/8736/stat : 8736 (java) R 8733 8736 3791 0 -1 4202496 192 0 0 0 0 0 0 0 20 0 1 0 4866424 9437184 67 33554432000 1073741824 1073778376 140733206757760 140733206754888 266426449263 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/8736/statm: 2306 81 63 9 0 38 0 [startup+0.10006 s] /proc/loadavg: 4.20 4.25 4.20 4/197 8736 /proc/meminfo: memFree=23763372/32872528 swapFree=1427512/1541976 [pid=8736] ppid=8733 vsize=9558476 CPUtime=0.07 cores=0,2,4,6 /proc/8736/stat : 8736 (java) S 8733 8736 3791 0 -1 4202496 4126 0 1 0 6 1 0 0 20 0 18 0 4866424 9787879424 5245 33554432000 1073741824 1073778376 140735049559056 140735049550192 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8736/statm: 2389619 5246 2052 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558476 [startup+0.200249 s] /proc/loadavg: 4.20 4.25 4.20 4/197 8736 /proc/meminfo: memFree=23763372/32872528 swapFree=1427512/1541976 [pid=8736] ppid=8733 vsize=9558476 CPUtime=0.26 cores=0,2,4,6 /proc/8736/stat : 8736 (java) S 8733 8736 3791 0 -1 4202496 5013 0 1 0 25 1 0 0 20 0 18 0 4866424 9787879424 7018 33554432000 1073741824 1073778376 140735049559056 140735049550192 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8736/statm: 2389619 7018 2214 9 0 2380296 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 9558476 [startup+0.300225 s] /proc/loadavg: 4.20 4.25 4.20 4/197 8736 /proc/meminfo: memFree=23763372/32872528 swapFree=1427512/1541976 [pid=8736] ppid=8733 vsize=9558476 CPUtime=0.45 cores=0,2,4,6 /proc/8736/stat : 8736 (java) S 8733 8736 3791 0 -1 4202496 6681 0 1 0 44 1 0 0 20 0 18 0 4866424 9787879424 9574 33554432000 1073741824 1073778376 140735049559056 140735049550192 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8736/statm: 2389619 9574 2231 9 0 2380296 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9558476 [startup+0.700285 s] /proc/loadavg: 4.20 4.25 4.20 4/197 8736 /proc/meminfo: memFree=23763372/32872528 swapFree=1427512/1541976 [pid=8736] ppid=8733 vsize=9824732 CPUtime=1.6 cores=0,2,4,6 /proc/8736/stat : 8736 (java) S 8733 8736 3791 0 -1 4202496 18927 0 1 0 154 6 0 0 20 0 19 0 4866424 10060525568 25424 33554432000 1073741824 1073778376 140735049559056 140735049550192 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8736/statm: 2456183 25424 2263 9 0 2446860 0 Current children cumulated CPU time (s) 1.6 Current children cumulated vsize (KiB) 9824732 [startup+1.50073 s] /proc/loadavg: 4.19 4.25 4.20 6/217 8761 /proc/meminfo: memFree=23662076/32872528 swapFree=1427512/1541976 [pid=8736] ppid=8733 vsize=9824732 CPUtime=2.42 cores=0,2,4,6 /proc/8736/stat : 8736 (java) S 8733 8736 3791 0 -1 4202496 20492 0 1 0 234 8 0 0 20 0 19 0 4866424 10060525568 27517 33554432000 1073741824 1073778376 140735049559056 140735049550192 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8736/statm: 2456183 27517 2266 9 0 2446860 0 [pid=8736/tid=8738] ppid=8733 vsize=9824732 CPUtime=0.49 cores=0,2,4,6 /proc/8736/task/8738/stat : 8738 (java) S 8733 8736 3791 0 -1 4202560 2436 0 1 0 47 2 0 0 20 0 19 0 4866426 10060525568 27517 33554432000 1073741824 1073778376 140735049559056 139748624487288 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8739] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8739/stat : 8739 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866427 10060525568 27517 33554432000 1073741824 1073778376 140735049559056 139748585978920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8740] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8740/stat : 8740 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866427 10060525568 27517 33554432000 1073741824 1073778376 140735049559056 139748584926120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8741] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8741/stat : 8741 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866427 10060525568 27517 33554432000 1073741824 1073778376 140735049559056 139748583873320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8742] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8742/stat : 8742 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866427 10060525568 27517 33554432000 1073741824 1073778376 140735049559056 139748582820520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8743] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8743/stat : 8743 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866427 10060525568 27517 33554432000 1073741824 1073778376 140735049559056 139748581767720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8744] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8744/stat : 8744 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866427 10060525568 27517 33554432000 1073741824 1073778376 140735049559056 139748580714920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8745] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8745/stat : 8745 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866427 10060525568 27517 33554432000 1073741824 1073778376 140735049559056 139748579662120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8746] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8746/stat : 8746 (java) S 8733 8736 3791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4866427 10060525568 27517 33554432000 1073741824 1073778376 140735049559056 139748578609320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8747] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8747/stat : 8747 (java) S 8733 8736 3791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4866428 10060525568 27517 33554432000 1073741824 1073778376 140735049559056 139748448373736 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8748] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8748/stat : 8748 (java) S 8733 8736 3791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4866429 10060525568 27517 33554432000 1073741824 1073778376 140735049559056 139748447319800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8749] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8749/stat : 8749 (java) S 8733 8736 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4866429 10060525568 27517 33554432000 1073741824 1073778376 140735049559056 139748446266888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8750] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8750/stat : 8750 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866431 10060525568 27517 33554432000 1073741824 1073778376 140735049559056 139748445215376 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8751] ppid=8733 vsize=9824732 CPUtime=0.77 cores=0,2,4,6 /proc/8736/task/8751/stat : 8751 (java) S 8733 8736 3791 0 -1 4202560 9903 0 0 0 74 3 0 0 20 0 19 0 4866431 10060525568 27517 33554432000 1073741824 1073778376 140735049559056 139748444162488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8752] ppid=8733 vsize=9824732 CPUtime=0.79 cores=0,2,4,6 /proc/8736/task/8752/stat : 8752 (java) S 8733 8736 3791 0 -1 4202560 6790 0 0 0 79 0 0 0 20 0 19 0 4866431 10060525568 27517 33554432000 1073741824 1073778376 140735049559056 139748443109688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8753] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8753/stat : 8753 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866431 10060525568 27517 33554432000 1073741824 1073778376 140735049559056 139748442057080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8754] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8754/stat : 8754 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866431 10060525568 27517 33554432000 1073741824 1073778376 140735049559056 139748441004488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8757] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8757/stat : 8757 (java) S 8733 8736 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4866475 10060525568 27517 33554432000 1073741824 1073778376 140735049559056 139747296007592 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.42 Current children cumulated vsize (KiB) 9824732 [startup+3.10906 s] /proc/loadavg: 4.19 4.25 4.20 3/216 8766 /proc/meminfo: memFree=23385332/32872528 swapFree=1427512/1541976 [pid=8736] ppid=8733 vsize=9824732 CPUtime=2.77 cores=0,2,4,6 /proc/8736/stat : 8736 (java) S 8733 8736 3791 0 -1 4202496 20536 0 1 0 266 11 0 0 20 0 22 0 4866424 10060525568 34186 33554432000 1073741824 1073778376 140735049559056 140735049550192 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8736/statm: 2456183 34186 2272 9 0 2446860 0 [pid=8736/tid=8738] ppid=8733 vsize=9824732 CPUtime=0.53 cores=0,2,4,6 /proc/8736/task/8738/stat : 8738 (java) S 8733 8736 3791 0 -1 4202560 2445 0 1 0 51 2 0 0 20 0 22 0 4866426 10060525568 34186 33554432000 1073741824 1073778376 140735049559056 139748624487288 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8739] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8739/stat : 8739 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4866427 10060525568 34186 33554432000 1073741824 1073778376 140735049559056 139748585978920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8740] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8740/stat : 8740 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4866427 10060525568 34186 33554432000 1073741824 1073778376 140735049559056 139748584926120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8741] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8741/stat : 8741 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4866427 10060525568 34186 33554432000 1073741824 1073778376 140735049559056 139748583873320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8742] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8742/stat : 8742 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4866427 10060525568 34186 33554432000 1073741824 1073778376 140735049559056 139748582820520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8743] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8743/stat : 8743 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4866427 10060525568 34186 33554432000 1073741824 1073778376 140735049559056 139748581767720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8744] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8744/stat : 8744 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4866427 10060525568 34186 33554432000 1073741824 1073778376 140735049559056 139748580714920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8745] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8745/stat : 8745 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4866427 10060525568 34186 33554432000 1073741824 1073778376 140735049559056 139748579662120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8746] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8746/stat : 8746 (java) S 8733 8736 3791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4866427 10060525568 34186 33554432000 1073741824 1073778376 140735049559056 139748578609320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8747] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8747/stat : 8747 (java) S 8733 8736 3791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 4866428 10060525568 34186 33554432000 1073741824 1073778376 140735049559056 139748448373736 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8748] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8748/stat : 8748 (java) S 8733 8736 3791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 4866429 10060525568 34186 33554432000 1073741824 1073778376 140735049559056 139748447319800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8749] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8749/stat : 8749 (java) S 8733 8736 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4866429 10060525568 34186 33554432000 1073741824 1073778376 140735049559056 139748446266888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8750] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8750/stat : 8750 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4866431 10060525568 34186 33554432000 1073741824 1073778376 140735049559056 139748445215376 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8751] ppid=8733 vsize=9824732 CPUtime=0.88 cores=0,2,4,6 /proc/8736/task/8751/stat : 8751 (java) S 8733 8736 3791 0 -1 4202560 9910 0 0 0 85 3 0 0 20 0 22 0 4866431 10060525568 34186 33554432000 1073741824 1073778376 140735049559056 139748444162488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8752] ppid=8733 vsize=9824732 CPUtime=0.92 cores=0,2,4,6 /proc/8736/task/8752/stat : 8752 (java) R 8733 8736 3791 0 -1 4202560 6790 0 0 0 92 0 0 0 20 0 22 0 4866431 10060525568 34186 33554432000 1073741824 1073778376 140735049559056 139748443109688 266439013436 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8753] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8753/stat : 8753 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4866431 10060525568 34186 33554432000 1073741824 1073778376 140735049559056 139748442057080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8754] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8754/stat : 8754 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4866431 10060525568 34186 33554432000 1073741824 1073778376 140735049559056 139748441004488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8757] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8757/stat : 8757 (java) S 8733 8736 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4866475 10060525568 34186 33554432000 1073741824 1073778376 140735049559056 139747296007592 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 9824732 [startup+6.30089 s] /proc/loadavg: 4.09 4.23 4.19 4/216 8784 /proc/meminfo: memFree=23342632/32872528 swapFree=1427512/1541976 [pid=8736] ppid=8733 vsize=9824732 CPUtime=3.27 cores=0,2,4,6 /proc/8736/stat : 8736 (java) S 8733 8736 3791 0 -1 4202496 21039 0 1 0 303 24 0 0 20 0 19 0 4866424 10060525568 45371 33554432000 1073741824 1073778376 140735049559056 140735049550192 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8736/statm: 2456183 45371 2277 9 0 2446860 0 [pid=8736/tid=8738] ppid=8733 vsize=9824732 CPUtime=0.56 cores=0,2,4,6 /proc/8736/task/8738/stat : 8738 (java) S 8733 8736 3791 0 -1 4202560 2451 0 1 0 54 2 0 0 20 0 19 0 4866426 10060525568 45371 33554432000 1073741824 1073778376 140735049559056 139748624487288 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8739] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8739/stat : 8739 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866427 10060525568 45371 33554432000 1073741824 1073778376 140735049559056 139748585978920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8740] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8740/stat : 8740 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866427 10060525568 45371 33554432000 1073741824 1073778376 140735049559056 139748584926120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8741] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8741/stat : 8741 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866427 10060525568 45371 33554432000 1073741824 1073778376 140735049559056 139748583873320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8742] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8742/stat : 8742 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866427 10060525568 45371 33554432000 1073741824 1073778376 140735049559056 139748582820520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8743] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8743/stat : 8743 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866427 10060525568 45371 33554432000 1073741824 1073778376 140735049559056 139748581767720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8744] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8744/stat : 8744 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866427 10060525568 45371 33554432000 1073741824 1073778376 140735049559056 139748580714920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8745] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8745/stat : 8745 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866427 10060525568 45371 33554432000 1073741824 1073778376 140735049559056 139748579662120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8746] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8746/stat : 8746 (java) S 8733 8736 3791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4866427 10060525568 45371 33554432000 1073741824 1073778376 140735049559056 139748578609320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8747] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8747/stat : 8747 (java) S 8733 8736 3791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4866428 10060525568 45371 33554432000 1073741824 1073778376 140735049559056 139748448373736 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8748] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8748/stat : 8748 (java) S 8733 8736 3791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4866429 10060525568 45371 33554432000 1073741824 1073778376 140735049559056 139748447319800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8749] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8749/stat : 8749 (java) S 8733 8736 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4866429 10060525568 45371 33554432000 1073741824 1073778376 140735049559056 139748446266888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8750] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8750/stat : 8750 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866431 10060525568 45371 33554432000 1073741824 1073778376 140735049559056 139748445215376 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8751] ppid=8733 vsize=9824732 CPUtime=0.95 cores=0,2,4,6 /proc/8736/task/8751/stat : 8751 (java) S 8733 8736 3791 0 -1 4202560 9913 0 0 0 92 3 0 0 20 0 19 0 4866431 10060525568 45371 33554432000 1073741824 1073778376 140735049559056 139748444162488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8752] ppid=8733 vsize=9824732 CPUtime=1.02 cores=0,2,4,6 /proc/8736/task/8752/stat : 8752 (java) S 8733 8736 3791 0 -1 4202560 7205 0 0 0 102 0 0 0 20 0 19 0 4866431 10060525568 45371 33554432000 1073741824 1073778376 140735049559056 139748443109688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8753] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8753/stat : 8753 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866431 10060525568 45371 33554432000 1073741824 1073778376 140735049559056 139748442057080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8754] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8754/stat : 8754 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4866431 10060525568 45371 33554432000 1073741824 1073778376 140735049559056 139748441004488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8757] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8757/stat : 8757 (java) S 8733 8736 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4866475 10060525568 45371 33554432000 1073741824 1073778376 140735049559056 139747296007592 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.27 Current children cumulated vsize (KiB) 9824732 heavy processes: ################ # More data... # ################ [pid=8736/tid=8739] ppid=8733 vsize=9824732 CPUtime=4.61 cores=0,2,4,6 /proc/8736/task/8739/stat : 8739 (java) S 8733 8736 3791 0 -1 4202560 803 0 0 0 420 41 0 0 20 0 22 0 4866427 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139748585978920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8740] ppid=8733 vsize=9824732 CPUtime=4.46 cores=0,2,4,6 /proc/8736/task/8740/stat : 8740 (java) S 8733 8736 3791 0 -1 4202560 1030 0 0 0 407 39 0 0 20 0 22 0 4866427 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139748584926120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8741] ppid=8733 vsize=9824732 CPUtime=4.44 cores=0,2,4,6 /proc/8736/task/8741/stat : 8741 (java) S 8733 8736 3791 0 -1 4202560 856 0 0 0 404 40 0 0 20 0 22 0 4866427 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139748583873320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8742] ppid=8733 vsize=9824732 CPUtime=4.86 cores=0,2,4,6 /proc/8736/task/8742/stat : 8742 (java) S 8733 8736 3791 0 -1 4202560 1118 0 0 0 442 44 0 0 20 0 22 0 4866427 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139748582820520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8743] ppid=8733 vsize=9824732 CPUtime=4.54 cores=0,2,4,6 /proc/8736/task/8743/stat : 8743 (java) S 8733 8736 3791 0 -1 4202560 980 0 0 0 414 40 0 0 20 0 22 0 4866427 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139748581767720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8744] ppid=8733 vsize=9824732 CPUtime=4.64 cores=0,2,4,6 /proc/8736/task/8744/stat : 8744 (java) S 8733 8736 3791 0 -1 4202560 1059 0 0 0 426 38 0 0 20 0 22 0 4866427 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139748580714920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8745] ppid=8733 vsize=9824732 CPUtime=4.75 cores=0,2,4,6 /proc/8736/task/8745/stat : 8745 (java) S 8733 8736 3791 0 -1 4202560 903 0 0 0 437 38 0 0 20 0 22 0 4866427 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139748579662120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8746] ppid=8733 vsize=9824732 CPUtime=4.61 cores=0,2,4,6 /proc/8736/task/8746/stat : 8746 (java) S 8733 8736 3791 0 -1 4202560 1305 0 0 0 421 40 0 0 20 0 22 0 4866427 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139748578609320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8747] ppid=8733 vsize=9824732 CPUtime=9.32 cores=0,2,4,6 /proc/8736/task/8747/stat : 8747 (java) S 8733 8736 3791 0 -1 4202560 3686 0 0 0 919 13 0 0 20 0 22 0 4866428 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139748448373736 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8748] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8748/stat : 8748 (java) S 8733 8736 3791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4866429 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139748447319800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8749] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8749/stat : 8749 (java) S 8733 8736 3791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 22 0 4866429 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139748446266888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8750] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8750/stat : 8750 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4866431 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139748445215376 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8751] ppid=8733 vsize=9824732 CPUtime=1.25 cores=0,2,4,6 /proc/8736/task/8751/stat : 8751 (java) S 8733 8736 3791 0 -1 4202560 9920 0 0 0 122 3 0 0 20 0 22 0 4866431 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139748444162488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8752] ppid=8733 vsize=9824732 CPUtime=1.95 cores=0,2,4,6 /proc/8736/task/8752/stat : 8752 (java) S 8733 8736 3791 0 -1 4202560 8325 0 0 0 195 0 0 0 20 0 22 0 4866431 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139748443109688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8753] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8753/stat : 8753 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4866431 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139748442057080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8754] ppid=8733 vsize=9824732 CPUtime=0.27 cores=0,2,4,6 /proc/8736/task/8754/stat : 8754 (java) S 8733 8736 3791 0 -1 4202560 51 0 0 0 11 16 0 0 20 0 22 0 4866431 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139748441004488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8757] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8757/stat : 8757 (java) S 8733 8736 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4866475 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139747296007592 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=9103] ppid=8733 vsize=9824732 CPUtime=76.33 cores=0,2,4,6 /proc/8736/task/9103/stat : 9103 (java) R 8733 8736 3791 0 -1 4202560 3 0 0 0 7632 1 0 0 20 0 22 0 4946928 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139748439947872 139748455888626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=9104] ppid=8733 vsize=9824732 CPUtime=76.35 cores=0,2,4,6 /proc/8736/task/9104/stat : 9104 (java) R 8733 8736 3791 0 -1 4202560 15 0 0 0 7634 1 0 0 20 0 22 0 4946928 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139747294952752 139748455713345 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=9105] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/9105/stat : 9105 (java) S 8733 8736 3791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4946928 10060525568 1157833 33554432000 1073741824 1073778376 140735049559056 139747297059624 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1728.75 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+917.701 s] /proc/loadavg: 4.28 4.25 4.20 5/219 9107 /proc/meminfo: memFree=19220700/32872528 swapFree=1427512/1541976 [pid=8736] ppid=8733 vsize=9824732 CPUtime=1800.12 cores=0,2,4,6 /proc/8736/stat : 8736 (java) S 8733 8736 3791 0 -1 4202496 35740 0 1 0 179504 508 0 0 20 0 22 0 4866424 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 140735049550192 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8736/statm: 2456183 1157880 2303 9 0 2446860 0 [pid=8736/tid=8738] ppid=8733 vsize=9824732 CPUtime=0.86 cores=0,2,4,6 /proc/8736/task/8738/stat : 8738 (java) S 8733 8736 3791 0 -1 4202560 2472 0 1 0 83 3 0 0 20 0 22 0 4866426 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748624487288 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8739] ppid=8733 vsize=9824732 CPUtime=4.7 cores=0,2,4,6 /proc/8736/task/8739/stat : 8739 (java) S 8733 8736 3791 0 -1 4202560 804 0 0 0 429 41 0 0 20 0 22 0 4866427 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748585978920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8740] ppid=8733 vsize=9824732 CPUtime=4.56 cores=0,2,4,6 /proc/8736/task/8740/stat : 8740 (java) S 8733 8736 3791 0 -1 4202560 1030 0 0 0 417 39 0 0 20 0 22 0 4866427 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748584926120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8741] ppid=8733 vsize=9824732 CPUtime=4.69 cores=0,2,4,6 /proc/8736/task/8741/stat : 8741 (java) S 8733 8736 3791 0 -1 4202560 856 0 0 0 429 40 0 0 20 0 22 0 4866427 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748583873320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8742] ppid=8733 vsize=9824732 CPUtime=5.05 cores=0,2,4,6 /proc/8736/task/8742/stat : 8742 (java) S 8733 8736 3791 0 -1 4202560 1135 0 0 0 461 44 0 0 20 0 22 0 4866427 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748582820520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8743] ppid=8733 vsize=9824732 CPUtime=4.69 cores=0,2,4,6 /proc/8736/task/8743/stat : 8743 (java) S 8733 8736 3791 0 -1 4202560 982 0 0 0 429 40 0 0 20 0 22 0 4866427 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748581767720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8744] ppid=8733 vsize=9824732 CPUtime=4.8 cores=0,2,4,6 /proc/8736/task/8744/stat : 8744 (java) S 8733 8736 3791 0 -1 4202560 1065 0 0 0 442 38 0 0 20 0 22 0 4866427 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748580714920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8745] ppid=8733 vsize=9824732 CPUtime=4.89 cores=0,2,4,6 /proc/8736/task/8745/stat : 8745 (java) S 8733 8736 3791 0 -1 4202560 905 0 0 0 451 38 0 0 20 0 22 0 4866427 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748579662120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8746] ppid=8733 vsize=9824732 CPUtime=4.77 cores=0,2,4,6 /proc/8736/task/8746/stat : 8746 (java) S 8733 8736 3791 0 -1 4202560 1305 0 0 0 437 40 0 0 20 0 22 0 4866427 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748578609320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8747] ppid=8733 vsize=9824732 CPUtime=9.33 cores=0,2,4,6 /proc/8736/task/8747/stat : 8747 (java) S 8733 8736 3791 0 -1 4202560 3717 0 0 0 919 14 0 0 20 0 22 0 4866428 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748448373736 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8748] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8748/stat : 8748 (java) S 8733 8736 3791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4866429 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748447319800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8749] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8749/stat : 8749 (java) S 8733 8736 3791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 22 0 4866429 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748446266888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8750] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8750/stat : 8750 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4866431 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748445215376 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8751] ppid=8733 vsize=9824732 CPUtime=1.25 cores=0,2,4,6 /proc/8736/task/8751/stat : 8751 (java) S 8733 8736 3791 0 -1 4202560 9920 0 0 0 122 3 0 0 20 0 22 0 4866431 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748444162488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8752] ppid=8733 vsize=9824732 CPUtime=1.95 cores=0,2,4,6 /proc/8736/task/8752/stat : 8752 (java) S 8733 8736 3791 0 -1 4202560 8325 0 0 0 195 0 0 0 20 0 22 0 4866431 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748443109688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8753] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8753/stat : 8753 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4866431 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748442057080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8754] ppid=8733 vsize=9824732 CPUtime=0.28 cores=0,2,4,6 /proc/8736/task/8754/stat : 8754 (java) S 8733 8736 3791 0 -1 4202560 53 0 0 0 11 17 0 0 20 0 22 0 4866431 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748441004488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8757] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8757/stat : 8757 (java) S 8733 8736 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4866475 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139747296007592 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=9103] ppid=8733 vsize=9824732 CPUtime=111.4 cores=0,2,4,6 /proc/8736/task/9103/stat : 9103 (java) R 8733 8736 3791 0 -1 4202560 4 0 0 0 11139 1 0 0 20 0 22 0 4946928 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748439948704 139748455445434 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=9104] ppid=8733 vsize=9824732 CPUtime=111.42 cores=0,2,4,6 /proc/8736/task/9104/stat : 9104 (java) R 8733 8736 3791 0 -1 4202560 16 0 0 0 11141 1 0 0 20 0 22 0 4946928 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139747294953872 139748455713455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=9105] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/9105/stat : 9105 (java) S 8733 8736 3791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4946928 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139747297059624 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 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 8736 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+917.701 s] /proc/loadavg: 4.28 4.25 4.20 5/219 9107 /proc/meminfo: memFree=19220700/32872528 swapFree=1427512/1541976 [pid=8736] ppid=8733 vsize=9824732 CPUtime=1800.12 cores=0,2,4,6 /proc/8736/stat : 8736 (java) S 8733 8736 3791 0 -1 4202496 35740 0 1 0 179504 508 0 0 20 0 22 0 4866424 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 140735049550192 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8736/statm: 2456183 1157880 2303 9 0 2446860 0 [pid=8736/tid=8738] ppid=8733 vsize=9824732 CPUtime=0.86 cores=0,2,4,6 /proc/8736/task/8738/stat : 8738 (java) S 8733 8736 3791 0 -1 4202560 2472 0 1 0 83 3 0 0 20 0 22 0 4866426 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748624487288 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8739] ppid=8733 vsize=9824732 CPUtime=4.7 cores=0,2,4,6 /proc/8736/task/8739/stat : 8739 (java) S 8733 8736 3791 0 -1 4202560 804 0 0 0 429 41 0 0 20 0 22 0 4866427 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748585978920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8740] ppid=8733 vsize=9824732 CPUtime=4.56 cores=0,2,4,6 /proc/8736/task/8740/stat : 8740 (java) S 8733 8736 3791 0 -1 4202560 1030 0 0 0 417 39 0 0 20 0 22 0 4866427 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748584926120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8741] ppid=8733 vsize=9824732 CPUtime=4.69 cores=0,2,4,6 /proc/8736/task/8741/stat : 8741 (java) S 8733 8736 3791 0 -1 4202560 856 0 0 0 429 40 0 0 20 0 22 0 4866427 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748583873320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8742] ppid=8733 vsize=9824732 CPUtime=5.05 cores=0,2,4,6 /proc/8736/task/8742/stat : 8742 (java) S 8733 8736 3791 0 -1 4202560 1135 0 0 0 461 44 0 0 20 0 22 0 4866427 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748582820520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8743] ppid=8733 vsize=9824732 CPUtime=4.69 cores=0,2,4,6 /proc/8736/task/8743/stat : 8743 (java) S 8733 8736 3791 0 -1 4202560 982 0 0 0 429 40 0 0 20 0 22 0 4866427 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748581767720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8744] ppid=8733 vsize=9824732 CPUtime=4.8 cores=0,2,4,6 /proc/8736/task/8744/stat : 8744 (java) S 8733 8736 3791 0 -1 4202560 1065 0 0 0 442 38 0 0 20 0 22 0 4866427 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748580714920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8745] ppid=8733 vsize=9824732 CPUtime=4.89 cores=0,2,4,6 /proc/8736/task/8745/stat : 8745 (java) S 8733 8736 3791 0 -1 4202560 905 0 0 0 451 38 0 0 20 0 22 0 4866427 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748579662120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8746] ppid=8733 vsize=9824732 CPUtime=4.77 cores=0,2,4,6 /proc/8736/task/8746/stat : 8746 (java) S 8733 8736 3791 0 -1 4202560 1305 0 0 0 437 40 0 0 20 0 22 0 4866427 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748578609320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8747] ppid=8733 vsize=9824732 CPUtime=9.33 cores=0,2,4,6 /proc/8736/task/8747/stat : 8747 (java) S 8733 8736 3791 0 -1 4202560 3717 0 0 0 919 14 0 0 20 0 22 0 4866428 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748448373736 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=8748] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8748/stat : 8748 (java) S 8733 8736 3791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4866429 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748447319800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8749] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8749/stat : 8749 (java) S 8733 8736 3791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 22 0 4866429 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748446266888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8750] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8750/stat : 8750 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4866431 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748445215376 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8751] ppid=8733 vsize=9824732 CPUtime=1.25 cores=0,2,4,6 /proc/8736/task/8751/stat : 8751 (java) S 8733 8736 3791 0 -1 4202560 9920 0 0 0 122 3 0 0 20 0 22 0 4866431 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748444162488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8752] ppid=8733 vsize=9824732 CPUtime=1.95 cores=0,2,4,6 /proc/8736/task/8752/stat : 8752 (java) S 8733 8736 3791 0 -1 4202560 8325 0 0 0 195 0 0 0 20 0 22 0 4866431 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748443109688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=8753] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8753/stat : 8753 (java) S 8733 8736 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4866431 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748442057080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8736/tid=8754] ppid=8733 vsize=9824732 CPUtime=0.28 cores=0,2,4,6 /proc/8736/task/8754/stat : 8754 (java) S 8733 8736 3791 0 -1 4202560 53 0 0 0 11 17 0 0 20 0 22 0 4866431 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748441004488 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=8757] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/8757/stat : 8757 (java) S 8733 8736 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4866475 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139747296007592 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8736/tid=9103] ppid=8733 vsize=9824732 CPUtime=111.4 cores=0,2,4,6 /proc/8736/task/9103/stat : 9103 (java) R 8733 8736 3791 0 -1 4202560 4 0 0 0 11139 1 0 0 20 0 22 0 4946928 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139748439948704 139748455445434 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8736/tid=9104] ppid=8733 vsize=9824732 CPUtime=111.42 cores=0,2,4,6 /proc/8736/task/9104/stat : 9104 (java) R 8733 8736 3791 0 -1 4202560 16 0 0 0 11141 1 0 0 20 0 22 0 4946928 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139747294953872 139748455713455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=8736/tid=9105] ppid=8733 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/8736/task/9105/stat : 9105 (java) S 8733 8736 3791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4946928 10060525568 1157880 33554432000 1073741824 1073778376 140735049559056 139747297059624 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 9824732 Child status: 143 # 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): 4.76837e-07 # lost CPU user time (s): 0.0100002 # lost CPU system time (s): -0.00999999 Real time (s): 917.767 CPU time (s): 1800.47 CPU user time (s): 1795.13 CPU system time (s): 5.34119 CPU usage (%): 196.179 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.12 system time used= 5.35119 maximum resident set size= 4631636 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35776 page faults= 1 swaps= 0 block input operations= 0 block output operations= 968 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 26322 involuntary context switches= 31667 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.81312 second user time and 7.57385 second system time The end
Begin job on node116 at 2016-06-30 00:24:14 IDJOB=4119007 IDBENCH=111557 IDSOLVER=2543 FILE ID=node116/4119007-1467239054 RUNJOBID= node116-1467234298-6334 PBS_JOBID= 19997584 Free space on /tmp= 71724 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_bern25-25.lin.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119007-1467239054/watcher-4119007-1467239054 -o /tmp/evaluation-result-4119007-1467239054/solver-4119007-1467239054 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467234298-6334 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119007-1467239054.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2a7f032165a45570212a8b02f661ec7a RANDOM SEED=432152765 node116.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.426 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.85 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.426 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.426 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.426 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.426 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.426 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.426 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.54 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.426 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: 23763792 kB Buffers: 173256 kB Cached: 3425128 kB SwapCached: 0 kB Active: 3375812 kB Inactive: 3436856 kB Active(anon): 3216728 kB Inactive(anon): 124 kB Active(file): 159084 kB Inactive(file): 3436732 kB Unevictable: 1541976 kB Mlocked: 1427512 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 848 kB Writeback: 0 kB AnonPages: 4761896 kB Mapped: 22244 kB Shmem: 204 kB Slab: 615460 kB SReclaimable: 59716 kB SUnreclaim: 555744 kB KernelStack: 1808 kB PageTables: 12956 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5250124 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3278848 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= 71720 MiB End job on node116 at 2016-06-30 00:39:32