Trace number 2659297

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 NameAnswerCPU timeWall clock time
SAT4J PB Resolution 2.2.0 2010-05-26? (TO) 1800.28 1796.43

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24bt.opb
MD5SUMf8964c43535341fcc69e672675167b77
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark713.924
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables490
Total number of constraints1085
Number of constraints which are clauses738
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints345
Minimum length of a constraint1
Maximum length of a constraint169
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 193
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.14	c See www.sat4j.org for details.
0.08/0.15	c version 2.2.0.v20100526
0.08/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.08/0.15	c java.vm.version	11.2-b01
0.08/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version		1.6.0_12
0.08/0.15	c os.name		Linux
0.08/0.15	c os.version		2.6.18-164.el5
0.08/0.15	c os.arch		i386
0.08/0.15	c Free memory 		1393557488
0.08/0.15	c Max memory 		1395916800
0.08/0.15	c Total memory 		1395916800
0.08/0.15	c Number of processors 	2
0.23/0.21	c Pseudo Boolean Optimization
0.23/0.21	c --- Begin Solver configuration ---
0.23/0.21	c Stops conflict analysis at the first Unique Implication Point
0.23/0.21	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4
0.23/0.21	c Learn all clauses as in MiniSAT
0.23/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.23/0.21	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.23/0.21	c Expensive reason simplification
0.23/0.21	c Armin Biere (Picosat) restarts strategy
0.23/0.21	c Glucose learned constraints deletion strategy
0.23/0.21	c timeout=2147483s
0.23/0.21	c DB Simplification allowed=false
0.23/0.21	c --- End Solver configuration ---
0.23/0.21	c solving HOME/instance-2659297-1276695541.opb
0.23/0.21	c reading problem ... 
0.72/0.55	c ... done. Wall clock time 0.339s.
0.72/0.55	c #vars     490
0.72/0.55	c #constraints  1085
0.72/0.55	c constraints type 
0.72/0.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 482
0.72/0.55	c org.sat4j.minisat.constraints.card.MinWatchCard => 2
0.72/0.55	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 255
0.72/0.55	c org.sat4j.pb.constraints.pb.MaxWatchPb => 345
4.15/2.91	c cleaning 2501 clauses out of 5002 with flag 5004/5004
6.21/4.90	c cleaning 4247 clauses out of 8494 with flag 11000/11000
9.23/7.88	c cleaning 5625 clauses out of 11249 with flag 18002/18002
14.41/12.56	c cleaning 6809 clauses out of 13622 with flag 26000/26000
18.81/16.98	c cleaning 7906 clauses out of 15812 with flag 35000/35000
24.82/22.96	c cleaning 8953 clauses out of 17907 with flag 45001/45001
30.64/28.72	c cleaning 9476 clauses out of 18952 with flag 55000/55000
38.85/36.99	c cleaning 9738 clauses out of 19476 with flag 65000/65000
46.36/44.46	c cleaning 9869 clauses out of 19738 with flag 75000/75000
53.78/51.85	c cleaning 9932 clauses out of 19869 with flag 85000/85000
61.09/59.19	c cleaning 9970 clauses out of 19941 with flag 95004/95004
67.90/65.94	c cleaning 9981 clauses out of 19967 with flag 105000/105000
74.49/72.43	c cleaning 9994 clauses out of 19989 with flag 115003/115003
80.59/78.57	c cleaning 9996 clauses out of 19992 with flag 125000/125000
87.20/85.13	c cleaning 9998 clauses out of 19999 with flag 135003/135003
94.70/92.66	c cleaning 9997 clauses out of 19998 with flag 145000/145000
101.61/99.51	c cleaning 9999 clauses out of 20002 with flag 155001/155001
108.73/106.62	c cleaning 9997 clauses out of 20003 with flag 165001/165001
114.74/112.60	c cleaning 10002 clauses out of 20006 with flag 175001/175001
121.15/119.03	c cleaning 9999 clauses out of 20005 with flag 185002/185002
127.86/125.73	c cleaning 10003 clauses out of 20007 with flag 195003/195003
135.36/133.29	c cleaning 10001 clauses out of 20003 with flag 205002/205002
141.47/139.33	c cleaning 9997 clauses out of 20000 with flag 215000/215000
148.48/146.39	c cleaning 10001 clauses out of 20005 with flag 225002/225002
155.48/153.31	c cleaning 10000 clauses out of 20004 with flag 235002/235002
162.29/160.10	c cleaning 9998 clauses out of 20002 with flag 245000/245000
168.69/166.59	c cleaning 10001 clauses out of 20006 with flag 255002/255002
175.40/173.29	c cleaning 10001 clauses out of 20005 with flag 265002/265002
183.81/181.61	c cleaning 10002 clauses out of 20005 with flag 275003/275003
191.61/189.44	c cleaning 9998 clauses out of 20002 with flag 285002/285002
198.52/196.37	c cleaning 10000 clauses out of 20003 with flag 295001/295001
205.53/203.38	c cleaning 9999 clauses out of 20003 with flag 305001/305001
213.04/210.89	c cleaning 9999 clauses out of 20004 with flag 315001/315001
220.15/217.99	c cleaning 10000 clauses out of 20006 with flag 325002/325002
228.25/226.09	c cleaning 10001 clauses out of 20005 with flag 335001/335001
235.66/233.46	c cleaning 10000 clauses out of 20003 with flag 345000/345000
242.46/240.27	c cleaning 10000 clauses out of 20003 with flag 355000/355000
249.96/247.74	c cleaning 9999 clauses out of 20004 with flag 365001/365001
256.78/254.59	c cleaning 9999 clauses out of 20004 with flag 375000/375000
263.68/261.40	c cleaning 10002 clauses out of 20007 with flag 385002/385002
270.60/268.35	c cleaning 9999 clauses out of 20005 with flag 395002/395002
276.71/274.46	c cleaning 10001 clauses out of 20005 with flag 405001/405001
281.71/279.45	c cleaning 9998 clauses out of 20004 with flag 415001/415001
286.80/284.56	c cleaning 10000 clauses out of 20007 with flag 425002/425002
291.90/289.66	c cleaning 10005 clauses out of 20011 with flag 435006/435006
296.61/294.36	c cleaning 9997 clauses out of 20004 with flag 445004/445004
302.01/299.77	c cleaning 9997 clauses out of 20003 with flag 455000/455000
307.52/305.27	c cleaning 9999 clauses out of 20007 with flag 465001/465001
313.13/310.87	c cleaning 9999 clauses out of 20008 with flag 475001/475001
318.93/316.67	c cleaning 9999 clauses out of 20008 with flag 485000/485000
324.44/322.11	c cleaning 10001 clauses out of 20010 with flag 495001/495001
330.24/327.99	c cleaning 9999 clauses out of 20008 with flag 505000/505000
336.15/333.85	c cleaning 9999 clauses out of 20009 with flag 515000/515000
342.36/340.07	c cleaning 10002 clauses out of 20011 with flag 525001/525001
348.06/345.72	c cleaning 10000 clauses out of 20008 with flag 535000/535000
353.56/351.28	c cleaning 10001 clauses out of 20008 with flag 545000/545000
359.87/357.54	c cleaning 10001 clauses out of 20010 with flag 555003/555003
365.67/363.32	c cleaning 9998 clauses out of 20006 with flag 565000/565000
371.37/369.08	c cleaning 9999 clauses out of 20008 with flag 575000/575000
377.27/374.92	c cleaning 10003 clauses out of 20013 with flag 585004/585004
383.58/381.21	c cleaning 9998 clauses out of 20006 with flag 595000/595000
388.89/386.55	c cleaning 9999 clauses out of 20009 with flag 605001/605001
394.59/392.23	c cleaning 9998 clauses out of 20012 with flag 615003/615003
399.99/397.62	c cleaning 10002 clauses out of 20013 with flag 625002/625002
405.19/402.88	c cleaning 10000 clauses out of 20009 with flag 635000/635000
410.73/408.37	c cleaning 10001 clauses out of 20011 with flag 645002/645002
416.62/414.27	c cleaning 10000 clauses out of 20009 with flag 655001/655001
422.83/420.48	c cleaning 9996 clauses out of 20008 with flag 665000/665000
428.73/426.40	c cleaning 10003 clauses out of 20014 with flag 675002/675002
435.74/433.33	c cleaning 10001 clauses out of 20010 with flag 685001/685001
442.54/440.12	c cleaning 10000 clauses out of 20008 with flag 695000/695000
448.85/446.40	c cleaning 10000 clauses out of 20009 with flag 705001/705001
455.26/452.83	c cleaning 9999 clauses out of 20008 with flag 715000/715000
461.97/459.52	c cleaning 10003 clauses out of 20012 with flag 725003/725003
468.10/465.62	c cleaning 9998 clauses out of 20006 with flag 735000/735000
474.61/472.14	c cleaning 9996 clauses out of 20008 with flag 745000/745000
481.12/478.63	c cleaning 10001 clauses out of 20016 with flag 755004/755004
487.23/484.73	c cleaning 9999 clauses out of 20012 with flag 765001/765001
493.23/490.78	c cleaning 9998 clauses out of 20014 with flag 775002/775002
500.03/497.55	c cleaning 10001 clauses out of 20020 with flag 785006/785006
506.13/503.64	c cleaning 10000 clauses out of 20013 with flag 795000/795000
511.63/509.20	c cleaning 9997 clauses out of 20014 with flag 805001/805001
517.24/514.71	c cleaning 9998 clauses out of 20016 with flag 815000/815000
523.03/520.54	c cleaning 10002 clauses out of 20022 with flag 825004/825004
529.73/527.20	c cleaning 10000 clauses out of 20017 with flag 835001/835001
535.73/533.21	c cleaning 9999 clauses out of 20017 with flag 845001/845001
541.94/539.45	c cleaning 10001 clauses out of 20019 with flag 855002/855002
548.34/545.89	c cleaning 9998 clauses out of 20016 with flag 865000/865000
555.05/552.58	c cleaning 10002 clauses out of 20019 with flag 875001/875001
561.15/558.66	c cleaning 9999 clauses out of 20020 with flag 885004/885004
567.96/565.43	c cleaning 10003 clauses out of 20018 with flag 895001/895001
574.46/571.91	c cleaning 10004 clauses out of 20016 with flag 905002/905002
580.86/578.33	c cleaning 10000 clauses out of 20013 with flag 915003/915003
587.16/584.61	c cleaning 9998 clauses out of 20013 with flag 925003/925003
593.47/590.93	c cleaning 10004 clauses out of 20016 with flag 935004/935004
600.18/597.61	c cleaning 10000 clauses out of 20008 with flag 945000/945000
606.38/603.81	c cleaning 10000 clauses out of 20011 with flag 955003/955003
612.38/609.83	c cleaning 9999 clauses out of 20008 with flag 965000/965000
618.88/616.36	c cleaning 10000 clauses out of 20009 with flag 975000/975000
625.10/622.55	c cleaning 10005 clauses out of 20017 with flag 985008/985008
631.19/628.68	c cleaning 9997 clauses out of 20006 with flag 995002/995002
637.60/635.08	c cleaning 10001 clauses out of 20012 with flag 1005005/1005005
643.71/641.18	c cleaning 9998 clauses out of 20008 with flag 1015002/1015002
649.92/647.31	c cleaning 10002 clauses out of 20012 with flag 1025004/1025004
656.33/653.72	c cleaning 9998 clauses out of 20008 with flag 1035002/1035002
662.34/659.75	c cleaning 9999 clauses out of 20008 with flag 1045000/1045000
668.54/665.90	c cleaning 9998 clauses out of 20010 with flag 1055001/1055001
673.74/671.16	c cleaning 10001 clauses out of 20012 with flag 1065001/1065001
679.54/676.92	c cleaning 10001 clauses out of 20015 with flag 1075005/1075005
685.75/683.11	c cleaning 10002 clauses out of 20009 with flag 1085000/1085000
691.65/689.03	c cleaning 9999 clauses out of 20008 with flag 1095001/1095001
698.06/695.48	c cleaning 10000 clauses out of 20008 with flag 1105000/1105000
703.87/701.23	c cleaning 10002 clauses out of 20013 with flag 1115005/1115005
710.28/707.67	c cleaning 9998 clauses out of 20008 with flag 1125002/1125002
715.98/713.40	c cleaning 9997 clauses out of 20009 with flag 1135001/1135001
722.01/719.40	c cleaning 10002 clauses out of 20011 with flag 1145000/1145000
728.51/725.81	c cleaning 9999 clauses out of 20010 with flag 1155001/1155001
734.91/732.22	c cleaning 10001 clauses out of 20010 with flag 1165000/1165000
741.22/738.57	c cleaning 10002 clauses out of 20013 with flag 1175004/1175004
747.43/744.73	c cleaning 9999 clauses out of 20009 with flag 1185002/1185002
753.23/750.51	c cleaning 9999 clauses out of 20009 with flag 1195001/1195001
759.34/756.64	c cleaning 10003 clauses out of 20015 with flag 1205006/1205006
765.36/762.65	c cleaning 9999 clauses out of 20006 with flag 1215000/1215000
771.46/768.76	c cleaning 9999 clauses out of 20007 with flag 1225000/1225000
778.28/775.57	c cleaning 10002 clauses out of 20010 with flag 1235002/1235002
784.97/782.28	c cleaning 9999 clauses out of 20008 with flag 1245002/1245002
791.98/789.28	c cleaning 9999 clauses out of 20008 with flag 1255001/1255001
798.49/795.75	c cleaning 9999 clauses out of 20008 with flag 1265000/1265000
805.49/802.73	c cleaning 10000 clauses out of 20010 with flag 1275001/1275001
812.50/809.75	c cleaning 9999 clauses out of 20009 with flag 1285000/1285000
819.02/816.22	c cleaning 9999 clauses out of 20010 with flag 1295000/1295000
825.83/823.07	c cleaning 9999 clauses out of 20011 with flag 1305000/1305000
832.53/829.79	c cleaning 10001 clauses out of 20012 with flag 1315000/1315000
838.44/835.66	c cleaning 10005 clauses out of 20018 with flag 1325007/1325007
844.85/842.00	c cleaning 10001 clauses out of 20008 with flag 1335002/1335002
850.75/847.90	c cleaning 9998 clauses out of 20006 with flag 1345001/1345001
856.47/853.66	c cleaning 9995 clauses out of 20008 with flag 1355001/1355001
861.77/858.99	c cleaning 10001 clauses out of 20013 with flag 1365001/1365001
867.08/864.24	c cleaning 10004 clauses out of 20015 with flag 1375004/1375004
872.70/869.80	c cleaning 10000 clauses out of 20007 with flag 1385000/1385000
878.30/875.47	c cleaning 10001 clauses out of 20010 with flag 1395003/1395003
883.80/880.96	c cleaning 10002 clauses out of 20009 with flag 1405003/1405003
889.20/886.36	c cleaning 9998 clauses out of 20005 with flag 1415001/1415001
894.72/891.89	c cleaning 9997 clauses out of 20006 with flag 1425000/1425000
900.61/897.76	c cleaning 10000 clauses out of 20009 with flag 1435000/1435000
906.13/903.26	c cleaning 9995 clauses out of 20010 with flag 1445001/1445001
912.13/909.24	c cleaning 10002 clauses out of 20015 with flag 1455001/1455001
917.44/914.57	c cleaning 10000 clauses out of 20013 with flag 1465001/1465001
922.84/919.91	c cleaning 10002 clauses out of 20016 with flag 1475004/1475004
928.15/925.23	c cleaning 10001 clauses out of 20010 with flag 1485000/1485000
933.65/930.75	c cleaning 9998 clauses out of 20009 with flag 1495000/1495000
939.26/936.31	c cleaning 10004 clauses out of 20015 with flag 1505004/1505004
945.16/942.25	c cleaning 9998 clauses out of 20011 with flag 1515004/1515004
950.66/947.73	c cleaning 9999 clauses out of 20010 with flag 1525001/1525001
956.27/953.36	c cleaning 10000 clauses out of 20012 with flag 1535002/1535002
961.47/958.56	c cleaning 10002 clauses out of 20013 with flag 1545003/1545003
967.27/964.34	c cleaning 10001 clauses out of 20012 with flag 1555004/1555004
972.87/969.97	c cleaning 9999 clauses out of 20007 with flag 1565000/1565000
979.49/976.53	c cleaning 9998 clauses out of 20012 with flag 1575004/1575004
985.09/982.12	c cleaning 9999 clauses out of 20011 with flag 1585001/1585001
991.29/988.32	c cleaning 10002 clauses out of 20014 with flag 1595003/1595003
997.69/994.75	c cleaning 9999 clauses out of 20016 with flag 1605007/1605007
1003.60/1000.62	c cleaning 10002 clauses out of 20011 with flag 1615001/1615001
1010.10/1007.10	c cleaning 10000 clauses out of 20011 with flag 1625003/1625003
1016.40/1013.40	c cleaning 9999 clauses out of 20008 with flag 1635000/1635000
1023.12/1020.17	c cleaning 10000 clauses out of 20010 with flag 1645001/1645001
1029.33/1026.31	c cleaning 10000 clauses out of 20010 with flag 1655001/1655001
1035.83/1032.88	c cleaning 10000 clauses out of 20014 with flag 1665005/1665005
1042.13/1039.19	c cleaning 10000 clauses out of 20012 with flag 1675003/1675003
1047.94/1044.92	c cleaning 9999 clauses out of 20009 with flag 1685000/1685000
1054.45/1051.41	c cleaning 9998 clauses out of 20010 with flag 1695000/1695000
1060.85/1057.83	c cleaning 9998 clauses out of 20012 with flag 1705000/1705000
1066.95/1063.96	c cleaning 10000 clauses out of 20014 with flag 1715000/1715000
1072.95/1069.97	c cleaning 10004 clauses out of 20019 with flag 1725005/1725005
1079.56/1076.50	c cleaning 9999 clauses out of 20010 with flag 1735000/1735000
1086.36/1083.32	c cleaning 9998 clauses out of 20011 with flag 1745000/1745000
1093.27/1090.20	c cleaning 9999 clauses out of 20016 with flag 1755003/1755003
1099.80/1096.78	c cleaning 10002 clauses out of 20015 with flag 1765001/1765001
1105.89/1102.88	c cleaning 10003 clauses out of 20015 with flag 1775003/1775003
1112.29/1109.29	c cleaning 10000 clauses out of 20009 with flag 1785000/1785000
1119.40/1116.34	c cleaning 10001 clauses out of 20013 with flag 1795004/1795004
1126.50/1123.44	c cleaning 9999 clauses out of 20008 with flag 1805000/1805000
1132.72/1129.61	c cleaning 9998 clauses out of 20012 with flag 1815003/1815003
1138.82/1135.70	c cleaning 10000 clauses out of 20012 with flag 1825001/1825001
1145.34/1142.26	c cleaning 10001 clauses out of 20013 with flag 1835002/1835002
1151.65/1148.58	c cleaning 9998 clauses out of 20013 with flag 1845003/1845003
1157.84/1154.80	c cleaning 10003 clauses out of 20017 with flag 1855005/1855005
1165.15/1162.05	c cleaning 9999 clauses out of 20011 with flag 1865002/1865002
1172.47/1169.39	c cleaning 9999 clauses out of 20010 with flag 1875000/1875000
1179.77/1176.67	c cleaning 9999 clauses out of 20011 with flag 1885000/1885000
1186.97/1183.84	c cleaning 10003 clauses out of 20018 with flag 1895006/1895006
1192.67/1189.54	c cleaning 10001 clauses out of 20011 with flag 1905002/1905002
1198.88/1195.79	c cleaning 10000 clauses out of 20010 with flag 1915002/1915002
1205.58/1202.45	c cleaning 10000 clauses out of 20011 with flag 1925003/1925003
1212.48/1209.36	c cleaning 9999 clauses out of 20012 with flag 1935004/1935004
1219.18/1216.01	c cleaning 10000 clauses out of 20009 with flag 1945000/1945000
1225.19/1222.02	c cleaning 10002 clauses out of 20013 with flag 1955004/1955004
1231.59/1228.48	c cleaning 9999 clauses out of 20008 with flag 1965001/1965001
1238.30/1235.19	c cleaning 9999 clauses out of 20008 with flag 1975000/1975000
1245.20/1242.08	c cleaning 9995 clauses out of 20011 with flag 1985002/1985002
1252.83/1249.63	c cleaning 10010 clauses out of 20019 with flag 1995005/1995005
1258.63/1255.40	c cleaning 9996 clauses out of 20006 with flag 2005002/2005002
1264.13/1260.97	c cleaning 10000 clauses out of 20010 with flag 2015002/2015002
1270.15/1266.91	c cleaning 10001 clauses out of 20009 with flag 2025001/2025001
1275.97/1272.73	c cleaning 10000 clauses out of 20007 with flag 2035000/2035000
1281.67/1278.43	c cleaning 10001 clauses out of 20007 with flag 2045000/2045000
1287.38/1284.10	c cleaning 10003 clauses out of 20012 with flag 2055006/2055006
1292.59/1289.38	c cleaning 9995 clauses out of 20004 with flag 2065001/2065001
1298.20/1294.99	c cleaning 10001 clauses out of 20012 with flag 2075004/2075004
1304.20/1300.99	c cleaning 9997 clauses out of 20008 with flag 2085001/2085001
1310.51/1307.28	c cleaning 10001 clauses out of 20013 with flag 2095003/2095003
1316.82/1313.50	c cleaning 10000 clauses out of 20009 with flag 2105000/2105000
1323.03/1319.73	c cleaning 10002 clauses out of 20014 with flag 2115005/2115005
1329.24/1325.99	c cleaning 9999 clauses out of 20007 with flag 2125000/2125000
1335.45/1332.17	c cleaning 9997 clauses out of 20008 with flag 2135000/2135000
1341.74/1338.48	c cleaning 10000 clauses out of 20011 with flag 2145000/2145000
1348.26/1344.92	c cleaning 10002 clauses out of 20015 with flag 2155004/2155004
1353.87/1350.56	c cleaning 10002 clauses out of 20014 with flag 2165005/2165005
1360.47/1357.15	c cleaning 9993 clauses out of 20008 with flag 2175001/2175001
1367.18/1363.84	c cleaning 10004 clauses out of 20018 with flag 2185004/2185004
1373.39/1370.08	c cleaning 10001 clauses out of 20010 with flag 2195000/2195000
1379.19/1375.84	c cleaning 9997 clauses out of 20011 with flag 2205002/2205002
1385.69/1382.36	c cleaning 10002 clauses out of 20014 with flag 2215002/2215002
1391.70/1388.33	c cleaning 10000 clauses out of 20010 with flag 2225000/2225000
1397.41/1394.06	c cleaning 10001 clauses out of 20014 with flag 2235004/2235004
1403.01/1399.69	c cleaning 10000 clauses out of 20011 with flag 2245002/2245002
1409.13/1405.72	c cleaning 9999 clauses out of 20013 with flag 2255004/2255004
1415.12/1411.76	c cleaning 10001 clauses out of 20010 with flag 2265000/2265000
1421.42/1418.07	c cleaning 9999 clauses out of 20011 with flag 2275002/2275002
1427.52/1424.16	c cleaning 10003 clauses out of 20011 with flag 2285001/2285001
1433.63/1430.22	c cleaning 10000 clauses out of 20009 with flag 2295002/2295002
1438.94/1435.56	c cleaning 10001 clauses out of 20007 with flag 2305000/2305000
1444.63/1441.26	c cleaning 10000 clauses out of 20009 with flag 2315003/2315003
1451.14/1447.76	c cleaning 9997 clauses out of 20007 with flag 2325001/2325001
1457.06/1453.63	c cleaning 9999 clauses out of 20011 with flag 2335002/2335002
1463.66/1460.30	c cleaning 9996 clauses out of 20012 with flag 2345002/2345002
1470.06/1466.61	c cleaning 10003 clauses out of 20017 with flag 2355003/2355003
1476.17/1472.71	c cleaning 10002 clauses out of 20011 with flag 2365000/2365000
1482.47/1479.05	c cleaning 10002 clauses out of 20012 with flag 2375003/2375003
1489.18/1485.78	c cleaning 9999 clauses out of 20013 with flag 2385006/2385006
1495.99/1492.56	c cleaning 9996 clauses out of 20008 with flag 2395000/2395000
1501.99/1498.52	c cleaning 10001 clauses out of 20015 with flag 2405003/2405003
1507.90/1504.48	c cleaning 10001 clauses out of 20014 with flag 2415003/2415003
1514.71/1511.30	c cleaning 10002 clauses out of 20011 with flag 2425001/2425001
1521.01/1517.50	c cleaning 9999 clauses out of 20010 with flag 2435002/2435002
1526.01/1522.53	c cleaning 10003 clauses out of 20013 with flag 2445004/2445004
1531.22/1527.72	c cleaning 9998 clauses out of 20007 with flag 2455001/2455001
1536.83/1533.31	c cleaning 10001 clauses out of 20008 with flag 2465000/2465000
1542.44/1539.00	c cleaning 9999 clauses out of 20008 with flag 2475001/2475001
1547.63/1544.13	c cleaning 9999 clauses out of 20008 with flag 2485000/2485000
1553.54/1550.05	c cleaning 9997 clauses out of 20009 with flag 2495000/2495000
1559.15/1555.69	c cleaning 10002 clauses out of 20014 with flag 2505002/2505002
1565.06/1561.59	c cleaning 10000 clauses out of 20016 with flag 2515006/2515006
1570.57/1567.05	c cleaning 9998 clauses out of 20010 with flag 2525000/2525000
1576.59/1573.08	c cleaning 10000 clauses out of 20017 with flag 2535005/2535005
1582.59/1579.06	c cleaning 10003 clauses out of 20014 with flag 2545002/2545002
1588.50/1584.95	c cleaning 10000 clauses out of 20009 with flag 2555000/2555000
1594.52/1590.91	c cleaning 10002 clauses out of 20011 with flag 2565002/2565002
1600.41/1596.84	c cleaning 9998 clauses out of 20009 with flag 2575002/2575002
1606.92/1603.32	c cleaning 9999 clauses out of 20011 with flag 2585002/2585002
1612.22/1608.60	c cleaning 10001 clauses out of 20013 with flag 2595003/2595003
1617.82/1614.28	c cleaning 9998 clauses out of 20009 with flag 2605000/2605000
1624.32/1620.70	c cleaning 10000 clauses out of 20011 with flag 2615000/2615000
1630.33/1626.80	c cleaning 10000 clauses out of 20013 with flag 2625002/2625002
1636.75/1633.13	c cleaning 10001 clauses out of 20011 with flag 2635000/2635000
1642.66/1639.06	c cleaning 9996 clauses out of 20010 with flag 2645000/2645000
1649.26/1645.62	c cleaning 9998 clauses out of 20014 with flag 2655000/2655000
1654.67/1651.03	c cleaning 10005 clauses out of 20018 with flag 2665002/2665002
1659.88/1656.29	c cleaning 10005 clauses out of 20020 with flag 2675009/2675009
1665.08/1661.42	c cleaning 10000 clauses out of 20010 with flag 2685004/2685004
1670.39/1666.70	c cleaning 9998 clauses out of 20007 with flag 2695001/2695001
1675.60/1671.91	c cleaning 10001 clauses out of 20011 with flag 2705003/2705003
1680.89/1677.26	c cleaning 10000 clauses out of 20010 with flag 2715003/2715003
1686.90/1683.23	c cleaning 10003 clauses out of 20013 with flag 2725006/2725006
1692.40/1688.70	c cleaning 9996 clauses out of 20005 with flag 2735001/2735001
1697.91/1694.20	c cleaning 10001 clauses out of 20010 with flag 2745002/2745002
1703.32/1699.69	c cleaning 9999 clauses out of 20008 with flag 2755001/2755001
1709.12/1705.48	c cleaning 10000 clauses out of 20009 with flag 2765001/2765001
1714.83/1711.17	c cleaning 10002 clauses out of 20011 with flag 2775003/2775003
1721.34/1717.64	c cleaning 9999 clauses out of 20006 with flag 2785000/2785000
1727.94/1724.23	c cleaning 9998 clauses out of 20007 with flag 2795000/2795000
1733.16/1729.40	c cleaning 10000 clauses out of 20009 with flag 2805000/2805000
1738.86/1735.19	c cleaning 9997 clauses out of 20011 with flag 2815002/2815002
1744.57/1740.87	c cleaning 9998 clauses out of 20013 with flag 2825001/2825001
1750.07/1746.37	c cleaning 9997 clauses out of 20016 with flag 2835002/2835002
1755.87/1752.17	c cleaning 9998 clauses out of 20017 with flag 2845000/2845000
1761.67/1757.96	c cleaning 10006 clauses out of 20020 with flag 2855001/2855001
1767.67/1763.97	c cleaning 10001 clauses out of 20014 with flag 2865001/2865001
1774.27/1770.56	c cleaning 9999 clauses out of 20012 with flag 2875000/2875000
1779.98/1776.26	c cleaning 10004 clauses out of 20021 with flag 2885008/2885008
1785.48/1781.72	c cleaning 10002 clauses out of 20012 with flag 2895003/2895003
1791.28/1787.56	c cleaning 9999 clauses out of 20007 with flag 2905000/2905000
1797.89/1794.15	c cleaning 10004 clauses out of 20014 with flag 2915006/2915006
1800.10/1796.32	c starts		: 231
1800.10/1796.32	c conflicts		: 2919945
1800.10/1796.32	c decisions		: 3128220
1800.10/1796.32	c propagations		: 116994995
1800.10/1796.32	c inspects		: 4895243811
1800.10/1796.32	c learnt literals	: 7
1800.10/1796.32	c learnt binary clauses	: 66
1800.10/1796.32	c learnt ternary clauses	: 165
1800.10/1796.32	c learnt clauses	: 2919938
1800.10/1796.32	c ignored clauses	: 0
1800.10/1796.32	c root simplifications	: 0
1800.10/1796.32	c removed literals (reason simplification)	: 73276947
1800.10/1796.32	c reason swapping (by a shorter reason)	: 0
1800.10/1796.32	c Calls to reduceDB	: 293
1800.10/1796.32	c number of reductions to clauses (during analyze)	: 0
1800.10/1796.32	c number of learned constraints concerned by reduction	: 0
1800.10/1796.32	c number of learning phase by resolution	: 0
1800.10/1796.32	c number of learning phase by cutting planes	: 0
1800.10/1796.32	c speed (assignments/second)	: 65150.28753666253
1800.10/1796.32	c non guided choices	27
1800.10/1796.38	c learnt constraints type 
1800.10/1796.38	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 14976
1800.10/1796.38	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 66
1800.10/1796.38	c constraints type 
1800.10/1796.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 482
1800.10/1796.38	c org.sat4j.minisat.constraints.card.MinWatchCard => 2
1800.10/1796.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 255
1800.10/1796.38	c org.sat4j.pb.constraints.pb.MaxWatchPb => 345
1800.10/1796.38	s UNKNOWN
1800.10/1796.38	c Total wall clock time (in seconds): 1796.168

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2659297-1276695541/watcher-2659297-1276695541 -o /tmp/evaluation-result-2659297-1276695541/solver-2659297-1276695541 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659297-1276695541.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.04 0.01 0.18 3/106 18149
/proc/meminfo: memFree=1721912/2059040 swapFree=4192952/4192956
[pid=18149] ppid=18147 vsize=444 CPUtime=0
/proc/18149/stat : 18149 (java) R 18147 18149 18124 0 -1 4194304 300 0 0 0 0 0 0 0 17 0 1 0 10847012 454656 46 1992294400 134512640 134550932 4290839376 18446744073709551615 11117731 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18149/statm: 111 49 38 10 0 25 0

