Trace number 2658605

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 PB Resolution 2.2.0 2010-05-26SAT (TO)-64 1800.24 1784.11

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_2.opb
MD5SUMe40e55fe30ea19a1cae02f7f820bc9fe
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-65
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -78
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint25
Maximum length of a constraint45
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15670
Sum of products size (including duplicates)31340
Number of different products7835
Sum of products size15670

Quality of the solution as a function of time


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

Solver Data 

0.09/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.09/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.14	c See www.sat4j.org for details.
0.09/0.15	c version 2.2.0.v20100526
0.09/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.09/0.15	c java.vm.version	11.2-b01
0.09/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.15	c sun.arch.data.model	32
0.09/0.15	c java.version		1.6.0_12
0.09/0.15	c os.name		Linux
0.09/0.15	c os.version		2.6.18-164.el5
0.09/0.15	c os.arch		i386
0.09/0.15	c Free memory 		1393557488
0.09/0.15	c Max memory 		1395916800
0.09/0.15	c Total memory 		1395916800
0.09/0.15	c Number of processors 	2
0.24/0.20	c Pseudo Boolean Optimization
0.24/0.20	c --- Begin Solver configuration ---
0.24/0.20	c Stops conflict analysis at the first Unique Implication Point
0.24/0.20	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4
0.24/0.20	c Learn all clauses as in MiniSAT
0.24/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.24/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.24/0.20	c Expensive reason simplification
0.24/0.20	c Armin Biere (Picosat) restarts strategy
0.24/0.20	c Glucose learned constraints deletion strategy
0.24/0.20	c timeout=2147483s
0.24/0.20	c DB Simplification allowed=false
0.24/0.20	c --- End Solver configuration ---
0.24/0.20	c solving HOME/instance-2658605-1276664817.opb
0.24/0.20	c reading problem ... 
25.37/24.07	c ... done. Wall clock time 23.872s.
25.37/24.07	c #vars     8335
25.37/24.07	c #constraints  23505
25.37/24.07	c constraints type 
25.37/24.07	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7835
25.37/24.07	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7835
26.06/24.41	c SATISFIABLE
26.06/24.41	c OPTIMIZING...
26.06/24.41	c Got one! Elapsed wall clock time (in seconds):24.208
26.06/24.41	o -55
27.51/25.23	c Got one! Elapsed wall clock time (in seconds):25.03
27.51/25.23	o -56
28.34/26.06	c Got one! Elapsed wall clock time (in seconds):25.854
28.34/26.06	o -58
28.56/26.27	c Got one! Elapsed wall clock time (in seconds):26.071
28.56/26.27	o -59
29.23/26.76	c cleaning 2495 clauses out of 5001 with flag 5001/5001
29.59/27.09	c Got one! Elapsed wall clock time (in seconds):26.89
29.59/27.09	o -60
31.17/28.54	c cleaning 4253 clauses out of 8505 with flag 11000/11000
33.09/30.49	c cleaning 5626 clauses out of 11253 with flag 18001/18001
35.47/32.71	c cleaning 6809 clauses out of 13627 with flag 26001/26001
38.44/35.61	c cleaning 7900 clauses out of 15817 with flag 35000/35000
41.29/38.43	c cleaning 8959 clauses out of 17918 with flag 45001/45001
44.82/41.92	c cleaning 9979 clauses out of 19958 with flag 56000/56000
48.87/45.95	c cleaning 10986 clauses out of 21979 with flag 68000/68000
51.81/48.83	c Got one! Elapsed wall clock time (in seconds):48.625
51.81/48.83	o -61
53.41/50.43	c cleaning 11992 clauses out of 23993 with flag 81000/81000
57.87/54.90	c cleaning 13001 clauses out of 26001 with flag 95000/95000
63.80/60.75	c cleaning 13995 clauses out of 28001 with flag 110001/110001
69.30/66.15	c cleaning 14992 clauses out of 30005 with flag 126000/126000
75.39/72.16	c cleaning 15500 clauses out of 31014 with flag 142001/142001
81.70/78.32	c cleaning 15752 clauses out of 31513 with flag 158000/158000
89.28/85.82	c cleaning 15881 clauses out of 31761 with flag 174000/174000
89.60/86.14	c Got one! Elapsed wall clock time (in seconds):85.938
89.60/86.14	o -62
94.78/91.26	c cleaning 15936 clauses out of 31880 with flag 190000/190000
100.65/97.05	c cleaning 15971 clauses out of 31944 with flag 206000/206000
107.32/103.63	c cleaning 15984 clauses out of 31973 with flag 222000/222000
113.68/109.95	c cleaning 15987 clauses out of 31989 with flag 238000/238000
121.45/117.69	c cleaning 15993 clauses out of 32002 with flag 254000/254000
127.31/123.42	c cleaning 15999 clauses out of 32009 with flag 270000/270000
133.17/129.21	c cleaning 16001 clauses out of 32011 with flag 286001/286001
139.81/135.87	c cleaning 15997 clauses out of 32009 with flag 302000/302000
147.19/143.16	c cleaning 15996 clauses out of 32012 with flag 318000/318000
156.85/152.74	c cleaning 16009 clauses out of 32018 with flag 334002/334002
167.71/163.55	c cleaning 16003 clauses out of 32009 with flag 350002/350002
176.89/172.64	c cleaning 15996 clauses out of 32004 with flag 366000/366000
183.83/179.50	c cleaning 16005 clauses out of 32009 with flag 382001/382001
190.89/186.55	c cleaning 15999 clauses out of 32004 with flag 398001/398001
196.07/191.63	c cleaning 16003 clauses out of 32005 with flag 414001/414001
203.35/198.87	c cleaning 15997 clauses out of 32002 with flag 430001/430001
205.07/200.54	c Got one! Elapsed wall clock time (in seconds):200.336
205.07/200.54	o -63
210.32/205.79	c cleaning 16002 clauses out of 32004 with flag 446000/446000
217.57/212.94	c cleaning 15997 clauses out of 32002 with flag 462000/462000
226.03/221.30	c cleaning 15998 clauses out of 32005 with flag 478000/478000
232.90/228.15	c cleaning 15999 clauses out of 32007 with flag 494000/494000
240.26/235.50	c cleaning 15989 clauses out of 32008 with flag 510000/510000
248.70/243.89	c cleaning 16006 clauses out of 32020 with flag 526001/526001
255.48/250.54	c cleaning 15999 clauses out of 32013 with flag 542000/542000
261.91/256.92	c cleaning 15989 clauses out of 32014 with flag 558000/558000
268.45/263.42	c cleaning 16000 clauses out of 32025 with flag 574000/574000
276.79/271.78	c cleaning 16008 clauses out of 32025 with flag 590000/590000
281.96/276.87	c cleaning 16004 clauses out of 32018 with flag 606001/606001
287.43/282.27	c cleaning 15997 clauses out of 32013 with flag 622000/622000
293.59/288.32	c cleaning 16001 clauses out of 32017 with flag 638001/638001
299.96/294.66	c cleaning 15994 clauses out of 32015 with flag 654000/654000
307.92/302.53	c cleaning 16000 clauses out of 32022 with flag 670001/670001
314.29/308.88	c cleaning 15995 clauses out of 32022 with flag 686001/686001
321.04/315.51	c cleaning 16002 clauses out of 32027 with flag 702001/702001
328.19/322.67	c cleaning 16007 clauses out of 32025 with flag 718001/718001
335.06/329.46	c cleaning 15999 clauses out of 32018 with flag 734001/734001
342.12/336.47	c cleaning 16005 clauses out of 32018 with flag 750000/750000
350.78/345.09	c cleaning 15996 clauses out of 32014 with flag 766001/766001
357.63/351.85	c cleaning 16001 clauses out of 32017 with flag 782000/782000
364.29/358.43	c cleaning 15994 clauses out of 32017 with flag 798001/798001
371.65/365.76	c cleaning 16004 clauses out of 32022 with flag 814000/814000
375.58/369.63	c Got one! Elapsed wall clock time (in seconds):369.426
375.58/369.63	o -64
378.61/372.66	c cleaning 16002 clauses out of 32018 with flag 830000/830000
388.05/382.06	c cleaning 16009 clauses out of 32017 with flag 846001/846001
398.62/392.55	c cleaning 16001 clauses out of 32009 with flag 862002/862002
412.37/406.20	c cleaning 15998 clauses out of 32006 with flag 878000/878000
426.13/419.99	c cleaning 15997 clauses out of 32008 with flag 894000/894000
434.69/428.41	c cleaning 16004 clauses out of 32011 with flag 910000/910000
445.05/438.74	c cleaning 15998 clauses out of 32008 with flag 926001/926001
450.84/444.49	c cleaning 16001 clauses out of 32009 with flag 942000/942000
457.42/450.92	c cleaning 15996 clauses out of 32009 with flag 958001/958001
463.57/457.00	c cleaning 16000 clauses out of 32012 with flag 974000/974000
469.43/462.81	c cleaning 16002 clauses out of 32012 with flag 990000/990000
476.98/470.38	c cleaning 15992 clauses out of 32012 with flag 1006002/1006002
483.98/477.28	c cleaning 16006 clauses out of 32019 with flag 1022001/1022001
490.85/484.10	c cleaning 15991 clauses out of 32013 with flag 1038001/1038001
498.19/491.32	c cleaning 16004 clauses out of 32022 with flag 1054001/1054001
505.16/498.22	c cleaning 15995 clauses out of 32017 with flag 1070000/1070000
512.31/505.36	c cleaning 16006 clauses out of 32023 with flag 1086001/1086001
518.66/511.62	c cleaning 16001 clauses out of 32016 with flag 1102000/1102000
526.60/519.52	c cleaning 15993 clauses out of 32015 with flag 1118000/1118000
534.77/527.70	c cleaning 16000 clauses out of 32022 with flag 1134000/1134000
544.33/537.19	c cleaning 16009 clauses out of 32023 with flag 1150001/1150001
551.98/544.80	c cleaning 15993 clauses out of 32014 with flag 1166001/1166001
560.43/553.19	c cleaning 16000 clauses out of 32021 with flag 1182001/1182001
567.98/560.67	c cleaning 15999 clauses out of 32020 with flag 1198000/1198000
575.73/568.37	c cleaning 16006 clauses out of 32022 with flag 1214001/1214001
582.60/575.18	c cleaning 15998 clauses out of 32015 with flag 1230000/1230000
590.36/582.80	c cleaning 16001 clauses out of 32017 with flag 1246000/1246000
598.11/590.56	c cleaning 15991 clauses out of 32017 with flag 1262001/1262001
606.95/599.34	c cleaning 16008 clauses out of 32025 with flag 1278000/1278000
616.02/608.34	c cleaning 15991 clauses out of 32019 with flag 1294002/1294002
623.77/616.06	c cleaning 16000 clauses out of 32026 with flag 1310000/1310000
631.11/623.30	c cleaning 15999 clauses out of 32027 with flag 1326001/1326001
638.06/630.24	c cleaning 16001 clauses out of 32027 with flag 1342000/1342000
645.61/637.73	c cleaning 16001 clauses out of 32027 with flag 1358001/1358001
651.76/643.86	c cleaning 16008 clauses out of 32026 with flag 1374001/1374001
657.73/649.79	c cleaning 16005 clauses out of 32017 with flag 1390000/1390000
664.71/656.66	c cleaning 15997 clauses out of 32012 with flag 1406000/1406000
673.26/665.15	c cleaning 16002 clauses out of 32016 with flag 1422001/1422001
679.23/671.01	c cleaning 16002 clauses out of 32014 with flag 1438001/1438001
687.37/679.18	c cleaning 15996 clauses out of 32011 with flag 1454000/1454000
696.54/688.25	c cleaning 15998 clauses out of 32015 with flag 1470000/1470000
705.07/696.76	c cleaning 15999 clauses out of 32017 with flag 1486000/1486000
711.63/703.29	c cleaning 16005 clauses out of 32019 with flag 1502001/1502001
718.30/709.82	c cleaning 15995 clauses out of 32014 with flag 1518001/1518001
726.15/717.61	c cleaning 15997 clauses out of 32018 with flag 1534000/1534000
733.81/725.30	c cleaning 15992 clauses out of 32021 with flag 1550000/1550000
740.97/732.36	c cleaning 16005 clauses out of 32029 with flag 1566000/1566000
749.53/740.87	c cleaning 16001 clauses out of 32024 with flag 1582000/1582000
757.60/748.83	c cleaning 16001 clauses out of 32024 with flag 1598001/1598001
764.94/756.13	c cleaning 15996 clauses out of 32022 with flag 1614000/1614000
772.49/763.61	c cleaning 16002 clauses out of 32027 with flag 1630001/1630001
780.16/771.24	c cleaning 16005 clauses out of 32024 with flag 1646000/1646000
789.02/780.02	c cleaning 16002 clauses out of 32019 with flag 1662000/1662000
796.28/787.25	c cleaning 15989 clauses out of 32017 with flag 1678000/1678000
805.04/795.96	c cleaning 16009 clauses out of 32028 with flag 1694000/1694000
812.19/803.05	c cleaning 15998 clauses out of 32019 with flag 1710000/1710000
820.84/811.65	c cleaning 16003 clauses out of 32021 with flag 1726000/1726000
829.59/820.39	c cleaning 15990 clauses out of 32018 with flag 1742000/1742000
837.14/827.87	c cleaning 16008 clauses out of 32028 with flag 1758000/1758000
846.60/837.29	c cleaning 16006 clauses out of 32020 with flag 1774000/1774000
854.45/845.00	c cleaning 16001 clauses out of 32014 with flag 1790000/1790000
862.81/853.31	c cleaning 16001 clauses out of 32013 with flag 1806000/1806000
870.96/861.49	c cleaning 16001 clauses out of 32012 with flag 1822000/1822000
879.21/869.65	c cleaning 15999 clauses out of 32011 with flag 1838000/1838000
889.46/879.83	c cleaning 16006 clauses out of 32013 with flag 1854001/1854001
898.72/889.04	c cleaning 15996 clauses out of 32006 with flag 1870000/1870000
908.38/898.68	c cleaning 15999 clauses out of 32010 with flag 1886000/1886000
916.44/906.62	c cleaning 16005 clauses out of 32012 with flag 1902001/1902001
925.59/915.78	c cleaning 16003 clauses out of 32007 with flag 1918001/1918001
936.93/927.07	c cleaning 16003 clauses out of 32005 with flag 1934002/1934002
946.31/936.39	c cleaning 15994 clauses out of 32000 with flag 1950000/1950000
957.16/947.18	c cleaning 15988 clauses out of 32006 with flag 1966000/1966000
968.30/958.28	c cleaning 16010 clauses out of 32020 with flag 1982002/1982002
980.45/970.35	c cleaning 16001 clauses out of 32008 with flag 1998000/1998000
988.82/978.68	c cleaning 15993 clauses out of 32007 with flag 2014000/2014000
1001.16/990.93	c cleaning 16006 clauses out of 32015 with flag 2030001/2030001
1006.31/996.07	c cleaning 15998 clauses out of 32008 with flag 2046000/2046000
1012.28/1001.91	c cleaning 15991 clauses out of 32010 with flag 2062000/2062000
1017.97/1007.56	c cleaning 15998 clauses out of 32019 with flag 2078000/2078000
1023.54/1013.09	c cleaning 16001 clauses out of 32021 with flag 2094000/2094000
1031.39/1020.85	c cleaning 15995 clauses out of 32020 with flag 2110000/2110000
1037.34/1026.77	c cleaning 16004 clauses out of 32025 with flag 2126000/2126000
1044.50/1033.88	c cleaning 16001 clauses out of 32021 with flag 2142000/2142000
1052.15/1041.47	c cleaning 16006 clauses out of 32021 with flag 2158001/2158001
1060.21/1049.43	c cleaning 15994 clauses out of 32016 with flag 2174002/2174002
1069.06/1058.24	c cleaning 15999 clauses out of 32020 with flag 2190000/2190000
1076.90/1066.07	c cleaning 15998 clauses out of 32022 with flag 2206001/2206001
1085.25/1074.36	c cleaning 15995 clauses out of 32023 with flag 2222000/2222000
1092.04/1081.08	c cleaning 16006 clauses out of 32028 with flag 2238000/2238000
1100.00/1088.90	c cleaning 16001 clauses out of 32023 with flag 2254001/2254001
1107.33/1096.27	c cleaning 15998 clauses out of 32022 with flag 2270001/2270001
1114.59/1103.46	c cleaning 15998 clauses out of 32023 with flag 2286000/2286000
1122.94/1111.73	c cleaning 16006 clauses out of 32025 with flag 2302000/2302000
1130.29/1119.08	c cleaning 16006 clauses out of 32020 with flag 2318001/2318001
1136.86/1125.55	c cleaning 16002 clauses out of 32013 with flag 2334000/2334000
1145.42/1134.07	c cleaning 16003 clauses out of 32011 with flag 2350000/2350000
1152.09/1140.70	c cleaning 15993 clauses out of 32008 with flag 2366000/2366000
1160.24/1148.74	c cleaning 15999 clauses out of 32015 with flag 2382000/2382000
1169.00/1157.41	c cleaning 15995 clauses out of 32016 with flag 2398000/2398000
1176.05/1164.48	c cleaning 16005 clauses out of 32021 with flag 2414000/2414000
1182.81/1171.20	c cleaning 16000 clauses out of 32016 with flag 2430000/2430000
1189.66/1177.97	c cleaning 15989 clauses out of 32016 with flag 2446000/2446000
1198.51/1186.74	c cleaning 16007 clauses out of 32027 with flag 2462000/2462000
1205.56/1193.73	c cleaning 16001 clauses out of 32021 with flag 2478001/2478001
1212.22/1200.33	c cleaning 16002 clauses out of 32020 with flag 2494001/2494001
1219.49/1207.59	c cleaning 15999 clauses out of 32018 with flag 2510001/2510001
1226.23/1214.25	c cleaning 15997 clauses out of 32018 with flag 2526000/2526000
1233.38/1221.36	c cleaning 16001 clauses out of 32021 with flag 2542000/2542000
1240.74/1228.68	c cleaning 15999 clauses out of 32020 with flag 2558000/2558000
1247.98/1235.84	c cleaning 15996 clauses out of 32021 with flag 2574000/2574000
1255.33/1243.11	c cleaning 16007 clauses out of 32027 with flag 2590002/2590002
1262.28/1250.06	c cleaning 16002 clauses out of 32018 with flag 2606000/2606000
1269.73/1257.43	c cleaning 15994 clauses out of 32017 with flag 2622001/2622001
1277.57/1265.28	c cleaning 16004 clauses out of 32022 with flag 2638000/2638000
1284.74/1272.35	c cleaning 16000 clauses out of 32018 with flag 2654000/2654000
1292.69/1280.21	c cleaning 15995 clauses out of 32018 with flag 2670000/2670000
1299.83/1287.36	c cleaning 16001 clauses out of 32023 with flag 2686000/2686000
1305.88/1293.38	c cleaning 15999 clauses out of 32023 with flag 2702001/2702001
1314.13/1301.50	c cleaning 16004 clauses out of 32024 with flag 2718001/2718001
1321.28/1308.64	c cleaning 16002 clauses out of 32019 with flag 2734000/2734000
1327.73/1315.08	c cleaning 15988 clauses out of 32017 with flag 2750000/2750000
1334.58/1321.81	c cleaning 16007 clauses out of 32029 with flag 2766000/2766000
1341.93/1329.13	c cleaning 16002 clauses out of 32023 with flag 2782001/2782001
1350.87/1338.02	c cleaning 16004 clauses out of 32022 with flag 2798002/2798002
1357.83/1344.93	c cleaning 15993 clauses out of 32016 with flag 2814000/2814000
1365.68/1352.78	c cleaning 16006 clauses out of 32023 with flag 2830000/2830000
1374.74/1361.77	c cleaning 15997 clauses out of 32018 with flag 2846001/2846001
1381.39/1368.35	c cleaning 15993 clauses out of 32021 with flag 2862001/2862001
1389.12/1376.07	c cleaning 16005 clauses out of 32027 with flag 2878000/2878000
1398.07/1384.97	c cleaning 15995 clauses out of 32022 with flag 2894000/2894000
1404.41/1391.27	c cleaning 16012 clauses out of 32027 with flag 2910000/2910000
1411.57/1398.32	c cleaning 15999 clauses out of 32015 with flag 2926000/2926000
1419.33/1406.03	c cleaning 15994 clauses out of 32016 with flag 2942000/2942000
1427.47/1414.15	c cleaning 15993 clauses out of 32022 with flag 2958000/2958000
1434.91/1421.59	c cleaning 16011 clauses out of 32029 with flag 2974000/2974000
1442.06/1428.66	c cleaning 16002 clauses out of 32019 with flag 2990001/2990001
1449.92/1436.43	c cleaning 15997 clauses out of 32016 with flag 3006000/3006000
1458.17/1444.64	c cleaning 16006 clauses out of 32019 with flag 3022000/3022000
1464.15/1450.50	c cleaning 16002 clauses out of 32013 with flag 3038000/3038000
1469.62/1455.97	c cleaning 15997 clauses out of 32011 with flag 3054000/3054000
1476.59/1462.84	c cleaning 16004 clauses out of 32014 with flag 3070000/3070000
1483.95/1470.12	c cleaning 15996 clauses out of 32010 with flag 3086000/3086000
1492.83/1478.91	c cleaning 15995 clauses out of 32014 with flag 3102000/3102000
1499.78/1485.87	c cleaning 15995 clauses out of 32019 with flag 3118000/3118000
1506.55/1492.59	c cleaning 16001 clauses out of 32024 with flag 3134000/3134000
1514.40/1500.37	c cleaning 16004 clauses out of 32024 with flag 3150001/3150001
1520.17/1506.04	c cleaning 16000 clauses out of 32020 with flag 3166001/3166001
1529.11/1514.94	c cleaning 16005 clauses out of 32020 with flag 3182001/3182001
1536.69/1522.48	c cleaning 15998 clauses out of 32014 with flag 3198000/3198000
1545.84/1531.53	c cleaning 15996 clauses out of 32016 with flag 3214000/3214000
1552.50/1538.10	c cleaning 16005 clauses out of 32020 with flag 3230000/3230000
1559.86/1545.50	c cleaning 15997 clauses out of 32015 with flag 3246000/3246000
1567.71/1553.21	c cleaning 16000 clauses out of 32019 with flag 3262001/3262001
1574.55/1560.08	c cleaning 16000 clauses out of 32018 with flag 3278000/3278000
1582.59/1568.08	c cleaning 16007 clauses out of 32020 with flag 3294002/3294002
1589.85/1575.28	c cleaning 15995 clauses out of 32011 with flag 3310000/3310000
1596.71/1582.09	c cleaning 15998 clauses out of 32016 with flag 3326000/3326000
1605.16/1590.41	c cleaning 16002 clauses out of 32018 with flag 3342000/3342000
1612.33/1597.55	c cleaning 15999 clauses out of 32016 with flag 3358000/3358000
1621.28/1606.47	c cleaning 15994 clauses out of 32018 with flag 3374001/3374001
1629.73/1614.81	c cleaning 16003 clauses out of 32023 with flag 3390000/3390000
1638.18/1623.22	c cleaning 15997 clauses out of 32020 with flag 3406000/3406000
1645.53/1630.54	c cleaning 16003 clauses out of 32024 with flag 3422001/3422001
1653.38/1638.35	c cleaning 15997 clauses out of 32020 with flag 3438000/3438000
1660.74/1645.63	c cleaning 16006 clauses out of 32024 with flag 3454001/3454001
1668.59/1653.40	c cleaning 15995 clauses out of 32018 with flag 3470001/3470001
1676.96/1661.75	c cleaning 15995 clauses out of 32022 with flag 3486000/3486000
1685.30/1670.02	c cleaning 16007 clauses out of 32028 with flag 3502001/3502001
1691.55/1676.26	c cleaning 16000 clauses out of 32021 with flag 3518001/3518001
1699.80/1684.49	c cleaning 15988 clauses out of 32021 with flag 3534001/3534001
1705.86/1690.47	c cleaning 16013 clauses out of 32032 with flag 3550000/3550000
1714.92/1699.49	c cleaning 15987 clauses out of 32019 with flag 3566000/3566000
1721.36/1705.86	c cleaning 16008 clauses out of 32034 with flag 3582002/3582002
1730.01/1714.41	c cleaning 15998 clauses out of 32025 with flag 3598001/3598001
1738.16/1722.51	c cleaning 16008 clauses out of 32027 with flag 3614001/3614001
1746.41/1730.76	c cleaning 15998 clauses out of 32020 with flag 3630002/3630002
1753.36/1737.60	c cleaning 15998 clauses out of 32022 with flag 3646002/3646002
1760.61/1744.85	c cleaning 16000 clauses out of 32022 with flag 3662000/3662000
1768.27/1752.42	c cleaning 15996 clauses out of 32023 with flag 3678001/3678001
1775.42/1759.50	c cleaning 16000 clauses out of 32026 with flag 3694000/3694000
1783.98/1768.07	c cleaning 15998 clauses out of 32027 with flag 3710001/3710001
1791.43/1775.46	c cleaning 16010 clauses out of 32028 with flag 3726000/3726000
1799.18/1783.18	c cleaning 16000 clauses out of 32018 with flag 3742000/3742000
1800.09/1784.01	c starts		: 261
1800.09/1784.01	c conflicts		: 3744663
1800.09/1784.01	c decisions		: 4253106
1800.09/1784.01	c propagations		: 21651300
1800.09/1784.01	c inspects		: 1833493677
1800.09/1784.01	c learnt literals	: 0
1800.09/1784.01	c learnt binary clauses	: 0
1800.09/1784.01	c learnt ternary clauses	: 0
1800.09/1784.01	c learnt clauses	: 3744663
1800.09/1784.01	c ignored clauses	: 0
1800.09/1784.01	c root simplifications	: 0
1800.09/1784.01	c removed literals (reason simplification)	: 42373715
1800.09/1784.01	c reason swapping (by a shorter reason)	: 0
1800.09/1784.01	c Calls to reduceDB	: 238
1800.09/1784.01	c number of reductions to clauses (during analyze)	: 0
1800.09/1784.01	c number of learned constraints concerned by reduction	: 0
1800.09/1784.01	c number of learning phase by resolution	: 0
1800.09/1784.01	c number of learning phase by cutting planes	: 0
1800.09/1784.01	c speed (assignments/second)	: 15307.925352715138
1800.09/1784.01	c non guided choices	0
1800.09/1784.04	c learnt constraints type 
1800.09/1784.04	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 18722
1800.09/1784.04	c constraints type 
1800.09/1784.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7835
1800.09/1784.04	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.09/1784.04	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7835
1800.09/1784.04	s SATISFIABLE
1800.09/1784.04	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 x217 x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 x355 x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 x370 -x371 -x372 x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 x425 x426 x427 x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 x436 x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 x493 -x494 x495 -x496 x497 -x498 x499 x500 
1800.09/1784.04	c objective function=-64
1800.09/1784.04	c Total wall clock time (in seconds): 1783.84

