Trace number 3454011

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)-65 1800.18 1003.7

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_3.opb
MD5SUM04b0fb885ddf05bea62d9eda618b3e5b
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-65
Best CPU time to get the best result obtained on this benchmark1800.18
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -79
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint25
Maximum length of a constraint49
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15722
Sum of products size (including duplicates)31444
Number of different products7861
Sum of products size15722

Quality of the solution as a function of time


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

Solver Data 

0.01/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.09	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.1.v20110525
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.18-164.el5
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		9996466904
0.01/0.09	c Max memory 		10048897024
0.01/0.09	c Total memory 		10048897024
0.01/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3454011-1307194943.opb
0.10/0.12	c reading problem ... 
1.58/0.71	c ... done. Wall clock time 0.593s.
1.58/0.71	c #vars     8361
1.58/0.71	c #constraints  24083
1.58/0.71	c constraints type 
1.58/0.71	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7861
1.58/0.71	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
1.58/0.71	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7861
1.58/0.71	c constraints type 
1.58/0.71	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7861
1.58/0.71	c org.sat4j.pb.constraints.pb.UnitClausesPB => 500
1.58/0.71	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7861
1.96/0.85	c  And the winner is Resolution
2.50/1.22	c SATISFIABLE
2.50/1.22	c OPTIMIZING...
2.50/1.22	c Got one! Elapsed wall clock time (in seconds):1.108
2.50/1.22	o -51
2.79/1.32	c  And the winner is CuttingPlanes
2.98/1.74	c Got one! Elapsed wall clock time (in seconds):1.622
2.98/1.74	o -52
2.98/1.75	c  And the winner is Resolution
3.08/2.24	c Got one! Elapsed wall clock time (in seconds):2.128
3.08/2.24	o -53
3.28/2.30	c  And the winner is Resolution
3.42/2.75	c Got one! Elapsed wall clock time (in seconds):2.637
3.42/2.75	o -54
3.42/2.78	c  And the winner is Resolution
3.50/3.26	c Got one! Elapsed wall clock time (in seconds):3.141
3.50/3.26	o -55
3.50/3.29	c  And the winner is Resolution
3.60/3.76	c Got one! Elapsed wall clock time (in seconds):3.647
3.60/3.76	o -56
3.70/3.83	c  And the winner is Resolution
3.86/4.27	c Got one! Elapsed wall clock time (in seconds):4.154
3.86/4.27	o -57
3.86/4.30	c  And the winner is Resolution
3.93/4.78	c Got one! Elapsed wall clock time (in seconds):4.662
3.93/4.78	o -58
3.96/4.88	c  And the winner is Resolution
4.20/5.29	c Got one! Elapsed wall clock time (in seconds):5.172
4.20/5.29	o -59
4.22/5.39	c  And the winner is Resolution
4.45/5.79	c Got one! Elapsed wall clock time (in seconds):5.677
4.45/5.79	o -60
4.66/5.94	c  And the winner is Resolution
4.83/6.30	c Got one! Elapsed wall clock time (in seconds):6.182
4.83/6.30	o -61
5.63/6.80	c cleaning 3990 clauses out of 7980 with flag 4000/7980
7.35/7.55	c cleaning 4995 clauses out of 9990 with flag 10000/13980
8.88/8.35	c cleaning 5996 clauses out of 11995 with flag 17000/20980
9.93/8.82	c  And the winner is Resolution
10.02/9.00	c Got one! Elapsed wall clock time (in seconds):8.879
10.02/9.00	o -62
10.48/9.26	c cleaning 5850 clauses out of 11700 with flag 2000/26681
12.00/10.02	c cleaning 5925 clauses out of 11850 with flag 8000/32681
13.52/10.84	c cleaning 6462 clauses out of 12925 with flag 15000/39681
15.46/11.80	c cleaning 7230 clauses out of 14463 with flag 23000/47681
16.38/12.33	c  And the winner is Resolution
16.61/12.57	c Got one! Elapsed wall clock time (in seconds):12.454
16.61/12.57	o -63
17.12/12.84	c cleaning 6438 clauses out of 12883 with flag 2000/53331
18.58/13.67	c cleaning 6217 clauses out of 12446 with flag 8001/59332
20.50/14.66	c cleaning 6610 clauses out of 13228 with flag 15000/66331
22.64/15.78	c cleaning 7308 clauses out of 14619 with flag 23001/74332
24.92/16.96	c cleaning 8155 clauses out of 16310 with flag 32000/83331
27.58/18.36	c cleaning 9069 clauses out of 18155 with flag 42000/93331
30.67/19.94	c cleaning 10037 clauses out of 20087 with flag 53001/104332
34.36/21.82	c cleaning 11024 clauses out of 22049 with flag 65000/116331
37.64/23.55	c cleaning 12007 clauses out of 24025 with flag 78000/129331
41.67/25.67	c cleaning 13008 clauses out of 26019 with flag 92001/143332
46.14/27.94	c cleaning 14003 clauses out of 28010 with flag 107000/158331
47.59/28.76	c  And the winner is Resolution
48.15/29.27	c Got one! Elapsed wall clock time (in seconds):29.154
48.15/29.27	o -64
49.63/30.00	c cleaning 12108 clauses out of 24215 with flag 5001/168539
51.68/31.14	c cleaning 9049 clauses out of 18106 with flag 11000/174538
54.05/32.48	c cleaning 8024 clauses out of 16058 with flag 18001/181539
56.09/33.56	c cleaning 8005 clauses out of 16033 with flag 26000/189538
58.33/34.75	c cleaning 8515 clauses out of 17029 with flag 35001/198539
60.96/36.14	c cleaning 9250 clauses out of 18513 with flag 45000/208538
63.93/37.76	c cleaning 10127 clauses out of 20263 with flag 56000/219538
67.16/39.48	c cleaning 11061 clauses out of 22136 with flag 68000/231538
70.78/41.31	c cleaning 12035 clauses out of 24076 with flag 81001/244539
75.21/43.62	c cleaning 13016 clauses out of 26040 with flag 95000/258538
79.98/46.14	c cleaning 14008 clauses out of 28026 with flag 110002/273540
83.76/48.18	c cleaning 15004 clauses out of 30018 with flag 126002/289540
88.39/50.58	c cleaning 16001 clauses out of 32013 with flag 143001/306539
93.38/53.19	c cleaning 16501 clauses out of 33012 with flag 160001/323539
96.73/54.93	c  And the winner is Resolution
97.43/55.69	c Got one! Elapsed wall clock time (in seconds):55.57
97.43/55.69	o -65
99.34/56.61	c cleaning 15944 clauses out of 31887 with flag 5000/338915
101.55/57.86	c cleaning 10972 clauses out of 21943 with flag 11000/344915
104.11/59.25	c cleaning 8978 clauses out of 17971 with flag 18000/351915
106.90/60.80	c cleaning 8491 clauses out of 16993 with flag 26000/359915
109.80/62.38	c cleaning 8743 clauses out of 17502 with flag 35000/368915
112.97/64.06	c cleaning 9372 clauses out of 18759 with flag 45000/378915
116.58/65.99	c cleaning 10190 clauses out of 20387 with flag 56000/389915
120.76/68.18	c cleaning 11093 clauses out of 22197 with flag 68000/401915
124.59/70.30	c cleaning 12048 clauses out of 24104 with flag 81000/414915
128.53/72.37	c cleaning 13023 clauses out of 26056 with flag 95000/428915
132.90/74.70	c cleaning 14010 clauses out of 28033 with flag 110000/443915
138.27/77.45	c cleaning 15008 clauses out of 30025 with flag 126002/459917
143.57/80.30	c cleaning 16006 clauses out of 32015 with flag 143000/476915
149.49/83.37	c cleaning 16497 clauses out of 33009 with flag 160000/493915
155.23/86.39	c cleaning 16757 clauses out of 33513 with flag 177001/510916
161.57/89.62	c cleaning 16877 clauses out of 33757 with flag 194002/527917
166.84/92.45	c cleaning 16919 clauses out of 33879 with flag 211001/544916
171.94/95.19	c cleaning 16974 clauses out of 33959 with flag 228000/561915
177.47/98.05	c cleaning 16985 clauses out of 33986 with flag 245001/578916
183.01/100.95	c cleaning 16996 clauses out of 34000 with flag 262000/595915
188.01/103.61	c cleaning 16994 clauses out of 34005 with flag 279001/612916
192.54/106.04	c cleaning 17002 clauses out of 34010 with flag 296000/629915
197.46/108.60	c cleaning 16997 clauses out of 34008 with flag 313000/646915
202.39/111.23	c cleaning 16995 clauses out of 34011 with flag 330000/663915
207.41/113.92	c cleaning 17000 clauses out of 34017 with flag 347001/680916
212.11/116.51	c cleaning 17001 clauses out of 34016 with flag 364000/697915
217.41/119.26	c cleaning 16999 clauses out of 34016 with flag 381001/714916
222.74/122.03	c cleaning 17000 clauses out of 34016 with flag 398000/731915
227.88/124.83	c cleaning 17003 clauses out of 34016 with flag 415000/748915
233.37/127.70	c cleaning 17004 clauses out of 34013 with flag 432000/765915
238.66/130.58	c cleaning 16995 clauses out of 34009 with flag 449000/782915
244.35/133.58	c cleaning 17008 clauses out of 34016 with flag 466002/799917
250.10/136.67	c cleaning 16989 clauses out of 34006 with flag 483000/816915
255.82/139.63	c cleaning 16998 clauses out of 34018 with flag 500001/833916
261.47/142.62	c cleaning 17007 clauses out of 34020 with flag 517001/850916
267.14/145.60	c cleaning 16996 clauses out of 34012 with flag 534000/867915
272.86/148.75	c cleaning 16997 clauses out of 34016 with flag 551000/884915
278.60/151.76	c cleaning 17010 clauses out of 34019 with flag 568000/901915
283.24/154.26	c cleaning 16996 clauses out of 34009 with flag 585000/918915
288.10/156.87	c cleaning 17000 clauses out of 34013 with flag 602000/935915
293.65/159.88	c cleaning 16997 clauses out of 34013 with flag 619000/952915
298.71/162.53	c cleaning 17006 clauses out of 34017 with flag 636001/969916
303.97/165.30	c cleaning 17003 clauses out of 34011 with flag 653001/986916
309.02/168.09	c cleaning 17001 clauses out of 34008 with flag 670001/1003916
314.56/171.04	c cleaning 16999 clauses out of 34006 with flag 687000/1020915
319.22/173.59	c cleaning 16996 clauses out of 34007 with flag 704000/1037915
324.86/176.54	c cleaning 17002 clauses out of 34012 with flag 721001/1054916
330.31/179.41	c cleaning 16991 clauses out of 34009 with flag 738000/1071915
335.79/182.44	c cleaning 17002 clauses out of 34018 with flag 755000/1088915
340.61/185.08	c cleaning 17001 clauses out of 34016 with flag 772000/1105915
345.88/187.84	c cleaning 16998 clauses out of 34017 with flag 789002/1122917
351.30/190.80	c cleaning 16999 clauses out of 34020 with flag 806003/1139918
356.76/193.75	c cleaning 17001 clauses out of 34018 with flag 823000/1156915
362.38/196.72	c cleaning 17001 clauses out of 34017 with flag 840000/1173915
368.00/199.79	c cleaning 17004 clauses out of 34017 with flag 857001/1190916
373.05/202.42	c cleaning 17001 clauses out of 34013 with flag 874001/1207916
378.45/205.44	c cleaning 16993 clauses out of 34011 with flag 891000/1224915
383.85/208.33	c cleaning 17004 clauses out of 34018 with flag 908000/1241915
389.09/211.19	c cleaning 16997 clauses out of 34014 with flag 925000/1258915
394.46/214.02	c cleaning 17001 clauses out of 34017 with flag 942000/1275915
400.13/217.14	c cleaning 16999 clauses out of 34017 with flag 959001/1292916
405.73/220.12	c cleaning 16999 clauses out of 34017 with flag 976000/1309915
411.33/223.21	c cleaning 16999 clauses out of 34018 with flag 993000/1326915
416.93/226.14	c cleaning 17007 clauses out of 34019 with flag 1010000/1343915
421.79/228.87	c cleaning 16996 clauses out of 34012 with flag 1027000/1360915
426.74/231.54	c cleaning 17004 clauses out of 34016 with flag 1044000/1377915
431.97/234.34	c cleaning 16993 clauses out of 34013 with flag 1061001/1394916
436.71/236.97	c cleaning 17006 clauses out of 34021 with flag 1078002/1411917
442.32/240.07	c cleaning 16993 clauses out of 34013 with flag 1095000/1428915
448.13/243.12	c cleaning 17007 clauses out of 34022 with flag 1112002/1445917
453.27/245.99	c cleaning 17002 clauses out of 34013 with flag 1129000/1462915
458.44/248.73	c cleaning 17002 clauses out of 34012 with flag 1146001/1479916
464.06/251.86	c cleaning 16999 clauses out of 34009 with flag 1163000/1496915
469.39/254.77	c cleaning 16988 clauses out of 34010 with flag 1180000/1513915
474.95/257.71	c cleaning 17006 clauses out of 34022 with flag 1197000/1530915
479.78/260.35	c cleaning 16999 clauses out of 34017 with flag 1214001/1547916
485.76/263.64	c cleaning 17000 clauses out of 34019 with flag 1231002/1564917
491.32/266.62	c cleaning 16997 clauses out of 34018 with flag 1248001/1581916
496.88/269.63	c cleaning 17005 clauses out of 34021 with flag 1265001/1598916
502.48/272.60	c cleaning 16992 clauses out of 34016 with flag 1282001/1615916
508.24/275.84	c cleaning 17004 clauses out of 34023 with flag 1299000/1632915
513.40/278.62	c cleaning 17005 clauses out of 34019 with flag 1316000/1649915
518.78/281.57	c cleaning 16998 clauses out of 34015 with flag 1333001/1666916
523.90/284.38	c cleaning 16999 clauses out of 34016 with flag 1350000/1683915
529.89/287.60	c cleaning 16998 clauses out of 34018 with flag 1367001/1700916
535.46/290.69	c cleaning 17003 clauses out of 34019 with flag 1384000/1717915
541.03/293.68	c cleaning 16999 clauses out of 34017 with flag 1401001/1734916
546.73/296.79	c cleaning 16995 clauses out of 34017 with flag 1418000/1751915
552.07/299.75	c cleaning 17004 clauses out of 34022 with flag 1435000/1768915
557.61/302.78	c cleaning 17005 clauses out of 34019 with flag 1452001/1785916
563.18/305.81	c cleaning 17004 clauses out of 34014 with flag 1469001/1802916
568.88/308.80	c cleaning 17001 clauses out of 34010 with flag 1486001/1819916
574.66/312.06	c cleaning 16991 clauses out of 34008 with flag 1503000/1836915
580.20/315.02	c cleaning 17003 clauses out of 34017 with flag 1520000/1853915
585.93/318.13	c cleaning 17001 clauses out of 34014 with flag 1537000/1870915
591.70/321.25	c cleaning 16996 clauses out of 34014 with flag 1554001/1887916
597.60/324.55	c cleaning 17001 clauses out of 34018 with flag 1571001/1904916
603.52/327.75	c cleaning 16991 clauses out of 34016 with flag 1588000/1921915
609.20/330.81	c cleaning 17005 clauses out of 34026 with flag 1605001/1938916
615.11/334.03	c cleaning 17001 clauses out of 34021 with flag 1622001/1955916
621.01/337.34	c cleaning 16997 clauses out of 34020 with flag 1639001/1972916
626.92/340.53	c cleaning 17000 clauses out of 34023 with flag 1656001/1989916
632.63/343.65	c cleaning 17002 clauses out of 34022 with flag 1673000/2006915
637.53/346.33	c cleaning 17006 clauses out of 34020 with flag 1690000/2023915
642.48/349.19	c cleaning 16998 clauses out of 34015 with flag 1707001/2040916
647.65/351.99	c cleaning 16999 clauses out of 34016 with flag 1724000/2057915
652.73/354.80	c cleaning 17006 clauses out of 34017 with flag 1741000/2074915
658.43/357.85	c cleaning 17006 clauses out of 34012 with flag 1758001/2091916
664.11/361.01	c cleaning 16990 clauses out of 34006 with flag 1775001/2108916
669.64/364.05	c cleaning 17004 clauses out of 34016 with flag 1792001/2125916
675.09/367.02	c cleaning 16994 clauses out of 34011 with flag 1809000/2142915
680.79/370.17	c cleaning 17007 clauses out of 34017 with flag 1826000/2159915
686.85/373.50	c cleaning 16997 clauses out of 34010 with flag 1843000/2176915
692.33/376.57	c cleaning 16999 clauses out of 34014 with flag 1860001/2193916
697.63/379.42	c cleaning 16998 clauses out of 34014 with flag 1877000/2210915
703.48/382.68	c cleaning 16999 clauses out of 34017 with flag 1894001/2227916
709.92/386.23	c cleaning 17001 clauses out of 34017 with flag 1911000/2244915
715.99/389.50	c cleaning 16998 clauses out of 34016 with flag 1928000/2261915
722.07/392.80	c cleaning 16995 clauses out of 34019 with flag 1945001/2278916
727.53/395.89	c cleaning 17003 clauses out of 34023 with flag 1962000/2295915
733.17/399.00	c cleaning 17003 clauses out of 34020 with flag 1979000/2312915
738.43/401.99	c cleaning 17003 clauses out of 34018 with flag 1996001/2329916
744.35/405.16	c cleaning 16999 clauses out of 34015 with flag 2013001/2346916
750.02/408.29	c cleaning 17004 clauses out of 34015 with flag 2030000/2363915
756.03/411.62	c cleaning 16994 clauses out of 34013 with flag 2047002/2380917
761.52/414.66	c cleaning 17000 clauses out of 34017 with flag 2064000/2397915
767.14/417.78	c cleaning 16998 clauses out of 34017 with flag 2081000/2414915
773.13/421.09	c cleaning 16996 clauses out of 34020 with flag 2098001/2431916
779.49/424.63	c cleaning 17008 clauses out of 34025 with flag 2115002/2448917
785.05/427.71	c cleaning 16998 clauses out of 34015 with flag 2132000/2465915
790.63/430.88	c cleaning 16997 clauses out of 34017 with flag 2149000/2482915
796.42/434.05	c cleaning 16996 clauses out of 34021 with flag 2166001/2499916
802.33/437.46	c cleaning 17009 clauses out of 34025 with flag 2183001/2516916
808.31/440.70	c cleaning 17003 clauses out of 34016 with flag 2200001/2533916
814.27/444.00	c cleaning 17003 clauses out of 34013 with flag 2217001/2550916
819.85/447.15	c cleaning 17003 clauses out of 34011 with flag 2234002/2567917
825.94/450.63	c cleaning 16999 clauses out of 34008 with flag 2251002/2584917
831.91/453.93	c cleaning 17001 clauses out of 34007 with flag 2268000/2601915
837.69/457.15	c cleaning 16996 clauses out of 34006 with flag 2285000/2618915
843.65/460.41	c cleaning 17000 clauses out of 34010 with flag 2302000/2635915
849.93/464.07	c cleaning 17000 clauses out of 34010 with flag 2319000/2652915
856.33/467.59	c cleaning 17004 clauses out of 34012 with flag 2336002/2669917
862.07/470.80	c cleaning 16996 clauses out of 34006 with flag 2353000/2686915
868.02/474.03	c cleaning 16994 clauses out of 34010 with flag 2370000/2703915
874.06/477.56	c cleaning 17001 clauses out of 34017 with flag 2387001/2720916
879.85/480.78	c cleaning 16999 clauses out of 34015 with flag 2404000/2737915
885.59/484.01	c cleaning 17003 clauses out of 34017 with flag 2421001/2754916
891.89/487.40	c cleaning 16988 clauses out of 34013 with flag 2438000/2771915
894.77/489.36	c cleaning 0 clauses out of 7586 with flag 0/7594
898.77/491.71	c cleaning 17007 clauses out of 34025 with flag 2455000/2788915
904.91/495.10	c cleaning 17003 clauses out of 34019 with flag 2472001/2805916
911.42/498.61	c cleaning 17006 clauses out of 34015 with flag 2489000/2822915
917.49/502.17	c cleaning 16998 clauses out of 34010 with flag 2506001/2839916
923.45/505.48	c cleaning 16992 clauses out of 34011 with flag 2523000/2856915
929.65/508.84	c cleaning 17002 clauses out of 34020 with flag 2540001/2873916
935.87/512.21	c cleaning 17003 clauses out of 34019 with flag 2557002/2890917
942.59/516.09	c cleaning 17003 clauses out of 34014 with flag 2574000/2907915
949.38/519.70	c cleaning 17005 clauses out of 34011 with flag 2591000/2924915
955.57/523.14	c cleaning 17001 clauses out of 34007 with flag 2608001/2941916
961.60/526.41	c cleaning 16995 clauses out of 34005 with flag 2625000/2958915
967.58/529.88	c cleaning 16994 clauses out of 34011 with flag 2642001/2975916
973.57/533.19	c cleaning 16995 clauses out of 34016 with flag 2659000/2992915
979.16/536.27	c cleaning 17006 clauses out of 34021 with flag 2676000/3009915
983.97/539.02	c cleaning 17001 clauses out of 34015 with flag 2693000/3026915
989.69/542.24	c cleaning 17001 clauses out of 34014 with flag 2710000/3043915
995.67/545.57	c cleaning 16999 clauses out of 34013 with flag 2727000/3060915
1001.21/548.60	c cleaning 17000 clauses out of 34016 with flag 2744002/3077917
1006.93/551.83	c cleaning 16997 clauses out of 34014 with flag 2761000/3094915
1012.69/555.14	c cleaning 17001 clauses out of 34017 with flag 2778000/3111915
1018.54/558.30	c cleaning 16996 clauses out of 34017 with flag 2795001/3128916
1023.54/561.13	c cleaning 17001 clauses out of 34020 with flag 2812000/3145915
1029.36/564.33	c cleaning 17002 clauses out of 34019 with flag 2829000/3162915
1035.42/567.82	c cleaning 16997 clauses out of 34017 with flag 2846000/3179915
1041.20/571.02	c cleaning 16998 clauses out of 34021 with flag 2863001/3196916
1046.38/573.92	c cleaning 17001 clauses out of 34022 with flag 2880000/3213915
1051.96/577.00	c cleaning 16999 clauses out of 34021 with flag 2897000/3230915
1058.06/580.53	c cleaning 17006 clauses out of 34023 with flag 2914001/3247916
1063.82/583.79	c cleaning 17007 clauses out of 34016 with flag 2931000/3264915
1069.19/586.80	c cleaning 16995 clauses out of 34011 with flag 2948002/3281917
1074.76/589.83	c cleaning 17006 clauses out of 34014 with flag 2965000/3298915
1080.32/593.01	c cleaning 16998 clauses out of 34008 with flag 2982000/3315915
1085.96/596.16	c cleaning 16994 clauses out of 34010 with flag 2999000/3332915
1091.69/599.37	c cleaning 16997 clauses out of 34016 with flag 3016000/3349915
1097.45/602.55	c cleaning 17001 clauses out of 34019 with flag 3033000/3366915
1103.56/606.04	c cleaning 17000 clauses out of 34019 with flag 3050001/3383916
1109.51/609.38	c cleaning 17002 clauses out of 34018 with flag 3067000/3400915
1115.23/612.50	c cleaning 17005 clauses out of 34016 with flag 3084000/3417915
1120.97/615.70	c cleaning 17002 clauses out of 34011 with flag 3101000/3434915
1126.63/619.07	c cleaning 16994 clauses out of 34009 with flag 3118000/3451915
1132.77/622.44	c cleaning 16993 clauses out of 34015 with flag 3135000/3468915
1138.72/625.76	c cleaning 16998 clauses out of 34022 with flag 3152000/3485915
1144.66/629.08	c cleaning 17004 clauses out of 34024 with flag 3169000/3502915
1151.12/632.71	c cleaning 17000 clauses out of 34021 with flag 3186001/3519916
1157.45/636.24	c cleaning 17003 clauses out of 34020 with flag 3203000/3536915
1163.59/639.61	c cleaning 17001 clauses out of 34018 with flag 3220001/3553916
1169.77/643.03	c cleaning 17000 clauses out of 34016 with flag 3237000/3570915
1175.90/646.59	c cleaning 16995 clauses out of 34016 with flag 3254000/3587915
1182.05/649.97	c cleaning 16996 clauses out of 34021 with flag 3271000/3604915
1188.23/653.40	c cleaning 16992 clauses out of 34025 with flag 3288000/3621915
1193.94/656.56	c cleaning 17012 clauses out of 34033 with flag 3305000/3638915
1200.38/660.27	c cleaning 17005 clauses out of 34022 with flag 3322001/3655916
1206.31/663.55	c cleaning 16999 clauses out of 34017 with flag 3339001/3672916
1212.24/666.83	c cleaning 17004 clauses out of 34017 with flag 3356000/3689915
1217.96/670.03	c cleaning 16997 clauses out of 34013 with flag 3373000/3706915
1223.99/673.55	c cleaning 17002 clauses out of 34016 with flag 3390000/3723915
1229.51/676.69	c cleaning 16995 clauses out of 34014 with flag 3407000/3740915
1235.42/679.91	c cleaning 17000 clauses out of 34019 with flag 3424000/3757915
1241.34/683.22	c cleaning 17005 clauses out of 34019 with flag 3441000/3774915
1247.16/686.68	c cleaning 17004 clauses out of 34015 with flag 3458001/3791916
1253.29/690.06	c cleaning 16996 clauses out of 34010 with flag 3475000/3808915
1259.20/693.31	c cleaning 17002 clauses out of 34014 with flag 3492000/3825915
1265.52/696.87	c cleaning 17000 clauses out of 34014 with flag 3509002/3842917
1271.72/700.48	c cleaning 16999 clauses out of 34013 with flag 3526001/3859916
1277.63/703.79	c cleaning 16995 clauses out of 34013 with flag 3543000/3876915
1283.69/707.17	c cleaning 17001 clauses out of 34018 with flag 3560000/3893915
1289.53/710.49	c cleaning 17004 clauses out of 34018 with flag 3577001/3910916
1296.23/714.36	c cleaning 16985 clauses out of 34013 with flag 3594000/3927915
1301.90/717.52	c cleaning 17006 clauses out of 34029 with flag 3611001/3944916
1307.43/720.69	c cleaning 17004 clauses out of 34023 with flag 3628001/3961916
1313.50/724.08	c cleaning 17002 clauses out of 34019 with flag 3645001/3978916
1320.00/727.84	c cleaning 16992 clauses out of 34016 with flag 3662000/3995915
1325.63/731.05	c cleaning 17005 clauses out of 34024 with flag 3679000/4012915
1331.67/734.45	c cleaning 16999 clauses out of 34020 with flag 3696001/4029916
1337.69/737.80	c cleaning 16997 clauses out of 34020 with flag 3713000/4046915
1343.98/741.59	c cleaning 17001 clauses out of 34023 with flag 3730000/4063915
1350.19/745.00	c cleaning 16999 clauses out of 34022 with flag 3747000/4080915
1356.21/748.47	c cleaning 17008 clauses out of 34024 with flag 3764001/4097916
1362.63/752.06	c cleaning 16999 clauses out of 34015 with flag 3781000/4114915
1369.30/755.99	c cleaning 17000 clauses out of 34017 with flag 3798001/4131916
1375.31/759.39	c cleaning 16997 clauses out of 34016 with flag 3815000/4148915
1381.32/762.76	c cleaning 17000 clauses out of 34019 with flag 3832000/4165915
1387.54/766.22	c cleaning 16999 clauses out of 34020 with flag 3849001/4182916
1394.03/770.07	c cleaning 16993 clauses out of 34020 with flag 3866000/4199915
1400.01/773.48	c cleaning 16997 clauses out of 34027 with flag 3883000/4216915
1406.41/777.01	c cleaning 17007 clauses out of 34031 with flag 3900001/4233916
1412.62/780.52	c cleaning 17005 clauses out of 34024 with flag 3917001/4250916
1419.11/784.38	c cleaning 17000 clauses out of 34018 with flag 3934000/4267915
1425.47/787.96	c cleaning 16990 clauses out of 34018 with flag 3951000/4284915
1431.67/791.46	c cleaning 17009 clauses out of 34028 with flag 3968000/4301915
1438.26/795.12	c cleaning 16989 clauses out of 34021 with flag 3985002/4318917
1444.70/798.96	c cleaning 17002 clauses out of 34030 with flag 4002000/4335915
1450.90/802.48	c cleaning 16997 clauses out of 34028 with flag 4019000/4352915
1457.30/806.06	c cleaning 17000 clauses out of 34031 with flag 4036000/4369915
1463.73/809.65	c cleaning 17006 clauses out of 34032 with flag 4053001/4386916
1470.45/813.41	c cleaning 17006 clauses out of 34025 with flag 4070000/4403915
1476.44/816.82	c cleaning 16997 clauses out of 34019 with flag 4087000/4420915
1482.62/820.38	c cleaning 16997 clauses out of 34022 with flag 4104000/4437915
1488.83/823.84	c cleaning 17003 clauses out of 34026 with flag 4121001/4454916
1495.42/827.77	c cleaning 17001 clauses out of 34022 with flag 4138000/4471915
1501.60/831.28	c cleaning 16997 clauses out of 34021 with flag 4155000/4488915
1507.37/834.59	c cleaning 17004 clauses out of 34024 with flag 4172000/4505915
1512.55/837.53	c cleaning 17003 clauses out of 34021 with flag 4189001/4522916
1518.55/841.11	c cleaning 17003 clauses out of 34017 with flag 4206000/4539915
1524.73/844.60	c cleaning 16991 clauses out of 34014 with flag 4223000/4556915
1530.27/847.85	c cleaning 17002 clauses out of 34023 with flag 4240000/4573915
1535.84/851.08	c cleaning 17002 clauses out of 34022 with flag 4257001/4590916
1541.95/854.64	c cleaning 17002 clauses out of 34020 with flag 4274001/4607916
1547.83/857.95	c cleaning 17000 clauses out of 34017 with flag 4291000/4624915
1553.21/861.01	c cleaning 17000 clauses out of 34017 with flag 4308000/4641915
1559.18/864.41	c cleaning 16999 clauses out of 34017 with flag 4325000/4658915
1565.57/868.26	c cleaning 17005 clauses out of 34018 with flag 4342000/4675915
1571.95/871.82	c cleaning 16990 clauses out of 34013 with flag 4359000/4692915
1577.50/875.04	c cleaning 17008 clauses out of 34023 with flag 4376000/4709915
1583.47/878.42	c cleaning 16999 clauses out of 34015 with flag 4393000/4726915
1589.89/882.29	c cleaning 16998 clauses out of 34016 with flag 4410000/4743915
1596.01/885.77	c cleaning 17000 clauses out of 34019 with flag 4427001/4760916
1602.19/889.24	c cleaning 17006 clauses out of 34019 with flag 4444001/4777916
1608.13/892.67	c cleaning 16999 clauses out of 34012 with flag 4461000/4794915
1614.10/896.28	c cleaning 16992 clauses out of 34013 with flag 4478000/4811915
1620.28/899.77	c cleaning 17006 clauses out of 34021 with flag 4495000/4828915
1626.39/903.27	c cleaning 16988 clauses out of 34015 with flag 4512000/4845915
1632.55/906.74	c cleaning 17005 clauses out of 34027 with flag 4529000/4862915
1639.13/910.60	c cleaning 17001 clauses out of 34023 with flag 4546001/4879916
1644.86/913.97	c cleaning 17000 clauses out of 34021 with flag 4563000/4896915
1651.06/917.45	c cleaning 17001 clauses out of 34021 with flag 4580000/4913915
1657.17/920.98	c cleaning 17003 clauses out of 34020 with flag 4597000/4930915
1663.35/924.60	c cleaning 17001 clauses out of 34018 with flag 4614001/4947916
1669.09/927.92	c cleaning 16994 clauses out of 34017 with flag 4631001/4964916
1674.83/931.30	c cleaning 17000 clauses out of 34023 with flag 4648001/4981916
1681.17/934.85	c cleaning 17007 clauses out of 34022 with flag 4665000/4998915
1687.52/938.65	c cleaning 16991 clauses out of 34015 with flag 4682000/5015915
1693.85/942.20	c cleaning 17002 clauses out of 34024 with flag 4699000/5032915
1699.78/945.61	c cleaning 16995 clauses out of 34022 with flag 4716000/5049915
1706.15/949.26	c cleaning 17005 clauses out of 34027 with flag 4733000/5066915
1712.46/953.08	c cleaning 16996 clauses out of 34022 with flag 4750000/5083915
1718.58/956.58	c cleaning 17001 clauses out of 34026 with flag 4767000/5100915
1724.90/960.13	c cleaning 17004 clauses out of 34025 with flag 4784000/5117915
1731.06/963.66	c cleaning 16996 clauses out of 34022 with flag 4801001/5134916
1737.95/967.73	c cleaning 17009 clauses out of 34027 with flag 4818002/5151917
1744.10/971.23	c cleaning 17001 clauses out of 34016 with flag 4835000/5168915
1750.03/974.68	c cleaning 16998 clauses out of 34015 with flag 4852000/5185915
1755.99/978.03	c cleaning 17000 clauses out of 34017 with flag 4869000/5202915
1762.04/981.69	c cleaning 17002 clauses out of 34017 with flag 4886000/5219915
1768.23/985.18	c cleaning 16998 clauses out of 34015 with flag 4903000/5236915
1774.42/988.64	c cleaning 17004 clauses out of 34018 with flag 4920001/5253916
1780.41/992.04	c cleaning 16997 clauses out of 34013 with flag 4937000/5270915
1786.65/995.73	c cleaning 16999 clauses out of 34016 with flag 4954000/5287915
1792.64/999.17	c cleaning 16998 clauses out of 34018 with flag 4971001/5304916
1798.82/1002.63	c cleaning 17002 clauses out of 34019 with flag 4988000/5321915
1800.04/1003.62	c starts		: 289
1800.04/1003.62	c conflicts		: 5323078
1800.04/1003.62	c decisions		: 5939120
1800.04/1003.62	c propagations		: 30579865
1800.04/1003.62	c inspects		: 3141790449
1800.04/1003.62	c shortcuts		: 0
1800.04/1003.62	c learnt literals	: 0
1800.04/1003.62	c learnt binary clauses	: 0
1800.04/1003.62	c learnt ternary clauses	: 0
1800.04/1003.62	c learnt constraints	: 5323080
1800.04/1003.62	c ignored constraints	: 0
1800.04/1003.62	c root simplifications	: 0
1800.04/1003.62	c removed literals (reason simplification)	: 61695466
1800.04/1003.62	c reason swapping (by a shorter reason)	: 0
1800.04/1003.62	c Calls to reduceDB	: 330
1800.04/1003.62	c number of reductions to clauses (during analyze)	: 0
1800.04/1003.62	c number of learned constraints concerned by reduction	: 0
1800.04/1003.62	c number of learning phase by resolution	: 0
1800.04/1003.62	c number of learning phase by cutting planes	: 0
1800.04/1003.62	c speed (assignments/second)	: 32259.40858938938
1800.04/1003.62	c non guided choices	0
1800.04/1003.64	c learnt constraints type 
1800.04/1003.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18252
1800.04/1003.64	c constraints type 
1800.04/1003.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7861
1800.04/1003.64	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
1800.04/1003.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.04/1003.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7861
1800.04/1003.64	c constraints type 
1800.04/1003.64	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7861
1800.04/1003.64	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.04/1003.64	c org.sat4j.pb.constraints.pb.UnitClausesPB => 500
1800.04/1003.64	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7861
1800.04/1003.64	s SATISFIABLE
1800.04/1003.64	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 x195 -x196 x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 x395 x396 -x397 -x398 -x399 -x400 x401 x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 x438 x439 x440 -x441 x442 -x443 x444 x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 x460 x461 x462 x463 -x464 x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 x477 -x478 x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 
1800.04/1003.64	c objective function=-65
1800.04/1003.64	c Total wall clock time (in seconds): 1003.521

