Trace number 2662092

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-31No Cert. 1804.11 982.984

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir10_area_partials.opb
MD5SUM8e58fdc516472c37b974ebbf77c2a4fa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark52
Best CPU time to get the best result obtained on this benchmark2.46662
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 52
Optimality of the best value was proved YES
Number of variables2091
Total number of constraints7288
Number of constraints which are clauses7288
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint124
Number of terms in the objective function 486
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 486
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 486
Number of bits of the biggest sum of numbers9
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.22	c Pseudo Boolean Optimization
0.22/0.22	c ManyCore solver with 2 solvers running in parallel
0.22/0.22	c --- Begin Solver configuration ---
0.22/0.22	c Stops conflict analysis at the first Unique Implication Point
0.22/0.22	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5
0.22/0.22	c Learn all clauses as in MiniSAT
0.22/0.22	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.22/0.22	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.22/0.22	c Expensive reason simplification
0.22/0.22	c Armin Biere (Picosat) restarts strategy
0.22/0.22	c Glucose learned constraints deletion strategy
0.22/0.22	c timeout=2147483s
0.22/0.22	c DB Simplification allowed=false
0.22/0.22	c --- End Solver configuration ---
0.22/0.22	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.22/0.22	c --- Begin Solver configuration ---
0.22/0.22	c Stops conflict analysis at the first Unique Implication Point
0.22/0.22	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3
0.22/0.22	c Learn all clauses as in MiniSAT
0.22/0.22	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.22/0.22	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.22/0.22	c No reason simplification
0.22/0.22	c Armin Biere (Picosat) restarts strategy
0.22/0.22	c Glucose learned constraints deletion strategy
0.22/0.22	c timeout=2147483s
0.22/0.22	c DB Simplification allowed=false
0.22/0.22	c --- End Solver configuration ---
0.22/0.22	
0.22/0.22	c solving HOME/instance-2662092-1276642904.opb
0.22/0.22	c reading problem ... 
1.72/1.05	c ... done. Wall clock time 0.823s.
1.72/1.05	c #vars     2091
1.72/1.05	c #constraints  7288
1.72/1.05	c constraints type 
1.72/1.05	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1614
1.72/1.05	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5628
1.72/1.05	c constraints type 
1.72/1.05	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 5628
1.72/1.05	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1614
2.10/1.24	c And the winner is CuttingPlanes
2.49/2.16	c SATISFIABLE
2.49/2.16	c OPTIMIZING...
2.49/2.16	c Got one! Elapsed wall clock time (in seconds):1.933
2.49/2.16	o 55
6.77/4.33	c cleaning 2492 clauses out of 5000 with flag 5000/5000
9.68/5.88	c cleaning 4248 clauses out of 8508 with flag 11000/11000
13.20/7.70	c cleaning 5625 clauses out of 11261 with flag 18001/18001
16.90/9.56	c cleaning 6813 clauses out of 13635 with flag 26000/26000
21.98/12.14	c cleaning 7903 clauses out of 15822 with flag 35000/35000
26.64/14.54	c cleaning 8952 clauses out of 17919 with flag 45000/45000
31.52/17.05	c cleaning 9476 clauses out of 18969 with flag 55002/55002
34.19/18.44	c And the winner is Resolution
34.33/19.29	c Got one! Elapsed wall clock time (in seconds):19.068
34.33/19.29	o 54
36.73/20.56	c cleaning 9742 clauses out of 19492 with flag 65001/65001
42.34/23.47	c cleaning 9864 clauses out of 19750 with flag 75001/75001
48.00/26.33	c cleaning 9936 clauses out of 19886 with flag 85001/85001
54.01/29.45	c cleaning 9966 clauses out of 19949 with flag 95000/95000
59.23/32.20	c cleaning 9985 clauses out of 19983 with flag 105000/105000
59.85/32.56	c And the winner is CuttingPlanes
59.98/33.39	c Got one! Elapsed wall clock time (in seconds):33.163
59.98/33.39	o 53
64.77/35.81	c cleaning 9991 clauses out of 19998 with flag 115000/115000
69.59/38.34	c And the winner is CuttingPlanes
69.59/38.40	c cleaning 10001 clauses out of 20012 with flag 125005/125005
69.90/39.56	c Got one! Elapsed wall clock time (in seconds):39.338
69.90/39.56	o 52
74.93/42.18	c cleaning 9996 clauses out of 20006 with flag 135000/135000
79.75/44.69	c cleaning 10000 clauses out of 20010 with flag 145000/145000
84.91/47.39	c cleaning 9991 clauses out of 20010 with flag 155000/155000
90.29/50.11	c cleaning 10002 clauses out of 20020 with flag 165001/165001
95.09/52.63	c cleaning 10001 clauses out of 20019 with flag 175002/175002
100.48/55.47	c cleaning 10004 clauses out of 20016 with flag 185000/185000
106.19/58.41	c cleaning 9998 clauses out of 20015 with flag 195003/195003
112.38/61.67	c cleaning 9993 clauses out of 20014 with flag 205000/205000
118.56/64.84	c cleaning 9996 clauses out of 20022 with flag 215001/215001
123.12/67.21	c cleaning 10006 clauses out of 20025 with flag 225000/225000
127.45/69.57	c cleaning 9999 clauses out of 20019 with flag 235000/235000
132.02/71.98	c cleaning 10007 clauses out of 20020 with flag 245000/245000
137.97/75.03	c cleaning 9993 clauses out of 20013 with flag 255000/255000
143.33/77.81	c cleaning 10003 clauses out of 20021 with flag 265001/265001
148.84/80.72	c cleaning 10002 clauses out of 20017 with flag 275000/275000
154.22/83.53	c cleaning 10001 clauses out of 20015 with flag 285000/285000
161.14/87.15	c cleaning 10004 clauses out of 20015 with flag 295001/295001
167.68/90.56	c cleaning 10004 clauses out of 20010 with flag 305000/305000
173.17/93.48	c cleaning 10001 clauses out of 20009 with flag 315003/315003
178.91/96.44	c cleaning 9986 clauses out of 20005 with flag 325000/325000
184.64/99.41	c cleaning 10004 clauses out of 20020 with flag 335001/335001
189.78/102.18	c cleaning 9992 clauses out of 20015 with flag 345000/345000
195.23/105.01	c cleaning 9996 clauses out of 20023 with flag 355000/355000
200.17/107.63	c cleaning 10005 clauses out of 20027 with flag 365000/365000
205.50/110.43	c cleaning 10000 clauses out of 20024 with flag 375002/375002
210.62/113.20	c cleaning 9998 clauses out of 20023 with flag 385001/385001
216.47/116.28	c cleaning 10002 clauses out of 20024 with flag 395000/395000
222.58/119.45	c cleaning 9995 clauses out of 20023 with flag 405001/405001
228.09/122.36	c cleaning 10003 clauses out of 20028 with flag 415001/415001
233.20/125.02	c cleaning 10000 clauses out of 20024 with flag 425000/425000
238.24/127.78	c cleaning 10002 clauses out of 20024 with flag 435000/435000
244.92/131.25	c cleaning 10005 clauses out of 20022 with flag 445000/445000
251.41/134.60	c cleaning 10002 clauses out of 20017 with flag 455000/455000
257.49/137.89	c cleaning 10004 clauses out of 20016 with flag 465001/465001
262.89/140.79	c cleaning 9998 clauses out of 20011 with flag 475000/475000
268.36/143.63	c cleaning 10003 clauses out of 20015 with flag 485002/485002
273.83/146.57	c cleaning 9993 clauses out of 20010 with flag 495000/495000
279.72/149.65	c cleaning 10004 clauses out of 20017 with flag 505000/505000
286.26/153.14	c cleaning 10000 clauses out of 20014 with flag 515001/515001
293.12/156.74	c cleaning 10001 clauses out of 20014 with flag 525001/525001
299.77/160.21	c cleaning 9996 clauses out of 20012 with flag 535000/535000
306.23/163.64	c cleaning 10004 clauses out of 20022 with flag 545006/545006
312.58/167.09	c cleaning 9996 clauses out of 20013 with flag 555001/555001
319.62/170.76	c cleaning 9994 clauses out of 20016 with flag 565000/565000
326.04/174.18	c cleaning 10005 clauses out of 20024 with flag 575002/575002
332.08/177.38	c cleaning 10001 clauses out of 20017 with flag 585000/585000
338.41/180.72	c cleaning 10003 clauses out of 20018 with flag 595002/595002
344.45/183.95	c cleaning 9993 clauses out of 20013 with flag 605000/605000
350.29/187.01	c cleaning 10001 clauses out of 20020 with flag 615000/615000
355.73/189.95	c cleaning 10004 clauses out of 20020 with flag 625001/625001
361.47/193.02	c cleaning 9997 clauses out of 20015 with flag 635000/635000
366.90/195.92	c cleaning 10000 clauses out of 20018 with flag 645000/645000
371.96/198.70	c cleaning 9996 clauses out of 20018 with flag 655000/655000
377.58/201.64	c cleaning 10003 clauses out of 20022 with flag 665000/665000
383.70/204.93	c cleaning 10010 clauses out of 20021 with flag 675002/675002
390.12/208.35	c cleaning 9996 clauses out of 20010 with flag 685001/685001
397.33/212.16	c cleaning 10005 clauses out of 20015 with flag 695002/695002
404.15/215.74	c cleaning 10001 clauses out of 20008 with flag 705000/705000
410.85/219.35	c cleaning 9993 clauses out of 20007 with flag 715000/715000
417.88/223.07	c cleaning 9996 clauses out of 20014 with flag 725000/725000
424.88/226.72	c cleaning 10003 clauses out of 20019 with flag 735001/735001
431.88/230.41	c cleaning 10001 clauses out of 20016 with flag 745001/745001
438.97/234.22	c cleaning 9997 clauses out of 20014 with flag 755000/755000
446.33/238.12	c cleaning 10006 clauses out of 20023 with flag 765006/765006
453.33/241.84	c cleaning 10002 clauses out of 20011 with flag 775000/775000
460.73/245.71	c cleaning 9995 clauses out of 20009 with flag 785000/785000
467.40/249.32	c cleaning 9993 clauses out of 20015 with flag 795001/795001
473.21/252.42	c cleaning 9995 clauses out of 20021 with flag 805000/805000
479.39/255.72	c cleaning 10004 clauses out of 20026 with flag 815000/815000
485.98/259.23	c cleaning 9996 clauses out of 20022 with flag 825000/825000
493.05/263.01	c cleaning 10000 clauses out of 20027 with flag 835001/835001
500.21/266.84	c cleaning 10005 clauses out of 20026 with flag 845000/845000
507.18/270.52	c cleaning 10010 clauses out of 20026 with flag 855005/855005
514.93/274.68	c cleaning 9980 clauses out of 20011 with flag 865000/865000
521.60/278.22	c cleaning 10012 clauses out of 20032 with flag 875001/875001
527.54/281.41	c cleaning 10005 clauses out of 20021 with flag 885002/885002
533.31/284.59	c cleaning 10005 clauses out of 20014 with flag 895000/895000
539.86/288.07	c cleaning 10001 clauses out of 20011 with flag 905002/905002
546.67/291.77	c cleaning 9994 clauses out of 20010 with flag 915002/915002
553.42/295.32	c cleaning 9995 clauses out of 20015 with flag 925001/925001
558.76/298.25	c cleaning 10006 clauses out of 20019 with flag 935000/935000
564.30/301.24	c cleaning 9999 clauses out of 20013 with flag 945000/945000
570.34/304.50	c cleaning 10000 clauses out of 20014 with flag 955000/955000
576.32/307.79	c cleaning 9998 clauses out of 20016 with flag 965002/965002
582.27/310.97	c cleaning 10004 clauses out of 20017 with flag 975001/975001
588.21/314.12	c cleaning 9985 clauses out of 20012 with flag 985000/985000
594.21/317.45	c cleaning 9995 clauses out of 20027 with flag 995000/995000
599.39/320.28	c cleaning 10010 clauses out of 20034 with flag 1005002/1005002
604.93/323.21	c cleaning 10007 clauses out of 20022 with flag 1015000/1015000
609.90/325.95	c cleaning 9999 clauses out of 20015 with flag 1025000/1025000
615.11/328.89	c cleaning 10004 clauses out of 20018 with flag 1035002/1035002
620.64/331.87	c cleaning 9997 clauses out of 20013 with flag 1045001/1045001
625.99/334.76	c cleaning 10001 clauses out of 20016 with flag 1055001/1055001
631.54/337.72	c cleaning 10001 clauses out of 20015 with flag 1065001/1065001
638.31/341.49	c cleaning 9997 clauses out of 20013 with flag 1075000/1075000
644.83/344.96	c cleaning 10005 clauses out of 20017 with flag 1085001/1085001
651.17/348.37	c cleaning 9995 clauses out of 20011 with flag 1095000/1095000
657.29/351.68	c cleaning 10001 clauses out of 20016 with flag 1105000/1105000
663.69/355.11	c cleaning 9995 clauses out of 20015 with flag 1115000/1115000
670.04/358.55	c cleaning 9998 clauses out of 20021 with flag 1125001/1125001
676.17/361.86	c cleaning 10007 clauses out of 20023 with flag 1135001/1135001
682.07/365.08	c cleaning 10000 clauses out of 20019 with flag 1145004/1145004
688.46/368.55	c cleaning 9988 clauses out of 20015 with flag 1155000/1155000
694.77/371.94	c cleaning 10007 clauses out of 20027 with flag 1165000/1165000
700.70/375.18	c cleaning 10001 clauses out of 20020 with flag 1175000/1175000
706.82/378.42	c cleaning 10007 clauses out of 20021 with flag 1185002/1185002
713.18/381.92	c cleaning 10000 clauses out of 20012 with flag 1195000/1195000
719.47/385.32	c cleaning 9999 clauses out of 20012 with flag 1205000/1205000
725.36/388.55	c cleaning 9989 clauses out of 20013 with flag 1215000/1215000
731.09/391.64	c cleaning 10006 clauses out of 20025 with flag 1225001/1225001
736.86/394.85	c cleaning 9990 clauses out of 20018 with flag 1235000/1235000
742.55/397.91	c cleaning 10005 clauses out of 20029 with flag 1245001/1245001
748.25/401.08	c cleaning 10006 clauses out of 20023 with flag 1255000/1255000
754.55/404.46	c cleaning 9980 clauses out of 20018 with flag 1265001/1265001
760.92/407.91	c cleaning 10010 clauses out of 20038 with flag 1275001/1275001
766.83/411.17	c cleaning 10006 clauses out of 20029 with flag 1285002/1285002
773.33/414.67	c cleaning 9996 clauses out of 20021 with flag 1295000/1295000
780.19/418.33	c cleaning 9995 clauses out of 20025 with flag 1305000/1305000
786.55/421.87	c cleaning 10012 clauses out of 20030 with flag 1315000/1315000
793.05/425.39	c cleaning 9988 clauses out of 20018 with flag 1325000/1325000
799.13/428.65	c cleaning 10013 clauses out of 20032 with flag 1335002/1335002
805.63/432.16	c cleaning 9995 clauses out of 20017 with flag 1345000/1345000
812.16/435.75	c cleaning 10009 clauses out of 20024 with flag 1355002/1355002
818.24/439.08	c cleaning 10002 clauses out of 20013 with flag 1365000/1365000
824.32/442.35	c cleaning 9991 clauses out of 20012 with flag 1375001/1375001
831.01/445.98	c cleaning 10000 clauses out of 20020 with flag 1385000/1385000
837.54/449.51	c cleaning 10005 clauses out of 20020 with flag 1395000/1395000
844.24/453.13	c cleaning 10002 clauses out of 20015 with flag 1405000/1405000
850.70/456.60	c cleaning 9996 clauses out of 20013 with flag 1415000/1415000
856.38/459.78	c cleaning 9990 clauses out of 20017 with flag 1425000/1425000
863.28/463.51	c cleaning 10002 clauses out of 20028 with flag 1435001/1435001
869.57/466.91	c cleaning 10008 clauses out of 20026 with flag 1445001/1445001
875.26/470.01	c cleaning 10005 clauses out of 20019 with flag 1455002/1455002
880.96/473.14	c cleaning 9995 clauses out of 20014 with flag 1465002/1465002
886.84/476.44	c cleaning 10004 clauses out of 20019 with flag 1475002/1475002
892.54/479.59	c cleaning 9982 clauses out of 20013 with flag 1485000/1485000
898.21/482.68	c cleaning 10007 clauses out of 20032 with flag 1495001/1495001
903.90/485.73	c cleaning 10002 clauses out of 20024 with flag 1505000/1505000
909.83/489.00	c cleaning 9998 clauses out of 20022 with flag 1515000/1515000
915.71/492.20	c cleaning 9995 clauses out of 20024 with flag 1525000/1525000
921.59/495.41	c cleaning 10006 clauses out of 20029 with flag 1535000/1535000
927.48/498.63	c cleaning 10001 clauses out of 20025 with flag 1545002/1545002
933.60/502.01	c cleaning 9983 clauses out of 20022 with flag 1555000/1555000
939.48/505.28	c cleaning 10012 clauses out of 20039 with flag 1565000/1565000
945.54/508.57	c cleaning 9994 clauses out of 20027 with flag 1575000/1575000
952.40/512.21	c cleaning 9989 clauses out of 20033 with flag 1585000/1585000
960.29/516.56	c cleaning 10015 clauses out of 20044 with flag 1595000/1595000
968.32/520.82	c cleaning 10004 clauses out of 20029 with flag 1605000/1605000
974.19/524.01	c cleaning 10006 clauses out of 20026 with flag 1615001/1615001
980.03/527.29	c cleaning 9997 clauses out of 20020 with flag 1625001/1625001
986.51/530.86	c cleaning 10004 clauses out of 20024 with flag 1635002/1635002
992.55/534.17	c cleaning 10001 clauses out of 20019 with flag 1645001/1645001
998.80/537.52	c cleaning 9995 clauses out of 20017 with flag 1655000/1655000
1004.84/540.86	c cleaning 9991 clauses out of 20023 with flag 1665001/1665001
1010.92/544.27	c cleaning 9998 clauses out of 20033 with flag 1675002/1675002
1017.38/547.76	c cleaning 10006 clauses out of 20034 with flag 1685001/1685001
1023.80/551.28	c cleaning 10004 clauses out of 20027 with flag 1695000/1695000
1030.44/554.84	c cleaning 9992 clauses out of 20023 with flag 1705000/1705000
1037.12/558.56	c cleaning 10007 clauses out of 20033 with flag 1715002/1715002
1043.96/562.21	c cleaning 9997 clauses out of 20026 with flag 1725002/1725002
1050.83/565.94	c cleaning 10007 clauses out of 20029 with flag 1735002/1735002
1057.08/569.34	c cleaning 10004 clauses out of 20023 with flag 1745003/1745003
1063.15/572.76	c cleaning 10001 clauses out of 20016 with flag 1755000/1755000
1068.60/575.77	c cleaning 9998 clauses out of 20016 with flag 1765001/1765001
1075.05/579.21	c cleaning 9998 clauses out of 20017 with flag 1775000/1775000
1081.48/582.71	c cleaning 10003 clauses out of 20019 with flag 1785000/1785000
1088.36/586.55	c cleaning 9994 clauses out of 20017 with flag 1795001/1795001
1094.98/590.15	c cleaning 9997 clauses out of 20022 with flag 1805000/1805000
1102.02/593.98	c cleaning 10006 clauses out of 20026 with flag 1815001/1815001
1109.04/597.74	c cleaning 9995 clauses out of 20019 with flag 1825000/1825000
1116.45/601.82	c cleaning 9992 clauses out of 20025 with flag 1835001/1835001
1123.67/605.72	c cleaning 9998 clauses out of 20032 with flag 1845000/1845000
1129.90/609.19	c cleaning 9996 clauses out of 20034 with flag 1855000/1855000
1136.92/612.97	c cleaning 10011 clauses out of 20038 with flag 1865000/1865000
1144.18/616.97	c cleaning 10002 clauses out of 20028 with flag 1875001/1875001
1151.80/621.00	c cleaning 10003 clauses out of 20027 with flag 1885002/1885002
1159.04/624.94	c cleaning 9999 clauses out of 20022 with flag 1895000/1895000
1165.09/628.21	c cleaning 9994 clauses out of 20023 with flag 1905000/1905000
1171.97/632.01	c cleaning 9992 clauses out of 20032 with flag 1915003/1915003
1178.63/635.64	c cleaning 10014 clauses out of 20039 with flag 1925002/1925002
1185.47/639.35	c cleaning 10004 clauses out of 20023 with flag 1935000/1935000
1192.11/642.95	c cleaning 10003 clauses out of 20022 with flag 1945003/1945003
1199.32/646.94	c cleaning 10003 clauses out of 20017 with flag 1955001/1955001
1205.96/650.53	c cleaning 9995 clauses out of 20015 with flag 1965002/1965002
1212.99/654.37	c cleaning 9966 clauses out of 20019 with flag 1975001/1975001
1218.63/657.41	c cleaning 10019 clauses out of 20053 with flag 1985001/1985001
1224.09/660.51	c cleaning 10007 clauses out of 20034 with flag 1995001/1995001
1229.34/663.49	c cleaning 9990 clauses out of 20026 with flag 2005000/2005000
1235.77/666.91	c cleaning 10009 clauses out of 20036 with flag 2015000/2015000
1241.42/670.03	c cleaning 10009 clauses out of 20028 with flag 2025001/2025001
1246.90/673.17	c cleaning 10002 clauses out of 20018 with flag 2035000/2035000
1252.53/676.25	c cleaning 9997 clauses out of 20017 with flag 2045001/2045001
1258.38/679.44	c cleaning 9997 clauses out of 20020 with flag 2055001/2055001
1264.22/682.65	c cleaning 10008 clauses out of 20024 with flag 2065002/2065002
1269.69/685.76	c cleaning 10000 clauses out of 20014 with flag 2075000/2075000
1275.13/688.77	c cleaning 10001 clauses out of 20014 with flag 2085000/2085000
1281.77/692.31	c cleaning 10002 clauses out of 20014 with flag 2095001/2095001
1287.81/695.65	c cleaning 9999 clauses out of 20014 with flag 2105003/2105003
1294.47/699.34	c cleaning 9988 clauses out of 20012 with flag 2115000/2115000
1300.51/702.63	c cleaning 10005 clauses out of 20024 with flag 2125000/2125000
1306.36/705.88	c cleaning 10002 clauses out of 20019 with flag 2135000/2135000
1312.60/709.29	c cleaning 9999 clauses out of 20017 with flag 2145000/2145000
1319.06/712.85	c cleaning 9991 clauses out of 20018 with flag 2155000/2155000
1325.47/716.38	c cleaning 9994 clauses out of 20027 with flag 2165000/2165000
1332.09/719.92	c cleaning 10009 clauses out of 20033 with flag 2175000/2175000
1338.09/723.28	c cleaning 9999 clauses out of 20024 with flag 2185000/2185000
1344.92/727.03	c cleaning 10006 clauses out of 20026 with flag 2195001/2195001
1351.51/730.64	c cleaning 9994 clauses out of 20019 with flag 2205000/2205000
1358.31/734.34	c cleaning 10002 clauses out of 20028 with flag 2215003/2215003
1364.73/737.88	c cleaning 10006 clauses out of 20026 with flag 2225003/2225003
1370.94/741.40	c cleaning 10004 clauses out of 20022 with flag 2235005/2235005
1377.33/744.83	c cleaning 9994 clauses out of 20014 with flag 2245001/2245001
1384.12/748.55	c cleaning 9999 clauses out of 20021 with flag 2255002/2255002
1390.92/752.29	c cleaning 10003 clauses out of 20020 with flag 2265000/2265000
1397.51/755.96	c cleaning 10004 clauses out of 20019 with flag 2275002/2275002
1403.12/759.06	c cleaning 9995 clauses out of 20014 with flag 2285001/2285001
1408.90/762.21	c cleaning 10003 clauses out of 20021 with flag 2295003/2295003
1414.29/765.22	c cleaning 9997 clauses out of 20015 with flag 2305000/2305000
1420.28/768.62	c cleaning 10000 clauses out of 20022 with flag 2315004/2315004
1425.67/771.69	c cleaning 10001 clauses out of 20019 with flag 2325001/2325001
1431.28/774.76	c cleaning 9985 clauses out of 20017 with flag 2335000/2335000
1437.05/777.97	c cleaning 10006 clauses out of 20033 with flag 2345001/2345001
1443.44/781.50	c cleaning 9988 clauses out of 20026 with flag 2355000/2355000
1449.23/784.77	c cleaning 10008 clauses out of 20038 with flag 2365000/2365000
1455.79/788.30	c cleaning 10006 clauses out of 20032 with flag 2375002/2375002
1461.97/791.77	c cleaning 9995 clauses out of 20024 with flag 2385000/2385000
1468.16/795.29	c cleaning 10001 clauses out of 20029 with flag 2395000/2395000
1474.08/798.60	c cleaning 9997 clauses out of 20028 with flag 2405000/2405000
1480.38/802.02	c cleaning 9994 clauses out of 20031 with flag 2415000/2415000
1486.31/805.39	c cleaning 10015 clauses out of 20038 with flag 2425001/2425001
1492.85/809.06	c cleaning 10003 clauses out of 20023 with flag 2435001/2435001
1498.82/812.37	c cleaning 10004 clauses out of 20020 with flag 2445001/2445001
1505.17/815.83	c cleaning 9987 clauses out of 20015 with flag 2455000/2455000
1511.74/819.44	c cleaning 10006 clauses out of 20028 with flag 2465000/2465000
1518.05/823.05	c cleaning 10002 clauses out of 20022 with flag 2475000/2475000
1524.20/826.48	c cleaning 10007 clauses out of 20023 with flag 2485003/2485003
1530.35/829.84	c cleaning 9998 clauses out of 20013 with flag 2495000/2495000
1536.70/833.36	c cleaning 9994 clauses out of 20015 with flag 2505000/2505000
1543.63/837.24	c cleaning 10004 clauses out of 20022 with flag 2515001/2515001
1550.38/840.98	c cleaning 10004 clauses out of 20019 with flag 2525002/2525002
1557.71/844.98	c cleaning 9996 clauses out of 20014 with flag 2535001/2535001
1564.45/848.61	c cleaning 10002 clauses out of 20017 with flag 2545000/2545000
1571.18/852.44	c cleaning 9993 clauses out of 20016 with flag 2555001/2555001
1578.05/856.23	c cleaning 9996 clauses out of 20024 with flag 2565002/2565002
1584.56/859.83	c cleaning 10005 clauses out of 20026 with flag 2575000/2575000
1591.28/863.54	c cleaning 10003 clauses out of 20023 with flag 2585002/2585002
1598.94/867.83	c cleaning 9981 clauses out of 20020 with flag 2595002/2595002
1605.63/871.53	c cleaning 10015 clauses out of 20039 with flag 2605002/2605002
1611.93/875.01	c cleaning 9977 clauses out of 20022 with flag 2615000/2615000
1618.43/878.67	c cleaning 10013 clauses out of 20045 with flag 2625000/2625000
1625.28/882.55	c cleaning 9995 clauses out of 20036 with flag 2635004/2635004
1631.79/886.12	c cleaning 10011 clauses out of 20037 with flag 2645000/2645000
1637.90/889.57	c cleaning 10003 clauses out of 20026 with flag 2655000/2655000
1644.61/893.21	c cleaning 10001 clauses out of 20023 with flag 2665000/2665000
1651.07/896.95	c cleaning 10009 clauses out of 20023 with flag 2675001/2675001
1657.17/900.39	c cleaning 10002 clauses out of 20013 with flag 2685000/2685000
1663.25/903.73	c cleaning 10001 clauses out of 20017 with flag 2695006/2695006
1669.56/907.27	c cleaning 9996 clauses out of 20010 with flag 2705000/2705000
1676.02/910.96	c cleaning 9997 clauses out of 20015 with flag 2715001/2715001
1681.94/914.25	c cleaning 9990 clauses out of 20017 with flag 2725000/2725000
1688.23/917.73	c cleaning 10001 clauses out of 20027 with flag 2735000/2735000
1694.72/921.34	c cleaning 10005 clauses out of 20027 with flag 2745001/2745001
1701.14/925.09	c cleaning 9998 clauses out of 20022 with flag 2755001/2755001
1708.02/928.84	c cleaning 9996 clauses out of 20023 with flag 2765000/2765000
1715.35/932.82	c cleaning 10002 clauses out of 20027 with flag 2775000/2775000
1721.82/936.48	c cleaning 9994 clauses out of 20025 with flag 2785000/2785000
1728.51/940.24	c cleaning 10011 clauses out of 20031 with flag 2795000/2795000
1734.41/943.51	c cleaning 10004 clauses out of 20026 with flag 2805006/2805006
1740.11/946.80	c cleaning 9998 clauses out of 20016 with flag 2815000/2815000
1746.22/950.16	c cleaning 10002 clauses out of 20018 with flag 2825000/2825000
1752.49/953.73	c cleaning 10000 clauses out of 20016 with flag 2835000/2835000
1758.18/956.94	c cleaning 10004 clauses out of 20019 with flag 2845003/2845003
1763.87/960.17	c cleaning 9998 clauses out of 20013 with flag 2855001/2855001
1769.55/963.36	c cleaning 9998 clauses out of 20014 with flag 2865000/2865000
1775.22/966.61	c cleaning 9993 clauses out of 20016 with flag 2875000/2875000
1780.90/969.84	c cleaning 10005 clauses out of 20023 with flag 2885000/2885000
1786.79/973.15	c cleaning 9996 clauses out of 20018 with flag 2895000/2895000
1792.87/976.55	c cleaning 10000 clauses out of 20022 with flag 2905000/2905000
1799.12/980.18	c cleaning 10006 clauses out of 20022 with flag 2915000/2915000
1803.98/982.91	c starts		: 23
1803.98/982.91	c conflicts		: 3879
1803.98/982.91	c decisions		: 33669
1803.98/982.91	c propagations		: 524628
1803.98/982.91	c inspects		: 89145200
1803.98/982.91	c learnt literals	: 0
1803.98/982.91	c learnt binary clauses	: 0
1803.98/982.91	c learnt ternary clauses	: 0
1803.98/982.91	c learnt clauses	: 3878
1803.98/982.91	c ignored clauses	: 0
1803.98/982.91	c root simplifications	: 0
1803.98/982.91	c removed literals (reason simplification)	: 0
1803.98/982.91	c reason swapping (by a shorter reason)	: 0
1803.98/982.91	c Calls to reduceDB	: 0
1803.98/982.91	c number of reductions to clauses (during analyze)	: 0
1803.98/982.91	c number of learned constraints concerned by reduction	: 0
1803.98/982.91	c number of learning phase by resolution	: 0
1803.98/982.91	c number of learning phase by cutting planes	: 0
1803.98/982.91	c speed (assignments/second)	: 556.138825874022
1803.98/982.91	c non guided choices	0
1803.98/982.91	c learnt constraints type 
1803.98/982.91	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 2
1803.98/982.91	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 14
1803.98/982.91	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3862
1803.98/982.91	c constraints type 
1803.98/982.91	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1614
1803.98/982.91	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1803.98/982.91	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5628
1803.98/982.91	c constraints type 
1803.98/982.91	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 5628
1803.98/982.91	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1614
1803.98/982.91	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1803.98/982.91	s SATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662092-1276642904/watcher-2662092-1276642904 -o /tmp/evaluation-result-2662092-1276642904/solver-2662092-1276642904 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662092-1276642904.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.00 3/106 11989
/proc/meminfo: memFree=1815948/2059040 swapFree=4144492/4192956
[pid=11989] ppid=11987 vsize=248 CPUtime=0
/proc/11989/stat : 11989 (java6) R 11987 11989 11469 0 -1 4194304 110 0 0 0 0 0 0 0 19 0 1 0 5578488 253952 29 1992294400 134512640 134550932 4289846960 18446744073709551615 1196510 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11989/statm: 62 29 21 10 0 23 0

