Trace number 4106669

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)-44 1800.49 1791.42

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_3.opb
MD5SUM60cf9918356073587dd2c65f46896dfb
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-49
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint10
Maximum length of a constraint20
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2488
Sum of products size (including duplicates)4976
Number of different products1244
Sum of products size2488

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4106669-1466273246.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.23/0.27	c ... done. Wall clock time 0.162s.
0.23/0.27	c declared #vars     200
0.23/0.27	c internal #vars     1444
0.23/0.27	c #constraints  2888
0.23/0.27	c constraints type 
0.23/0.27	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1244
0.23/0.27	c org.sat4j.minisat.constraints.cnf.UnitClauses => 156
0.23/0.27	c org.sat4j.specs.Constr$1 => 221
0.23/0.27	c org.sat4j.minisat.constraints.cnf.UnitClause => 23
0.23/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1244
0.23/0.27	c 2888 constraints processed.
0.23/0.27	c objective function length is 200 literals
0.23/0.29	c SATISFIABLE
0.23/0.29	c OPTIMIZING...
0.23/0.29	c Got one! Elapsed wall clock time (in seconds):0.175
0.23/0.29	o -37
0.45/0.38	c Got one! Elapsed wall clock time (in seconds):0.264
0.45/0.38	o -38
0.95/0.67	c cleaning 2684 clauses out of 5367 with flag 10364/5367
1.38/0.94	c cleaning 4338 clauses out of 8683 with flag 22737/11367
1.84/1.30	c cleaning 5667 clauses out of 11345 with flag 37835/18367
2.35/1.82	c cleaning 6836 clauses out of 13678 with flag 56572/26367
2.88/2.38	c cleaning 7918 clauses out of 15841 with flag 76403/35366
3.58/3.08	c cleaning 8962 clauses out of 17924 with flag 99195/45367
4.38/3.87	c cleaning 9978 clauses out of 19962 with flag 124522/56367
5.28/4.78	c cleaning 10988 clauses out of 21983 with flag 150325/68366
6.29/5.70	c cleaning 11997 clauses out of 23995 with flag 177042/81366
7.19/6.67	c cleaning 12998 clauses out of 25999 with flag 206150/95367
8.39/7.86	c cleaning 13996 clauses out of 28001 with flag 238628/110367
9.68/9.15	c cleaning 15001 clauses out of 30005 with flag 271825/126367
11.09/10.53	c cleaning 16002 clauses out of 32005 with flag 306984/143368
12.58/12.00	c cleaning 16998 clauses out of 34002 with flag 344149/161367
14.15/13.58	c cleaning 17998 clauses out of 36003 with flag 383328/180366
15.95/15.36	c cleaning 19004 clauses out of 38007 with flag 424596/200368
17.95/17.38	c cleaning 20001 clauses out of 40001 with flag 468964/221366
20.05/19.43	c cleaning 21001 clauses out of 42001 with flag 514277/243367
22.45/21.80	c cleaning 21997 clauses out of 43999 with flag 561735/266366
24.85/24.21	c cleaning 23003 clauses out of 46005 with flag 611274/290369
27.45/26.80	c cleaning 24000 clauses out of 47999 with flag 662746/315366
29.95/29.32	c cleaning 24998 clauses out of 50000 with flag 716316/341367
32.66/31.91	c cleaning 26000 clauses out of 52001 with flag 771925/368366
35.45/34.73	c cleaning 27002 clauses out of 54003 with flag 829563/396368
38.45/37.79	c cleaning 27994 clauses out of 55999 with flag 889179/425366
41.85/41.12	c cleaning 29003 clauses out of 58006 with flag 951056/455367
45.96/45.26	c cleaning 29994 clauses out of 60002 with flag 1015114/486366
50.27/49.57	c cleaning 31004 clauses out of 62008 with flag 1081029/518366
54.67/53.92	c cleaning 32001 clauses out of 64006 with flag 1149231/551368
59.69/58.83	c cleaning 32998 clauses out of 66003 with flag 1219260/585366
64.09/63.24	c cleaning 33999 clauses out of 68006 with flag 1291311/620367
68.49/67.69	c cleaning 34998 clauses out of 70007 with flag 1365409/656367
72.89/72.05	c cleaning 36002 clauses out of 72009 with flag 1441420/693367
77.79/76.93	c cleaning 37004 clauses out of 74008 with flag 1519674/731368
82.95/81.92	c cleaning 37998 clauses out of 76002 with flag 1600314/770366
88.14/87.16	c cleaning 39001 clauses out of 78005 with flag 1682762/810367
93.94/92.90	c cleaning 39997 clauses out of 80004 with flag 1767276/851367
100.24/99.21	c cleaning 40996 clauses out of 82007 with flag 1853853/893367
106.80/105.63	c cleaning 42002 clauses out of 84010 with flag 1942614/936366
114.39/113.22	c cleaning 43004 clauses out of 86008 with flag 2033357/980366
121.20/120.08	c cleaning 43996 clauses out of 88005 with flag 2126227/1025367
127.70/126.56	c cleaning 45002 clauses out of 90009 with flag 2221265/1071367
135.76/134.42	c cleaning 46001 clauses out of 92008 with flag 2318161/1118368
143.15/141.84	c cleaning 46999 clauses out of 94005 with flag 2417340/1166366
150.77/149.41	c cleaning 48000 clauses out of 96007 with flag 2518523/1215367
159.37/158.07	c cleaning 49000 clauses out of 98007 with flag 2621514/1265367
168.26/166.75	c cleaning 49999 clauses out of 100007 with flag 2726515/1316367
176.16/174.66	c cleaning 51001 clauses out of 102007 with flag 2833511/1368366
185.76/184.24	c cleaning 52001 clauses out of 104008 with flag 2942614/1421368
194.61/192.82	c cleaning 52998 clauses out of 106005 with flag 3054016/1475366
203.71/201.91	c cleaning 54002 clauses out of 108008 with flag 3167263/1530367
214.01/212.25	c cleaning 55003 clauses out of 110005 with flag 3282850/1586366
224.03/222.19	c cleaning 55995 clauses out of 112002 with flag 3400807/1643366
235.73/233.80	c cleaning 56998 clauses out of 114008 with flag 3520267/1701367
248.84/246.73	c cleaning 58001 clauses out of 116010 with flag 3642000/1760367
262.34/260.19	c cleaning 59000 clauses out of 118009 with flag 3766011/1820367
277.94/275.75	c cleaning 60000 clauses out of 120009 with flag 3891823/1881367
293.15/290.80	c cleaning 61002 clauses out of 122008 with flag 4019869/1943366
307.68/305.31	c cleaning 61998 clauses out of 124007 with flag 4149751/2006367
322.76/320.35	c cleaning 63002 clauses out of 126008 with flag 4281835/2070366
337.57/335.14	c cleaning 64002 clauses out of 128006 with flag 4415910/2135366
351.06/348.58	c cleaning 65002 clauses out of 130004 with flag 4551952/2201366
369.16/366.57	c cleaning 65995 clauses out of 132002 with flag 4690305/2268366
388.17/385.53	c cleaning 67000 clauses out of 134008 with flag 4830466/2336367
407.11/404.42	c cleaning 68005 clauses out of 136009 with flag 4972876/2405368
422.69/419.96	c cleaning 69001 clauses out of 138003 with flag 5117079/2475367
438.69/435.94	c cleaning 69999 clauses out of 140002 with flag 5263600/2546367
457.42/454.66	c cleaning 71001 clauses out of 142002 with flag 5412019/2618366
473.02/470.12	c cleaning 71999 clauses out of 144002 with flag 5562856/2691367
487.71/484.80	c cleaning 72993 clauses out of 146002 with flag 5715394/2765366
501.97/499.03	c cleaning 74003 clauses out of 148011 with flag 5870051/2840368
521.88/518.86	c cleaning 74996 clauses out of 150006 with flag 6026705/2916366
538.32/535.11	c cleaning 76003 clauses out of 152012 with flag 6185372/2993368
555.62/552.37	c cleaning 77003 clauses out of 154007 with flag 6346217/3071366
570.89/567.51	c cleaning 77993 clauses out of 156005 with flag 6509595/3150367
586.90/583.52	c cleaning 79004 clauses out of 158012 with flag 6674928/3230367
605.94/602.52	c cleaning 80002 clauses out of 160007 with flag 6842248/3311366
626.68/623.20	c cleaning 80999 clauses out of 162005 with flag 7011531/3393366
649.52/646.04	c cleaning 82004 clauses out of 164007 with flag 7182592/3476367
670.66/667.19	c cleaning 83001 clauses out of 166005 with flag 7356330/3560369
689.99/686.42	c cleaning 83998 clauses out of 168002 with flag 7531967/3645367
714.03/710.42	c cleaning 84998 clauses out of 170003 with flag 7709699/3731366
736.51/732.84	c cleaning 86000 clauses out of 172006 with flag 7889383/3818367
760.20/756.39	c cleaning 87001 clauses out of 174006 with flag 8071097/3906367
780.49/776.52	c cleaning 88002 clauses out of 176005 with flag 8254956/3995367
802.38/798.36	c cleaning 88996 clauses out of 178002 with flag 8441196/4085366
824.86/820.73	c cleaning 90002 clauses out of 180008 with flag 8628736/4176368
850.15/845.91	c cleaning 91002 clauses out of 182007 with flag 8818777/4268369
877.99/873.66	c cleaning 91999 clauses out of 184002 with flag 9010829/4361366
913.47/909.08	c cleaning 92999 clauses out of 186004 with flag 9204878/4455367
946.96/942.48	c cleaning 94001 clauses out of 188005 with flag 9399871/4550367
980.71/976.08	c cleaning 94998 clauses out of 190003 with flag 9597445/4646366
1012.20/1007.40	c cleaning 96003 clauses out of 192005 with flag 9796005/4743366
1037.45/1032.56	c cleaning 96999 clauses out of 194003 with flag 9997859/4841367
1058.85/1053.82	c cleaning 98002 clauses out of 196003 with flag 10201709/4940366
1082.90/1077.73	c cleaning 98999 clauses out of 198002 with flag 10407777/5040367
1107.46/1102.20	c cleaning 99997 clauses out of 200002 with flag 10616203/5141366
1135.81/1130.43	c cleaning 100998 clauses out of 202005 with flag 10826292/5243366
1169.12/1163.61	c cleaning 101997 clauses out of 204008 with flag 11038087/5346367
1206.56/1200.99	c cleaning 103001 clauses out of 206011 with flag 11252224/5450367
1240.62/1234.82	c cleaning 104006 clauses out of 208011 with flag 11468781/5555368
1275.67/1269.75	c cleaning 104999 clauses out of 210003 with flag 11687071/5661366
1307.40/1301.39	c cleaning 105998 clauses out of 212004 with flag 11907710/5768366
1340.13/1333.93	c cleaning 106999 clauses out of 214007 with flag 12130416/5876367
1369.48/1363.17	c cleaning 108001 clauses out of 216008 with flag 12355283/5985367
1400.08/1393.63	c cleaning 108996 clauses out of 218008 with flag 12582611/6095368
1431.87/1425.28	c cleaning 109998 clauses out of 220011 with flag 12811121/6206367
1466.20/1459.46	c cleaning 111000 clauses out of 222012 with flag 13042148/6318366
1502.06/1495.17	c cleaning 112002 clauses out of 224012 with flag 13274535/6431366
1536.51/1529.49	c cleaning 112999 clauses out of 226010 with flag 13509918/6545366
1574.48/1567.20	c cleaning 113998 clauses out of 228011 with flag 13746875/6660366
1614.33/1606.91	c cleaning 115005 clauses out of 230014 with flag 13986041/6776367
1659.08/1651.58	c cleaning 115999 clauses out of 232008 with flag 14226690/6893366
1691.13/1683.49	c Got one! Elapsed wall clock time (in seconds):1683.374
1691.13/1683.49	o -39
1700.13/1692.43	c cleaning 119083 clauses out of 238165 with flag 10341/7015522
1703.06/1695.39	c cleaning 62541 clauses out of 125081 with flag 22675/7021521
1704.96/1697.25	c cleaning 34770 clauses out of 69539 with flag 37100/7028520
1706.06/1698.40	c cleaning 21385 clauses out of 42770 with flag 53583/7036521
1707.06/1699.31	c cleaning 15192 clauses out of 30386 with flag 72162/7045522
1707.76/1700.04	c cleaning 12592 clauses out of 25192 with flag 92742/7055520
1708.57/1700.80	c cleaning 11800 clauses out of 23600 with flag 115354/7066520
1709.37/1701.62	c cleaning 11898 clauses out of 23801 with flag 140060/7078521
1710.27/1702.50	c cleaning 12449 clauses out of 24903 with flag 166700/7091521
1711.18/1703.42	c cleaning 13227 clauses out of 26455 with flag 195539/7105522
1712.18/1704.47	c cleaning 14107 clauses out of 28226 with flag 226419/7120520
1713.32/1705.56	c cleaning 15056 clauses out of 30119 with flag 259223/7136520
1714.72/1707.00	c cleaning 16028 clauses out of 32064 with flag 294158/7153521
1716.54/1708.78	c cleaning 17013 clauses out of 34035 with flag 331082/7171520
1718.35/1710.57	c cleaning 18009 clauses out of 36022 with flag 370154/7190520
1720.56/1712.71	c cleaning 19004 clauses out of 38014 with flag 411371/7210521
1722.86/1715.09	c cleaning 20005 clauses out of 40010 with flag 454603/7231521
1725.17/1717.32	c cleaning 20995 clauses out of 42004 with flag 499938/7253520
1727.89/1720.05	c cleaning 22001 clauses out of 44009 with flag 547279/7276520
1730.89/1723.02	c cleaning 23003 clauses out of 46008 with flag 596598/7300520
1733.92/1726.01	c cleaning 23999 clauses out of 48005 with flag 647904/7325520
1737.44/1729.51	c cleaning 25002 clauses out of 50006 with flag 701497/7351520
1740.86/1732.97	c cleaning 26002 clauses out of 52005 with flag 757102/7378521
1744.19/1736.24	c cleaning 26999 clauses out of 54002 with flag 814652/7406520
1747.68/1739.70	c cleaning 28000 clauses out of 56003 with flag 874307/7435520
1751.43/1743.46	c cleaning 28997 clauses out of 58003 with flag 935951/7465520
1754.24/1746.21	c Got one! Elapsed wall clock time (in seconds):1746.1
1754.24/1746.21	o -40
1755.44/1747.47	c cleaning 29766 clauses out of 59532 with flag 10441/7496046
1756.14/1748.15	c cleaning 17883 clauses out of 35766 with flag 22832/7502046
1756.68/1748.67	c cleaning 12437 clauses out of 24883 with flag 37325/7509046
1757.28/1749.20	c cleaning 10221 clauses out of 20447 with flag 54393/7517047
1757.77/1749.72	c cleaning 9613 clauses out of 19225 with flag 73059/7526046
1758.07/1750.08	c Got one! Elapsed wall clock time (in seconds):1749.965
1758.07/1750.08	o -41
1758.50/1750.49	c cleaning 10830 clauses out of 21672 with flag 10628/7538106
1758.90/1750.85	c cleaning 8414 clauses out of 16842 with flag 23208/7544106
1759.20/1751.20	c cleaning 7709 clauses out of 15428 with flag 38130/7551106
1759.70/1751.60	c cleaning 7855 clauses out of 15720 with flag 54738/7559107
1760.10/1752.07	c cleaning 8426 clauses out of 16864 with flag 73414/7568106
1760.72/1752.66	c cleaning 9217 clauses out of 18438 with flag 94033/7578106
1761.32/1753.29	c cleaning 10107 clauses out of 20222 with flag 116676/7589107
1762.15/1754.04	c cleaning 11057 clauses out of 22114 with flag 141469/7601106
1762.95/1754.80	c cleaning 12023 clauses out of 24058 with flag 168345/7614107
1763.45/1755.39	c Got one! Elapsed wall clock time (in seconds):1755.282
1763.45/1755.39	o -42
1763.95/1755.87	c cleaning 13388 clauses out of 26775 with flag 11034/7628847
1764.46/1756.30	c cleaning 9693 clauses out of 19387 with flag 24590/7634847
1764.76/1756.69	c cleaning 8347 clauses out of 16696 with flag 39816/7641849
1765.26/1757.10	c cleaning 8169 clauses out of 16347 with flag 56457/7649847
1765.66/1757.59	c cleaning 8589 clauses out of 17178 with flag 75011/7658847
1766.27/1758.10	c cleaning 9294 clauses out of 18590 with flag 95608/7668848
1766.77/1758.69	c cleaning 10144 clauses out of 20296 with flag 118240/7679848
1767.47/1759.38	c cleaning 11075 clauses out of 22152 with flag 143106/7691848
1768.29/1760.16	c cleaning 12039 clauses out of 24079 with flag 170048/7704850
1769.18/1761.06	c cleaning 13018 clauses out of 26038 with flag 198905/7718848
1770.21/1762.03	c cleaning 14004 clauses out of 28020 with flag 230108/7733848
1771.31/1763.11	c cleaning 15007 clauses out of 30016 with flag 263284/7749848
1772.43/1764.25	c cleaning 15999 clauses out of 32008 with flag 298893/7766847
1773.63/1765.48	c cleaning 17002 clauses out of 34009 with flag 336076/7784847
1774.54/1766.38	c Got one! Elapsed wall clock time (in seconds):1766.266
1774.54/1766.38	o -43
1775.26/1767.07	c cleaning 17862 clauses out of 35727 with flag 10373/7803567
1775.76/1767.54	c cleaning 11926 clauses out of 23864 with flag 22774/7809566
1776.16/1767.99	c cleaning 9464 clauses out of 18938 with flag 37227/7816566
1776.69/1768.46	c cleaning 8734 clauses out of 17474 with flag 53664/7824566
1777.19/1768.96	c cleaning 8864 clauses out of 17740 with flag 72204/7833566
1777.79/1769.52	c cleaning 9437 clauses out of 18877 with flag 92779/7843567
1778.51/1770.20	c cleaning 10215 clauses out of 20439 with flag 115418/7854566
1779.21/1770.93	c cleaning 11111 clauses out of 22228 with flag 140073/7866570
1780.02/1771.78	c cleaning 12055 clauses out of 24113 with flag 166817/7879566
1780.92/1772.69	c cleaning 13026 clauses out of 26058 with flag 195567/7893566
1781.94/1773.66	c cleaning 14014 clauses out of 28034 with flag 226411/7908568
1783.24/1774.93	c cleaning 15010 clauses out of 30019 with flag 261119/7924567
1784.55/1776.22	c cleaning 15999 clauses out of 32008 with flag 296098/7941566
1785.05/1776.79	c Got one! Elapsed wall clock time (in seconds):1776.682
1785.05/1776.79	o -44
1785.64/1777.26	c cleaning 15363 clauses out of 30728 with flag 10442/7956285
1786.04/1777.62	c cleaning 10679 clauses out of 21363 with flag 22850/7962283
1786.37/1777.99	c cleaning 8843 clauses out of 17685 with flag 37249/7969284
1786.77/1778.39	c cleaning 8417 clauses out of 16841 with flag 53756/7977283
1787.27/1778.85	c cleaning 8709 clauses out of 17426 with flag 72333/7986285
1787.79/1779.36	c cleaning 9353 clauses out of 18716 with flag 92956/7996284
1788.41/1779.99	c cleaning 10181 clauses out of 20364 with flag 115595/8007285
1789.10/1780.67	c cleaning 11090 clauses out of 22183 with flag 140299/8019285
1790.02/1781.52	c cleaning 12044 clauses out of 24092 with flag 167034/8032284
1790.82/1782.38	c cleaning 13023 clauses out of 26048 with flag 195814/8046284
1791.74/1783.28	c cleaning 14011 clauses out of 28026 with flag 226685/8061285
1792.84/1784.38	c cleaning 15006 clauses out of 30014 with flag 259556/8077284
1794.06/1785.54	c cleaning 15998 clauses out of 32007 with flag 294399/8094283
1795.48/1786.96	c cleaning 17001 clauses out of 34009 with flag 331317/8112283
1796.88/1788.32	c cleaning 18005 clauses out of 36009 with flag 370342/8131284
1798.19/1789.67	c cleaning 19002 clauses out of 38003 with flag 411489/8151283
1799.92/1791.39	c cleaning 20001 clauses out of 40003 with flag 454720/8172285
1800.02/1791.40	c starts		: 832
1800.02/1791.40	c conflicts		: 8172577
1800.02/1791.40	c decisions		: 8863407
1800.02/1791.40	c propagations		: 45245160
1800.02/1791.40	c inspects		: 29695218041
1800.02/1791.40	c shortcuts		: 0
1800.02/1791.40	c learnt literals	: 0
1800.02/1791.40	c learnt binary clauses	: 0
1800.02/1791.40	c learnt ternary clauses	: 0
1800.02/1791.40	c learnt constraints	: 8172577
1800.02/1791.40	c ignored constraints	: 0
1800.02/1791.40	c root simplifications	: 0
1800.02/1791.40	c removed literals (reason simplification)	: 0
1800.02/1791.40	c reason swapping (by a shorter reason)	: 0
1800.02/1791.40	c Calls to reduceDB	: 197
1800.02/1791.40	c Number of update (reduction) of LBD	: 126859
1800.02/1791.40	c Imported unit clauses	: 0
1800.02/1791.40	c number of reductions to clauses (during analyze)	: 0
1800.02/1791.40	c number of learned constraints concerned by reduction	: 0
1800.02/1791.40	c number of learning phase by resolution	: 0
1800.02/1791.40	c number of learning phase by cutting planes	: 0
1800.02/1791.40	c speed (assignments/second)	: 25260.791838858546
1800.02/1791.40	c non guided choices	0
1800.02/1791.41	c learnt constraints type 
1800.02/1791.41	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 20294
1800.02/1791.41	s SATISFIABLE
1800.02/1791.41	c Found 8 solution(s)
1800.02/1791.41	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 
1800.02/1791.42	c objective function=-44
1800.02/1791.42	c Total wall clock time (in seconds): 1791.303

