Trace number 4119058

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)16186 1800.03 1791.86

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-crossdock_15x8.lin.opb
MD5SUMca0d64fdcf007e67f221a6cda949f9e0
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16087
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3888
Total number of constraints7342
Number of constraints which are clauses3648
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints3664
Minimum length of a constraint3
Maximum length of a constraint15
Number of terms in the objective function 3648
Biggest coefficient in the objective function 735
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 1147840
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 735
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 1147840
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	16
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2626d4f1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4def8cf3
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4119058-1467245606.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
0.46/0.38	c ... done. Wall clock time 0.257s.
0.46/0.38	c declared #vars     3888
0.46/0.38	c #constraints  7372
0.46/0.38	c constraints type 
0.46/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3678
0.46/0.38	c org.sat4j.minisat.constraints.card.MinWatchCard => 30
0.46/0.38	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3664
0.46/0.38	c 7372 constraints processed.
0.46/0.38	c objective function length is 3648 literals
0.99/0.56	c SATISFIABLE
0.99/0.56	c OPTIMIZING...
0.99/0.56	c Got one! Elapsed wall clock time (in seconds):0.433
0.99/0.56	o 16938
1.25/0.62	c Got one! Elapsed wall clock time (in seconds):0.499
1.25/0.62	o 16248
1.87/1.17	c cleaning 2578 clauses out of 5168 with flag 14958/5168
2.54/1.80	c cleaning 4290 clauses out of 8589 with flag 33632/11167
3.45/2.62	c cleaning 5647 clauses out of 11300 with flag 68118/18168
4.36/3.56	c cleaning 6825 clauses out of 13652 with flag 100099/26167
5.47/4.67	c cleaning 7912 clauses out of 15827 with flag 135985/35167
6.77/5.93	c cleaning 8958 clauses out of 17915 with flag 170320/45167
8.17/7.39	c cleaning 9976 clauses out of 19957 with flag 220011/56167
9.97/9.10	c cleaning 10989 clauses out of 21981 with flag 273519/68167
11.67/10.89	c cleaning 11992 clauses out of 23992 with flag 326562/81167
13.87/13.09	c cleaning 12995 clauses out of 26000 with flag 390758/95167
16.29/15.42	c cleaning 14002 clauses out of 28006 with flag 458434/110168
18.67/17.88	c cleaning 14996 clauses out of 30003 with flag 523068/126167
21.57/20.75	c cleaning 16000 clauses out of 32007 with flag 602161/143167
24.87/24.04	c cleaning 17003 clauses out of 34007 with flag 687820/161167
28.30/27.38	c cleaning 17996 clauses out of 36004 with flag 776860/180167
31.70/30.73	c cleaning 18999 clauses out of 38009 with flag 855116/200168
35.21/34.28	c cleaning 19999 clauses out of 40010 with flag 939463/221168
38.90/37.96	c cleaning 21001 clauses out of 42011 with flag 1027489/243168
43.00/42.09	c cleaning 22001 clauses out of 44009 with flag 1114554/266167
47.60/46.65	c cleaning 23004 clauses out of 46009 with flag 1212699/290168
52.50/51.59	c cleaning 24002 clauses out of 48005 with flag 1310610/315168
57.70/56.78	c cleaning 24999 clauses out of 50003 with flag 1418567/341168
63.30/62.36	c cleaning 25994 clauses out of 52003 with flag 1529027/368167
69.50/68.52	c cleaning 27001 clauses out of 54009 with flag 1645432/396167
75.74/74.67	c cleaning 28004 clauses out of 56009 with flag 1769393/425168
82.44/81.33	c cleaning 28994 clauses out of 58004 with flag 1898992/455167
88.74/87.61	c cleaning 29995 clauses out of 60011 with flag 2021130/486168
95.24/94.13	c cleaning 31001 clauses out of 62015 with flag 2147249/518167
102.14/101.02	c cleaning 32002 clauses out of 64014 with flag 2272597/551167
109.34/108.29	c cleaning 32999 clauses out of 66012 with flag 2396020/585167
117.04/115.92	c cleaning 34001 clauses out of 68014 with flag 2520498/620168
124.92/123.71	c cleaning 35000 clauses out of 70013 with flag 2651467/656168
132.83/131.67	c cleaning 35998 clauses out of 72013 with flag 2790176/693168
141.43/140.21	c cleaning 37002 clauses out of 74014 with flag 2933334/731167
149.93/148.75	c cleaning 38007 clauses out of 76013 with flag 3085157/770168
160.23/159.07	c cleaning 38998 clauses out of 78005 with flag 3261022/810167
168.83/167.69	c cleaning 40001 clauses out of 80007 with flag 3407706/851167
177.80/176.57	c cleaning 41002 clauses out of 82007 with flag 3555948/893168
186.80/185.51	c cleaning 42001 clauses out of 84004 with flag 3698233/936167
196.50/195.25	c cleaning 43001 clauses out of 86004 with flag 3853091/980168
197.40/196.14	c Got one! Elapsed wall clock time (in seconds):196.018
197.40/196.14	o 16237
197.78/196.42	c cleaning 24335 clauses out of 48684 with flag 2769/985849
198.78/197.40	c cleaning 15166 clauses out of 30350 with flag 23425/991850
199.68/198.33	c cleaning 11086 clauses out of 22183 with flag 45976/998849
200.68/199.33	c cleaning 9541 clauses out of 19098 with flag 77280/1006850
201.69/200.36	c cleaning 9267 clauses out of 18558 with flag 112209/1015851
202.28/200.99	c Got one! Elapsed wall clock time (in seconds):200.863
202.28/200.99	o 16188
203.03/201.61	c cleaning 9962 clauses out of 19926 with flag 20677/1026486
203.63/202.29	c cleaning 7973 clauses out of 15964 with flag 45019/1032486
204.43/203.02	c cleaning 7490 clauses out of 14991 with flag 69940/1039486
205.33/203.90	c cleaning 7748 clauses out of 15501 with flag 99893/1047486
206.23/204.85	c cleaning 8375 clauses out of 16753 with flag 132402/1056486
207.33/205.92	c cleaning 9190 clauses out of 18379 with flag 172047/1066487
208.63/207.20	c cleaning 10091 clauses out of 20188 with flag 213969/1077486
210.21/208.75	c cleaning 11045 clauses out of 22099 with flag 251038/1089488
211.91/210.42	c cleaning 12025 clauses out of 24055 with flag 302349/1102489
213.71/212.27	c cleaning 13009 clauses out of 26028 with flag 359891/1116487
215.91/214.45	c cleaning 14005 clauses out of 28019 with flag 426232/1131487
218.11/216.61	c cleaning 15006 clauses out of 30015 with flag 499255/1147488
220.44/218.94	c cleaning 16003 clauses out of 32007 with flag 566602/1164486
222.83/221.31	c cleaning 17003 clauses out of 34005 with flag 631960/1182487
225.33/223.83	c cleaning 17996 clauses out of 36001 with flag 700790/1201486
228.24/226.76	c cleaning 19001 clauses out of 38007 with flag 773061/1221488
231.54/230.04	c cleaning 19996 clauses out of 40004 with flag 847698/1242486
235.13/233.66	c cleaning 20997 clauses out of 42008 with flag 925570/1264486
239.03/237.56	c cleaning 22002 clauses out of 44011 with flag 1011896/1287486
243.07/241.54	c cleaning 23004 clauses out of 46010 with flag 1103628/1311487
247.27/245.74	c cleaning 24003 clauses out of 48006 with flag 1198820/1336487
251.57/250.07	c cleaning 24996 clauses out of 50002 with flag 1308262/1362486
256.27/254.71	c cleaning 26002 clauses out of 52007 with flag 1410996/1389487
261.46/259.98	c cleaning 26999 clauses out of 54004 with flag 1519174/1417486
266.86/265.39	c cleaning 28000 clauses out of 56007 with flag 1633971/1446488
272.46/270.95	c cleaning 28994 clauses out of 58005 with flag 1756372/1476486
278.26/276.75	c cleaning 30000 clauses out of 60011 with flag 1878806/1507486
284.67/283.02	c cleaning 31003 clauses out of 62012 with flag 1999683/1539487
291.17/289.54	c cleaning 32002 clauses out of 64008 with flag 2129810/1572486
298.46/296.84	c cleaning 33003 clauses out of 66007 with flag 2297195/1606487
306.96/305.38	c cleaning 33997 clauses out of 68004 with flag 2486804/1641487
314.96/313.38	c cleaning 34999 clauses out of 70006 with flag 2666644/1677486
323.46/321.64	c cleaning 36002 clauses out of 72010 with flag 2862216/1714489
331.25/329.41	c cleaning 36996 clauses out of 74006 with flag 3037969/1752487
339.75/337.96	c cleaning 37999 clauses out of 76010 with flag 3203134/1791487
348.66/346.85	c cleaning 39005 clauses out of 78013 with flag 3374670/1831489
357.66/355.89	c cleaning 39996 clauses out of 80005 with flag 3552361/1872486
366.64/364.64	c cleaning 41000 clauses out of 82009 with flag 3734313/1914486
375.43/373.42	c cleaning 41999 clauses out of 84009 with flag 3915823/1957486
384.63/382.64	c cleaning 43004 clauses out of 86010 with flag 4100382/2001486
394.44/392.43	c cleaning 44000 clauses out of 88006 with flag 4294231/2046486
404.85/402.61	c cleaning 44999 clauses out of 90007 with flag 4493052/2092487
415.85/413.68	c cleaning 46000 clauses out of 92007 with flag 4678908/2139486
427.24/425.06	c cleaning 46995 clauses out of 94008 with flag 4856219/2187487
439.64/437.42	c cleaning 48004 clauses out of 96012 with flag 5027740/2236486
452.49/450.08	c cleaning 49002 clauses out of 98009 with flag 5196900/2286487
465.48/463.08	c cleaning 49997 clauses out of 100007 with flag 5381277/2337487
479.90/477.47	c cleaning 51002 clauses out of 102009 with flag 5588830/2389486
496.58/494.18	c cleaning 52000 clauses out of 104009 with flag 5838887/2442488
511.48/508.84	c cleaning 53000 clauses out of 106008 with flag 6051954/2496487
527.49/524.81	c cleaning 53999 clauses out of 108008 with flag 6258259/2551487
543.38/540.75	c cleaning 54999 clauses out of 110008 with flag 6461343/2607486
560.75/557.82	c cleaning 56004 clauses out of 112011 with flag 6666025/2664488
578.15/575.27	c cleaning 56995 clauses out of 114005 with flag 6893850/2722486
595.65/592.78	c cleaning 58000 clauses out of 116010 with flag 7113964/2781486
614.68/611.58	c cleaning 58999 clauses out of 118010 with flag 7313698/2841486
633.69/630.54	c cleaning 60001 clauses out of 120012 with flag 7547782/2902487
654.29/651.13	c cleaning 61006 clauses out of 122011 with flag 7769959/2964487
673.02/669.69	c cleaning 61997 clauses out of 124005 with flag 8021849/3027487
695.73/692.36	c cleaning 62998 clauses out of 126007 with flag 8290293/3091486
717.63/714.28	c cleaning 63998 clauses out of 128009 with flag 8541807/3156486
738.22/734.69	c cleaning 64993 clauses out of 130012 with flag 8789363/3222487
757.71/754.17	c cleaning 66000 clauses out of 132018 with flag 9045771/3289486
777.43/773.66	c cleaning 67004 clauses out of 134018 with flag 9324978/3357486
796.73/792.92	c cleaning 68002 clauses out of 136015 with flag 9624271/3426487
817.25/813.38	c cleaning 69000 clauses out of 138013 with flag 9922427/3496487
839.97/836.03	c cleaning 70002 clauses out of 140012 with flag 10207690/3567486
862.16/858.04	c cleaning 70997 clauses out of 142010 with flag 10522967/3639486
882.65/878.53	c cleaning 71997 clauses out of 144013 with flag 10831186/3712486
903.76/899.41	c cleaning 73001 clauses out of 146016 with flag 11136150/3786486
926.76/922.47	c cleaning 74001 clauses out of 148016 with flag 11472201/3861487
947.54/943.06	c cleaning 74999 clauses out of 150014 with flag 11816704/3937486
970.65/966.12	c cleaning 75999 clauses out of 152016 with flag 12099054/4014487
997.58/992.90	c cleaning 77003 clauses out of 154016 with flag 12441136/4092486
1019.47/1014.61	c cleaning 78002 clauses out of 156014 with flag 12814524/4171487
1042.28/1037.41	c cleaning 79002 clauses out of 158015 with flag 13116842/4251490
1063.76/1058.76	c cleaning 79994 clauses out of 160009 with flag 13438224/4332486
1089.86/1084.85	c cleaning 81002 clauses out of 162016 with flag 13770243/4414487
1117.05/1111.89	c cleaning 81999 clauses out of 164013 with flag 14108356/4497486
1144.09/1138.76	c cleaning 83000 clauses out of 166014 with flag 14462201/4581486
1170.43/1164.84	c cleaning 83999 clauses out of 168015 with flag 14844928/4666487
1200.73/1195.14	c cleaning 84999 clauses out of 170015 with flag 15198475/4752486
1227.93/1222.13	c cleaning 86001 clauses out of 172016 with flag 15572768/4839486
1254.39/1248.47	c cleaning 87001 clauses out of 174015 with flag 15952078/4927486
1281.37/1275.18	c cleaning 88004 clauses out of 176015 with flag 16349062/5016487
1308.97/1302.78	c cleaning 88999 clauses out of 178011 with flag 16777035/5106487
1339.52/1333.18	c cleaning 89999 clauses out of 180012 with flag 17209393/5197487
1370.03/1363.50	c cleaning 90997 clauses out of 182012 with flag 17634474/5289486
1402.76/1396.14	c cleaning 92006 clauses out of 184016 with flag 18078018/5382487
1433.88/1427.14	c cleaning 93001 clauses out of 186010 with flag 18534527/5476487
1465.88/1459.03	c cleaning 93998 clauses out of 188010 with flag 18974520/5571488
1504.81/1497.85	c cleaning 94999 clauses out of 190011 with flag 19361966/5667487
1539.95/1532.86	c cleaning 95996 clauses out of 192011 with flag 19738783/5764486
1577.58/1570.38	c cleaning 96999 clauses out of 194015 with flag 20112459/5862486
1616.12/1608.78	c cleaning 98004 clauses out of 196017 with flag 20480449/5961487
1617.62/1610.21	c Got one! Elapsed wall clock time (in seconds):1610.088
1617.62/1610.21	o 16186
1619.18/1611.75	c cleaning 54728 clauses out of 109472 with flag 20655/5972946
1620.37/1612.98	c cleaning 30361 clauses out of 60745 with flag 46592/5978947
1621.57/1614.16	c cleaning 18682 clauses out of 37383 with flag 76926/5985946
1622.67/1615.27	c cleaning 13346 clauses out of 26702 with flag 113118/5993947
1623.87/1616.46	c cleaning 11172 clauses out of 22356 with flag 154727/6002947
1625.17/1617.71	c cleaning 10581 clauses out of 21184 with flag 195454/6012947
1626.68/1619.13	c cleaning 10793 clauses out of 21603 with flag 238300/6023947
1628.28/1620.71	c cleaning 11403 clauses out of 22809 with flag 287046/6035946
1629.99/1622.43	c cleaning 12201 clauses out of 24406 with flag 338914/6048946
1631.89/1624.38	c cleaning 13100 clauses out of 26206 with flag 392860/6062947
1633.89/1626.31	c cleaning 14051 clauses out of 28106 with flag 450857/6077947
1635.99/1628.44	c cleaning 15021 clauses out of 30054 with flag 511336/6093946
1638.39/1630.80	c cleaning 16016 clauses out of 32033 with flag 575091/6110946
1640.93/1633.32	c cleaning 17006 clauses out of 34018 with flag 641595/6128947
1643.63/1636.06	c cleaning 18003 clauses out of 36012 with flag 716539/6147947
1646.53/1638.98	c cleaning 19005 clauses out of 38009 with flag 793358/6167947
1649.73/1642.12	c cleaning 20001 clauses out of 40004 with flag 876040/6188947
1653.24/1645.62	c cleaning 20998 clauses out of 42002 with flag 965171/6210946
1657.30/1649.60	c cleaning 22000 clauses out of 44005 with flag 1068550/6233947
1661.20/1653.60	c cleaning 22996 clauses out of 46004 with flag 1175288/6257946
1665.60/1657.94	c cleaning 23994 clauses out of 48009 with flag 1293967/6282947
1671.17/1663.48	c cleaning 25004 clauses out of 50014 with flag 1430309/6308946
1675.97/1668.28	c cleaning 26000 clauses out of 52011 with flag 1548770/6335947
1680.98/1673.25	c cleaning 27004 clauses out of 54010 with flag 1663060/6363946
1686.07/1678.35	c cleaning 27999 clauses out of 56006 with flag 1779699/6392946
1691.63/1683.89	c cleaning 28999 clauses out of 58008 with flag 1886958/6422947
1697.63/1689.88	c cleaning 30000 clauses out of 60008 with flag 2022197/6453946
1704.04/1696.28	c cleaning 30995 clauses out of 62008 with flag 2133804/6485946
1711.42/1703.54	c cleaning 32005 clauses out of 64013 with flag 2275123/6518946
1718.82/1710.94	c cleaning 32999 clauses out of 66009 with flag 2435128/6552947
1726.32/1718.40	c cleaning 33999 clauses out of 68010 with flag 2582377/6587947
1734.41/1726.49	c cleaning 34996 clauses out of 70010 with flag 2736550/6623946
1742.61/1734.60	c cleaning 36000 clauses out of 72015 with flag 2879397/6660947
1751.86/1743.80	c cleaning 36998 clauses out of 74015 with flag 3025694/6698947
1761.17/1753.14	c cleaning 38007 clauses out of 76016 with flag 3182522/6737946
1770.88/1762.80	c cleaning 38999 clauses out of 78010 with flag 3349615/6777947
1782.49/1774.31	c cleaning 39999 clauses out of 80012 with flag 3532186/6818948
1792.93/1784.70	c cleaning 41003 clauses out of 82012 with flag 3708923/6860947
1800.03/1791.80	c starts		: 1006
1800.03/1791.80	c conflicts		: 6891374
1800.03/1791.80	c decisions		: 7387915
1800.03/1791.80	c propagations		: 250919641
1800.03/1791.80	c inspects		: 31262282680
1800.03/1791.80	c shortcuts		: 0
1800.03/1791.80	c learnt literals	: 0
1800.03/1791.80	c learnt binary clauses	: 0
1800.03/1791.80	c learnt ternary clauses	: 0
1800.03/1791.80	c learnt constraints	: 6891374
1800.03/1791.80	c ignored constraints	: 0
1800.03/1791.80	c root simplifications	: 0
1800.03/1791.80	c removed literals (reason simplification)	: 0
1800.03/1791.80	c reason swapping (by a shorter reason)	: 0
1800.03/1791.80	c Calls to reduceDB	: 178
1800.03/1791.80	c Number of update (reduction) of LBD	: 361729
1800.03/1791.80	c Imported unit clauses	: 0
1800.03/1791.80	c number of reductions to clauses (during analyze)	: 0
1800.03/1791.80	c number of learned constraints concerned by reduction	: 0
1800.03/1791.80	c number of learning phase by resolution	: 0
1800.03/1791.80	c number of learning phase by cutting planes	: 0
1800.03/1791.80	c speed (assignments/second)	: 140068.62825547546
1800.03/1791.80	c non guided choices	88
1800.03/1791.83	c learnt constraints type 
1800.03/1791.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 71436
1800.03/1791.83	s SATISFIABLE
1800.03/1791.83	c Found 5 solution(s)
1800.03/1791.84	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 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 
1800.03/1791.84	c objective function=16186
1800.03/1791.84	c Total wall clock time (in seconds): 1791.718

