Trace number 3736976

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)5 1800.1 939.939

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_3.opb
MD5SUMcdb29f44159b0b72729019e0c0db0b8a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1.59176
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint26
Maximum length of a constraint46
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3090
Sum of products size (including duplicates)6180
Number of different products3090
Sum of products size6180

Quality of the solution as a function of time


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

Solver Data 

0.07/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.09	c See www.sat4j.org for details.
0.07/0.09	c version 2.3.1.v20110525
0.07/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.09	c java.vm.version	19.1-b02
0.07/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.09	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		9996466904
0.07/0.10	c Max memory 		10048897024
0.07/0.10	c Total memory 		10048897024
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
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 Expensive reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
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 phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3736976-1338718909.opb
0.08/0.12	c reading problem ... 
0.45/0.38	c ... done. Wall clock time 0.266s.
0.45/0.38	c #vars     3190
0.45/0.38	c #constraints  6280
0.45/0.38	c constraints type 
0.45/0.39	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3190
0.45/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3090
0.45/0.39	c constraints type 
0.45/0.39	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3190
0.45/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3090
0.72/0.42	c  And the winner is Resolution
1.05/0.89	c SATISFIABLE
1.05/0.89	c OPTIMIZING...
1.05/0.89	c Got one! Elapsed wall clock time (in seconds):0.771
1.05/0.89	o 9
1.06/0.93	c  And the winner is Resolution
1.27/1.39	c Got one! Elapsed wall clock time (in seconds):1.275
1.27/1.39	o 8
1.28/1.41	c  And the winner is Resolution
1.37/1.90	c Got one! Elapsed wall clock time (in seconds):1.778
1.37/1.90	o 7
3.09/2.46	c  And the winner is Resolution
3.31/2.90	c Got one! Elapsed wall clock time (in seconds):2.78
3.31/2.90	o 6
3.98/3.25	c cleaning 2780 clauses out of 5561 with flag 2001/5561
6.05/4.22	c cleaning 4389 clauses out of 8782 with flag 8002/11562
8.27/5.39	c cleaning 5692 clauses out of 11392 with flag 15001/18561
10.88/6.67	c cleaning 6845 clauses out of 13699 with flag 23000/26560
14.07/8.22	c cleaning 7926 clauses out of 15856 with flag 32002/35562
17.02/9.78	c cleaning 8962 clauses out of 17931 with flag 42003/45563
20.37/11.42	c cleaning 9479 clauses out of 18966 with flag 52000/55560
23.72/13.16	c cleaning 9742 clauses out of 19491 with flag 62004/65564
27.22/14.93	c cleaning 9873 clauses out of 19747 with flag 72002/75562
30.56/16.63	c cleaning 9933 clauses out of 19872 with flag 82000/85560
33.91/18.35	c cleaning 9968 clauses out of 19941 with flag 92002/95562
37.46/20.11	c cleaning 9982 clauses out of 19971 with flag 102000/105560
41.18/22.04	c cleaning 9993 clauses out of 19990 with flag 112001/115561
44.92/23.93	c cleaning 9994 clauses out of 19997 with flag 122001/125561
48.25/25.61	c cleaning 9997 clauses out of 20002 with flag 132000/135560
51.39/27.29	c cleaning 10001 clauses out of 20007 with flag 142002/145562
54.89/29.01	c cleaning 9998 clauses out of 20008 with flag 152004/155564
58.25/30.73	c cleaning 9999 clauses out of 20006 with flag 162000/165560
61.58/32.42	c cleaning 9999 clauses out of 20007 with flag 172000/175560
64.72/34.04	c cleaning 10001 clauses out of 20008 with flag 182000/185560
68.01/35.73	c cleaning 10000 clauses out of 20010 with flag 192003/195563
71.15/37.40	c cleaning 10001 clauses out of 20008 with flag 202001/205561
75.07/39.37	c cleaning 10002 clauses out of 20012 with flag 212006/215566
79.39/41.51	c cleaning 10000 clauses out of 20008 with flag 222004/225564
83.48/43.61	c cleaning 9996 clauses out of 20004 with flag 232000/235560
87.20/45.55	c cleaning 9997 clauses out of 20008 with flag 242000/245560
91.14/47.53	c cleaning 10002 clauses out of 20014 with flag 252003/255563
94.47/49.21	c cleaning 10000 clauses out of 20010 with flag 262001/265561
97.55/50.89	c cleaning 10001 clauses out of 20011 with flag 272002/275562
101.08/52.61	c cleaning 10001 clauses out of 20008 with flag 282000/285560
104.59/54.48	c cleaning 10000 clauses out of 20007 with flag 292000/295560
107.92/56.15	c cleaning 10000 clauses out of 20007 with flag 302000/305560
111.39/57.96	c cleaning 9998 clauses out of 20007 with flag 312000/315560
115.51/60.09	c cleaning 10002 clauses out of 20010 with flag 322001/325561
120.43/62.60	c cleaning 10000 clauses out of 20007 with flag 332000/335560
125.54/65.11	c cleaning 9999 clauses out of 20008 with flag 342001/345561
129.20/67.06	c cleaning 10000 clauses out of 20008 with flag 352000/355560
132.70/68.83	c cleaning 9997 clauses out of 20010 with flag 362002/365562
136.21/70.66	c cleaning 9999 clauses out of 20011 with flag 372000/375560
139.93/72.55	c cleaning 10000 clauses out of 20012 with flag 382000/385560
143.58/74.42	c cleaning 10006 clauses out of 20012 with flag 392000/395560
146.89/76.14	c cleaning 10000 clauses out of 20008 with flag 402002/405562
150.39/77.96	c cleaning 10001 clauses out of 20008 with flag 412002/415562
153.89/79.72	c cleaning 9999 clauses out of 20006 with flag 422001/425561
157.33/81.55	c cleaning 10001 clauses out of 20008 with flag 432002/435562
161.25/83.54	c cleaning 10000 clauses out of 20009 with flag 442004/445564
164.93/85.48	c cleaning 9999 clauses out of 20005 with flag 452000/455560
169.03/87.54	c cleaning 10001 clauses out of 20011 with flag 462005/465565
173.28/89.74	c cleaning 9999 clauses out of 20005 with flag 472000/475560
176.98/91.62	c cleaning 9999 clauses out of 20006 with flag 482000/485560
180.71/93.51	c cleaning 10001 clauses out of 20010 with flag 492003/495563
184.61/95.52	c cleaning 10000 clauses out of 20007 with flag 502001/505561
188.45/97.50	c cleaning 9999 clauses out of 20010 with flag 512004/515564
191.95/99.32	c cleaning 10002 clauses out of 20007 with flag 522000/525560
195.46/101.20	c cleaning 10001 clauses out of 20010 with flag 532005/535565
199.54/103.20	c cleaning 10001 clauses out of 20007 with flag 542003/545563
203.57/105.34	c cleaning 9997 clauses out of 20004 with flag 552001/555561
207.87/107.54	c cleaning 10000 clauses out of 20007 with flag 562001/565561
211.56/109.48	c cleaning 10000 clauses out of 20008 with flag 572002/575562
215.85/111.61	c cleaning 9999 clauses out of 20010 with flag 582004/585564
219.28/113.43	c cleaning 10000 clauses out of 20007 with flag 592000/595560
222.78/115.29	c cleaning 10003 clauses out of 20009 with flag 602002/605562
226.87/117.30	c cleaning 10000 clauses out of 20005 with flag 612001/615561
230.36/119.15	c cleaning 10000 clauses out of 20007 with flag 622003/625563
234.19/121.11	c cleaning 9997 clauses out of 20004 with flag 632000/635560
238.09/123.14	c cleaning 10000 clauses out of 20009 with flag 642002/645562
241.56/124.99	c cleaning 10000 clauses out of 20010 with flag 652003/655563
245.45/126.90	c cleaning 10002 clauses out of 20010 with flag 662003/665563
249.28/128.92	c cleaning 10001 clauses out of 20009 with flag 672004/675564
252.98/130.83	c cleaning 10000 clauses out of 20007 with flag 682003/685563
256.65/132.71	c cleaning 9996 clauses out of 20005 with flag 692001/695561
260.54/134.70	c cleaning 9999 clauses out of 20010 with flag 702002/705562
264.14/136.63	c cleaning 10000 clauses out of 20011 with flag 712002/715562
267.64/138.46	c cleaning 10000 clauses out of 20009 with flag 722000/725560
271.33/140.32	c cleaning 10001 clauses out of 20012 with flag 732003/735563
275.02/142.25	c cleaning 10001 clauses out of 20010 with flag 742002/745562
278.84/144.27	c cleaning 9999 clauses out of 20009 with flag 752002/755562
282.52/146.17	c cleaning 10000 clauses out of 20009 with flag 762001/765561
286.39/148.11	c cleaning 10000 clauses out of 20008 with flag 772000/775560
290.08/150.06	c cleaning 10002 clauses out of 20008 with flag 782000/785560
293.89/152.09	c cleaning 9999 clauses out of 20007 with flag 792001/795561
297.97/154.19	c cleaning 10002 clauses out of 20010 with flag 802003/805563
302.45/156.40	c cleaning 9999 clauses out of 20005 with flag 812000/815560
306.73/158.64	c cleaning 10000 clauses out of 20008 with flag 822002/825562
311.13/161.00	c cleaning 9999 clauses out of 20007 with flag 832001/835561
316.02/163.44	c cleaning 10002 clauses out of 20007 with flag 842000/845560
319.90/165.41	c cleaning 9999 clauses out of 20005 with flag 852000/855560
323.78/167.43	c cleaning 9998 clauses out of 20007 with flag 862001/865561
327.98/169.68	c cleaning 10006 clauses out of 20021 with flag 872013/875573
332.26/171.85	c cleaning 9999 clauses out of 20004 with flag 882002/885562
335.73/173.63	c cleaning 9999 clauses out of 20003 with flag 892000/895560
339.23/175.41	c cleaning 9999 clauses out of 20005 with flag 902001/905561
342.83/177.38	c cleaning 10000 clauses out of 20007 with flag 912002/915562
346.51/179.24	c cleaning 10001 clauses out of 20007 with flag 922002/925562
349.97/181.06	c cleaning 9997 clauses out of 20004 with flag 932000/935560
353.44/182.86	c cleaning 9998 clauses out of 20008 with flag 942001/945561
357.25/184.86	c cleaning 10001 clauses out of 20009 with flag 952000/955560
360.92/186.73	c cleaning 10000 clauses out of 20009 with flag 962001/965561
364.59/188.63	c cleaning 9999 clauses out of 20010 with flag 972002/975562
368.46/190.67	c cleaning 10001 clauses out of 20013 with flag 982004/985564
372.85/192.96	c cleaning 9998 clauses out of 20008 with flag 992000/995560
373.71/193.44	c  And the winner is Resolution
373.35/193.92	c Got one! Elapsed wall clock time (in seconds):193.8
373.35/193.92	o 5
374.52/194.52	c cleaning 7795 clauses out of 15595 with flag 4000/1001145
376.59/195.69	c cleaning 6898 clauses out of 13805 with flag 10005/1007150
379.24/197.09	c cleaning 6948 clauses out of 13903 with flag 17001/1014146
382.41/198.76	c cleaning 7475 clauses out of 14955 with flag 25001/1022146
386.07/200.64	c cleaning 8234 clauses out of 16480 with flag 34001/1031146
390.14/202.76	c cleaning 9121 clauses out of 18245 with flag 44000/1041145
394.60/205.08	c cleaning 9563 clauses out of 19129 with flag 54005/1051150
399.38/207.53	c cleaning 9777 clauses out of 19561 with flag 64000/1061145
404.26/210.07	c cleaning 9890 clauses out of 19789 with flag 74005/1071150
409.33/212.61	c cleaning 9947 clauses out of 19898 with flag 84004/1081149
414.39/215.29	c cleaning 9974 clauses out of 19951 with flag 94004/1091149
419.36/217.87	c cleaning 9983 clauses out of 19973 with flag 104000/1101145
424.41/220.48	c cleaning 9994 clauses out of 19993 with flag 114003/1111148
429.06/222.88	c cleaning 9991 clauses out of 19996 with flag 124000/1121145
433.93/225.34	c cleaning 10003 clauses out of 20013 with flag 134008/1131153
438.88/227.93	c cleaning 9995 clauses out of 20004 with flag 144002/1141147
443.74/230.40	c cleaning 10001 clauses out of 20007 with flag 154000/1151145
448.59/232.97	c cleaning 9999 clauses out of 20010 with flag 164004/1161149
453.67/235.54	c cleaning 10000 clauses out of 20009 with flag 174002/1171147
458.83/238.27	c cleaning 10000 clauses out of 20007 with flag 184000/1181145
464.11/240.97	c cleaning 10004 clauses out of 20013 with flag 194006/1191151
469.38/243.67	c cleaning 9996 clauses out of 20003 with flag 204000/1201145
473.84/245.95	c cleaning 10002 clauses out of 20009 with flag 214002/1211147
478.19/248.24	c cleaning 10002 clauses out of 20010 with flag 224005/1221150
482.44/250.46	c cleaning 9999 clauses out of 20003 with flag 234000/1231145
487.10/252.84	c cleaning 10000 clauses out of 20005 with flag 244001/1241146
491.57/255.19	c cleaning 9997 clauses out of 20004 with flag 254000/1251145
496.14/257.59	c cleaning 9997 clauses out of 20008 with flag 264001/1261146
500.99/260.03	c cleaning 10001 clauses out of 20010 with flag 274000/1271145
505.66/262.49	c cleaning 10001 clauses out of 20010 with flag 284001/1281146
510.51/264.97	c cleaning 10000 clauses out of 20009 with flag 294001/1291146
515.47/267.57	c cleaning 10002 clauses out of 20010 with flag 304002/1301147
520.33/270.09	c cleaning 9998 clauses out of 20010 with flag 314004/1311149
525.39/272.63	c cleaning 9999 clauses out of 20009 with flag 324001/1321146
530.45/275.20	c cleaning 10001 clauses out of 20010 with flag 334001/1331146
535.61/277.90	c cleaning 10001 clauses out of 20011 with flag 344003/1341148
540.26/280.36	c cleaning 9999 clauses out of 20007 with flag 354000/1351145
544.51/282.52	c cleaning 10000 clauses out of 20008 with flag 364000/1361145
548.37/284.53	c cleaning 10000 clauses out of 20009 with flag 374001/1371146
552.53/286.73	c cleaning 10002 clauses out of 20010 with flag 384002/1381147
556.98/289.03	c cleaning 10000 clauses out of 20008 with flag 394002/1391147
561.04/291.15	c cleaning 10000 clauses out of 20007 with flag 404001/1401146
565.69/293.50	c cleaning 10003 clauses out of 20012 with flag 414006/1411151
570.05/295.85	c cleaning 10002 clauses out of 20012 with flag 424009/1421154
574.31/298.07	c cleaning 9998 clauses out of 20002 with flag 434001/1431146
578.77/300.33	c cleaning 10000 clauses out of 20007 with flag 444004/1441149
583.04/302.54	c cleaning 9996 clauses out of 20003 with flag 454000/1451145
587.18/304.75	c cleaning 10000 clauses out of 20009 with flag 464002/1461147
591.63/307.02	c cleaning 10002 clauses out of 20013 with flag 474006/1471151
596.08/309.31	c cleaning 9997 clauses out of 20008 with flag 484003/1481148
600.12/311.42	c cleaning 9999 clauses out of 20009 with flag 494001/1491146
604.67/313.80	c cleaning 10000 clauses out of 20009 with flag 504000/1501145
609.30/316.23	c cleaning 9998 clauses out of 20012 with flag 514003/1511148
614.16/318.72	c cleaning 9998 clauses out of 20011 with flag 524000/1521145
618.82/321.20	c cleaning 10005 clauses out of 20015 with flag 534002/1531147
623.75/323.76	c cleaning 10000 clauses out of 20008 with flag 544000/1541145
628.40/326.15	c cleaning 9999 clauses out of 20008 with flag 554000/1551145
632.65/328.32	c cleaning 10001 clauses out of 20010 with flag 564001/1561146
637.11/330.63	c cleaning 9997 clauses out of 20009 with flag 574001/1571146
641.85/333.10	c cleaning 10001 clauses out of 20015 with flag 584004/1581149
646.50/335.51	c cleaning 10005 clauses out of 20019 with flag 594009/1591154
651.13/337.97	c cleaning 10000 clauses out of 20007 with flag 604002/1601147
654.37/339.69	c cleaning 0 clauses out of 6074 with flag 0/6076
656.59/340.76	c cleaning 9994 clauses out of 20009 with flag 614004/1611149
661.79/343.30	c cleaning 9998 clauses out of 20012 with flag 624001/1621146
666.83/345.93	c cleaning 10004 clauses out of 20013 with flag 634000/1631145
671.67/348.47	c cleaning 10002 clauses out of 20011 with flag 644002/1641147
676.40/350.95	c cleaning 10000 clauses out of 20007 with flag 654000/1651145
680.64/353.11	c cleaning 9999 clauses out of 20011 with flag 664004/1661149
685.08/355.42	c cleaning 10000 clauses out of 20010 with flag 674002/1671147
689.71/357.80	c cleaning 10000 clauses out of 20010 with flag 684002/1681147
694.24/360.21	c cleaning 10000 clauses out of 20009 with flag 694001/1691146
698.68/362.58	c cleaning 10000 clauses out of 20008 with flag 704000/1701145
703.32/364.94	c cleaning 9999 clauses out of 20008 with flag 714000/1711145
708.16/367.43	c cleaning 10002 clauses out of 20012 with flag 724003/1721148
713.28/370.11	c cleaning 10001 clauses out of 20012 with flag 734005/1731150
718.11/372.63	c cleaning 9999 clauses out of 20007 with flag 744001/1741146
722.97/375.18	c cleaning 10000 clauses out of 20008 with flag 754001/1751146
727.99/377.78	c cleaning 9996 clauses out of 20007 with flag 764000/1761145
733.33/380.55	c cleaning 10005 clauses out of 20018 with flag 774007/1771152
738.34/383.10	c cleaning 9999 clauses out of 20009 with flag 784003/1781148
743.40/385.74	c cleaning 10001 clauses out of 20009 with flag 794002/1791147
748.23/388.25	c cleaning 9999 clauses out of 20007 with flag 804001/1801146
753.12/390.89	c cleaning 10004 clauses out of 20014 with flag 814007/1811152
757.97/393.39	c cleaning 9997 clauses out of 20006 with flag 824003/1821148
763.01/395.97	c cleaning 10001 clauses out of 20010 with flag 834004/1831149
768.04/398.51	c cleaning 9999 clauses out of 20006 with flag 844001/1841146
772.75/401.09	c cleaning 9998 clauses out of 20006 with flag 854000/1851145
777.80/403.64	c cleaning 9996 clauses out of 20008 with flag 864000/1861145
782.83/406.21	c cleaning 10002 clauses out of 20017 with flag 874005/1871150
787.86/408.80	c cleaning 10002 clauses out of 20015 with flag 884005/1881150
793.18/411.64	c cleaning 10000 clauses out of 20008 with flag 894000/1891145
798.02/414.11	c cleaning 9998 clauses out of 20008 with flag 904000/1901145
803.26/416.81	c cleaning 10005 clauses out of 20019 with flag 914009/1911154
808.28/419.46	c cleaning 9999 clauses out of 20007 with flag 924002/1921147
813.39/422.14	c cleaning 9997 clauses out of 20006 with flag 934000/1931145
818.81/424.96	c cleaning 10001 clauses out of 20011 with flag 944002/1941147
824.03/427.63	c cleaning 10001 clauses out of 20010 with flag 954002/1951147
829.06/430.27	c cleaning 10001 clauses out of 20007 with flag 964000/1961145
834.38/433.09	c cleaning 9996 clauses out of 20006 with flag 974000/1971145
839.82/435.82	c cleaning 9997 clauses out of 20010 with flag 984000/1981145
844.85/438.48	c cleaning 9999 clauses out of 20014 with flag 994001/1991146
850.28/441.27	c cleaning 10001 clauses out of 20016 with flag 1004002/2001147
855.77/444.10	c cleaning 10001 clauses out of 20014 with flag 1014001/2011146
860.81/446.75	c cleaning 10003 clauses out of 20012 with flag 1024000/2021145
864.64/448.75	c cleaning 10003 clauses out of 20011 with flag 1034002/2031147
869.08/451.03	c cleaning 9999 clauses out of 20006 with flag 1044000/2041145
873.77/453.54	c cleaning 9997 clauses out of 20008 with flag 1054001/2051146
878.18/455.84	c cleaning 10004 clauses out of 20016 with flag 1064006/2061151
882.19/457.99	c cleaning 9999 clauses out of 20008 with flag 1074002/2071147
886.41/460.17	c cleaning 10003 clauses out of 20011 with flag 1084004/2081149
891.10/462.60	c cleaning 9999 clauses out of 20005 with flag 1094001/2091146
895.92/465.12	c cleaning 10001 clauses out of 20005 with flag 1104000/2101145
900.14/467.33	c cleaning 10000 clauses out of 20005 with flag 1114001/2111146
904.57/469.69	c cleaning 9998 clauses out of 20006 with flag 1124002/2121147
909.44/472.26	c cleaning 9996 clauses out of 20006 with flag 1134000/2131145
914.26/474.76	c cleaning 10003 clauses out of 20013 with flag 1144003/2141148
918.88/477.11	c cleaning 10000 clauses out of 20010 with flag 1154003/2151148
922.89/479.27	c cleaning 10002 clauses out of 20009 with flag 1164002/2161147
927.63/481.78	c cleaning 10001 clauses out of 20007 with flag 1174002/2171147
932.24/484.17	c cleaning 9997 clauses out of 20006 with flag 1184002/2181147
936.86/486.60	c cleaning 10000 clauses out of 20009 with flag 1194002/2191147
941.49/488.98	c cleaning 10000 clauses out of 20010 with flag 1204003/2201148
946.58/491.62	c cleaning 10001 clauses out of 20007 with flag 1214000/2211145
951.01/493.90	c cleaning 9999 clauses out of 20007 with flag 1224001/2221146
955.42/496.21	c cleaning 9997 clauses out of 20007 with flag 1234000/2231145
959.64/498.46	c cleaning 10002 clauses out of 20010 with flag 1244000/2241145
964.32/501.00	c cleaning 9999 clauses out of 20009 with flag 1254001/2251146
969.13/503.43	c cleaning 10001 clauses out of 20010 with flag 1264001/2261146
973.76/505.87	c cleaning 10001 clauses out of 20008 with flag 1274000/2271145
978.56/508.38	c cleaning 10000 clauses out of 20007 with flag 1284000/2281145
983.84/511.11	c cleaning 10000 clauses out of 20014 with flag 1294007/2291152
988.86/513.76	c cleaning 9999 clauses out of 20007 with flag 1304000/2301145
993.87/516.35	c cleaning 10001 clauses out of 20009 with flag 1314001/2311146
998.48/518.72	c cleaning 9996 clauses out of 20007 with flag 1324000/2321145
1003.14/521.25	c cleaning 10000 clauses out of 20013 with flag 1334002/2331147
1007.76/523.68	c cleaning 10003 clauses out of 20016 with flag 1344005/2341150
1012.55/526.14	c cleaning 9999 clauses out of 20008 with flag 1354000/2351145
1016.96/528.47	c cleaning 10000 clauses out of 20012 with flag 1364003/2361148
1021.83/531.04	c cleaning 10003 clauses out of 20014 with flag 1374005/2371150
1026.65/533.52	c cleaning 9996 clauses out of 20007 with flag 1384001/2381146
1031.45/536.01	c cleaning 10001 clauses out of 20010 with flag 1394000/2391145
1036.26/538.55	c cleaning 10002 clauses out of 20013 with flag 1404004/2401149
1041.34/541.27	c cleaning 10002 clauses out of 20011 with flag 1414004/2411149
1046.36/543.80	c cleaning 9997 clauses out of 20005 with flag 1424000/2421145
1051.16/546.39	c cleaning 9997 clauses out of 20008 with flag 1434000/2431145
1056.37/549.09	c cleaning 10006 clauses out of 20016 with flag 1444005/2441150
1061.66/551.81	c cleaning 9999 clauses out of 20007 with flag 1454002/2451147
1066.70/554.44	c cleaning 10001 clauses out of 20007 with flag 1464001/2461146
1071.09/556.75	c cleaning 9998 clauses out of 20005 with flag 1474000/2471145
1075.70/559.16	c cleaning 10003 clauses out of 20011 with flag 1484004/2481149
1080.55/561.77	c cleaning 10002 clauses out of 20012 with flag 1494008/2491153
1085.56/564.35	c cleaning 9998 clauses out of 20005 with flag 1504003/2501148
1090.56/566.91	c cleaning 9998 clauses out of 20006 with flag 1514002/2511147
1095.38/569.42	c cleaning 9996 clauses out of 20006 with flag 1524000/2521145
1100.25/572.07	c cleaning 10001 clauses out of 20011 with flag 1534001/2531146
1105.26/574.64	c cleaning 10004 clauses out of 20014 with flag 1544005/2541150
1110.07/577.18	c cleaning 10002 clauses out of 20013 with flag 1554008/2551153
1115.10/579.78	c cleaning 10000 clauses out of 20007 with flag 1564004/2561149
1120.15/582.48	c cleaning 9998 clauses out of 20005 with flag 1574002/2571147
1125.16/585.04	c cleaning 9999 clauses out of 20007 with flag 1584002/2581147
1130.57/587.80	c cleaning 10000 clauses out of 20009 with flag 1594003/2591148
1135.77/590.58	c cleaning 9998 clauses out of 20006 with flag 1604000/2601145
1140.84/593.21	c cleaning 9999 clauses out of 20009 with flag 1614001/2611146
1145.84/595.89	c cleaning 10003 clauses out of 20011 with flag 1624002/2621147
1150.86/598.47	c cleaning 10000 clauses out of 20007 with flag 1634001/2631146
1156.43/601.32	c cleaning 9999 clauses out of 20008 with flag 1644002/2641147
1161.68/604.13	c cleaning 9998 clauses out of 20007 with flag 1654000/2651145
1167.28/607.02	c cleaning 10000 clauses out of 20011 with flag 1664002/2661147
1172.28/609.64	c cleaning 10001 clauses out of 20012 with flag 1674003/2671148
1177.66/612.46	c cleaning 10001 clauses out of 20009 with flag 1684001/2681146
1182.33/614.96	c cleaning 9999 clauses out of 20008 with flag 1694001/2691146
1187.10/617.41	c cleaning 9998 clauses out of 20008 with flag 1704000/2701145
1191.70/619.89	c cleaning 10001 clauses out of 20010 with flag 1714000/2711145
1196.69/622.41	c cleaning 10001 clauses out of 20012 with flag 1724003/2721148
1201.73/625.16	c cleaning 10002 clauses out of 20010 with flag 1734002/2731147
1206.53/627.68	c cleaning 9997 clauses out of 20008 with flag 1744002/2741147
1211.72/630.39	c cleaning 9999 clauses out of 20010 with flag 1754001/2751146
1216.50/632.88	c cleaning 10001 clauses out of 20010 with flag 1764000/2761145
1221.73/635.61	c cleaning 10001 clauses out of 20013 with flag 1774004/2771149
1226.52/638.12	c cleaning 10000 clauses out of 20009 with flag 1784001/2781146
1231.32/640.67	c cleaning 10001 clauses out of 20012 with flag 1794004/2791149
1236.32/643.26	c cleaning 9993 clauses out of 20007 with flag 1804000/2801145
1241.35/645.98	c cleaning 10002 clauses out of 20014 with flag 1814000/2811145
1246.93/648.83	c cleaning 10000 clauses out of 20012 with flag 1824000/2821145
1252.72/651.83	c cleaning 10002 clauses out of 20012 with flag 1834000/2831145
1257.72/654.44	c cleaning 9997 clauses out of 20012 with flag 1844002/2841147
1263.13/657.33	c cleaning 10002 clauses out of 20015 with flag 1854002/2851147
1268.15/659.93	c cleaning 10000 clauses out of 20014 with flag 1864003/2861148
1273.32/662.67	c cleaning 9999 clauses out of 20011 with flag 1874000/2871145
1278.74/665.49	c cleaning 10004 clauses out of 20017 with flag 1884005/2881150
1283.96/668.27	c cleaning 10001 clauses out of 20009 with flag 1894001/2891146
1289.36/671.02	c cleaning 10002 clauses out of 20012 with flag 1904005/2901150
1294.93/673.96	c cleaning 10000 clauses out of 20006 with flag 1914001/2911146
1299.94/676.53	c cleaning 9996 clauses out of 20007 with flag 1924002/2921147
1305.34/679.49	c cleaning 10000 clauses out of 20009 with flag 1934000/2931145
1310.34/682.06	c cleaning 10000 clauses out of 20013 with flag 1944004/2941149
1315.91/684.94	c cleaning 9999 clauses out of 20010 with flag 1954001/2951146
1320.92/687.53	c cleaning 9997 clauses out of 20010 with flag 1964000/2961145
1326.77/690.60	c cleaning 10001 clauses out of 20014 with flag 1974001/2971146
1331.74/693.24	c cleaning 10003 clauses out of 20013 with flag 1984001/2981146
1337.12/696.05	c cleaning 10003 clauses out of 20009 with flag 1994000/2991145
1342.10/698.65	c cleaning 9997 clauses out of 20007 with flag 2004001/3001146
1347.53/701.56	c cleaning 10000 clauses out of 20010 with flag 2014001/3011146
1352.14/703.98	c cleaning 10001 clauses out of 20010 with flag 2024001/3021146
1356.71/706.39	c cleaning 10001 clauses out of 20011 with flag 2034003/3031148
1361.30/708.79	c cleaning 9999 clauses out of 20008 with flag 2044001/3041146
1365.96/711.27	c cleaning 10000 clauses out of 20009 with flag 2054001/3051146
1370.36/713.51	c cleaning 10000 clauses out of 20009 with flag 2064001/3061146
1374.74/715.89	c cleaning 9996 clauses out of 20008 with flag 2074000/3071145
1379.35/718.28	c cleaning 10000 clauses out of 20012 with flag 2084000/3081145
1384.36/720.96	c cleaning 10003 clauses out of 20013 with flag 2094001/3091146
1389.13/723.45	c cleaning 10001 clauses out of 20010 with flag 2104001/3101146
1393.32/725.69	c cleaning 10002 clauses out of 20012 with flag 2114004/3111149
1397.71/727.96	c cleaning 9997 clauses out of 20006 with flag 2124000/3121145
1402.35/730.45	c cleaning 9999 clauses out of 20010 with flag 2134001/3131146
1407.12/732.92	c cleaning 10003 clauses out of 20012 with flag 2144002/3141147
1411.70/735.31	c cleaning 9999 clauses out of 20008 with flag 2154001/3151146
1416.34/737.73	c cleaning 10001 clauses out of 20011 with flag 2164003/3161148
1421.19/740.38	c cleaning 10001 clauses out of 20008 with flag 2174001/3171146
1425.98/742.82	c cleaning 9998 clauses out of 20006 with flag 2184000/3181145
1430.56/745.27	c cleaning 10001 clauses out of 20009 with flag 2194001/3191146
1435.55/747.85	c cleaning 9999 clauses out of 20008 with flag 2204001/3201146
1440.59/750.57	c cleaning 10002 clauses out of 20009 with flag 2214001/3211146
1444.97/752.89	c cleaning 10002 clauses out of 20010 with flag 2224004/3221149
1449.54/755.29	c cleaning 9997 clauses out of 20004 with flag 2234000/3231145
1454.53/757.88	c cleaning 9997 clauses out of 20008 with flag 2244001/3241146
1459.55/760.57	c cleaning 10000 clauses out of 20011 with flag 2254001/3251146
1464.54/763.11	c cleaning 10002 clauses out of 20013 with flag 2264003/3261148
1469.53/765.75	c cleaning 9998 clauses out of 20008 with flag 2274000/3271145
1474.72/768.41	c cleaning 10002 clauses out of 20011 with flag 2284001/3281146
1480.14/771.34	c cleaning 10001 clauses out of 20009 with flag 2294001/3291146
1485.31/774.01	c cleaning 10000 clauses out of 20008 with flag 2304001/3301146
1490.48/776.73	c cleaning 10004 clauses out of 20010 with flag 2314003/3311148
1494.86/779.03	c cleaning 9998 clauses out of 20006 with flag 2324003/3321148
1499.48/781.54	c cleaning 10002 clauses out of 20011 with flag 2334006/3331151
1503.85/783.89	c cleaning 9996 clauses out of 20005 with flag 2344002/3341147
1508.42/786.24	c cleaning 9999 clauses out of 20010 with flag 2354003/3351148
1513.01/788.66	c cleaning 9998 clauses out of 20008 with flag 2364000/3361145
1517.80/791.23	c cleaning 10000 clauses out of 20010 with flag 2374000/3371145
1522.57/793.74	c cleaning 10002 clauses out of 20012 with flag 2384002/3381147
1527.56/796.31	c cleaning 10000 clauses out of 20011 with flag 2394003/3391148
1532.13/798.77	c cleaning 10001 clauses out of 20011 with flag 2404003/3401148
1537.33/801.55	c cleaning 9998 clauses out of 20007 with flag 2414000/3411145
1542.52/804.29	c cleaning 9999 clauses out of 20010 with flag 2424001/3421146
1547.92/807.03	c cleaning 10004 clauses out of 20016 with flag 2434006/3431151
1553.08/809.71	c cleaning 10001 clauses out of 20009 with flag 2444003/3441148
1558.28/812.58	c cleaning 9998 clauses out of 20010 with flag 2454005/3451150
1563.44/815.20	c cleaning 10000 clauses out of 20010 with flag 2464003/3461148
1567.80/817.51	c cleaning 9999 clauses out of 20008 with flag 2474001/3471146
1572.16/819.85	c cleaning 10001 clauses out of 20011 with flag 2484003/3481148
1577.17/822.55	c cleaning 9998 clauses out of 20007 with flag 2494000/3491145
1581.95/825.06	c cleaning 9999 clauses out of 20010 with flag 2504001/3501146
1586.72/827.57	c cleaning 10002 clauses out of 20014 with flag 2514004/3511149
1591.68/830.17	c cleaning 10000 clauses out of 20009 with flag 2524001/3521146
1596.70/832.88	c cleaning 10001 clauses out of 20008 with flag 2534000/3531145
1601.87/835.51	c cleaning 9999 clauses out of 20009 with flag 2544002/3541147
1606.63/838.10	c cleaning 9999 clauses out of 20008 with flag 2554000/3551145
1611.59/840.66	c cleaning 10000 clauses out of 20009 with flag 2564000/3561145
1616.99/843.52	c cleaning 10000 clauses out of 20009 with flag 2574000/3571145
1622.34/846.31	c cleaning 10000 clauses out of 20012 with flag 2584003/3581148
1627.52/849.10	c cleaning 10000 clauses out of 20012 with flag 2594003/3591148
1632.69/851.71	c cleaning 10003 clauses out of 20012 with flag 2604003/3601148
1637.90/854.58	c cleaning 9995 clauses out of 20006 with flag 2614000/3611145
1642.68/857.04	c cleaning 10002 clauses out of 20011 with flag 2624000/3621145
1647.45/859.52	c cleaning 9999 clauses out of 20010 with flag 2634001/3631146
1652.21/862.00	c cleaning 10002 clauses out of 20014 with flag 2644004/3641149
1657.42/864.82	c cleaning 10001 clauses out of 20010 with flag 2654002/3651147
1662.18/867.38	c cleaning 10001 clauses out of 20011 with flag 2664004/3661149
1667.14/869.96	c cleaning 9999 clauses out of 20006 with flag 2674000/3671145
1672.12/872.50	c cleaning 10000 clauses out of 20008 with flag 2684001/3681146
1676.72/875.00	c cleaning 10000 clauses out of 20008 with flag 2694001/3691146
1681.27/877.44	c cleaning 10000 clauses out of 20010 with flag 2704003/3701148
1685.42/879.69	c cleaning 10001 clauses out of 20007 with flag 2714000/3711145
1689.78/881.92	c cleaning 10000 clauses out of 20009 with flag 2724003/3721148
1694.38/884.46	c cleaning 9997 clauses out of 20006 with flag 2734000/3731145
1699.14/886.91	c cleaning 10000 clauses out of 20009 with flag 2744000/3741145
1703.92/889.43	c cleaning 10000 clauses out of 20010 with flag 2754001/3751146
1708.88/892.07	c cleaning 9997 clauses out of 20010 with flag 2764001/3761146
1714.05/894.81	c cleaning 10002 clauses out of 20013 with flag 2774001/3771146
1719.01/897.47	c cleaning 10000 clauses out of 20010 with flag 2784000/3781145
1723.96/900.02	c cleaning 10002 clauses out of 20013 with flag 2794003/3791148
1728.92/902.65	c cleaning 9997 clauses out of 20008 with flag 2804000/3801145
1734.09/905.48	c cleaning 10002 clauses out of 20013 with flag 2814002/3811147
1739.47/908.22	c cleaning 10000 clauses out of 20009 with flag 2824000/3821145
1744.45/910.84	c cleaning 10000 clauses out of 20011 with flag 2834002/3831147
1749.40/913.48	c cleaning 10002 clauses out of 20010 with flag 2844001/3841146
1754.98/916.43	c cleaning 9998 clauses out of 20007 with flag 2854000/3851145
1760.33/919.26	c cleaning 10003 clauses out of 20015 with flag 2864006/3861151
1765.49/921.91	c cleaning 10001 clauses out of 20013 with flag 2874007/3871152
1770.65/924.67	c cleaning 9998 clauses out of 20006 with flag 2884001/3881146
1776.22/927.60	c cleaning 10005 clauses out of 20018 with flag 2894011/3891156
1781.37/930.35	c cleaning 9995 clauses out of 20002 with flag 2904000/3901145
1787.15/933.31	c cleaning 9999 clauses out of 20008 with flag 2914001/3911146
1792.52/936.14	c cleaning 10000 clauses out of 20009 with flag 2924001/3921146
1797.88/939.08	c cleaning 10002 clauses out of 20011 with flag 2934003/3931148
1799.45/939.91	c starts		: 257
1799.45/939.91	c conflicts		: 3933732
1799.45/939.91	c decisions		: 6184934
1799.45/939.91	c propagations		: 847161320
1799.45/939.91	c inspects		: 7749707029
1799.45/939.91	c shortcuts		: 0
1799.45/939.91	c learnt literals	: 0
1799.45/939.91	c learnt binary clauses	: 0
1799.45/939.91	c learnt ternary clauses	: 5
1799.45/939.91	c learnt constraints	: 3933733
1799.45/939.91	c ignored constraints	: 0
1799.45/939.91	c root simplifications	: 0
1799.45/939.91	c removed literals (reason simplification)	: 17873281
1799.45/939.91	c reason swapping (by a shorter reason)	: 0
1799.45/939.91	c Calls to reduceDB	: 396
1799.45/939.91	c number of reductions to clauses (during analyze)	: 0
1799.45/939.91	c number of learned constraints concerned by reduction	: 0
1799.45/939.91	c number of learning phase by resolution	: 0
1799.45/939.91	c number of learning phase by cutting planes	: 0
1799.45/939.91	c speed (assignments/second)	: 1135617.322973973
1799.45/939.91	c non guided choices	0
1799.45/939.92	c learnt constraints type 
1799.45/939.92	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12608
1799.45/939.92	c constraints type 
1799.45/939.92	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3190
1799.45/939.92	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1799.45/939.92	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3090
1799.45/939.92	c constraints type 
1799.45/939.92	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3190
1799.45/939.92	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1799.45/939.92	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3090
1799.45/939.92	s SATISFIABLE
1799.45/939.92	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 
1799.45/939.92	c objective function=5
1799.45/939.92	c Total wall clock time (in seconds): 939.799