Verifier Data 

OK	-65

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3454011-1307194943/watcher-3454011-1307194943 -o /tmp/evaluation-result-3454011-1307194943/solver-3454011-1307194943 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454011-1307194943.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.36 3.75 3.64 3/526 22882
/proc/meminfo: memFree=24860956/32951124 swapFree=56241860/67111528
[pid=22882] ppid=22880 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/22882/stat : 22882 (java) S 22880 22882 18760 0 -1 4202496 3475 0 1 0 0 0 0 0 18 0 2 0 909724956 10694979584 3178 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/22882/statm: 2611079 3192 917 9 0 2602235 0
[pid=22882/tid=22884] ppid=22880 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22884/stat : 22884 (java) R 22880 22882 18760 0 -1 4202560 4136 0 1 0 0 0 0 0 19 0 2 0 909724956 10694979584 4952 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0272811 s]
/proc/loadavg: 3.36 3.75 3.64 3/526 22882
/proc/meminfo: memFree=24860956/32951124 swapFree=56241860/67111528
[pid=22882] ppid=22880 vsize=10444480 CPUtime=0.01 cores=0,2,4,6
/proc/22882/stat : 22882 (java) S 22880 22882 18760 0 -1 4202496 9840 0 1 0 0 1 0 0 18 0 2 0 909724956 10695147520 9542 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/22882/statm: 2611377 9546 928 9 0 2602533 0
[pid=22882/tid=22884] ppid=22880 vsize=10446536 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22884/stat : 22884 (java) R 22880 22882 18760 0 -1 4202560 8732 0 1 0 0 0 0 0 20 0 3 0 909724956 10697252864 9549 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216735221943 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444480