Verifier Data 

OK	16186

Watcher Data 

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-4119058-1467245606/watcher-4119058-1467245606 -o /tmp/evaluation-result-4119058-1467245606/solver-4119058-1467245606 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467233254-15697 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119058-1467245606.opb 

pid=17287
running on 8 cores: 0-3,8-11

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.15 2.28 2.29 3/281 17290
/proc/meminfo: memFree=25284664/32872528 swapFree=8828/8828
[pid=17290] ppid=17287 vsize=9292 CPUtime=0 cores=0-3,8-11
/proc/17290/stat : 17290 (java) R 17287 17290 15681 0 -1 4202496 493 0 0 0 0 0 0 0 20 0 1 0 5513443 9515008 149 33554432000 1073741824 1073778376 140735968353184 140735968350312 216808285424 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17290/statm: 2323 155 115 9 0 71 0

[startup+0.102446 s]
/proc/loadavg: 2.15 2.28 2.29 3/281 17290
/proc/meminfo: memFree=25284664/32872528 swapFree=8828/8828
[pid=17290] ppid=17287 vsize=9896436 CPUtime=0.08 cores=0-3,8-11
/proc/17290/stat : 17290 (java) S 17287 17290 15681 0 -1 4202496 4414 0 1 0 7 1 0 0 20 0 23 0 5513443 10133950464 5531 33554432000 1073741824 1073778376 140735968353184 140735968344320 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17290/statm: 2474109 5532 2116 9 0 2464786 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9896436