Verifier Data 

OK	5

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3736976-1338718909/watcher-3736976-1338718909 -o /tmp/evaluation-result-3736976-1338718909/solver-3736976-1338718909 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736976-1338718909.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 3.66 3.74 3.77 4/197 20100
/proc/meminfo: memFree=26175064/32873660 swapFree=7120/7120
[pid=20100] ppid=20098 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/20100/stat : 20100 (java) D 20098 20100 18226 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 338016643 9515008 182 33554432000 1073741824 1073778376 140735085191616 140735085182648 270330052277 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/20100/statm: 2323 182 140 9 0 71 0

[startup+0.0939709 s]
/proc/loadavg: 3.66 3.74 3.77 4/197 20100
/proc/meminfo: memFree=26175064/32873660 swapFree=7120/7120
[pid=20100] ppid=20098 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/20100/stat : 20100 (java) S 20098 20100 18226 0 -1 4202496 4713 0 1 0 6 1 0 0 20 0 18 0 338016643 11864465408 13075 33554432000 1073741824 1073778376 140733698399984 140733698391120 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20100/statm: 2896598 13077 1940 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.1002 s]
/proc/loadavg: 3.66 3.74 3.77 4/197 20100
/proc/meminfo: memFree=26175064/32873660 swapFree=7120/7120
[pid=20100] ppid=20098 vsize=11586392 CPUtime=0.08 cores=0,2,4,6
/proc/20100/stat : 20100 (java) S 20098 20100 18226 0 -1 4202496 5230 0 1 0 7 1 0 0 20 0 18 0 338016643 11864465408 13581 33554432000 1073741824 1073778376 140733698399984 140733698391120 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20100/statm: 2896598 13581 2106 9 0 2887285 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11586392

