Trace number 3736910

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB11: Sat4j Res//CP 2.3.0SAT (TO)5 1800.5 930.639

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_4.opb
MD5SUM4c6ab7a9b1b11dc4bf8c6231156cc585
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1.88071
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint26
Maximum length of a constraint41
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3070
Sum of products size (including duplicates)6140
Number of different products3070
Sum of products size6140

Quality of the solution as a function of time


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

Solver Data 

0.06/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.07	c See www.sat4j.org for details.
0.06/0.08	c version 2.3.1.v20110525
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		9996466904
0.06/0.08	c Max memory 		10048897024
0.06/0.08	c Total memory 		10048897024
0.06/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization
0.11/0.10	c ManyCore solver with 2 solvers running in parallel
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3736910-1338718358.opb
0.11/0.10	c reading problem ... 
0.47/0.36	c ... done. Wall clock time 0.261s.
0.47/0.36	c #vars     3170
0.47/0.36	c #constraints  6240
0.47/0.36	c constraints type 
0.47/0.36	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3170
0.47/0.36	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3070
0.47/0.36	c constraints type 
0.47/0.36	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3170
0.47/0.36	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3070
0.79/0.40	c  And the winner is Resolution
1.06/0.87	c SATISFIABLE
1.06/0.87	c OPTIMIZING...
1.06/0.87	c Got one! Elapsed wall clock time (in seconds):0.766
1.06/0.87	o 8
1.16/0.94	c  And the winner is Resolution
1.44/1.37	c Got one! Elapsed wall clock time (in seconds):1.27
1.44/1.37	o 7
2.29/1.69	c  And the winner is Resolution
2.68/1.88	c Got one! Elapsed wall clock time (in seconds):1.773
2.68/1.88	o 6
4.05/2.51	c cleaning 2923 clauses out of 5851 with flag 4002/5851
5.96/3.49	c cleaning 4460 clauses out of 8926 with flag 10000/11849
8.19/4.56	c cleaning 5732 clauses out of 11466 with flag 17000/18849
10.76/5.82	c cleaning 6866 clauses out of 13738 with flag 25004/26853
13.93/7.42	c cleaning 7930 clauses out of 15868 with flag 34000/35849
17.09/9.07	c cleaning 8966 clauses out of 17938 with flag 44000/45849
20.44/10.71	c cleaning 9482 clauses out of 18972 with flag 54000/55849
23.79/12.48	c cleaning 9742 clauses out of 19490 with flag 64000/65849
27.10/14.16	c cleaning 9872 clauses out of 19749 with flag 74001/75850
30.45/15.81	c cleaning 9934 clauses out of 19876 with flag 84000/85849
33.59/17.44	c cleaning 9968 clauses out of 19943 with flag 94001/95850
36.93/19.17	c cleaning 9985 clauses out of 19977 with flag 104003/105852
40.64/21.00	c cleaning 9991 clauses out of 19992 with flag 114003/115852
43.98/22.79	c cleaning 9996 clauses out of 19998 with flag 124000/125849
47.55/24.52	c cleaning 9998 clauses out of 20003 with flag 134001/135850
50.89/26.26	c cleaning 9999 clauses out of 20006 with flag 144002/145851
54.41/28.07	c cleaning 9999 clauses out of 20006 with flag 154001/155850
57.96/29.88	c cleaning 10001 clauses out of 20007 with flag 164001/165850
61.50/31.64	c cleaning 10003 clauses out of 20010 with flag 174005/175854
64.63/33.26	c cleaning 9997 clauses out of 20003 with flag 184001/185850
67.93/34.98	c cleaning 10000 clauses out of 20006 with flag 194001/195850
71.45/36.72	c cleaning 9999 clauses out of 20005 with flag 204000/205849
75.19/38.63	c cleaning 9999 clauses out of 20006 with flag 214000/215849
79.33/40.73	c cleaning 10001 clauses out of 20007 with flag 224000/225849
83.22/42.73	c cleaning 10001 clauses out of 20012 with flag 234006/235855
86.94/44.63	c cleaning 9999 clauses out of 20005 with flag 244000/245849
90.87/46.65	c cleaning 9998 clauses out of 20006 with flag 254000/255849
94.41/48.42	c cleaning 10002 clauses out of 20012 with flag 264004/265853
97.69/50.17	c cleaning 10000 clauses out of 20007 with flag 274001/275850
101.63/52.13	c cleaning 10001 clauses out of 20006 with flag 284000/285849
105.18/53.91	c cleaning 10001 clauses out of 20009 with flag 294004/295853
108.29/55.52	c cleaning 9998 clauses out of 20006 with flag 304002/305851
111.40/57.17	c cleaning 9998 clauses out of 20006 with flag 314000/315849
114.91/58.90	c cleaning 9997 clauses out of 20008 with flag 324000/325849
118.44/60.76	c cleaning 10000 clauses out of 20011 with flag 334000/335849
119.16/61.15	c  And the winner is Resolution
119.59/61.65	c Got one! Elapsed wall clock time (in seconds):61.546
119.59/61.65	o 5
120.69/62.22	c cleaning 7847 clauses out of 15701 with flag 4008/341539
122.58/63.28	c cleaning 6918 clauses out of 13846 with flag 10000/347531
125.10/64.56	c cleaning 6965 clauses out of 13938 with flag 17010/354541
128.04/66.07	c cleaning 7479 clauses out of 14963 with flag 25000/362531
131.35/67.76	c cleaning 8242 clauses out of 16490 with flag 34006/371537
135.64/69.95	c cleaning 9117 clauses out of 18243 with flag 44001/381532
140.16/72.23	c cleaning 9565 clauses out of 19134 with flag 54009/391540
144.67/74.50	c cleaning 9777 clauses out of 19561 with flag 64001/401532
148.99/76.77	c cleaning 9890 clauses out of 19784 with flag 74001/411532
152.87/78.79	c cleaning 9945 clauses out of 19893 with flag 84000/421531
156.99/80.85	c cleaning 9969 clauses out of 19948 with flag 94000/431531
161.29/83.06	c cleaning 9986 clauses out of 19980 with flag 104001/441532
165.42/85.16	c cleaning 9995 clauses out of 19994 with flag 114001/451532
169.68/87.34	c cleaning 9993 clauses out of 19998 with flag 124000/461531
173.59/89.38	c cleaning 9997 clauses out of 20006 with flag 134001/471532
177.71/91.41	c cleaning 10000 clauses out of 20008 with flag 144000/481531
181.65/93.49	c cleaning 10001 clauses out of 20010 with flag 154002/491533
185.70/95.58	c cleaning 10001 clauses out of 20007 with flag 164000/501531
189.81/97.68	c cleaning 9999 clauses out of 20006 with flag 174000/511531
193.92/99.79	c cleaning 10000 clauses out of 20010 with flag 184003/521534
198.23/101.92	c cleaning 10002 clauses out of 20012 with flag 194005/531536
202.70/104.20	c cleaning 9999 clauses out of 20008 with flag 204003/541534
207.01/106.41	c cleaning 10000 clauses out of 20008 with flag 214002/551533
211.32/108.60	c cleaning 10000 clauses out of 20009 with flag 224003/561534
215.84/110.97	c cleaning 9999 clauses out of 20012 with flag 234006/571537
220.32/113.30	c cleaning 10000 clauses out of 20010 with flag 244003/581534
225.02/115.68	c cleaning 10000 clauses out of 20007 with flag 254000/591531
229.72/118.03	c cleaning 10001 clauses out of 20008 with flag 264001/601532
234.04/120.27	c cleaning 10001 clauses out of 20009 with flag 274003/611534
238.09/122.36	c cleaning 9997 clauses out of 20006 with flag 284001/621532
242.41/124.58	c cleaning 9999 clauses out of 20008 with flag 294000/631531
246.72/126.74	c cleaning 10001 clauses out of 20010 with flag 304001/641532
251.22/129.03	c cleaning 9998 clauses out of 20008 with flag 314000/651531
255.69/131.33	c cleaning 10000 clauses out of 20010 with flag 324000/661531
259.60/133.31	c cleaning 10002 clauses out of 20013 with flag 334003/671534
263.32/135.28	c cleaning 10001 clauses out of 20010 with flag 344002/681533
267.63/137.41	c cleaning 10003 clauses out of 20010 with flag 354003/691534
271.46/139.40	c cleaning 9998 clauses out of 20004 with flag 364000/701531
275.57/141.56	c cleaning 9996 clauses out of 20007 with flag 374001/711532
280.06/143.82	c cleaning 10000 clauses out of 20010 with flag 384000/721531
284.37/146.09	c cleaning 10004 clauses out of 20014 with flag 394004/731535
288.82/148.34	c cleaning 10000 clauses out of 20008 with flag 404002/741533
292.92/150.44	c cleaning 10002 clauses out of 20009 with flag 414003/751534
297.22/152.60	c cleaning 9999 clauses out of 20005 with flag 424001/761532
301.53/154.82	c cleaning 10002 clauses out of 20011 with flag 434006/771537
305.99/157.10	c cleaning 9997 clauses out of 20003 with flag 444000/781531
310.51/159.41	c cleaning 9999 clauses out of 20008 with flag 454002/791533
315.01/161.76	c cleaning 10001 clauses out of 20009 with flag 464002/801533
319.11/163.83	c cleaning 9997 clauses out of 20006 with flag 474000/811531
323.16/165.97	c cleaning 10001 clauses out of 20009 with flag 484000/821531
327.26/168.09	c cleaning 10000 clauses out of 20008 with flag 494000/831531
331.37/170.19	c cleaning 10000 clauses out of 20008 with flag 504000/841531
335.69/172.39	c cleaning 10002 clauses out of 20009 with flag 514001/851532
340.14/174.69	c cleaning 10002 clauses out of 20014 with flag 524008/861539
344.65/176.97	c cleaning 10001 clauses out of 20008 with flag 534004/871535
349.36/179.35	c cleaning 9999 clauses out of 20004 with flag 544001/881532
354.05/181.73	c cleaning 9998 clauses out of 20004 with flag 554000/891531
358.49/184.09	c cleaning 9999 clauses out of 20010 with flag 564004/901535
362.40/186.03	c cleaning 9999 clauses out of 20007 with flag 574000/911531
366.31/188.02	c cleaning 10000 clauses out of 20008 with flag 584000/921531
370.39/190.16	c cleaning 10003 clauses out of 20011 with flag 594003/931534
374.62/192.34	c cleaning 10000 clauses out of 20010 with flag 604005/941536
379.11/194.65	c cleaning 10002 clauses out of 20008 with flag 614003/951534
383.60/196.92	c cleaning 10003 clauses out of 20009 with flag 624006/961537
387.50/198.91	c cleaning 9997 clauses out of 20002 with flag 634002/971533
391.53/201.03	c cleaning 9998 clauses out of 20004 with flag 644001/981532
395.61/203.12	c cleaning 10002 clauses out of 20007 with flag 654002/991533
399.91/205.40	c cleaning 10000 clauses out of 20007 with flag 664004/1001535
404.60/207.76	c cleaning 9999 clauses out of 20003 with flag 674000/1011531
409.25/210.19	c cleaning 10003 clauses out of 20013 with flag 684009/1021540
413.94/212.52	c cleaning 9999 clauses out of 20007 with flag 694006/1031537
418.03/214.63	c cleaning 9998 clauses out of 20004 with flag 704002/1041533
422.13/216.79	c cleaning 9998 clauses out of 20006 with flag 714002/1051533
426.74/219.13	c cleaning 9999 clauses out of 20007 with flag 724001/1061532
431.23/221.44	c cleaning 9999 clauses out of 20007 with flag 734000/1071531
435.73/223.74	c cleaning 9998 clauses out of 20008 with flag 744000/1081531
440.42/226.14	c cleaning 10004 clauses out of 20016 with flag 754006/1091537
444.85/228.48	c cleaning 10000 clauses out of 20007 with flag 764001/1101532
449.14/230.66	c cleaning 9999 clauses out of 20009 with flag 774003/1111534
453.44/232.87	c cleaning 10001 clauses out of 20012 with flag 784005/1121536
458.15/235.29	c cleaning 9995 clauses out of 20008 with flag 794002/1131533
462.98/237.74	c cleaning 10001 clauses out of 20012 with flag 804001/1141532
467.68/240.16	c cleaning 10005 clauses out of 20017 with flag 814007/1151538
472.19/242.48	c cleaning 10000 clauses out of 20005 with flag 824000/1161531
476.87/244.88	c cleaning 10000 clauses out of 20006 with flag 834001/1171532
481.68/247.39	c cleaning 10000 clauses out of 20007 with flag 844002/1181533
486.58/249.82	c cleaning 9997 clauses out of 20005 with flag 854000/1191531
490.87/252.07	c cleaning 10004 clauses out of 20014 with flag 864006/1201537
494.97/254.16	c cleaning 9997 clauses out of 20005 with flag 874001/1211532
499.38/256.43	c cleaning 9997 clauses out of 20007 with flag 884000/1221531
503.67/258.69	c cleaning 9999 clauses out of 20010 with flag 894000/1231531
508.17/260.93	c cleaning 9997 clauses out of 20011 with flag 904000/1241531
512.46/263.19	c cleaning 10003 clauses out of 20016 with flag 914002/1251533
517.09/265.59	c cleaning 10003 clauses out of 20013 with flag 924002/1261533
521.78/267.92	c cleaning 10001 clauses out of 20012 with flag 934004/1271535
526.47/270.30	c cleaning 10000 clauses out of 20007 with flag 944000/1281531
530.95/272.70	c cleaning 10001 clauses out of 20009 with flag 954002/1291533
535.97/275.20	c cleaning 10001 clauses out of 20007 with flag 964001/1301532
540.67/277.62	c cleaning 9996 clauses out of 20007 with flag 974002/1311533
545.35/280.06	c cleaning 10000 clauses out of 20009 with flag 984000/1321531
550.24/282.52	c cleaning 9999 clauses out of 20009 with flag 994000/1331531
555.07/285.04	c cleaning 9998 clauses out of 20010 with flag 1004000/1341531
559.18/287.19	c cleaning 10002 clauses out of 20013 with flag 1014001/1351532
563.04/289.19	c cleaning 10002 clauses out of 20011 with flag 1024001/1361532
567.34/291.30	c cleaning 10002 clauses out of 20012 with flag 1034004/1371535
571.35/293.47	c cleaning 9999 clauses out of 20006 with flag 1044000/1381531
575.23/295.50	c cleaning 10001 clauses out of 20008 with flag 1054001/1391532
579.51/297.68	c cleaning 10000 clauses out of 20007 with flag 1064001/1401532
583.79/299.84	c cleaning 9998 clauses out of 20006 with flag 1074000/1411531
587.99/302.08	c cleaning 10002 clauses out of 20009 with flag 1084001/1421532
592.28/304.25	c cleaning 10001 clauses out of 20010 with flag 1094004/1431535
596.36/306.39	c cleaning 10000 clauses out of 20007 with flag 1104002/1441533
600.85/308.64	c cleaning 9998 clauses out of 20005 with flag 1114000/1451531
605.66/311.13	c cleaning 10000 clauses out of 20010 with flag 1124003/1461534
610.36/313.57	c cleaning 10001 clauses out of 20007 with flag 1134000/1471531
614.64/315.76	c cleaning 9999 clauses out of 20006 with flag 1144000/1481531
618.91/317.92	c cleaning 10001 clauses out of 20007 with flag 1154000/1491531
623.30/320.29	c cleaning 9998 clauses out of 20006 with flag 1164000/1501531
627.77/322.59	c cleaning 10001 clauses out of 20011 with flag 1174003/1511534
632.45/324.91	c cleaning 9997 clauses out of 20007 with flag 1184000/1521531
636.53/327.06	c cleaning 10000 clauses out of 20012 with flag 1194002/1531533
640.73/329.26	c cleaning 9999 clauses out of 20010 with flag 1204000/1541531
644.61/331.23	c cleaning 10003 clauses out of 20013 with flag 1214002/1551533
648.50/333.29	c cleaning 10002 clauses out of 20009 with flag 1224001/1561532
652.99/335.55	c cleaning 10001 clauses out of 20008 with flag 1234002/1571533
657.58/337.93	c cleaning 10002 clauses out of 20009 with flag 1244004/1581535
662.07/340.27	c cleaning 10000 clauses out of 20007 with flag 1254004/1591535
666.74/342.66	c cleaning 9999 clauses out of 20003 with flag 1264000/1601531
671.23/344.95	c cleaning 9996 clauses out of 20004 with flag 1274000/1611531
676.02/347.45	c cleaning 10000 clauses out of 20008 with flag 1284000/1621531
680.52/349.75	c cleaning 10001 clauses out of 20009 with flag 1294001/1631532
685.17/352.13	c cleaning 10000 clauses out of 20008 with flag 1304001/1641532
689.07/354.13	c cleaning 10000 clauses out of 20012 with flag 1314005/1651536
693.05/356.30	c cleaning 10001 clauses out of 20009 with flag 1324002/1661533
697.56/358.59	c cleaning 9999 clauses out of 20007 with flag 1334001/1671532
702.05/360.89	c cleaning 10000 clauses out of 20009 with flag 1344002/1681533
706.71/363.28	c cleaning 9999 clauses out of 20007 with flag 1354000/1691531
711.50/365.72	c cleaning 9998 clauses out of 20008 with flag 1364000/1701531
716.18/368.14	c cleaning 10000 clauses out of 20010 with flag 1374000/1711531
720.86/370.56	c cleaning 10000 clauses out of 20010 with flag 1384000/1721531
725.35/372.88	c cleaning 10001 clauses out of 20010 with flag 1394000/1731531
730.35/375.42	c cleaning 9998 clauses out of 20010 with flag 1404001/1741532
734.83/377.77	c cleaning 10005 clauses out of 20018 with flag 1414007/1751538
739.50/380.12	c cleaning 10000 clauses out of 20007 with flag 1424001/1761532
744.18/382.54	c cleaning 9999 clauses out of 20008 with flag 1434002/1771533
749.57/385.33	c cleaning 9996 clauses out of 20009 with flag 1444002/1781533
754.04/387.64	c cleaning 10002 clauses out of 20011 with flag 1454000/1791531
758.32/389.80	c cleaning 10000 clauses out of 20009 with flag 1464000/1801531
762.59/392.04	c cleaning 10002 clauses out of 20009 with flag 1474000/1811531
767.18/394.46	c cleaning 10002 clauses out of 20012 with flag 1484005/1821536
771.85/396.82	c cleaning 10000 clauses out of 20006 with flag 1494001/1831532
776.54/399.22	c cleaning 10000 clauses out of 20006 with flag 1504001/1841532
781.19/401.65	c cleaning 10000 clauses out of 20009 with flag 1514004/1851535
785.97/404.16	c cleaning 9999 clauses out of 20006 with flag 1524001/1861532
790.85/406.68	c cleaning 9997 clauses out of 20007 with flag 1534001/1871532
795.94/409.21	c cleaning 10004 clauses out of 20016 with flag 1544007/1881538
800.79/411.76	c cleaning 10001 clauses out of 20007 with flag 1554002/1891533
805.98/414.44	c cleaning 10000 clauses out of 20005 with flag 1564001/1901532
811.05/417.01	c cleaning 9998 clauses out of 20005 with flag 1574001/1911532
815.71/419.49	c cleaning 9999 clauses out of 20008 with flag 1584002/1921533
820.78/422.08	c cleaning 9995 clauses out of 20007 with flag 1594000/1931531
825.77/424.65	c cleaning 10001 clauses out of 20014 with flag 1604002/1941533
831.02/427.35	c cleaning 10004 clauses out of 20015 with flag 1614004/1951535
835.90/429.84	c cleaning 9999 clauses out of 20007 with flag 1624000/1961531
840.97/432.48	c cleaning 10003 clauses out of 20011 with flag 1634003/1971534
846.15/435.10	c cleaning 10000 clauses out of 20009 with flag 1644004/1981535
851.01/437.69	c cleaning 9995 clauses out of 20008 with flag 1654003/1991534
855.87/440.15	c cleaning 9999 clauses out of 20010 with flag 1664000/2001531
860.54/442.59	c cleaning 10003 clauses out of 20011 with flag 1674000/2011531
864.72/444.77	c cleaning 10002 clauses out of 20009 with flag 1684001/2021532
868.78/446.82	c cleaning 10000 clauses out of 20006 with flag 1694000/2031531
873.04/449.02	c cleaning 10001 clauses out of 20008 with flag 1704002/2041533
877.10/451.11	c cleaning 9996 clauses out of 20006 with flag 1714001/2051532
881.10/453.22	c cleaning 10003 clauses out of 20013 with flag 1724004/2061535
885.17/455.40	c cleaning 9998 clauses out of 20006 with flag 1734000/2071531
889.42/457.58	c cleaning 10001 clauses out of 20008 with flag 1744000/2081531
894.08/459.93	c cleaning 9998 clauses out of 20009 with flag 1754002/2091533
898.47/462.20	c cleaning 10001 clauses out of 20009 with flag 1764000/2101531
902.52/464.31	c cleaning 9997 clauses out of 20010 with flag 1774002/2111533
906.98/466.60	c cleaning 10001 clauses out of 20011 with flag 1784000/2121531
911.84/469.10	c cleaning 10002 clauses out of 20012 with flag 1794002/2131533
916.40/471.54	c cleaning 10002 clauses out of 20011 with flag 1804003/2141534
920.46/473.68	c cleaning 9999 clauses out of 20008 with flag 1814002/2151533
924.73/475.83	c cleaning 10003 clauses out of 20012 with flag 1824005/2161536
929.01/478.09	c cleaning 9997 clauses out of 20005 with flag 1834001/2171532
933.78/480.50	c cleaning 9998 clauses out of 20008 with flag 1844001/2181532
938.25/482.81	c cleaning 9996 clauses out of 20012 with flag 1854003/2191534
942.52/485.04	c cleaning 10006 clauses out of 20020 with flag 1864007/2201538
946.78/487.25	c cleaning 9999 clauses out of 20007 with flag 1874000/2211531
950.95/489.43	c cleaning 9998 clauses out of 20008 with flag 1884000/2221531
955.21/491.63	c cleaning 10003 clauses out of 20011 with flag 1894001/2231532
959.47/493.88	c cleaning 10001 clauses out of 20007 with flag 1904000/2241531
963.94/496.19	c cleaning 9996 clauses out of 20007 with flag 1914001/2251532
968.49/498.55	c cleaning 9998 clauses out of 20010 with flag 1924000/2261531
972.95/500.88	c cleaning 10003 clauses out of 20012 with flag 1934000/2271531
977.60/503.22	c cleaning 10001 clauses out of 20009 with flag 1944000/2281531
982.25/505.67	c cleaning 10000 clauses out of 20008 with flag 1954000/2291531
987.03/508.15	c cleaning 10001 clauses out of 20009 with flag 1964001/2301532
991.49/510.44	c cleaning 10001 clauses out of 20010 with flag 1974003/2311534
995.54/512.60	c cleaning 10001 clauses out of 20010 with flag 1984004/2321535
1000.18/514.91	c cleaning 9999 clauses out of 20008 with flag 1994003/2331534
1004.75/517.36	c cleaning 10000 clauses out of 20006 with flag 2004000/2341531
1009.20/519.69	c cleaning 9998 clauses out of 20009 with flag 2014003/2351534
1014.05/522.17	c cleaning 10000 clauses out of 20008 with flag 2024000/2361531
1018.92/524.60	c cleaning 9997 clauses out of 20010 with flag 2034002/2371533
1023.87/527.25	c cleaning 10001 clauses out of 20011 with flag 2044000/2381531
1028.93/529.82	c cleaning 10002 clauses out of 20010 with flag 2054000/2391531
1033.82/532.39	c cleaning 9999 clauses out of 20009 with flag 2064001/2401532
1038.86/534.97	c cleaning 10002 clauses out of 20009 with flag 2074000/2411531
1044.01/537.62	c cleaning 10001 clauses out of 20012 with flag 2084005/2421536
1049.26/540.32	c cleaning 10001 clauses out of 20009 with flag 2094003/2431534
1054.51/543.01	c cleaning 10001 clauses out of 20011 with flag 2104006/2441537
1059.77/545.75	c cleaning 9998 clauses out of 20007 with flag 2114003/2451534
1064.32/548.12	c cleaning 10001 clauses out of 20010 with flag 2124004/2461535
1068.78/550.41	c cleaning 9999 clauses out of 20005 with flag 2134000/2471531
1073.03/552.67	c cleaning 10001 clauses out of 20007 with flag 2144001/2481532
1077.89/555.11	c cleaning 9998 clauses out of 20006 with flag 2154001/2491532
1082.65/557.65	c cleaning 10000 clauses out of 20007 with flag 2164000/2501531
1087.48/560.13	c cleaning 10001 clauses out of 20007 with flag 2174000/2511531
1092.13/562.59	c cleaning 9998 clauses out of 20008 with flag 2184002/2521533
1097.19/565.11	c cleaning 9996 clauses out of 20010 with flag 2194002/2531533
1101.74/567.60	c cleaning 10001 clauses out of 20014 with flag 2204002/2541533
1106.78/570.14	c cleaning 10001 clauses out of 20011 with flag 2214000/2551531
1111.82/572.74	c cleaning 10002 clauses out of 20010 with flag 2224000/2561531
1117.06/575.41	c cleaning 10000 clauses out of 20008 with flag 2234000/2571531
1122.00/578.05	c cleaning 9998 clauses out of 20008 with flag 2244000/2581531
1126.86/580.53	c cleaning 10003 clauses out of 20016 with flag 2254006/2591537
1131.90/583.18	c cleaning 9999 clauses out of 20010 with flag 2264003/2601534
1136.74/585.66	c cleaning 9998 clauses out of 20008 with flag 2274000/2611531
1142.09/588.46	c cleaning 10002 clauses out of 20014 with flag 2284004/2621535
1146.92/590.95	c cleaning 9999 clauses out of 20009 with flag 2294001/2631532
1152.15/593.66	c cleaning 10000 clauses out of 20012 with flag 2304003/2641534
1157.21/596.21	c cleaning 10000 clauses out of 20013 with flag 2314004/2651535
1160.33/597.99	c cleaning 0 clauses out of 5762 with flag 0/5764
1163.07/599.29	c cleaning 9999 clauses out of 20011 with flag 2324002/2661533
1168.46/601.93	c cleaning 9995 clauses out of 20011 with flag 2334001/2671532
1173.11/604.38	c cleaning 10005 clauses out of 20018 with flag 2344003/2681534
1177.84/606.83	c cleaning 10001 clauses out of 20010 with flag 2354000/2691531
1182.69/609.30	c cleaning 10003 clauses out of 20014 with flag 2364005/2701536
1187.51/611.84	c cleaning 10000 clauses out of 20006 with flag 2374000/2711531
1192.35/614.38	c cleaning 10001 clauses out of 20010 with flag 2384004/2721535
1197.28/616.99	c cleaning 9997 clauses out of 20005 with flag 2394000/2731531
1202.51/619.66	c cleaning 10002 clauses out of 20013 with flag 2404005/2741536
1207.56/622.21	c cleaning 10002 clauses out of 20009 with flag 2414003/2751534
1212.40/624.76	c cleaning 9999 clauses out of 20005 with flag 2424001/2761532
1217.90/627.65	c cleaning 9995 clauses out of 20006 with flag 2434001/2771532
1222.75/630.15	c cleaning 9999 clauses out of 20011 with flag 2444001/2781532
1227.78/632.78	c cleaning 10003 clauses out of 20014 with flag 2454003/2791534
1232.62/635.29	c cleaning 9998 clauses out of 20008 with flag 2464000/2801531
1238.13/638.13	c cleaning 10004 clauses out of 20015 with flag 2474005/2811536
1243.18/640.73	c cleaning 9998 clauses out of 20008 with flag 2484002/2821533
1248.42/643.49	c cleaning 10002 clauses out of 20014 with flag 2494006/2831537
1253.65/646.11	c cleaning 9998 clauses out of 20007 with flag 2504001/2841532
1258.96/649.00	c cleaning 9998 clauses out of 20011 with flag 2514003/2851534
1264.17/651.63	c cleaning 10000 clauses out of 20012 with flag 2524002/2861533
1269.40/654.34	c cleaning 9998 clauses out of 20010 with flag 2534000/2871531
1274.84/657.10	c cleaning 10002 clauses out of 20013 with flag 2544001/2881532
1279.97/659.80	c cleaning 10000 clauses out of 20012 with flag 2554002/2891533
1285.20/662.57	c cleaning 9999 clauses out of 20013 with flag 2564003/2901534
1290.03/665.09	c cleaning 10004 clauses out of 20018 with flag 2574007/2911538
1295.27/667.76	c cleaning 10000 clauses out of 20013 with flag 2584006/2921537
1300.96/670.78	c cleaning 10000 clauses out of 20010 with flag 2594003/2931534
1305.80/673.26	c cleaning 9996 clauses out of 20007 with flag 2604000/2941531
1311.02/675.99	c cleaning 9998 clauses out of 20011 with flag 2614000/2951531
1316.86/678.91	c cleaning 10002 clauses out of 20014 with flag 2624001/2961532
1321.76/681.56	c cleaning 10004 clauses out of 20017 with flag 2634006/2971537
1327.00/684.26	c cleaning 10000 clauses out of 20010 with flag 2644003/2981534
1332.61/687.11	c cleaning 9997 clauses out of 20008 with flag 2654001/2991532
1338.23/690.02	c cleaning 10002 clauses out of 20014 with flag 2664004/3001535
1343.53/692.87	c cleaning 10006 clauses out of 20011 with flag 2674003/3011534
1347.76/695.04	c cleaning 9996 clauses out of 20002 with flag 2684000/3021531
1351.98/697.28	c cleaning 9999 clauses out of 20008 with flag 2694002/3031533
1356.20/699.40	c cleaning 9999 clauses out of 20007 with flag 2704000/3041531
1360.52/701.77	c cleaning 10000 clauses out of 20008 with flag 2714000/3051531
1364.74/703.94	c cleaning 10001 clauses out of 20009 with flag 2724001/3061532
1368.76/706.07	c cleaning 10000 clauses out of 20007 with flag 2734000/3071531
1373.40/708.42	c cleaning 10003 clauses out of 20011 with flag 2744004/3081535
1378.10/710.94	c cleaning 9993 clauses out of 20004 with flag 2754000/3091531
1382.53/713.26	c cleaning 10004 clauses out of 20013 with flag 2764002/3101533
1387.15/715.64	c cleaning 10004 clauses out of 20013 with flag 2774006/3111537
1391.97/718.14	c cleaning 9997 clauses out of 20004 with flag 2784001/3121532
1396.88/720.71	c cleaning 10001 clauses out of 20008 with flag 2794002/3131533
1401.31/723.04	c cleaning 9997 clauses out of 20006 with flag 2804001/3141532
1405.75/725.31	c cleaning 9998 clauses out of 20008 with flag 2814000/3151531
1409.97/727.54	c cleaning 10001 clauses out of 20010 with flag 2824000/3161531
1414.67/730.01	c cleaning 10002 clauses out of 20012 with flag 2834003/3171534
1419.31/732.41	c cleaning 10001 clauses out of 20009 with flag 2844002/3181533
1423.75/734.77	c cleaning 9999 clauses out of 20007 with flag 2854001/3191532
1428.79/737.30	c cleaning 9999 clauses out of 20008 with flag 2864001/3201532
1433.51/739.88	c cleaning 10003 clauses out of 20011 with flag 2874003/3211534
1438.14/742.27	c cleaning 9999 clauses out of 20005 with flag 2884000/3221531
1442.96/744.74	c cleaning 9998 clauses out of 20006 with flag 2894000/3231531
1447.78/747.26	c cleaning 10000 clauses out of 20015 with flag 2904007/3241538
1452.90/749.93	c cleaning 9998 clauses out of 20008 with flag 2914000/3251531
1457.74/752.45	c cleaning 10003 clauses out of 20011 with flag 2924001/3261532
1462.76/755.03	c cleaning 10000 clauses out of 20007 with flag 2934000/3271531
1467.79/757.64	c cleaning 10000 clauses out of 20007 with flag 2944000/3281531
1472.89/760.38	c cleaning 10000 clauses out of 20007 with flag 2954000/3291531
1478.11/763.07	c cleaning 9998 clauses out of 20007 with flag 2964000/3301531
1482.34/765.28	c cleaning 10002 clauses out of 20011 with flag 2974002/3311533
1486.58/767.48	c cleaning 10000 clauses out of 20007 with flag 2984000/3321531
1491.30/769.91	c cleaning 10001 clauses out of 20011 with flag 2994004/3331535
1495.74/772.22	c cleaning 9998 clauses out of 20007 with flag 3004001/3341532
1500.34/774.67	c cleaning 10002 clauses out of 20011 with flag 3014003/3351534
1505.39/777.20	c cleaning 9997 clauses out of 20008 with flag 3024002/3361533
1510.08/779.78	c cleaning 10001 clauses out of 20010 with flag 3034001/3371532
1514.72/782.14	c cleaning 10000 clauses out of 20009 with flag 3044001/3381532
1519.72/784.74	c cleaning 9997 clauses out of 20009 with flag 3054001/3391532
1524.55/787.29	c cleaning 10001 clauses out of 20012 with flag 3064001/3401532
1529.66/789.97	c cleaning 9999 clauses out of 20010 with flag 3074000/3411531
1534.69/792.52	c cleaning 10001 clauses out of 20013 with flag 3084002/3421533
1539.70/795.20	c cleaning 10004 clauses out of 20015 with flag 3094005/3431536
1544.72/797.79	c cleaning 10000 clauses out of 20009 with flag 3104003/3441534
1549.63/800.32	c cleaning 9997 clauses out of 20006 with flag 3114000/3451531
1553.67/802.46	c cleaning 10002 clauses out of 20009 with flag 3124000/3461531
1558.49/804.93	c cleaning 9998 clauses out of 20008 with flag 3134001/3471532
1562.91/807.30	c cleaning 10000 clauses out of 20009 with flag 3144000/3481531
1567.81/809.85	c cleaning 10002 clauses out of 20011 with flag 3154002/3491533
1572.83/812.45	c cleaning 10001 clauses out of 20009 with flag 3164002/3501533
1577.87/815.04	c cleaning 9999 clauses out of 20006 with flag 3174000/3511531
1582.49/817.48	c cleaning 10000 clauses out of 20010 with flag 3184003/3521534
1587.60/820.11	c cleaning 10000 clauses out of 20011 with flag 3194004/3531535
1592.63/822.72	c cleaning 9998 clauses out of 20007 with flag 3204000/3541531
1597.65/825.35	c cleaning 10000 clauses out of 20010 with flag 3214001/3551532
1602.67/827.94	c cleaning 10001 clauses out of 20013 with flag 3224004/3561535
1607.75/830.66	c cleaning 10001 clauses out of 20012 with flag 3234004/3571535
1612.80/833.27	c cleaning 10000 clauses out of 20012 with flag 3244005/3581536
1618.03/835.92	c cleaning 9993 clauses out of 20008 with flag 3254001/3591532
1622.84/838.43	c cleaning 10004 clauses out of 20016 with flag 3264002/3601533
1627.95/841.16	c cleaning 10001 clauses out of 20013 with flag 3274003/3611534
1632.79/843.70	c cleaning 10000 clauses out of 20009 with flag 3284000/3621531
1637.82/846.28	c cleaning 9999 clauses out of 20010 with flag 3294001/3631532
1643.06/848.90	c cleaning 10002 clauses out of 20011 with flag 3304001/3641532
1648.15/851.69	c cleaning 10000 clauses out of 20010 with flag 3314002/3651533
1653.17/854.29	c cleaning 10002 clauses out of 20009 with flag 3324001/3661532
1658.43/856.98	c cleaning 10000 clauses out of 20008 with flag 3334002/3671533
1662.84/859.28	c cleaning 10000 clauses out of 20008 with flag 3344002/3681533
1667.74/861.80	c cleaning 10000 clauses out of 20007 with flag 3354001/3691532
1672.17/864.19	c cleaning 9998 clauses out of 20006 with flag 3364000/3701531
1677.22/866.76	c cleaning 9991 clauses out of 20008 with flag 3374000/3711531
1682.04/869.27	c cleaning 10003 clauses out of 20018 with flag 3384001/3721532
1687.35/872.01	c cleaning 10005 clauses out of 20020 with flag 3394006/3731537
1692.18/874.56	c cleaning 9999 clauses out of 20009 with flag 3404000/3741531
1696.98/877.09	c cleaning 10003 clauses out of 20013 with flag 3414003/3751534
1701.81/879.51	c cleaning 9999 clauses out of 20007 with flag 3424000/3761531
1706.51/882.07	c cleaning 9999 clauses out of 20008 with flag 3434000/3771531
1711.73/884.75	c cleaning 10002 clauses out of 20011 with flag 3444002/3781533
1716.75/887.36	c cleaning 9998 clauses out of 20008 with flag 3454001/3791532
1721.78/889.91	c cleaning 10003 clauses out of 20014 with flag 3464005/3801536
1726.67/892.59	c cleaning 9998 clauses out of 20007 with flag 3474001/3811532
1731.89/895.30	c cleaning 10005 clauses out of 20016 with flag 3484008/3821539
1737.52/898.11	c cleaning 9998 clauses out of 20006 with flag 3494003/3831534
1742.53/900.77	c cleaning 10001 clauses out of 20007 with flag 3504002/3841533
1748.02/903.66	c cleaning 9997 clauses out of 20005 with flag 3514001/3851532
1753.25/906.37	c cleaning 10000 clauses out of 20009 with flag 3524002/3861533
1758.46/909.09	c cleaning 10004 clauses out of 20017 with flag 3534010/3871541
1763.47/911.66	c cleaning 9998 clauses out of 20003 with flag 3544000/3881531
1768.96/914.58	c cleaning 9998 clauses out of 20011 with flag 3554006/3891537
1774.18/917.30	c cleaning 10001 clauses out of 20011 with flag 3564004/3901535
1780.01/920.23	c cleaning 9997 clauses out of 20008 with flag 3574002/3911533
1785.05/922.86	c cleaning 9998 clauses out of 20009 with flag 3584000/3921531
1790.71/925.85	c cleaning 10003 clauses out of 20011 with flag 3594000/3931531
1795.95/928.51	c cleaning 9999 clauses out of 20011 with flag 3604003/3941534
1800.01/930.62	c starts		: 256
1800.01/930.62	c conflicts		: 3948736
1800.01/930.62	c decisions		: 6285877
1800.01/930.62	c propagations		: 855144562
1800.01/930.62	c inspects		: 7922954927
1800.01/930.62	c shortcuts		: 0
1800.01/930.62	c learnt literals	: 0
1800.01/930.62	c learnt binary clauses	: 0
1800.01/930.62	c learnt ternary clauses	: 2
1800.01/930.62	c learnt constraints	: 3948736
1800.01/930.62	c ignored constraints	: 0
1800.01/930.62	c root simplifications	: 0
1800.01/930.62	c removed literals (reason simplification)	: 17873352
1800.01/930.62	c reason swapping (by a shorter reason)	: 0
1800.01/930.62	c Calls to reduceDB	: 397
1800.01/930.62	c number of reductions to clauses (during analyze)	: 0
1800.01/930.62	c number of learned constraints concerned by reduction	: 0
1800.01/930.62	c number of learning phase by resolution	: 0
1800.01/930.62	c number of learning phase by cutting planes	: 0
1800.01/930.62	c speed (assignments/second)	: 984092.2024746597
1800.01/930.62	c non guided choices	0
1800.01/930.63	c learnt constraints type 
1800.01/930.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 17234
1800.01/930.63	c constraints type 
1800.01/930.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3170
1800.01/930.63	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.01/930.63	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3070
1800.01/930.63	c constraints type 
1800.01/930.63	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3170
1800.01/930.63	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.01/930.63	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3070
1800.01/930.63	s SATISFIABLE
1800.01/930.63	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 
1800.01/930.63	c objective function=5
1800.01/930.63	c Total wall clock time (in seconds): 930.525