[startup+0.200215 s]
/proc/loadavg: 2.15 2.28 2.29 3/281 17290
/proc/meminfo: memFree=25284664/32872528 swapFree=8828/8828
[pid=17290] ppid=17287 vsize=9896436 CPUtime=0.28 cores=0-3,8-11
/proc/17290/stat : 17290 (java) S 17287 17290 15681 0 -1 4202496 5074 0 1 0 26 2 0 0 20 0 23 0 5513443 10133950464 6931 33554432000 1073741824 1073778376 140735968353184 140735968344320 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17290/statm: 2474109 6931 2220 9 0 2464786 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9896436

[startup+0.300226 s]
/proc/loadavg: 2.15 2.28 2.29 3/281 17290
/proc/meminfo: memFree=25284664/32872528 swapFree=8828/8828
[pid=17290] ppid=17287 vsize=9896436 CPUtime=0.46 cores=0-3,8-11
/proc/17290/stat : 17290 (java) S 17287 17290 15681 0 -1 4202496 5528 0 1 0 44 2 0 0 20 0 23 0 5513443 10133950464 8525 33554432000 1073741824 1073778376 140735968353184 140735968344320 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17290/statm: 2474109 8525 2232 9 0 2464786 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9896436

[startup+0.70025 s]
/proc/loadavg: 2.15 2.28 2.29 3/281 17290
/proc/meminfo: memFree=25284664/32872528 swapFree=8828/8828
[pid=17290] ppid=17287 vsize=9963000 CPUtime=1.46 cores=0-3,8-11
/proc/17290/stat : 17290 (java) S 17287 17290 15681 0 -1 4202496 10408 0 1 0 143 3 0 0 20 0 24 0 5513443 10202112000 15424 33554432000 1073741824 1073778376 140735968353184 140735968344320 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17290/statm: 2490750 15424 2262 9 0 2481427 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9963000