[startup+0.300217 s]
/proc/loadavg: 3.66 3.74 3.77 4/197 20100
/proc/meminfo: memFree=26175064/32873660 swapFree=7120/7120
[pid=20100] ppid=20098 vsize=11586392 CPUtime=0.45 cores=0,2,4,6
/proc/20100/stat : 20100 (java) S 20098 20100 18226 0 -1 4202496 6401 0 1 0 43 2 0 0 20 0 18 0 338016643 11864465408 15772 33554432000 1073741824 1073778376 140733698399984 140733698391120 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20100/statm: 2896598 15772 2232 9 0 2887285 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 11586392

[startup+0.700269 s]
/proc/loadavg: 3.66 3.74 3.77 4/197 20100
/proc/meminfo: memFree=26175064/32873660 swapFree=7120/7120
[pid=20100] ppid=20098 vsize=11852648 CPUtime=1.05 cores=0,2,4,6
/proc/20100/stat : 20100 (java) S 20098 20100 18226 0 -1 4202496 11176 0 1 0 101 4 0 0 20 0 19 0 338016643 12137111552 20171 33554432000 1073741824 1073778376 140733698399984 140733698391120 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20100/statm: 2963162 20171 2255 9 0 2953849 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 11852648

[startup+1.50075 s]
/proc/loadavg: 3.66 3.74 3.77 3/216 20125
/proc/meminfo: memFree=26096564/32873660 swapFree=7120/7120
[pid=20100] ppid=20098 vsize=11852648 CPUtime=1.37 cores=0,2,4,6
/proc/20100/stat : 20100 (java) S 20098 20100 18226 0 -1 4202496 12416 0 1 0 128 9 0 0 20 0 19 0 338016643 12137111552 23289 33554432000 1073741824 1073778376 140733698399984 140733698391120 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20100/statm: 2963162 23289 2261 9 0 2953849 0
[pid=20100/tid=20102] ppid=20098 vsize=11852648 CPUtime=0.36 cores=0,2,4,6
/proc/20100/task/20102/stat : 20102 (java) S 20098 20100 18226 0 -1 4202560 3388 0 1 0 34 2 0 0 20 0 19 0 338016644 12137111552 23289 33554432000 1073741824 1073778376 140733698399984 140035278845080 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20103] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20103/stat : 20103 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338016646 12137111552 23289 33554432000 1073741824 1073778376 140733698399984 140035267906088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20104] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20104/stat : 20104 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338016646 12137111552 23289 33554432000 1073741824 1073778376 140733698399984 140035266853288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20100/tid=20105] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20105/stat : 20105 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338016646 12137111552 23289 33554432000 1073741824 1073778376 140733698399984 140035265800488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20100/tid=20106] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20106/stat : 20106 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338016646 12137111552 23289 33554432000 1073741824 1073778376 140733698399984 140035264747688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20107] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20107/stat : 20107 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338016646 12137111552 23289 33554432000 1073741824 1073778376 140733698399984 140035263695912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20108] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20108/stat : 20108 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338016646 12137111552 23289 33554432000 1073741824 1073778376 140733698399984 140035262643112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20109] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20109/stat : 20109 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338016646 12137111552 23289 33554432000 1073741824 1073778376 140733698399984 140035109448488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20110] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20110/stat : 20110 (java) S 20098 20100 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338016646 12137111552 23289 33554432000 1073741824 1073778376 140733698399984 140035108395688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20111] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20111/stat : 20111 (java) S 20098 20100 18226 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 338016647 12137111552 23289 33554432000 1073741824 1073778376 140733698399984 140035096197608 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20112] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20112/stat : 20112 (java) S 20098 20100 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338016648 12137111552 23289 33554432000 1073741824 1073778376 140733698399984 140035095143672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20113] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20113/stat : 20113 (java) S 20098 20100 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338016648 12137111552 23289 33554432000 1073741824 1073778376 140733698399984 140035094090760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20114] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20114/stat : 20114 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338016650 12137111552 23289 33554432000 1073741824 1073778376 140733698399984 140035093039248 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20115] ppid=20098 vsize=11852648 CPUtime=0.4 cores=0,2,4,6
/proc/20100/task/20115/stat : 20115 (java) S 20098 20100 18226 0 -1 4202560 4868 0 0 0 40 0 0 0 20 0 19 0 338016650 12137111552 23289 33554432000 1073741824 1073778376 140733698399984 140035091987384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20116] ppid=20098 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/20100/task/20116/stat : 20116 (java) S 20098 20100 18226 0 -1 4202560 2841 0 0 0 35 0 0 0 20 0 19 0 338016650 12137111552 23289 33554432000 1073741824 1073778376 140733698399984 140035090934584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20100/tid=20117] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20117/stat : 20117 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338016650 12137111552 23289 33554432000 1073741824 1073778376 140733698399984 140035089881976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20100/tid=20118] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20118/stat : 20118 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338016650 12137111552 23289 33554432000 1073741824 1073778376 140733698399984 140035088829384 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20122] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20122/stat : 20122 (java) S 20098 20100 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338016683 12137111552 23289 33554432000 1073741824 1073778376 140733698399984 140035084616488 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 11852648