Verifier Data 

OK	-44

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-4106669-1466273246/watcher-4106669-1466273246 -o /tmp/evaluation-result-4106669-1466273246/solver-4106669-1466273246 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466241309-16342 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106669-1466273246.opb 

pid=24167
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.10 2.11 2.03 3/194 24170
/proc/meminfo: memFree=30995764/32872528 swapFree=534252/566956
[pid=24170] ppid=24167 vsize=3568 CPUtime=0 cores=1,3,5,7
/proc/24170/stat : 24170 (java) R 24167 24170 16325 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 29370263 3653632 49 33554432000 1073741824 1073778376 140737047029168 140737047026296 206619897127 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24170/statm: 892 49 38 9 0 30 0

[startup+0.100159 s]
/proc/loadavg: 2.10 2.11 2.03 3/194 24170
/proc/meminfo: memFree=30995764/32872528 swapFree=534252/566956
[pid=24170] ppid=24167 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/24170/stat : 24170 (java) S 24167 24170 16325 0 -1 4202496 4403 0 1 0 8 1 0 0 20 0 18 0 29370263 9787879424 6037 33554432000 1073741824 1073778376 140737047029168 140737047020304 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24170/statm: 2389619 6037 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200228 s]
/proc/loadavg: 2.10 2.11 2.03 3/194 24170
/proc/meminfo: memFree=30995764/32872528 swapFree=534252/566956
[pid=24170] ppid=24167 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/24170/stat : 24170 (java) S 24167 24170 16325 0 -1 4202496 4691 0 1 0 21 2 0 0 20 0 18 0 29370263 9787879424 6788 33554432000 1073741824 1073778376 140737047029168 140737047020304 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24170/statm: 2389619 6788 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300215 s]
/proc/loadavg: 2.10 2.11 2.03 3/194 24170
/proc/meminfo: memFree=30995764/32872528 swapFree=534252/566956
[pid=24170] ppid=24167 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/24170/stat : 24170 (java) S 24167 24170 16325 0 -1 4202496 5641 0 1 0 43 2 0 0 20 0 19 0 29370263 9856040960 8381 33554432000 1073741824 1073778376 140737047029168 140737047020304 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24170/statm: 2406260 8381 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9625040

