Trace number 3453955

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)6 1800.27 942.474

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_5.opb
MD5SUM65a3c38bd8963c911b96c745ee468cb1
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.36179
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 constraint40
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)3062
Sum of products size (including duplicates)6124
Number of different products3062
Sum of products size6124

Quality of the solution as a function of time


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

Solver Data 

0.04/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.09	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		9996466904
0.04/0.09	c Max memory 		10048897024
0.04/0.09	c Total memory 		10048897024
0.04/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3453955-1307194680.opb
0.10/0.12	c reading problem ... 
0.71/0.40	c ... done. Wall clock time 0.277s.
0.71/0.40	c #vars     3162
0.71/0.40	c #constraints  6224
0.71/0.40	c constraints type 
0.71/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3162
0.71/0.40	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3062
0.71/0.40	c constraints type 
0.71/0.40	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3162
0.71/0.40	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3062
0.71/0.42	c  And the winner is Resolution
1.05/0.91	c SATISFIABLE
1.05/0.91	c OPTIMIZING...
1.05/0.91	c Got one! Elapsed wall clock time (in seconds):0.791
1.05/0.91	o 8
1.05/0.97	c  And the winner is Resolution
1.26/1.42	c Got one! Elapsed wall clock time (in seconds):1.302
1.26/1.42	o 7
2.57/1.86	c  And the winner is Resolution
2.74/1.94	c Got one! Elapsed wall clock time (in seconds):1.826
2.74/1.94	o 6
3.90/2.53	c cleaning 2764 clauses out of 5528 with flag 3000/5528
5.92/3.58	c cleaning 4382 clauses out of 8766 with flag 9002/11530
8.53/4.85	c cleaning 5691 clauses out of 11385 with flag 16003/18531
11.31/6.22	c cleaning 6842 clauses out of 13691 with flag 24000/26528
14.50/7.81	c cleaning 7923 clauses out of 15851 with flag 33002/35530
17.87/9.56	c cleaning 8960 clauses out of 17926 with flag 43000/45528
21.42/11.37	c cleaning 9480 clauses out of 18966 with flag 53000/55528
25.38/13.32	c cleaning 9741 clauses out of 19487 with flag 63001/65529
29.12/15.29	c cleaning 9870 clauses out of 19745 with flag 73000/75528
32.67/17.05	c cleaning 9937 clauses out of 19877 with flag 83002/85530
36.42/18.99	c cleaning 9965 clauses out of 19938 with flag 93000/95528
40.00/20.73	c cleaning 9984 clauses out of 19975 with flag 103002/105530
43.72/22.64	c cleaning 9993 clauses out of 19993 with flag 113004/115532
47.27/24.41	c cleaning 9995 clauses out of 19996 with flag 123000/125528
50.81/26.30	c cleaning 9997 clauses out of 20001 with flag 133000/135528
54.96/28.32	c cleaning 9999 clauses out of 20004 with flag 143000/145528
59.07/30.49	c cleaning 10000 clauses out of 20007 with flag 153002/155530
63.40/32.62	c cleaning 10001 clauses out of 20008 with flag 163003/165531
67.54/34.71	c cleaning 10001 clauses out of 20004 with flag 173000/175528
71.27/36.62	c cleaning 10000 clauses out of 20007 with flag 183004/185532
75.00/38.56	c cleaning 9999 clauses out of 20005 with flag 193002/195530
78.69/40.49	c cleaning 9998 clauses out of 20007 with flag 203003/205531
82.41/42.39	c cleaning 10002 clauses out of 20009 with flag 213003/215531
86.34/44.35	c cleaning 9998 clauses out of 20006 with flag 223002/225530
89.85/46.20	c cleaning 10000 clauses out of 20007 with flag 233001/235529
93.55/48.09	c cleaning 9999 clauses out of 20008 with flag 243002/245530
97.46/50.02	c cleaning 10000 clauses out of 20007 with flag 253000/255528
101.18/51.92	c cleaning 9999 clauses out of 20007 with flag 263000/265528
104.65/53.78	c cleaning 10004 clauses out of 20012 with flag 273004/275532
108.76/55.81	c cleaning 10001 clauses out of 20005 with flag 283001/285529
112.27/57.62	c cleaning 9995 clauses out of 20004 with flag 293001/295529
115.62/59.41	c cleaning 10000 clauses out of 20008 with flag 303000/305528
119.46/61.35	c cleaning 9997 clauses out of 20008 with flag 313000/315528
123.18/63.20	c cleaning 10006 clauses out of 20017 with flag 323006/325534
126.90/65.12	c cleaning 9999 clauses out of 20006 with flag 333001/335529
130.64/67.08	c cleaning 10000 clauses out of 20007 with flag 343001/345529
134.48/69.06	c cleaning 9999 clauses out of 20007 with flag 353001/355529
138.40/71.04	c cleaning 10004 clauses out of 20016 with flag 363009/365537
142.31/73.05	c cleaning 9998 clauses out of 20004 with flag 373001/375529
146.22/75.09	c cleaning 9999 clauses out of 20008 with flag 383003/385531
150.13/77.08	c cleaning 10001 clauses out of 20007 with flag 393001/395529
154.23/79.17	c cleaning 9998 clauses out of 20005 with flag 403000/405528
157.91/81.03	c cleaning 9999 clauses out of 20007 with flag 413000/415528
161.82/83.03	c cleaning 10001 clauses out of 20011 with flag 423003/425531
165.68/85.04	c cleaning 9999 clauses out of 20008 with flag 433001/435529
169.58/87.07	c cleaning 10000 clauses out of 20011 with flag 443003/445531
173.28/88.99	c cleaning 10002 clauses out of 20012 with flag 453004/455532
177.39/91.02	c cleaning 9998 clauses out of 20007 with flag 463001/465529
181.84/93.41	c cleaning 9998 clauses out of 20008 with flag 473000/475528
185.94/95.41	c cleaning 10000 clauses out of 20011 with flag 483001/485529
189.85/97.46	c cleaning 10002 clauses out of 20012 with flag 493002/495530
193.95/99.51	c cleaning 10000 clauses out of 20008 with flag 503000/505528
198.03/101.66	c cleaning 10001 clauses out of 20011 with flag 513003/515531
202.13/103.73	c cleaning 10001 clauses out of 20009 with flag 523002/525530
206.63/106.02	c cleaning 9998 clauses out of 20006 with flag 533000/535528
211.33/108.41	c cleaning 10002 clauses out of 20010 with flag 543002/545530
215.57/110.64	c cleaning 9998 clauses out of 20006 with flag 553000/555528
219.87/112.90	c cleaning 9999 clauses out of 20009 with flag 563001/565529
224.57/115.20	c cleaning 10001 clauses out of 20010 with flag 573001/575529
229.07/117.58	c cleaning 10000 clauses out of 20008 with flag 583000/585528
233.11/119.63	c cleaning 10000 clauses out of 20008 with flag 593000/595528
237.00/121.66	c cleaning 10001 clauses out of 20008 with flag 603000/605528
241.09/123.72	c cleaning 10000 clauses out of 20008 with flag 613001/615529
245.38/125.91	c cleaning 10004 clauses out of 20011 with flag 623004/625532
249.01/127.90	c cleaning 9998 clauses out of 20005 with flag 633002/635530
252.93/129.89	c cleaning 9996 clauses out of 20005 with flag 643000/645528
256.78/131.89	c cleaning 10000 clauses out of 20010 with flag 653001/655529
261.07/134.06	c cleaning 10001 clauses out of 20009 with flag 663000/665528
265.52/136.37	c cleaning 10001 clauses out of 20008 with flag 673000/675528
269.38/138.37	c cleaning 10002 clauses out of 20009 with flag 683002/685530
273.47/140.41	c cleaning 9997 clauses out of 20005 with flag 693000/695528
277.55/142.55	c cleaning 10002 clauses out of 20010 with flag 703002/705530
281.97/144.83	c cleaning 9998 clauses out of 20007 with flag 713001/715529
286.07/146.90	c cleaning 10000 clauses out of 20008 with flag 723000/725528
290.36/149.19	c cleaning 10001 clauses out of 20009 with flag 733001/735529
294.85/151.46	c cleaning 10000 clauses out of 20010 with flag 743003/745531
299.47/153.81	c cleaning 10001 clauses out of 20010 with flag 753003/755531
303.76/156.07	c cleaning 10000 clauses out of 20010 with flag 763004/765532
308.27/158.34	c cleaning 9997 clauses out of 20006 with flag 773000/775528
312.92/160.72	c cleaning 10001 clauses out of 20010 with flag 783001/785529
317.75/163.27	c cleaning 10002 clauses out of 20010 with flag 793002/795530
322.64/165.74	c cleaning 9997 clauses out of 20006 with flag 803000/805528
327.32/168.13	c cleaning 10003 clauses out of 20011 with flag 813002/815530
332.21/170.68	c cleaning 9994 clauses out of 20008 with flag 823002/825530
337.24/173.25	c cleaning 10002 clauses out of 20012 with flag 833000/835528
342.12/175.80	c cleaning 10003 clauses out of 20013 with flag 843003/845531
347.04/178.29	c cleaning 9997 clauses out of 20008 with flag 853001/855529
351.89/180.79	c cleaning 10000 clauses out of 20010 with flag 863000/865528
356.51/183.20	c cleaning 10004 clauses out of 20014 with flag 873004/875532
361.19/185.54	c cleaning 10002 clauses out of 20008 with flag 883002/885530
364.88/187.42	c cleaning 10002 clauses out of 20007 with flag 893003/895531
368.56/189.37	c cleaning 10000 clauses out of 20005 with flag 903003/905531
372.62/191.45	c cleaning 9997 clauses out of 20002 with flag 913000/915528
376.69/193.56	c cleaning 10002 clauses out of 20008 with flag 923003/925531
381.18/195.84	c cleaning 9999 clauses out of 20003 with flag 933000/935528
385.25/197.96	c cleaning 9999 clauses out of 20006 with flag 943002/945530
389.24/200.10	c cleaning 9998 clauses out of 20006 with flag 953001/955529
393.33/202.17	c cleaning 10000 clauses out of 20009 with flag 963002/965530
397.40/204.20	c cleaning 10000 clauses out of 20007 with flag 973000/975528
401.68/206.41	c cleaning 9999 clauses out of 20007 with flag 983000/985528
405.70/208.59	c cleaning 10001 clauses out of 20013 with flag 993005/995533
410.17/210.80	c cleaning 10000 clauses out of 20008 with flag 1003001/1005529
414.45/213.08	c cleaning 10002 clauses out of 20009 with flag 1013002/1015530
418.53/215.11	c cleaning 9998 clauses out of 20005 with flag 1023000/1025528
422.74/217.33	c cleaning 10002 clauses out of 20010 with flag 1033003/1035531
426.82/219.47	c cleaning 9999 clauses out of 20005 with flag 1043000/1045528
430.89/221.57	c cleaning 9998 clauses out of 20006 with flag 1053000/1055528
435.16/223.78	c cleaning 9999 clauses out of 20008 with flag 1063000/1065528
439.77/226.11	c cleaning 10004 clauses out of 20016 with flag 1073007/1075535
443.85/228.29	c cleaning 9997 clauses out of 20006 with flag 1083001/1085529
448.13/230.45	c cleaning 10000 clauses out of 20009 with flag 1093001/1095529
452.60/232.70	c cleaning 10001 clauses out of 20010 with flag 1103002/1105530
457.01/235.08	c cleaning 9998 clauses out of 20008 with flag 1113001/1115529
461.48/237.33	c cleaning 10003 clauses out of 20011 with flag 1123002/1125530
465.95/239.60	c cleaning 9998 clauses out of 20007 with flag 1133001/1135529
470.44/241.94	c cleaning 10001 clauses out of 20010 with flag 1143002/1145530
475.02/244.33	c cleaning 10002 clauses out of 20011 with flag 1153004/1155532
479.69/246.79	c cleaning 9998 clauses out of 20005 with flag 1163000/1165528
484.56/249.21	c cleaning 9999 clauses out of 20008 with flag 1173001/1175529
488.62/251.33	c cleaning 9998 clauses out of 20008 with flag 1183000/1185528
493.03/253.64	c cleaning 10001 clauses out of 20010 with flag 1193000/1195528
497.29/255.85	c cleaning 10003 clauses out of 20013 with flag 1203004/1205532
501.57/258.01	c cleaning 10000 clauses out of 20006 with flag 1213000/1215528
505.83/260.27	c cleaning 9998 clauses out of 20007 with flag 1223001/1225529
510.23/262.56	c cleaning 9996 clauses out of 20008 with flag 1233000/1235528
514.69/264.82	c cleaning 10001 clauses out of 20012 with flag 1243000/1245528
519.16/267.18	c cleaning 10002 clauses out of 20013 with flag 1253002/1255530
523.65/269.45	c cleaning 10001 clauses out of 20010 with flag 1263001/1265529
528.06/271.73	c cleaning 9998 clauses out of 20009 with flag 1273001/1275529
532.88/274.22	c cleaning 10001 clauses out of 20013 with flag 1283003/1285531
537.34/276.53	c cleaning 10003 clauses out of 20011 with flag 1293002/1295530
542.21/279.00	c cleaning 10003 clauses out of 20009 with flag 1303003/1305531
546.60/281.38	c cleaning 9996 clauses out of 20004 with flag 1313001/1315529
551.86/284.02	c cleaning 10000 clauses out of 20007 with flag 1323000/1325528
555.55/285.94	c cleaning 10001 clauses out of 20008 with flag 1333001/1335529
559.19/287.86	c cleaning 9999 clauses out of 20006 with flag 1343000/1345528
562.98/289.82	c cleaning 10000 clauses out of 20008 with flag 1353001/1355529
566.83/291.82	c cleaning 10001 clauses out of 20008 with flag 1363001/1365529
567.09/292.06	c cleaning 0 clauses out of 5086 with flag 0/5088
571.21/294.15	c cleaning 9994 clauses out of 20006 with flag 1373000/1375528
575.39/296.37	c cleaning 10001 clauses out of 20012 with flag 1383000/1385528
579.65/298.53	c cleaning 10003 clauses out of 20017 with flag 1393006/1395534
583.91/300.79	c cleaning 9999 clauses out of 20009 with flag 1403001/1405529
588.36/303.01	c cleaning 10001 clauses out of 20009 with flag 1413000/1415528
592.95/305.48	c cleaning 10002 clauses out of 20009 with flag 1423001/1425529
597.21/307.63	c cleaning 9999 clauses out of 20007 with flag 1433001/1435529
601.66/309.91	c cleaning 9997 clauses out of 20008 with flag 1443001/1445529
606.12/312.31	c cleaning 9999 clauses out of 20012 with flag 1453002/1455530
610.30/314.50	c cleaning 10001 clauses out of 20012 with flag 1463001/1465529
614.55/316.67	c cleaning 10003 clauses out of 20011 with flag 1473001/1475529
618.80/318.88	c cleaning 10001 clauses out of 20007 with flag 1483000/1485528
623.05/321.01	c cleaning 10000 clauses out of 20010 with flag 1493004/1495532
627.45/323.34	c cleaning 9996 clauses out of 20006 with flag 1503000/1505528
631.70/325.61	c cleaning 10000 clauses out of 20011 with flag 1513001/1515529
636.16/327.87	c cleaning 10002 clauses out of 20013 with flag 1523003/1525531
640.40/330.08	c cleaning 9994 clauses out of 20008 with flag 1533000/1535528
644.74/332.34	c cleaning 10003 clauses out of 20016 with flag 1543002/1545530
648.98/334.56	c cleaning 10001 clauses out of 20011 with flag 1553000/1555528
653.43/336.90	c cleaning 9999 clauses out of 20010 with flag 1563000/1565528
658.07/339.27	c cleaning 10003 clauses out of 20013 with flag 1573002/1575530
662.85/341.75	c cleaning 10000 clauses out of 20010 with flag 1583002/1585530
667.50/344.18	c cleaning 10002 clauses out of 20010 with flag 1593002/1595530
671.74/346.39	c cleaning 9998 clauses out of 20008 with flag 1603002/1605530
676.59/348.85	c cleaning 9998 clauses out of 20008 with flag 1613000/1615528
681.16/351.22	c cleaning 10003 clauses out of 20014 with flag 1623004/1625532
685.20/353.37	c cleaning 10000 clauses out of 20009 with flag 1633002/1635530
689.45/355.54	c cleaning 9998 clauses out of 20007 with flag 1643000/1645528
693.69/357.77	c cleaning 10001 clauses out of 20012 with flag 1653003/1655531
698.06/360.04	c cleaning 10002 clauses out of 20011 with flag 1663003/1665531
702.31/362.28	c cleaning 9999 clauses out of 20007 with flag 1673001/1675529
706.75/364.54	c cleaning 10001 clauses out of 20013 with flag 1683006/1685534
711.19/366.89	c cleaning 10000 clauses out of 20008 with flag 1693002/1695530
715.56/369.12	c cleaning 10001 clauses out of 20010 with flag 1703004/1705532
719.80/371.38	c cleaning 10001 clauses out of 20010 with flag 1713005/1715533
724.44/373.73	c cleaning 10000 clauses out of 20008 with flag 1723004/1725532
728.87/376.06	c cleaning 9999 clauses out of 20010 with flag 1733006/1735534
733.47/378.43	c cleaning 9999 clauses out of 20005 with flag 1743000/1745528
737.70/380.65	c cleaning 10000 clauses out of 20007 with flag 1753001/1755529
742.30/383.00	c cleaning 9999 clauses out of 20006 with flag 1763000/1765528
746.33/385.10	c cleaning 10000 clauses out of 20007 with flag 1773000/1775528
750.33/387.27	c cleaning 9999 clauses out of 20007 with flag 1783000/1785528
754.35/389.35	c cleaning 9999 clauses out of 20008 with flag 1793000/1795528
758.58/391.53	c cleaning 10003 clauses out of 20013 with flag 1803004/1805532
762.82/393.73	c cleaning 9999 clauses out of 20010 with flag 1813004/1815532
767.17/396.08	c cleaning 10001 clauses out of 20009 with flag 1823002/1825530
771.76/398.41	c cleaning 10000 clauses out of 20009 with flag 1833003/1835531
776.20/400.74	c cleaning 10001 clauses out of 20008 with flag 1843002/1845530
780.63/403.05	c cleaning 9999 clauses out of 20008 with flag 1853003/1855531
785.17/405.43	c cleaning 10001 clauses out of 20010 with flag 1863004/1865532
789.79/407.83	c cleaning 9998 clauses out of 20005 with flag 1873000/1875528
794.44/410.27	c cleaning 9996 clauses out of 20007 with flag 1883000/1885528
798.87/412.52	c cleaning 10003 clauses out of 20015 with flag 1893004/1895532
803.55/415.02	c cleaning 10000 clauses out of 20008 with flag 1903000/1905528
808.38/417.51	c cleaning 9998 clauses out of 20008 with flag 1913000/1915528
812.80/419.81	c cleaning 9999 clauses out of 20010 with flag 1923000/1925528
817.65/422.37	c cleaning 10001 clauses out of 20011 with flag 1933000/1935528
822.75/425.01	c cleaning 9999 clauses out of 20010 with flag 1943000/1945528
827.17/427.37	c cleaning 10001 clauses out of 20012 with flag 1953001/1955529
831.78/429.77	c cleaning 10001 clauses out of 20011 with flag 1963001/1965529
836.63/432.25	c cleaning 10000 clauses out of 20011 with flag 1973002/1975530
841.32/434.76	c cleaning 10001 clauses out of 20012 with flag 1983003/1985531
845.53/436.93	c cleaning 10002 clauses out of 20011 with flag 1993003/1995531
849.18/438.91	c cleaning 9998 clauses out of 20006 with flag 2003000/2005528
853.76/441.20	c cleaning 10001 clauses out of 20008 with flag 2013000/2015528
857.88/443.47	c cleaning 10002 clauses out of 20009 with flag 2023002/2025530
862.09/445.66	c cleaning 9994 clauses out of 20006 with flag 2033001/2035529
866.15/447.77	c cleaning 10002 clauses out of 20012 with flag 2043001/2045529
870.15/449.86	c cleaning 10002 clauses out of 20009 with flag 2053000/2055528
874.27/452.07	c cleaning 9999 clauses out of 20007 with flag 2063000/2065528
878.47/454.24	c cleaning 9995 clauses out of 20008 with flag 2073000/2075528
882.46/456.36	c cleaning 10001 clauses out of 20014 with flag 2083001/2085529
886.67/458.60	c cleaning 10004 clauses out of 20014 with flag 2093002/2095530
891.37/461.00	c cleaning 10001 clauses out of 20011 with flag 2103003/2105531
895.78/463.33	c cleaning 10002 clauses out of 20011 with flag 2113004/2115532
899.79/465.44	c cleaning 10001 clauses out of 20006 with flag 2123001/2125529
903.63/467.51	c cleaning 9999 clauses out of 20005 with flag 2133001/2135529
907.94/469.77	c cleaning 9999 clauses out of 20008 with flag 2143003/2145531
912.51/472.13	c cleaning 9999 clauses out of 20006 with flag 2153000/2155528
917.51/474.75	c cleaning 10000 clauses out of 20007 with flag 2163000/2165528
922.30/477.23	c cleaning 9998 clauses out of 20009 with flag 2173002/2175530
926.60/479.59	c cleaning 10000 clauses out of 20010 with flag 2183001/2185529
930.54/481.68	c cleaning 10000 clauses out of 20009 with flag 2193000/2195528
934.72/483.84	c cleaning 10001 clauses out of 20009 with flag 2203000/2205528
938.90/486.03	c cleaning 10002 clauses out of 20010 with flag 2213002/2215530
943.20/488.39	c cleaning 10000 clauses out of 20010 with flag 2223004/2225532
947.59/490.68	c cleaning 9999 clauses out of 20006 with flag 2233000/2235528
952.12/493.02	c cleaning 10001 clauses out of 20012 with flag 2243005/2245533
956.50/495.38	c cleaning 9999 clauses out of 20007 with flag 2253001/2255529
961.15/497.87	c cleaning 10000 clauses out of 20007 with flag 2263000/2265528
965.72/500.26	c cleaning 10001 clauses out of 20010 with flag 2273003/2275531
970.31/502.64	c cleaning 9998 clauses out of 20006 with flag 2283000/2285528
974.26/504.79	c cleaning 10000 clauses out of 20009 with flag 2293001/2295529
978.74/507.18	c cleaning 10002 clauses out of 20009 with flag 2303001/2305529
983.27/509.53	c cleaning 10000 clauses out of 20008 with flag 2313002/2315530
987.64/511.85	c cleaning 10000 clauses out of 20006 with flag 2323000/2325528
992.20/514.28	c cleaning 10000 clauses out of 20008 with flag 2333002/2335530
996.85/516.78	c cleaning 9998 clauses out of 20007 with flag 2343001/2345529
1001.44/519.20	c cleaning 10001 clauses out of 20009 with flag 2353001/2355529
1006.19/521.67	c cleaning 9998 clauses out of 20007 with flag 2363000/2365528
1011.15/524.22	c cleaning 10002 clauses out of 20011 with flag 2373002/2375530
1016.03/526.85	c cleaning 10000 clauses out of 20008 with flag 2383001/2385529
1020.57/529.27	c cleaning 10000 clauses out of 20008 with flag 2393001/2395529
1025.54/531.84	c cleaning 9998 clauses out of 20007 with flag 2403000/2405528
1029.90/534.16	c cleaning 10000 clauses out of 20009 with flag 2413000/2415528
1034.99/536.84	c cleaning 10000 clauses out of 20011 with flag 2423002/2425530
1039.32/539.11	c cleaning 10002 clauses out of 20009 with flag 2433000/2435528
1043.32/541.28	c cleaning 10003 clauses out of 20011 with flag 2443004/2445532
1047.85/543.66	c cleaning 9999 clauses out of 20007 with flag 2453003/2455531
1052.70/546.20	c cleaning 10000 clauses out of 20007 with flag 2463002/2465530
1057.07/548.51	c cleaning 9998 clauses out of 20006 with flag 2473001/2475529
1061.64/550.98	c cleaning 9999 clauses out of 20008 with flag 2483001/2485529
1066.40/553.41	c cleaning 10000 clauses out of 20011 with flag 2493003/2495531
1071.24/556.07	c cleaning 10001 clauses out of 20009 with flag 2503001/2505529
1076.43/558.72	c cleaning 10003 clauses out of 20013 with flag 2513006/2515534
1081.37/561.37	c cleaning 9998 clauses out of 20004 with flag 2523000/2525528
1086.33/563.97	c cleaning 9998 clauses out of 20006 with flag 2533000/2535528
1091.38/566.65	c cleaning 10001 clauses out of 20009 with flag 2543001/2545529
1096.34/569.21	c cleaning 9997 clauses out of 20007 with flag 2553000/2555528
1101.53/571.93	c cleaning 10005 clauses out of 20020 with flag 2563010/2565538
1106.46/574.54	c cleaning 10000 clauses out of 20010 with flag 2573005/2575533
1111.70/577.35	c cleaning 9998 clauses out of 20005 with flag 2583000/2585528
1117.06/580.16	c cleaning 10003 clauses out of 20014 with flag 2593007/2595535
1122.02/582.73	c cleaning 9996 clauses out of 20004 with flag 2603000/2605528
1127.38/585.54	c cleaning 10001 clauses out of 20009 with flag 2613001/2615529
1132.41/588.20	c cleaning 9996 clauses out of 20010 with flag 2623003/2625531
1137.77/591.07	c cleaning 10002 clauses out of 20011 with flag 2633000/2635528
1142.94/593.74	c cleaning 9999 clauses out of 20010 with flag 2643001/2645529
1148.50/596.63	c cleaning 10001 clauses out of 20011 with flag 2653001/2655529
1152.74/598.97	c cleaning 10002 clauses out of 20009 with flag 2663000/2665528
1157.10/601.28	c cleaning 9998 clauses out of 20008 with flag 2673001/2675529
1161.47/603.58	c cleaning 10004 clauses out of 20014 with flag 2683005/2685533
1166.03/605.97	c cleaning 9999 clauses out of 20007 with flag 2693002/2695530
1170.67/608.43	c cleaning 10000 clauses out of 20009 with flag 2703003/2705531
1175.02/610.71	c cleaning 10003 clauses out of 20013 with flag 2713007/2715535
1179.18/612.90	c cleaning 10001 clauses out of 20011 with flag 2723008/2725536
1183.53/615.24	c cleaning 9996 clauses out of 20004 with flag 2733002/2735530
1187.97/617.69	c cleaning 10001 clauses out of 20010 with flag 2743004/2745532
1192.74/620.16	c cleaning 10000 clauses out of 20007 with flag 2753002/2755530
1197.10/622.48	c cleaning 10001 clauses out of 20010 with flag 2763005/2765533
1201.70/624.86	c cleaning 9998 clauses out of 20005 with flag 2773001/2775529
1206.49/627.46	c cleaning 10000 clauses out of 20011 with flag 2783005/2785533
1211.25/629.97	c cleaning 9996 clauses out of 20006 with flag 2793000/2795528
1216.03/632.51	c cleaning 10000 clauses out of 20011 with flag 2803001/2805529
1220.76/634.96	c cleaning 10001 clauses out of 20011 with flag 2813001/2815529
1225.79/637.60	c cleaning 10002 clauses out of 20013 with flag 2823004/2825532
1230.58/640.12	c cleaning 10001 clauses out of 20010 with flag 2833003/2835531
1235.30/642.65	c cleaning 9996 clauses out of 20006 with flag 2843000/2845528
1240.26/645.28	c cleaning 9998 clauses out of 20010 with flag 2853000/2855528
1245.49/648.01	c cleaning 9999 clauses out of 20012 with flag 2863000/2865528
1250.45/650.62	c cleaning 10006 clauses out of 20022 with flag 2873009/2875537
1255.41/653.21	c cleaning 10000 clauses out of 20009 with flag 2883002/2885530
1260.16/655.74	c cleaning 10001 clauses out of 20011 with flag 2893004/2895532
1265.39/658.55	c cleaning 9998 clauses out of 20006 with flag 2903000/2905528
1270.17/661.06	c cleaning 9997 clauses out of 20008 with flag 2913000/2915528
1274.70/663.47	c cleaning 10001 clauses out of 20011 with flag 2923000/2925528
1279.65/666.08	c cleaning 10003 clauses out of 20018 with flag 2933008/2935536
1284.93/668.84	c cleaning 10002 clauses out of 20013 with flag 2943006/2945534
1290.04/671.57	c cleaning 9996 clauses out of 20007 with flag 2953002/2955530
1294.78/674.00	c cleaning 9998 clauses out of 20009 with flag 2963000/2965528
1299.57/676.54	c cleaning 10003 clauses out of 20013 with flag 2973002/2975530
1304.55/679.28	c cleaning 9999 clauses out of 20009 with flag 2983001/2985529
1308.89/681.51	c cleaning 10002 clauses out of 20010 with flag 2993001/2995529
1313.05/683.73	c cleaning 10001 clauses out of 20007 with flag 3003000/3005528
1317.39/686.01	c cleaning 10001 clauses out of 20008 with flag 3013002/3015530
1321.81/688.47	c cleaning 9999 clauses out of 20005 with flag 3023000/3025528
1326.18/690.74	c cleaning 10000 clauses out of 20008 with flag 3033002/3035530
1330.53/693.04	c cleaning 9999 clauses out of 20007 with flag 3043001/3045529
1335.23/695.54	c cleaning 10002 clauses out of 20008 with flag 3053001/3055529
1340.25/698.25	c cleaning 10000 clauses out of 20005 with flag 3063000/3065528
1345.20/700.88	c cleaning 9998 clauses out of 20005 with flag 3073000/3075528
1349.17/702.93	c cleaning 10000 clauses out of 20008 with flag 3083001/3085529
1353.31/705.12	c cleaning 9999 clauses out of 20007 with flag 3093000/3095528
1357.48/707.43	c cleaning 9998 clauses out of 20008 with flag 3103000/3105528
1361.62/709.70	c cleaning 10002 clauses out of 20011 with flag 3113001/3115529
1365.96/711.90	c cleaning 10000 clauses out of 20009 with flag 3123001/3125529
1370.31/714.23	c cleaning 9998 clauses out of 20008 with flag 3133000/3135528
1374.91/716.74	c cleaning 10002 clauses out of 20013 with flag 3143003/3145531
1379.46/719.18	c cleaning 9999 clauses out of 20008 with flag 3153000/3155528
1384.41/721.75	c cleaning 10001 clauses out of 20009 with flag 3163000/3165528
1389.16/724.26	c cleaning 10000 clauses out of 20008 with flag 3173000/3175528
1393.97/726.84	c cleaning 10000 clauses out of 20008 with flag 3183000/3185528
1398.32/729.14	c cleaning 9999 clauses out of 20009 with flag 3193001/3195529
1402.69/731.44	c cleaning 10001 clauses out of 20011 with flag 3203002/3205530
1407.21/733.89	c cleaning 10002 clauses out of 20011 with flag 3213003/3215531
1412.22/736.51	c cleaning 10000 clauses out of 20009 with flag 3223003/3225531
1416.78/738.95	c cleaning 10000 clauses out of 20010 with flag 3233004/3235532
1421.36/741.40	c cleaning 9999 clauses out of 20009 with flag 3243003/3245531
1426.27/743.97	c cleaning 9997 clauses out of 20008 with flag 3253001/3255529
1431.09/746.52	c cleaning 10001 clauses out of 20010 with flag 3263000/3265528
1435.87/749.11	c cleaning 10001 clauses out of 20010 with flag 3273001/3275529
1440.38/751.50	c cleaning 10001 clauses out of 20009 with flag 3283001/3285529
1444.72/753.78	c cleaning 9998 clauses out of 20008 with flag 3293001/3295529
1449.33/756.27	c cleaning 10000 clauses out of 20009 with flag 3303000/3305528
1453.89/758.66	c cleaning 10000 clauses out of 20009 with flag 3313000/3315528
1458.66/761.16	c cleaning 10003 clauses out of 20015 with flag 3323006/3325534
1463.38/763.65	c cleaning 9997 clauses out of 20006 with flag 3333000/3335528
1468.38/766.31	c cleaning 10001 clauses out of 20009 with flag 3343000/3345528
1473.14/768.84	c cleaning 10000 clauses out of 20008 with flag 3353000/3355528
1478.26/771.56	c cleaning 9998 clauses out of 20008 with flag 3363000/3365528
1482.39/773.75	c cleaning 10001 clauses out of 20013 with flag 3373003/3375531
1487.19/776.31	c cleaning 10003 clauses out of 20013 with flag 3383004/3385532
1491.97/778.82	c cleaning 9998 clauses out of 20008 with flag 3393002/3395530
1496.87/781.44	c cleaning 10001 clauses out of 20011 with flag 3403003/3405531
1501.40/783.89	c cleaning 10001 clauses out of 20012 with flag 3413005/3415533
1506.60/786.64	c cleaning 10002 clauses out of 20013 with flag 3423007/3425535
1511.53/789.21	c cleaning 10002 clauses out of 20014 with flag 3433010/3435538
1516.27/791.74	c cleaning 9999 clauses out of 20005 with flag 3443003/3445531
1521.07/794.28	c cleaning 9998 clauses out of 20003 with flag 3453000/3455528
1526.22/797.01	c cleaning 9997 clauses out of 20007 with flag 3463002/3465530
1531.17/799.71	c cleaning 9998 clauses out of 20009 with flag 3473001/3475529
1536.06/802.25	c cleaning 10001 clauses out of 20010 with flag 3483000/3485528
1541.18/804.90	c cleaning 10000 clauses out of 20010 with flag 3493001/3495529
1546.36/807.72	c cleaning 10001 clauses out of 20012 with flag 3503003/3505531
1551.48/810.42	c cleaning 9996 clauses out of 20008 with flag 3513000/3515528
1556.25/812.96	c cleaning 10000 clauses out of 20012 with flag 3523000/3525528
1560.73/815.37	c cleaning 10001 clauses out of 20012 with flag 3533000/3535528
1566.55/818.43	c cleaning 9999 clauses out of 20012 with flag 3543001/3545529
1572.03/821.38	c cleaning 10001 clauses out of 20013 with flag 3553001/3555529
1577.77/824.35	c cleaning 10000 clauses out of 20011 with flag 3563000/3565528
1583.48/827.37	c cleaning 10002 clauses out of 20012 with flag 3573001/3575529
1588.66/830.19	c cleaning 9999 clauses out of 20009 with flag 3583000/3585528
1594.19/833.04	c cleaning 9999 clauses out of 20010 with flag 3593000/3595528
1599.73/835.94	c cleaning 10003 clauses out of 20015 with flag 3603004/3605532
1605.42/838.97	c cleaning 10000 clauses out of 20013 with flag 3613005/3615533
1611.41/842.15	c cleaning 10000 clauses out of 20009 with flag 3623001/3625529
1617.33/845.24	c cleaning 9999 clauses out of 20010 with flag 3633002/3635530
1622.67/848.04	c cleaning 10000 clauses out of 20012 with flag 3643003/3645531
1627.17/850.47	c cleaning 10001 clauses out of 20009 with flag 3653000/3655528
1631.75/852.99	c cleaning 9999 clauses out of 20010 with flag 3663002/3665530
1636.28/855.34	c cleaning 10001 clauses out of 20011 with flag 3673002/3675530
1641.00/857.81	c cleaning 10000 clauses out of 20008 with flag 3683000/3685528
1645.57/860.29	c cleaning 10000 clauses out of 20008 with flag 3693000/3695528
1650.50/862.97	c cleaning 10001 clauses out of 20009 with flag 3703001/3705529
1655.22/865.49	c cleaning 9998 clauses out of 20007 with flag 3713000/3715528
1659.98/867.99	c cleaning 10002 clauses out of 20014 with flag 3723005/3725533
1665.06/870.69	c cleaning 10001 clauses out of 20007 with flag 3733000/3735528
1670.06/873.33	c cleaning 10000 clauses out of 20008 with flag 3743002/3745530
1675.15/876.07	c cleaning 10000 clauses out of 20007 with flag 3753001/3755529
1680.07/878.66	c cleaning 10000 clauses out of 20007 with flag 3763001/3765529
1685.00/881.21	c cleaning 10001 clauses out of 20011 with flag 3773005/3775533
1690.56/884.31	c cleaning 9999 clauses out of 20006 with flag 3783001/3785529
1695.48/886.81	c cleaning 10000 clauses out of 20009 with flag 3793003/3795531
1700.60/889.56	c cleaning 9995 clauses out of 20006 with flag 3803000/3805528
1705.72/892.25	c cleaning 10003 clauses out of 20012 with flag 3813001/3815529
1710.90/895.09	c cleaning 9999 clauses out of 20008 with flag 3823000/3825528
1716.61/898.05	c cleaning 9998 clauses out of 20009 with flag 3833000/3835528
1722.53/901.16	c cleaning 10005 clauses out of 20015 with flag 3843004/3845532
1727.85/903.94	c cleaning 10000 clauses out of 20011 with flag 3853005/3855533
1733.01/906.77	c cleaning 10000 clauses out of 20008 with flag 3863002/3865530
1738.76/909.79	c cleaning 9998 clauses out of 20007 with flag 3873001/3875529
1744.03/912.51	c cleaning 10001 clauses out of 20011 with flag 3883003/3885531
1749.74/915.50	c cleaning 9999 clauses out of 20010 with flag 3893003/3895531
1754.90/918.30	c cleaning 9998 clauses out of 20008 with flag 3903000/3905528
1759.61/920.85	c cleaning 10001 clauses out of 20012 with flag 3913002/3915530
1764.91/923.63	c cleaning 10000 clauses out of 20010 with flag 3923001/3925529
1770.83/926.74	c cleaning 10003 clauses out of 20016 with flag 3933007/3935535
1776.03/929.58	c cleaning 10001 clauses out of 20009 with flag 3943003/3945531
1781.28/932.37	c cleaning 9998 clauses out of 20005 with flag 3953000/3955528
1787.39/935.57	c cleaning 10000 clauses out of 20008 with flag 3963001/3965529
1793.09/938.54	c cleaning 9996 clauses out of 20007 with flag 3973000/3975528
1798.23/941.39	c cleaning 10000 clauses out of 20011 with flag 3983000/3985528
1800.17/942.42	c starts		: 256
1800.17/942.42	c conflicts		: 3988920
1800.17/942.42	c decisions		: 5886765
1800.17/942.42	c propagations		: 766381656
1800.17/942.42	c inspects		: 6633165494
1800.17/942.42	c shortcuts		: 0
1800.17/942.42	c learnt literals	: 0
1800.17/942.42	c learnt binary clauses	: 0
1800.17/942.42	c learnt ternary clauses	: 0
1800.17/942.42	c learnt constraints	: 3988921
1800.17/942.42	c ignored constraints	: 0
1800.17/942.42	c root simplifications	: 0
1800.17/942.42	c removed literals (reason simplification)	: 19849451
1800.17/942.42	c reason swapping (by a shorter reason)	: 0
1800.17/942.43	c Calls to reduceDB	: 400
1800.17/942.43	c number of reductions to clauses (during analyze)	: 0
1800.17/942.43	c number of learned constraints concerned by reduction	: 0
1800.17/942.43	c number of learning phase by resolution	: 0
1800.17/942.43	c number of learning phase by cutting planes	: 0
1800.17/942.43	c speed (assignments/second)	: 814880.4413472211
1800.17/942.43	c non guided choices	0
1800.17/942.43	c learnt constraints type 
1800.17/942.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13434
1800.17/942.43	c constraints type 
1800.17/942.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3162
1800.17/942.43	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.17/942.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3062
1800.17/942.43	c constraints type 
1800.17/942.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3162
1800.17/942.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.17/942.43	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3062
1800.17/942.43	s SATISFIABLE
1800.17/942.43	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.17/942.43	c objective function=6
1800.17/942.43	c Total wall clock time (in seconds): 942.319