[startup+1.50093 s]
/proc/loadavg: 2.15 2.28 2.29 3/305 17314
/proc/meminfo: memFree=25228852/32872528 swapFree=8828/8828
[pid=17290] ppid=17287 vsize=9963000 CPUtime=2.3 cores=0-3,8-11
/proc/17290/stat : 17290 (java) S 17287 17290 15681 0 -1 4202496 10420 0 1 0 227 3 0 0 20 0 24 0 5513443 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 140735968344320 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17290/statm: 2490750 16457 2270 9 0 2481427 0
[pid=17290/tid=17292] ppid=17287 vsize=9963000 CPUtime=1.45 cores=0-3,8-11
/proc/17290/task/17292/stat : 17292 (java) R 17287 17290 15681 0 -1 4202560 2485 0 1 0 144 1 0 0 20 0 24 0 5513444 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139803247533776 139803082005487 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17293] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17293/stat : 17293 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139803209034536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17290/tid=17294] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17294/stat : 17294 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139803207981736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17290/tid=17295] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17295/stat : 17295 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139803206929448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17296] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17296/stat : 17296 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139803205876648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17297] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17297/stat : 17297 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139803204823336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17290/tid=17298] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17298/stat : 17298 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139803203770536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17299] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17299/stat : 17299 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139803202718248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17290/tid=17300] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17300/stat : 17300 (java) S 17287 17290 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139803201665448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17301] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17301/stat : 17301 (java) S 17287 17290 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139803200613160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17290/tid=17302] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17302/stat : 17302 (java) S 17287 17290 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139803081304744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17290/tid=17303] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17303/stat : 17303 (java) S 17287 17290 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139803080252456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17290/tid=17304] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17304/stat : 17304 (java) S 17287 17290 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139803079199656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17290/tid=17305] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17305/stat : 17305 (java) S 17287 17290 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139803078146344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17290/tid=17306] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17306/stat : 17306 (java) S 17287 17290 15681 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 5513447 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139802187901032 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17290/tid=17307] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17307/stat : 17307 (java) S 17287 17290 15681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 5513447 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139802186847608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17308] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17308/stat : 17308 (java) S 17287 17290 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 5513447 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139802185794696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17309] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17309/stat : 17309 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513450 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139802184743696 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17310] ppid=17287 vsize=9963000 CPUtime=0.38 cores=0-3,8-11
/proc/17290/task/17310/stat : 17310 (java) S 17287 17290 15681 0 -1 4202560 2910 0 0 0 38 0 0 0 20 0 24 0 5513450 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139802183690808 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17311] ppid=17287 vsize=9963000 CPUtime=0.41 cores=0-3,8-11
/proc/17290/task/17311/stat : 17311 (java) S 17287 17290 15681 0 -1 4202560 3734 0 0 0 41 0 0 0 20 0 24 0 5513450 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139802182638520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17290/tid=17312] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17312/stat : 17312 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513450 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139802181585912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17290/tid=17313] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17313/stat : 17313 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513450 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139802180532808 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17290/tid=17314] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17314/stat : 17314 (java) S 17287 17290 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 5513483 10202112000 16457 33554432000 1073741824 1073778376 140735968353184 139802179478312 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 9963000