[startup+0.0512851 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11989
/proc/meminfo: memFree=1815948/2059040 swapFree=4144492/4192956
[pid=11989] ppid=11987 vsize=1521016 CPUtime=0.04
/proc/11989/stat : 11989 (java) S 11987 11989 11469 0 -1 4202496 3483 0 1 0 2 2 0 0 15 0 5 0 5578488 1557520384 2925 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/11989/statm: 380254 2926 984 10 0 377564 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1521016

[startup+0.100287 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11989
/proc/meminfo: memFree=1815948/2059040 swapFree=4144492/4192956
[pid=11989] ppid=11987 vsize=1524020 CPUtime=0.08
/proc/11989/stat : 11989 (java) S 11987 11989 11469 0 -1 4202496 3935 0 1 0 6 2 0 0 15 0 12 0 5578488 1560596480 3373 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11989/statm: 381005 3373 1072 10 0 378308 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524020

[startup+0.300292 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11989
/proc/meminfo: memFree=1815948/2059040 swapFree=4144492/4192956
[pid=11989] ppid=11987 vsize=1526444 CPUtime=0.35
/proc/11989/stat : 11989 (java) S 11987 11989 11469 0 -1 4202496 5387 0 1 0 32 3 0 0 15 0 12 0 5578488 1563078656 4823 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11989/statm: 381611 4823 1358 10 0 378914 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 1526444

[startup+0.700302 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11989
/proc/meminfo: memFree=1815948/2059040 swapFree=4144492/4192956
[pid=11989] ppid=11987 vsize=1529304 CPUtime=1.11
/proc/11989/stat : 11989 (java) S 11987 11989 11469 0 -1 4202496 7764 0 1 0 107 4 0 0 15 0 12 0 5578488 1566007296 6998 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11989/statm: 382326 6998 1393 10 0 379629 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 1529304

[startup+1.50132 s]
/proc/loadavg: 1.00 1.00 1.00 5/118 12001
/proc/meminfo: memFree=1780388/2059040 swapFree=4144492/4192956
[pid=11989] ppid=11987 vsize=1536600 CPUtime=2.49
/proc/11989/stat : 11989 (java) S 11987 11989 11469 0 -1 4202496 14484 0 1 0 238 11 0 0 15 0 14 0 5578488 1573478400 11301 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11989/statm: 384150 11301 1417 10 0 381453 0
[pid=11989/tid=11991] ppid=11987 vsize=1536600 CPUtime=1
/proc/11989/task/11991/stat : 11991 (java) S 11987 11989 11469 0 -1 4202560 7442 0 1 0 97 3 0 0 25 0 14 0 5578489 1573478400 11301 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11992] ppid=11987 vsize=1536600 CPUtime=0
/proc/11989/task/11992/stat : 11992 (java) S 11987 11989 11469 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 14 0 5578491 1573478400 11301 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11993] ppid=11987 vsize=1536600 CPUtime=0
/proc/11989/task/11993/stat : 11993 (java) S 11987 11989 11469 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 14 0 5578491 1573478400 11301 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11994] ppid=11987 vsize=1536600 CPUtime=0.08
/proc/11989/task/11994/stat : 11994 (java) S 11987 11989 11469 0 -1 4202560 1 0 0 0 4 4 0 0 18 0 14 0 5578492 1573478400 11301 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11995] ppid=11987 vsize=1536600 CPUtime=0
/proc/11989/task/11995/stat : 11995 (java) S 11987 11989 11469 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 14 0 5578493 1573478400 11301 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11996] ppid=11987 vsize=1536600 CPUtime=0
/proc/11989/task/11996/stat : 11996 (java) S 11987 11989 11469 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 14 0 5578493 1573478400 11301 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11997] ppid=11987 vsize=1536600 CPUtime=0
/proc/11989/task/11997/stat : 11997 (java) S 11987 11989 11469 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 14 0 5578497 1573478400 11301 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11998] ppid=11987 vsize=1536600 CPUtime=0.24
/proc/11989/task/11998/stat : 11998 (java) S 11987 11989 11469 0 -1 4202560 353 0 0 0 24 0 0 0 18 0 14 0 5578497 1573478400 11301 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11999] ppid=11987 vsize=1536600 CPUtime=1.03
/proc/11989/task/11999/stat : 11999 (java) S 11987 11989 11469 0 -1 4202560 5273 0 0 0 102 1 0 0 17 0 14 0 5578497 1573478400 11301 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=12000] ppid=11987 vsize=1536600 CPUtime=0
/proc/11989/task/12000/stat : 12000 (java) S 11987 11989 11469 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 14 0 5578497 1573478400 11301 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=12001] ppid=11987 vsize=1536600 CPUtime=0
/proc/11989/task/12001/stat : 12001 (java) S 11987 11989 11469 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 5578497 1573478400 11301 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 1536600