Verifier Data 

OK	6

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3453955-1307194680/watcher-3453955-1307194680 -o /tmp/evaluation-result-3453955-1307194680/solver-3453955-1307194680 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453955-1307194680.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.64 3.53 3.53 3/572 14576
/proc/meminfo: memFree=24001880/32950928 swapFree=67056580/67111528
[pid=14576] ppid=14574 vsize=31604 CPUtime=0 cores=0,2,4,6
/proc/14576/stat : 14576 (java) S 14574 14576 10194 0 -1 4202496 1276 0 0 0 0 0 0 0 25 0 2 0 831065046 32362496 993 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/14576/statm: 7901 993 763 9 0 386 0
[pid=14576/tid=14577] ppid=14574 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14577/stat : 14577 (java) R 14574 14576 10194 0 -1 4202560 3171 0 1 0 0 0 0 0 25 0 2 0 831065047 10694979584 3987 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.064228 s]
/proc/loadavg: 3.64 3.53 3.53 3/572 14576
/proc/meminfo: memFree=24001880/32950928 swapFree=67056580/67111528
[pid=14576] ppid=14574 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/14576/stat : 14576 (java) S 14574 14576 10194 0 -1 4202496 11539 0 1 0 3 1 0 0 25 0 13 0 831065046 10718838784 11236 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488497637 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/14576/statm: 2616904 11236 1691 9 0 2607652 0
[pid=14576/tid=14577] ppid=14574 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/14576/task/14577/stat : 14577 (java) R 14574 14576 10194 0 -1 4202560 10391 0 1 0 3 1 0 0 25 0 13 0 831065047 10718838784 11236 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488521675 0 4 0 16800971 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616