[startup+0.029226 s]
/proc/loadavg: 0.04 0.01 0.18 3/106 18149
/proc/meminfo: memFree=1721912/2059040 swapFree=4192952/4192956
[pid=18149] ppid=18147 vsize=1518228 CPUtime=0.01
/proc/18149/stat : 18149 (java) S 18147 18149 18124 0 -1 4202496 2625 0 1 0 0 1 0 0 15 0 4 0 10847012 1554665472 2069 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/18149/statm: 379557 2069 419 10 0 377268 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1518228

[startup+0.101652 s]
/proc/loadavg: 0.04 0.01 0.18 3/106 18149
/proc/meminfo: memFree=1721912/2059040 swapFree=4192952/4192956
[pid=18149] ppid=18147 vsize=1524184 CPUtime=0.08
/proc/18149/stat : 18149 (java) S 18147 18149 18124 0 -1 4202496 3963 0 1 0 6 2 0 0 15 0 12 0 10847012 1560764416 3402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18149/statm: 381046 3402 1076 10 0 378348 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524184

[startup+0.30167 s]
/proc/loadavg: 0.04 0.01 0.18 3/106 18149
/proc/meminfo: memFree=1721912/2059040 swapFree=4192952/4192956
[pid=18149] ppid=18147 vsize=1526260 CPUtime=0.34
/proc/18149/stat : 18149 (java) S 18147 18149 18124 0 -1 4202496 5284 0 1 0 31 3 0 0 15 0 12 0 10847012 1562890240 4721 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18149/statm: 381565 4721 1361 10 0 378867 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 1526260