[startup+3.10084 s]
/proc/loadavg: 2.13 2.27 2.29 3/305 17314
/proc/meminfo: memFree=25224072/32872528 swapFree=8828/8828
[pid=17290] ppid=17287 vsize=9963000 CPUtime=3.96 cores=0-3,8-11
/proc/17290/stat : 17290 (java) S 17287 17290 15681 0 -1 4202496 10423 0 1 0 393 3 0 0 20 0 24 0 5513443 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 140735968344320 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17290/statm: 2490750 17993 2270 9 0 2481427 0
[pid=17290/tid=17292] ppid=17287 vsize=9963000 CPUtime=3.05 cores=0-3,8-11
/proc/17290/task/17292/stat : 17292 (java) R 17287 17290 15681 0 -1 4202560 2488 0 1 0 304 1 0 0 20 0 24 0 5513444 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139803247533776 139803082005492 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17293] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17293/stat : 17293 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139803209034536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17290/tid=17294] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17294/stat : 17294 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139803207981736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17290/tid=17295] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17295/stat : 17295 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139803206929448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17296] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17296/stat : 17296 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139803205876648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17297] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17297/stat : 17297 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139803204823336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17290/tid=17298] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17298/stat : 17298 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139803203770536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17299] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17299/stat : 17299 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139803202718248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17290/tid=17300] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17300/stat : 17300 (java) S 17287 17290 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139803201665448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17301] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17301/stat : 17301 (java) S 17287 17290 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139803200613160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17290/tid=17302] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17302/stat : 17302 (java) S 17287 17290 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139803081304744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17290/tid=17303] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17303/stat : 17303 (java) S 17287 17290 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139803080252456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17290/tid=17304] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17304/stat : 17304 (java) S 17287 17290 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139803079199656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17290/tid=17305] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17305/stat : 17305 (java) S 17287 17290 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139803078146344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17290/tid=17306] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17306/stat : 17306 (java) S 17287 17290 15681 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 5513447 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139802187901032 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17290/tid=17307] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17307/stat : 17307 (java) S 17287 17290 15681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 5513447 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139802186847608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17308] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17308/stat : 17308 (java) S 17287 17290 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 5513447 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139802185794696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17309] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17309/stat : 17309 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513450 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139802184743696 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17310] ppid=17287 vsize=9963000 CPUtime=0.41 cores=0-3,8-11
/proc/17290/task/17310/stat : 17310 (java) S 17287 17290 15681 0 -1 4202560 2910 0 0 0 41 0 0 0 20 0 24 0 5513450 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139802183690808 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17311] ppid=17287 vsize=9963000 CPUtime=0.44 cores=0-3,8-11
/proc/17290/task/17311/stat : 17311 (java) S 17287 17290 15681 0 -1 4202560 3734 0 0 0 44 0 0 0 20 0 24 0 5513450 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139802182638520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17290/tid=17312] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17312/stat : 17312 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513450 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139802181585912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17290/tid=17313] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17313/stat : 17313 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513450 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139802180532808 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17290/tid=17314] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17314/stat : 17314 (java) S 17287 17290 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 5513483 10202112000 17993 33554432000 1073741824 1073778376 140735968353184 139802179478312 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 9963000

[startup+6.30096 s]
/proc/loadavg: 2.13 2.27 2.29 3/305 17314
/proc/meminfo: memFree=25209636/32872528 swapFree=8828/8828
[pid=17290] ppid=17287 vsize=9963000 CPUtime=7.17 cores=0-3,8-11
/proc/17290/stat : 17290 (java) S 17287 17290 15681 0 -1 4202496 10432 0 1 0 714 3 0 0 20 0 24 0 5513443 10202112000 21522 33554432000 1073741824 1073778376 140735968353184 140735968344320 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17290/statm: 2490750 21522 2271 9 0 2481427 0
[pid=17290/tid=17292] ppid=17287 vsize=9963000 CPUtime=6.24 cores=0-3,8-11
/proc/17290/task/17292/stat : 17292 (java) R 17287 17290 15681 0 -1 4202560 2496 0 1 0 623 1 0 0 20 0 24 0 5513444 10202112000 21522 33554432000 1073741824 1073778376 140735968353184 139803247533760 139803082023340 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17293] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17293/stat : 17293 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 21522 33554432000 1073741824 1073778376 140735968353184 139803209034536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17290/tid=17294] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17294/stat : 17294 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 21522 33554432000 1073741824 1073778376 140735968353184 139803207981736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17290/tid=17295] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17295/stat : 17295 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 21522 33554432000 1073741824 1073778376 140735968353184 139803206929448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17296] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17296/stat : 17296 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 21522 33554432000 1073741824 1073778376 140735968353184 139803205876648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17297] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17297/stat : 17297 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 21522 33554432000 1073741824 1073778376 140735968353184 139803204823336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17290/tid=17298] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17298/stat : 17298 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 21522 33554432000 1073741824 1073778376 140735968353184 139803203770536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17299] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17299/stat : 17299 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 21522 33554432000 1073741824 1073778376 140735968353184 139803202718248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17290/tid=17300] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17300/stat : 17300 (java) S 17287 17290 15681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 5513446 10202112000 21522 33554432000 1073741824 1073778376 140735968353184 139803201665448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17301] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11