[startup+3.10143 s]
/proc/loadavg: 0.92 0.98 0.99 1/120 12005
/proc/meminfo: memFree=1775164/2059040 swapFree=4144492/4192956
[pid=11989] ppid=11987 vsize=1540684 CPUtime=4.38
/proc/11989/stat : 11989 (java) S 11987 11989 11469 0 -1 4202496 17869 0 1 0 425 13 0 0 15 0 16 0 5578488 1577660416 13017 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11989/statm: 385171 13017 1428 10 0 382474 0
[pid=11989/tid=11991] ppid=11987 vsize=1540684 CPUtime=1.01
/proc/11989/task/11991/stat : 11991 (java) S 11987 11989 11469 0 -1 4202560 7518 0 1 0 98 3 0 0 19 0 16 0 5578489 1577660416 13017 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11992] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/11992/stat : 11992 (java) S 11987 11989 11469 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 16 0 5578491 1577660416 13017 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11993] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/11993/stat : 11993 (java) S 11987 11989 11469 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 16 0 5578491 1577660416 13017 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11994] ppid=11987 vsize=1540684 CPUtime=0.08
/proc/11989/task/11994/stat : 11994 (java) S 11987 11989 11469 0 -1 4202560 1 0 0 0 4 4 0 0 17 0 16 0 5578492 1577660416 13017 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11995] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/11995/stat : 11995 (java) S 11987 11989 11469 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 16 0 5578493 1577660416 13017 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11996] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/11996/stat : 11996 (java) S 11987 11989 11469 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 16 0 5578493 1577660416 13017 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11997] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/11997/stat : 11997 (java) S 11987 11989 11469 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 16 0 5578497 1577660416 13017 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11998] ppid=11987 vsize=1540684 CPUtime=0.81
/proc/11989/task/11998/stat : 11998 (java) S 11987 11989 11469 0 -1 4202560 670 0 0 0 81 0 0 0 16 0 16 0 5578497 1577660416 13018 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11999] ppid=11987 vsize=1540684 CPUtime=1.82
/proc/11989/task/11999/stat : 11999 (java) R 11987 11989 11469 0 -1 4202560 7610 0 0 0 179 3 0 0 16 0 16 0 5578497 1577660416 13018 1992294400 134512640 134550932 4290080960 18446744073709551615 103130977 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11989/tid=12000] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/12000/stat : 12000 (java) S 11987 11989 11469 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 5578497 1577660416 13018 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=12001] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/12001/stat : 12001 (java) S 11987 11989 11469 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 5578497 1577660416 13018 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=12004] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/12004/stat : 12004 (java) S 11987 11989 11469 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 5578609 1577660416 13018 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=12005] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/12005/stat : 12005 (java) S 11987 11989 11469 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 5578612 1577660416 13018 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 1540684