[startup+3.10065 s]
/proc/loadavg: 3.66 3.74 3.77 7/219 20131
/proc/meminfo: memFree=26047428/32873660 swapFree=7120/7120
[pid=20100] ppid=20098 vsize=11852648 CPUtime=3.76 cores=0,2,4,6
/proc/20100/stat : 20100 (java) S 20098 20100 18226 0 -1 4202496 19897 0 1 0 362 14 0 0 20 0 22 0 338016643 12137111552 69816 33554432000 1073741824 1073778376 140733698399984 140733698391120 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20100/statm: 2963162 69816 2267 9 0 2953849 0
[pid=20100/tid=20102] ppid=20098 vsize=11852648 CPUtime=0.37 cores=0,2,4,6
/proc/20100/task/20102/stat : 20102 (java) S 20098 20100 18226 0 -1 4202560 3388 0 1 0 35 2 0 0 20 0 22 0 338016644 12137111552 69816 33554432000 1073741824 1073778376 140733698399984 140035278845080 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20103] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20103/stat : 20103 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016646 12137111552 69816 33554432000 1073741824 1073778376 140733698399984 140035267906088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20104] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20104/stat : 20104 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016646 12137111552 69816 33554432000 1073741824 1073778376 140733698399984 140035266853288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20100/tid=20105] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20105/stat : 20105 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016646 12137111552 69816 33554432000 1073741824 1073778376 140733698399984 140035265800488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20100/tid=20106] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20106/stat : 20106 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016646 12137111552 69816 33554432000 1073741824 1073778376 140733698399984 140035264747688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20107] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20107/stat : 20107 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016646 12137111552 69816 33554432000 1073741824 1073778376 140733698399984 140035263695912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20108] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20108/stat : 20108 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016646 12137111552 69816 33554432000 1073741824 1073778376 140733698399984 140035262643112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20109] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20109/stat : 20109 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016646 12137111552 69816 33554432000 1073741824 1073778376 140733698399984 140035109448488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20110] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20110/stat : 20110 (java) S 20098 20100 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338016646 12137111552 69816 33554432000 1073741824 1073778376 140733698399984 140035108395688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20111] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20111/stat : 20111 (java) S 20098 20100 18226 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 338016647 12137111552 69816 33554432000 1073741824 1073778376 140733698399984 140035096197608 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20112] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20112/stat : 20112 (java) S 20098 20100 18226 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 338016648 12137111552 69816 33554432000 1073741824 1073778376 140733698399984 140035095143672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20113] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20113/stat : 20113 (java) S 20098 20100 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338016648 12137111552 69816 33554432000 1073741824 1073778376 140733698399984 140035094090760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20114] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20114/stat : 20114 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016650 12137111552 69816 33554432000 1073741824 1073778376 140733698399984 140035093039248 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20115] ppid=20098 vsize=11852648 CPUtime=0.86 cores=0,2,4,6
/proc/20100/task/20115/stat : 20115 (java) S 20098 20100 18226 0 -1 4202560 9067 0 0 0 86 0 0 0 20 0 22 0 338016650 12137111552 69816 33554432000 1073741824 1073778376 140733698399984 140035091987384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20116] ppid=20098 vsize=11852648 CPUtime=0.75 cores=0,2,4,6
/proc/20100/task/20116/stat : 20116 (java) S 20098 20100 18226 0 -1 4202560 6021 0 0 0 75 0 0 0 20 0 22 0 338016650 12137111552 69816 33554432000 1073741824 1073778376 140733698399984 140035090934584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20100/tid=20117] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20117/stat : 20117 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016650 12137111552 69816 33554432000 1073741824 1073778376 140733698399984 140035089881976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20100/tid=20118] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20118/stat : 20118 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016650 12137111552 69816 33554432000 1073741824 1073778376 140733698399984 140035088829384 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20122] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20122/stat : 20122 (java) S 20098 20100 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338016683 12137111552 69816 33554432000 1073741824 1073778376 140733698399984 140035084616488 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 11852648