[startup+0.101148 s]
/proc/loadavg: 3.64 3.53 3.53 3/572 14576
/proc/meminfo: memFree=24001880/32950928 swapFree=67056580/67111528
[pid=14576] ppid=14574 vsize=10605424 CPUtime=0.1 cores=0,2,4,6
/proc/14576/stat : 14576 (java) S 14574 14576 10194 0 -1 4202496 13018 0 1 0 8 2 0 0 25 0 18 0 831065046 10859954176 12688 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14576/statm: 2651356 12688 2092 9 0 2642090 0
[pid=14576/tid=14577] ppid=14574 vsize=10605424 CPUtime=0.07 cores=0,2,4,6
/proc/14576/task/14577/stat : 14577 (java) R 14574 14576 10194 0 -1 4202560 11070 0 1 0 6 1 0 0 18 0 18 0 831065047 10859954176 12688 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 47412361835698 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605424

[startup+0.302666 s]
/proc/loadavg: 3.64 3.53 3.53 3/572 14576
/proc/meminfo: memFree=24001880/32950928 swapFree=67056580/67111528
[pid=14576] ppid=14574 vsize=10606556 CPUtime=0.44 cores=0,2,4,6
/proc/14576/stat : 14576 (java) S 14574 14576 10194 0 -1 4202496 15701 0 1 0 42 2 0 0 25 0 18 0 831065046 10861113344 14978 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14576/statm: 2651639 14979 2208 9 0 2642373 0
[pid=14576/tid=14577] ppid=14574 vsize=10606556 CPUtime=0.28 cores=0,2,4,6
/proc/14576/task/14577/stat : 14577 (java) R 14574 14576 10194 0 -1 4202560 12684 0 1 0 26 2 0 0 18 0 18 0 831065047 10861113344 14979 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 46912505538655 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10606556

