Trace number 2662549

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 RES // CP 2.2.0 2010-05-31SAT (TO)30940160 1800.29 938.266

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod013.opb
MD5SUM4cb1be2dcc654132071469b521292770
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark30807040
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 32455680
Optimality of the best value was proved NO
Number of variables1488
Total number of constraints62
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 constraints62
Minimum length of a constraint31
Maximum length of a constraint240
Number of terms in the objective function 1488
Biggest coefficient in the objective function 375272767488
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 12937590079727
Number of bits of the sum of numbers in the objective function 44
Biggest number in a constraint 375272767488
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 12937590079727
Number of bits of the biggest sum of numbers44
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

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.16	c version 2.2.0.v20100531
0.08/0.16	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.16	c java.vm.name		Java HotSpot(TM) Server VM
0.08/0.16	c java.vm.version	11.2-b01
0.08/0.16	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.16	c sun.arch.data.model	32
0.08/0.16	c java.version		1.6.0_12
0.08/0.16	c os.name		Linux
0.08/0.16	c os.version		2.6.18-164.el5
0.08/0.16	c os.arch		i386
0.08/0.16	c Free memory 		1393557488
0.08/0.16	c Max memory 		1395916800
0.08/0.16	c Total memory 		1395916800
0.08/0.16	c Number of processors 	2
0.22/0.23	c Pseudo Boolean Optimization
0.22/0.23	c ManyCore solver with 2 solvers running in parallel
0.22/0.23	c --- Begin Solver configuration ---
0.22/0.23	c Stops conflict analysis at the first Unique Implication Point
0.22/0.23	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@4413ee
0.22/0.23	c Learn all clauses as in MiniSAT
0.22/0.23	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.22/0.23	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.22/0.23	c Expensive reason simplification
0.22/0.23	c Armin Biere (Picosat) restarts strategy
0.22/0.23	c Glucose learned constraints deletion strategy
0.22/0.23	c timeout=2147483s
0.22/0.23	c DB Simplification allowed=false
0.22/0.23	c --- End Solver configuration ---
0.22/0.23	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.22/0.23	c --- Begin Solver configuration ---
0.22/0.23	c Stops conflict analysis at the first Unique Implication Point
0.22/0.23	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1cb25f1
0.22/0.23	c Learn all clauses as in MiniSAT
0.22/0.23	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.22/0.23	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.22/0.23	c No reason simplification
0.22/0.23	c Armin Biere (Picosat) restarts strategy
0.22/0.23	c Glucose learned constraints deletion strategy
0.22/0.23	c timeout=2147483s
0.22/0.23	c DB Simplification allowed=false
0.22/0.23	c --- End Solver configuration ---
0.22/0.23	
0.22/0.23	c solving HOME/instance-2662549-1276559276.opb
0.22/0.23	c reading problem ... 
1.30/0.85	c ... done. Wall clock time 0.625s.
1.30/0.85	c #vars     1488
1.30/0.85	c #constraints  839
1.30/0.85	c constraints type 
1.30/0.85	c org.sat4j.pb.constraints.pb.MaxWatchPb => 76
1.30/0.85	c constraints type 
1.30/0.85	c org.sat4j.pb.constraints.pb.MaxWatchPb => 76
2.29/1.33	c And the winner is Resolution
2.37/2.02	c SATISFIABLE
2.37/2.02	c OPTIMIZING...
2.37/2.02	c Got one! Elapsed wall clock time (in seconds):1.795
2.37/2.02	o 33049600
8.06/5.00	c cleaning 2495 clauses out of 5000 with flag 5000/5000
13.38/7.62	c cleaning 4252 clauses out of 8508 with flag 11003/11003
20.27/11.16	c cleaning 5621 clauses out of 11253 with flag 18000/18000
26.77/14.48	c cleaning 6809 clauses out of 13633 with flag 26001/26001
34.43/18.34	c cleaning 7902 clauses out of 15824 with flag 35001/35001
44.48/23.41	c cleaning 8950 clauses out of 17921 with flag 45000/45000
54.13/28.36	c cleaning 9476 clauses out of 18972 with flag 55001/55001
62.39/32.51	c cleaning 9737 clauses out of 19495 with flag 65000/65000
70.23/36.55	c cleaning 9875 clauses out of 19758 with flag 75000/75000
79.28/41.10	c cleaning 9931 clauses out of 19885 with flag 85002/85002
87.34/45.28	c cleaning 9965 clauses out of 19952 with flag 95000/95000
96.58/49.92	c cleaning 9982 clauses out of 19989 with flag 105002/105002
105.79/54.68	c cleaning 9995 clauses out of 20006 with flag 115001/115001
114.44/59.04	c cleaning 10002 clauses out of 20011 with flag 125001/125001
122.69/63.23	c cleaning 9997 clauses out of 20008 with flag 135000/135000
131.33/67.64	c cleaning 9991 clauses out of 20013 with flag 145002/145002
139.14/71.63	c cleaning 10000 clauses out of 20021 with flag 155001/155001
148.78/76.50	c cleaning 10002 clauses out of 20021 with flag 165001/165001
158.60/81.57	c cleaning 10003 clauses out of 20019 with flag 175001/175001
168.21/86.44	c cleaning 10003 clauses out of 20015 with flag 185000/185000
177.61/91.26	c cleaning 9987 clauses out of 20012 with flag 195000/195000
187.80/96.47	c cleaning 9997 clauses out of 20026 with flag 205001/205001
196.81/101.08	c cleaning 9995 clauses out of 20028 with flag 215000/215000
204.25/104.87	c cleaning 10002 clauses out of 20035 with flag 225002/225002
212.62/109.18	c cleaning 10001 clauses out of 20032 with flag 235001/235001
221.63/113.79	c cleaning 9999 clauses out of 20030 with flag 245000/245000
229.27/117.64	c cleaning 9994 clauses out of 20031 with flag 255000/255000
237.67/121.96	c cleaning 10012 clauses out of 20037 with flag 265000/265000
245.65/126.06	c cleaning 10003 clauses out of 20026 with flag 275001/275001
248.32/127.46	c And the winner is Resolution
248.45/128.45	c Got one! Elapsed wall clock time (in seconds):128.22
248.45/128.45	o 32035840
255.09/131.90	c cleaning 10003 clauses out of 20022 with flag 285000/285000
265.28/137.02	c cleaning 9984 clauses out of 20019 with flag 295000/295000
269.12/139.00	c And the winner is CuttingPlanes
269.13/139.50	c Got one! Elapsed wall clock time (in seconds):139.269
269.13/139.50	o 31252480
273.70/141.81	c cleaning 10005 clauses out of 20036 with flag 305001/305001
281.66/145.90	c cleaning 10004 clauses out of 20030 with flag 315000/315000
289.86/150.13	c cleaning 9999 clauses out of 20026 with flag 325000/325000
298.27/154.49	c cleaning 10005 clauses out of 20027 with flag 335000/335000
307.06/158.99	c cleaning 9999 clauses out of 20022 with flag 345000/345000
315.82/163.46	c cleaning 10003 clauses out of 20024 with flag 355001/355001
323.42/167.35	c cleaning 9983 clauses out of 20021 with flag 365001/365001
337.37/174.42	c cleaning 10012 clauses out of 20037 with flag 375000/375000
346.14/178.94	c cleaning 9994 clauses out of 20026 with flag 385001/385001
355.08/183.57	c cleaning 10003 clauses out of 20032 with flag 395001/395001
364.26/188.21	c cleaning 10006 clauses out of 20029 with flag 405001/405001
372.25/192.39	c cleaning 10006 clauses out of 20024 with flag 415002/415002
380.44/196.52	c cleaning 9993 clauses out of 20016 with flag 425000/425000
389.15/201.07	c cleaning 9999 clauses out of 20024 with flag 435001/435001
398.13/205.69	c cleaning 9996 clauses out of 20024 with flag 445000/445000
406.89/210.13	c cleaning 9999 clauses out of 20030 with flag 455002/455002
416.22/215.00	c cleaning 10009 clauses out of 20029 with flag 465000/465000
426.30/220.17	c cleaning 9993 clauses out of 20020 with flag 475000/475000
435.65/224.91	c cleaning 9998 clauses out of 20027 with flag 485000/485000
439.64/227.01	c And the winner is Resolution
439.81/227.92	c Got one! Elapsed wall clock time (in seconds):227.691
439.81/227.92	o 31068160
444.13/230.14	c cleaning 9998 clauses out of 20030 with flag 495001/495001
451.88/234.16	c cleaning 10004 clauses out of 20031 with flag 505000/505000
459.77/238.29	c cleaning 10000 clauses out of 20028 with flag 515001/515001
467.91/242.40	c cleaning 10003 clauses out of 20029 with flag 525002/525002
476.25/246.70	c cleaning 10005 clauses out of 20027 with flag 535003/535003
487.77/252.60	c cleaning 10001 clauses out of 20019 with flag 545000/545000
498.60/258.23	c cleaning 10005 clauses out of 20019 with flag 555001/555001
506.54/262.33	c cleaning 9991 clauses out of 20013 with flag 565000/565000
514.86/266.60	c cleaning 9996 clauses out of 20022 with flag 575000/575000
522.98/270.87	c cleaning 10001 clauses out of 20028 with flag 585002/585002
531.05/275.07	c cleaning 10000 clauses out of 20025 with flag 595000/595000
540.34/279.86	c cleaning 9999 clauses out of 20026 with flag 605001/605001
549.24/284.46	c cleaning 9997 clauses out of 20026 with flag 615000/615000
557.95/288.93	c cleaning 10002 clauses out of 20029 with flag 625000/625000
566.57/293.43	c cleaning 10008 clauses out of 20027 with flag 635000/635000
574.68/297.62	c cleaning 10007 clauses out of 20020 with flag 645001/645001
582.18/301.53	c cleaning 9995 clauses out of 20012 with flag 655000/655000
589.50/305.32	c cleaning 9983 clauses out of 20017 with flag 665000/665000
597.33/309.42	c cleaning 10002 clauses out of 20037 with flag 675003/675003
607.24/314.58	c cleaning 9998 clauses out of 20033 with flag 685001/685001
616.51/319.32	c cleaning 10003 clauses out of 20035 with flag 695001/695001
625.40/323.99	c cleaning 10001 clauses out of 20031 with flag 705000/705000
633.81/328.32	c cleaning 9993 clauses out of 20030 with flag 715000/715000
641.50/332.36	c cleaning 10005 clauses out of 20038 with flag 725001/725001
649.41/336.42	c cleaning 9995 clauses out of 20032 with flag 735000/735000
657.11/340.47	c cleaning 10008 clauses out of 20038 with flag 745001/745001
666.13/345.16	c cleaning 9991 clauses out of 20029 with flag 755000/755000
674.83/349.69	c cleaning 9992 clauses out of 20039 with flag 765001/765001
683.92/354.30	c cleaning 9995 clauses out of 20046 with flag 775000/775000
692.42/358.74	c cleaning 10004 clauses out of 20052 with flag 785001/785001
701.03/363.27	c cleaning 10003 clauses out of 20048 with flag 795001/795001
709.91/367.89	c cleaning 10007 clauses out of 20044 with flag 805000/805000
717.61/371.87	c cleaning 10004 clauses out of 20038 with flag 815001/815001
725.10/375.70	c cleaning 10000 clauses out of 20034 with flag 825001/825001
731.91/379.33	c cleaning 9988 clauses out of 20033 with flag 835000/835000
740.00/383.53	c cleaning 10004 clauses out of 20046 with flag 845001/845001
747.30/387.35	c cleaning 10012 clauses out of 20042 with flag 855001/855001
754.40/391.02	c cleaning 9997 clauses out of 20030 with flag 865001/865001
761.59/394.88	c cleaning 10003 clauses out of 20032 with flag 875000/875000
769.26/398.80	c cleaning 9998 clauses out of 20029 with flag 885000/885000
777.13/402.91	c cleaning 10015 clauses out of 20035 with flag 895004/895004
786.02/407.57	c cleaning 9996 clauses out of 20019 with flag 905003/905003
794.61/412.02	c cleaning 10002 clauses out of 20021 with flag 915001/915001
803.28/416.54	c cleaning 10000 clauses out of 20018 with flag 925000/925000
811.76/420.92	c cleaning 10005 clauses out of 20019 with flag 935001/935001
820.42/425.44	c cleaning 9998 clauses out of 20014 with flag 945001/945001
830.39/430.62	c cleaning 9995 clauses out of 20016 with flag 955001/955001
838.68/434.94	c cleaning 9991 clauses out of 20021 with flag 965001/965001
845.37/438.42	c cleaning 10004 clauses out of 20030 with flag 975001/975001
855.04/443.49	c cleaning 10005 clauses out of 20026 with flag 985001/985001
863.61/447.94	c cleaning 9995 clauses out of 20020 with flag 995000/995000
871.70/452.16	c cleaning 9992 clauses out of 20025 with flag 1005000/1005000
878.96/455.90	c cleaning 9999 clauses out of 20033 with flag 1015000/1015000
886.25/459.74	c cleaning 9996 clauses out of 20035 with flag 1025001/1025001
895.41/464.59	c cleaning 10008 clauses out of 20040 with flag 1035002/1035002
904.88/469.41	c cleaning 9991 clauses out of 20030 with flag 1045000/1045000
913.16/473.78	c cleaning 9991 clauses out of 20039 with flag 1055000/1055000
921.43/478.04	c cleaning 10001 clauses out of 20048 with flag 1065000/1065000
930.00/482.54	c cleaning 10002 clauses out of 20048 with flag 1075001/1075001
938.49/486.93	c cleaning 10001 clauses out of 20046 with flag 1085001/1085001
946.96/491.36	c cleaning 10009 clauses out of 20045 with flag 1095001/1095001
956.41/496.23	c cleaning 10002 clauses out of 20036 with flag 1105001/1105001
964.79/500.68	c cleaning 10004 clauses out of 20034 with flag 1115001/1115001
973.46/505.14	c cleaning 9999 clauses out of 20030 with flag 1125001/1125001
981.54/509.35	c cleaning 9998 clauses out of 20030 with flag 1135000/1135000
989.21/513.36	c cleaning 9992 clauses out of 20032 with flag 1145000/1145000
997.17/517.59	c cleaning 10001 clauses out of 20040 with flag 1155000/1155000
1005.22/521.72	c cleaning 10005 clauses out of 20041 with flag 1165002/1165002
1013.87/526.26	c cleaning 10000 clauses out of 20034 with flag 1175000/1175000
1022.14/530.53	c cleaning 9998 clauses out of 20036 with flag 1185002/1185002
1029.91/534.63	c cleaning 10003 clauses out of 20038 with flag 1195002/1195002
1037.78/538.79	c cleaning 9979 clauses out of 20033 with flag 1205000/1205000
1047.65/543.85	c cleaning 9983 clauses out of 20055 with flag 1215001/1215001
1055.52/548.00	c cleaning 9993 clauses out of 20071 with flag 1225000/1225000
1063.87/552.31	c cleaning 10000 clauses out of 20078 with flag 1235000/1235000
1073.15/557.18	c cleaning 9997 clauses out of 20079 with flag 1245001/1245001
1081.80/561.66	c cleaning 9999 clauses out of 20081 with flag 1255000/1255000
1090.25/566.05	c cleaning 9995 clauses out of 20083 with flag 1265001/1265001
1098.63/570.42	c cleaning 10004 clauses out of 20088 with flag 1275001/1275001
1106.67/574.68	c cleaning 10005 clauses out of 20083 with flag 1285000/1285000
1115.33/579.20	c cleaning 9996 clauses out of 20079 with flag 1295001/1295001
1124.38/583.87	c cleaning 10005 clauses out of 20083 with flag 1305001/1305001
1132.79/588.21	c cleaning 9995 clauses out of 20078 with flag 1315001/1315001
1140.85/592.46	c cleaning 10003 clauses out of 20083 with flag 1325001/1325001
1148.90/596.67	c cleaning 9997 clauses out of 20079 with flag 1335000/1335000
1157.19/600.99	c cleaning 10027 clauses out of 20082 with flag 1345000/1345000
1165.37/605.28	c cleaning 10017 clauses out of 20056 with flag 1355001/1355001
1174.24/609.81	c cleaning 10018 clauses out of 20039 with flag 1365001/1365001
1181.73/613.78	c cleaning 9993 clauses out of 20020 with flag 1375000/1375000
1189.60/617.87	c cleaning 10002 clauses out of 20027 with flag 1385000/1385000
1197.76/622.12	c cleaning 10002 clauses out of 20025 with flag 1395000/1395000
1207.03/626.99	c cleaning 9998 clauses out of 20024 with flag 1405001/1405001
1216.08/631.61	c cleaning 10007 clauses out of 20025 with flag 1415000/1415000
1224.73/636.16	c cleaning 9993 clauses out of 20018 with flag 1425000/1425000
1234.06/641.06	c cleaning 9998 clauses out of 20026 with flag 1435001/1435001
1242.93/645.64	c cleaning 9999 clauses out of 20027 with flag 1445000/1445000
1250.99/649.82	c cleaning 9999 clauses out of 20028 with flag 1455000/1455000
1259.06/654.03	c cleaning 9990 clauses out of 20029 with flag 1465000/1465000
1267.02/658.29	c cleaning 10010 clauses out of 20039 with flag 1475000/1475000
1273.49/661.68	c cleaning 9996 clauses out of 20031 with flag 1485002/1485002
1280.37/665.28	c cleaning 10002 clauses out of 20033 with flag 1495000/1495000
1287.64/669.03	c cleaning 10001 clauses out of 20033 with flag 1505002/1505002
1295.21/673.04	c cleaning 10003 clauses out of 20031 with flag 1515001/1515001
1303.26/677.22	c cleaning 9996 clauses out of 20027 with flag 1525000/1525000
1310.32/680.99	c cleaning 10009 clauses out of 20031 with flag 1535000/1535000
1317.57/684.79	c cleaning 9988 clauses out of 20022 with flag 1545000/1545000
1324.54/688.40	c cleaning 10003 clauses out of 20034 with flag 1555000/1555000
1332.02/692.33	c cleaning 9994 clauses out of 20031 with flag 1565000/1565000
1339.70/696.39	c cleaning 10000 clauses out of 20037 with flag 1575000/1575000
1346.77/700.08	c cleaning 10007 clauses out of 20037 with flag 1585000/1585000
1356.53/705.14	c cleaning 10001 clauses out of 20031 with flag 1595001/1595001
1362.80/708.42	c cleaning 9988 clauses out of 20029 with flag 1605000/1605000
1372.02/713.28	c cleaning 9995 clauses out of 20042 with flag 1615001/1615001
1380.29/717.50	c cleaning 9996 clauses out of 20047 with flag 1625001/1625001
1388.63/721.95	c cleaning 10012 clauses out of 20050 with flag 1635000/1635000
1398.08/726.88	c cleaning 10010 clauses out of 20038 with flag 1645000/1645000
1407.13/731.54	c cleaning 10000 clauses out of 20029 with flag 1655001/1655001
1416.18/736.25	c cleaning 9996 clauses out of 20028 with flag 1665000/1665000
1424.90/740.84	c cleaning 9990 clauses out of 20032 with flag 1675000/1675000
1433.35/745.23	c cleaning 9997 clauses out of 20042 with flag 1685000/1685000
1442.01/749.76	c cleaning 10014 clauses out of 20045 with flag 1695000/1695000
1450.86/754.37	c cleaning 9993 clauses out of 20031 with flag 1705000/1705000
1460.38/759.37	c cleaning 10007 clauses out of 20038 with flag 1715000/1715000
1469.62/764.16	c cleaning 10001 clauses out of 20031 with flag 1725000/1725000
1478.05/768.51	c cleaning 10004 clauses out of 20031 with flag 1735001/1735001
1486.49/772.92	c cleaning 9996 clauses out of 20026 with flag 1745000/1745000
1495.01/777.48	c cleaning 9997 clauses out of 20030 with flag 1755000/1755000
1503.87/782.05	c cleaning 10005 clauses out of 20033 with flag 1765000/1765000
1512.48/786.58	c cleaning 10005 clauses out of 20031 with flag 1775003/1775003
1520.91/790.95	c cleaning 10000 clauses out of 20023 with flag 1785000/1785000
1528.42/795.00	c cleaning 10001 clauses out of 20023 with flag 1795000/1795000
1536.08/798.94	c cleaning 9995 clauses out of 20022 with flag 1805000/1805000
1542.55/802.40	c cleaning 10001 clauses out of 20028 with flag 1815001/1815001
1550.01/806.22	c cleaning 9998 clauses out of 20026 with flag 1825000/1825000
1556.94/809.92	c cleaning 10006 clauses out of 20029 with flag 1835001/1835001
1563.98/813.69	c cleaning 10003 clauses out of 20023 with flag 1845001/1845001
1571.07/817.37	c cleaning 10000 clauses out of 20020 with flag 1855001/1855001
1578.09/821.10	c cleaning 9987 clauses out of 20019 with flag 1865000/1865000
1586.42/825.48	c cleaning 9998 clauses out of 20032 with flag 1875000/1875000
1593.89/829.38	c cleaning 10000 clauses out of 20034 with flag 1885000/1885000
1601.93/833.52	c cleaning 10005 clauses out of 20034 with flag 1895000/1895000
1610.18/837.89	c cleaning 10002 clauses out of 20029 with flag 1905000/1905000
1618.90/842.41	c cleaning 10001 clauses out of 20030 with flag 1915003/1915003
1626.56/846.45	c cleaning 10003 clauses out of 20026 with flag 1925000/1925000
1634.02/850.34	c cleaning 9999 clauses out of 20023 with flag 1935000/1935000
1641.44/854.22	c cleaning 9997 clauses out of 20025 with flag 1945001/1945001
1649.35/858.41	c cleaning 9999 clauses out of 20028 with flag 1955001/1955001
1657.37/862.65	c cleaning 10001 clauses out of 20028 with flag 1965000/1965000
1664.82/866.54	c cleaning 9997 clauses out of 20027 with flag 1975000/1975000
1671.86/870.30	c cleaning 10002 clauses out of 20030 with flag 1985000/1985000
1679.58/874.34	c cleaning 10003 clauses out of 20028 with flag 1995000/1995000
1687.61/878.57	c cleaning 10003 clauses out of 20027 with flag 2005002/2005002
1695.82/882.85	c And the winner is Resolution
1696.54/883.98	c Got one! Elapsed wall clock time (in seconds):883.752
1696.54/883.98	o 30940160
1697.76/884.61	c cleaning 9996 clauses out of 20023 with flag 2015001/2015001
1708.17/890.05	c cleaning 10010 clauses out of 20030 with flag 2025004/2025004
1716.29/894.31	c cleaning 10001 clauses out of 20016 with flag 2035000/2035000
1724.91/898.81	c cleaning 9999 clauses out of 20015 with flag 2045000/2045000
1738.10/905.63	c cleaning 9995 clauses out of 20016 with flag 2055000/2055000
1746.53/910.01	c cleaning 10001 clauses out of 20021 with flag 2065000/2065000
1754.84/914.46	c cleaning 9986 clauses out of 20020 with flag 2075000/2075000
1762.10/918.27	c cleaning 9994 clauses out of 20035 with flag 2085001/2085001
1772.72/923.75	c cleaning 9991 clauses out of 20040 with flag 2095000/2095000
1781.77/928.44	c cleaning 10000 clauses out of 20050 with flag 2105001/2105001
1790.85/933.29	c cleaning 10009 clauses out of 20049 with flag 2115000/2115000
1799.31/937.64	c cleaning 9997 clauses out of 20041 with flag 2125001/2125001
1800.03/938.12	c starts		: 230
1800.03/938.12	c conflicts		: 2125524
1800.03/938.12	c decisions		: 2667214
1800.03/938.12	c propagations		: 62235222
1800.03/938.12	c inspects		: 685009345
1800.03/938.12	c learnt literals	: 0
1800.03/938.12	c learnt binary clauses	: 0
1800.03/938.12	c learnt ternary clauses	: 0
1800.03/938.12	c learnt clauses	: 2125523
1800.03/938.12	c ignored clauses	: 0
1800.03/938.12	c root simplifications	: 0
1800.03/938.12	c removed literals (reason simplification)	: 45452622
1800.03/938.12	c reason swapping (by a shorter reason)	: 0
1800.03/938.12	c Calls to reduceDB	: 214
1800.03/938.12	c number of reductions to clauses (during analyze)	: 0
1800.03/938.12	c number of learned constraints concerned by reduction	: 0
1800.03/938.12	c number of learning phase by resolution	: 0
1800.03/938.12	c number of learning phase by cutting planes	: 0
1800.03/938.12	c speed (assignments/second)	: 1149693.748614498
1800.03/938.12	c non guided choices	85
1800.03/938.18	c learnt constraints type 
1800.03/938.18	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 10670
1800.03/938.18	c constraints type 
1800.03/938.18	c org.sat4j.pb.constraints.pb.MaxWatchPb => 77
1800.03/938.18	c constraints type 
1800.03/938.18	c org.sat4j.pb.constraints.pb.MaxWatchPb => 77
1800.03/938.18	s SATISFIABLE
1800.03/938.19	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 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 x1488 
1800.03/938.19	c objective function=30940160
1800.03/938.19	c Total wall clock time (in seconds): 937.963