[startup+0.701713 s]
/proc/loadavg: 0.04 0.01 0.18 3/106 18149
/proc/meminfo: memFree=1721912/2059040 swapFree=4192952/4192956
[pid=18149] ppid=18147 vsize=1530632 CPUtime=1.13
/proc/18149/stat : 18149 (java) S 18147 18149 18124 0 -1 4202496 7516 0 1 0 109 4 0 0 15 0 13 0 10847012 1567367168 6638 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18149/statm: 382658 6638 1401 10 0 379960 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 1530632

[startup+1.50179 s]
/proc/loadavg: 0.04 0.01 0.18 4/119 18162
/proc/meminfo: memFree=1696760/2059040 swapFree=4192952/4192956
[pid=18149] ppid=18147 vsize=1535100 CPUtime=2.64
/proc/18149/stat : 18149 (java) S 18147 18149 18124 0 -1 4202496 13202 0 1 0 259 5 0 0 15 0 13 0 10847012 1571942400 10828 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18149/statm: 383775 10830 1422 10 0 381077 0
[pid=18149/tid=18151] ppid=18147 vsize=1535100 CPUtime=1.23
/proc/18149/task/18151/stat : 18151 (java) R 18147 18149 18124 0 -1 4202560 7563 0 1 0 119 4 0 0 25 0 13 0 10847014 1571942400 10831 1992294400 134512640 134550932 4290839376 18446744073709551615 4109127236 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18149/tid=18152] ppid=18147 vsize=1535100 CPUtime=0
/proc/18149/task/18152/stat : 18152 (java) S 18147 18149 18124 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 13 0 10847015 1571942400 10832 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18153] ppid=18147 vsize=1535100 CPUtime=0
/proc/18149/task/18153/stat : 18153 (java) S 18147 18149 18124 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 10847015 1571942400 10833 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18154] ppid=18147 vsize=1535100 CPUtime=0
/proc/18149/task/18154/stat : 18154 (java) S 18147 18149 18124 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 10847017 1571942400 10833 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18155] ppid=18147 vsize=1535100 CPUtime=0
/proc/18149/task/18155/stat : 18155 (java) S 18147 18149 18124 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 13 0 10847017 1571942400 10833 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18156] ppid=18147 vsize=1535100 CPUtime=0
/proc/18149/task/18156/stat : 18156 (java) S 18147 18149 18124 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 13 0 10847017 1571942400 10834 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18157] ppid=18147 vsize=1535100 CPUtime=0
/proc/18149/task/18157/stat : 18157 (java) S 18147 18149 18124 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 10847022 1571942400 10835 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18158] ppid=18147 vsize=1535100 CPUtime=1.04
/proc/18149/task/18158/stat : 18158 (java) S 18147 18149 18124 0 -1 4202560 3304 0 0 0 104 0 0 0 17 0 13 0 10847022 1571942400 10836 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18159] ppid=18147 vsize=1535100 CPUtime=0.34
/proc/18149/task/18159/stat : 18159 (java) S 18147 18149 18124 0 -1 4202560 1271 0 0 0 34 0 0 0 22 0 13 0 10847022 1571942400 10838 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18160] ppid=18147 vsize=1535100 CPUtime=0
/proc/18149/task/18160/stat : 18160 (java) S 18147 18149 18124 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 10847022 1571942400 10840 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18161] ppid=18147 vsize=1535100 CPUtime=0
/proc/18149/task/18161/stat : 18161 (java) S 18147 18149 18124 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 10847022 1571942400 10840 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18162] ppid=18147 vsize=1535100 CPUtime=0
/proc/18149/task/18162/stat : 18162 (java) S 18147 18149 18124 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 10847069 1571942400 10841 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 1535100