[startup+0.100225 s]
/proc/loadavg: 3.36 3.75 3.64 3/526 22882
/proc/meminfo: memFree=24860956/32951124 swapFree=56241860/67111528
[pid=22882] ppid=22880 vsize=10539564 CPUtime=0.1 cores=0,2,4,6
/proc/22882/stat : 22882 (java) S 22880 22882 18760 0 -1 4202496 12958 0 1 0 8 2 0 0 18 0 18 0 909724956 10792513536 12644 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22882/statm: 2634891 12645 2092 9 0 2625625 0
[pid=22882/tid=22884] ppid=22880 vsize=10539564 CPUtime=0.07 cores=0,2,4,6
/proc/22882/task/22884/stat : 22884 (java) R 22880 22882 18760 0 -1 4202560 11028 0 1 0 6 1 0 0 18 0 18 0 909724956 10792513536 12645 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216747005387 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539564

[startup+0.306131 s]
/proc/loadavg: 3.36 3.75 3.64 3/526 22882
/proc/meminfo: memFree=24860956/32951124 swapFree=56241860/67111528
[pid=22882] ppid=22880 vsize=10539840 CPUtime=0.48 cores=0,2,4,6
/proc/22882/stat : 22882 (java) S 22880 22882 18760 0 -1 4202496 15731 0 1 0 45 3 0 0 18 0 18 0 909724956 10792796160 15010 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22882/statm: 2634960 15011 2207 9 0 2625694 0
[pid=22882/tid=22884] ppid=22880 vsize=10539840 CPUtime=0.28 cores=0,2,4,6
/proc/22882/task/22884/stat : 22884 (java) R 22880 22882 18760 0 -1 4202560 12808 0 1 0 26 2 0 0 18 0 18 0 909724956 10792796160 15011 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 46912505181424 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10539840