[startup+6.3019 s]
/proc/loadavg: 0.92 0.98 0.99 3/122 12007
/proc/meminfo: memFree=1663796/2059040 swapFree=4144492/4192956
[pid=11989] ppid=11987 vsize=1540684 CPUtime=10.62
/proc/11989/stat : 11989 (java) S 11987 11989 11469 0 -1 4202496 45001 0 1 0 1037 25 0 0 15 0 16 0 5578488 1577660416 40135 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11989/statm: 385171 40135 1447 10 0 382474 0
[pid=11989/tid=11991] ppid=11987 vsize=1540684 CPUtime=1.01
/proc/11989/task/11991/stat : 11991 (java) S 11987 11989 11469 0 -1 4202560 7518 0 1 0 98 3 0 0 18 0 16 0 5578489 1577660416 40135 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11992] ppid=11987 vsize=1540684 CPUtime=0.03
/proc/11989/task/11992/stat : 11992 (java) S 11987 11989 11469 0 -1 4202560 777 0 0 0 3 0 0 0 16 0 16 0 5578491 1577660416 40135 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11993] ppid=11987 vsize=1540684 CPUtime=0.03
/proc/11989/task/11993/stat : 11993 (java) S 11987 11989 11469 0 -1 4202560 842 0 0 0 3 0 0 0 15 0 16 0 5578491 1577660416 40135 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11994] ppid=11987 vsize=1540684 CPUtime=0.18
/proc/11989/task/11994/stat : 11994 (java) S 11987 11989 11469 0 -1 4202560 1758 0 0 0 14 4 0 0 16 0 16 0 5578492 1577660416 40135 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11995] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/11995/stat : 11995 (java) S 11987 11989 11469 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 5578493 1577660416 40135 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11996] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/11996/stat : 11996 (java) S 11987 11989 11469 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 5578493 1577660416 40135 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11997] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/11997/stat : 11997 (java) S 11987 11989 11469 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 16 0 5578497 1577660416 40135 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11998] ppid=11987 vsize=1540684 CPUtime=1.08
/proc/11989/task/11998/stat : 11998 (java) S 11987 11989 11469 0 -1 4202560 697 0 0 0 108 0 0 0 15 0 16 0 5578497 1577660416 40135 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11999] ppid=11987 vsize=1540684 CPUtime=2.67
/proc/11989/task/11999/stat : 11999 (java) S 11987 11989 11469 0 -1 4202560 7697 0 0 0 264 3 0 0 15 0 16 0 5578497 1577660416 40135 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=12000] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/12000/stat : 12000 (java) S 11987 11989 11469 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 5578497 1577660416 40135 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=12001] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/12001/stat : 12001 (java) S 11987 11989 11469 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 5578497 1577660416 40135 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=12004] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/12004/stat : 12004 (java) S 11987 11989 11469 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 5578609 1577660416 40135 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=12005] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/12005/stat : 12005 (java) S 11987 11989 11469 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 5578612 1577660416 40135 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=12006] ppid=11987 vsize=1540684 CPUtime=3.16
/proc/11989/task/12006/stat : 12006 (java) R 11987 11989 11469 0 -1 4202560 617 0 0 0 316 0 0 0 25 0 16 0 5578705 1577660416 40135 1992294400 134512640 134550932 4290080960 18446744073709551615 4109188569 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11989/tid=12007] ppid=11987 vsize=1540684 CPUtime=2.28
/proc/11989/task/12007/stat : 12007 (java) R 11987 11989 11469 0 -1 4202560 23681 0 0 0 218 10 0 0 25 0 16 0 5578705 1577660416 40135 1992294400 134512640 134550932 4290080960 18446744073709551615 4109692628 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.62
Current children cumulated vsize (KiB) 1540684