Verifier Data 

OK	-64

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2658605-1276664817/watcher-2658605-1276664817 -o /tmp/evaluation-result-2658605-1276664817/solver-2658605-1276664817 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658605-1276664817.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: 1.03 1.01 1.06 3/105 13890
/proc/meminfo: memFree=1770280/2059040 swapFree=4192956/4192956
[pid=13890] ppid=13888 vsize=1832 CPUtime=0
/proc/13890/stat : 13890 (java) R 13888 13890 12710 0 -1 4194304 381 0 0 0 0 0 0 0 25 0 1 0 7775794 1875968 113 1992294400 134512640 134550932 4288243328 18446744073709551615 3595552 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13890/statm: 458 118 90 10 0 63 0

[startup+0.0790049 s]
/proc/loadavg: 1.03 1.01 1.06 3/105 13890
/proc/meminfo: memFree=1770280/2059040 swapFree=4192956/4192956
[pid=13890] ppid=13888 vsize=1521796 CPUtime=0.06
/proc/13890/stat : 13890 (java) S 13888 13890 12710 0 -1 4202496 3783 0 1 0 5 1 0 0 25 0 7 0 7775794 1558319104 3224 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/13890/statm: 380449 3224 1040 10 0 377759 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1521796

[startup+0.103995 s]
/proc/loadavg: 1.03 1.01 1.06 3/105 13890
/proc/meminfo: memFree=1770280/2059040 swapFree=4192956/4192956
[pid=13890] ppid=13888 vsize=1524184 CPUtime=0.09
/proc/13890/stat : 13890 (java) S 13888 13890 12710 0 -1 4202496 3999 0 1 0 7 2 0 0 25 0 12 0 7775794 1560764416 3438 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13890/statm: 381046 3438 1078 10 0 378348 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1524184