[startup+0.701143 s]
/proc/loadavg: 3.64 3.53 3.53 3/572 14576
/proc/meminfo: memFree=24001880/32950928 swapFree=67056580/67111528
[pid=14576] ppid=14574 vsize=10614028 CPUtime=1.05 cores=0,2,4,6
/proc/14576/stat : 14576 (java) S 14574 14576 10194 0 -1 4202496 21674 0 1 0 101 4 0 0 25 0 20 0 831065046 10868764672 18925 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14576/statm: 2653507 18925 2229 9 0 2644241 0
[pid=14576/tid=14577] ppid=14574 vsize=10614028 CPUtime=0.37 cores=0,2,4,6
/proc/14576/task/14577/stat : 14577 (java) S 14574 14576 10194 0 -1 4202560 14145 0 1 0 35 2 0 0 19 0 20 0 831065047 10868764672 18925 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 10614028

[startup+1.50088 s]
/proc/loadavg: 3.64 3.53 3.53 4/590 14645
/proc/meminfo: memFree=24734400/32950928 swapFree=67056580/67111528
[pid=14576] ppid=14574 vsize=10615056 CPUtime=1.48 cores=0,2,4,6
/proc/14576/stat : 14576 (java) S 14574 14576 10194 0 -1 4202496 23943 0 1 0 143 5 0 0 25 0 22 0 831065046 10869817344 19838 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14576/statm: 2653764 19838 2239 9 0 2644498 0
[pid=14576/tid=14577] ppid=14574 vsize=10615056 CPUtime=0.38 cores=0,2,4,6
/proc/14576/task/14577/stat : 14577 (java) S 14574 14576 10194 0 -1 4202560 14209 0 1 0 36 2 0 0 17 0 22 0 831065047 10869817344 19838 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14579] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14579/stat : 14579 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831065049 10869817344 19838 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14580] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14580/stat : 14580 (java) S 14574 14576 10194 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831065049 10869817344 19838 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14581] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14581/stat : 14581 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831065049 10869817344 19838 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14582] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14582/stat : 14582 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831065049 10869817344 19838 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14583] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14583/stat : 14583 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831065049 10869817344 19838 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14584] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14584/stat : 14584 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831065049 10869817344 19839 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14585] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14585/stat : 14585 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831065049 10869817344 19841 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14586] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14586/stat : 14586 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831065049 10869817344 19842 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14587] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14587/stat : 14587 (java) S 14574 14576 10194 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 831065050 10869817344 19843 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 0 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14588] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14588/stat : 14588 (java) S 14574 14576 10194 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831065051 10869817344 19843 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14589] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14589/stat : 14589 (java) S 14574 14576 10194 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831065051 10869817344 19843 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14591] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14591/stat : 14591 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831065053 10869817344 19843 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488518577 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14592] ppid=14574 vsize=10615056 CPUtime=0.44 cores=0,2,4,6
/proc/14576/task/14592/stat : 14592 (java) S 14574 14576 10194 0 -1 4202560 3303 0 0 0 43 1 0 0 16 0 22 0 831065053 10869817344 19844 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14593] ppid=14574 vsize=10615056 CPUtime=0.39 cores=0,2,4,6
/proc/14576/task/14593/stat : 14593 (java) R 14574 14576 10194 0 -1 4202560 4112 0 0 0 38 1 0 0 16 0 22 0 831065053 10869817344 19844 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 47412361221242 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14576/tid=14594] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14594/stat : 14594 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831065053 10869817344 19844 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14595] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14595/stat : 14595 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831065053 10869817344 19844 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 0 0 0 0
[pid=14576/tid=14637] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14637/stat : 14637 (java) S 14574 14576 10194 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831065087 10869817344 19844 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10615056

