Trace number 2661867

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)27 1800.34 952.164

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_5.opb
MD5SUM08d7a5060b972f308367859ff82f87f6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark1789.48
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2528
Sum of products size (including duplicates)5056
Number of different products2528
Sum of products size5056

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.15	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.15	c See www.sat4j.org for details.
0.08/0.17	c version 2.2.0.v20100531
0.08/0.17	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.17	c java.vm.name		Java HotSpot(TM) Server VM
0.08/0.17	c java.vm.version	11.2-b01
0.08/0.17	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.17	c sun.arch.data.model	32
0.08/0.17	c java.version		1.6.0_12
0.08/0.17	c os.name		Linux
0.08/0.17	c os.version		2.6.18-164.el5
0.08/0.17	c os.arch		i386
0.08/0.17	c Free memory 		1393557488
0.08/0.17	c Max memory 		1395916800
0.08/0.17	c Total memory 		1395916800
0.08/0.17	c Number of processors 	2
0.22/0.24	c Pseudo Boolean Optimization
0.22/0.24	c ManyCore solver with 2 solvers running in parallel
0.22/0.24	c --- Begin Solver configuration ---
0.22/0.24	c Stops conflict analysis at the first Unique Implication Point
0.22/0.24	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5
0.22/0.24	c Learn all clauses as in MiniSAT
0.22/0.24	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.22/0.24	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.22/0.24	c Expensive reason simplification
0.22/0.24	c Armin Biere (Picosat) restarts strategy
0.22/0.24	c Glucose learned constraints deletion strategy
0.22/0.24	c timeout=2147483s
0.22/0.24	c DB Simplification allowed=false
0.22/0.24	c --- End Solver configuration ---
0.22/0.24	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.22/0.24	c --- Begin Solver configuration ---
0.22/0.24	c Stops conflict analysis at the first Unique Implication Point
0.22/0.24	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3
0.22/0.24	c Learn all clauses as in MiniSAT
0.22/0.24	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.22/0.24	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.22/0.24	c No reason simplification
0.22/0.24	c Armin Biere (Picosat) restarts strategy
0.22/0.24	c Glucose learned constraints deletion strategy
0.22/0.24	c timeout=2147483s
0.22/0.24	c DB Simplification allowed=false
0.22/0.24	c --- End Solver configuration ---
0.22/0.24	
0.22/0.24	c solving HOME/instance-2661867-1276653562.opb
0.22/0.24	c reading problem ... 
1.85/1.32	c ... done. Wall clock time 1.09s.
1.85/1.32	c #vars     2728
1.85/1.32	c #constraints  5256
1.85/1.32	c constraints type 
1.85/1.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2728
1.85/1.32	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2528
1.85/1.32	c constraints type 
1.85/1.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2728
1.85/1.32	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2528
2.04/1.42	c And the winner is Resolution
2.28/2.33	c SATISFIABLE
2.28/2.33	c OPTIMIZING...
2.28/2.33	c Got one! Elapsed wall clock time (in seconds):2.104
2.28/2.33	o 31
2.43/2.45	c And the winner is Resolution
2.59/3.35	c Got one! Elapsed wall clock time (in seconds):3.125
2.59/3.35	o 29
2.90/3.59	c And the winner is Resolution
3.13/4.36	c Got one! Elapsed wall clock time (in seconds):4.134
3.13/4.36	o 28
9.36/7.57	c cleaning 2497 clauses out of 5001 with flag 5001/5001
14.43/10.15	c cleaning 4250 clauses out of 8504 with flag 11001/11001
20.31/13.14	c cleaning 5618 clauses out of 11254 with flag 18001/18001
27.34/16.79	c cleaning 6812 clauses out of 13636 with flag 26001/26001
34.92/20.66	c cleaning 7905 clauses out of 15824 with flag 35001/35001
44.14/25.36	c cleaning 8948 clauses out of 17918 with flag 45000/45000
54.10/30.49	c cleaning 9479 clauses out of 18970 with flag 55000/55000
63.29/35.17	c cleaning 9735 clauses out of 19492 with flag 65001/65001
73.41/40.37	c And the winner is CuttingPlanes
73.54/40.66	c Got one! Elapsed wall clock time (in seconds):40.43
73.54/40.66	o 27
74.22/41.06	c cleaning 9874 clauses out of 19756 with flag 75000/75000
83.79/46.00	c cleaning 9933 clauses out of 19882 with flag 85000/85000
94.55/51.46	c cleaning 9965 clauses out of 19949 with flag 95000/95000
104.50/56.58	c cleaning 9985 clauses out of 19984 with flag 105000/105000
114.98/61.96	c cleaning 9994 clauses out of 20001 with flag 115002/115002
125.52/67.31	c cleaning 9999 clauses out of 20005 with flag 125000/125000
134.26/71.80	c cleaning 9994 clauses out of 20009 with flag 135003/135003
143.60/76.61	c cleaning 10001 clauses out of 20012 with flag 145000/145000
155.05/82.58	c cleaning 9999 clauses out of 20012 with flag 155001/155001
166.53/88.42	c cleaning 10002 clauses out of 20012 with flag 165000/165000
176.63/93.66	c cleaning 10000 clauses out of 20010 with flag 175000/175000
185.74/98.38	c cleaning 10000 clauses out of 20011 with flag 185001/185001
194.75/103.05	c cleaning 9999 clauses out of 20011 with flag 195001/195001
204.23/107.95	c cleaning 9998 clauses out of 20011 with flag 205000/205000
214.51/113.24	c cleaning 10003 clauses out of 20015 with flag 215002/215002
225.16/118.79	c cleaning 9998 clauses out of 20010 with flag 225000/225000
235.95/124.36	c cleaning 10002 clauses out of 20012 with flag 235000/235000
247.56/130.35	c cleaning 9994 clauses out of 20011 with flag 245001/245001
259.41/136.48	c cleaning 10001 clauses out of 20016 with flag 255000/255000
269.84/141.84	c cleaning 10002 clauses out of 20017 with flag 265002/265002
279.78/147.06	c cleaning 9998 clauses out of 20013 with flag 275000/275000
289.22/151.91	c cleaning 10005 clauses out of 20017 with flag 285002/285002
301.43/158.27	c cleaning 10000 clauses out of 20012 with flag 295002/295002
313.17/164.78	c cleaning 10003 clauses out of 20011 with flag 305001/305001
326.10/172.05	c cleaning 9997 clauses out of 20008 with flag 315001/315001
336.49/177.56	c cleaning 9996 clauses out of 20010 with flag 325000/325000
347.08/183.00	c cleaning 9999 clauses out of 20016 with flag 335002/335002
358.24/188.82	c cleaning 10000 clauses out of 20015 with flag 345000/345000
369.49/194.73	c cleaning 9999 clauses out of 20017 with flag 355002/355002
381.80/201.12	c cleaning 10001 clauses out of 20017 with flag 365001/365001
393.14/207.06	c cleaning 9996 clauses out of 20015 with flag 375000/375000
405.06/213.27	c cleaning 9998 clauses out of 20019 with flag 385000/385000
415.72/218.86	c cleaning 10005 clauses out of 20022 with flag 395001/395001
426.25/224.37	c cleaning 10004 clauses out of 20017 with flag 405001/405001
436.76/229.84	c cleaning 9998 clauses out of 20012 with flag 415000/415000
446.88/235.10	c cleaning 9997 clauses out of 20014 with flag 425000/425000
457.88/240.97	c cleaning 10000 clauses out of 20017 with flag 435000/435000
470.57/247.57	c cleaning 10006 clauses out of 20018 with flag 445001/445001
480.89/253.00	c cleaning 10000 clauses out of 20012 with flag 455001/455001
491.77/258.64	c cleaning 9999 clauses out of 20012 with flag 465001/465001
502.55/264.34	c cleaning 9998 clauses out of 20012 with flag 475000/475000
511.83/269.25	c cleaning 9996 clauses out of 20014 with flag 485000/485000
521.52/274.34	c cleaning 10002 clauses out of 20019 with flag 495001/495001
531.80/279.79	c cleaning 10000 clauses out of 20016 with flag 505000/505000
542.55/285.46	c cleaning 10001 clauses out of 20017 with flag 515001/515001
552.80/290.85	c cleaning 10000 clauses out of 20015 with flag 525000/525000
564.25/296.83	c cleaning 10005 clauses out of 20017 with flag 535002/535002
575.52/302.73	c cleaning 9997 clauses out of 20011 with flag 545001/545001
587.07/308.89	c cleaning 9997 clauses out of 20013 with flag 555000/555000
598.92/315.06	c cleaning 9999 clauses out of 20016 with flag 565000/565000
610.78/321.26	c cleaning 10001 clauses out of 20017 with flag 575000/575000
622.25/327.22	c cleaning 10001 clauses out of 20016 with flag 585000/585000
632.20/332.51	c cleaning 10003 clauses out of 20016 with flag 595001/595001
641.90/337.62	c cleaning 10002 clauses out of 20013 with flag 605001/605001
652.75/343.30	c cleaning 10002 clauses out of 20011 with flag 615001/615001
665.23/349.89	c cleaning 9997 clauses out of 20008 with flag 625000/625000
676.54/355.82	c cleaning 9998 clauses out of 20011 with flag 635000/635000
685.04/360.30	c cleaning 0 clauses out of 5003 with flag 0/5003
688.38/362.24	c cleaning 10004 clauses out of 20013 with flag 645000/645000
700.81/368.71	c cleaning 9999 clauses out of 20010 with flag 655001/655001
713.51/375.43	c cleaning 9998 clauses out of 20010 with flag 665000/665000
726.15/382.00	c cleaning 10002 clauses out of 20013 with flag 675001/675001
736.79/387.68	c cleaning 9997 clauses out of 20010 with flag 685000/685000
748.42/393.78	c cleaning 9998 clauses out of 20013 with flag 695000/695000
759.91/399.89	c cleaning 10003 clauses out of 20016 with flag 705001/705001
771.17/405.75	c cleaning 9998 clauses out of 20013 with flag 715001/715001
782.04/411.41	c cleaning 10000 clauses out of 20014 with flag 725000/725000
792.87/417.12	c cleaning 9999 clauses out of 20014 with flag 735000/735000
804.56/423.37	c cleaning 10002 clauses out of 20017 with flag 745002/745002
816.41/429.57	c cleaning 10004 clauses out of 20014 with flag 755001/755001
828.83/436.04	c cleaning 9991 clauses out of 20009 with flag 765000/765000
840.69/442.26	c cleaning 10001 clauses out of 20019 with flag 775001/775001
852.59/448.59	c cleaning 10005 clauses out of 20018 with flag 785001/785001
861.86/453.48	c cleaning 9999 clauses out of 20013 with flag 795001/795001
871.53/458.59	c cleaning 9997 clauses out of 20013 with flag 805000/805000
881.39/463.79	c cleaning 10001 clauses out of 20016 with flag 815000/815000
891.53/469.16	c cleaning 10004 clauses out of 20015 with flag 825000/825000
901.73/474.78	c cleaning 9995 clauses out of 20011 with flag 835000/835000
912.18/480.27	c cleaning 10001 clauses out of 20018 with flag 845002/845002
923.05/485.99	c cleaning 10002 clauses out of 20015 with flag 855000/855000
934.36/491.96	c cleaning 10001 clauses out of 20013 with flag 865000/865000
944.61/497.39	c cleaning 9997 clauses out of 20013 with flag 875001/875001
954.87/502.74	c cleaning 10003 clauses out of 20015 with flag 885000/885000
964.32/507.71	c cleaning 10004 clauses out of 20012 with flag 895000/895000
973.64/512.79	c cleaning 9998 clauses out of 20010 with flag 905002/905002
983.71/518.02	c cleaning 9998 clauses out of 20010 with flag 915000/915000
993.74/523.31	c cleaning 9996 clauses out of 20012 with flag 925000/925000
1004.98/529.22	c cleaning 10001 clauses out of 20017 with flag 935001/935001
1015.47/534.83	c cleaning 10007 clauses out of 20016 with flag 945001/945001
1027.09/540.95	c cleaning 9996 clauses out of 20008 with flag 955000/955000
1038.13/546.78	c cleaning 10000 clauses out of 20012 with flag 965000/965000
1049.14/552.52	c cleaning 9997 clauses out of 20012 with flag 975000/975000
1060.82/558.76	c cleaning 9997 clauses out of 20016 with flag 985001/985001
1071.81/564.51	c cleaning 9998 clauses out of 20018 with flag 995000/995000
1083.21/570.50	c cleaning 10005 clauses out of 20021 with flag 1005001/1005001
1094.43/576.49	c cleaning 10002 clauses out of 20015 with flag 1015000/1015000
1105.05/582.15	c cleaning 10001 clauses out of 20013 with flag 1025000/1025000
1114.87/587.38	c cleaning 9999 clauses out of 20013 with flag 1035001/1035001
1124.67/592.58	c cleaning 9998 clauses out of 20013 with flag 1045000/1045000
1134.31/597.69	c cleaning 10000 clauses out of 20016 with flag 1055001/1055001
1144.33/603.03	c cleaning 9999 clauses out of 20015 with flag 1065000/1065000
1154.14/608.23	c cleaning 9997 clauses out of 20016 with flag 1075000/1075000
1164.33/613.66	c cleaning 10005 clauses out of 20020 with flag 1085001/1085001
1175.71/619.64	c cleaning 10002 clauses out of 20014 with flag 1095000/1095000
1186.54/625.45	c cleaning 9998 clauses out of 20013 with flag 1105001/1105001
1197.74/631.37	c cleaning 10001 clauses out of 20015 with flag 1115001/1115001
1208.90/637.21	c cleaning 9998 clauses out of 20015 with flag 1125002/1125002
1220.48/643.34	c cleaning 10002 clauses out of 20015 with flag 1135000/1135000
1232.11/649.50	c cleaning 10000 clauses out of 20014 with flag 1145001/1145001
1243.09/655.36	c cleaning 10000 clauses out of 20014 with flag 1155001/1155001
1255.07/661.68	c cleaning 9999 clauses out of 20015 with flag 1165002/1165002
1266.25/667.58	c cleaning 10002 clauses out of 20015 with flag 1175001/1175001
1276.69/673.15	c cleaning 9997 clauses out of 20012 with flag 1185000/1185000
1286.86/678.54	c cleaning 10001 clauses out of 20017 with flag 1195002/1195002
1297.06/683.94	c cleaning 9997 clauses out of 20014 with flag 1205000/1205000
1307.65/689.55	c cleaning 10001 clauses out of 20018 with flag 1215001/1215001
1318.47/695.36	c cleaning 10005 clauses out of 20017 with flag 1225001/1225001
1329.06/700.98	c cleaning 9997 clauses out of 20012 with flag 1235001/1235001
1339.83/706.64	c cleaning 9998 clauses out of 20015 with flag 1245001/1245001
1350.00/712.04	c cleaning 10003 clauses out of 20017 with flag 1255001/1255001
1360.63/717.78	c cleaning 9995 clauses out of 20013 with flag 1265000/1265000
1371.20/723.36	c cleaning 10000 clauses out of 20018 with flag 1275000/1275000
1382.39/729.22	c cleaning 10003 clauses out of 20018 with flag 1285000/1285000
1392.54/734.70	c cleaning 9993 clauses out of 20015 with flag 1295000/1295000
1403.34/740.42	c cleaning 10003 clauses out of 20022 with flag 1305000/1305000
1414.49/746.35	c cleaning 9996 clauses out of 20021 with flag 1315002/1315002
1424.86/751.86	c cleaning 10005 clauses out of 20024 with flag 1325001/1325001
1434.84/757.19	c cleaning 10005 clauses out of 20018 with flag 1335000/1335000
1445.44/762.88	c cleaning 9999 clauses out of 20014 with flag 1345001/1345001
1455.81/768.33	c cleaning 10001 clauses out of 20014 with flag 1355000/1355000
1466.37/773.97	c cleaning 10002 clauses out of 20014 with flag 1365001/1365001
1478.12/780.15	c cleaning 9999 clauses out of 20011 with flag 1375000/1375000
1489.48/786.26	c cleaning 9998 clauses out of 20012 with flag 1385000/1385000
1500.45/792.08	c cleaning 9999 clauses out of 20014 with flag 1395000/1395000
1510.40/797.37	c cleaning 9999 clauses out of 20015 with flag 1405000/1405000
1520.97/802.99	c cleaning 9998 clauses out of 20017 with flag 1415001/1415001
1532.52/809.16	c cleaning 10003 clauses out of 20019 with flag 1425001/1425001
1542.87/814.65	c cleaning 9993 clauses out of 20015 with flag 1435000/1435000
1553.82/820.48	c cleaning 10006 clauses out of 20023 with flag 1445001/1445001
1564.75/826.29	c cleaning 9998 clauses out of 20016 with flag 1455000/1455000
1575.53/832.03	c cleaning 10002 clauses out of 20019 with flag 1465001/1465001
1586.88/838.01	c cleaning 10003 clauses out of 20017 with flag 1475001/1475001
1597.82/843.87	c cleaning 9995 clauses out of 20013 with flag 1485000/1485000
1608.76/849.65	c cleaning 9999 clauses out of 20018 with flag 1495000/1495000
1619.93/855.66	c cleaning 10002 clauses out of 20021 with flag 1505002/1505002
1631.46/861.76	c cleaning 9998 clauses out of 20018 with flag 1515001/1515001
1642.39/867.56	c cleaning 10000 clauses out of 20020 with flag 1525001/1525001
1653.32/873.32	c cleaning 9999 clauses out of 20020 with flag 1535001/1535001
1664.85/879.51	c cleaning 9999 clauses out of 20020 with flag 1545000/1545000
1675.99/885.45	c cleaning 9999 clauses out of 20021 with flag 1555000/1555000
1687.09/891.39	c cleaning 10002 clauses out of 20022 with flag 1565000/1565000
1698.39/897.33	c cleaning 10004 clauses out of 20021 with flag 1575001/1575001
1709.28/903.22	c cleaning 10000 clauses out of 20017 with flag 1585001/1585001
1720.38/909.18	c cleaning 10000 clauses out of 20017 with flag 1595001/1595001
1732.46/915.51	c cleaning 10003 clauses out of 20017 with flag 1605001/1605001
1743.53/921.43	c cleaning 9997 clauses out of 20013 with flag 1615000/1615000
1754.44/927.36	c cleaning 10001 clauses out of 20016 with flag 1625000/1625000
1764.73/932.88	c cleaning 10002 clauses out of 20015 with flag 1635000/1635000
1775.37/938.59	c cleaning 9999 clauses out of 20013 with flag 1645000/1645000
1786.23/944.33	c cleaning 10000 clauses out of 20017 with flag 1655003/1655003
1797.13/950.21	c cleaning 10000 clauses out of 20014 with flag 1665000/1665000
1800.07/952.02	c starts		: 29
1800.07/952.02	c conflicts		: 7586
1800.07/952.02	c decisions		: 21864
1800.07/952.02	c propagations		: 1246080
1800.07/952.02	c inspects		: 242209723
1800.07/952.02	c learnt literals	: 0
1800.07/952.02	c learnt binary clauses	: 0
1800.07/952.02	c learnt ternary clauses	: 0
1800.07/952.02	c learnt clauses	: 7586
1800.07/952.02	c ignored clauses	: 0
1800.07/952.02	c root simplifications	: 0
1800.07/952.02	c removed literals (reason simplification)	: 0
1800.07/952.02	c reason swapping (by a shorter reason)	: 0
1800.07/952.02	c Calls to reduceDB	: 1
1800.07/952.02	c number of reductions to clauses (during analyze)	: 0
1800.07/952.02	c number of learned constraints concerned by reduction	: 0
1800.07/952.02	c number of learning phase by resolution	: 0
1800.07/952.02	c number of learning phase by cutting planes	: 0
1800.07/952.02	c speed (assignments/second)	: 1367.3923110519027
1800.07/952.02	c non guided choices	0
1800.07/952.09	c learnt constraints type 
1800.07/952.09	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 121
1800.07/952.09	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7465
1800.07/952.09	c constraints type 
1800.07/952.09	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2728
1800.07/952.09	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/952.09	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2528
1800.07/952.09	c constraints type 
1800.07/952.09	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2728
1800.07/952.09	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.07/952.09	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2528
1800.07/952.09	s SATISFIABLE
1800.07/952.09	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 
1800.07/952.09	c objective function=27
1800.07/952.09	c Total wall clock time (in seconds): 951.865