[startup+0.301014 s]
/proc/loadavg: 1.03 1.01 1.06 3/105 13890
/proc/meminfo: memFree=1770280/2059040 swapFree=4192956/4192956
[pid=13890] ppid=13888 vsize=1526224 CPUtime=0.36
/proc/13890/stat : 13890 (java) S 13888 13890 12710 0 -1 4202496 5309 0 1 0 33 3 0 0 25 0 12 0 7775794 1562853376 4746 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13890/statm: 381556 4746 1362 10 0 378858 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 1526224

[startup+0.70106 s]
/proc/loadavg: 1.03 1.01 1.06 3/105 13890
/proc/meminfo: memFree=1770280/2059040 swapFree=4192956/4192956
[pid=13890] ppid=13888 vsize=1529024 CPUtime=0.95
/proc/13890/stat : 13890 (java) S 13888 13890 12710 0 -1 4202496 6739 0 1 0 92 3 0 0 25 0 12 0 7775794 1565720576 6176 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13890/statm: 382256 6176 1396 10 0 379558 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 1529024

[startup+1.50113 s]
/proc/loadavg: 1.03 1.01 1.06 2/117 13902
/proc/meminfo: memFree=1748176/2059040 swapFree=4192956/4192956
[pid=13890] ppid=13888 vsize=1529080 CPUtime=2.03
/proc/13890/stat : 13890 (java) S 13888 13890 12710 0 -1 4202496 7881 0 1 0 199 4 0 0 25 0 12 0 7775794 1565777920 7029 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13890/statm: 382270 7029 1407 10 0 379572 0
[pid=13890/tid=13892] ppid=13888 vsize=1529080 CPUtime=1.36
/proc/13890/task/13892/stat : 13892 (java) R 13888 13890 12710 0 -1 4202560 5188 0 1 0 134 2 0 0 25 0 12 0 7775795 1565777920 7029 1992294400 134512640 134550932 4288243328 18446744073709551615 4109740289 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13890/tid=13893] ppid=13888 vsize=1529080 CPUtime=0
/proc/13890/task/13893/stat : 13893 (java) S 13888 13890 12710 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 12 0 7775796 1565777920 7029 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13894] ppid=13888 vsize=1529080 CPUtime=0
/proc/13890/task/13894/stat : 13894 (java) S 13888 13890 12710 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 12 0 7775797 1565777920 7029 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13895] ppid=13888 vsize=1529080 CPUtime=0
/proc/13890/task/13895/stat : 13895 (java) S 13888 13890 12710 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 7775798 1565777920 7029 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13896] ppid=13888 vsize=1529080 CPUtime=0
/proc/13890/task/13896/stat : 13896 (java) S 13888 13890 12710 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 12 0 7775799 1565777920 7029 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13897] ppid=13888 vsize=1529080 CPUtime=0
/proc/13890/task/13897/stat : 13897 (java) S 13888 13890 12710 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 12 0 7775799 1565777920 7029 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13898] ppid=13888 vsize=1529080 CPUtime=0
/proc/13890/task/13898/stat : 13898 (java) S 13888 13890 12710 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 7775803 1565777920 7029 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13899] ppid=13888 vsize=1529080 CPUtime=0.41
/proc/13890/task/13899/stat : 13899 (java) S 13888 13890 12710 0 -1 4202560 943 0 0 0 41 0 0 0 21 0 12 0 7775803 1565777920 7029 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13900] ppid=13888 vsize=1529080 CPUtime=0.23
/proc/13890/task/13900/stat : 13900 (java) S 13888 13890 12710 0 -1 4202560 685 0 0 0 23 0 0 0 15 0 12 0 7775803 1565777920 7029 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13901] ppid=13888 vsize=1529080 CPUtime=0
/proc/13890/task/13901/stat : 13901 (java) S 13888 13890 12710 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 7775803 1565777920 7029 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13902] ppid=13888 vsize=1529080 CPUtime=0
/proc/13890/task/13902/stat : 13902 (java) S 13888 13890 12710 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 7775803 1565777920 7029 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 1529080