Verifier Data 

OK	5

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736910-1338718358/watcher-3736910-1338718358 -o /tmp/evaluation-result-3736910-1338718358/solver-3736910-1338718358 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736910-1338718358.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.65 3.71 3.64 3/197 14897
/proc/meminfo: memFree=25319536/32873648 swapFree=6864/6864
[pid=14897] ppid=14895 vsize=96272 CPUtime=0 cores=0,2,4,6
/proc/14897/stat : 14897 (java) S 14895 14897 12644 0 -1 4202496 1284 0 0 0 0 0 0 0 20 0 2 0 337961217 98582528 986 33554432000 1073741824 1073778376 140733887437584 140733887428720 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14897/statm: 24068 986 751 9 0 16774 0
[pid=14897/tid=14898] ppid=14895 vsize=96272 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14898/stat : 14898 (java) R 14895 14897 12644 0 -1 4202560 138 0 0 0 0 0 0 0 20 0 2 0 337961218 98582528 986 33554432000 1073741824 1073778376 140733887437584 140618587119144 270707541405 0 0 0 16784584 0 0 0 -1 0 0 0 0 0 0

[startup+0.0743801 s]
/proc/loadavg: 3.65 3.71 3.64 3/197 14897
/proc/meminfo: memFree=25319536/32873648 swapFree=6864/6864
[pid=14897] ppid=14895 vsize=11586392 CPUtime=0.06 cores=0,2,4,6
/proc/14897/stat : 14897 (java) S 14895 14897 12644 0 -1 4202496 4472 0 1 0 5 1 0 0 20 0 18 0 337961217 11864465408 12835 33554432000 1073741824 1073778376 140733887437584 140733887428720 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14897/statm: 2896598 12835 1779 9 0 2887285 0
[pid=14897/tid=14898] ppid=14895 vsize=11586392 CPUtime=0.05 cores=0,2,4,6
/proc/14897/task/14898/stat : 14898 (java) R 14895 14897 12644 0 -1 4202560 3263 0 1 0 4 1 0 0 20 0 18 0 337961218 11864465408 12835 33554432000 1073741824 1073778376 140733887437584 140618587126432 270710924557 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392