[startup+3.10095 s]
/proc/loadavg: 0.04 0.01 0.18 2/119 18162
/proc/meminfo: memFree=1647532/2059040 swapFree=4192952/4192956
[pid=18149] ppid=18147 vsize=1535100 CPUtime=4.35
/proc/18149/stat : 18149 (java) S 18147 18149 18124 0 -1 4202496 31850 0 1 0 423 12 0 0 15 0 13 0 10847012 1571942400 29469 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18149/statm: 383775 29469 1440 10 0 381077 0
[pid=18149/tid=18151] ppid=18147 vsize=1535100 CPUtime=2.77
/proc/18149/task/18151/stat : 18151 (java) R 18147 18149 18124 0 -1 4202560 25119 0 1 0 267 10 0 0 25 0 13 0 10847014 1571942400 29469 1992294400 134512640 134550932 4290839376 18446744073709551615 4109067226 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18149/tid=18152] ppid=18147 vsize=1535100 CPUtime=0
/proc/18149/task/18152/stat : 18152 (java) S 18147 18149 18124 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 13 0 10847015 1571942400 29469 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18153] ppid=18147 vsize=1535100 CPUtime=0
/proc/18149/task/18153/stat : 18153 (java) S 18147 18149 18124 0 -1 4202560 228 0 0 0 0 0 0 0 18 0 13 0 10847015 1571942400 29469 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18154] ppid=18147 vsize=1535100 CPUtime=0.02
/proc/18149/task/18154/stat : 18154 (java) S 18147 18149 18124 0 -1 4202560 530 0 0 0 2 0 0 0 15 0 13 0 10847017 1571942400 29469 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18155] ppid=18147 vsize=1535100 CPUtime=0
/proc/18149/task/18155/stat : 18155 (java) S 18147 18149 18124 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 10847017 1571942400 29469 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18156] ppid=18147 vsize=1535100 CPUtime=0
/proc/18149/task/18156/stat : 18156 (java) S 18147 18149 18124 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 10847017 1571942400 29469 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18157] ppid=18147 vsize=1535100 CPUtime=0
/proc/18149/task/18157/stat : 18157 (java) S 18147 18149 18124 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 10847022 1571942400 29469 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18158] ppid=18147 vsize=1535100 CPUtime=1.16
/proc/18149/task/18158/stat : 18158 (java) S 18147 18149 18124 0 -1 4202560 3319 0 0 0 116 0 0 0 15 0 13 0 10847022 1571942400 29469 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18159] ppid=18147 vsize=1535100 CPUtime=0.36
/proc/18149/task/18159/stat : 18159 (java) S 18147 18149 18124 0 -1 4202560 1274 0 0 0 36 0 0 0 17 0 13 0 10847022 1571942400 29469 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18160] ppid=18147 vsize=1535100 CPUtime=0
/proc/18149/task/18160/stat : 18160 (java) S 18147 18149 18124 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 10847022 1571942400 29469 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18161] ppid=18147 vsize=1535100 CPUtime=0
/proc/18149/task/18161/stat : 18161 (java) S 18147 18149 18124 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 10847022 1571942400 29469 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18162] ppid=18147 vsize=1535100 CPUtime=0
/proc/18149/task/18162/stat : 18162 (java) S 18147 18149 18124 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 10847069 1571942400 29469 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 1535100