[startup+12.7018 s]
/proc/loadavg: 1.16 1.03 1.01 3/122 12007
/proc/meminfo: memFree=1629448/2059040 swapFree=4144492/4192956
[pid=11989] ppid=11987 vsize=1540684 CPUtime=23.08
/proc/11989/stat : 11989 (java) S 11987 11989 11469 0 -1 4202496 54238 0 1 0 2278 30 0 0 15 0 16 0 5578488 1577660416 49123 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11989/statm: 385171 49123 1447 10 0 382474 0
[pid=11989/tid=11991] ppid=11987 vsize=1540684 CPUtime=1.01
/proc/11989/task/11991/stat : 11991 (java) S 11987 11989 11469 0 -1 4202560 7518 0 1 0 98 3 0 0 18 0 16 0 5578489 1577660416 49123 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11992] ppid=11987 vsize=1540684 CPUtime=0.15
/proc/11989/task/11992/stat : 11992 (java) S 11987 11989 11469 0 -1 4202560 2887 0 0 0 14 1 0 0 16 0 16 0 5578491 1577660416 49123 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11993] ppid=11987 vsize=1540684 CPUtime=0.15
/proc/11989/task/11993/stat : 11993 (java) S 11987 11989 11469 0 -1 4202560 3265 0 0 0 14 1 0 0 15 0 16 0 5578491 1577660416 49123 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11994] ppid=11987 vsize=1540684 CPUtime=0.42
/proc/11989/task/11994/stat : 11994 (java) S 11987 11989 11469 0 -1 4202560 3178 0 0 0 37 5 0 0 16 0 16 0 5578492 1577660416 49123 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11995] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/11995/stat : 11995 (java) S 11987 11989 11469 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 5578493 1577660416 49123 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11996] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/11996/stat : 11996 (java) S 11987 11989 11469 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 5578493 1577660416 49123 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11997] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/11997/stat : 11997 (java) S 11987 11989 11469 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 16 0 5578497 1577660416 49123 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11998] ppid=11987 vsize=1540684 CPUtime=1.11
/proc/11989/task/11998/stat : 11998 (java) S 11987 11989 11469 0 -1 4202560 698 0 0 0 111 0 0 0 16 0 16 0 5578497 1577660416 49123 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11999] ppid=11987 vsize=1540684 CPUtime=2.94
/proc/11989/task/11999/stat : 11999 (java) S 11987 11989 11469 0 -1 4202560 7714 0 0 0 291 3 0 0 15 0 16 0 5578497 1577660416 49123 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=12000] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/12000/stat : 12000 (java) S 11987 11989 11469 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 5578497 1577660416 49123 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=12001] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/12001/stat : 12001 (java) S 11987 11989 11469 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 5578497 1577660416 49123 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=12004] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/12004/stat : 12004 (java) S 11987 11989 11469 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 5578609 1577660416 49123 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=12005] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/12005/stat : 12005 (java) S 11987 11989 11469 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 5578612 1577660416 49123 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=12006] ppid=11987 vsize=1540684 CPUtime=9.16
/proc/11989/task/12006/stat : 12006 (java) R 11987 11989 11469 0 -1 4202560 636 0 0 0 916 0 0 0 25 0 16 0 5578705 1577660416 49123 1992294400 134512640 134550932 4290080960 18446744073709551615 4109486964 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11989/tid=12007] ppid=11987 vsize=1540684 CPUtime=7.95
/proc/11989/task/12007/stat : 12007 (java) R 11987 11989 11469 0 -1 4202560 26928 0 0 0 784 11 0 0 19 0 16 0 5578705 1577660416 49123 1992294400 134512640 134550932 4290080960 18446744073709551615 4109693523 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.08
Current children cumulated vsize (KiB) 1540684