[startup+3.10157 s]
/proc/loadavg: 3.64 3.53 3.53 4/594 14658
/proc/meminfo: memFree=24582592/32950928 swapFree=67056580/67111528
[pid=14576] ppid=14574 vsize=10615056 CPUtime=5.09 cores=0,2,4,6
/proc/14576/stat : 14576 (java) S 14574 14576 10194 0 -1 4202496 102312 0 1 0 496 13 0 0 25 0 22 0 831065046 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14576/statm: 2653764 95040 2269 9 0 2644498 0
[pid=14576/tid=14577] ppid=14574 vsize=10615056 CPUtime=0.38 cores=0,2,4,6
/proc/14576/task/14577/stat : 14577 (java) S 14574 14576 10194 0 -1 4202560 14229 0 1 0 36 2 0 0 15 0 22 0 831065047 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14579] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14579/stat : 14579 (java) S 14574 14576 10194 0 -1 4202560 929 0 0 0 0 0 0 0 18 0 22 0 831065049 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 6 0 0 0
[pid=14576/tid=14580] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14580/stat : 14580 (java) S 14574 14576 10194 0 -1 4202560 766 0 0 0 0 0 0 0 18 0 22 0 831065049 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14581] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14581/stat : 14581 (java) S 14574 14576 10194 0 -1 4202560 802 0 0 0 0 0 0 0 18 0 22 0 831065049 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 6 0 0 0
[pid=14576/tid=14582] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14582/stat : 14582 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831065049 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14583] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14583/stat : 14583 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831065049 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14584] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14584/stat : 14584 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831065049 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14585] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14585/stat : 14585 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831065049 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14586] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14586/stat : 14586 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831065049 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14587] ppid=14574 vsize=10615056 CPUtime=0.03 cores=0,2,4,6
/proc/14576/task/14587/stat : 14587 (java) S 14574 14576 10194 0 -1 4202560 2478 0 0 0 3 0 0 0 16 0 22 0 831065050 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 0 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14588] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14588/stat : 14588 (java) S 14574 14576 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831065051 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14589] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14589/stat : 14589 (java) S 14574 14576 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831065051 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14591] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14591/stat : 14591 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831065053 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488518577 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14592] ppid=14574 vsize=10615056 CPUtime=0.82 cores=0,2,4,6
/proc/14576/task/14592/stat : 14592 (java) S 14574 14576 10194 0 -1 4202560 5975 0 0 0 81 1 0 0 15 0 22 0 831065053 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14593] ppid=14574 vsize=10615056 CPUtime=0.72 cores=0,2,4,6
/proc/14576/task/14593/stat : 14593 (java) S 14574 14576 10194 0 -1 4202560 8022 0 0 0 70 2 0 0 15 0 22 0 831065053 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14594] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14594/stat : 14594 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831065053 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14595] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14595/stat : 14595 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831065053 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 0 0 0 0
[pid=14576/tid=14637] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14637/stat : 14637 (java) S 14574 14576 10194 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831065087 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14656] ppid=14574 vsize=10615056 CPUtime=1.05 cores=0,2,4,6
/proc/14576/task/14656/stat : 14656 (java) R 14574 14576 10194 0 -1 4202560 659 0 0 0 105 0 0 0 17 0 22 0 831065241 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 46912505765552 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14576/tid=14657] ppid=14574 vsize=10615056 CPUtime=1.07 cores=0,2,4,6
/proc/14576/task/14657/stat : 14657 (java) R 14574 14576 10194 0 -1 4202560 52324 0 0 0 103 4 0 0 18 0 22 0 831065241 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 46912505803728 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=14576/tid=14658] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14658/stat : 14658 (java) S 14574 14576 10194 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831065241 10869817344 95040 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 10615056