[startup+6.30125 s]
/proc/loadavg: 0.12 0.03 0.18 2/119 18162
/proc/meminfo: memFree=1593344/2059040 swapFree=4192952/4192956
[pid=18149] ppid=18147 vsize=1533840 CPUtime=7.61
/proc/18149/stat : 18149 (java) S 18147 18149 18124 0 -1 4202496 35813 0 1 0 747 14 0 0 15 0 13 0 10847012 1570652160 33127 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18149/statm: 383460 33127 1440 10 0 380762 0
[pid=18149/tid=18151] ppid=18147 vsize=1533840 CPUtime=5.89
/proc/18149/task/18151/stat : 18151 (java) R 18147 18149 18124 0 -1 4202560 27695 0 1 0 578 11 0 0 25 0 13 0 10847014 1570652160 33127 1992294400 134512640 134550932 4290839376 18446744073709551615 4109040508 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18149/tid=18152] ppid=18147 vsize=1533840 CPUtime=0
/proc/18149/task/18152/stat : 18152 (java) S 18147 18149 18124 0 -1 4202560 867 0 0 0 0 0 0 0 16 0 13 0 10847015 1570652160 33127 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18153] ppid=18147 vsize=1533840 CPUtime=0
/proc/18149/task/18153/stat : 18153 (java) S 18147 18149 18124 0 -1 4202560 516 0 0 0 0 0 0 0 18 0 13 0 10847015 1570652160 33127 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18154] ppid=18147 vsize=1533840 CPUtime=0.04
/proc/18149/task/18154/stat : 18154 (java) S 18147 18149 18124 0 -1 4202560 1069 0 0 0 4 0 0 0 15 0 13 0 10847017 1570652160 33127 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18155] ppid=18147 vsize=1533840 CPUtime=0
/proc/18149/task/18155/stat : 18155 (java) S 18147 18149 18124 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 10847017 1570652160 33127 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18156] ppid=18147 vsize=1533840 CPUtime=0
/proc/18149/task/18156/stat : 18156 (java) S 18147 18149 18124 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 10847017 1570652160 33127 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18157] ppid=18147 vsize=1533840 CPUtime=0
/proc/18149/task/18157/stat : 18157 (java) S 18147 18149 18124 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 10847022 1570652160 33127 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18158] ppid=18147 vsize=1533840 CPUtime=1.18
/proc/18149/task/18158/stat : 18158 (java) S 18147 18149 18124 0 -1 4202560 3323 0 0 0 118 0 0 0 16 0 13 0 10847022 1570652160 33127 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18159] ppid=18147 vsize=1533840 CPUtime=0.44
/proc/18149/task/18159/stat : 18159 (java) S 18147 18149 18124 0 -1 4202560 1276 0 0 0 44 0 0 0 15 0 13 0 10847022 1570652160 33127 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18160] ppid=18147 vsize=1533840 CPUtime=0
/proc/18149/task/18160/stat : 18160 (java) S 18147 18149 18124 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 10847022 1570652160 33127 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18161] ppid=18147 vsize=1533840 CPUtime=0
/proc/18149/task/18161/stat : 18161 (java) S 18147 18149 18124 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 10847022 1570652160 33127 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18162] ppid=18147 vsize=1533840 CPUtime=0
/proc/18149/task/18162/stat : 18162 (java) S 18147 18149 18124 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 10847069 1570652160 33127 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.61
Current children cumulated vsize (KiB) 1533840