Verifier Data 

OK	27

Watcher Data 

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 5248
/proc/meminfo: memFree=1840980/2059040 swapFree=4140236/4192956
[pid=5248] ppid=5246 vsize=1832 CPUtime=0
/proc/5248/stat : 5248 (java6) R 5246 5248 5223 0 -1 4194304 207 0 0 0 0 0 0 0 25 0 1 0 39008097 1875968 112 1992294400 134512640 134550932 4287897952 18446744073709551615 4681664 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5248/statm: 507 115 88 10 0 112 0

[startup+0.0142419 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 5248
/proc/meminfo: memFree=1840980/2059040 swapFree=4140236/4192956
[pid=5248] ppid=5246 vsize=1832 CPUtime=0
/proc/5248/stat : 5248 (java) S 5246 5248 5223 0 -1 4194304 418 0 0 0 0 0 0 0 25 0 1 0 39008097 1875968 148 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 2147483391 4096 0 18446744071699424446 0 0 17 0 0 0 0
/proc/5248/statm: 458 148 111 10 0 63 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1832

[startup+0.101927 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 5248
/proc/meminfo: memFree=1840980/2059040 swapFree=4140236/4192956
[pid=5248] ppid=5246 vsize=1522120 CPUtime=0.08
/proc/5248/stat : 5248 (java) S 5246 5248 5223 0 -1 4202496 3872 0 1 0 6 2 0 0 25 0 8 0 39008097 1558650880 3313 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/5248/statm: 380530 3313 1048 10 0 377840 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1522120

[startup+0.301113 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 5248
/proc/meminfo: memFree=1840980/2059040 swapFree=4140236/4192956
[pid=5248] ppid=5246 vsize=1525636 CPUtime=0.36
/proc/5248/stat : 5248 (java) S 5246 5248 5223 0 -1 4202496 5335 0 1 0 32 4 0 0 25 0 12 0 39008097 1562251264 4772 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5248/statm: 381409 4772 1354 10 0 378712 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 1525636

[startup+0.701187 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 5248
/proc/meminfo: memFree=1840980/2059040 swapFree=4140236/4192956
[pid=5248] ppid=5246 vsize=1527292 CPUtime=0.98
/proc/5248/stat : 5248 (java) S 5246 5248 5223 0 -1 4202496 6361 0 1 0 93 5 0 0 25 0 12 0 39008097 1563947008 5782 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5248/statm: 381823 5782 1392 10 0 379126 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 1527292

[startup+1.50133 s]
/proc/loadavg: 0.85 0.97 0.99 2/118 5260
/proc/meminfo: memFree=1818504/2059040 swapFree=4140236/4192956
[pid=5248] ppid=5246 vsize=1531588 CPUtime=2.23
/proc/5248/stat : 5248 (java) S 5246 5248 5223 0 -1 4202496 9375 0 1 0 217 6 0 0 25 0 15 0 39008097 1568346112 8198 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5248/statm: 382897 8198 1421 10 0 380200 0
[pid=5248/tid=5250] ppid=5246 vsize=1531588 CPUtime=1.12
/proc/5248/task/5250/stat : 5250 (java) S 5246 5248 5223 0 -1 4202560 5526 0 1 0 108 4 0 0 25 0 15 0 39008099 1568346112 8198 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5251] ppid=5246 vsize=1531588 CPUtime=0
/proc/5248/task/5251/stat : 5251 (java) S 5246 5248 5223 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 15 0 39008100 1568346112 8198 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5252] ppid=5246 vsize=1531588 CPUtime=0
/proc/5248/task/5252/stat : 5252 (java) S 5246 5248 5223 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 15 0 39008100 1568346112 8198 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5253] ppid=5246 vsize=1531588 CPUtime=0
/proc/5248/task/5253/stat : 5253 (java) S 5246 5248 5223 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 15 0 39008102 1568346112 8198 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 0 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5254] ppid=5246 vsize=1531588 CPUtime=0
/proc/5248/task/5254/stat : 5254 (java) S 5246 5248 5223 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 15 0 39008103 1568346112 8198 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5255] ppid=5246 vsize=1531588 CPUtime=0
/proc/5248/task/5255/stat : 5255 (java) S 5246 5248 5223 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 15 0 39008103 1568346112 8198 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5256] ppid=5246 vsize=1531588 CPUtime=0
/proc/5248/task/5256/stat : 5256 (java) S 5246 5248 5223 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 15 0 39008107 1568346112 8198 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5257] ppid=5246 vsize=1531588 CPUtime=0.39
/proc/5248/task/5257/stat : 5257 (java) R 5246 5248 5223 0 -1 4202560 837 0 0 0 39 0 0 0 17 0 15 0 39008107 1568346112 8198 1992294400 134512640 134550932 4292584720 18446744073709551615 106115970 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5248/tid=5258] ppid=5246 vsize=1531588 CPUtime=0.55
/proc/5248/task/5258/stat : 5258 (java) R 5246 5248 5223 0 -1 4202560 1531 0 0 0 55 0 0 0 16 0 15 0 39008107 1568346112 8198 1992294400 134512640 134550932 4292584720 18446744073709551615 104140905 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5248/tid=5259] ppid=5246 vsize=1531588 CPUtime=0
/proc/5248/task/5259/stat : 5259 (java) S 5246 5248 5223 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 15 0 39008107 1568346112 8198 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5260] ppid=5246 vsize=1531588 CPUtime=0
/proc/5248/task/5260/stat : 5260 (java) S 5246 5248 5223 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 15 0 39008107 1568346112 8198 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 1531588