[startup+25.5026 s]

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

/proc/11989/task/12014/stat : 12014 (java) R 11987 11989 11469 0 -1 4202560 572 0 0 0 78315 9 0 0 16 0 16 0 5582445 1577660416 111758 1992294400 134512640 134550932 4290080960 18446744073709551615 4109441897 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11989/tid=12015] ppid=11987 vsize=1540684 CPUtime=779.3
/proc/11989/task/12015/stat : 12015 (java) R 11987 11989 11469 0 -1 4202560 198 0 0 0 77919 11 0 0 16 0 16 0 5582445 1577660416 111758 1992294400 134512640 134550932 4290080960 18446744073709551615 4109966117 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1540684

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -11989

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

[startup+982.202 s]
/proc/loadavg: 3.01 2.65 2.05 7/123 12040
/proc/meminfo: memFree=1370528/2059040 swapFree=4144492/4192956
[pid=11989] ppid=11987 vsize=1540684 CPUtime=1802.6
/proc/11989/stat : 11989 (java) S 11987 11989 11469 0 -1 4202496 124369 0 1 0 180131 129 0 0 15 0 16 0 5578488 1577660416 111758 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11989/statm: 385171 111758 1451 10 0 382474 0
[pid=11989/tid=11991] ppid=11987 vsize=1540684 CPUtime=1.04
/proc/11989/task/11991/stat : 11991 (java) S 11987 11989 11469 0 -1 4202560 7574 0 1 0 100 4 0 0 15 0 16 0 5578489 1577660416 111758 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11992] ppid=11987 vsize=1540684 CPUtime=14.74
/proc/11989/task/11992/stat : 11992 (java) S 11987 11989 11469 0 -1 4202560 33195 0 0 0 1440 34 0 0 15 0 16 0 5578491 1577660416 111758 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11993] ppid=11987 vsize=1540684 CPUtime=14.76
/proc/11989/task/11993/stat : 11993 (java) S 11987 11989 11469 0 -1 4202560 34356 0 0 0 1442 34 0 0 15 0 16 0 5578491 1577660416 111758 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11994] ppid=11987 vsize=1540684 CPUtime=140.37
/proc/11989/task/11994/stat : 11994 (java) S 11987 11989 11469 0 -1 4202560 10992 0 0 0 14021 16 0 0 15 0 16 0 5578492 1577660416 111758 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11995] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/11995/stat : 11995 (java) S 11987 11989 11469 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 5578493 1577660416 111758 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11996] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/11996/stat : 11996 (java) S 11987 11989 11469 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 5578493 1577660416 111758 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11997] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/11997/stat : 11997 (java) R 11987 11989 11469 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 16 0 5578497 1577660416 111758 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11989/tid=11998] ppid=11987 vsize=1540684 CPUtime=1.15
/proc/11989/task/11998/stat : 11998 (java) S 11987 11989 11469 0 -1 4202560 698 0 0 0 115 0 0 0 15 0 16 0 5578497 1577660416 111758 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11999] ppid=11987 vsize=1540684 CPUtime=3.69
/proc/11989/task/11999/stat : 11999 (java) S 11987 11989 11469 0 -1 4202560 7718 0 0 0 366 3 0 0 15 0 16 0 5578497 1577660416 111758 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=12000] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/12000/stat : 12000 (java) S 11987 11989 11469 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 5578497 1577660416 111758 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=12001] ppid=11987 vsize=1540684 CPUtime=0.01
/proc/11989/task/12001/stat : 12001 (java) S 11987 11989 11469 0 -1 4202560 59 0 0 0 1 0 0 0 15 0 16 0 5578497 1577660416 111758 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=12004] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/12004/stat : 12004 (java) S 11987 11989 11469 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 5578609 1577660416 111758 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=12005] ppid=11987 vsize=1540684 CPUtime=0
/proc/11989/task/12005/stat : 12005 (java) S 11987 11989 11469 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 5578612 1577660416 111758 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=12014] ppid=11987 vsize=1540684 CPUtime=784.54
/proc/11989/task/12014/stat : 12014 (java) R 11987 11989 11469 0 -1 4202560 572 0 0 0 78445 9 0 0 17 0 16 0 5582445 1577660416 111758 1992294400 134512640 134550932 4290080960 18446744073709551615 4109388479 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11989/tid=12015] ppid=11987 vsize=1540684 CPUtime=780.58
/proc/11989/task/12015/stat : 12015 (java) R 11987 11989 11469 0 -1 4202560 198 0 0 0 78047 11 0 0 18 0 16 0 5582445 1577660416 111758 1992294400 134512640 134550932 4290080960 18446744073709551615 4109911433 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1802.6
Current children cumulated vsize (KiB) 1540684