[startup+0.700273 s]
/proc/loadavg: 2.10 2.11 2.03 3/194 24170
/proc/meminfo: memFree=30995764/32872528 swapFree=534252/566956
[pid=24170] ppid=24167 vsize=9625040 CPUtime=1.1 cores=1,3,5,7
/proc/24170/stat : 24170 (java) S 24167 24170 16325 0 -1 4202496 6552 0 1 0 108 2 0 0 20 0 19 0 29370263 9856040960 9921 33554432000 1073741824 1073778376 140737047029168 140737047020304 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24170/statm: 2406260 9921 2265 9 0 2396937 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 9625040

[startup+1.50084 s]
/proc/loadavg: 2.10 2.11 2.03 3/213 24189
/proc/meminfo: memFree=30953584/32872528 swapFree=534252/566956
[pid=24170] ppid=24167 vsize=9625040 CPUtime=2.05 cores=1,3,5,7
/proc/24170/stat : 24170 (java) S 24167 24170 16325 0 -1 4202496 9040 0 1 0 202 3 0 0 20 0 19 0 29370263 9856040960 13659 33554432000 1073741824 1073778376 140737047029168 140737047020304 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24170/statm: 2406260 13659 2269 9 0 2396937 0
[pid=24170/tid=24172] ppid=24167 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/24170/task/24172/stat : 24172 (java) R 24167 24170 16325 0 -1 4202560 2419 0 1 0 144 2 0 0 20 0 19 0 29370264 9856040960 13659 33554432000 1073741824 1073778376 140737047029168 140423908454888 140423771452577 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24173] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24173/stat : 24173 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 13659 33554432000 1073741824 1073778376 140737047029168 140423897516840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24174] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24174/stat : 24174 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 13659 33554432000 1073741824 1073778376 140737047029168 140423896464040 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24175] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24175/stat : 24175 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 13659 33554432000 1073741824 1073778376 140737047029168 140423895411752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24176] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24176/stat : 24176 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 13659 33554432000 1073741824 1073778376 140737047029168 140423894358952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24177] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24177/stat : 24177 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 13659 33554432000 1073741824 1073778376 140737047029168 140423893305640 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24178] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24178/stat : 24178 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 13659 33554432000 1073741824 1073778376 140737047029168 140423892252840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24179] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24179/stat : 24179 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 13659 33554432000 1073741824 1073778376 140737047029168 140423891200552 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24180] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24180/stat : 24180 (java) S 24167 24170 16325 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 13659 33554432000 1073741824 1073778376 140737047029168 140423890147752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24181] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24181/stat : 24181 (java) S 24167 24170 16325 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29370266 9856040960 13659 33554432000 1073741824 1073778376 140737047029168 140423732472552 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24182] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24182/stat : 24182 (java) S 24167 24170 16325 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29370266 9856040960 13659 33554432000 1073741824 1073778376 140737047029168 140423731418616 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24183] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24183/stat : 24183 (java) S 24167 24170 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29370266 9856040960 13659 33554432000 1073741824 1073778376 140737047029168 140423730366216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24184] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24184/stat : 24184 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370269 9856040960 13659 33554432000 1073741824 1073778376 140737047029168 140423729314704 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24185] ppid=24167 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/24170/task/24185/stat : 24185 (java) S 24167 24170 16325 0 -1 4202560 2535 0 0 0 24 0 0 0 20 0 19 0 29370269 9856040960 13659 33554432000 1073741824 1073778376 140737047029168 140423728261304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24186] ppid=24167 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/24170/task/24186/stat : 24186 (java) S 24167 24170 16325 0 -1 4202560 2810 0 0 0 31 0 0 0 20 0 19 0 29370269 9856040960 13659 33554432000 1073741824 1073778376 140737047029168 140423727208504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24187] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24187/stat : 24187 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370269 9856040960 13659 33554432000 1073741824 1073778376 140737047029168 140423726156408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24188] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24188/stat : 24188 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370269 9856040960 13659 33554432000 1073741824 1073778376 140737047029168 140423725103816 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24189] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24189/stat : 24189 (java) S 24167 24170 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29370291 9856040960 13659 33554432000 1073741824 1073778376 140737047029168 140423724049832 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 9625040