Verifier Data 

OK	30940160

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662549-1276559276/watcher-2662549-1276559276 -o /tmp/evaluation-result-2662549-1276559276/solver-2662549-1276559276 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662549-1276559276.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.00 1.00 1.06 3/106 32604
/proc/meminfo: memFree=1842996/2059040 swapFree=4140228/4192956
[pid=32604] ppid=32602 vsize=248 CPUtime=0
/proc/32604/stat : 32604 (java6) R 32602 32604 32417 0 -1 4194304 110 0 0 0 0 0 0 0 23 0 1 0 29583920 253952 29 1992294400 134512640 134550932 4294931264 18446744073709551615 5145054 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32604/statm: 62 29 21 10 0 23 0

[startup+0.0552061 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 32604
/proc/meminfo: memFree=1842996/2059040 swapFree=4140228/4192956
[pid=32604] ppid=32602 vsize=1521340 CPUtime=0.04
/proc/32604/stat : 32604 (java) S 32602 32604 32417 0 -1 4202496 3501 0 1 0 2 2 0 0 15 0 6 0 29583920 1557852160 2943 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/32604/statm: 380335 2943 990 10 0 377645 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1521340

[startup+0.102267 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 32604
/proc/meminfo: memFree=1842996/2059040 swapFree=4140228/4192956
[pid=32604] ppid=32602 vsize=1524020 CPUtime=0.08
/proc/32604/stat : 32604 (java) S 32602 32604 32417 0 -1 4202496 3937 0 1 0 6 2 0 0 15 0 12 0 29583920 1560596480 3375 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32604/statm: 381005 3375 1072 10 0 378308 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524020

[startup+0.301289 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 32604
/proc/meminfo: memFree=1842996/2059040 swapFree=4140228/4192956
[pid=32604] ppid=32602 vsize=1526436 CPUtime=0.36
/proc/32604/stat : 32604 (java) S 32602 32604 32417 0 -1 4202496 5356 0 1 0 33 3 0 0 15 0 12 0 29583920 1563070464 4792 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32604/statm: 381609 4792 1359 10 0 378912 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 1526436

[startup+0.700333 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 32604
/proc/meminfo: memFree=1842996/2059040 swapFree=4140228/4192956
[pid=32604] ppid=32602 vsize=1538512 CPUtime=1.09
/proc/32604/stat : 32604 (java) S 32602 32604 32417 0 -1 4202496 9685 0 1 0 105 4 0 0 15 0 12 0 29583920 1575436288 8549 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32604/statm: 384628 8549 1406 10 0 381931 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 1538512

[startup+1.50139 s]
/proc/loadavg: 1.00 1.00 1.06 8/120 32618
/proc/meminfo: memFree=1808228/2059040 swapFree=4140228/4192956
[pid=32604] ppid=32602 vsize=1542516 CPUtime=2.37
/proc/32604/stat : 32604 (java) S 32602 32604 32417 0 -1 4202496 14683 0 1 0 230 7 0 0 15 0 14 0 29583920 1579536384 10808 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32604/statm: 385629 10808 1430 10 0 382932 0
[pid=32604/tid=32606] ppid=32602 vsize=1542516 CPUtime=0.48
/proc/32604/task/32606/stat : 32606 (java) S 32602 32604 32417 0 -1 4202560 4993 0 1 0 46 2 0 0 25 0 14 0 29583922 1579536384 10808 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32607] ppid=32602 vsize=1542516 CPUtime=0
/proc/32604/task/32607/stat : 32607 (java) S 32602 32604 32417 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 14 0 29583924 1579536384 10808 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32608] ppid=32602 vsize=1542516 CPUtime=0
/proc/32604/task/32608/stat : 32608 (java) S 32602 32604 32417 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 14 0 29583924 1579536384 10808 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32609] ppid=32602 vsize=1542516 CPUtime=0
/proc/32604/task/32609/stat : 32609 (java) S 32602 32604 32417 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 14 0 29583925 1579536384 10808 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32610] ppid=32602 vsize=1542516 CPUtime=0
/proc/32604/task/32610/stat : 32610 (java) S 32602 32604 32417 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 14 0 29583926 1579536384 10808 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32611] ppid=32602 vsize=1542516 CPUtime=0
/proc/32604/task/32611/stat : 32611 (java) S 32602 32604 32417 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 14 0 29583926 1579536384 10808 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32612] ppid=32602 vsize=1542516 CPUtime=0
/proc/32604/task/32612/stat : 32612 (java) S 32602 32604 32417 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 14 0 29583930 1579536384 10808 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32613] ppid=32602 vsize=1542516 CPUtime=0.78
/proc/32604/task/32613/stat : 32613 (java) S 32602 32604 32417 0 -1 4202560 4017 0 0 0 77 1 0 0 15 0 14 0 29583930 1579536384 10808 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32614] ppid=32602 vsize=1542516 CPUtime=0.8
/proc/32604/task/32614/stat : 32614 (java) S 32602 32604 32417 0 -1 4202560 3607 0 0 0 79 1 0 0 16 0 14 0 29583930 1579536384 10808 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32615] ppid=32602 vsize=1542516 CPUtime=0
/proc/32604/task/32615/stat : 32615 (java) S 32602 32604 32417 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 14 0 29583930 1579536384 10808 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32616] ppid=32602 vsize=1542516 CPUtime=0
/proc/32604/task/32616/stat : 32616 (java) S 32602 32604 32417 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 29583930 1579536384 10808 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 1542516