[startup+6.30074 s]
/proc/loadavg: 3.69 3.74 3.78 12/219 20134
/proc/meminfo: memFree=25584564/32873660 swapFree=7120/7120
[pid=20100] ppid=20098 vsize=11852648 CPUtime=10.27 cores=0,2,4,6
/proc/20100/stat : 20100 (java) S 20098 20100 18226 0 -1 4202496 20168 0 1 0 1007 20 0 0 20 0 22 0 338016643 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140733698391120 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20100/statm: 2963162 149855 2293 9 0 2953849 0
[pid=20100/tid=20102] ppid=20098 vsize=11852648 CPUtime=0.37 cores=0,2,4,6
/proc/20100/task/20102/stat : 20102 (java) S 20098 20100 18226 0 -1 4202560 3388 0 1 0 35 2 0 0 20 0 22 0 338016644 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035278845080 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20103] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20103/stat : 20103 (java) S 20098 20100 18226 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 338016646 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035267906088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20104] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20104/stat : 20104 (java) S 20098 20100 18226 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 338016646 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035266853288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20105] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20105/stat : 20105 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016646 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035265800488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20100/tid=20106] ppid=20098 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/20100/task/20106/stat : 20106 (java) S 20098 20100 18226 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 338016646 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035264747688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20107] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20107/stat : 20107 (java) S 20098 20100 18226 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 338016646 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035263695912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20100/tid=20108] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20108/stat : 20108 (java) S 20098 20100 18226 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 338016646 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035262643112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20100/tid=20109] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20109/stat : 20109 (java) S 20098 20100 18226 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 338016646 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035109448488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20110] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20110/stat : 20110 (java) S 20098 20100 18226 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 338016646 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035108395688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20100/tid=20111] ppid=20098 vsize=11852648 CPUtime=0.12 cores=0,2,4,6
/proc/20100/task/20111/stat : 20111 (java) S 20098 20100 18226 0 -1 4202560 46 0 0 0 12 0 0 0 20 0 22 0 338016647 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035096197608 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20112] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20112/stat : 20112 (java) S 20098 20100 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338016648 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035095143672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20113] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20113/stat : 20113 (java) S 20098 20100 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338016648 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035094090760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20114] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20114/stat : 20114 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016650 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035093039248 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20115] ppid=20098 vsize=11852648 CPUtime=0.97 cores=0,2,4,6
/proc/20100/task/20115/stat : 20115 (java) S 20098 20100 18226 0 -1 4202560 9092 0 0 0 97 0 0 0 20 0 22 0 338016650 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035091987384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20116] ppid=20098 vsize=11852648 CPUtime=0.85 cores=0,2,4,6
/proc/20100/task/20116/stat : 20116 (java) S 20098 20100 18226 0 -1 4202560 6025 0 0 0 85 0 0 0 20 0 22 0 338016650 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035090934584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20117] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20117/stat : 20117 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016650 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035089881976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20100/tid=20118] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20118/stat : 20118 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016650 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035088829384 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20122] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20122/stat : 20122 (java) S 20098 20100 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338016683 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035084616488 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20132] ppid=20098 vsize=11852648 CPUtime=3.2 cores=0,2,4,6
/proc/20100/task/20132/stat : 20132 (java) R 20098 20100 18226 0 -1 4202560 7 0 0 0 320 0 0 0 20 0 22 0 338016933 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035085669400 140035144585550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20100/tid=20133] ppid=20098 vsize=11852648 CPUtime=3.21 cores=0,2,4,6
/proc/20100/task/20133/stat : 20133 (java) R 20098 20100 18226 0 -1 4202560 165 0 0 0 317 4 0 0 20 0 22 0 338016933 12137111552 149855 33554432000 1073741824 1073778376 140733698399984 140035086721864 140035144452953 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0

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