[startup+12.7019 s]
/proc/loadavg: 0.35 0.08 0.20 2/119 18162
/proc/meminfo: memFree=1565816/2059040 swapFree=4192952/4192956
[pid=18149] ppid=18147 vsize=1541008 CPUtime=14.61
/proc/18149/stat : 18149 (java) S 18147 18149 18124 0 -1 4202496 43976 0 1 0 1444 17 0 0 15 0 13 0 10847012 1577992192 40408 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18149/statm: 385252 40408 1440 10 0 382554 0
[pid=18149/tid=18151] ppid=18147 vsize=1541008 CPUtime=12.15
/proc/18149/task/18151/stat : 18151 (java) R 18147 18149 18124 0 -1 4202560 32051 0 1 0 1202 13 0 0 25 0 13 0 10847014 1577992192 40408 1992294400 134512640 134550932 4290839376 18446744073709551615 4109173870 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18149/tid=18152] ppid=18147 vsize=1541008 CPUtime=0.03
/proc/18149/task/18152/stat : 18152 (java) S 18147 18149 18124 0 -1 4202560 1328 0 0 0 3 0 0 0 16 0 13 0 10847015 1577992192 40408 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18153] ppid=18147 vsize=1541008 CPUtime=0.02
/proc/18149/task/18153/stat : 18153 (java) S 18147 18149 18124 0 -1 4202560 762 0 0 0 2 0 0 0 15 0 13 0 10847015 1577992192 40408 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18154] ppid=18147 vsize=1541008 CPUtime=0.11
/proc/18149/task/18154/stat : 18154 (java) S 18147 18149 18124 0 -1 4202560 1567 0 0 0 11 0 0 0 16 0 13 0 10847017 1577992192 40408 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18155] ppid=18147 vsize=1541008 CPUtime=0
/proc/18149/task/18155/stat : 18155 (java) S 18147 18149 18124 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 10847017 1577992192 40408 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18156] ppid=18147 vsize=1541008 CPUtime=0
/proc/18149/task/18156/stat : 18156 (java) S 18147 18149 18124 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 10847017 1577992192 40408 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18157] ppid=18147 vsize=1541008 CPUtime=0
/proc/18149/task/18157/stat : 18157 (java) S 18147 18149 18124 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 10847022 1577992192 40408 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18158] ppid=18147 vsize=1541008 CPUtime=1.4
/proc/18149/task/18158/stat : 18158 (java) S 18147 18149 18124 0 -1 4202560 3336 0 0 0 140 0 0 0 15 0 13 0 10847022 1577992192 40408 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18159] ppid=18147 vsize=1541008 CPUtime=0.85
/proc/18149/task/18159/stat : 18159 (java) S 18147 18149 18124 0 -1 4202560 3865 0 0 0 84 1 0 0 15 0 13 0 10847022 1577992192 40408 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18160] ppid=18147 vsize=1541008 CPUtime=0
/proc/18149/task/18160/stat : 18160 (java) S 18147 18149 18124 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 10847022 1577992192 40408 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18161] ppid=18147 vsize=1541008 CPUtime=0
/proc/18149/task/18161/stat : 18161 (java) S 18147 18149 18124 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 10847022 1577992192 40408 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18162] ppid=18147 vsize=1541008 CPUtime=0
/proc/18149/task/18162/stat : 18162 (java) S 18147 18149 18124 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 10847069 1577992192 40408 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 14.61
Current children cumulated vsize (KiB) 1541008