[startup+3.10155 s]
/proc/loadavg: 1.00 1.00 1.06 5/122 32622
/proc/meminfo: memFree=1800896/2059040 swapFree=4140228/4192956
[pid=32604] ppid=32602 vsize=1542516 CPUtime=4.5
/proc/32604/stat : 32604 (java) S 32602 32604 32417 0 -1 4202496 41213 0 1 0 432 18 0 0 15 0 16 0 29583920 1579536384 37194 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32604/statm: 385629 37194 1442 10 0 382932 0
[pid=32604/tid=32606] ppid=32602 vsize=1542516 CPUtime=0.49
/proc/32604/task/32606/stat : 32606 (java) S 32602 32604 32417 0 -1 4202560 5186 0 1 0 47 2 0 0 18 0 16 0 29583922 1579536384 37194 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32607] ppid=32602 vsize=1542516 CPUtime=0
/proc/32604/task/32607/stat : 32607 (java) S 32602 32604 32417 0 -1 4202560 319 0 0 0 0 0 0 0 16 0 16 0 29583924 1579536384 37194 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32608] ppid=32602 vsize=1542516 CPUtime=0
/proc/32604/task/32608/stat : 32608 (java) S 32602 32604 32417 0 -1 4202560 355 0 0 0 0 0 0 0 18 0 16 0 29583924 1579536384 37194 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32609] ppid=32602 vsize=1542516 CPUtime=0
/proc/32604/task/32609/stat : 32609 (java) S 32602 32604 32417 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 16 0 29583925 1579536384 37194 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32610] ppid=32602 vsize=1542516 CPUtime=0
/proc/32604/task/32610/stat : 32610 (java) S 32602 32604 32417 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 29583926 1579536384 37194 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32611] ppid=32602 vsize=1542516 CPUtime=0
/proc/32604/task/32611/stat : 32611 (java) S 32602 32604 32417 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 29583926 1579536384 37194 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32612] ppid=32602 vsize=1542516 CPUtime=0
/proc/32604/task/32612/stat : 32612 (java) S 32602 32604 32417 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 16 0 29583930 1579536384 37194 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32613] ppid=32602 vsize=1542516 CPUtime=1.15
/proc/32604/task/32613/stat : 32613 (java) S 32602 32604 32417 0 -1 4202560 4033 0 0 0 114 1 0 0 15 0 16 0 29583930 1579536384 37194 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32614] ppid=32602 vsize=1542516 CPUtime=1.15
/proc/32604/task/32614/stat : 32614 (java) S 32602 32604 32417 0 -1 4202560 3765 0 0 0 114 1 0 0 15 0 16 0 29583930 1579536384 37194 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32615] ppid=32602 vsize=1542516 CPUtime=0
/proc/32604/task/32615/stat : 32615 (java) S 32602 32604 32417 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 16 0 29583930 1579536384 37194 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32616] ppid=32602 vsize=1542516 CPUtime=0
/proc/32604/task/32616/stat : 32616 (java) S 32602 32604 32417 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 29583930 1579536384 37194 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32619] ppid=32602 vsize=1542516 CPUtime=0
/proc/32604/task/32619/stat : 32619 (java) S 32602 32604 32417 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 29584023 1579536384 37194 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32620] ppid=32602 vsize=1542516 CPUtime=0
/proc/32604/task/32620/stat : 32620 (java) S 32602 32604 32417 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29584026 1579536384 37194 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32621] ppid=32602 vsize=1542516 CPUtime=0.69
/proc/32604/task/32621/stat : 32621 (java) R 32602 32604 32417 0 -1 4202560 3030 0 0 0 68 1 0 0 20 0 16 0 29584124 1579536384 37194 1992294400 134512640 134550932 4293277088 18446744073709551615 4109412925 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32604/tid=32622] ppid=32602 vsize=1542516 CPUtime=0.65
/proc/32604/task/32622/stat : 32622 (java) R 32602 32604 32417 0 -1 4202560 22453 0 0 0 56 9 0 0 22 0 16 0 29584124 1579536384 37194 1992294400 134512640 134550932 4293277088 18446744073709551615 4109140169 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 1542516