[startup+3.10085 s]
/proc/loadavg: 2.17 2.12 2.03 3/213 24189
/proc/meminfo: memFree=30941172/32872528 swapFree=534252/566956
[pid=24170] ppid=24167 vsize=9625040 CPUtime=3.68 cores=1,3,5,7
/proc/24170/stat : 24170 (java) S 24167 24170 16325 0 -1 4202496 9073 0 1 0 365 3 0 0 20 0 19 0 29370263 9856040960 17779 33554432000 1073741824 1073778376 140737047029168 140737047020304 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24170/statm: 2406260 17779 2269 9 0 2396937 0
[pid=24170/tid=24172] ppid=24167 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/24170/task/24172/stat : 24172 (java) R 24167 24170 16325 0 -1 4202560 2428 0 1 0 304 2 0 0 20 0 19 0 29370264 9856040960 17779 33554432000 1073741824 1073778376 140737047029168 140423908452784 140423771815751 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24173] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24173/stat : 24173 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 17779 33554432000 1073741824 1073778376 140737047029168 140423897516840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24174] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24174/stat : 24174 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 17779 33554432000 1073741824 1073778376 140737047029168 140423896464040 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24175] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24175/stat : 24175 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 17779 33554432000 1073741824 1073778376 140737047029168 140423895411752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24176] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24176/stat : 24176 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 17779 33554432000 1073741824 1073778376 140737047029168 140423894358952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24177] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24177/stat : 24177 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 17779 33554432000 1073741824 1073778376 140737047029168 140423893305640 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24178] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24178/stat : 24178 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 17779 33554432000 1073741824 1073778376 140737047029168 140423892252840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24179] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24179/stat : 24179 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 17779 33554432000 1073741824 1073778376 140737047029168 140423891200552 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24180] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24180/stat : 24180 (java) S 24167 24170 16325 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 17779 33554432000 1073741824 1073778376 140737047029168 140423890147752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24181] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24181/stat : 24181 (java) S 24167 24170 16325 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29370266 9856040960 17779 33554432000 1073741824 1073778376 140737047029168 140423732472552 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24182] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24182/stat : 24182 (java) S 24167 24170 16325 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29370266 9856040960 17779 33554432000 1073741824 1073778376 140737047029168 140423731418616 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24183] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24183/stat : 24183 (java) S 24167 24170 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29370266 9856040960 17779 33554432000 1073741824 1073778376 140737047029168 140423730366216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24184] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24184/stat : 24184 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370269 9856040960 17779 33554432000 1073741824 1073778376 140737047029168 140423729314704 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24185] ppid=24167 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/24170/task/24185/stat : 24185 (java) S 24167 24170 16325 0 -1 4202560 2559 0 0 0 28 0 0 0 20 0 19 0 29370269 9856040960 17779 33554432000 1073741824 1073778376 140737047029168 140423728261304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24186] ppid=24167 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/24170/task/24186/stat : 24186 (java) S 24167 24170 16325 0 -1 4202560 2810 0 0 0 31 0 0 0 20 0 19 0 29370269 9856040960 17779 33554432000 1073741824 1073778376 140737047029168 140423727208504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24187] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24187/stat : 24187 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370269 9856040960 17779 33554432000 1073741824 1073778376 140737047029168 140423726156408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24188] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24188/stat : 24188 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370269 9856040960 17779 33554432000 1073741824 1073778376 140737047029168 140423725103816 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24189] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24189/stat : 24189 (java) S 24167 24170 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29370291 9856040960 17779 33554432000 1073741824 1073778376 140737047029168 140423724049832 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 9625040