[startup+25.5021 s]
/proc/loadavg: 0.49 0.12 0.21 2/119 18162
/proc/meminfo: memFree=1565692/2059040 swapFree=4192952/4192956
[pid=18149] ppid=18147 vsize=1536912 CPUtime=27.44
/proc/18149/stat : 18149 (java) S 18147 18149 18124 0 -1 4202496 44646 0 1 0 2727 17 0 0 15 0 13 0 10847012 1573797888 40149 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18149/statm: 384228 40149 1440 10 0 381530 0
[pid=18149/tid=18151] ppid=18147 vsize=1536912 CPUtime=24.84
/proc/18149/task/18151/stat : 18151 (java) R 18147 18149 18124 0 -1 4202560 32056 0 1 0 2471 13 0 0 25 0 13 0 10847014 1573797888 40149 1992294400 134512640 134550932 4290839376 18446744073709551615 4109173812 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18149/tid=18152] ppid=18147 vsize=1536912 CPUtime=0.06
/proc/18149/task/18152/stat : 18152 (java) S 18147 18149 18124 0 -1 4202560 1410 0 0 0 6 0 0 0 16 0 13 0 10847015 1573797888 40149 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18153] ppid=18147 vsize=1536912 CPUtime=0.05
/proc/18149/task/18153/stat : 18153 (java) S 18147 18149 18124 0 -1 4202560 917 0 0 0 5 0 0 0 16 0 13 0 10847015 1573797888 40149 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18154] ppid=18147 vsize=1536912 CPUtime=0.18

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