[startup+6.30118 s]
/proc/loadavg: 1.08 1.02 1.07 4/122 32622
/proc/meminfo: memFree=1679748/2059040 swapFree=4140228/4192956
[pid=32604] ppid=32602 vsize=1542328 CPUtime=10.79
/proc/32604/stat : 32604 (java) S 32602 32604 32417 0 -1 4202496 49982 0 1 0 1057 22 0 0 15 0 16 0 29583920 1579343872 45687 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32604/statm: 385582 45687 1447 10 0 382885 0
[pid=32604/tid=32606] ppid=32602 vsize=1542328 CPUtime=0.49
/proc/32604/task/32606/stat : 32606 (java) S 32602 32604 32417 0 -1 4202560 5187 0 1 0 47 2 0 0 15 0 16 0 29583922 1579343872 45687 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32607] ppid=32602 vsize=1542328 CPUtime=0.06
/proc/32604/task/32607/stat : 32607 (java) S 32602 32604 32417 0 -1 4202560 1755 0 0 0 6 0 0 0 16 0 16 0 29583924 1579343872 45687 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32608] ppid=32602 vsize=1542328 CPUtime=0.06
/proc/32604/task/32608/stat : 32608 (java) S 32602 32604 32417 0 -1 4202560 2049 0 0 0 6 0 0 0 15 0 16 0 29583924 1579343872 45687 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32609] ppid=32602 vsize=1542328 CPUtime=0.04
/proc/32604/task/32609/stat : 32609 (java) S 32602 32604 32417 0 -1 4202560 1131 0 0 0 4 0 0 0 15 0 16 0 29583925 1579343872 45687 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32610] ppid=32602 vsize=1542328 CPUtime=0
/proc/32604/task/32610/stat : 32610 (java) S 32602 32604 32417 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 29583926 1579343872 45687 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32611] ppid=32602 vsize=1542328 CPUtime=0
/proc/32604/task/32611/stat : 32611 (java) S 32602 32604 32417 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 29583926 1579343872 45687 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32612] ppid=32602 vsize=1542328 CPUtime=0
/proc/32604/task/32612/stat : 32612 (java) S 32602 32604 32417 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 16 0 29583930 1579343872 45687 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32613] ppid=32602 vsize=1542328 CPUtime=1.57
/proc/32604/task/32613/stat : 32613 (java) S 32602 32604 32417 0 -1 4202560 4212 0 0 0 156 1 0 0 15 0 16 0 29583930 1579343872 45687 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32614] ppid=32602 vsize=1542328 CPUtime=1.32
/proc/32604/task/32614/stat : 32614 (java) S 32602 32604 32417 0 -1 4202560 3881 0 0 0 131 1 0 0 16 0 16 0 29583930 1579343872 45687 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32615] ppid=32602 vsize=1542328 CPUtime=0
/proc/32604/task/32615/stat : 32615 (java) S 32602 32604 32417 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 16 0 29583930 1579343872 45687 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32616] ppid=32602 vsize=1542328 CPUtime=0
/proc/32604/task/32616/stat : 32616 (java) S 32602 32604 32417 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 29583930 1579343872 45687 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32619] ppid=32602 vsize=1542328 CPUtime=0
/proc/32604/task/32619/stat : 32619 (java) S 32602 32604 32417 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 29584023 1579343872 45687 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32620] ppid=32602 vsize=1542328 CPUtime=0
/proc/32604/task/32620/stat : 32620 (java) S 32602 32604 32417 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29584026 1579343872 45687 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32621] ppid=32602 vsize=1542328 CPUtime=3.57
/proc/32604/task/32621/stat : 32621 (java) R 32602 32604 32417 0 -1 4202560 3645 0 0 0 356 1 0 0 25 0 16 0 29584124 1579343872 45687 1992294400 134512640 134550932 4293277088 18446744073709551615 4109412490 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32604/tid=32622] ppid=32602 vsize=1542328 CPUtime=3.31
/proc/32604/task/32622/stat : 32622 (java) R 32602 32604 32417 0 -1 4202560 26057 0 0 0 321 10 0 0 19 0 16 0 29584124 1579343872 45687 1992294400 134512640 134550932 4293277088 18446744073709551615 4109475429 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.79
Current children cumulated vsize (KiB) 1542328