[startup+3.1013 s]
/proc/loadavg: 1.02 1.01 1.06 2/117 13902
/proc/meminfo: memFree=1745572/2059040 swapFree=4192956/4192956
[pid=13890] ppid=13888 vsize=1529080 CPUtime=3.66
/proc/13890/stat : 13890 (java) S 13888 13890 12710 0 -1 4202496 8559 0 1 0 362 4 0 0 25 0 12 0 7775794 1565777920 7684 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13890/statm: 382270 7684 1407 10 0 379572 0
[pid=13890/tid=13892] ppid=13888 vsize=1529080 CPUtime=2.96
/proc/13890/task/13892/stat : 13892 (java) R 13888 13890 12710 0 -1 4202560 5820 0 1 0 293 3 0 0 25 0 12 0 7775795 1565777920 7684 1992294400 134512640 134550932 4288243328 18446744073709551615 4109740617 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13890/tid=13893] ppid=13888 vsize=1529080 CPUtime=0
/proc/13890/task/13893/stat : 13893 (java) S 13888 13890 12710 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 12 0 7775796 1565777920 7684 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13894] ppid=13888 vsize=1529080 CPUtime=0
/proc/13890/task/13894/stat : 13894 (java) S 13888 13890 12710 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 12 0 7775797 1565777920 7684 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13895] ppid=13888 vsize=1529080 CPUtime=0
/proc/13890/task/13895/stat : 13895 (java) S 13888 13890 12710 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 7775798 1565777920 7684 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13896] ppid=13888 vsize=1529080 CPUtime=0
/proc/13890/task/13896/stat : 13896 (java) S 13888 13890 12710 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 12 0 7775799 1565777920 7684 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13897] ppid=13888 vsize=1529080 CPUtime=0
/proc/13890/task/13897/stat : 13897 (java) S 13888 13890 12710 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 12 0 7775799 1565777920 7684 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13898] ppid=13888 vsize=1529080 CPUtime=0
/proc/13890/task/13898/stat : 13898 (java) S 13888 13890 12710 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 7775803 1565777920 7684 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13899] ppid=13888 vsize=1529080 CPUtime=0.43
/proc/13890/task/13899/stat : 13899 (java) S 13888 13890 12710 0 -1 4202560 943 0 0 0 43 0 0 0 15 0 12 0 7775803 1565777920 7684 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13900] ppid=13888 vsize=1529080 CPUtime=0.25
/proc/13890/task/13900/stat : 13900 (java) S 13888 13890 12710 0 -1 4202560 731 0 0 0 25 0 0 0 15 0 12 0 7775803 1565777920 7684 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13901] ppid=13888 vsize=1529080 CPUtime=0
/proc/13890/task/13901/stat : 13901 (java) S 13888 13890 12710 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 7775803 1565777920 7684 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13902] ppid=13888 vsize=1529080 CPUtime=0
/proc/13890/task/13902/stat : 13902 (java) S 13888 13890 12710 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 7775803 1565777920 7684 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 1529080