[startup+0.100301 s]
/proc/loadavg: 3.65 3.71 3.64 3/197 14897
/proc/meminfo: memFree=25319536/32873648 swapFree=6864/6864
[pid=14897] ppid=14895 vsize=11586392 CPUtime=0.11 cores=0,2,4,6
/proc/14897/stat : 14897 (java) S 14895 14897 12644 0 -1 4202496 5318 0 1 0 9 2 0 0 20 0 18 0 337961217 11864465408 14143 33554432000 1073741824 1073778376 140733887437584 140733887428720 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14897/statm: 2896598 14143 2116 9 0 2887285 0
[pid=14897/tid=14898] ppid=14895 vsize=11586392 CPUtime=0.08 cores=0,2,4,6
/proc/14897/task/14898/stat : 14898 (java) R 14895 14897 12644 0 -1 4202560 3357 0 1 0 6 2 0 0 20 0 18 0 337961218 11864465408 14143 33554432000 1073741824 1073778376 140733887437584 140618587122608 270710924557 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 11586392

[startup+0.300197 s]
/proc/loadavg: 3.65 3.71 3.64 3/197 14897
/proc/meminfo: memFree=25319536/32873648 swapFree=6864/6864
[pid=14897] ppid=14895 vsize=11586392 CPUtime=0.47 cores=0,2,4,6
/proc/14897/stat : 14897 (java) S 14895 14897 12644 0 -1 4202496 6584 0 1 0 45 2 0 0 20 0 18 0 337961217 11864465408 16373 33554432000 1073741824 1073778376 140733887437584 140733887428720 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14897/statm: 2896598 16373 2232 9 0 2887285 0
[pid=14897/tid=14898] ppid=14895 vsize=11586392 CPUtime=0.28 cores=0,2,4,6
/proc/14897/task/14898/stat : 14898 (java) R 14895 14897 12644 0 -1 4202560 3371 0 1 0 26 2 0 0 20 0 18 0 337961218 11864465408 16373 33554432000 1073741824 1073778376 140733887437584 140618587122608 140618454131648 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 11586392