[startup+0.701178 s]
/proc/loadavg: 3.36 3.75 3.64 3/526 22882
/proc/meminfo: memFree=24860956/32951124 swapFree=56241860/67111528
[pid=22882] ppid=22880 vsize=10551864 CPUtime=1.58 cores=0,2,4,6
/proc/22882/stat : 22882 (java) S 22880 22882 18760 0 -1 4202496 34959 0 1 0 152 6 0 0 18 0 18 0 909724956 10805108736 29468 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22882/statm: 2637966 29469 2232 9 0 2628700 0
[pid=22882/tid=22884] ppid=22880 vsize=10551864 CPUtime=0.67 cores=0,2,4,6
/proc/22882/task/22884/stat : 22884 (java) R 22880 22882 18760 0 -1 4202560 20651 0 1 0 64 3 0 0 18 0 18 0 909724956 10805108736 29470 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 46912505573935 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10551864

[startup+1.50105 s]
/proc/loadavg: 3.36 3.75 3.64 4/564 22928
/proc/meminfo: memFree=24693984/32951124 swapFree=56241860/67111528
[pid=22882] ppid=22880 vsize=10559124 CPUtime=2.98 cores=0,2,4,6
/proc/22882/stat : 22882 (java) S 22880 22882 18760 0 -1 4202496 39225 0 1 0 292 6 0 0 18 0 19 0 909724956 10812542976 32788 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22882/statm: 2639781 32788 2246 9 0 2630515 0
[pid=22882/tid=22884] ppid=22880 vsize=10559124 CPUtime=0.7 cores=0,2,4,6
/proc/22882/task/22884/stat : 22884 (java) S 22880 22882 18760 0 -1 4202560 21080 0 1 0 67 3 0 0 16 0 19 0 909724956 10812542976 32788 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22887] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22887/stat : 22887 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 909724958 10812542976 32788 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22888] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22888/stat : 22888 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909724958 10812542976 32788 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22889] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22889/stat : 22889 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909724958 10812542976 32788 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22890] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22890/stat : 22890 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909724958 10812542976 32788 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22891] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22891/stat : 22891 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909724958 10812542976 32788 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22893] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22893/stat : 22893 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909724958 10812542976 32788 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22895] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22895/stat : 22895 (java) S 22880 22882 18760 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 909724958 10812542976 32788 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22897] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22897/stat : 22897 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 909724958 10812542976 32788 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22903] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22903/stat : 22903 (java) S 22880 22882 18760 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 909724959 10812542976 32788 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 0 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22905] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22905/stat : 22905 (java) S 22880 22882 18760 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 909724960 10812542976 32788 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22907] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22907/stat : 22907 (java) S 22880 22882 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909724960 10812542976 32788 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22909] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22909/stat : 22909 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909724962 10812542976 32788 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216747002289 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22911] ppid=22880 vsize=10559124 CPUtime=0.93 cores=0,2,4,6
/proc/22882/task/22911/stat : 22911 (java) S 22880 22882 18760 0 -1 4202560 6303 0 0 0 92 1 0 0 25 0 19 0 909724962 10812542976 32788 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22913] ppid=22880 vsize=10559124 CPUtime=0.88 cores=0,2,4,6
/proc/22882/task/22913/stat : 22913 (java) S 22880 22882 18760 0 -1 4202560 8678 0 0 0 87 1 0 0 16 0 19 0 909724962 10812542976 32788 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 2 0 0 0
[pid=22882/tid=22915] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22915/stat : 22915 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909724962 10812542976 32788 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22917] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22917/stat : 22917 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909724962 10812542976 32788 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 10559124