[startup+982.602 s]
/proc/loadavg: 3.01 2.65 2.05 7/123 12040
/proc/meminfo: memFree=1370528/2059040 swapFree=4144492/4192956
[pid=11989] ppid=11987 vsize=1541332 CPUtime=1803.38
/proc/11989/stat : 11989 (java) S 11987 11989 11469 0 -1 4202496 124383 0 1 0 180209 129 0 0 15 0 18 0 5578488 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11989/statm: 385333 111771 1451 10 0 382636 0
[pid=11989/tid=11991] ppid=11987 vsize=1541332 CPUtime=1.04
/proc/11989/task/11991/stat : 11991 (java) S 11987 11989 11469 0 -1 4202560 7574 0 1 0 100 4 0 0 15 0 18 0 5578489 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11992] ppid=11987 vsize=1541332 CPUtime=14.74
/proc/11989/task/11992/stat : 11992 (java) S 11987 11989 11469 0 -1 4202560 33195 0 0 0 1440 34 0 0 15 0 18 0 5578491 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11993] ppid=11987 vsize=1541332 CPUtime=14.76
/proc/11989/task/11993/stat : 11993 (java) S 11987 11989 11469 0 -1 4202560 34356 0 0 0 1442 34 0 0 15 0 18 0 5578491 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11994] ppid=11987 vsize=1541332 CPUtime=140.37
/proc/11989/task/11994/stat : 11994 (java) S 11987 11989 11469 0 -1 4202560 10992 0 0 0 14021 16 0 0 15 0 18 0 5578492 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11995] ppid=11987 vsize=1541332 CPUtime=0
/proc/11989/task/11995/stat : 11995 (java) S 11987 11989 11469 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 5578493 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11996] ppid=11987 vsize=1541332 CPUtime=0
/proc/11989/task/11996/stat : 11996 (java) S 11987 11989 11469 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 5578493 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11997] ppid=11987 vsize=1541332 CPUtime=0
/proc/11989/task/11997/stat : 11997 (java) S 11987 11989 11469 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 18 0 5578497 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11998] ppid=11987 vsize=1541332 CPUtime=1.15
/proc/11989/task/11998/stat : 11998 (java) S 11987 11989 11469 0 -1 4202560 698 0 0 0 115 0 0 0 15 0 18 0 5578497 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11999] ppid=11987 vsize=1541332 CPUtime=3.69
/proc/11989/task/11999/stat : 11999 (java) S 11987 11989 11469 0 -1 4202560 7718 0 0 0 366 3 0 0 15 0 18 0 5578497 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=12000] ppid=11987 vsize=1541332 CPUtime=0
/proc/11989/task/12000/stat : 12000 (java) S 11987 11989 11469 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 5578497 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=12001] ppid=11987 vsize=1541332 CPUtime=0.01
/proc/11989/task/12001/stat : 12001 (java) S 11987 11989 11469 0 -1 4202560 59 0 0 0 1 0 0 0 15 0 18 0 5578497 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=12004] ppid=11987 vsize=1541332 CPUtime=0
/proc/11989/task/12004/stat : 12004 (java) S 11987 11989 11469 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 18 0 5578609 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=12005] ppid=11987 vsize=1541332 CPUtime=0
/proc/11989/task/12005/stat : 12005 (java) S 11987 11989 11469 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 5578612 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=12014] ppid=11987 vsize=1541332 CPUtime=784.93
/proc/11989/task/12014/stat : 12014 (java) R 11987 11989 11469 0 -1 4202560 572 0 0 0 78484 9 0 0 18 0 18 0 5582445 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4109441934 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11989/tid=12015] ppid=11987 vsize=1541332 CPUtime=780.97
/proc/11989/task/12015/stat : 12015 (java) R 11987 11989 11469 0 -1 4202560 198 0 0 0 78086 11 0 0 18 0 18 0 5582445 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4109342324 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1803.38
Current children cumulated vsize (KiB) 1541332