[startup+0.700188 s]
/proc/loadavg: 3.65 3.71 3.64 3/197 14897
/proc/meminfo: memFree=25319536/32873648 swapFree=6864/6864
[pid=14897] ppid=14895 vsize=11852648 CPUtime=1.06 cores=0,2,4,6
/proc/14897/stat : 14897 (java) S 14895 14897 12644 0 -1 4202496 11427 0 1 0 101 5 0 0 20 0 19 0 337961217 12137111552 20288 33554432000 1073741824 1073778376 140733887437584 140733887428720 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14897/statm: 2963162 20288 2256 9 0 2953849 0
[pid=14897/tid=14898] ppid=14895 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/14897/task/14898/stat : 14898 (java) S 14895 14897 12644 0 -1 4202560 3385 0 1 0 33 2 0 0 20 0 19 0 337961218 12137111552 20288 33554432000 1073741824 1073778376 140733887437584 140618587124888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 11852648

[startup+1.50065 s]
/proc/loadavg: 3.65 3.71 3.64 3/216 14922
/proc/meminfo: memFree=25238300/32873648 swapFree=6864/6864
[pid=14897] ppid=14895 vsize=11852648 CPUtime=1.9 cores=0,2,4,6
/proc/14897/stat : 14897 (java) S 14895 14897 12644 0 -1 4202496 16189 0 1 0 182 8 0 0 20 0 22 0 337961217 12137111552 28961 33554432000 1073741824 1073778376 140733887437584 140733887428720 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14897/statm: 2963162 28961 2263 9 0 2953849 0
[pid=14897/tid=14898] ppid=14895 vsize=11852648 CPUtime=0.36 cores=0,2,4,6
/proc/14897/task/14898/stat : 14898 (java) S 14895 14897 12644 0 -1 4202560 3385 0 1 0 34 2 0 0 20 0 22 0 337961218 12137111552 28961 33554432000 1073741824 1073778376 140733887437584 140618587124888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14900] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14900/stat : 14900 (java) S 14895 14897 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 28961 33554432000 1073741824 1073778376 140733887437584 140618576186280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14901] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14901/stat : 14901 (java) S 14895 14897 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 28961 33554432000 1073741824 1073778376 140733887437584 140618575133736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14902] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14902/stat : 14902 (java) S 14895 14897 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 28961 33554432000 1073741824 1073778376 140733887437584 140618574080680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14897/tid=14903] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14903/stat : 14903 (java) S 14895 14897 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 28961 33554432000 1073741824 1073778376 140733887437584 140618573028136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14904] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14904/stat : 14904 (java) S 14895 14897 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 28961 33554432000 1073741824 1073778376 140733887437584 140618419693992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14905] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14905/stat : 14905 (java) S 14895 14897 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 28961 33554432000 1073741824 1073778376 140733887437584 140618418641448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14906] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14906/stat : 14906 (java) S 14895 14897 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 28961 33554432000 1073741824 1073778376 140733887437584 140618417588392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14907] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14907/stat : 14907 (java) S 14895 14897 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 28961 33554432000 1073741824 1073778376 140733887437584 140618416535848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14908] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14908/stat : 14908 (java) S 14895 14897 12644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337961220 12137111552 28961 33554432000 1073741824 1073778376 140733887437584 140618404338536 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14909] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14909/stat : 14909 (java) S 14895 14897 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337961221 12137111552 28961 33554432000 1073741824 1073778376 140733887437584 140618403284856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14910] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14910/stat : 14910 (java) S 14895 14897 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337961221 12137111552 28961 33554432000 1073741824 1073778376 140733887437584 140618402231688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14911] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14911/stat : 14911 (java) S 14895 14897 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337961223 12137111552 28961 33554432000 1073741824 1073778376 140733887437584 140618401180432 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14912] ppid=14895 vsize=11852648 CPUtime=0.52 cores=0,2,4,6
/proc/14897/task/14912/stat : 14912 (java) R 14895 14897 12644 0 -1 4202560 6354 0 0 0 52 0 0 0 20 0 22 0 337961223 12137111552 28961 33554432000 1073741824 1073778376 140733887437584 140618400104856 140618594106496 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14913] ppid=14895 vsize=11852648 CPUtime=0.51 cores=0,2,4,6
/proc/14897/task/14913/stat : 14913 (java) R 14895 14897 12644 0 -1 4202560 5125 0 0 0 50 1 0 0 20 0 22 0 337961223 12137111552 28961 33554432000 1073741824 1073778376 140733887437584 140618399061768 140618590743855 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14914] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14914/stat : 14914 (java) S 14895 14897 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337961223 12137111552 28961 33554432000 1073741824 1073778376 140733887437584 140618398021880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14915] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14915/stat : 14915 (java) S 14895 14897 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337961223 12137111552 28961 33554432000 1073741824 1073778376 140733887437584 140618396969544 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14919] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14919/stat : 14919 (java) S 14895 14897 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337961255 12137111552 28961 33554432000 1073741824 1073778376 140733887437584 140618392757672 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 11852648