[startup+3.10071 s]
/proc/loadavg: 3.36 3.75 3.64 2/564 22939
/proc/meminfo: memFree=24678380/32951124 swapFree=56241860/67111528
[pid=22882] ppid=22880 vsize=10559124 CPUtime=3.5 cores=0,2,4,6
/proc/22882/stat : 22882 (java) S 22880 22882 18760 0 -1 4202496 43795 0 1 0 343 7 0 0 18 0 19 0 909724956 10812542976 37357 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22882/statm: 2639781 37357 2246 9 0 2630515 0
[pid=22882/tid=22884] ppid=22880 vsize=10559124 CPUtime=0.71 cores=0,2,4,6
/proc/22882/task/22884/stat : 22884 (java) S 22880 22882 18760 0 -1 4202560 21219 0 1 0 68 3 0 0 17 0 19 0 909724956 10812542976 37357 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 4 0 16800975 18446604452868982656 0 0 -1 2 0 0 0
[pid=22882/tid=22887] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22887/stat : 22887 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 909724958 10812542976 37357 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22888] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22888/stat : 22888 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909724958 10812542976 37357 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22889] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22889/stat : 22889 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909724958 10812542976 37357 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22890] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22890/stat : 22890 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909724958 10812542976 37357 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22891] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22891/stat : 22891 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909724958 10812542976 37357 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22893] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22893/stat : 22893 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909724958 10812542976 37357 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22895] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22895/stat : 22895 (java) S 22880 22882 18760 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 909724958 10812542976 37357 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22897] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22897/stat : 22897 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 909724958 10812542976 37357 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22903] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22903/stat : 22903 (java) S 22880 22882 18760 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 909724959 10812542976 37357 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 0 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22905] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22905/stat : 22905 (java) S 22880 22882 18760 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 909724960 10812542976 37357 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22907] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22907/stat : 22907 (java) S 22880 22882 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909724960 10812542976 37357 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22909] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22909/stat : 22909 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909724962 10812542976 37357 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216747002289 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22911] ppid=22880 vsize=10559124 CPUtime=1.09 cores=0,2,4,6
/proc/22882/task/22911/stat : 22911 (java) S 22880 22882 18760 0 -1 4202560 6324 0 0 0 108 1 0 0 15 0 19 0 909724962 10812542976 37357 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22913] ppid=22880 vsize=10559124 CPUtime=1.03 cores=0,2,4,6
/proc/22882/task/22913/stat : 22913 (java) S 22880 22882 18760 0 -1 4202560 8696 0 0 0 102 1 0 0 15 0 19 0 909724962 10812542976 37357 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 2 0 0 0
[pid=22882/tid=22915] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22915/stat : 22915 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909724962 10812542976 37357 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22917] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22917/stat : 22917 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909724962 10812542976 37357 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22939] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22939/stat : 22939 (java) S 22880 22882 18760 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 19 0 909725130 10812542976 37357 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 10559124