[startup+12.701 s]
/proc/loadavg: 1.31 1.07 1.08 3/122 32622
/proc/meminfo: memFree=1652716/2059040 swapFree=4140228/4192956
[pid=32604] ppid=32602 vsize=1543352 CPUtime=23.4
/proc/32604/stat : 32604 (java) S 32602 32604 32417 0 -1 4202496 54472 0 1 0 2316 24 0 0 15 0 16 0 29583920 1580392448 49049 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32604/statm: 385838 49049 1451 10 0 383141 0
[pid=32604/tid=32606] ppid=32602 vsize=1543352 CPUtime=0.49
/proc/32604/task/32606/stat : 32606 (java) S 32602 32604 32417 0 -1 4202560 5188 0 1 0 47 2 0 0 15 0 16 0 29583922 1580392448 49049 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32607] ppid=32602 vsize=1543352 CPUtime=0.13
/proc/32604/task/32607/stat : 32607 (java) S 32602 32604 32417 0 -1 4202560 3441 0 0 0 12 1 0 0 15 0 16 0 29583924 1580392448 49049 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32608] ppid=32602 vsize=1543352 CPUtime=0.12
/proc/32604/task/32608/stat : 32608 (java) S 32602 32604 32417 0 -1 4202560 3482 0 0 0 11 1 0 0 16 0 16 0 29583924 1580392448 49049 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32609] ppid=32602 vsize=1543352 CPUtime=0.14
/proc/32604/task/32609/stat : 32609 (java) S 32602 32604 32417 0 -1 4202560 1364 0 0 0 13 1 0 0 16 0 16 0 29583925 1580392448 49049 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32610] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32610/stat : 32610 (java) S 32602 32604 32417 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 29583926 1580392448 49049 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32611] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32611/stat : 32611 (java) S 32602 32604 32417 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 29583926 1580392448 49049 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32612] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32612/stat : 32612 (java) S 32602 32604 32417 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 16 0 29583930 1580392448 49049 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32613] ppid=32602 vsize=1543352 CPUtime=1.75
/proc/32604/task/32613/stat : 32613 (java) S 32602 32604 32417 0 -1 4202560 4227 0 0 0 174 1 0 0 15 0 16 0 29583930 1580392448 49049 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32614] ppid=32602 vsize=1543352 CPUtime=1.74
/proc/32604/task/32614/stat : 32614 (java) S 32602 32604 32417 0 -1 4202560 4934 0 0 0 172 2 0 0 15 0 16 0 29583930 1580392448 49049 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32615] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32615/stat : 32615 (java) S 32602 32604 32417 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 16 0 29583930 1580392448 49049 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32616] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32616/stat : 32616 (java) S 32602 32604 32417 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 29583930 1580392448 49049 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32619] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32619/stat : 32619 (java) S 32602 32604 32417 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 29584023 1580392448 49049 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32620] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32620/stat : 32620 (java) S 32602 32604 32417 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29584026 1580392448 49049 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32621] ppid=32602 vsize=1543352 CPUtime=9.4
/proc/32604/task/32621/stat : 32621 (java) R 32602 32604 32417 0 -1 4202560 3652 0 0 0 938 2 0 0 25 0 16 0 29584124 1580392448 49049 1992294400 134512640 134550932 4293277088 18446744073709551615 4109490492 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32604/tid=32622] ppid=32602 vsize=1543352 CPUtime=9.28
/proc/32604/task/32622/stat : 32622 (java) R 32602 32604 32417 0 -1 4202560 26119 0 0 0 918 10 0 0 25 0 16 0 29584124 1580392448 49049 1992294400 134512640 134550932 4293277088 18446744073709551615 4109409806 0 4 0 16800975 0 0 0 -1 1 0 0 0

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