[startup+982.802 s]
/proc/loadavg: 3.01 2.65 2.05 7/123 12040
/proc/meminfo: memFree=1370528/2059040 swapFree=4144492/4192956
[pid=11989] ppid=11987 vsize=1541332 CPUtime=1803.78
/proc/11989/stat : 11989 (java) S 11987 11989 11469 0 -1 4202496 124383 0 1 0 180249 129 0 0 15 0 18 0 5578488 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11989/statm: 385333 111771 1451 10 0 382636 0
[pid=11989/tid=11991] ppid=11987 vsize=1541332 CPUtime=1.04
/proc/11989/task/11991/stat : 11991 (java) S 11987 11989 11469 0 -1 4202560 7574 0 1 0 100 4 0 0 15 0 18 0 5578489 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11992] ppid=11987 vsize=1541332 CPUtime=14.74
/proc/11989/task/11992/stat : 11992 (java) S 11987 11989 11469 0 -1 4202560 33195 0 0 0 1440 34 0 0 15 0 18 0 5578491 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11993] ppid=11987 vsize=1541332 CPUtime=14.76
/proc/11989/task/11993/stat : 11993 (java) S 11987 11989 11469 0 -1 4202560 34356 0 0 0 1442 34 0 0 15 0 18 0 5578491 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11994] ppid=11987 vsize=1541332 CPUtime=140.37
/proc/11989/task/11994/stat : 11994 (java) S 11987 11989 11469 0 -1 4202560 10992 0 0 0 14021 16 0 0 15 0 18 0 5578492 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11995] ppid=11987 vsize=1541332 CPUtime=0
/proc/11989/task/11995/stat : 11995 (java) S 11987 11989 11469 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 5578493 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11996] ppid=11987 vsize=1541332 CPUtime=0
/proc/11989/task/11996/stat : 11996 (java) S 11987 11989 11469 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 5578493 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11997] ppid=11987 vsize=1541332 CPUtime=0
/proc/11989/task/11997/stat : 11997 (java) S 11987 11989 11469 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 18 0 5578497 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11998] ppid=11987 vsize=1541332 CPUtime=1.15
/proc/11989/task/11998/stat : 11998 (java) S 11987 11989 11469 0 -1 4202560 698 0 0 0 115 0 0 0 15 0 18 0 5578497 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11999] ppid=11987 vsize=1541332 CPUtime=3.69
/proc/11989/task/11999/stat : 11999 (java) S 11987 11989 11469 0 -1 4202560 7718 0 0 0 366 3 0 0 15 0 18 0 5578497 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=12000] ppid=11987 vsize=1541332 CPUtime=0
/proc/11989/task/12000/stat : 12000 (java) S 11987 11989 11469 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 5578497 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=12001] ppid=11987 vsize=1541332 CPUtime=0.01
/proc/11989/task/12001/stat : 12001 (java) S 11987 11989 11469 0 -1 4202560 59 0 0 0 1 0 0 0 15 0 18 0 5578497 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=12004] ppid=11987 vsize=1541332 CPUtime=0
/proc/11989/task/12004/stat : 12004 (java) S 11987 11989 11469 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 18 0 5578609 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=12005] ppid=11987 vsize=1541332 CPUtime=0
/proc/11989/task/12005/stat : 12005 (java) S 11987 11989 11469 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 5578612 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=12014] ppid=11987 vsize=1541332 CPUtime=785.13
/proc/11989/task/12014/stat : 12014 (java) R 11987 11989 11469 0 -1 4202560 572 0 0 0 78504 9 0 0 18 0 18 0 5582445 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4109430474 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11989/tid=12015] ppid=11987 vsize=1541332 CPUtime=781.17
/proc/11989/task/12015/stat : 12015 (java) R 11987 11989 11469 0 -1 4202560 198 0 0 0 78106 11 0 0 18 0 18 0 5582445 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4109966107 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1803.78
Current children cumulated vsize (KiB) 1541332

[startup+982.902 s]
/proc/loadavg: 3.01 2.65 2.05 7/123 12040
/proc/meminfo: memFree=1370528/2059040 swapFree=4144492/4192956
[pid=11989] ppid=11987 vsize=1541332 CPUtime=1803.98
/proc/11989/stat : 11989 (java) S 11987 11989 11469 0 -1 4202496 124383 0 1 0 180269 129 0 0 15 0 18 0 5578488 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11989/statm: 385333 111771 1451 10 0 382636 0
[pid=11989/tid=11991] ppid=11987 vsize=1541332 CPUtime=1.04
/proc/11989/task/11991/stat : 11991 (java) S 11987 11989 11469 0 -1 4202560 7574 0 1 0 100 4 0 0 15 0 18 0 5578489 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11992] ppid=11987 vsize=1541332 CPUtime=14.74
/proc/11989/task/11992/stat : 11992 (java) S 11987 11989 11469 0 -1 4202560 33195 0 0 0 1440 34 0 0 15 0 18 0 5578491 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11993] ppid=11987 vsize=1541332 CPUtime=14.76
/proc/11989/task/11993/stat : 11993 (java) S 11987 11989 11469 0 -1 4202560 34356 0 0 0 1442 34 0 0 15 0 18 0 5578491 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11994] ppid=11987 vsize=1541332 CPUtime=140.37
/proc/11989/task/11994/stat : 11994 (java) S 11987 11989 11469 0 -1 4202560 10992 0 0 0 14021 16 0 0 15 0 18 0 5578492 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 0 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11995] ppid=11987 vsize=1541332 CPUtime=0
/proc/11989/task/11995/stat : 11995 (java) S 11987 11989 11469 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 5578493 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11996] ppid=11987 vsize=1541332 CPUtime=0
/proc/11989/task/11996/stat : 11996 (java) S 11987 11989 11469 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 5578493 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11997] ppid=11987 vsize=1541332 CPUtime=0
/proc/11989/task/11997/stat : 11997 (java) S 11987 11989 11469 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 18 0 5578497 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=11998] ppid=11987 vsize=1541332 CPUtime=1.15
/proc/11989/task/11998/stat : 11998 (java) S 11987 11989 11469 0 -1 4202560 698 0 0 0 115 0 0 0 15 0 18 0 5578497 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=11999] ppid=11987 vsize=1541332 CPUtime=3.69
/proc/11989/task/11999/stat : 11999 (java) S 11987 11989 11469 0 -1 4202560 7718 0 0 0 366 3 0 0 15 0 18 0 5578497 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=12000] ppid=11987 vsize=1541332 CPUtime=0
/proc/11989/task/12000/stat : 12000 (java) S 11987 11989 11469 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 5578497 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=12001] ppid=11987 vsize=1541332 CPUtime=0.01
/proc/11989/task/12001/stat : 12001 (java) S 11987 11989 11469 0 -1 4202560 59 0 0 0 1 0 0 0 15 0 18 0 5578497 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 0 0 0 0
[pid=11989/tid=12004] ppid=11987 vsize=1541332 CPUtime=0
/proc/11989/task/12004/stat : 12004 (java) S 11987 11989 11469 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 18 0 5578609 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=12005] ppid=11987 vsize=1541332 CPUtime=0
/proc/11989/task/12005/stat : 12005 (java) S 11987 11989 11469 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 5578612 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4294960144 0 4 0 16800975 18446604437845052288 0 0 -1 1 0 0 0
[pid=11989/tid=12014] ppid=11987 vsize=1541332 CPUtime=785.23
/proc/11989/task/12014/stat : 12014 (java) R 11987 11989 11469 0 -1 4202560 572 0 0 0 78514 9 0 0 18 0 18 0 5582445 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4108851978 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11989/tid=12015] ppid=11987 vsize=1541332 CPUtime=781.27
/proc/11989/task/12015/stat : 12015 (java) R 11987 11989 11469 0 -1 4202560 198 0 0 0 78116 11 0 0 18 0 18 0 5582445 1578323968 111771 1992294400 134512640 134550932 4290080960 18446744073709551615 4109911433 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1803.98
Current children cumulated vsize (KiB) 1541332

Child ended because it received signal 9 (SIGKILL)
Real time (s): 982.984
CPU time (s): 1804.11
CPU user time (s): 1802.77
CPU system time (s): 1.3398
CPU usage (%): 183.534
Max. virtual memory (cumulated for all children) (KiB): 1542100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1802.77
system time used= 1.3398
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124387
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= 31311
involuntary context switches= 50498

runsolver used 5.65814 second user time and 8.5607 second system time

The end

Launcher Data 

Begin job on node049 at 2010-06-16 01:01:44
IDJOB=2662092
IDBENCH=25029
IDSOLVER=1166
FILE ID=node049/2662092-1276642904
PBS_JOBID= 11172395
Free space on /tmp= 62524 MiB

SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662092-1276642904/watcher-2662092-1276642904 -o /tmp/evaluation-result-2662092-1276642904/solver-2662092-1276642904 -C 1800 -W 2000 -M 1800  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662092-1276642904.opb

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

MD5SUM BENCH= 8e58fdc516472c37b974ebbf77c2a4fa
RANDOM SEED=169675278

node049.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.244
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.48
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.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1816220 kB
Buffers:         56860 kB
Cached:          92432 kB
SwapCached:       5376 kB
Active:          87308 kB
Inactive:        78600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1816220 kB
SwapTotal:     4192956 kB
SwapFree:      4144492 kB
Dirty:             504 kB
Writeback:           0 kB
AnonPages:       14084 kB
Mapped:          13104 kB
Slab:            54752 kB
PageTables:       4088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183952 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= 62524 MiB
End job on node049 at 2010-06-16 01:18:07