[startup+6.30117 s]
/proc/loadavg: 3.09 3.69 3.62 2/565 23021
/proc/meminfo: memFree=24510736/32951124 swapFree=56241860/67111528
[pid=22882] ppid=22880 vsize=10559124 CPUtime=4.83 cores=0,2,4,6
/proc/22882/stat : 22882 (java) S 22880 22882 18760 0 -1 4202496 72768 0 1 0 473 10 0 0 18 0 19 0 909724956 10812542976 66313 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22882/statm: 2639781 66316 2248 9 0 2630515 0
[pid=22882/tid=22884] ppid=22880 vsize=10559124 CPUtime=0.72 cores=0,2,4,6
/proc/22882/task/22884/stat : 22884 (java) R 22880 22882 18760 0 -1 4202560 21507 0 1 0 69 3 0 0 15 0 19 0 909724956 10812542976 66316 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 46912506402547 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22882/tid=22887] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22887/stat : 22887 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 909724958 10812542976 66316 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22888] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22888/stat : 22888 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909724958 10812542976 66316 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22889] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22889/stat : 22889 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909724958 10812542976 66316 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22890] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22890/stat : 22890 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909724958 10812542976 66316 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22891] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22891/stat : 22891 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909724958 10812542976 66316 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22893] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22893/stat : 22893 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909724958 10812542976 66316 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22895] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22895/stat : 22895 (java) S 22880 22882 18760 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 909724958 10812542976 66316 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22897] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22897/stat : 22897 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 909724958 10812542976 66316 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22903] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22903/stat : 22903 (java) S 22880 22882 18760 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 909724959 10812542976 66316 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 0 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22905] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22905/stat : 22905 (java) S 22880 22882 18760 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 909724960 10812542976 66316 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22907] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22907/stat : 22907 (java) S 22880 22882 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909724960 10812542976 66316 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22909] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22909/stat : 22909 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909724962 10812542976 66316 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216747002289 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22911] ppid=22880 vsize=10559124 CPUtime=1.19 cores=0,2,4,6
/proc/22882/task/22911/stat : 22911 (java) S 22880 22882 18760 0 -1 4202560 6339 0 0 0 118 1 0 0 15 0 19 0 909724962 10812542976 66316 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22913] ppid=22880 vsize=10559124 CPUtime=1.14 cores=0,2,4,6
/proc/22882/task/22913/stat : 22913 (java) S 22880 22882 18760 0 -1 4202560 8709 0 0 0 113 1 0 0 15 0 19 0 909724962 10812542976 66316 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 2 0 0 0
[pid=22882/tid=22915] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22915/stat : 22915 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909724962 10812542976 66316 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0

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

[pid=22882/tid=23063] ppid=22880 vsize=10559124 CPUtime=656.47 cores=0,2,4,6
/proc/22882/task/23063/stat : 23063 (java) S 22880 22882 18760 0 -1 4202560 63 0 0 0 65647 0 0 0 22 0 22 0 909730525 10812542976 301699 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 2 0 0 0
[pid=22882/tid=23064] ppid=22880 vsize=10559124 CPUtime=656.45 cores=0,2,4,6
/proc/22882/task/23064/stat : 23064 (java) S 22880 22882 18760 0 -1 4202560 18544 0 0 0 65642 3 0 0 23 0 22 0 909730525 10812542976 301699 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=23065] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/23065/stat : 23065 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909730525 10812542976 301699 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 4 0 16800975 18446604452868982656 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1590.11
Current children cumulated vsize (KiB) 10559124