[startup+3.10161 s]
/proc/loadavg: 0.85 0.97 0.99 1/120 5264
/proc/meminfo: memFree=1813156/2059040 swapFree=4140236/4192956
[pid=5248] ppid=5246 vsize=1531588 CPUtime=2.59
/proc/5248/stat : 5248 (java) S 5246 5248 5223 0 -1 4202496 10525 0 1 0 252 7 0 0 25 0 14 0 39008097 1568346112 8617 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5248/statm: 382897 8617 1422 10 0 380200 0
[pid=5248/tid=5250] ppid=5246 vsize=1531588 CPUtime=1.13
/proc/5248/task/5250/stat : 5250 (java) S 5246 5248 5223 0 -1 4202560 5566 0 1 0 109 4 0 0 19 0 14 0 39008099 1568346112 8617 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5251] ppid=5246 vsize=1531588 CPUtime=0
/proc/5248/task/5251/stat : 5251 (java) S 5246 5248 5223 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 14 0 39008100 1568346112 8617 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5252] ppid=5246 vsize=1531588 CPUtime=0
/proc/5248/task/5252/stat : 5252 (java) S 5246 5248 5223 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 14 0 39008100 1568346112 8617 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5253] ppid=5246 vsize=1531588 CPUtime=0
/proc/5248/task/5253/stat : 5253 (java) S 5246 5248 5223 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 14 0 39008102 1568346112 8617 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 0 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5254] ppid=5246 vsize=1531588 CPUtime=0
/proc/5248/task/5254/stat : 5254 (java) S 5246 5248 5223 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 14 0 39008103 1568346112 8617 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5255] ppid=5246 vsize=1531588 CPUtime=0
/proc/5248/task/5255/stat : 5255 (java) S 5246 5248 5223 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 14 0 39008103 1568346112 8617 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5256] ppid=5246 vsize=1531588 CPUtime=0
/proc/5248/task/5256/stat : 5256 (java) S 5246 5248 5223 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 14 0 39008107 1568346112 8617 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5257] ppid=5246 vsize=1531588 CPUtime=0.49
/proc/5248/task/5257/stat : 5257 (java) S 5246 5248 5223 0 -1 4202560 842 0 0 0 49 0 0 0 15 0 14 0 39008107 1568346112 8617 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5258] ppid=5246 vsize=1531588 CPUtime=0.73
/proc/5248/task/5258/stat : 5258 (java) S 5246 5248 5223 0 -1 4202560 2217 0 0 0 73 0 0 0 16 0 14 0 39008107 1568346112 8617 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5259] ppid=5246 vsize=1531588 CPUtime=0
/proc/5248/task/5259/stat : 5259 (java) S 5246 5248 5223 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 14 0 39008107 1568346112 8617 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5260] ppid=5246 vsize=1531588 CPUtime=0
/proc/5248/task/5260/stat : 5260 (java) S 5246 5248 5223 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 14 0 39008107 1568346112 8617 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5263] ppid=5246 vsize=1531588 CPUtime=0
/proc/5248/task/5263/stat : 5263 (java) S 5246 5248 5223 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 14 0 39008234 1568346112 8617 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5264] ppid=5246 vsize=1531588 CPUtime=0
/proc/5248/task/5264/stat : 5264 (java) S 5246 5248 5223 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 14 0 39008234 1568346112 8617 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 1531588