[startup+3.10073 s]
/proc/loadavg: 3.65 3.71 3.64 5/219 14928
/proc/meminfo: memFree=25120876/32873648 swapFree=6864/6864
[pid=14897] ppid=14895 vsize=11852648 CPUtime=5.3 cores=0,2,4,6
/proc/14897/stat : 14897 (java) S 14895 14897 12644 0 -1 4202496 19705 0 1 0 515 15 0 0 20 0 22 0 337961217 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140733887428720 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14897/statm: 2963162 97884 2293 9 0 2953849 0
[pid=14897/tid=14898] ppid=14895 vsize=11852648 CPUtime=0.36 cores=0,2,4,6
/proc/14897/task/14898/stat : 14898 (java) S 14895 14897 12644 0 -1 4202560 3385 0 1 0 34 2 0 0 20 0 22 0 337961218 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618587124888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14900] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14900/stat : 14900 (java) S 14895 14897 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618576186280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14901] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14901/stat : 14901 (java) S 14895 14897 12644 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618575133736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14902] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14902/stat : 14902 (java) S 14895 14897 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618574080680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14903] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14903/stat : 14903 (java) S 14895 14897 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618573028136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14897/tid=14904] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14904/stat : 14904 (java) S 14895 14897 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618419693992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14905] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14905/stat : 14905 (java) S 14895 14897 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618418641448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14906] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14906/stat : 14906 (java) S 14895 14897 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618417588392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14907] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14907/stat : 14907 (java) S 14895 14897 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618416535848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14897/tid=14908] ppid=14895 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/14897/task/14908/stat : 14908 (java) S 14895 14897 12644 0 -1 4202560 35 0 0 0 3 0 0 0 20 0 22 0 337961220 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618404338536 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14909] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14909/stat : 14909 (java) S 14895 14897 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337961221 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618403284856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14910] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14910/stat : 14910 (java) S 14895 14897 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337961221 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618402231688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14911] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14911/stat : 14911 (java) S 14895 14897 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337961223 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618401180432 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14912] ppid=14895 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/14897/task/14912/stat : 14912 (java) S 14895 14897 12644 0 -1 4202560 7378 0 0 0 77 2 0 0 20 0 22 0 337961223 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618400127288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14913] ppid=14895 vsize=11852648 CPUtime=0.86 cores=0,2,4,6
/proc/14897/task/14913/stat : 14913 (java) S 14895 14897 12644 0 -1 4202560 7414 0 0 0 84 2 0 0 20 0 22 0 337961223 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618399074744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14914] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14914/stat : 14914 (java) S 14895 14897 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337961223 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618398021880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14915] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14915/stat : 14915 (java) S 14895 14897 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337961223 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618396969544 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14919] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14919/stat : 14919 (java) S 14895 14897 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337961255 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618392757672 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14926] ppid=14895 vsize=11852648 CPUtime=1.14 cores=0,2,4,6
/proc/14897/task/14926/stat : 14926 (java) R 14895 14897 12644 0 -1 4202560 7 0 0 0 114 0 0 0 20 0 22 0 337961405 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618394862056 140618454605514 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14927] ppid=14895 vsize=11852648 CPUtime=1.13 cores=0,2,4,6
/proc/14897/task/14927/stat : 14927 (java) R 14895 14897 12644 0 -1 4202560 102 0 0 0 110 3 0 0 20 0 22 0 337961405 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618395914632 140618454695707 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=14897/tid=14928] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14928/stat : 14928 (java) S 14895 14897 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337961405 12137111552 97884 33554432000 1073741824 1073778376 140733887437584 140618393809960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.3
Current children cumulated vsize (KiB) 11852648