################
# More data... #
################

/proc/17290/task/17301/stat : 17301 (java) S 17287 17290 15681 0 -1 4202560 288 0 0 0 44 12 0 0 20 0 24 0 5513446 10202112000 97122 33554432000 1073741824 1073778376 140735968353184 139803200613160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17290/tid=17302] ppid=17287 vsize=9963000 CPUtime=0.74 cores=0-3,8-11
/proc/17290/task/17302/stat : 17302 (java) S 17287 17290 15681 0 -1 4202560 346 0 0 0 61 13 0 0 20 0 24 0 5513446 10202112000 97122 33554432000 1073741824 1073778376 140735968353184 139803081304744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17290/tid=17303] ppid=17287 vsize=9963000 CPUtime=0.51 cores=0-3,8-11
/proc/17290/task/17303/stat : 17303 (java) S 17287 17290 15681 0 -1 4202560 385 0 0 0 41 10 0 0 20 0 24 0 5513446 10202112000 97122 33554432000 1073741824 1073778376 140735968353184 139803080252456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17290/tid=17304] ppid=17287 vsize=9963000 CPUtime=0.62 cores=0-3,8-11
/proc/17290/task/17304/stat : 17304 (java) S 17287 17290 15681 0 -1 4202560 457 0 0 0 51 11 0 0 20 0 24 0 5513446 10202112000 97122 33554432000 1073741824 1073778376 140735968353184 139803079199656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17290/tid=17305] ppid=17287 vsize=9963000 CPUtime=0.56 cores=0-3,8-11
/proc/17290/task/17305/stat : 17305 (java) S 17287 17290 15681 0 -1 4202560 295 0 0 0 46 10 0 0 20 0 24 0 5513446 10202112000 97122 33554432000 1073741824 1073778376 140735968353184 139803078146344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17290/tid=17306] ppid=17287 vsize=9963000 CPUtime=0.14 cores=0-3,8-11
/proc/17290/task/17306/stat : 17306 (java) S 17287 17290 15681 0 -1 4202560 140 0 0 0 12 2 0 0 20 0 24 0 5513447 10202112000 97122 33554432000 1073741824 1073778376 140735968353184 139802187901032 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17307] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17307/stat : 17307 (java) S 17287 17290 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 5513447 10202112000 97122 33554432000 1073741824 1073778376 140735968353184 139802186847608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17308] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17308/stat : 17308 (java) S 17287 17290 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 5513447 10202112000 97122 33554432000 1073741824 1073778376 140735968353184 139802185794696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17309] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17309/stat : 17309 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513450 10202112000 97122 33554432000 1073741824 1073778376 140735968353184 139802184743696 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17310] ppid=17287 vsize=9963000 CPUtime=0.52 cores=0-3,8-11
/proc/17290/task/17310/stat : 17310 (java) S 17287 17290 15681 0 -1 4202560 2918 0 0 0 52 0 0 0 20 0 24 0 5513450 10202112000 97122 33554432000 1073741824 1073778376 140735968353184 139802183690808 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17290/tid=17311] ppid=17287 vsize=9963000 CPUtime=0.58 cores=0-3,8-11
/proc/17290/task/17311/stat : 17311 (java) S 17287 17290 15681 0 -1 4202560 3746 0 0 0 58 0 0 0 20 0 24 0 5513450 10202112000 97122 33554432000 1073741824 1073778376 140735968353184 139802182638520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17290/tid=17312] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17312/stat : 17312 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513450 10202112000 97122 33554432000 1073741824 1073778376 140735968353184 139802181585912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17290/tid=17313] ppid=17287 vsize=9963000 CPUtime=0.46 cores=0-3,8-11
/proc/17290/task/17313/stat : 17313 (java) S 17287 17290 15681 0 -1 4202560 100 0 0 0 22 24 0 0 20 0 24 0 5513450 10202112000 97122 33554432000 1073741824 1073778376 140735968353184 139802180532808 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17314] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17314/stat : 17314 (java) S 17287 17290 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 5513483 10202112000 97122 33554432000 1073741824 1073778376 140735968353184 139802179478312 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1730.31
Current children cumulated vsize (KiB) 9963000