/proc/32604/task/32634/stat : 32634 (java) R 32602 32604 32417 0 -1 4202560 317 0 0 0 49007 5 0 0 25 0 16 0 29606713 1580392448 87957 1992294400 134512640 134550932 4293277088 18446744073709551615 4109140507 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1466.07
Current children cumulated vsize (KiB) 1543352

[startup+822.3 s]
/proc/loadavg: 2.15 2.01 1.63 3/122 32659
/proc/meminfo: memFree=1487424/2059040 swapFree=4140228/4192956
[pid=32604] ppid=32602 vsize=1543352 CPUtime=1580.26
/proc/32604/stat : 32604 (java) S 32602 32604 32417 0 -1 4202496 103568 0 1 0 157888 138 0 0 15 0 16 0 29583920 1580392448 89260 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32604/statm: 385838 89260 1451 10 0 383141 0
[pid=32604/tid=32606] ppid=32602 vsize=1543352 CPUtime=0.53
/proc/32604/task/32606/stat : 32606 (java) S 32602 32604 32417 0 -1 4202560 5207 0 1 0 50 3 0 0 15 0 16 0 29583922 1580392448 89260 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32607] ppid=32602 vsize=1543352 CPUtime=7.82
/proc/32604/task/32607/stat : 32607 (java) S 32602 32604 32417 0 -1 4202560 27335 0 0 0 749 33 0 0 15 0 16 0 29583924 1580392448 89260 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32608] ppid=32602 vsize=1543352 CPUtime=7.82
/proc/32604/task/32608/stat : 32608 (java) S 32602 32604 32417 0 -1 4202560 25972 0 0 0 749 33 0 0 15 0 16 0 29583924 1580392448 89260 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32609] ppid=32602 vsize=1543352 CPUtime=43.76
/proc/32604/task/32609/stat : 32609 (java) S 32602 32604 32417 0 -1 4202560 2763 0 0 0 4363 13 0 0 16 0 16 0 29583925 1580392448 89260 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32610] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32610/stat : 32610 (java) S 32602 32604 32417 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 29583926 1580392448 89260 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32611] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32611/stat : 32611 (java) S 32602 32604 32417 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 29583926 1580392448 89260 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32612] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32612/stat : 32612 (java) S 32602 32604 32417 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 16 0 29583930 1580392448 89260 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32613] ppid=32602 vsize=1543352 CPUtime=1.81
/proc/32604/task/32613/stat : 32613 (java) S 32602 32604 32417 0 -1 4202560 4229 0 0 0 180 1 0 0 15 0 16 0 29583930 1580392448 89260 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32614] ppid=32602 vsize=1543352 CPUtime=2.12
/proc/32604/task/32614/stat : 32614 (java) S 32602 32604 32417 0 -1 4202560 4951 0 0 0 210 2 0 0 15 0 16 0 29583930 1580392448 89260 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32615] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32615/stat : 32615 (java) S 32602 32604 32417 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 16 0 29583930 1580392448 89260 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32616] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32616/stat : 32616 (java) S 32602 32604 32417 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 16 0 29583930 1580392448 89260 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32619] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32619/stat : 32619 (java) S 32602 32604 32417 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 29584023 1580392448 89260 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32620] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32620/stat : 32620 (java) S 32602 32604 32417 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29584026 1580392448 89260 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32633] ppid=32602 vsize=1543352 CPUtime=546.97
/proc/32604/task/32633/stat : 32633 (java) R 32602 32604 32417 0 -1 4202560 422 0 0 0 54678 19 0 0 16 0 16 0 29606713 1580392448 89260 1992294400 134512640 134550932 4293277088 18446744073709551615 4109492366 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32604/tid=32634] ppid=32602 vsize=1543352 CPUtime=543.84
/proc/32604/task/32634/stat : 32634 (java) R 32602 32604 32417 0 -1 4202560 356 0 0 0 54379 5 0 0 25 0 16 0 29606713 1580392448 89260 1992294400 134512640 134550932 4293277088 18446744073709551615 4109341758 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1580.26
Current children cumulated vsize (KiB) 1543352