[startup+6.30164 s]
/proc/loadavg: 1.02 1.01 1.06 2/117 13902
/proc/meminfo: memFree=1735528/2059040 swapFree=4192956/4192956
[pid=13890] ppid=13888 vsize=1534200 CPUtime=7.54
/proc/13890/stat : 13890 (java) S 13888 13890 12710 0 -1 4202496 14188 0 1 0 747 7 0 0 25 0 12 0 7775794 1571020800 9803 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13890/statm: 383550 9803 1409 10 0 380852 0
[pid=13890/tid=13892] ppid=13888 vsize=1534200 CPUtime=6.16
/proc/13890/task/13892/stat : 13892 (java) R 13888 13890 12710 0 -1 4202560 6495 0 1 0 613 3 0 0 25 0 12 0 7775795 1571020800 9803 1992294400 134512640 134550932 4288243328 18446744073709551615 4109740289 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13890/tid=13893] ppid=13888 vsize=1534200 CPUtime=0
/proc/13890/task/13893/stat : 13893 (java) S 13888 13890 12710 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 12 0 7775796 1571020800 9803 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13894] ppid=13888 vsize=1534200 CPUtime=0
/proc/13890/task/13894/stat : 13894 (java) S 13888 13890 12710 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 12 0 7775797 1571020800 9803 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13895] ppid=13888 vsize=1534200 CPUtime=0
/proc/13890/task/13895/stat : 13895 (java) S 13888 13890 12710 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 7775798 1571020800 9803 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13896] ppid=13888 vsize=1534200 CPUtime=0
/proc/13890/task/13896/stat : 13896 (java) S 13888 13890 12710 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 12 0 7775799 1571020800 9803 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13897] ppid=13888 vsize=1534200 CPUtime=0
/proc/13890/task/13897/stat : 13897 (java) S 13888 13890 12710 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 12 0 7775799 1571020800 9803 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13898] ppid=13888 vsize=1534200 CPUtime=0
/proc/13890/task/13898/stat : 13898 (java) S 13888 13890 12710 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 7775803 1571020800 9803 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13899] ppid=13888 vsize=1534200 CPUtime=0.44
/proc/13890/task/13899/stat : 13899 (java) S 13888 13890 12710 0 -1 4202560 944 0 0 0 44 0 0 0 15 0 12 0 7775803 1571020800 9803 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13900] ppid=13888 vsize=1534200 CPUtime=0.91
/proc/13890/task/13900/stat : 13900 (java) S 13888 13890 12710 0 -1 4202560 5684 0 0 0 89 2 0 0 15 0 12 0 7775803 1571020800 9803 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13901] ppid=13888 vsize=1534200 CPUtime=0
/proc/13890/task/13901/stat : 13901 (java) S 13888 13890 12710 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 7775803 1571020800 9803 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13902] ppid=13888 vsize=1534200 CPUtime=0
/proc/13890/task/13902/stat : 13902 (java) S 13888 13890 12710 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 7775803 1571020800 9803 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.54
Current children cumulated vsize (KiB) 1534200