[startup+942.301 s]
/proc/loadavg: 3.68 3.68 3.64 5/570 23091
/proc/meminfo: memFree=22529032/32951124 swapFree=56241860/67111528
[pid=22882] ppid=22880 vsize=10559124 CPUtime=1694.01 cores=0,2,4,6
/proc/22882/stat : 22882 (java) S 22880 22882 18760 0 -1 4202496 311314 0 1 0 169354 47 0 0 18 0 22 0 909724956 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22882/statm: 2639781 304407 2273 9 0 2630515 0
[pid=22882/tid=22884] ppid=22880 vsize=10559124 CPUtime=0.74 cores=0,2,4,6
/proc/22882/task/22884/stat : 22884 (java) S 22880 22882 18760 0 -1 4202560 21765 0 1 0 71 3 0 0 15 0 22 0 909724956 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22887] ppid=22880 vsize=10559124 CPUtime=2 cores=0,2,4,6
/proc/22882/task/22887/stat : 22887 (java) S 22880 22882 18760 0 -1 4202560 3036 0 0 0 200 0 0 0 16 0 22 0 909724958 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22888] ppid=22880 vsize=10559124 CPUtime=1.81 cores=0,2,4,6
/proc/22882/task/22888/stat : 22888 (java) S 22880 22882 18760 0 -1 4202560 1089 0 0 0 181 0 0 0 15 0 22 0 909724958 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22889] ppid=22880 vsize=10559124 CPUtime=1.98 cores=0,2,4,6
/proc/22882/task/22889/stat : 22889 (java) S 22880 22882 18760 0 -1 4202560 758 0 0 0 198 0 0 0 15 0 22 0 909724958 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22890] ppid=22880 vsize=10559124 CPUtime=2.15 cores=0,2,4,6
/proc/22882/task/22890/stat : 22890 (java) S 22880 22882 18760 0 -1 4202560 3699 0 0 0 214 1 0 0 16 0 22 0 909724958 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22891] ppid=22880 vsize=10559124 CPUtime=1.99 cores=0,2,4,6
/proc/22882/task/22891/stat : 22891 (java) S 22880 22882 18760 0 -1 4202560 1325 0 0 0 199 0 0 0 16 0 22 0 909724958 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22893] ppid=22880 vsize=10559124 CPUtime=1.89 cores=0,2,4,6
/proc/22882/task/22893/stat : 22893 (java) S 22880 22882 18760 0 -1 4202560 3207 0 0 0 189 0 0 0 15 0 22 0 909724958 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22895] ppid=22880 vsize=10559124 CPUtime=1.7 cores=0,2,4,6
/proc/22882/task/22895/stat : 22895 (java) S 22880 22882 18760 0 -1 4202560 1602 0 0 0 170 0 0 0 16 0 22 0 909724958 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22897] ppid=22880 vsize=10559124 CPUtime=1.91 cores=0,2,4,6
/proc/22882/task/22897/stat : 22897 (java) S 22880 22882 18760 0 -1 4202560 1086 0 0 0 191 0 0 0 16 0 22 0 909724958 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 2 0 0 0
[pid=22882/tid=22903] ppid=22880 vsize=10559124 CPUtime=187.89 cores=0,2,4,6
/proc/22882/task/22903/stat : 22903 (java) R 22880 22882 18760 0 -1 4202560 111938 0 0 0 18773 16 0 0 15 0 22 0 909724959 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 47988041380233 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=22882/tid=22905] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22905/stat : 22905 (java) S 22880 22882 18760 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 909724960 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22907] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22907/stat : 22907 (java) S 22880 22882 18760 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 909724960 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22909] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22909/stat : 22909 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909724962 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216747002289 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22911] ppid=22880 vsize=10559124 CPUtime=1.59 cores=0,2,4,6
/proc/22882/task/22911/stat : 22911 (java) S 22880 22882 18760 0 -1 4202560 6372 0 0 0 158 1 0 0 16 0 22 0 909724962 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22913] ppid=22880 vsize=10559124 CPUtime=1.23 cores=0,2,4,6
/proc/22882/task/22913/stat : 22913 (java) S 22880 22882 18760 0 -1 4202560 8732 0 0 0 122 1 0 0 15 0 22 0 909724962 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 2 0 0 0
[pid=22882/tid=22915] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22915/stat : 22915 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909724962 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22917] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22917/stat : 22917 (java) S 22880 22882 18760 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 909724962 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22939] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22939/stat : 22939 (java) S 22880 22882 18760 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 909725130 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=23063] ppid=22880 vsize=10559124 CPUtime=699.53 cores=0,2,4,6
/proc/22882/task/23063/stat : 23063 (java) S 22880 22882 18760 0 -1 4202560 63 0 0 0 69953 0 0 0 22 0 22 0 909730525 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 2 0 0 0
[pid=22882/tid=23064] ppid=22880 vsize=10559124 CPUtime=699.51 cores=0,2,4,6
/proc/22882/task/23064/stat : 23064 (java) S 22880 22882 18760 0 -1 4202560 18544 0 0 0 69948 3 0 0 23 0 22 0 909730525 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=23065] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/23065/stat : 23065 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909730525 10812542976 304407 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 4 0 16800975 18446604452868982656 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1694.01
Current children cumulated vsize (KiB) 10559124