[startup+882.302 s]
/proc/loadavg: 1.93 1.97 1.64 3/122 32661
/proc/meminfo: memFree=1486804/2059040 swapFree=4140228/4192956
[pid=32604] ppid=32602 vsize=1543352 CPUtime=1694.83
/proc/32604/stat : 32604 (java) S 32602 32604 32417 0 -1 4202496 103964 0 1 0 169335 148 0 0 15 0 16 0 29583920 1580392448 89548 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32604/statm: 385838 89548 1451 10 0 383141 0
[pid=32604/tid=32606] ppid=32602 vsize=1543352 CPUtime=0.53
/proc/32604/task/32606/stat : 32606 (java) S 32602 32604 32417 0 -1 4202560 5208 0 1 0 50 3 0 0 15 0 16 0 29583922 1580392448 89548 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32607] ppid=32602 vsize=1543352 CPUtime=8.45
/proc/32604/task/32607/stat : 32607 (java) S 32602 32604 32417 0 -1 4202560 27515 0 0 0 808 37 0 0 15 0 16 0 29583924 1580392448 89548 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32608] ppid=32602 vsize=1543352 CPUtime=8.44
/proc/32604/task/32608/stat : 32608 (java) S 32602 32604 32417 0 -1 4202560 26102 0 0 0 809 35 0 0 15 0 16 0 29583924 1580392448 89548 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32609] ppid=32602 vsize=1543352 CPUtime=48.08
/proc/32604/task/32609/stat : 32609 (java) S 32602 32604 32417 0 -1 4202560 2767 0 0 0 4794 14 0 0 15 0 16 0 29583925 1580392448 89548 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32610] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32610/stat : 32610 (java) S 32602 32604 32417 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 29583926 1580392448 89548 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32611] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32611/stat : 32611 (java) S 32602 32604 32417 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 29583926 1580392448 89548 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32612] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32612/stat : 32612 (java) S 32602 32604 32417 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 16 0 29583930 1580392448 89548 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32613] ppid=32602 vsize=1543352 CPUtime=1.81
/proc/32604/task/32613/stat : 32613 (java) S 32602 32604 32417 0 -1 4202560 4229 0 0 0 180 1 0 0 15 0 16 0 29583930 1580392448 89548 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32614] ppid=32602 vsize=1543352 CPUtime=2.12
/proc/32604/task/32614/stat : 32614 (java) S 32602 32604 32417 0 -1 4202560 4951 0 0 0 210 2 0 0 15 0 16 0 29583930 1580392448 89548 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32615] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32615/stat : 32615 (java) S 32602 32604 32417 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 16 0 29583930 1580392448 89548 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32616] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32616/stat : 32616 (java) S 32602 32604 32417 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 16 0 29583930 1580392448 89548 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32619] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32619/stat : 32619 (java) S 32602 32604 32417 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 29584023 1580392448 89548 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32620] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32620/stat : 32620 (java) S 32602 32604 32417 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29584026 1580392448 89548 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32633] ppid=32602 vsize=1543352 CPUtime=601.48
/proc/32604/task/32633/stat : 32633 (java) R 32602 32604 32417 0 -1 4202560 463 0 0 0 60128 20 0 0 25 0 16 0 29606713 1580392448 89548 1992294400 134512640 134550932 4293277088 18446744073709551615 4109172293 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32604/tid=32634] ppid=32602 vsize=1543352 CPUtime=598.32
/proc/32604/task/32634/stat : 32634 (java) R 32602 32604 32417 0 -1 4202560 392 0 0 0 59826 6 0 0 25 0 16 0 29606713 1580392448 89548 1992294400 134512640 134550932 4293277088 18446744073709551615 4109561869 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1694.83
Current children cumulated vsize (KiB) 1543352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+938.102 s]
/proc/loadavg: 2.01 1.98 1.65 3/122 32665
/proc/meminfo: memFree=1475644/2059040 swapFree=4140228/4192956
[pid=32604] ppid=32602 vsize=1543352 CPUtime=1800.03
/proc/32604/stat : 32604 (java) S 32602 32604 32417 0 -1 4202496 107499 0 1 0 179846 157 0 0 15 0 16 0 29583920 1580392448 92328 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32604/statm: 385838 92328 1451 10 0 383141 0
[pid=32604/tid=32606] ppid=32602 vsize=1543352 CPUtime=0.54
/proc/32604/task/32606/stat : 32606 (java) S 32602 32604 32417 0 -1 4202560 5212 0 1 0 51 3 0 0 15 0 16 0 29583922 1580392448 92328 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32607] ppid=32602 vsize=1543352 CPUtime=9.05
/proc/32604/task/32607/stat : 32607 (java) S 32602 32604 32417 0 -1 4202560 29152 0 0 0 864 41 0 0 15 0 16 0 29583924 1580392448 92328 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32608] ppid=32602 vsize=1543352 CPUtime=9.06
/proc/32604/task/32608/stat : 32608 (java) S 32602 32604 32417 0 -1 4202560 27920 0 0 0 869 37 0 0 16 0 16 0 29583924 1580392448 92328 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32609] ppid=32602 vsize=1543352 CPUtime=51.91
/proc/32604/task/32609/stat : 32609 (java) S 32602 32604 32417 0 -1 4202560 2775 0 0 0 5176 15 0 0 16 0 16 0 29583925 1580392448 92328 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32610] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32610/stat : 32610 (java) S 32602 32604 32417 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 29583926 1580392448 92328 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32611] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32611/stat : 32611 (java) S 32602 32604 32417 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 29583926 1580392448 92328 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32612] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32612/stat : 32612 (java) S 32602 32604 32417 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 16 0 29583930 1580392448 92328 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32613] ppid=32602 vsize=1543352 CPUtime=1.81
/proc/32604/task/32613/stat : 32613 (java) S 32602 32604 32417 0 -1 4202560 4229 0 0 0 180 1 0 0 15 0 16 0 29583930 1580392448 92328 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32614] ppid=32602 vsize=1543352 CPUtime=2.13
/proc/32604/task/32614/stat : 32614 (java) S 32602 32604 32417 0 -1 4202560 4951 0 0 0 211 2 0 0 15 0 16 0 29583930 1580392448 92328 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32615] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32615/stat : 32615 (java) S 32602 32604 32417 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 16 0 29583930 1580392448 92328 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32616] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32616/stat : 32616 (java) S 32602 32604 32417 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 16 0 29583930 1580392448 92328 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32619] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32619/stat : 32619 (java) S 32602 32604 32417 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 29584023 1580392448 92328 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32620] ppid=32602 vsize=1543352 CPUtime=0
/proc/32604/task/32620/stat : 32620 (java) S 32602 32604 32417 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29584026 1580392448 92328 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32662] ppid=32602 vsize=1543352 CPUtime=49.15
/proc/32604/task/32662/stat : 32662 (java) R 32602 32604 32417 0 -1 4202560 38 0 0 0 4915 0 0 0 23 0 16 0 29672319 1580392448 92328 1992294400 134512640 134550932 4293277088 18446744073709551615 4109412875 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32604/tid=32663] ppid=32602 vsize=1543352 CPUtime=49.26
/proc/32604/task/32663/stat : 32663 (java) R 32602 32604 32417 0 -1 4202560 28 0 0 0 4924 2 0 0 18 0 16 0 29672319 1580392448 92328 1992294400 134512640 134550932 4293277088 18446744073709551615 4109409932 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1543352

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

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