[startup+6.30221 s]
/proc/loadavg: 0.78 0.95 0.98 4/122 5270
/proc/meminfo: memFree=1718032/2059040 swapFree=4140236/4192956
[pid=5248] ppid=5246 vsize=1542536 CPUtime=6.98
/proc/5248/stat : 5248 (java) S 5246 5248 5223 0 -1 4202496 43967 0 1 0 672 26 0 0 25 0 16 0 39008097 1579556864 39494 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5248/statm: 385634 39494 1438 10 0 382937 0
[pid=5248/tid=5250] ppid=5246 vsize=1542536 CPUtime=1.14
/proc/5248/task/5250/stat : 5250 (java) S 5246 5248 5223 0 -1 4202560 5621 0 1 0 110 4 0 0 18 0 16 0 39008099 1579556864 39494 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5251] ppid=5246 vsize=1542536 CPUtime=0.03
/proc/5248/task/5251/stat : 5251 (java) S 5246 5248 5223 0 -1 4202560 1267 0 0 0 3 0 0 0 16 0 16 0 39008100 1579556864 39494 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5252] ppid=5246 vsize=1542536 CPUtime=0.04
/proc/5248/task/5252/stat : 5252 (java) S 5246 5248 5223 0 -1 4202560 1290 0 0 0 4 0 0 0 16 0 16 0 39008100 1579556864 39494 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5253] ppid=5246 vsize=1542536 CPUtime=0.04
/proc/5248/task/5253/stat : 5253 (java) S 5246 5248 5223 0 -1 4202560 13 0 0 0 1 3 0 0 15 0 16 0 39008102 1579556864 39494 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 0 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5254] ppid=5246 vsize=1542536 CPUtime=0
/proc/5248/task/5254/stat : 5254 (java) S 5246 5248 5223 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 16 0 39008103 1579556864 39494 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5255] ppid=5246 vsize=1542536 CPUtime=0
/proc/5248/task/5255/stat : 5255 (java) S 5246 5248 5223 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 39008103 1579556864 39494 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5256] ppid=5246 vsize=1542536 CPUtime=0
/proc/5248/task/5256/stat : 5256 (java) S 5246 5248 5223 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 39008107 1579556864 39494 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5257] ppid=5246 vsize=1542536 CPUtime=1.21
/proc/5248/task/5257/stat : 5257 (java) S 5246 5248 5223 0 -1 4202560 2136 0 0 0 120 1 0 0 15 0 16 0 39008107 1579556864 39494 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5258] ppid=5246 vsize=1542536 CPUtime=1.96
/proc/5248/task/5258/stat : 5258 (java) S 5246 5248 5223 0 -1 4202560 6206 0 0 0 194 2 0 0 15 0 16 0 39008107 1579556864 39494 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5259] ppid=5246 vsize=1542536 CPUtime=0
/proc/5248/task/5259/stat : 5259 (java) S 5246 5248 5223 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 39008107 1579556864 39494 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5260] ppid=5246 vsize=1542536 CPUtime=0
/proc/5248/task/5260/stat : 5260 (java) S 5246 5248 5223 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 39008107 1579556864 39494 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5263] ppid=5246 vsize=1542536 CPUtime=0
/proc/5248/task/5263/stat : 5263 (java) S 5246 5248 5223 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 39008234 1579556864 39494 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5264] ppid=5246 vsize=1542536 CPUtime=0
/proc/5248/task/5264/stat : 5264 (java) S 5246 5248 5223 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 39008234 1579556864 39494 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5269] ppid=5246 vsize=1542536 CPUtime=0.99
/proc/5248/task/5269/stat : 5269 (java) R 5246 5248 5223 0 -1 4202560 12989 0 0 0 93 6 0 0 18 0 16 0 39008534 1579556864 39494 1992294400 134512640 134550932 4292584720 18446744073709551615 4109562546 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5248/tid=5270] ppid=5246 vsize=1542536 CPUtime=1.13
/proc/5248/task/5270/stat : 5270 (java) R 5246 5248 5223 0 -1 4202560 11417 0 0 0 109 4 0 0 17 0 16 0 39008534 1579556864 39494 1992294400 134512640 134550932 4292584720 18446744073709551615 4109585761 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 1542536