[startup+1002.3 s]
/proc/loadavg: 3.62 3.66 3.63 4/551 23096
/proc/meminfo: memFree=22828480/32951124 swapFree=56241860/67111528
[pid=22882] ppid=22880 vsize=10559124 CPUtime=1798.22 cores=0,2,4,6
/proc/22882/stat : 22882 (java) S 22880 22882 18760 0 -1 4202496 314616 0 1 0 179774 48 0 0 18 0 22 0 909724956 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22882/statm: 2639781 307684 2273 9 0 2630515 0
[pid=22882/tid=22884] ppid=22880 vsize=10559124 CPUtime=0.74 cores=0,2,4,6
/proc/22882/task/22884/stat : 22884 (java) S 22880 22882 18760 0 -1 4202560 21775 0 1 0 71 3 0 0 15 0 22 0 909724956 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22887] ppid=22880 vsize=10559124 CPUtime=2.19 cores=0,2,4,6
/proc/22882/task/22887/stat : 22887 (java) S 22880 22882 18760 0 -1 4202560 3049 0 0 0 219 0 0 0 15 0 22 0 909724958 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22888] ppid=22880 vsize=10559124 CPUtime=1.96 cores=0,2,4,6
/proc/22882/task/22888/stat : 22888 (java) S 22880 22882 18760 0 -1 4202560 1100 0 0 0 196 0 0 0 16 0 22 0 909724958 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22889] ppid=22880 vsize=10559124 CPUtime=2.08 cores=0,2,4,6
/proc/22882/task/22889/stat : 22889 (java) S 22880 22882 18760 0 -1 4202560 765 0 0 0 208 0 0 0 15 0 22 0 909724958 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22890] ppid=22880 vsize=10559124 CPUtime=2.27 cores=0,2,4,6
/proc/22882/task/22890/stat : 22890 (java) S 22880 22882 18760 0 -1 4202560 3715 0 0 0 226 1 0 0 16 0 22 0 909724958 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22891] ppid=22880 vsize=10559124 CPUtime=2.15 cores=0,2,4,6
/proc/22882/task/22891/stat : 22891 (java) S 22880 22882 18760 0 -1 4202560 1325 0 0 0 215 0 0 0 15 0 22 0 909724958 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22893] ppid=22880 vsize=10559124 CPUtime=2.03 cores=0,2,4,6
/proc/22882/task/22893/stat : 22893 (java) S 22880 22882 18760 0 -1 4202560 3212 0 0 0 203 0 0 0 15 0 22 0 909724958 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22895] ppid=22880 vsize=10559124 CPUtime=1.8 cores=0,2,4,6
/proc/22882/task/22895/stat : 22895 (java) S 22880 22882 18760 0 -1 4202560 1602 0 0 0 180 0 0 0 16 0 22 0 909724958 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22897] ppid=22880 vsize=10559124 CPUtime=2 cores=0,2,4,6
/proc/22882/task/22897/stat : 22897 (java) S 22880 22882 18760 0 -1 4202560 1086 0 0 0 200 0 0 0 16 0 22 0 909724958 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22903] ppid=22880 vsize=10559124 CPUtime=204.17 cores=0,2,4,6
/proc/22882/task/22903/stat : 22903 (java) S 22880 22882 18760 0 -1 4202560 115167 0 0 0 20401 16 0 0 15 0 22 0 909724959 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 0 0 16800975 18446604452868982656 0 0 -1 2 0 0 0
[pid=22882/tid=22905] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22905/stat : 22905 (java) S 22880 22882 18760 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 909724960 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22907] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22907/stat : 22907 (java) S 22880 22882 18760 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 909724960 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22909] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22909/stat : 22909 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909724962 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216747002289 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22911] ppid=22880 vsize=10559124 CPUtime=1.59 cores=0,2,4,6
/proc/22882/task/22911/stat : 22911 (java) S 22880 22882 18760 0 -1 4202560 6372 0 0 0 158 1 0 0 16 0 22 0 909724962 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22913] ppid=22880 vsize=10559124 CPUtime=1.23 cores=0,2,4,6
/proc/22882/task/22913/stat : 22913 (java) S 22880 22882 18760 0 -1 4202560 8732 0 0 0 122 1 0 0 15 0 22 0 909724962 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 2 0 0 0
[pid=22882/tid=22915] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22915/stat : 22915 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909724962 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22917] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22917/stat : 22917 (java) S 22880 22882 18760 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 909724962 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22939] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22939/stat : 22939 (java) S 22880 22882 18760 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 909725130 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=23063] ppid=22880 vsize=10559124 CPUtime=742.97 cores=0,2,4,6
/proc/22882/task/23063/stat : 23063 (java) R 22880 22882 18760 0 -1 4202560 70 0 0 0 74297 0 0 0 21 0 22 0 909730525 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 46912506326160 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22882/tid=23064] ppid=22880 vsize=10559124 CPUtime=742.95 cores=0,2,4,6
/proc/22882/task/23064/stat : 23064 (java) R 22880 22882 18760 0 -1 4202560 18544 0 0 0 74291 4 0 0 21 0 22 0 909730525 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 46912506197817 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22882/tid=23065] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/23065/stat : 23065 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909730525 10812542976 307684 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 4 0 16800975 18446604452868982656 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1798.22
Current children cumulated vsize (KiB) 10559124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1003.6 s]
/proc/loadavg: 3.62 3.66 3.63 3/547 23096
/proc/meminfo: memFree=23624456/32951124 swapFree=56241860/67111528
[pid=22882] ppid=22880 vsize=10559124 CPUtime=1800.04 cores=0,2,4,6
/proc/22882/stat : 22882 (java) S 22880 22882 18760 0 -1 4202496 315163 0 1 0 179956 48 0 0 18 0 22 0 909724956 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22882/statm: 2639781 308230 2273 9 0 2630515 0
[pid=22882/tid=22884] ppid=22880 vsize=10559124 CPUtime=0.74 cores=0,2,4,6
/proc/22882/task/22884/stat : 22884 (java) S 22880 22882 18760 0 -1 4202560 21775 0 1 0 71 3 0 0 15 0 22 0 909724956 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22887] ppid=22880 vsize=10559124 CPUtime=2.2 cores=0,2,4,6
/proc/22882/task/22887/stat : 22887 (java) S 22880 22882 18760 0 -1 4202560 3049 0 0 0 220 0 0 0 15 0 22 0 909724958 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22888] ppid=22880 vsize=10559124 CPUtime=1.97 cores=0,2,4,6
/proc/22882/task/22888/stat : 22888 (java) S 22880 22882 18760 0 -1 4202560 1100 0 0 0 197 0 0 0 16 0 22 0 909724958 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22889] ppid=22880 vsize=10559124 CPUtime=2.09 cores=0,2,4,6
/proc/22882/task/22889/stat : 22889 (java) S 22880 22882 18760 0 -1 4202560 765 0 0 0 209 0 0 0 16 0 22 0 909724958 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22890] ppid=22880 vsize=10559124 CPUtime=2.28 cores=0,2,4,6
/proc/22882/task/22890/stat : 22890 (java) S 22880 22882 18760 0 -1 4202560 3716 0 0 0 227 1 0 0 16 0 22 0 909724958 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22891] ppid=22880 vsize=10559124 CPUtime=2.15 cores=0,2,4,6
/proc/22882/task/22891/stat : 22891 (java) S 22880 22882 18760 0 -1 4202560 1325 0 0 0 215 0 0 0 15 0 22 0 909724958 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22893] ppid=22880 vsize=10559124 CPUtime=2.03 cores=0,2,4,6
/proc/22882/task/22893/stat : 22893 (java) S 22880 22882 18760 0 -1 4202560 3212 0 0 0 203 0 0 0 15 0 22 0 909724958 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 0 0 0 0
[pid=22882/tid=22895] ppid=22880 vsize=10559124 CPUtime=1.8 cores=0,2,4,6
/proc/22882/task/22895/stat : 22895 (java) S 22880 22882 18760 0 -1 4202560 1602 0 0 0 180 0 0 0 15 0 22 0 909724958 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22897] ppid=22880 vsize=10559124 CPUtime=2.02 cores=0,2,4,6
/proc/22882/task/22897/stat : 22897 (java) S 22880 22882 18760 0 -1 4202560 1086 0 0 0 202 0 0 0 16 0 22 0 909724958 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22903] ppid=22880 vsize=10559124 CPUtime=205.01 cores=0,2,4,6
/proc/22882/task/22903/stat : 22903 (java) S 22880 22882 18760 0 -1 4202560 115712 0 0 0 20485 16 0 0 16 0 22 0 909724959 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 0 0 16800975 18446604452868982656 0 0 -1 2 0 0 0
[pid=22882/tid=22905] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22905/stat : 22905 (java) S 22880 22882 18760 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 909724960 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22907] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22907/stat : 22907 (java) S 22880 22882 18760 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 909724960 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=22909] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22909/stat : 22909 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909724962 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216747002289 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22911] ppid=22880 vsize=10559124 CPUtime=1.59 cores=0,2,4,6
/proc/22882/task/22911/stat : 22911 (java) S 22880 22882 18760 0 -1 4202560 6372 0 0 0 158 1 0 0 16 0 22 0 909724962 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22913] ppid=22880 vsize=10559124 CPUtime=1.23 cores=0,2,4,6
/proc/22882/task/22913/stat : 22913 (java) S 22880 22882 18760 0 -1 4202560 8732 0 0 0 122 1 0 0 15 0 22 0 909724962 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 2 0 0 0
[pid=22882/tid=22915] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22915/stat : 22915 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909724962 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746994585 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22917] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22917/stat : 22917 (java) S 22880 22882 18760 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 909724962 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 4 0 16800975 18446604452868982656 0 0 -1 4 0 0 0
[pid=22882/tid=22939] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/22939/stat : 22939 (java) S 22880 22882 18760 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 909725130 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 4 0 16800975 18446604452868982656 0 0 -1 6 0 0 0
[pid=22882/tid=23063] ppid=22880 vsize=10559124 CPUtime=743.43 cores=0,2,4,6
/proc/22882/task/23063/stat : 23063 (java) R 22880 22882 18760 0 -1 4202560 71 0 0 0 74343 0 0 0 18 0 22 0 909730525 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 46912506164916 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22882/tid=23064] ppid=22880 vsize=10559124 CPUtime=743.41 cores=0,2,4,6
/proc/22882/task/23064/stat : 23064 (java) R 22880 22882 18760 0 -1 4202560 18544 0 0 0 74337 4 0 0 18 0 22 0 909730525 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 46912506173775 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22882/tid=23065] ppid=22880 vsize=10559124 CPUtime=0 cores=0,2,4,6
/proc/22882/task/23065/stat : 23065 (java) S 22880 22882 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909730525 10812542976 308230 33554432000 1073741824 1073778376 140734059275840 18446744073709551615 216746995200 0 4 0 16800975 18446604452868982656 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10559124

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

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

Child status: 143
Real time (s): 1003.7
CPU time (s): 1800.18
CPU user time (s): 1799.64
CPU system time (s): 0.544917
CPU usage (%): 179.355
Max. virtual memory (cumulated for all children) (KiB): 10559124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.544917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315193
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33154
involuntary context switches= 17926

runsolver used 6.01809 second user time and 12.3091 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-04 15:42:23
IDJOB=3454011
IDBENCH=48215
IDSOLVER=1950
FILE ID=node119/3454011-1307194943
RUNJOBID= node119-1307194943-22863
PBS_JOBID= 13508823
Free space on /tmp= 73664 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_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-3454011-1307194943/watcher-3454011-1307194943 -o /tmp/evaluation-result-3454011-1307194943/solver-3454011-1307194943 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454011-1307194943.opb

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

MD5SUM BENCH= 04b0fb885ddf05bea62d9eda618b3e5b
RANDOM SEED=236313621

node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24861112 kB
Buffers:        253308 kB
Cached:         646968 kB
SwapCached:      59076 kB
Active:         726580 kB
Inactive:      7066056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24861112 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:             992 kB
Writeback:           0 kB
AnonPages:     6836732 kB
Mapped:          33380 kB
Slab:           149736 kB
PageTables:      79076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 163864324 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73660 MiB
End job on node119 at 2011-06-04 15:59:09