[startup+12.7013 s]
/proc/loadavg: 1.02 1.01 1.06 2/117 13902
/proc/meminfo: memFree=1731932/2059040 swapFree=4192956/4192956
[pid=13890] ppid=13888 vsize=1534200 CPUtime=13.96
/proc/13890/stat : 13890 (java) S 13888 13890 12710 0 -1 4202496 15212 0 1 0 1388 8 0 0 25 0 12 0 7775794 1571020800 10814 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13890/statm: 383550 10814 1409 10 0 380852 0
[pid=13890/tid=13892] ppid=13888 vsize=1534200 CPUtime=12.55
/proc/13890/task/13892/stat : 13892 (java) R 13888 13890 12710 0 -1 4202560 7519 0 1 0 1251 4 0 0 25 0 12 0 7775795 1571020800 10814 1992294400 134512640 134550932 4288243328 18446744073709551615 4109740617 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13890/tid=13893] ppid=13888 vsize=1534200 CPUtime=0
/proc/13890/task/13893/stat : 13893 (java) S 13888 13890 12710 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 12 0 7775796 1571020800 10814 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13894] ppid=13888 vsize=1534200 CPUtime=0
/proc/13890/task/13894/stat : 13894 (java) S 13888 13890 12710 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 12 0 7775797 1571020800 10814 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13895] ppid=13888 vsize=1534200 CPUtime=0
/proc/13890/task/13895/stat : 13895 (java) S 13888 13890 12710 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 7775798 1571020800 10814 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13896] ppid=13888 vsize=1534200 CPUtime=0
/proc/13890/task/13896/stat : 13896 (java) S 13888 13890 12710 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 12 0 7775799 1571020800 10814 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13897] ppid=13888 vsize=1534200 CPUtime=0
/proc/13890/task/13897/stat : 13897 (java) S 13888 13890 12710 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 12 0 7775799 1571020800 10814 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13898] ppid=13888 vsize=1534200 CPUtime=0
/proc/13890/task/13898/stat : 13898 (java) S 13888 13890 12710 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 7775803 1571020800 10814 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13899] ppid=13888 vsize=1534200 CPUtime=0.45
/proc/13890/task/13899/stat : 13899 (java) S 13888 13890 12710 0 -1 4202560 944 0 0 0 45 0 0 0 15 0 12 0 7775803 1571020800 10814 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13900] ppid=13888 vsize=1534200 CPUtime=0.93
/proc/13890/task/13900/stat : 13900 (java) S 13888 13890 12710 0 -1 4202560 5684 0 0 0 91 2 0 0 15 0 12 0 7775803 1571020800 10814 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13901] ppid=13888 vsize=1534200 CPUtime=0
/proc/13890/task/13901/stat : 13901 (java) S 13888 13890 12710 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 7775803 1571020800 10814 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13902] ppid=13888 vsize=1534200 CPUtime=0
/proc/13890/task/13902/stat : 13902 (java) S 13888 13890 12710 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 7775803 1571020800 10814 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.96
Current children cumulated vsize (KiB) 1534200

[startup+25.5017 s]
/proc/loadavg: 1.02 1.01 1.06 4/118 13905
/proc/meminfo: memFree=1698568/2059040 swapFree=4192956/4192956
[pid=13890] ppid=13888 vsize=1533764 CPUtime=27.82
/proc/13890/stat : 13890 (java) S 13888 13890 12710 0 -1 4202496 29837 0 1 0 2768 14 0 0 25 0 13 0 7775794 1570574336 23130 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13890/statm: 383441 23130 1426 10 0 380743 0
[pid=13890/tid=13892] ppid=13888 vsize=1533764 CPUtime=25.31
/proc/13890/task/13892/stat : 13892 (java) R 13888 13890 12710 0 -1 4202560 20183 0 1 0 2521 10 0 0 25 0 13 0 7775795 1570574336 23131 1992294400 134512640 134550932 4288243328 18446744073709551615 4109940784 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13890/tid=13893] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13893/stat : 13893 (java) S 13888 13890 12710 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 13 0 7775796 1570574336 23131 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13894] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13894/stat : 13894 (java) S 13888 13890 12710 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 13 0 7775797 1570574336 23132 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13895] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13895/stat : 13895 (java) S 13888 13890 12710 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 13 0 7775798 1570574336 23132 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13896] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13896/stat : 13896 (java) S 13888 13890 12710 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 13 0 7775799 1570574336 23132 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13897] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13897/stat : 13897 (java) S 13888 13890 12710 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 13 0 7775799 1570574336 23133 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13898] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13898/stat : 13898 (java) S 13888 13890 12710 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 7775803 1570574336 23133 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13899] ppid=13888 vsize=1533764 CPUtime=1.02

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