[startup+12.7024 s]
/proc/loadavg: 0.88 0.97 0.99 3/122 5270
/proc/meminfo: memFree=1647352/2059040 swapFree=4140236/4192956
[pid=5248] ppid=5246 vsize=1542536 CPUtime=19.5
/proc/5248/stat : 5248 (java) S 5246 5248 5223 0 -1 4202496 54539 0 1 0 1919 31 0 0 25 0 16 0 39008097 1579556864 49787 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5248/statm: 385634 49787 1451 10 0 382937 0
[pid=5248/tid=5250] ppid=5246 vsize=1542536 CPUtime=1.14
/proc/5248/task/5250/stat : 5250 (java) S 5246 5248 5223 0 -1 4202560 5622 0 1 0 110 4 0 0 18 0 16 0 39008099 1579556864 49787 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5251] ppid=5246 vsize=1542536 CPUtime=0.24
/proc/5248/task/5251/stat : 5251 (java) S 5246 5248 5223 0 -1 4202560 4492 0 0 0 23 1 0 0 16 0 16 0 39008100 1579556864 49787 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5252] ppid=5246 vsize=1542536 CPUtime=0.25
/proc/5248/task/5252/stat : 5252 (java) S 5246 5248 5223 0 -1 4202560 4548 0 0 0 24 1 0 0 16 0 16 0 39008100 1579556864 49787 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5253] ppid=5246 vsize=1542536 CPUtime=0.2
/proc/5248/task/5253/stat : 5253 (java) S 5246 5248 5223 0 -1 4202560 2449 0 0 0 16 4 0 0 16 0 16 0 39008102 1579556864 49787 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 0 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5254] ppid=5246 vsize=1542536 CPUtime=0
/proc/5248/task/5254/stat : 5254 (java) S 5246 5248 5223 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 16 0 39008103 1579556864 49787 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5255] ppid=5246 vsize=1542536 CPUtime=0
/proc/5248/task/5255/stat : 5255 (java) S 5246 5248 5223 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 39008103 1579556864 49787 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5256] ppid=5246 vsize=1542536 CPUtime=0
/proc/5248/task/5256/stat : 5256 (java) S 5246 5248 5223 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 39008107 1579556864 49787 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5257] ppid=5246 vsize=1542536 CPUtime=1.76
/proc/5248/task/5257/stat : 5257 (java) S 5246 5248 5223 0 -1 4202560 2183 0 0 0 174 2 0 0 15 0 16 0 39008107 1579556864 49787 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5258] ppid=5246 vsize=1542536 CPUtime=1.99
/proc/5248/task/5258/stat : 5258 (java) S 5246 5248 5223 0 -1 4202560 6209 0 0 0 197 2 0 0 15 0 16 0 39008107 1579556864 49787 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5259] ppid=5246 vsize=1542536 CPUtime=0
/proc/5248/task/5259/stat : 5259 (java) S 5246 5248 5223 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 39008107 1579556864 49787 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5260] ppid=5246 vsize=1542536 CPUtime=0
/proc/5248/task/5260/stat : 5260 (java) S 5246 5248 5223 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 39008107 1579556864 49787 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5263] ppid=5246 vsize=1542536 CPUtime=0
/proc/5248/task/5263/stat : 5263 (java) S 5246 5248 5223 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 39008234 1579556864 49787 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5264] ppid=5246 vsize=1542536 CPUtime=0
/proc/5248/task/5264/stat : 5264 (java) S 5246 5248 5223 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 39008234 1579556864 49787 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5269] ppid=5246 vsize=1542536 CPUtime=6.9
/proc/5248/task/5269/stat : 5269 (java) R 5246 5248 5223 0 -1 4202560 13593 0 0 0 683 7 0 0 25 0 16 0 39008534 1579556864 49787 1992294400 134512640 134550932 4292584720 18446744073709551615 4109612181 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5248/tid=5270] ppid=5246 vsize=1542536 CPUtime=6.58
/proc/5248/task/5270/stat : 5270 (java) R 5246 5248 5223 0 -1 4202560 12415 0 0 0 654 4 0 0 25 0 16 0 39008534 1579556864 49787 1992294400 134512640 134550932 4292584720 18446744073709551615 4109624240 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19.5
Current children cumulated vsize (KiB) 1542536