[pid=18149/tid=18154] ppid=18147 vsize=1536912 CPUtime=8.62
/proc/18149/task/18154/stat : 18154 (java) S 18147 18149 18124 0 -1 4202560 2676 0 0 0 859 3 0 0 15 0 13 0 10847017 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18155] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18155/stat : 18155 (java) S 18147 18149 18124 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 10847017 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18156] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18156/stat : 18156 (java) S 18147 18149 18124 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 10847017 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18157] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18157/stat : 18157 (java) S 18147 18149 18124 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18158] ppid=18147 vsize=1536912 CPUtime=1.57
/proc/18149/task/18158/stat : 18158 (java) S 18147 18149 18124 0 -1 4202560 3337 0 0 0 157 0 0 0 15 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18159] ppid=18147 vsize=1536912 CPUtime=0.85
/proc/18149/task/18159/stat : 18159 (java) S 18147 18149 18124 0 -1 4202560 3865 0 0 0 84 1 0 0 15 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18160] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18160/stat : 18160 (java) S 18147 18149 18124 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18161] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18161/stat : 18161 (java) S 18147 18149 18124 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18162] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18162/stat : 18162 (java) S 18147 18149 18124 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 10847069 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1605.91
Current children cumulated vsize (KiB) 1536912

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 0.86 2/119 18215
/proc/meminfo: memFree=1524896/2059040 swapFree=4192952/4192956
[pid=18149] ppid=18147 vsize=1536912 CPUtime=1665.98
/proc/18149/stat : 18149 (java) S 18147 18149 18124 0 -1 4202496 55017 0 1 0 166533 65 0 0 15 0 13 0 10847012 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18149/statm: 384228 49402 1440 10 0 381530 0
[pid=18149/tid=18151] ppid=18147 vsize=1536912 CPUtime=1648.4
/proc/18149/task/18151/stat : 18151 (java) R 18147 18149 18124 0 -1 4202560 36171 0 1 0 164804 36 0 0 25 0 13 0 10847014 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4108777120 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18149/tid=18152] ppid=18147 vsize=1536912 CPUtime=3.05
/proc/18149/task/18152/stat : 18152 (java) S 18147 18149 18124 0 -1 4202560 4046 0 0 0 293 12 0 0 15 0 13 0 10847015 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18153] ppid=18147 vsize=1536912 CPUtime=3.04
/proc/18149/task/18153/stat : 18153 (java) S 18147 18149 18124 0 -1 4202560 3756 0 0 0 295 9 0 0 16 0 13 0 10847015 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18154] ppid=18147 vsize=1536912 CPUtime=9.01
/proc/18149/task/18154/stat : 18154 (java) S 18147 18149 18124 0 -1 4202560 2680 0 0 0 897 4 0 0 15 0 13 0 10847017 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18155] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18155/stat : 18155 (java) S 18147 18149 18124 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 10847017 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18156] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18156/stat : 18156 (java) S 18147 18149 18124 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 10847017 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18157] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18157/stat : 18157 (java) S 18147 18149 18124 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18158] ppid=18147 vsize=1536912 CPUtime=1.57
/proc/18149/task/18158/stat : 18158 (java) S 18147 18149 18124 0 -1 4202560 3337 0 0 0 157 0 0 0 15 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18159] ppid=18147 vsize=1536912 CPUtime=0.85
/proc/18149/task/18159/stat : 18159 (java) S 18147 18149 18124 0 -1 4202560 3865 0 0 0 84 1 0 0 15 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18160] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18160/stat : 18160 (java) S 18147 18149 18124 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18161] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18161/stat : 18161 (java) S 18147 18149 18124 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18162] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18162/stat : 18162 (java) S 18147 18149 18124 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 10847069 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1665.98
Current children cumulated vsize (KiB) 1536912

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.87 2/119 18215
/proc/meminfo: memFree=1524772/2059040 swapFree=4192952/4192956
[pid=18149] ppid=18147 vsize=1536912 CPUtime=1726.04
/proc/18149/stat : 18149 (java) S 18147 18149 18124 0 -1 4202496 55042 0 1 0 172538 66 0 0 15 0 13 0 10847012 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18149/statm: 384228 49402 1440 10 0 381530 0
[pid=18149/tid=18151] ppid=18147 vsize=1536912 CPUtime=1707.87
/proc/18149/task/18151/stat : 18151 (java) R 18147 18149 18124 0 -1 4202560 36188 0 1 0 170751 36 0 0 25 0 13 0 10847014 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4109095335 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18149/tid=18152] ppid=18147 vsize=1536912 CPUtime=3.17
/proc/18149/task/18152/stat : 18152 (java) S 18147 18149 18124 0 -1 4202560 4046 0 0 0 305 12 0 0 16 0 13 0 10847015 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18153] ppid=18147 vsize=1536912 CPUtime=3.15
/proc/18149/task/18153/stat : 18153 (java) S 18147 18149 18124 0 -1 4202560 3756 0 0 0 306 9 0 0 15 0 13 0 10847015 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18154] ppid=18147 vsize=1536912 CPUtime=9.36
/proc/18149/task/18154/stat : 18154 (java) S 18147 18149 18124 0 -1 4202560 2684 0 0 0 932 4 0 0 15 0 13 0 10847017 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18155] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18155/stat : 18155 (java) S 18147 18149 18124 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 10847017 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18156] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18156/stat : 18156 (java) S 18147 18149 18124 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 10847017 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18157] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18157/stat : 18157 (java) S 18147 18149 18124 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18158] ppid=18147 vsize=1536912 CPUtime=1.57
/proc/18149/task/18158/stat : 18158 (java) S 18147 18149 18124 0 -1 4202560 3337 0 0 0 157 0 0 0 15 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18159] ppid=18147 vsize=1536912 CPUtime=0.85
/proc/18149/task/18159/stat : 18159 (java) S 18147 18149 18124 0 -1 4202560 3865 0 0 0 84 1 0 0 15 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18160] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18160/stat : 18160 (java) S 18147 18149 18124 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18161] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18161/stat : 18161 (java) S 18147 18149 18124 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18162] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18162/stat : 18162 (java) S 18147 18149 18124 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 10847069 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1726.04
Current children cumulated vsize (KiB) 1536912

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.88 2/119 18217
/proc/meminfo: memFree=1524400/2059040 swapFree=4192952/4192956
[pid=18149] ppid=18147 vsize=1536912 CPUtime=1786.08
/proc/18149/stat : 18149 (java) S 18147 18149 18124 0 -1 4202496 55066 0 1 0 178542 66 0 0 15 0 13 0 10847012 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18149/statm: 384228 49402 1440 10 0 381530 0
[pid=18149/tid=18151] ppid=18147 vsize=1536912 CPUtime=1767.35
/proc/18149/task/18151/stat : 18151 (java) R 18147 18149 18124 0 -1 4202560 36204 0 1 0 176699 36 0 0 25 0 13 0 10847014 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4109066227 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18149/tid=18152] ppid=18147 vsize=1536912 CPUtime=3.27
/proc/18149/task/18152/stat : 18152 (java) S 18147 18149 18124 0 -1 4202560 4046 0 0 0 314 13 0 0 15 0 13 0 10847015 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18153] ppid=18147 vsize=1536912 CPUtime=3.24
/proc/18149/task/18153/stat : 18153 (java) S 18147 18149 18124 0 -1 4202560 3756 0 0 0 315 9 0 0 15 0 13 0 10847015 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18154] ppid=18147 vsize=1536912 CPUtime=9.74
/proc/18149/task/18154/stat : 18154 (java) S 18147 18149 18124 0 -1 4202560 2688 0 0 0 970 4 0 0 16 0 13 0 10847017 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18155] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18155/stat : 18155 (java) S 18147 18149 18124 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 10847017 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18156] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18156/stat : 18156 (java) S 18147 18149 18124 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 10847017 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18157] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18157/stat : 18157 (java) S 18147 18149 18124 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18158] ppid=18147 vsize=1536912 CPUtime=1.57
/proc/18149/task/18158/stat : 18158 (java) S 18147 18149 18124 0 -1 4202560 3337 0 0 0 157 0 0 0 15 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18159] ppid=18147 vsize=1536912 CPUtime=0.85
/proc/18149/task/18159/stat : 18159 (java) S 18147 18149 18124 0 -1 4202560 3865 0 0 0 84 1 0 0 15 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18160] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18160/stat : 18160 (java) S 18147 18149 18124 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18161] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18161/stat : 18161 (java) S 18147 18149 18124 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18162] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18162/stat : 18162 (java) S 18147 18149 18124 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 10847069 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1786.08
Current children cumulated vsize (KiB) 1536912



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.31 s]
/proc/loadavg: 1.00 1.00 0.88 2/119 18217
/proc/meminfo: memFree=1524400/2059040 swapFree=4192952/4192956
[pid=18149] ppid=18147 vsize=1536912 CPUtime=1800.1
/proc/18149/stat : 18149 (java) S 18147 18149 18124 0 -1 4202496 55068 0 1 0 179944 66 0 0 15 0 13 0 10847012 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18149/statm: 384228 49402 1440 10 0 381530 0
[pid=18149/tid=18151] ppid=18147 vsize=1536912 CPUtime=1781.27
/proc/18149/task/18151/stat : 18151 (java) R 18147 18149 18124 0 -1 4202560 36206 0 1 0 178091 36 0 0 25 0 13 0 10847014 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4109123235 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18149/tid=18152] ppid=18147 vsize=1536912 CPUtime=3.28
/proc/18149/task/18152/stat : 18152 (java) S 18147 18149 18124 0 -1 4202560 4046 0 0 0 315 13 0 0 15 0 13 0 10847015 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18153] ppid=18147 vsize=1536912 CPUtime=3.26
/proc/18149/task/18153/stat : 18153 (java) S 18147 18149 18124 0 -1 4202560 3756 0 0 0 317 9 0 0 15 0 13 0 10847015 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18154] ppid=18147 vsize=1536912 CPUtime=9.81
/proc/18149/task/18154/stat : 18154 (java) S 18147 18149 18124 0 -1 4202560 2688 0 0 0 977 4 0 0 15 0 13 0 10847017 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 0 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
[pid=18149/tid=18155] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18155/stat : 18155 (java) S 18147 18149 18124 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 10847017 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18156] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18156/stat : 18156 (java) S 18147 18149 18124 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 10847017 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18157] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18157/stat : 18157 (java) S 18147 18149 18124 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18158] ppid=18147 vsize=1536912 CPUtime=1.57
/proc/18149/task/18158/stat : 18158 (java) S 18147 18149 18124 0 -1 4202560 3337 0 0 0 157 0 0 0 15 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18159] ppid=18147 vsize=1536912 CPUtime=0.85
/proc/18149/task/18159/stat : 18159 (java) S 18147 18149 18124 0 -1 4202560 3865 0 0 0 84 1 0 0 15 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18160] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18160/stat : 18160 (java) S 18147 18149 18124 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18161] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18161/stat : 18161 (java) S 18147 18149 18124 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 13 0 10847022 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 0 0 0 0
[pid=18149/tid=18162] ppid=18147 vsize=1536912 CPUtime=0
/proc/18149/task/18162/stat : 18162 (java) S 18147 18149 18124 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 10847069 1573797888 49402 1992294400 134512640 134550932 4290839376 18446744073709551615 4294960144 0 4 0 16800975 18446604437861906624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1536912

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

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

[startup+1796.42 s]
/proc/loadavg: 1.00 1.00 0.88 2/119 18217
/proc/meminfo: memFree=1524400/2059040 swapFree=4192952/4192956
[pid=18149] ppid=18147 vsize=0 CPUtime=1800.26
/proc/18149/stat : 18149 (java) Z 18147 18149 18124 0 -1 4203548 55092 0 1 0 179958 68 0 0 15 0 2 0 10847012 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18149/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1796.43
CPU time (s): 1800.28
CPU user time (s): 1799.58
CPU system time (s): 0.692894
CPU usage (%): 100.214
Max. virtual memory (cumulated for all children) (KiB): 1542056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.692894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55092
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= 42299
involuntary context switches= 23359

runsolver used 3.68644 second user time and 9.56255 second system time

The end

Launcher Data 

Begin job on node036 at 2010-06-16 15:39:01
IDJOB=2659297
IDBENCH=1160
IDSOLVER=1164
FILE ID=node036/2659297-1276695541
PBS_JOBID= 11174062
Free space on /tmp= 62524 MiB

SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army13.24bt.opb
COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2659297-1276695541/watcher-2659297-1276695541 -o /tmp/evaluation-result-2659297-1276695541/solver-2659297-1276695541 -C 1800 -W 2000 -M 1800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659297-1276695541.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= f8964c43535341fcc69e672675167b77
RANDOM SEED=761292726

node036.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.251
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.251
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1722368 kB
Buffers:         64980 kB
Cached:         130636 kB
SwapCached:          4 kB
Active:         121440 kB
Inactive:       133500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1722368 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:             400 kB
Writeback:           0 kB
AnonPages:       59368 kB
Mapped:          15320 kB
Slab:            59812 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181408 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62524 MiB
End job on node036 at 2010-06-16 16:08:59