[pid=20100/tid=20106] ppid=20098 vsize=11852648 CPUtime=2.06 cores=0,2,4,6
/proc/20100/task/20106/stat : 20106 (java) S 20098 20100 18226 0 -1 4202560 135 0 0 0 204 2 0 0 20 0 22 0 338016646 12137111552 224061 33554432000 1073741824 1073778376 140733698399984 140035264747688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20107] ppid=20098 vsize=11852648 CPUtime=1.98 cores=0,2,4,6
/proc/20100/task/20107/stat : 20107 (java) S 20098 20100 18226 0 -1 4202560 125 0 0 0 197 1 0 0 20 0 22 0 338016646 12137111552 224061 33554432000 1073741824 1073778376 140733698399984 140035263695912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20100/tid=20108] ppid=20098 vsize=11852648 CPUtime=1.94 cores=0,2,4,6
/proc/20100/task/20108/stat : 20108 (java) S 20098 20100 18226 0 -1 4202560 142 0 0 0 192 2 0 0 20 0 22 0 338016646 12137111552 224061 33554432000 1073741824 1073778376 140733698399984 140035262643112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20109] ppid=20098 vsize=11852648 CPUtime=2.09 cores=0,2,4,6
/proc/20100/task/20109/stat : 20109 (java) S 20098 20100 18226 0 -1 4202560 131 0 0 0 209 0 0 0 20 0 22 0 338016646 12137111552 224061 33554432000 1073741824 1073778376 140733698399984 140035109448488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20110] ppid=20098 vsize=11852648 CPUtime=2.05 cores=0,2,4,6
/proc/20100/task/20110/stat : 20110 (java) S 20098 20100 18226 0 -1 4202560 126 0 0 0 203 2 0 0 20 0 22 0 338016646 12137111552 224061 33554432000 1073741824 1073778376 140733698399984 140035108395688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20100/tid=20111] ppid=20098 vsize=11852648 CPUtime=77.66 cores=0,2,4,6
/proc/20100/task/20111/stat : 20111 (java) R 20098 20100 18226 0 -1 4202560 195 0 0 0 7757 9 0 0 20 0 22 0 338016647 12137111552 224061 33554432000 1073741824 1073778376 140733698399984 140035096196464 140035285700439 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20112] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20112/stat : 20112 (java) S 20098 20100 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338016648 12137111552 224061 33554432000 1073741824 1073778376 140733698399984 140035095143672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20113] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20113/stat : 20113 (java) S 20098 20100 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338016648 12137111552 224061 33554432000 1073741824 1073778376 140733698399984 140035094090760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20114] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20114/stat : 20114 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016650 12137111552 224061 33554432000 1073741824 1073778376 140733698399984 140035093039248 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20115] ppid=20098 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/20100/task/20115/stat : 20115 (java) S 20098 20100 18226 0 -1 4202560 9103 0 0 0 103 0 0 0 20 0 22 0 338016650 12137111552 224061 33554432000 1073741824 1073778376 140733698399984 140035091987384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20116] ppid=20098 vsize=11852648 CPUtime=1.41 cores=0,2,4,6
/proc/20100/task/20116/stat : 20116 (java) S 20098 20100 18226 0 -1 4202560 8894 0 0 0 141 0 0 0 20 0 22 0 338016650 12137111552 224061 33554432000 1073741824 1073778376 140733698399984 140035090934584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20117] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20117/stat : 20117 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016650 12137111552 224061 33554432000 1073741824 1073778376 140733698399984 140035089881976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20100/tid=20118] ppid=20098 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/20100/task/20118/stat : 20118 (java) S 20098 20100 18226 0 -1 4202560 51 0 0 0 15 15 0 0 20 0 22 0 338016650 12137111552 224061 33554432000 1073741824 1073778376 140733698399984 140035088829384 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20122] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20122/stat : 20122 (java) S 20098 20100 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338016683 12137111552 224061 33554432000 1073741824 1073778376 140733698399984 140035084616488 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20135] ppid=20098 vsize=11852648 CPUtime=617.11 cores=0,2,4,6
/proc/20100/task/20135/stat : 20135 (java) S 20098 20100 18226 0 -1 4202560 89 0 0 0 61701 10 0 0 20 0 22 0 338036035 12137111552 224061 33554432000 1073741824 1073778376 140733698399984 140035086721608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20100/tid=20136] ppid=20098 vsize=11852648 CPUtime=616.91 cores=0,2,4,6
/proc/20100/task/20136/stat : 20136 (java) S 20098 20100 18226 0 -1 4202560 79 0 0 0 61680 11 0 0 20 0 22 0 338036035 12137111552 224061 33554432000 1073741824 1073778376 140733698399984 140035085667048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20137] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20137/stat : 20137 (java) S 20098 20100 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338036035 12137111552 224061 33554432000 1073741824 1073778376 140733698399984 140035087774632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1690.24
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+939.901 s]
/proc/loadavg: 3.80 3.80 3.80 5/219 20218
/proc/meminfo: memFree=25240276/32873660 swapFree=7120/7120
[pid=20100] ppid=20098 vsize=11852648 CPUtime=1799.45 cores=0,2,4,6
/proc/20100/stat : 20100 (java) S 20098 20100 18226 0 -1 4202496 24747 0 1 0 179876 69 0 0 20 0 22 0 338016643 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140733698391120 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20100/statm: 2963162 224631 2294 9 0 2953849 0
[pid=20100/tid=20102] ppid=20098 vsize=11852648 CPUtime=0.42 cores=0,2,4,6
/proc/20100/task/20102/stat : 20102 (java) S 20098 20100 18226 0 -1 4202560 3560 0 1 0 38 4 0 0 20 0 22 0 338016644 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035278845096 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20103] ppid=20098 vsize=11852648 CPUtime=2.04 cores=0,2,4,6
/proc/20100/task/20103/stat : 20103 (java) S 20098 20100 18226 0 -1 4202560 126 0 0 0 202 2 0 0 20 0 22 0 338016646 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035267906088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20104] ppid=20098 vsize=11852648 CPUtime=2.03 cores=0,2,4,6
/proc/20100/task/20104/stat : 20104 (java) S 20098 20100 18226 0 -1 4202560 131 0 0 0 201 2 0 0 20 0 22 0 338016646 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035266853288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20105] ppid=20098 vsize=11852648 CPUtime=1.97 cores=0,2,4,6
/proc/20100/task/20105/stat : 20105 (java) S 20098 20100 18226 0 -1 4202560 128 0 0 0 195 2 0 0 20 0 22 0 338016646 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035265800488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20100/tid=20106] ppid=20098 vsize=11852648 CPUtime=2.22 cores=0,2,4,6
/proc/20100/task/20106/stat : 20106 (java) S 20098 20100 18226 0 -1 4202560 140 0 0 0 220 2 0 0 20 0 22 0 338016646 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035264747688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20100/tid=20107] ppid=20098 vsize=11852648 CPUtime=2.13 cores=0,2,4,6
/proc/20100/task/20107/stat : 20107 (java) S 20098 20100 18226 0 -1 4202560 134 0 0 0 212 1 0 0 20 0 22 0 338016646 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035263695912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20108] ppid=20098 vsize=11852648 CPUtime=2.05 cores=0,2,4,6
/proc/20100/task/20108/stat : 20108 (java) S 20098 20100 18226 0 -1 4202560 150 0 0 0 203 2 0 0 20 0 22 0 338016646 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035262643112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20109] ppid=20098 vsize=11852648 CPUtime=2.2 cores=0,2,4,6
/proc/20100/task/20109/stat : 20109 (java) S 20098 20100 18226 0 -1 4202560 136 0 0 0 218 2 0 0 20 0 22 0 338016646 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035109448488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20110] ppid=20098 vsize=11852648 CPUtime=2.2 cores=0,2,4,6
/proc/20100/task/20110/stat : 20110 (java) S 20098 20100 18226 0 -1 4202560 139 0 0 0 218 2 0 0 20 0 22 0 338016646 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035108395688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20111] ppid=20098 vsize=11852648 CPUtime=84.09 cores=0,2,4,6
/proc/20100/task/20111/stat : 20111 (java) S 20098 20100 18226 0 -1 4202560 198 0 0 0 8400 9 0 0 20 0 22 0 338016647 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035096197608 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20100/tid=20112] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20112/stat : 20112 (java) S 20098 20100 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338016648 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035095143672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20113] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20113/stat : 20113 (java) S 20098 20100 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338016648 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035094090760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20114] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20114/stat : 20114 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016650 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035093039248 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20115] ppid=20098 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/20100/task/20115/stat : 20115 (java) S 20098 20100 18226 0 -1 4202560 9103 0 0 0 103 0 0 0 20 0 22 0 338016650 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035091987384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20116] ppid=20098 vsize=11852648 CPUtime=1.41 cores=0,2,4,6
/proc/20100/task/20116/stat : 20116 (java) S 20098 20100 18226 0 -1 4202560 8894 0 0 0 141 0 0 0 20 0 22 0 338016650 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035090934584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20117] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20117/stat : 20117 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016650 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035089881976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20100/tid=20118] ppid=20098 vsize=11852648 CPUtime=0.32 cores=0,2,4,6
/proc/20100/task/20118/stat : 20118 (java) S 20098 20100 18226 0 -1 4202560 55 0 0 0 15 17 0 0 20 0 22 0 338016650 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035088829384 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20122] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20122/stat : 20122 (java) S 20098 20100 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338016683 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035084616488 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20135] ppid=20098 vsize=11852648 CPUtime=667.81 cores=0,2,4,6
/proc/20100/task/20135/stat : 20135 (java) R 20098 20100 18226 0 -1 4202560 95 0 0 0 66770 11 0 0 20 0 22 0 338036035 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035086721608 140035144291397 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20136] ppid=20098 vsize=11852648 CPUtime=667.6 cores=0,2,4,6
/proc/20100/task/20136/stat : 20136 (java) R 20098 20100 18226 0 -1 4202560 82 0 0 0 66748 12 0 0 20 0 22 0 338036035 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035085666928 140035144497463 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20137] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20137/stat : 20137 (java) S 20098 20100 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338036035 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035087774632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 11852648

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