[startup+25.5017 s]

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

/proc/5248/task/5273/stat : 5273 (java) R 5246 5248 5223 0 -1 4202560 673 0 0 0 69409 13 0 0 22 0 16 0 39012164 1580605440 85769 1992294400 134512640 134550932 4292584720 18446744073709551615 4109438826 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5248/tid=5274] ppid=5246 vsize=1543560 CPUtime=689.8
/proc/5248/task/5274/stat : 5274 (java) R 5246 5248 5223 0 -1 4202560 293 0 0 0 68936 44 0 0 22 0 16 0 39012164 1580605440 85769 1992294400 134512640 134550932 4292584720 18446744073709551615 4109516885 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1557.02
Current children cumulated vsize (KiB) 1543560

[startup+882.303 s]
/proc/loadavg: 2.02 2.16 1.82 3/122 7561
/proc/meminfo: memFree=1356600/2059040 swapFree=4140236/4192956
[pid=5248] ppid=5246 vsize=1543560 CPUtime=1669.83
/proc/5248/stat : 5248 (java) S 5246 5248 5223 0 -1 4202496 96129 0 1 0 166778 205 0 0 25 0 16 0 39008097 1580605440 87502 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5248/statm: 385890 87502 1451 10 0 383193 0
[pid=5248/tid=5250] ppid=5246 vsize=1543560 CPUtime=1.15
/proc/5248/task/5250/stat : 5250 (java) S 5246 5248 5223 0 -1 4202560 5652 0 1 0 110 5 0 0 15 0 16 0 39008099 1580605440 87502 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5251] ppid=5246 vsize=1543560 CPUtime=20.13
/proc/5248/task/5251/stat : 5251 (java) S 5246 5248 5223 0 -1 4202560 23534 0 0 0 1968 45 0 0 15 0 16 0 39008100 1580605440 87502 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5252] ppid=5246 vsize=1543560 CPUtime=20.08
/proc/5248/task/5252/stat : 5252 (java) S 5246 5248 5223 0 -1 4202560 23519 0 0 0 1963 45 0 0 16 0 16 0 39008100 1580605440 87502 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5253] ppid=5246 vsize=1543560 CPUtime=70.1
/proc/5248/task/5253/stat : 5253 (java) S 5246 5248 5223 0 -1 4202560 4224 0 0 0 6982 28 0 0 16 0 16 0 39008102 1580605440 87502 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 0 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5254] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5254/stat : 5254 (java) S 5246 5248 5223 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 16 0 39008103 1580605440 87502 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5255] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5255/stat : 5255 (java) S 5246 5248 5223 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 39008103 1580605440 87502 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5256] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5256/stat : 5256 (java) S 5246 5248 5223 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 39008107 1580605440 87502 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5257] ppid=5246 vsize=1543560 CPUtime=2.41
/proc/5248/task/5257/stat : 5257 (java) S 5246 5248 5223 0 -1 4202560 2214 0 0 0 239 2 0 0 16 0 16 0 39008107 1580605440 87502 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5258] ppid=5246 vsize=1543560 CPUtime=2.33
/proc/5248/task/5258/stat : 5258 (java) S 5246 5248 5223 0 -1 4202560 6814 0 0 0 231 2 0 0 15 0 16 0 39008107 1580605440 87502 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5259] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5259/stat : 5259 (java) S 5246 5248 5223 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 39008107 1580605440 87502 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5260] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5260/stat : 5260 (java) S 5246 5248 5223 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 16 0 39008107 1580605440 87502 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5263] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5263/stat : 5263 (java) S 5246 5248 5223 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 39008234 1580605440 87502 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5264] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5264/stat : 5264 (java) S 5246 5248 5223 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 39008234 1580605440 87502 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5273] ppid=5246 vsize=1543560 CPUtime=745.87
/proc/5248/task/5273/stat : 5273 (java) R 5246 5248 5223 0 -1 4202560 716 0 0 0 74573 14 0 0 25 0 16 0 39012164 1580605440 87502 1992294400 134512640 134550932 4292584720 18446744073709551615 4109490674 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5248/tid=5274] ppid=5246 vsize=1543560 CPUtime=741.66
/proc/5248/task/5274/stat : 5274 (java) R 5246 5248 5223 0 -1 4202560 322 0 0 0 74121 45 0 0 25 0 16 0 39012164 1580605440 87502 1992294400 134512640 134550932 4292584720 18446744073709551615 4109490978 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1669.83
Current children cumulated vsize (KiB) 1543560