[startup+6.30086 s]
/proc/loadavg: 2.17 2.12 2.03 3/213 24189
/proc/meminfo: memFree=30910120/32872528 swapFree=534252/566956
[pid=24170] ppid=24167 vsize=9625040 CPUtime=6.89 cores=1,3,5,7
/proc/24170/stat : 24170 (java) S 24167 24170 16325 0 -1 4202496 9090 0 1 0 685 4 0 0 20 0 19 0 29370263 9856040960 25428 33554432000 1073741824 1073778376 140737047029168 140737047020304 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24170/statm: 2406260 25428 2270 9 0 2396937 0
[pid=24170/tid=24172] ppid=24167 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/24170/task/24172/stat : 24172 (java) R 24167 24170 16325 0 -1 4202560 2444 0 1 0 624 2 0 0 20 0 19 0 29370264 9856040960 25428 33554432000 1073741824 1073778376 140737047029168 140423908445872 140423771691392 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24173] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24173/stat : 24173 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 25428 33554432000 1073741824 1073778376 140737047029168 140423897516840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24174] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24174/stat : 24174 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 25428 33554432000 1073741824 1073778376 140737047029168 140423896464040 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24175] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24175/stat : 24175 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 25428 33554432000 1073741824 1073778376 140737047029168 140423895411752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24176] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24176/stat : 24176 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 25428 33554432000 1073741824 1073778376 140737047029168 140423894358952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24177] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24177/stat : 24177 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 25428 33554432000 1073741824 1073778376 140737047029168 140423893305640 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24178] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24178/stat : 24178 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 25428 33554432000 1073741824 1073778376 140737047029168 140423892252840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24179] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24179/stat : 24179 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 25428 33554432000 1073741824 1073778376 140737047029168 140423891200552 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24180] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24180/stat : 24180 (java) S 24167 24170 16325 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29370265 9856040960 25428 33554432000 1073741824 1073778376 140737047029168 140423890147752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24181] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24181/stat : 24181 (java) S 24167 24170 16325 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29370266 9856040960 25428 33554432000 1073741824 1073778376 140737047029168 140423732472552 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24182] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24182/stat : 24182 (java) S 24167 24170 16325 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29370266 9856040960 25428 33554432000 1073741824 1073778376 140737047029168 140423731418616 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24183] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24183/stat : 24183 (java) S 24167 24170 16325 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29370266 9856040960 25428 33554432000 1073741824 1073778376 140737047029168 140423730366216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24184] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24184/stat : 24184 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370269 9856040960 25428 33554432000 1073741824 1073778376 140737047029168 140423729314704 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24185] ppid=24167 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/24170/task/24185/stat : 24185 (java) S 24167 24170 16325 0 -1 4202560 2559 0 0 0 28 0 0 0 20 0 19 0 29370269 9856040960 25428 33554432000 1073741824 1073778376 140737047029168 140423728261304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24186] ppid=24167 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/24170/task/24186/stat : 24186 (java) S 24167 24170 16325 0 -1 4202560 2810 0 0 0 31 0 0 0 20 0 19 0 29370269 9856040960 25428 33554432000 1073741824 1073778376 140737047029168 140423727208504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24187] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24187/stat : 24187 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370269 9856040960 25428 33554432000 1073741824 1073778376 140737047029168 140423726156408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24188] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24188/stat : 24188 (java) S 24167 24170 16325 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29370269 9856040960 25428 33554432000 1073741824 1073778376 140737047029168 140423725103816 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24189] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24189/stat : 24189 (java) S 24167 24170 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29370291 9856040960 25428 33554432000 1073741824 1073778376 140737047029168 140423724049832 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 9625040


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