Solver just ended. Dumping a history of the last processes samples

[startup+939.901 s]
/proc/loadavg: 3.80 3.80 3.80 5/219 20218
/proc/meminfo: memFree=25240276/32873660 swapFree=7120/7120
[pid=20100] ppid=20098 vsize=11852648 CPUtime=1799.45 cores=0,2,4,6
/proc/20100/stat : 20100 (java) S 20098 20100 18226 0 -1 4202496 24747 0 1 0 179876 69 0 0 20 0 22 0 338016643 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140733698391120 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/20100/statm: 2963162 224631 2294 9 0 2953849 0
[pid=20100/tid=20102] ppid=20098 vsize=11852648 CPUtime=0.42 cores=0,2,4,6
/proc/20100/task/20102/stat : 20102 (java) S 20098 20100 18226 0 -1 4202560 3560 0 1 0 38 4 0 0 20 0 22 0 338016644 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035278845096 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20103] ppid=20098 vsize=11852648 CPUtime=2.04 cores=0,2,4,6
/proc/20100/task/20103/stat : 20103 (java) S 20098 20100 18226 0 -1 4202560 126 0 0 0 202 2 0 0 20 0 22 0 338016646 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035267906088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20104] ppid=20098 vsize=11852648 CPUtime=2.03 cores=0,2,4,6
/proc/20100/task/20104/stat : 20104 (java) S 20098 20100 18226 0 -1 4202560 131 0 0 0 201 2 0 0 20 0 22 0 338016646 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035266853288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20105] ppid=20098 vsize=11852648 CPUtime=1.97 cores=0,2,4,6
/proc/20100/task/20105/stat : 20105 (java) S 20098 20100 18226 0 -1 4202560 128 0 0 0 195 2 0 0 20 0 22 0 338016646 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035265800488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20100/tid=20106] ppid=20098 vsize=11852648 CPUtime=2.22 cores=0,2,4,6
/proc/20100/task/20106/stat : 20106 (java) S 20098 20100 18226 0 -1 4202560 140 0 0 0 220 2 0 0 20 0 22 0 338016646 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035264747688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20100/tid=20107] ppid=20098 vsize=11852648 CPUtime=2.13 cores=0,2,4,6
/proc/20100/task/20107/stat : 20107 (java) S 20098 20100 18226 0 -1 4202560 134 0 0 0 212 1 0 0 20 0 22 0 338016646 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035263695912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20108] ppid=20098 vsize=11852648 CPUtime=2.05 cores=0,2,4,6
/proc/20100/task/20108/stat : 20108 (java) S 20098 20100 18226 0 -1 4202560 150 0 0 0 203 2 0 0 20 0 22 0 338016646 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035262643112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20109] ppid=20098 vsize=11852648 CPUtime=2.2 cores=0,2,4,6
/proc/20100/task/20109/stat : 20109 (java) S 20098 20100 18226 0 -1 4202560 136 0 0 0 218 2 0 0 20 0 22 0 338016646 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035109448488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20110] ppid=20098 vsize=11852648 CPUtime=2.2 cores=0,2,4,6
/proc/20100/task/20110/stat : 20110 (java) S 20098 20100 18226 0 -1 4202560 139 0 0 0 218 2 0 0 20 0 22 0 338016646 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035108395688 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20111] ppid=20098 vsize=11852648 CPUtime=84.09 cores=0,2,4,6
/proc/20100/task/20111/stat : 20111 (java) S 20098 20100 18226 0 -1 4202560 198 0 0 0 8400 9 0 0 20 0 22 0 338016647 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035096197608 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20100/tid=20112] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20112/stat : 20112 (java) S 20098 20100 18226 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338016648 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035095143672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20113] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20113/stat : 20113 (java) S 20098 20100 18226 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338016648 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035094090760 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20114] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20114/stat : 20114 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016650 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035093039248 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20115] ppid=20098 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/20100/task/20115/stat : 20115 (java) S 20098 20100 18226 0 -1 4202560 9103 0 0 0 103 0 0 0 20 0 22 0 338016650 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035091987384 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20116] ppid=20098 vsize=11852648 CPUtime=1.41 cores=0,2,4,6
/proc/20100/task/20116/stat : 20116 (java) S 20098 20100 18226 0 -1 4202560 8894 0 0 0 141 0 0 0 20 0 22 0 338016650 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035090934584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20117] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20117/stat : 20117 (java) S 20098 20100 18226 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338016650 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035089881976 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20100/tid=20118] ppid=20098 vsize=11852648 CPUtime=0.32 cores=0,2,4,6
/proc/20100/task/20118/stat : 20118 (java) S 20098 20100 18226 0 -1 4202560 55 0 0 0 15 17 0 0 20 0 22 0 338016650 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035088829384 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20122] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20122/stat : 20122 (java) S 20098 20100 18226 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338016683 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035084616488 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20135] ppid=20098 vsize=11852648 CPUtime=667.81 cores=0,2,4,6
/proc/20100/task/20135/stat : 20135 (java) R 20098 20100 18226 0 -1 4202560 95 0 0 0 66770 11 0 0 20 0 22 0 338036035 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035086721608 140035144291397 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20100/tid=20136] ppid=20098 vsize=11852648 CPUtime=667.6 cores=0,2,4,6
/proc/20100/task/20136/stat : 20136 (java) R 20098 20100 18226 0 -1 4202560 82 0 0 0 66748 12 0 0 20 0 22 0 338036035 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035085666928 140035144497463 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20100/tid=20137] ppid=20098 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/20100/task/20137/stat : 20137 (java) S 20098 20100 18226 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338036035 12137111552 224631 33554432000 1073741824 1073778376 140733698399984 140035087774632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 11852648

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20100 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=9117
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=52839
# CPU time returned by wait4() is 1796.06
# while last known CPU time is 1799.45
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.649994
#  lost CPU user time (s): 0.709991
#  lost CPU system time (s): -0.06