[startup+6.30073 s]
/proc/loadavg: 3.68 3.71 3.65 5/219 14928
/proc/meminfo: memFree=24805740/32873648 swapFree=6864/6864
[pid=14897] ppid=14895 vsize=11852648 CPUtime=11.74 cores=0,2,4,6
/proc/14897/stat : 14897 (java) S 14895 14897 12644 0 -1 4202496 19809 0 1 0 1155 19 0 0 20 0 22 0 337961217 12137111552 137296 33554432000 1073741824 1073778376 140733887437584 140733887428720 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14897/statm: 2963162 137296 2293 9 0 2953849 0
[pid=14897/tid=14898] ppid=14895 vsize=11852648 CPUtime=0.36 cores=0,2,4,6
/proc/14897/task/14898/stat : 14898 (java) S 14895 14897 12644 0 -1 4202560 3385 0 1 0 34 2 0 0 20 0 22 0 337961218 12137111552 137296 33554432000 1073741824 1073778376 140733887437584 140618587124888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14900] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14900/stat : 14900 (java) S 14895 14897 12644 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 137296 33554432000 1073741824 1073778376 140733887437584 140618576186280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14901] ppid=14895 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/14897/task/14901/stat : 14901 (java) S 14895 14897 12644 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 337961219 12137111552 137296 33554432000 1073741824 1073778376 140733887437584 140618575133736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14897/tid=14902] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14902/stat : 14902 (java) S 14895 14897 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 137296 33554432000 1073741824 1073778376 140733887437584 140618574080680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14903] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14903/stat : 14903 (java) S 14895 14897 12644 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 137296 33554432000 1073741824 1073778376 140733887437584 140618573028136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14897/tid=14904] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14904/stat : 14904 (java) S 14895 14897 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 137296 33554432000 1073741824 1073778376 140733887437584 140618419693992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14905] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14905/stat : 14905 (java) S 14895 14897 12644 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 137296 33554432000 1073741824 1073778376 140733887437584 140618418641448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14906] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14906/stat : 14906 (java) S 14895 14897 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 137296 33554432000 1073741824 1073778376 140733887437584 140618417588392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14897/tid=14907] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14907/stat : 14907 (java) S 14895 14897 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337961219 12137111552 137296 33554432000 1073741824 1073778376 140733887437584 140618416535848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14897/tid=14908] ppid=14895 vsize=11852648 CPUtime=0.18 cores=0,2,4,6
/proc/14897/task/14908/stat : 14908 (java) S 14895 14897 12644 0 -1 4202560 40 0 0 0 18 0 0 0 20 0 22 0 337961220 12137111552 137296 33554432000 1073741824 1073778376 140733887437584 140618404338536 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14909] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14909/stat : 14909 (java) S 14895 14897 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337961221 12137111552 137296 33554432000 1073741824 1073778376 140733887437584 140618403284856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14910] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14910/stat : 14910 (java) S 14895 14897 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337961221 12137111552 137296 33554432000 1073741824 1073778376 140733887437584 140618402231688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0

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