[pid=24170/tid=24182] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24182/stat : 24182 (java) S 24167 24170 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29370266 9856040960 98923 33554432000 1073741824 1073778376 140737047029168 140423731418616 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24183] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24183/stat : 24183 (java) S 24167 24170 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29370266 9856040960 98923 33554432000 1073741824 1073778376 140737047029168 140423730366216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24184] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24184/stat : 24184 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370269 9856040960 98923 33554432000 1073741824 1073778376 140737047029168 140423729314704 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24185] ppid=24167 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/24170/task/24185/stat : 24185 (java) S 24167 24170 16325 0 -1 4202560 2594 0 0 0 30 0 0 0 20 0 19 0 29370269 9856040960 98923 33554432000 1073741824 1073778376 140737047029168 140423728261304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24186] ppid=24167 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/24170/task/24186/stat : 24186 (java) S 24167 24170 16325 0 -1 4202560 2810 0 0 0 31 0 0 0 20 0 19 0 29370269 9856040960 98923 33554432000 1073741824 1073778376 140737047029168 140423727208504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24187] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24187/stat : 24187 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370269 9856040960 98923 33554432000 1073741824 1073778376 140737047029168 140423726156408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24188] ppid=24167 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/24170/task/24188/stat : 24188 (java) S 24167 24170 16325 0 -1 4202560 96 0 0 0 29 38 0 0 20 0 19 0 29370269 9856040960 98923 33554432000 1073741824 1073778376 140737047029168 140423725103816 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24189] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24189/stat : 24189 (java) S 24167 24170 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29370291 9856040960 98923 33554432000 1073741824 1073778376 140737047029168 140423724049832 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1669.89
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/213 24297
/proc/meminfo: memFree=30024292/32872528 swapFree=534252/566956
[pid=24170] ppid=24167 vsize=9625040 CPUtime=1730.19 cores=1,3,5,7
/proc/24170/stat : 24170 (java) S 24167 24170 16325 0 -1 4202496 13455 0 1 0 172906 113 0 0 20 0 19 0 29370263 9856040960 95761 33554432000 1073741824 1073778376 140737047029168 140737047020304 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24170/statm: 2406260 95761 2292 9 0 2396937 0
[pid=24170/tid=24172] ppid=24167 vsize=9625040 CPUtime=1718.18 cores=1,3,5,7
/proc/24170/task/24172/stat : 24172 (java) R 24167 24170 16325 0 -1 4202560 2574 0 1 0 171787 31 0 0 20 0 19 0 29370264 9856040960 95761 33554432000 1073741824 1073778376 140737047029168 140423908445872 140423771815584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24173] ppid=24167 vsize=9625040 CPUtime=1.08 cores=1,3,5,7
/proc/24170/task/24173/stat : 24173 (java) S 24167 24170 16325 0 -1 4202560 372 0 0 0 103 5 0 0 20 0 19 0 29370265 9856040960 95761 33554432000 1073741824 1073778376 140737047029168 140423897516840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24174] ppid=24167 vsize=9625040 CPUtime=1.19 cores=1,3,5,7
/proc/24170/task/24174/stat : 24174 (java) S 24167 24170 16325 0 -1 4202560 656 0 0 0 109 10 0 0 20 0 19 0 29370265 9856040960 95761 33554432000 1073741824 1073778376 140737047029168 140423896464040 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24175] ppid=24167 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/24170/task/24175/stat : 24175 (java) S 24167 24170 16325 0 -1 4202560 576 0 0 0 121 8 0 0 20 0 19 0 29370265 9856040960 95761 33554432000 1073741824 1073778376 140737047029168 140423895411752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24176] ppid=24167 vsize=9625040 CPUtime=1.17 cores=1,3,5,7
/proc/24170/task/24176/stat : 24176 (java) S 24167 24170 16325 0 -1 4202560 276 0 0 0 108 9 0 0 20 0 19 0 29370265 9856040960 95761 33554432000 1073741824 1073778376 140737047029168 140423894358952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24177] ppid=24167 vsize=9625040 CPUtime=1.31 cores=1,3,5,7
/proc/24170/task/24177/stat : 24177 (java) S 24167 24170 16325 0 -1 4202560 551 0 0 0 120 11 0 0 20 0 19 0 29370265 9856040960 95761 33554432000 1073741824 1073778376 140737047029168 140423893305640 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24178] ppid=24167 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/24170/task/24178/stat : 24178 (java) S 24167 24170 16325 0 -1 4202560 614 0 0 0 105 9 0 0 20 0 19 0 29370265 9856040960 95761 33554432000 1073741824 1073778376 140737047029168 140423892252840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24179] ppid=24167 vsize=9625040 CPUtime=1.1 cores=1,3,5,7
/proc/24170/task/24179/stat : 24179 (java) S 24167 24170 16325 0 -1 4202560 198 0 0 0 103 7 0 0 20 0 19 0 29370265 9856040960 95761 33554432000 1073741824 1073778376 140737047029168 140423891200552 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24180] ppid=24167 vsize=9625040 CPUtime=1.2 cores=1,3,5,7
/proc/24170/task/24180/stat : 24180 (java) S 24167 24170 16325 0 -1 4202560 507 0 0 0 111 9 0 0 20 0 19 0 29370265 9856040960 95761 33554432000 1073741824 1073778376 140737047029168 140423890147752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24181] ppid=24167 vsize=9625040 CPUtime=1.39 cores=1,3,5,7
/proc/24170/task/24181/stat : 24181 (java) S 24167 24170 16325 0 -1 4202560 365 0 0 0 135 4 0 0 20 0 19 0 29370266 9856040960 95761 33554432000 1073741824 1073778376 140737047029168 140423732472552 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24182] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24182/stat : 24182 (java) S 24167 24170 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29370266 9856040960 95761 33554432000 1073741824 1073778376 140737047029168 140423731418616 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24183] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24183/stat : 24183 (java) S 24167 24170 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29370266 9856040960 95761 33554432000 1073741824 1073778376 140737047029168 140423730366216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24184] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24184/stat : 24184 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370269 9856040960 95761 33554432000 1073741824 1073778376 140737047029168 140423729314704 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24185] ppid=24167 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/24170/task/24185/stat : 24185 (java) S 24167 24170 16325 0 -1 4202560 2594 0 0 0 30 0 0 0 20 0 19 0 29370269 9856040960 95761 33554432000 1073741824 1073778376 140737047029168 140423728261304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24186] ppid=24167 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/24170/task/24186/stat : 24186 (java) S 24167 24170 16325 0 -1 4202560 2810 0 0 0 31 0 0 0 20 0 19 0 29370269 9856040960 95761 33554432000 1073741824 1073778376 140737047029168 140423727208504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24187] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24187/stat : 24187 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370269 9856040960 95761 33554432000 1073741824 1073778376 140737047029168 140423726156408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24188] ppid=24167 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/24170/task/24188/stat : 24188 (java) S 24167 24170 16325 0 -1 4202560 100 0 0 0 30 39 0 0 20 0 19 0 29370269 9856040960 95761 33554432000 1073741824 1073778376 140737047029168 140423725103816 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24189] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24189/stat : 24189 (java) S 24167 24170 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29370291 9856040960 95761 33554432000 1073741824 1073778376 140737047029168 140423724049832 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1730.19
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/213 24299
/proc/meminfo: memFree=30105996/32872528 swapFree=534252/566956
[pid=24170] ppid=24167 vsize=9625040 CPUtime=1790.82 cores=1,3,5,7
/proc/24170/stat : 24170 (java) S 24167 24170 16325 0 -1 4202496 14265 0 1 0 178967 115 0 0 20 0 19 0 29370263 9856040960 84260 33554432000 1073741824 1073778376 140737047029168 140737047020304 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24170/statm: 2406260 84260 2292 9 0 2396937 0
[pid=24170/tid=24172] ppid=24167 vsize=9625040 CPUtime=1777.92 cores=1,3,5,7
/proc/24170/task/24172/stat : 24172 (java) R 24167 24170 16325 0 -1 4202560 2598 0 1 0 177760 32 0 0 20 0 19 0 29370264 9856040960 84260 33554432000 1073741824 1073778376 140737047029168 140423908445872 140423771762821 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24173] ppid=24167 vsize=9625040 CPUtime=1.17 cores=1,3,5,7
/proc/24170/task/24173/stat : 24173 (java) S 24167 24170 16325 0 -1 4202560 372 0 0 0 112 5 0 0 20 0 19 0 29370265 9856040960 84260 33554432000 1073741824 1073778376 140737047029168 140423897516840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24174] ppid=24167 vsize=9625040 CPUtime=1.3 cores=1,3,5,7
/proc/24170/task/24174/stat : 24174 (java) S 24167 24170 16325 0 -1 4202560 656 0 0 0 120 10 0 0 20 0 19 0 29370265 9856040960 84260 33554432000 1073741824 1073778376 140737047029168 140423896464040 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24175] ppid=24167 vsize=9625040 CPUtime=1.4 cores=1,3,5,7
/proc/24170/task/24175/stat : 24175 (java) S 24167 24170 16325 0 -1 4202560 576 0 0 0 131 9 0 0 20 0 19 0 29370265 9856040960 84260 33554432000 1073741824 1073778376 140737047029168 140423895411752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24176] ppid=24167 vsize=9625040 CPUtime=1.27 cores=1,3,5,7
/proc/24170/task/24176/stat : 24176 (java) S 24167 24170 16325 0 -1 4202560 276 0 0 0 118 9 0 0 20 0 19 0 29370265 9856040960 84260 33554432000 1073741824 1073778376 140737047029168 140423894358952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24177] ppid=24167 vsize=9625040 CPUtime=1.4 cores=1,3,5,7
/proc/24170/task/24177/stat : 24177 (java) S 24167 24170 16325 0 -1 4202560 551 0 0 0 129 11 0 0 20 0 19 0 29370265 9856040960 84260 33554432000 1073741824 1073778376 140737047029168 140423893305640 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24178] ppid=24167 vsize=9625040 CPUtime=1.25 cores=1,3,5,7
/proc/24170/task/24178/stat : 24178 (java) S 24167 24170 16325 0 -1 4202560 614 0 0 0 116 9 0 0 20 0 19 0 29370265 9856040960 84260 33554432000 1073741824 1073778376 140737047029168 140423892252840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24179] ppid=24167 vsize=9625040 CPUtime=1.2 cores=1,3,5,7
/proc/24170/task/24179/stat : 24179 (java) S 24167 24170 16325 0 -1 4202560 198 0 0 0 113 7 0 0 20 0 19 0 29370265 9856040960 84260 33554432000 1073741824 1073778376 140737047029168 140423891200552 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24180] ppid=24167 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/24170/task/24180/stat : 24180 (java) S 24167 24170 16325 0 -1 4202560 507 0 0 0 120 9 0 0 20 0 19 0 29370265 9856040960 84260 33554432000 1073741824 1073778376 140737047029168 140423890147752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24181] ppid=24167 vsize=9625040 CPUtime=1.39 cores=1,3,5,7
/proc/24170/task/24181/stat : 24181 (java) S 24167 24170 16325 0 -1 4202560 369 0 0 0 135 4 0 0 20 0 19 0 29370266 9856040960 84260 33554432000 1073741824 1073778376 140737047029168 140423732472552 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24182] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24182/stat : 24182 (java) S 24167 24170 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29370266 9856040960 84260 33554432000 1073741824 1073778376 140737047029168 140423731418616 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24183] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24183/stat : 24183 (java) S 24167 24170 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29370266 9856040960 84260 33554432000 1073741824 1073778376 140737047029168 140423730366216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24184] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24184/stat : 24184 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370269 9856040960 84260 33554432000 1073741824 1073778376 140737047029168 140423729314704 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24185] ppid=24167 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/24170/task/24185/stat : 24185 (java) S 24167 24170 16325 0 -1 4202560 2665 0 0 0 33 0 0 0 20 0 19 0 29370269 9856040960 84260 33554432000 1073741824 1073778376 140737047029168 140423728261304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24186] ppid=24167 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/24170/task/24186/stat : 24186 (java) S 24167 24170 16325 0 -1 4202560 3517 0 0 0 37 0 0 0 20 0 19 0 29370269 9856040960 84260 33554432000 1073741824 1073778376 140737047029168 140423727208504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24187] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24187/stat : 24187 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370269 9856040960 84260 33554432000 1073741824 1073778376 140737047029168 140423726156408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24188] ppid=24167 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/24170/task/24188/stat : 24188 (java) S 24167 24170 16325 0 -1 4202560 104 0 0 0 31 40 0 0 20 0 19 0 29370269 9856040960 84260 33554432000 1073741824 1073778376 140737047029168 140423725103816 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24189] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24189/stat : 24189 (java) S 24167 24170 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29370291 9856040960 84260 33554432000 1073741824 1073778376 140737047029168 140423724049832 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1790.82
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.4 s]
/proc/loadavg: 2.02 2.04 2.00 3/213 24299
/proc/meminfo: memFree=30115424/32872528 swapFree=534252/566956
[pid=24170] ppid=24167 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/24170/stat : 24170 (java) S 24167 24170 16325 0 -1 4202496 14272 0 1 0 179887 115 0 0 20 0 19 0 29370263 9856040960 83299 33554432000 1073741824 1073778376 140737047029168 140737047020304 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24170/statm: 2406260 83299 2292 9 0 2396937 0
[pid=24170/tid=24172] ppid=24167 vsize=9625040 CPUtime=1786.98 cores=1,3,5,7
/proc/24170/task/24172/stat : 24172 (java) R 24167 24170 16325 0 -1 4202560 2603 0 1 0 178666 32 0 0 20 0 19 0 29370264 9856040960 83299 33554432000 1073741824 1073778376 140737047029168 140423908453584 140423771815788 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24173] ppid=24167 vsize=9625040 CPUtime=1.18 cores=1,3,5,7
/proc/24170/task/24173/stat : 24173 (java) S 24167 24170 16325 0 -1 4202560 372 0 0 0 113 5 0 0 20 0 19 0 29370265 9856040960 83299 33554432000 1073741824 1073778376 140737047029168 140423897516840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24174] ppid=24167 vsize=9625040 CPUtime=1.31 cores=1,3,5,7
/proc/24170/task/24174/stat : 24174 (java) S 24167 24170 16325 0 -1 4202560 656 0 0 0 121 10 0 0 20 0 19 0 29370265 9856040960 83299 33554432000 1073741824 1073778376 140737047029168 140423896464040 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24175] ppid=24167 vsize=9625040 CPUtime=1.42 cores=1,3,5,7
/proc/24170/task/24175/stat : 24175 (java) S 24167 24170 16325 0 -1 4202560 576 0 0 0 133 9 0 0 20 0 19 0 29370265 9856040960 83299 33554432000 1073741824 1073778376 140737047029168 140423895411752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24176] ppid=24167 vsize=9625040 CPUtime=1.29 cores=1,3,5,7
/proc/24170/task/24176/stat : 24176 (java) S 24167 24170 16325 0 -1 4202560 276 0 0 0 120 9 0 0 20 0 19 0 29370265 9856040960 83299 33554432000 1073741824 1073778376 140737047029168 140423894358952 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24177] ppid=24167 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/24170/task/24177/stat : 24177 (java) S 24167 24170 16325 0 -1 4202560 551 0 0 0 130 11 0 0 20 0 19 0 29370265 9856040960 83299 33554432000 1073741824 1073778376 140737047029168 140423893305640 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24178] ppid=24167 vsize=9625040 CPUtime=1.27 cores=1,3,5,7
/proc/24170/task/24178/stat : 24178 (java) S 24167 24170 16325 0 -1 4202560 614 0 0 0 118 9 0 0 20 0 19 0 29370265 9856040960 83299 33554432000 1073741824 1073778376 140737047029168 140423892252840 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24179] ppid=24167 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/24170/task/24179/stat : 24179 (java) S 24167 24170 16325 0 -1 4202560 198 0 0 0 114 7 0 0 20 0 19 0 29370265 9856040960 83299 33554432000 1073741824 1073778376 140737047029168 140423891200552 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24180] ppid=24167 vsize=9625040 CPUtime=1.31 cores=1,3,5,7
/proc/24170/task/24180/stat : 24180 (java) S 24167 24170 16325 0 -1 4202560 507 0 0 0 122 9 0 0 20 0 19 0 29370265 9856040960 83299 33554432000 1073741824 1073778376 140737047029168 140423890147752 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24181] ppid=24167 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/24170/task/24181/stat : 24181 (java) S 24167 24170 16325 0 -1 4202560 371 0 0 0 136 5 0 0 20 0 19 0 29370266 9856040960 83299 33554432000 1073741824 1073778376 140737047029168 140423732472552 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24182] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24182/stat : 24182 (java) S 24167 24170 16325 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29370266 9856040960 83299 33554432000 1073741824 1073778376 140737047029168 140423731418616 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24183] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24183/stat : 24183 (java) S 24167 24170 16325 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29370266 9856040960 83299 33554432000 1073741824 1073778376 140737047029168 140423730366216 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24184] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24184/stat : 24184 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370269 9856040960 83299 33554432000 1073741824 1073778376 140737047029168 140423729314704 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24170/tid=24185] ppid=24167 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/24170/task/24185/stat : 24185 (java) S 24167 24170 16325 0 -1 4202560 2665 0 0 0 33 0 0 0 20 0 19 0 29370269 9856040960 83299 33554432000 1073741824 1073778376 140737047029168 140423728261304 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24170/tid=24186] ppid=24167 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/24170/task/24186/stat : 24186 (java) S 24167 24170 16325 0 -1 4202560 3517 0 0 0 37 0 0 0 20 0 19 0 29370269 9856040960 83299 33554432000 1073741824 1073778376 140737047029168 140423727208504 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24187] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24187/stat : 24187 (java) S 24167 24170 16325 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29370269 9856040960 83299 33554432000 1073741824 1073778376 140737047029168 140423726156408 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24170/tid=24188] ppid=24167 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/24170/task/24188/stat : 24188 (java) S 24167 24170 16325 0 -1 4202560 104 0 0 0 31 40 0 0 20 0 19 0 29370269 9856040960 83299 33554432000 1073741824 1073778376 140737047029168 140423725103816 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24170/tid=24189] ppid=24167 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/24170/task/24189/stat : 24189 (java) S 24167 24170 16325 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29370291 9856040960 83299 33554432000 1073741824 1073778376 140737047029168 140423724049832 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24170 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1791.42
CPU time (s): 1800.49
CPU user time (s): 1798.89
CPU system time (s): 1.59976
CPU usage (%): 100.506
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.89
system time used= 1.59976
maximum resident set size= 697368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14319
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41745
involuntary context switches= 16903

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3124 second user time and 13.9629 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 20:07:26
IDJOB=4106669
IDBENCH=48173
IDSOLVER=2546
FILE ID=node138/4106669-1466273246
RUNJOBID= node138-1466241309-16342
PBS_JOBID= 19918205
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106669-1466273246/watcher-4106669-1466273246 -o /tmp/evaluation-result-4106669-1466273246/solver-4106669-1466273246 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466241309-16342 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4106669-1466273246.opb

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

MD5SUM BENCH= 60cf9918356073587dd2c65f46896dfb
RANDOM SEED=1123149111

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30996192 kB
Buffers:          144576 kB
Cached:           245968 kB
SwapCached:         1060 kB
Active:           273120 kB
Inactive:         294180 kB
Active(anon):     177164 kB
Inactive(anon):     1696 kB
Active(file):      95956 kB
Inactive(file):   292484 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099640 kB
Dirty:               848 kB
Writeback:             0 kB
AnonPages:        745272 kB
Mapped:            15280 kB
Shmem:                 0 kB
Slab:             607564 kB
SReclaimable:      51092 kB
SUnreclaim:       556472 kB
KernelStack:        1600 kB
PageTables:         5640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1260988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    186368 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= 71732 MiB
End job on node138 at 2016-06-18 20:37:18