[startup+942.303 s]
/proc/loadavg: 2.11 2.17 1.84 3/122 7563
/proc/meminfo: memFree=1346804/2059040 swapFree=4140236/4192956
[pid=5248] ppid=5246 vsize=1543560 CPUtime=1782.27
/proc/5248/stat : 5248 (java) S 5246 5248 5223 0 -1 4202496 98732 0 1 0 178014 213 0 0 25 0 16 0 39008097 1580605440 89922 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5248/statm: 385890 89922 1451 10 0 383193 0
[pid=5248/tid=5250] ppid=5246 vsize=1543560 CPUtime=1.15
/proc/5248/task/5250/stat : 5250 (java) S 5246 5248 5223 0 -1 4202560 5653 0 1 0 110 5 0 0 15 0 16 0 39008099 1580605440 89922 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5251] ppid=5246 vsize=1543560 CPUtime=21.74
/proc/5248/task/5251/stat : 5251 (java) S 5246 5248 5223 0 -1 4202560 25146 0 0 0 2127 47 0 0 15 0 16 0 39008100 1580605440 89922 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5252] ppid=5246 vsize=1543560 CPUtime=21.7
/proc/5248/task/5252/stat : 5252 (java) S 5246 5248 5223 0 -1 4202560 24165 0 0 0 2122 48 0 0 16 0 16 0 39008100 1580605440 89922 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5253] ppid=5246 vsize=1543560 CPUtime=76.59
/proc/5248/task/5253/stat : 5253 (java) S 5246 5248 5223 0 -1 4202560 4496 0 0 0 7630 29 0 0 15 0 16 0 39008102 1580605440 89922 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 0 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5254] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5254/stat : 5254 (java) S 5246 5248 5223 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 16 0 39008103 1580605440 89922 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5255] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5255/stat : 5255 (java) S 5246 5248 5223 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 39008103 1580605440 89922 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5256] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5256/stat : 5256 (java) S 5246 5248 5223 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 39008107 1580605440 89922 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5257] ppid=5246 vsize=1543560 CPUtime=2.41
/proc/5248/task/5257/stat : 5257 (java) S 5246 5248 5223 0 -1 4202560 2214 0 0 0 239 2 0 0 16 0 16 0 39008107 1580605440 89922 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5258] ppid=5246 vsize=1543560 CPUtime=2.33
/proc/5248/task/5258/stat : 5258 (java) S 5246 5248 5223 0 -1 4202560 6814 0 0 0 231 2 0 0 15 0 16 0 39008107 1580605440 89922 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5259] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5259/stat : 5259 (java) S 5246 5248 5223 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 39008107 1580605440 89922 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5260] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5260/stat : 5260 (java) S 5246 5248 5223 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 16 0 39008107 1580605440 89922 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5263] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5263/stat : 5263 (java) S 5246 5248 5223 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 39008234 1580605440 89922 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5264] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5264/stat : 5264 (java) S 5246 5248 5223 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 39008234 1580605440 89922 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5273] ppid=5246 vsize=1543560 CPUtime=796.96
/proc/5248/task/5273/stat : 5273 (java) R 5246 5248 5223 0 -1 4202560 752 0 0 0 79681 15 0 0 25 0 16 0 39012164 1580605440 89922 1992294400 134512640 134550932 4292584720 18446744073709551615 4109158134 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5248/tid=5274] ppid=5246 vsize=1543560 CPUtime=793.3
/proc/5248/task/5274/stat : 5274 (java) R 5246 5248 5223 0 -1 4202560 356 0 0 0 79284 46 0 0 25 0 16 0 39012164 1580605440 89922 1992294400 134512640 134550932 4292584720 18446744073709551615 4109631356 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 1543560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+952.002 s]
/proc/loadavg: 2.24 2.19 1.85 3/122 7563
/proc/meminfo: memFree=1345812/2059040 swapFree=4140236/4192956
[pid=5248] ppid=5246 vsize=1543560 CPUtime=1800.07
/proc/5248/stat : 5248 (java) S 5246 5248 5223 0 -1 4202496 98969 0 1 0 179792 215 0 0 25 0 16 0 39008097 1580605440 90141 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5248/statm: 385890 90141 1451 10 0 383193 0
[pid=5248/tid=5250] ppid=5246 vsize=1543560 CPUtime=1.15
/proc/5248/task/5250/stat : 5250 (java) S 5246 5248 5223 0 -1 4202560 5653 0 1 0 110 5 0 0 15 0 16 0 39008099 1580605440 90141 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5251] ppid=5246 vsize=1543560 CPUtime=22
/proc/5248/task/5251/stat : 5251 (java) S 5246 5248 5223 0 -1 4202560 25310 0 0 0 2153 47 0 0 16 0 16 0 39008100 1580605440 90141 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5252] ppid=5246 vsize=1543560 CPUtime=21.96
/proc/5248/task/5252/stat : 5252 (java) S 5246 5248 5223 0 -1 4202560 24221 0 0 0 2147 49 0 0 16 0 16 0 39008100 1580605440 90141 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5253] ppid=5246 vsize=1543560 CPUtime=78.04
/proc/5248/task/5253/stat : 5253 (java) S 5246 5248 5223 0 -1 4202560 4498 0 0 0 7775 29 0 0 15 0 16 0 39008102 1580605440 90141 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 0 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5254] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5254/stat : 5254 (java) S 5246 5248 5223 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 16 0 39008103 1580605440 90141 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5255] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5255/stat : 5255 (java) S 5246 5248 5223 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 39008103 1580605440 90141 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5256] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5256/stat : 5256 (java) S 5246 5248 5223 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 16 0 39008107 1580605440 90141 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5257] ppid=5246 vsize=1543560 CPUtime=2.41
/proc/5248/task/5257/stat : 5257 (java) S 5246 5248 5223 0 -1 4202560 2214 0 0 0 239 2 0 0 16 0 16 0 39008107 1580605440 90141 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5258] ppid=5246 vsize=1543560 CPUtime=2.33
/proc/5248/task/5258/stat : 5258 (java) S 5246 5248 5223 0 -1 4202560 6814 0 0 0 231 2 0 0 15 0 16 0 39008107 1580605440 90141 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5259] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5259/stat : 5259 (java) S 5246 5248 5223 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 39008107 1580605440 90141 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5260] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5260/stat : 5260 (java) S 5246 5248 5223 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 16 0 39008107 1580605440 90141 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5263] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5263/stat : 5263 (java) S 5246 5248 5223 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 16 0 39008234 1580605440 90141 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5264] ppid=5246 vsize=1543560 CPUtime=0
/proc/5248/task/5264/stat : 5264 (java) S 5246 5248 5223 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 39008234 1580605440 90141 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5273] ppid=5246 vsize=1543560 CPUtime=804.94
/proc/5248/task/5273/stat : 5273 (java) R 5246 5248 5223 0 -1 4202560 761 0 0 0 80479 15 0 0 21 0 16 0 39012164 1580605440 90141 1992294400 134512640 134550932 4292584720 18446744073709551615 4109493364 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5248/tid=5274] ppid=5246 vsize=1543560 CPUtime=801.14
/proc/5248/task/5274/stat : 5274 (java) R 5246 5248 5223 0 -1 4202560 360 0 0 0 80068 46 0 0 20 0 16 0 39012164 1580605440 90141 1992294400 134512640 134550932 4292584720 18446744073709551615 4109520244 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1543560

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

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