[pid=14897/tid=14929] ppid=14895 vsize=11852648 CPUtime=648.99 cores=0,2,4,6
/proc/14897/task/14929/stat : 14929 (java) R 14895 14897 12644 0 -1 4202560 127 0 0 0 64890 9 0 0 20 0 22 0 337967383 12137111552 177449 33554432000 1073741824 1073778376 140733887437584 140618395914704 140618454533850 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14930] ppid=14895 vsize=11852648 CPUtime=648.99 cores=0,2,4,6
/proc/14897/task/14930/stat : 14930 (java) R 14895 14897 12644 0 -1 4202560 81 0 0 0 64888 11 0 0 20 0 22 0 337967383 12137111552 177449 33554432000 1073741824 1073778376 140733887437584 140618394859648 140618454782333 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14931] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14931/stat : 14931 (java) S 14895 14897 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337967383 12137111552 177449 33554432000 1073741824 1073778376 140733887437584 140618393809832 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1476.72
Current children cumulated vsize (KiB) 11852648

[startup+822.301 s]
/proc/loadavg: 4.01 3.78 3.69 5/219 15017
/proc/meminfo: memFree=24595508/32873648 swapFree=6864/6864
[pid=14897] ppid=14895 vsize=11852648 CPUtime=1591.82 cores=0,2,4,6
/proc/14897/stat : 14897 (java) S 14895 14897 12644 0 -1 4202496 23006 0 1 0 159123 59 0 0 20 0 22 0 337961217 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140733887428720 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14897/statm: 2963162 177512 2294 9 0 2953849 0
[pid=14897/tid=14898] ppid=14895 vsize=11852648 CPUtime=0.39 cores=0,2,4,6
/proc/14897/task/14898/stat : 14898 (java) S 14895 14897 12644 0 -1 4202560 3502 0 1 0 37 2 0 0 20 0 22 0 337961218 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618587124888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14900] ppid=14895 vsize=11852648 CPUtime=1.42 cores=0,2,4,6
/proc/14897/task/14900/stat : 14900 (java) S 14895 14897 12644 0 -1 4202560 100 0 0 0 140 2 0 0 20 0 22 0 337961219 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618576186280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14897/tid=14901] ppid=14895 vsize=11852648 CPUtime=1.39 cores=0,2,4,6
/proc/14897/task/14901/stat : 14901 (java) S 14895 14897 12644 0 -1 4202560 118 0 0 0 137 2 0 0 20 0 22 0 337961219 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618575133736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14902] ppid=14895 vsize=11852648 CPUtime=1.45 cores=0,2,4,6
/proc/14897/task/14902/stat : 14902 (java) S 14895 14897 12644 0 -1 4202560 104 0 0 0 145 0 0 0 20 0 22 0 337961219 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618574080680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14897/tid=14903] ppid=14895 vsize=11852648 CPUtime=1.5 cores=0,2,4,6
/proc/14897/task/14903/stat : 14903 (java) S 14895 14897 12644 0 -1 4202560 129 0 0 0 149 1 0 0 20 0 22 0 337961219 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618573028136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14904] ppid=14895 vsize=11852648 CPUtime=1.53 cores=0,2,4,6
/proc/14897/task/14904/stat : 14904 (java) S 14895 14897 12644 0 -1 4202560 94 0 0 0 153 0 0 0 20 0 22 0 337961219 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618419693992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14897/tid=14905] ppid=14895 vsize=11852648 CPUtime=1.48 cores=0,2,4,6
/proc/14897/task/14905/stat : 14905 (java) S 14895 14897 12644 0 -1 4202560 103 0 0 0 146 2 0 0 20 0 22 0 337961219 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618418641448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14897/tid=14906] ppid=14895 vsize=11852648 CPUtime=1.34 cores=0,2,4,6
/proc/14897/task/14906/stat : 14906 (java) S 14895 14897 12644 0 -1 4202560 100 0 0 0 133 1 0 0 20 0 22 0 337961219 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618417588392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14907] ppid=14895 vsize=11852648 CPUtime=1.42 cores=0,2,4,6
/proc/14897/task/14907/stat : 14907 (java) S 14895 14897 12644 0 -1 4202560 102 0 0 0 142 0 0 0 20 0 22 0 337961219 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618416535848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14908] ppid=14895 vsize=11852648 CPUtime=56.59 cores=0,2,4,6
/proc/14897/task/14908/stat : 14908 (java) S 14895 14897 12644 0 -1 4202560 141 0 0 0 5652 7 0 0 20 0 22 0 337961220 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618404338536 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14909] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14909/stat : 14909 (java) S 14895 14897 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337961221 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618403284856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14910] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14910/stat : 14910 (java) S 14895 14897 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337961221 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618402231688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14911] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14911/stat : 14911 (java) S 14895 14897 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337961223 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618401180432 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14912] ppid=14895 vsize=11852648 CPUtime=1 cores=0,2,4,6
/proc/14897/task/14912/stat : 14912 (java) S 14895 14897 12644 0 -1 4202560 7390 0 0 0 98 2 0 0 20 0 22 0 337961223 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618400127288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14913] ppid=14895 vsize=11852648 CPUtime=1.39 cores=0,2,4,6
/proc/14897/task/14913/stat : 14913 (java) S 14895 14897 12644 0 -1 4202560 9288 0 0 0 137 2 0 0 20 0 22 0 337961223 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618399074744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14914] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14914/stat : 14914 (java) S 14895 14897 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337961223 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618398021880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14915] ppid=14895 vsize=11852648 CPUtime=0.27 cores=0,2,4,6
/proc/14897/task/14915/stat : 14915 (java) S 14895 14897 12644 0 -1 4202560 47 0 0 0 13 14 0 0 20 0 22 0 337961223 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618396969544 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14919] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14919/stat : 14919 (java) S 14895 14897 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337961255 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618392757672 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14929] ppid=14895 vsize=11852648 CPUtime=703.43 cores=0,2,4,6
/proc/14897/task/14929/stat : 14929 (java) R 14895 14897 12644 0 -1 4202560 134 0 0 0 70333 10 0 0 20 0 22 0 337967383 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618395914704 140618454533863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14930] ppid=14895 vsize=11852648 CPUtime=703.42 cores=0,2,4,6
/proc/14897/task/14930/stat : 14930 (java) R 14895 14897 12644 0 -1 4202560 86 0 0 0 70329 13 0 0 20 0 22 0 337967383 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618394859648 140618454695707 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14931] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14931/stat : 14931 (java) S 14895 14897 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337967383 12137111552 177512 33554432000 1073741824 1073778376 140733887437584 140618393809832 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1591.82
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.72 3.72 3.67 3/219 15017
/proc/meminfo: memFree=24590680/32873648 swapFree=6864/6864
[pid=14897] ppid=14895 vsize=11852648 CPUtime=1706.93 cores=0,2,4,6
/proc/14897/stat : 14897 (java) S 14895 14897 12644 0 -1 4202496 23105 0 1 0 170632 61 0 0 20 0 22 0 337961217 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140733887428720 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14897/statm: 2963162 178090 2294 9 0 2953849 0
[pid=14897/tid=14898] ppid=14895 vsize=11852648 CPUtime=0.39 cores=0,2,4,6
/proc/14897/task/14898/stat : 14898 (java) S 14895 14897 12644 0 -1 4202560 3519 0 1 0 37 2 0 0 20 0 22 0 337961218 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618587124888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14900] ppid=14895 vsize=11852648 CPUtime=1.53 cores=0,2,4,6
/proc/14897/task/14900/stat : 14900 (java) S 14895 14897 12644 0 -1 4202560 105 0 0 0 151 2 0 0 20 0 22 0 337961219 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618576186280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14901] ppid=14895 vsize=11852648 CPUtime=1.54 cores=0,2,4,6
/proc/14897/task/14901/stat : 14901 (java) S 14895 14897 12644 0 -1 4202560 123 0 0 0 152 2 0 0 20 0 22 0 337961219 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618575133736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14902] ppid=14895 vsize=11852648 CPUtime=1.61 cores=0,2,4,6
/proc/14897/task/14902/stat : 14902 (java) S 14895 14897 12644 0 -1 4202560 111 0 0 0 160 1 0 0 20 0 22 0 337961219 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618574080680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14903] ppid=14895 vsize=11852648 CPUtime=1.66 cores=0,2,4,6
/proc/14897/task/14903/stat : 14903 (java) S 14895 14897 12644 0 -1 4202560 135 0 0 0 165 1 0 0 20 0 22 0 337961219 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618573028136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14897/tid=14904] ppid=14895 vsize=11852648 CPUtime=1.66 cores=0,2,4,6
/proc/14897/task/14904/stat : 14904 (java) S 14895 14897 12644 0 -1 4202560 103 0 0 0 164 2 0 0 20 0 22 0 337961219 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618419693992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14905] ppid=14895 vsize=11852648 CPUtime=1.61 cores=0,2,4,6
/proc/14897/task/14905/stat : 14905 (java) S 14895 14897 12644 0 -1 4202560 111 0 0 0 159 2 0 0 20 0 22 0 337961219 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618418641448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14906] ppid=14895 vsize=11852648 CPUtime=1.49 cores=0,2,4,6
/proc/14897/task/14906/stat : 14906 (java) S 14895 14897 12644 0 -1 4202560 114 0 0 0 147 2 0 0 20 0 22 0 337961219 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618417588392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14907] ppid=14895 vsize=11852648 CPUtime=1.57 cores=0,2,4,6
/proc/14897/task/14907/stat : 14907 (java) S 14895 14897 12644 0 -1 4202560 114 0 0 0 155 2 0 0 20 0 22 0 337961219 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618416535848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14908] ppid=14895 vsize=11852648 CPUtime=61.96 cores=0,2,4,6
/proc/14897/task/14908/stat : 14908 (java) S 14895 14897 12644 0 -1 4202560 146 0 0 0 6188 8 0 0 20 0 22 0 337961220 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618404338536 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14909] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14909/stat : 14909 (java) S 14895 14897 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337961221 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618403284856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14910] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14910/stat : 14910 (java) S 14895 14897 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337961221 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618402231688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14911] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14911/stat : 14911 (java) S 14895 14897 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337961223 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618401180432 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14912] ppid=14895 vsize=11852648 CPUtime=1 cores=0,2,4,6
/proc/14897/task/14912/stat : 14912 (java) S 14895 14897 12644 0 -1 4202560 7390 0 0 0 98 2 0 0 20 0 22 0 337961223 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618400127288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14913] ppid=14895 vsize=11852648 CPUtime=1.39 cores=0,2,4,6
/proc/14897/task/14913/stat : 14913 (java) S 14895 14897 12644 0 -1 4202560 9288 0 0 0 137 2 0 0 20 0 22 0 337961223 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618399074744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14914] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14914/stat : 14914 (java) S 14895 14897 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337961223 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618398021880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14915] ppid=14895 vsize=11852648 CPUtime=0.28 cores=0,2,4,6
/proc/14897/task/14915/stat : 14915 (java) S 14895 14897 12644 0 -1 4202560 51 0 0 0 14 14 0 0 20 0 22 0 337961223 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618396969544 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14919] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14919/stat : 14919 (java) S 14895 14897 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337961255 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618392757672 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14929] ppid=14895 vsize=11852648 CPUtime=757.73 cores=0,2,4,6
/proc/14897/task/14929/stat : 14929 (java) R 14895 14897 12644 0 -1 4202560 139 0 0 0 75762 11 0 0 20 0 22 0 337967383 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618395914824 140618454631259 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14930] ppid=14895 vsize=11852648 CPUtime=757.71 cores=0,2,4,6
/proc/14897/task/14930/stat : 14930 (java) R 14895 14897 12644 0 -1 4202560 88 0 0 0 75757 14 0 0 20 0 22 0 337967383 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618394859768 140618454782333 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14931] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14931/stat : 14931 (java) S 14895 14897 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337967383 12137111552 178090 33554432000 1073741824 1073778376 140733887437584 140618393809832 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1706.93
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+930.607 s]
/proc/loadavg: 3.76 3.72 3.67 5/219 15017
/proc/meminfo: memFree=24581872/32873648 swapFree=6864/6864
[pid=14897] ppid=14895 vsize=11852648 CPUtime=1800.01 cores=0,2,4,6
/proc/14897/stat : 14897 (java) S 14895 14897 12644 0 -1 4202496 23175 0 1 0 179938 63 0 0 20 0 22 0 337961217 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140733887428720 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14897/statm: 2963162 179161 2294 9 0 2953849 0
[pid=14897/tid=14898] ppid=14895 vsize=11852648 CPUtime=0.4 cores=0,2,4,6
/proc/14897/task/14898/stat : 14898 (java) S 14895 14897 12644 0 -1 4202560 3530 0 1 0 38 2 0 0 20 0 22 0 337961218 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618587124888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14900] ppid=14895 vsize=11852648 CPUtime=1.62 cores=0,2,4,6
/proc/14897/task/14900/stat : 14900 (java) S 14895 14897 12644 0 -1 4202560 113 0 0 0 160 2 0 0 20 0 22 0 337961219 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618576186280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14901] ppid=14895 vsize=11852648 CPUtime=1.64 cores=0,2,4,6
/proc/14897/task/14901/stat : 14901 (java) S 14895 14897 12644 0 -1 4202560 128 0 0 0 162 2 0 0 20 0 22 0 337961219 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618575133736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14897/tid=14902] ppid=14895 vsize=11852648 CPUtime=1.7 cores=0,2,4,6
/proc/14897/task/14902/stat : 14902 (java) S 14895 14897 12644 0 -1 4202560 116 0 0 0 169 1 0 0 20 0 22 0 337961219 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618574080680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14903] ppid=14895 vsize=11852648 CPUtime=1.75 cores=0,2,4,6
/proc/14897/task/14903/stat : 14903 (java) S 14895 14897 12644 0 -1 4202560 144 0 0 0 173 2 0 0 20 0 22 0 337961219 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618573028136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14904] ppid=14895 vsize=11852648 CPUtime=1.74 cores=0,2,4,6
/proc/14897/task/14904/stat : 14904 (java) S 14895 14897 12644 0 -1 4202560 104 0 0 0 172 2 0 0 20 0 22 0 337961219 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618419693992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14905] ppid=14895 vsize=11852648 CPUtime=1.71 cores=0,2,4,6
/proc/14897/task/14905/stat : 14905 (java) S 14895 14897 12644 0 -1 4202560 120 0 0 0 169 2 0 0 20 0 22 0 337961219 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618418641448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14906] ppid=14895 vsize=11852648 CPUtime=1.57 cores=0,2,4,6
/proc/14897/task/14906/stat : 14906 (java) S 14895 14897 12644 0 -1 4202560 124 0 0 0 155 2 0 0 20 0 22 0 337961219 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618417588392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14897/tid=14907] ppid=14895 vsize=11852648 CPUtime=1.66 cores=0,2,4,6
/proc/14897/task/14907/stat : 14907 (java) S 14895 14897 12644 0 -1 4202560 114 0 0 0 164 2 0 0 20 0 22 0 337961219 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618416535848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14897/tid=14908] ppid=14895 vsize=11852648 CPUtime=65.81 cores=0,2,4,6
/proc/14897/task/14908/stat : 14908 (java) S 14895 14897 12644 0 -1 4202560 150 0 0 0 6573 8 0 0 20 0 22 0 337961220 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618404338536 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14909] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14909/stat : 14909 (java) S 14895 14897 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337961221 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618403284856 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14910] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14910/stat : 14910 (java) S 14895 14897 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337961221 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618402231688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14911] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14911/stat : 14911 (java) S 14895 14897 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337961223 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618401180432 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14912] ppid=14895 vsize=11852648 CPUtime=1 cores=0,2,4,6
/proc/14897/task/14912/stat : 14912 (java) S 14895 14897 12644 0 -1 4202560 7390 0 0 0 98 2 0 0 20 0 22 0 337961223 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618400127288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14913] ppid=14895 vsize=11852648 CPUtime=1.39 cores=0,2,4,6
/proc/14897/task/14913/stat : 14913 (java) S 14895 14897 12644 0 -1 4202560 9288 0 0 0 137 2 0 0 20 0 22 0 337961223 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618399074744 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14914] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14914/stat : 14914 (java) S 14895 14897 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337961223 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618398021880 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14915] ppid=14895 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/14897/task/14915/stat : 14915 (java) S 14895 14897 12644 0 -1 4202560 53 0 0 0 16 15 0 0 20 0 22 0 337961223 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618396969544 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14897/tid=14919] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14919/stat : 14919 (java) S 14895 14897 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337961255 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618392757672 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14929] ppid=14895 vsize=11852648 CPUtime=801.99 cores=0,2,4,6
/proc/14897/task/14929/stat : 14929 (java) R 14895 14897 12644 0 -1 4202560 143 0 0 0 80187 12 0 0 20 0 22 0 337967383 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618395914704 140618454533863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14897/tid=14930] ppid=14895 vsize=11852648 CPUtime=801.97 cores=0,2,4,6
/proc/14897/task/14930/stat : 14930 (java) R 14895 14897 12644 0 -1 4202560 90 0 0 0 80182 15 0 0 20 0 22 0 337967383 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618394859888 140618454695696 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14897/tid=14931] ppid=14895 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14897/task/14931/stat : 14931 (java) S 14895 14897 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337967383 12137111552 179161 33554432000 1073741824 1073778376 140733887437584 140618393809832 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 11852648

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

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