[startup+6.30095 s]
/proc/loadavg: 3.67 3.54 3.54 5/597 14661
/proc/meminfo: memFree=23434984/32950928 swapFree=67056580/67111528
[pid=14576] ppid=14574 vsize=10615056 CPUtime=11.48 cores=0,2,4,6
/proc/14576/stat : 14576 (java) S 14574 14576 10194 0 -1 4202496 139795 0 1 0 1130 18 0 0 25 0 22 0 831065046 10869817344 131689 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14576/statm: 2653764 131689 2269 9 0 2644498 0
[pid=14576/tid=14577] ppid=14574 vsize=10615056 CPUtime=0.38 cores=0,2,4,6
/proc/14576/task/14577/stat : 14577 (java) S 14574 14576 10194 0 -1 4202560 14229 0 1 0 36 2 0 0 15 0 22 0 831065047 10869817344 131689 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14579] ppid=14574 vsize=10615056 CPUtime=0.01 cores=0,2,4,6
/proc/14576/task/14579/stat : 14579 (java) S 14574 14576 10194 0 -1 4202560 930 0 0 0 1 0 0 0 15 0 22 0 831065049 10869817344 131689 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14580] ppid=14574 vsize=10615056 CPUtime=0.01 cores=0,2,4,6
/proc/14576/task/14580/stat : 14580 (java) S 14574 14576 10194 0 -1 4202560 767 0 0 0 1 0 0 0 16 0 22 0 831065049 10869817344 131689 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14581] ppid=14574 vsize=10615056 CPUtime=0.01 cores=0,2,4,6
/proc/14576/task/14581/stat : 14581 (java) S 14574 14576 10194 0 -1 4202560 804 0 0 0 1 0 0 0 15 0 22 0 831065049 10869817344 131689 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14582] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14582/stat : 14582 (java) S 14574 14576 10194 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831065049 10869817344 131689 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 0 0 0 0
[pid=14576/tid=14583] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14583/stat : 14583 (java) S 14574 14576 10194 0 -1 4202560 186 0 0 0 0 0 0 0 15 0 22 0 831065049 10869817344 131689 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 6 0 0 0
[pid=14576/tid=14584] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14584/stat : 14584 (java) S 14574 14576 10194 0 -1 4202560 527 0 0 0 0 0 0 0 15 0 22 0 831065049 10869817344 131689 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14585] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14585/stat : 14585 (java) S 14574 14576 10194 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 831065049 10869817344 131689 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14586] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14586/stat : 14586 (java) S 14574 14576 10194 0 -1 4202560 518 0 0 0 0 0 0 0 15 0 22 0 831065049 10869817344 131689 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14587] ppid=14574 vsize=10615056 CPUtime=0.16 cores=0,2,4,6
/proc/14576/task/14587/stat : 14587 (java) S 14574 14576 10194 0 -1 4202560 3806 0 0 0 16 0 0 0 15 0 22 0 831065050 10869817344 131689 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 0 0 16800975 18446604449262660544 0 0 -1 6 0 0 0
[pid=14576/tid=14588] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14588/stat : 14588 (java) S 14574 14576 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831065051 10869817344 131689 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14589] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14589/stat : 14589 (java) S 14574 14576 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831065051 10869817344 131689 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0

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