[startup+952.117 s]
/proc/loadavg: 2.24 2.19 1.85 3/122 7563
/proc/meminfo: memFree=1345812/2059040 swapFree=4140236/4192956
[pid=5248] ppid=5246 vsize=1544208 CPUtime=1800.28
/proc/5248/stat : 5248 (java) S 5246 5248 5223 0 -1 4202496 98987 0 1 0 179813 215 0 0 18 0 17 0 39008097 1581268992 90159 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5248/statm: 386052 90159 1451 10 0 383355 0
[pid=5248/tid=5250] ppid=5246 vsize=1544208 CPUtime=1.15
/proc/5248/task/5250/stat : 5250 (java) S 5246 5248 5223 0 -1 4202560 5653 0 1 0 110 5 0 0 15 0 17 0 39008099 1581268992 90159 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5251] ppid=5246 vsize=1544208 CPUtime=22
/proc/5248/task/5251/stat : 5251 (java) S 5246 5248 5223 0 -1 4202560 25310 0 0 0 2153 47 0 0 16 0 17 0 39008100 1581268992 90159 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5252] ppid=5246 vsize=1544208 CPUtime=21.96
/proc/5248/task/5252/stat : 5252 (java) S 5246 5248 5223 0 -1 4202560 24221 0 0 0 2147 49 0 0 16 0 17 0 39008100 1581268992 90159 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5253] ppid=5246 vsize=1544208 CPUtime=78.04
/proc/5248/task/5253/stat : 5253 (java) S 5246 5248 5223 0 -1 4202560 4498 0 0 0 7775 29 0 0 15 0 17 0 39008102 1581268992 90159 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 0 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5254] ppid=5246 vsize=1544208 CPUtime=0
/proc/5248/task/5254/stat : 5254 (java) S 5246 5248 5223 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 17 0 39008103 1581268992 90159 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5255] ppid=5246 vsize=1544208 CPUtime=0
/proc/5248/task/5255/stat : 5255 (java) S 5246 5248 5223 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 17 0 39008103 1581268992 90159 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5256] ppid=5246 vsize=1544208 CPUtime=0
/proc/5248/task/5256/stat : 5256 (java) S 5246 5248 5223 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 17 0 39008107 1581268992 90159 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5257] ppid=5246 vsize=1544208 CPUtime=2.41
/proc/5248/task/5257/stat : 5257 (java) S 5246 5248 5223 0 -1 4202560 2214 0 0 0 239 2 0 0 16 0 17 0 39008107 1581268992 90159 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5258] ppid=5246 vsize=1544208 CPUtime=2.33
/proc/5248/task/5258/stat : 5258 (java) S 5246 5248 5223 0 -1 4202560 6814 0 0 0 231 2 0 0 15 0 17 0 39008107 1581268992 90159 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5259] ppid=5246 vsize=1544208 CPUtime=0
/proc/5248/task/5259/stat : 5259 (java) S 5246 5248 5223 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 17 0 39008107 1581268992 90159 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5260] ppid=5246 vsize=1544208 CPUtime=0
/proc/5248/task/5260/stat : 5260 (java) S 5246 5248 5223 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 17 0 39008107 1581268992 90159 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5263] ppid=5246 vsize=1544208 CPUtime=0
/proc/5248/task/5263/stat : 5263 (java) S 5246 5248 5223 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 17 0 39008234 1581268992 90159 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 0 0 0 0
[pid=5248/tid=5264] ppid=5246 vsize=1544208 CPUtime=0
/proc/5248/task/5264/stat : 5264 (java) S 5246 5248 5223 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 17 0 39008234 1581268992 90159 1992294400 134512640 134550932 4292584720 18446744073709551615 4294960144 0 4 0 16800975 18446604437813016448 0 0 -1 1 0 0 0
[pid=5248/tid=5273] ppid=5246 vsize=1544208 CPUtime=805.03
/proc/5248/task/5273/stat : 5273 (java) R 5246 5248 5223 0 -1 4202560 761 0 0 0 80488 15 0 0 21 0 17 0 39012164 1581268992 90159 1992294400 134512640 134550932 4292584720 18446744073709551615 4109562804 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5248/tid=5274] ppid=5246 vsize=1544208 CPUtime=801.25
/proc/5248/task/5274/stat : 5274 (java) R 5246 5248 5223 0 -1 4202560 360 0 0 0 80079 46 0 0 21 0 17 0 39012164 1581268992 90159 1992294400 134512640 134550932 4292584720 18446744073709551615 4109490964 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 1544208

Child status: 143
Real time (s): 952.164
CPU time (s): 1800.34
CPU user time (s): 1798.15
CPU system time (s): 2.19267
CPU usage (%): 189.079
Max. virtual memory (cumulated for all children) (KiB): 1546304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.15
system time used= 2.19267
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98988
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= 33386
involuntary context switches= 57397

runsolver used 4.72528 second user time and 11.3343 second system time

The end

Launcher Data 

Begin job on node027 at 2010-06-16 03:59:22
IDJOB=2661867
IDBENCH=48122
IDSOLVER=1166
FILE ID=node027/2661867-1276653562
PBS_JOBID= 11172461
Free space on /tmp= 62536 MiB

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

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

MD5SUM BENCH= 08d7a5060b972f308367859ff82f87f6
RANDOM SEED=1705889122

node027.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		: 2800.261
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	: 5600.52
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		: 2800.261
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:       1841252 kB
Buffers:         33596 kB
Cached:         106188 kB
SwapCached:       5896 kB
Active:         100824 kB
Inactive:        52060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1841252 kB
SwapTotal:     4192956 kB
SwapFree:      4140236 kB
Dirty:             700 kB
Writeback:           0 kB
AnonPages:       11524 kB
Mapped:          13012 kB
Slab:            42880 kB
PageTables:       4056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180500 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62536 MiB
End job on node027 at 2010-06-16 04:15:17