[pid=13890] ppid=13888 vsize=1533764 CPUtime=1617.15
/proc/13890/stat : 13890 (java) S 13888 13890 12710 0 -1 4202496 86312 0 1 0 161634 81 0 0 25 0 13 0 7775794 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13890/statm: 383441 71424 1445 10 0 380743 0
[pid=13890/tid=13892] ppid=13888 vsize=1533764 CPUtime=1564.46
/proc/13890/task/13892/stat : 13892 (java) R 13888 13890 12710 0 -1 4202560 32684 0 1 0 156426 20 0 0 25 0 13 0 7775795 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4110128849 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13890/tid=13893] ppid=13888 vsize=1533764 CPUtime=13.99
/proc/13890/task/13893/stat : 13893 (java) S 13888 13890 12710 0 -1 4202560 16524 0 0 0 1375 24 0 0 15 0 13 0 7775796 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13894] ppid=13888 vsize=1533764 CPUtime=13.93
/proc/13890/task/13894/stat : 13894 (java) S 13888 13890 12710 0 -1 4202560 17399 0 0 0 1369 24 0 0 16 0 13 0 7775797 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13895] ppid=13888 vsize=1533764 CPUtime=21.61
/proc/13890/task/13895/stat : 13895 (java) S 13888 13890 12710 0 -1 4202560 9898 0 0 0 2155 6 0 0 15 0 13 0 7775798 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13896] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13896/stat : 13896 (java) S 13888 13890 12710 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 7775799 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13897] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13897/stat : 13897 (java) S 13888 13890 12710 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 7775799 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13898] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13898/stat : 13898 (java) S 13888 13890 12710 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13899] ppid=13888 vsize=1533764 CPUtime=1.14
/proc/13890/task/13899/stat : 13899 (java) S 13888 13890 12710 0 -1 4202560 1230 0 0 0 114 0 0 0 16 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13900] ppid=13888 vsize=1533764 CPUtime=1.94
/proc/13890/task/13900/stat : 13900 (java) S 13888 13890 12710 0 -1 4202560 7418 0 0 0 192 2 0 0 15 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13901] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13901/stat : 13901 (java) S 13888 13890 12710 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13902] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13902/stat : 13902 (java) S 13888 13890 12710 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13905] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13905/stat : 13905 (java) S 13888 13890 12710 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 13 0 7778208 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1617.15
Current children cumulated vsize (KiB) 1533764

[startup+1662.3 s]
/proc/loadavg: 1.08 1.02 1.00 2/118 13950
/proc/meminfo: memFree=1485032/2059040 swapFree=4192956/4192956
[pid=13890] ppid=13888 vsize=1533764 CPUtime=1677.56
/proc/13890/stat : 13890 (java) S 13888 13890 12710 0 -1 4202496 86343 0 1 0 167674 82 0 0 25 0 13 0 7775794 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13890/statm: 383441 71424 1445 10 0 380743 0
[pid=13890/tid=13892] ppid=13888 vsize=1533764 CPUtime=1623.05
/proc/13890/task/13892/stat : 13892 (java) R 13888 13890 12710 0 -1 4202560 32707 0 1 0 162285 20 0 0 25 0 13 0 7775795 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4110198817 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13890/tid=13893] ppid=13888 vsize=1533764 CPUtime=14.48
/proc/13890/task/13893/stat : 13893 (java) S 13888 13890 12710 0 -1 4202560 16524 0 0 0 1423 25 0 0 15 0 13 0 7775796 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13894] ppid=13888 vsize=1533764 CPUtime=14.42
/proc/13890/task/13894/stat : 13894 (java) S 13888 13890 12710 0 -1 4202560 17399 0 0 0 1418 24 0 0 16 0 13 0 7775797 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13895] ppid=13888 vsize=1533764 CPUtime=22.45
/proc/13890/task/13895/stat : 13895 (java) S 13888 13890 12710 0 -1 4202560 9902 0 0 0 2239 6 0 0 16 0 13 0 7775798 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13896] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13896/stat : 13896 (java) S 13888 13890 12710 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 7775799 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13897] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13897/stat : 13897 (java) S 13888 13890 12710 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 7775799 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13898] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13898/stat : 13898 (java) S 13888 13890 12710 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13899] ppid=13888 vsize=1533764 CPUtime=1.14
/proc/13890/task/13899/stat : 13899 (java) S 13888 13890 12710 0 -1 4202560 1230 0 0 0 114 0 0 0 16 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13900] ppid=13888 vsize=1533764 CPUtime=1.94
/proc/13890/task/13900/stat : 13900 (java) S 13888 13890 12710 0 -1 4202560 7418 0 0 0 192 2 0 0 15 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13901] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13901/stat : 13901 (java) S 13888 13890 12710 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13902] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13902/stat : 13902 (java) S 13888 13890 12710 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13905] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13905/stat : 13905 (java) S 13888 13890 12710 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 13 0 7778208 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1677.56
Current children cumulated vsize (KiB) 1533764

[startup+1722.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/118 13952
/proc/meminfo: memFree=1485032/2059040 swapFree=4192956/4192956
[pid=13890] ppid=13888 vsize=1533764 CPUtime=1737.96
/proc/13890/stat : 13890 (java) S 13888 13890 12710 0 -1 4202496 86374 0 1 0 173712 84 0 0 25 0 13 0 7775794 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13890/statm: 383441 71424 1445 10 0 380743 0
[pid=13890/tid=13892] ppid=13888 vsize=1533764 CPUtime=1681.78
/proc/13890/task/13892/stat : 13892 (java) R 13888 13890 12710 0 -1 4202560 32730 0 1 0 168157 21 0 0 25 0 13 0 7775795 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4110397342 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13890/tid=13893] ppid=13888 vsize=1533764 CPUtime=14.92
/proc/13890/task/13893/stat : 13893 (java) S 13888 13890 12710 0 -1 4202560 16524 0 0 0 1467 25 0 0 16 0 13 0 7775796 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13894] ppid=13888 vsize=1533764 CPUtime=14.9
/proc/13890/task/13894/stat : 13894 (java) S 13888 13890 12710 0 -1 4202560 17399 0 0 0 1465 25 0 0 16 0 13 0 7775797 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13895] ppid=13888 vsize=1533764 CPUtime=23.2
/proc/13890/task/13895/stat : 13895 (java) S 13888 13890 12710 0 -1 4202560 9906 0 0 0 2314 6 0 0 15 0 13 0 7775798 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13896] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13896/stat : 13896 (java) S 13888 13890 12710 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 7775799 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13897] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13897/stat : 13897 (java) S 13888 13890 12710 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 7775799 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13898] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13898/stat : 13898 (java) S 13888 13890 12710 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13899] ppid=13888 vsize=1533764 CPUtime=1.14
/proc/13890/task/13899/stat : 13899 (java) S 13888 13890 12710 0 -1 4202560 1230 0 0 0 114 0 0 0 16 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13900] ppid=13888 vsize=1533764 CPUtime=1.94
/proc/13890/task/13900/stat : 13900 (java) S 13888 13890 12710 0 -1 4202560 7418 0 0 0 192 2 0 0 15 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13901] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13901/stat : 13901 (java) S 13888 13890 12710 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13902] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13902/stat : 13902 (java) S 13888 13890 12710 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13905] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13905/stat : 13905 (java) S 13888 13890 12710 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 13 0 7778208 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1737.96
Current children cumulated vsize (KiB) 1533764