[pid=14576/tid=14656] ppid=14574 vsize=10615056 CPUtime=744.43 cores=0,2,4,6
/proc/14576/task/14656/stat : 14656 (java) R 14574 14576 10194 0 -1 4202560 1360 0 0 0 74443 0 0 0 25 0 22 0 831065241 10869817344 194163 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 46912505710039 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14576/tid=14657] ppid=14574 vsize=10615056 CPUtime=744.48 cores=0,2,4,6
/proc/14576/task/14657/stat : 14657 (java) R 14574 14576 10194 0 -1 4202560 116935 0 0 0 74435 13 0 0 17 0 22 0 831065241 10869817344 194163 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 46912505847613 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14576/tid=14658] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14658/stat : 14658 (java) S 14574 14576 10194 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831065241 10869817344 194163 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1573.77
Current children cumulated vsize (KiB) 10615056

[startup+882.301 s]
/proc/loadavg: 3.83 3.85 3.73 5/597 14690
/proc/meminfo: memFree=21134084/32950928 swapFree=67056580/67111528
[pid=14576] ppid=14574 vsize=10615056 CPUtime=1686.76 cores=0,2,4,6
/proc/14576/stat : 14576 (java) S 14574 14576 10194 0 -1 4202496 203610 0 1 0 168641 35 0 0 25 0 22 0 831065046 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14576/statm: 2653764 194997 2270 9 0 2644498 0
[pid=14576/tid=14577] ppid=14574 vsize=10615056 CPUtime=0.38 cores=0,2,4,6
/proc/14576/task/14577/stat : 14577 (java) S 14574 14576 10194 0 -1 4202560 14343 0 1 0 36 2 0 0 15 0 22 0 831065047 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14579] ppid=14574 vsize=10615056 CPUtime=1.25 cores=0,2,4,6
/proc/14576/task/14579/stat : 14579 (java) S 14574 14576 10194 0 -1 4202560 1039 0 0 0 125 0 0 0 16 0 22 0 831065049 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14580] ppid=14574 vsize=10615056 CPUtime=1.19 cores=0,2,4,6
/proc/14576/task/14580/stat : 14580 (java) S 14574 14576 10194 0 -1 4202560 875 0 0 0 119 0 0 0 15 0 22 0 831065049 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 6 0 0 0
[pid=14576/tid=14581] ppid=14574 vsize=10615056 CPUtime=1.28 cores=0,2,4,6
/proc/14576/task/14581/stat : 14581 (java) S 14574 14576 10194 0 -1 4202560 926 0 0 0 128 0 0 0 16 0 22 0 831065049 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 6 0 0 0
[pid=14576/tid=14582] ppid=14574 vsize=10615056 CPUtime=1.11 cores=0,2,4,6
/proc/14576/task/14582/stat : 14582 (java) S 14574 14576 10194 0 -1 4202560 99 0 0 0 111 0 0 0 15 0 22 0 831065049 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 6 0 0 0
[pid=14576/tid=14583] ppid=14574 vsize=10615056 CPUtime=1.2 cores=0,2,4,6
/proc/14576/task/14583/stat : 14583 (java) S 14574 14576 10194 0 -1 4202560 349 0 0 0 120 0 0 0 15 0 22 0 831065049 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14584] ppid=14574 vsize=10615056 CPUtime=1.19 cores=0,2,4,6
/proc/14576/task/14584/stat : 14584 (java) S 14574 14576 10194 0 -1 4202560 620 0 0 0 119 0 0 0 16 0 22 0 831065049 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14585] ppid=14574 vsize=10615056 CPUtime=1.17 cores=0,2,4,6
/proc/14576/task/14585/stat : 14585 (java) S 14574 14576 10194 0 -1 4202560 151 0 0 0 117 0 0 0 15 0 22 0 831065049 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14586] ppid=14574 vsize=10615056 CPUtime=1.07 cores=0,2,4,6
/proc/14576/task/14586/stat : 14586 (java) S 14574 14576 10194 0 -1 4202560 607 0 0 0 107 0 0 0 15 0 22 0 831065049 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 6 0 0 0
[pid=14576/tid=14587] ppid=14574 vsize=10615056 CPUtime=80.1 cores=0,2,4,6
/proc/14576/task/14587/stat : 14587 (java) S 14574 14576 10194 0 -1 4202560 35535 0 0 0 8001 9 0 0 16 0 22 0 831065050 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 0 0 16800975 18446604449262660544 0 0 -1 0 0 0 0
[pid=14576/tid=14588] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14588/stat : 14588 (java) S 14574 14576 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831065051 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14589] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14589/stat : 14589 (java) S 14574 14576 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831065051 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14591] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14591/stat : 14591 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831065053 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488518577 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14592] ppid=14574 vsize=10615056 CPUtime=0.93 cores=0,2,4,6
/proc/14576/task/14592/stat : 14592 (java) S 14574 14576 10194 0 -1 4202560 6521 0 0 0 92 1 0 0 16 0 22 0 831065053 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14593] ppid=14574 vsize=10615056 CPUtime=0.94 cores=0,2,4,6
/proc/14576/task/14593/stat : 14593 (java) S 14574 14576 10194 0 -1 4202560 8053 0 0 0 92 2 0 0 15 0 22 0 831065053 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14594] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14594/stat : 14594 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831065053 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14595] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14595/stat : 14595 (java) S 14574 14576 10194 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831065053 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14637] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14637/stat : 14637 (java) S 14574 14576 10194 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831065087 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14656] ppid=14574 vsize=10615056 CPUtime=796.92 cores=0,2,4,6
/proc/14576/task/14656/stat : 14656 (java) R 14574 14576 10194 0 -1 4202560 1382 0 0 0 79691 1 0 0 23 0 22 0 831065241 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 46912505552569 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14576/tid=14657] ppid=14574 vsize=10615056 CPUtime=796.96 cores=0,2,4,6
/proc/14576/task/14657/stat : 14657 (java) R 14574 14576 10194 0 -1 4202560 116935 0 0 0 79683 13 0 0 22 0 22 0 831065241 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 46912505803712 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14576/tid=14658] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14658/stat : 14658 (java) S 14574 14576 10194 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831065241 10869817344 194997 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1686.76
Current children cumulated vsize (KiB) 10615056