[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.07 3/305 17428
/proc/meminfo: memFree=27217964/32872528 swapFree=8828/8828
[pid=17290] ppid=17287 vsize=9963000 CPUtime=1790.53 cores=0-3,8-11
/proc/17290/stat : 17290 (java) S 17287 17290 15681 0 -1 4202496 15087 0 1 0 178882 171 0 0 20 0 24 0 5513443 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 140735968344320 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17290/statm: 2490750 94728 2295 9 0 2481427 0
[pid=17290/tid=17292] ppid=17287 vsize=9963000 CPUtime=1776.32 cores=0-3,8-11
/proc/17290/task/17292/stat : 17292 (java) R 17287 17290 15681 0 -1 4202560 2587 0 1 0 177602 30 0 0 20 0 24 0 5513444 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803247541472 139803082304423 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17293] ppid=17287 vsize=9963000 CPUtime=0.53 cores=0-3,8-11
/proc/17290/task/17293/stat : 17293 (java) S 17287 17290 15681 0 -1 4202560 331 0 0 0 45 8 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803209034536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17290/tid=17294] ppid=17287 vsize=9963000 CPUtime=0.65 cores=0-3,8-11
/proc/17290/task/17294/stat : 17294 (java) S 17287 17290 15681 0 -1 4202560 361 0 0 0 54 11 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803207981736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17290/tid=17295] ppid=17287 vsize=9963000 CPUtime=0.69 cores=0-3,8-11
/proc/17290/task/17295/stat : 17295 (java) S 17287 17290 15681 0 -1 4202560 316 0 0 0 56 13 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803206929448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17296] ppid=17287 vsize=9963000 CPUtime=0.57 cores=0-3,8-11
/proc/17290/task/17296/stat : 17296 (java) S 17287 17290 15681 0 -1 4202560 134 0 0 0 48 9 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803205876648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17290/tid=17297] ppid=17287 vsize=9963000 CPUtime=0.69 cores=0-3,8-11
/proc/17290/task/17297/stat : 17297 (java) S 17287 17290 15681 0 -1 4202560 419 0 0 0 55 14 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803204823336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17290/tid=17298] ppid=17287 vsize=9963000 CPUtime=0.6 cores=0-3,8-11
/proc/17290/task/17298/stat : 17298 (java) S 17287 17290 15681 0 -1 4202560 232 0 0 0 50 10 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803203770536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17290/tid=17299] ppid=17287 vsize=9963000 CPUtime=0.58 cores=0-3,8-11
/proc/17290/task/17299/stat : 17299 (java) S 17287 17290 15681 0 -1 4202560 391 0 0 0 47 11 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803202718248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17290/tid=17300] ppid=17287 vsize=9963000 CPUtime=0.61 cores=0-3,8-11
/proc/17290/task/17300/stat : 17300 (java) S 17287 17290 15681 0 -1 4202560 360 0 0 0 49 12 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803201665448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17290/tid=17301] ppid=17287 vsize=9963000 CPUtime=0.59 cores=0-3,8-11
/proc/17290/task/17301/stat : 17301 (java) S 17287 17290 15681 0 -1 4202560 288 0 0 0 47 12 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803200613160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17290/tid=17302] ppid=17287 vsize=9963000 CPUtime=0.75 cores=0-3,8-11
/proc/17290/task/17302/stat : 17302 (java) S 17287 17290 15681 0 -1 4202560 357 0 0 0 62 13 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803081304744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17290/tid=17303] ppid=17287 vsize=9963000 CPUtime=0.52 cores=0-3,8-11
/proc/17290/task/17303/stat : 17303 (java) S 17287 17290 15681 0 -1 4202560 385 0 0 0 42 10 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803080252456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17290/tid=17304] ppid=17287 vsize=9963000 CPUtime=0.64 cores=0-3,8-11
/proc/17290/task/17304/stat : 17304 (java) S 17287 17290 15681 0 -1 4202560 457 0 0 0 53 11 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803079199656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17290/tid=17305] ppid=17287 vsize=9963000 CPUtime=0.58 cores=0-3,8-11
/proc/17290/task/17305/stat : 17305 (java) S 17287 17290 15681 0 -1 4202560 295 0 0 0 48 10 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803078146344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17306] ppid=17287 vsize=9963000 CPUtime=0.14 cores=0-3,8-11
/proc/17290/task/17306/stat : 17306 (java) S 17287 17290 15681 0 -1 4202560 144 0 0 0 12 2 0 0 20 0 24 0 5513447 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139802187901032 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17307] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17307/stat : 17307 (java) S 17287 17290 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 5513447 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139802186847608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17308] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17308/stat : 17308 (java) S 17287 17290 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 5513447 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139802185794696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17309] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17309/stat : 17309 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513450 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139802184743696 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17310] ppid=17287 vsize=9963000 CPUtime=0.52 cores=0-3,8-11
/proc/17290/task/17310/stat : 17310 (java) S 17287 17290 15681 0 -1 4202560 2918 0 0 0 52 0 0 0 20 0 24 0 5513450 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139802183690808 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17290/tid=17311] ppid=17287 vsize=9963000 CPUtime=0.58 cores=0-3,8-11
/proc/17290/task/17311/stat : 17311 (java) S 17287 17290 15681 0 -1 4202560 3746 0 0 0 58 0 0 0 20 0 24 0 5513450 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139802182638520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17290/tid=17312] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17312/stat : 17312 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513450 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139802181585912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17290/tid=17313] ppid=17287 vsize=9963000 CPUtime=0.47 cores=0-3,8-11
/proc/17290/task/17313/stat : 17313 (java) S 17287 17290 15681 0 -1 4202560 104 0 0 0 23 24 0 0 20 0 24 0 5513450 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139802180532808 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17314] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17314/stat : 17314 (java) S 17287 17290 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 5513483 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139802179478312 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1790.53
Current children cumulated vsize (KiB) 9963000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.8 s]
/proc/loadavg: 2.05 2.04 2.07 3/305 17428
/proc/meminfo: memFree=27217720/32872528 swapFree=8828/8828
[pid=17290] ppid=17287 vsize=9963000 CPUtime=1800.03 cores=0-3,8-11
/proc/17290/stat : 17290 (java) S 17287 17290 15681 0 -1 4202496 15087 0 1 0 179832 171 0 0 20 0 24 0 5513443 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 140735968344320 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17290/statm: 2490750 94728 2295 9 0 2481427 0
[pid=17290/tid=17292] ppid=17287 vsize=9963000 CPUtime=1785.8 cores=0-3,8-11
/proc/17290/task/17292/stat : 17292 (java) R 17287 17290 15681 0 -1 4202560 2587 0 1 0 178549 31 0 0 20 0 24 0 5513444 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803247533776 139803082128775 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17293] ppid=17287 vsize=9963000 CPUtime=0.53 cores=0-3,8-11
/proc/17290/task/17293/stat : 17293 (java) S 17287 17290 15681 0 -1 4202560 331 0 0 0 45 8 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803209034536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17290/tid=17294] ppid=17287 vsize=9963000 CPUtime=0.65 cores=0-3,8-11
/proc/17290/task/17294/stat : 17294 (java) S 17287 17290 15681 0 -1 4202560 361 0 0 0 54 11 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803207981736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17290/tid=17295] ppid=17287 vsize=9963000 CPUtime=0.69 cores=0-3,8-11
/proc/17290/task/17295/stat : 17295 (java) S 17287 17290 15681 0 -1 4202560 316 0 0 0 56 13 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803206929448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17296] ppid=17287 vsize=9963000 CPUtime=0.57 cores=0-3,8-11
/proc/17290/task/17296/stat : 17296 (java) S 17287 17290 15681 0 -1 4202560 134 0 0 0 48 9 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803205876648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17290/tid=17297] ppid=17287 vsize=9963000 CPUtime=0.69 cores=0-3,8-11
/proc/17290/task/17297/stat : 17297 (java) S 17287 17290 15681 0 -1 4202560 419 0 0 0 55 14 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803204823336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17290/tid=17298] ppid=17287 vsize=9963000 CPUtime=0.6 cores=0-3,8-11
/proc/17290/task/17298/stat : 17298 (java) S 17287 17290 15681 0 -1 4202560 232 0 0 0 50 10 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803203770536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17290/tid=17299] ppid=17287 vsize=9963000 CPUtime=0.58 cores=0-3,8-11
/proc/17290/task/17299/stat : 17299 (java) S 17287 17290 15681 0 -1 4202560 391 0 0 0 47 11 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803202718248 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17290/tid=17300] ppid=17287 vsize=9963000 CPUtime=0.61 cores=0-3,8-11
/proc/17290/task/17300/stat : 17300 (java) S 17287 17290 15681 0 -1 4202560 360 0 0 0 49 12 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803201665448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17290/tid=17301] ppid=17287 vsize=9963000 CPUtime=0.59 cores=0-3,8-11
/proc/17290/task/17301/stat : 17301 (java) S 17287 17290 15681 0 -1 4202560 288 0 0 0 47 12 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803200613160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17290/tid=17302] ppid=17287 vsize=9963000 CPUtime=0.75 cores=0-3,8-11
/proc/17290/task/17302/stat : 17302 (java) S 17287 17290 15681 0 -1 4202560 357 0 0 0 62 13 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803081304744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17290/tid=17303] ppid=17287 vsize=9963000 CPUtime=0.52 cores=0-3,8-11
/proc/17290/task/17303/stat : 17303 (java) S 17287 17290 15681 0 -1 4202560 385 0 0 0 42 10 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803080252456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=17290/tid=17304] ppid=17287 vsize=9963000 CPUtime=0.64 cores=0-3,8-11
/proc/17290/task/17304/stat : 17304 (java) S 17287 17290 15681 0 -1 4202560 457 0 0 0 53 11 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803079199656 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17290/tid=17305] ppid=17287 vsize=9963000 CPUtime=0.58 cores=0-3,8-11
/proc/17290/task/17305/stat : 17305 (java) S 17287 17290 15681 0 -1 4202560 295 0 0 0 48 10 0 0 20 0 24 0 5513446 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139803078146344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17306] ppid=17287 vsize=9963000 CPUtime=0.14 cores=0-3,8-11
/proc/17290/task/17306/stat : 17306 (java) S 17287 17290 15681 0 -1 4202560 144 0 0 0 12 2 0 0 20 0 24 0 5513447 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139802187901032 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17307] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17307/stat : 17307 (java) S 17287 17290 15681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 5513447 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139802186847608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17308] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17308/stat : 17308 (java) S 17287 17290 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 5513447 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139802185794696 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17309] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17309/stat : 17309 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513450 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139802184743696 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=17290/tid=17310] ppid=17287 vsize=9963000 CPUtime=0.52 cores=0-3,8-11
/proc/17290/task/17310/stat : 17310 (java) S 17287 17290 15681 0 -1 4202560 2918 0 0 0 52 0 0 0 20 0 24 0 5513450 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139802183690808 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=17290/tid=17311] ppid=17287 vsize=9963000 CPUtime=0.58 cores=0-3,8-11
/proc/17290/task/17311/stat : 17311 (java) S 17287 17290 15681 0 -1 4202560 3746 0 0 0 58 0 0 0 20 0 24 0 5513450 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139802182638520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17290/tid=17312] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17312/stat : 17312 (java) S 17287 17290 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 5513450 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139802181585912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=17290/tid=17313] ppid=17287 vsize=9963000 CPUtime=0.48 cores=0-3,8-11
/proc/17290/task/17313/stat : 17313 (java) S 17287 17290 15681 0 -1 4202560 104 0 0 0 23 25 0 0 20 0 24 0 5513450 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139802180532808 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17314] ppid=17287 vsize=9963000 CPUtime=0 cores=0-3,8-11
/proc/17290/task/17314/stat : 17314 (java) S 17287 17290 15681 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 5513483 10202112000 94728 33554432000 1073741824 1073778376 140735968353184 139802179478312 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9963000

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 17290 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17290 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=779304
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=214663
# CPU time returned by wait4() is 1795.99
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1791.86
CPU time (s): 1800.03
CPU user time (s): 1798.32
CPU system time (s): 1.71
CPU usage (%): 100.456
Max. virtual memory (cumulated for all children) (KiB): 9963000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.78
system time used= 2.21466
maximum resident set size= 531096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15125
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40187
involuntary context switches= 19399

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0937 second user time and 18.8661 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-30 02:13:26
IDJOB=4119058
IDBENCH=111643
IDSOLVER=2546
FILE ID=node132/4119058-1467245606
RUNJOBID= node132-1467233254-15697
PBS_JOBID= 19997601
Free space on /tmp= 71536 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-crossdock_15x8.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119058-1467245606/watcher-4119058-1467245606 -o /tmp/evaluation-result-4119058-1467245606/solver-4119058-1467245606 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467233254-15697 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119058-1467245606.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= ca0d64fdcf007e67f221a6cda949f9e0
RANDOM SEED=1962628052

node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.012
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        25285044 kB
Buffers:          129012 kB
Cached:          3864820 kB
SwapCached:            0 kB
Active:          2921132 kB
Inactive:        3883152 kB
Active(anon):    2813748 kB
Inactive(anon):        0 kB
Active(file):     107384 kB
Inactive(file):  3883152 kB
Unevictable:        8828 kB
Mlocked:            8828 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1332 kB
Writeback:             8 kB
AnonPages:       2820120 kB
Mapped:            22204 kB
Shmem:               216 kB
Slab:             632908 kB
SReclaimable:      73356 kB
SUnreclaim:       559552 kB
KernelStack:        2336 kB
PageTables:         9940 kB
NFS_Unstable:        128 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3108668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2627584 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= 71536 MiB
End job on node132 at 2016-06-30 02:43:18