Real time (s): 939.939
CPU time (s): 1800.1
CPU user time (s): 1799.47
CPU system time (s): 0.63
CPU usage (%): 191.512
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.01
system time used= 1.05284
maximum resident set size= 898636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24779
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33714
involuntary context switches= 39562

runsolver used 3.41948 second user time and 8.59469 second system time

The end

Launcher Data 

Begin job on node117 at 2012-06-03 12:21:49
IDJOB=3736976
IDBENCH=48154
IDSOLVER=2328
FILE ID=node117/3736976-1338718909
RUNJOBID= node117-1338713269-18242
PBS_JOBID= 14636728
Free space on /tmp= 69124 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_3.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736976-1338718909/watcher-3736976-1338718909 -o /tmp/evaluation-result-3736976-1338718909/solver-3736976-1338718909 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736976-1338718909.opb

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

MD5SUM BENCH= cdb29f44159b0b72729019e0c0db0b8a
RANDOM SEED=475199660

node117.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.148
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	: 5334.29
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.148
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	: 5331.91
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.148
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	: 5331.91
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.148
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	: 5331.95
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.148
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	: 5331.91
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.148
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	: 5331.91
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.148
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	: 5331.91
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.148
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        26175328 kB
Buffers:          619068 kB
Cached:          4125988 kB
SwapCached:          776 kB
Active:          3327032 kB
Inactive:        2457768 kB
Active(anon):    1025552 kB
Inactive(anon):     9972 kB
Active(file):    2301480 kB
Inactive(file):  2447796 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:                84 kB
Writeback:             0 kB
AnonPages:       1039520 kB
Mapped:            20456 kB
Shmem:                80 kB
Slab:             776868 kB
SReclaimable:     221020 kB
SUnreclaim:       555848 kB
KernelStack:        1624 kB
PageTables:         6268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:   10461024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    985088 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69120 MiB
End job on node117 at 2012-06-03 12:37:31