[startup+942.302 s]
/proc/loadavg: 3.15 3.69 3.68 2/570 14712
/proc/meminfo: memFree=24127064/32950928 swapFree=67056580/67111528
[pid=14576] ppid=14574 vsize=10615056 CPUtime=1799.94 cores=0,2,4,6
/proc/14576/stat : 14576 (java) S 14574 14576 10194 0 -1 4202496 204993 0 1 0 179958 36 0 0 25 0 22 0 831065046 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14576/statm: 2653764 196355 2270 9 0 2644498 0
[pid=14576/tid=14577] ppid=14574 vsize=10615056 CPUtime=0.38 cores=0,2,4,6
/proc/14576/task/14577/stat : 14577 (java) S 14574 14576 10194 0 -1 4202560 14343 0 1 0 36 2 0 0 15 0 22 0 831065047 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14579] ppid=14574 vsize=10615056 CPUtime=1.34 cores=0,2,4,6
/proc/14576/task/14579/stat : 14579 (java) S 14574 14576 10194 0 -1 4202560 1046 0 0 0 134 0 0 0 16 0 22 0 831065049 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14580] ppid=14574 vsize=10615056 CPUtime=1.27 cores=0,2,4,6
/proc/14576/task/14580/stat : 14580 (java) S 14574 14576 10194 0 -1 4202560 880 0 0 0 127 0 0 0 15 0 22 0 831065049 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14581] ppid=14574 vsize=10615056 CPUtime=1.38 cores=0,2,4,6
/proc/14576/task/14581/stat : 14581 (java) S 14574 14576 10194 0 -1 4202560 930 0 0 0 138 0 0 0 15 0 22 0 831065049 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14582] ppid=14574 vsize=10615056 CPUtime=1.19 cores=0,2,4,6
/proc/14576/task/14582/stat : 14582 (java) S 14574 14576 10194 0 -1 4202560 104 0 0 0 119 0 0 0 15 0 22 0 831065049 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14583] ppid=14574 vsize=10615056 CPUtime=1.28 cores=0,2,4,6
/proc/14576/task/14583/stat : 14583 (java) S 14574 14576 10194 0 -1 4202560 354 0 0 0 128 0 0 0 15 0 22 0 831065049 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14584] ppid=14574 vsize=10615056 CPUtime=1.29 cores=0,2,4,6
/proc/14576/task/14584/stat : 14584 (java) S 14574 14576 10194 0 -1 4202560 627 0 0 0 129 0 0 0 15 0 22 0 831065049 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14585] ppid=14574 vsize=10615056 CPUtime=1.26 cores=0,2,4,6
/proc/14576/task/14585/stat : 14585 (java) S 14574 14576 10194 0 -1 4202560 154 0 0 0 126 0 0 0 15 0 22 0 831065049 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14586] ppid=14574 vsize=10615056 CPUtime=1.16 cores=0,2,4,6
/proc/14576/task/14586/stat : 14586 (java) S 14574 14576 10194 0 -1 4202560 613 0 0 0 116 0 0 0 16 0 22 0 831065049 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 6 0 0 0
[pid=14576/tid=14587] ppid=14574 vsize=10615056 CPUtime=87.23 cores=0,2,4,6
/proc/14576/task/14587/stat : 14587 (java) S 14574 14576 10194 0 -1 4202560 36853 0 0 0 8714 9 0 0 16 0 22 0 831065050 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 0 0 16800975 18446604449262660544 0 0 -1 0 0 0 0
[pid=14576/tid=14588] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14588/stat : 14588 (java) S 14574 14576 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831065051 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14589] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14589/stat : 14589 (java) S 14574 14576 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831065051 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14591] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14591/stat : 14591 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831065053 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488518577 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14592] ppid=14574 vsize=10615056 CPUtime=0.93 cores=0,2,4,6
/proc/14576/task/14592/stat : 14592 (java) S 14574 14576 10194 0 -1 4202560 6521 0 0 0 92 1 0 0 16 0 22 0 831065053 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14593] ppid=14574 vsize=10615056 CPUtime=0.94 cores=0,2,4,6
/proc/14576/task/14593/stat : 14593 (java) S 14574 14576 10194 0 -1 4202560 8053 0 0 0 92 2 0 0 15 0 22 0 831065053 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14594] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14594/stat : 14594 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831065053 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14595] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14595/stat : 14595 (java) S 14574 14576 10194 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831065053 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14637] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14637/stat : 14637 (java) S 14574 14576 10194 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831065087 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14656] ppid=14574 vsize=10615056 CPUtime=849.58 cores=0,2,4,6
/proc/14576/task/14656/stat : 14656 (java) R 14574 14576 10194 0 -1 4202560 1403 0 0 0 84957 1 0 0 25 0 22 0 831065241 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 46912505710462 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14576/tid=14657] ppid=14574 vsize=10615056 CPUtime=849.62 cores=0,2,4,6
/proc/14576/task/14657/stat : 14657 (java) R 14574 14576 10194 0 -1 4202560 116935 0 0 0 84949 13 0 0 25 0 22 0 831065241 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 46912505624095 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14576/tid=14658] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14658/stat : 14658 (java) S 14574 14576 10194 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831065241 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1799.94
Current children cumulated vsize (KiB) 10615056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+942.402 s]
/proc/loadavg: 3.15 3.69 3.68 3/570 14712
/proc/meminfo: memFree=24127064/32950928 swapFree=67056580/67111528
[pid=14576] ppid=14574 vsize=10615056 CPUtime=1800.17 cores=0,2,4,6
/proc/14576/stat : 14576 (java) S 14574 14576 10194 0 -1 4202496 204993 0 1 0 179981 36 0 0 25 0 22 0 831065046 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14576/statm: 2653764 196355 2270 9 0 2644498 0
[pid=14576/tid=14577] ppid=14574 vsize=10615056 CPUtime=0.38 cores=0,2,4,6
/proc/14576/task/14577/stat : 14577 (java) S 14574 14576 10194 0 -1 4202560 14343 0 1 0 36 2 0 0 15 0 22 0 831065047 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14579] ppid=14574 vsize=10615056 CPUtime=1.34 cores=0,2,4,6
/proc/14576/task/14579/stat : 14579 (java) S 14574 14576 10194 0 -1 4202560 1046 0 0 0 134 0 0 0 16 0 22 0 831065049 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14580] ppid=14574 vsize=10615056 CPUtime=1.27 cores=0,2,4,6
/proc/14576/task/14580/stat : 14580 (java) S 14574 14576 10194 0 -1 4202560 880 0 0 0 127 0 0 0 15 0 22 0 831065049 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14581] ppid=14574 vsize=10615056 CPUtime=1.38 cores=0,2,4,6
/proc/14576/task/14581/stat : 14581 (java) S 14574 14576 10194 0 -1 4202560 930 0 0 0 138 0 0 0 15 0 22 0 831065049 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14582] ppid=14574 vsize=10615056 CPUtime=1.19 cores=0,2,4,6
/proc/14576/task/14582/stat : 14582 (java) S 14574 14576 10194 0 -1 4202560 104 0 0 0 119 0 0 0 15 0 22 0 831065049 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14583] ppid=14574 vsize=10615056 CPUtime=1.28 cores=0,2,4,6
/proc/14576/task/14583/stat : 14583 (java) S 14574 14576 10194 0 -1 4202560 354 0 0 0 128 0 0 0 15 0 22 0 831065049 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14584] ppid=14574 vsize=10615056 CPUtime=1.29 cores=0,2,4,6
/proc/14576/task/14584/stat : 14584 (java) S 14574 14576 10194 0 -1 4202560 627 0 0 0 129 0 0 0 15 0 22 0 831065049 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14585] ppid=14574 vsize=10615056 CPUtime=1.26 cores=0,2,4,6
/proc/14576/task/14585/stat : 14585 (java) S 14574 14576 10194 0 -1 4202560 154 0 0 0 126 0 0 0 15 0 22 0 831065049 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14586] ppid=14574 vsize=10615056 CPUtime=1.16 cores=0,2,4,6
/proc/14576/task/14586/stat : 14586 (java) S 14574 14576 10194 0 -1 4202560 613 0 0 0 116 0 0 0 16 0 22 0 831065049 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 6 0 0 0
[pid=14576/tid=14587] ppid=14574 vsize=10615056 CPUtime=87.23 cores=0,2,4,6
/proc/14576/task/14587/stat : 14587 (java) S 14574 14576 10194 0 -1 4202560 36853 0 0 0 8714 9 0 0 16 0 22 0 831065050 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 0 0 16800975 18446604449262660544 0 0 -1 0 0 0 0
[pid=14576/tid=14588] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14588/stat : 14588 (java) S 14574 14576 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831065051 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14589] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14589/stat : 14589 (java) S 14574 14576 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831065051 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14591] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14591/stat : 14591 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831065053 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488518577 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14592] ppid=14574 vsize=10615056 CPUtime=0.93 cores=0,2,4,6
/proc/14576/task/14592/stat : 14592 (java) S 14574 14576 10194 0 -1 4202560 6521 0 0 0 92 1 0 0 16 0 22 0 831065053 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 4 0 0 0
[pid=14576/tid=14593] ppid=14574 vsize=10615056 CPUtime=0.94 cores=0,2,4,6
/proc/14576/task/14593/stat : 14593 (java) S 14574 14576 10194 0 -1 4202560 8053 0 0 0 92 2 0 0 15 0 22 0 831065053 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14594] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14594/stat : 14594 (java) S 14574 14576 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831065053 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488510873 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14595] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14595/stat : 14595 (java) S 14574 14576 10194 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831065053 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14637] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14637/stat : 14637 (java) S 14574 14576 10194 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831065087 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 2 0 0 0
[pid=14576/tid=14656] ppid=14574 vsize=10615056 CPUtime=849.7 cores=0,2,4,6
/proc/14576/task/14656/stat : 14656 (java) R 14574 14576 10194 0 -1 4202560 1403 0 0 0 84969 1 0 0 25 0 22 0 831065241 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 46912505852789 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14576/tid=14657] ppid=14574 vsize=10615056 CPUtime=849.74 cores=0,2,4,6
/proc/14576/task/14657/stat : 14657 (java) R 14574 14576 10194 0 -1 4202560 116935 0 0 0 84961 13 0 0 25 0 22 0 831065241 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 46912505803737 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14576/tid=14658] ppid=14574 vsize=10615056 CPUtime=0 cores=0,2,4,6
/proc/14576/task/14658/stat : 14658 (java) S 14574 14576 10194 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831065241 10869817344 196355 33554432000 1073741824 1073778376 140736020489040 18446744073709551615 239488511488 0 4 0 16800975 18446604449262660544 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 10615056

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): 942.474
CPU time (s): 1800.27
CPU user time (s): 1799.87
CPU system time (s): 0.396939
CPU usage (%): 191.015
Max. virtual memory (cumulated for all children) (KiB): 10615056

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

runsolver used 5.69113 second user time and 12.1881 second system time

The end

Launcher Data 

Begin job on node148 at 2011-06-04 15:38:00
IDJOB=3453955
IDBENCH=48159
IDSOLVER=1950
FILE ID=node148/3453955-1307194680
RUNJOBID= node148-1307194212-14386
PBS_JOBID= 13508860
Free space on /tmp= 73896 MiB

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

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

MD5SUM BENCH= 65a3c38bd8963c911b96c745ee468cb1
RANDOM SEED=463467316

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24002168 kB
Buffers:        266376 kB
Cached:         640052 kB
SwapCached:       7908 kB
Active:        8124084 kB
Inactive:       516288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24002168 kB
SwapTotal:    67111528 kB
SwapFree:     67056580 kB
Dirty:             500 kB
Writeback:           0 kB
AnonPages:     7732404 kB
Mapped:          52064 kB
Slab:           179276 kB
PageTables:      59412 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 180753744 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73896 MiB
End job on node148 at 2011-06-04 15:53:44