[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/118 13954
/proc/meminfo: memFree=1484908/2059040 swapFree=4192956/4192956
[pid=13890] ppid=13888 vsize=1533764 CPUtime=1798.38
/proc/13890/stat : 13890 (java) S 13888 13890 12710 0 -1 4202496 86406 0 1 0 179752 86 0 0 25 0 13 0 7775794 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13890/statm: 383441 71424 1445 10 0 380743 0
[pid=13890/tid=13892] ppid=13888 vsize=1533764 CPUtime=1740.34
/proc/13890/task/13892/stat : 13892 (java) R 13888 13890 12710 0 -1 4202560 32754 0 1 0 174013 21 0 0 25 0 13 0 7775795 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4110388669 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13890/tid=13893] ppid=13888 vsize=1533764 CPUtime=15.42
/proc/13890/task/13893/stat : 13893 (java) S 13888 13890 12710 0 -1 4202560 16524 0 0 0 1516 26 0 0 15 0 13 0 7775796 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13894] ppid=13888 vsize=1533764 CPUtime=15.41
/proc/13890/task/13894/stat : 13894 (java) S 13888 13890 12710 0 -1 4202560 17399 0 0 0 1515 26 0 0 16 0 13 0 7775797 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13895] ppid=13888 vsize=1533764 CPUtime=24.05
/proc/13890/task/13895/stat : 13895 (java) S 13888 13890 12710 0 -1 4202560 9910 0 0 0 2398 7 0 0 15 0 13 0 7775798 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13896] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13896/stat : 13896 (java) S 13888 13890 12710 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 7775799 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13897] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13897/stat : 13897 (java) S 13888 13890 12710 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 7775799 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13898] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13898/stat : 13898 (java) S 13888 13890 12710 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13899] ppid=13888 vsize=1533764 CPUtime=1.14
/proc/13890/task/13899/stat : 13899 (java) S 13888 13890 12710 0 -1 4202560 1230 0 0 0 114 0 0 0 16 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13900] ppid=13888 vsize=1533764 CPUtime=1.94
/proc/13890/task/13900/stat : 13900 (java) S 13888 13890 12710 0 -1 4202560 7418 0 0 0 192 2 0 0 15 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13901] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13901/stat : 13901 (java) S 13888 13890 12710 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13902] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13902/stat : 13902 (java) S 13888 13890 12710 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13905] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13905/stat : 13905 (java) S 13888 13890 12710 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 13 0 7778208 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1798.38
Current children cumulated vsize (KiB) 1533764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784 s]
/proc/loadavg: 1.01 1.01 1.00 2/118 13954
/proc/meminfo: memFree=1484908/2059040 swapFree=4192956/4192956
[pid=13890] ppid=13888 vsize=1533764 CPUtime=1800.09
/proc/13890/stat : 13890 (java) S 13888 13890 12710 0 -1 4202496 86407 0 1 0 179923 86 0 0 25 0 13 0 7775794 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13890/statm: 383441 71424 1445 10 0 380743 0
[pid=13890/tid=13892] ppid=13888 vsize=1533764 CPUtime=1741.95
/proc/13890/task/13892/stat : 13892 (java) R 13888 13890 12710 0 -1 4202560 32755 0 1 0 174174 21 0 0 25 0 13 0 7775795 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4110262042 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13890/tid=13893] ppid=13888 vsize=1533764 CPUtime=15.43
/proc/13890/task/13893/stat : 13893 (java) S 13888 13890 12710 0 -1 4202560 16524 0 0 0 1517 26 0 0 15 0 13 0 7775796 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13894] ppid=13888 vsize=1533764 CPUtime=15.41
/proc/13890/task/13894/stat : 13894 (java) S 13888 13890 12710 0 -1 4202560 17399 0 0 0 1515 26 0 0 16 0 13 0 7775797 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13895] ppid=13888 vsize=1533764 CPUtime=24.15
/proc/13890/task/13895/stat : 13895 (java) S 13888 13890 12710 0 -1 4202560 9910 0 0 0 2408 7 0 0 16 0 13 0 7775798 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 0 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13896] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13896/stat : 13896 (java) S 13888 13890 12710 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 7775799 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13897] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13897/stat : 13897 (java) S 13888 13890 12710 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 7775799 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13898] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13898/stat : 13898 (java) S 13888 13890 12710 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13899] ppid=13888 vsize=1533764 CPUtime=1.14
/proc/13890/task/13899/stat : 13899 (java) S 13888 13890 12710 0 -1 4202560 1230 0 0 0 114 0 0 0 16 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13900] ppid=13888 vsize=1533764 CPUtime=1.94
/proc/13890/task/13900/stat : 13900 (java) S 13888 13890 12710 0 -1 4202560 7418 0 0 0 192 2 0 0 15 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13901] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13901/stat : 13901 (java) S 13888 13890 12710 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
[pid=13890/tid=13902] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13902/stat : 13902 (java) S 13888 13890 12710 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 13 0 7775803 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 1 0 0 0
[pid=13890/tid=13905] ppid=13888 vsize=1533764 CPUtime=0
/proc/13890/task/13905/stat : 13905 (java) S 13888 13890 12710 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 13 0 7778208 1570574336 71424 1992294400 134512640 134550932 4288243328 18446744073709551615 4294960144 0 4 0 16800975 18446604437835323392 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1533764

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): 1784.11
CPU time (s): 1800.24
CPU user time (s): 1799.35
CPU system time (s): 0.890864
CPU usage (%): 100.904
Max. virtual memory (cumulated for all children) (KiB): 1540452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.890864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86428
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= 44782
involuntary context switches= 26552

runsolver used 3.55546 second user time and 9.61854 second system time

The end

Launcher Data 

Begin job on node081 at 2010-06-16 07:06:57
IDJOB=2658605
IDBENCH=48219
IDSOLVER=1164
FILE ID=node081/2658605-1276664817
PBS_JOBID= 11172460
Free space on /tmp= 121808 MiB

SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_2.opb
COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658605-1276664817/watcher-2658605-1276664817 -o /tmp/evaluation-result-2658605-1276664817/solver-2658605-1276664817 -C 1800 -W 2000 -M 1800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658605-1276664817.opb

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

MD5SUM BENCH= e40e55fe30ea19a1cae02f7f820bc9fe
RANDOM SEED=135905247

node081.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.212
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.42
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.212
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1770676 kB
Buffers:         26736 kB
Cached:         136612 kB
SwapCached:          0 kB
Active:         116616 kB
Inactive:       106464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1770676 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:             532 kB
Writeback:           0 kB
AnonPages:       59620 kB
Mapped:          15436 kB
Slab:            43444 kB
PageTables:       3948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181048 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 121808 MiB
End job on node081 at 2010-06-16 07:36:43