[startup+938.217 s]
/proc/loadavg: 2.01 1.98 1.65 3/124 32668
/proc/meminfo: memFree=1475504/2059040 swapFree=4140228/4192956
[pid=32604] ppid=32602 vsize=1544000 CPUtime=1800.24
/proc/32604/stat : 32604 (java) S 32602 32604 32417 0 -1 4202496 107521 0 1 0 179867 157 0 0 15 0 17 0 29583920 1581056000 92350 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32604/statm: 386000 92350 1453 10 0 383303 0
[pid=32604/tid=32606] ppid=32602 vsize=1544000 CPUtime=0.54
/proc/32604/task/32606/stat : 32606 (java) S 32602 32604 32417 0 -1 4202560 5212 0 1 0 51 3 0 0 15 0 17 0 29583922 1581056000 92350 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32607] ppid=32602 vsize=1544000 CPUtime=9.05
/proc/32604/task/32607/stat : 32607 (java) S 32602 32604 32417 0 -1 4202560 29152 0 0 0 864 41 0 0 15 0 17 0 29583924 1581056000 92350 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32608] ppid=32602 vsize=1544000 CPUtime=9.06
/proc/32604/task/32608/stat : 32608 (java) S 32602 32604 32417 0 -1 4202560 27920 0 0 0 869 37 0 0 16 0 17 0 29583924 1581056000 92350 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32609] ppid=32602 vsize=1544000 CPUtime=51.91
/proc/32604/task/32609/stat : 32609 (java) S 32602 32604 32417 0 -1 4202560 2775 0 0 0 5176 15 0 0 16 0 17 0 29583925 1581056000 92350 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 0 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32610] ppid=32602 vsize=1544000 CPUtime=0
/proc/32604/task/32610/stat : 32610 (java) S 32602 32604 32417 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 17 0 29583926 1581056000 92350 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32611] ppid=32602 vsize=1544000 CPUtime=0
/proc/32604/task/32611/stat : 32611 (java) S 32602 32604 32417 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 17 0 29583926 1581056000 92350 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32612] ppid=32602 vsize=1544000 CPUtime=0
/proc/32604/task/32612/stat : 32612 (java) S 32602 32604 32417 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 17 0 29583930 1581056000 92350 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32613] ppid=32602 vsize=1544000 CPUtime=1.81
/proc/32604/task/32613/stat : 32613 (java) S 32602 32604 32417 0 -1 4202560 4229 0 0 0 180 1 0 0 15 0 17 0 29583930 1581056000 92350 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32614] ppid=32602 vsize=1544000 CPUtime=2.14
/proc/32604/task/32614/stat : 32614 (java) S 32602 32604 32417 0 -1 4202560 4953 0 0 0 212 2 0 0 16 0 17 0 29583930 1581056000 92350 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32615] ppid=32602 vsize=1544000 CPUtime=0
/proc/32604/task/32615/stat : 32615 (java) S 32602 32604 32417 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 17 0 29583930 1581056000 92350 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32616] ppid=32602 vsize=1544000 CPUtime=0
/proc/32604/task/32616/stat : 32616 (java) R 32602 32604 32417 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 17 0 29583930 1581056000 92350 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32604/tid=32619] ppid=32602 vsize=1544000 CPUtime=0
/proc/32604/task/32619/stat : 32619 (java) S 32602 32604 32417 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 17 0 29584023 1581056000 92350 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 1 0 0 0
[pid=32604/tid=32620] ppid=32602 vsize=1544000 CPUtime=0
/proc/32604/task/32620/stat : 32620 (java) S 32602 32604 32417 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 17 0 29584026 1581056000 92350 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
[pid=32604/tid=32662] ppid=32602 vsize=1544000 CPUtime=49.22
/proc/32604/task/32662/stat : 32662 (java) R 32602 32604 32417 0 -1 4202560 38 0 0 0 4922 0 0 0 24 0 17 0 29672319 1581056000 92350 1992294400 134512640 134550932 4293277088 18446744073709551615 4109433935 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32604/tid=32663] ppid=32602 vsize=1544000 CPUtime=49.37
/proc/32604/task/32663/stat : 32663 (java) R 32602 32604 32417 0 -1 4202560 28 0 0 0 4935 2 0 0 19 0 17 0 29672319 1581056000 92350 1992294400 134512640 134550932 4293277088 18446744073709551615 4109409759 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32604/tid=32667] ppid=32602 vsize=1544000 CPUtime=0
/proc/32604/task/32667/stat : 32667 (java) S 32602 32604 32417 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 17 0 29677732 1581056000 92350 1992294400 134512640 134550932 4293277088 18446744073709551615 4294960144 0 4 0 16800975 18446604437831265344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 1544000

Child status: 143
Real time (s): 938.266
CPU time (s): 1800.29
CPU user time (s): 1798.68
CPU system time (s): 1.61175
CPU usage (%): 191.874
Max. virtual memory (cumulated for all children) (KiB): 1544000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.68
system time used= 1.61175
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107522
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= 34584
involuntary context switches= 55130

runsolver used 4.76628 second user time and 10.2334 second system time

The end

Launcher Data 

Begin job on node018 at 2010-06-15 01:47:56
IDJOB=2662549
IDBENCH=2469
IDSOLVER=1166
FILE ID=node018/2662549-1276559276
PBS_JOBID= 11173498
Free space on /tmp= 62368 MiB

SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod013.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662549-1276559276/watcher-2662549-1276559276 -o /tmp/evaluation-result-2662549-1276559276/solver-2662549-1276559276 -C 1800 -W 2000 -M 1800  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662549-1276559276.opb

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

MD5SUM BENCH= 4cb1be2dcc654132071469b521292770
RANDOM SEED=154803458

node018.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.248
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.49
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.248
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1843268 kB
Buffers:         37792 kB
Cached:          91188 kB
SwapCached:       5836 kB
Active:          71220 kB
Inactive:        70184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1843268 kB
SwapTotal:     4192956 kB
SwapFree:      4140228 kB
Dirty:             416 kB
Writeback:           8 kB
AnonPages:       10984 kB
Mapped:          12920 kB
Slab:            52472 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181300 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= 62368 MiB
End job on node018 at 2010-06-15 02:03:36