Child status: 143
Real time (s): 930.639
CPU time (s): 1800.5
CPU user time (s): 1799.48
CPU system time (s): 1.02484
CPU usage (%): 193.469
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 1.02484
maximum resident set size= 716756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23205
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33408
involuntary context switches= 32455

runsolver used 3.2615 second user time and 8.74467 second system time

The end

Launcher Data 

Begin job on node125 at 2012-06-03 12:12:38
IDJOB=3736910
IDBENCH=48143
IDSOLVER=2328
FILE ID=node125/3736910-1338718358
RUNJOBID= node125-1338714015-12660
PBS_JOBID= 14636751
Free space on /tmp= 70440 MiB

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

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

MD5SUM BENCH= 4c6ab7a9b1b11dc4bf8c6231156cc585
RANDOM SEED=1809710295

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        25319800 kB
Buffers:          608860 kB
Cached:          5029376 kB
SwapCached:         2308 kB
Active:          3474812 kB
Inactive:        3165724 kB
Active(anon):     993456 kB
Inactive(anon):     9240 kB
Active(file):    2481356 kB
Inactive(file):  3156484 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102524 kB
Dirty:               520 kB
Writeback:             0 kB
AnonPages:       1056324 kB
Mapped:            22556 kB
Shmem:                96 kB
Slab:             767708 kB
SReclaimable:     211188 kB
SUnreclaim:       556520 kB
KernelStack:        1784 kB
PageTables:         6204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:   10462404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1001472 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70440 MiB
End job on node125 at 2012-06-03 12:28:11