Trace number 2659082

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB Resolution 2.2.0 2010-05-26SAT (TO)-26 1800.26 1795.94

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
MD5SUM8e251d4e151b2868eb3a52cf845e4cf8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-29
Best CPU time to get the best result obtained on this benchmark1789.65
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved YES
Number of variables450
Total number of constraints17809
Number of constraints which are clauses17809
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 constraint2
Maximum length of a constraint2
Number of terms in the objective function 450
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 450
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 450
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.09/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.09/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.14	c See www.sat4j.org for details.
0.09/0.15	c version 2.2.0.v20100526
0.09/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.09/0.15	c java.vm.version	11.2-b01
0.09/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.15	c sun.arch.data.model	32
0.09/0.15	c java.version		1.6.0_12
0.09/0.15	c os.name		Linux
0.09/0.15	c os.version		2.6.18-164.el5
0.09/0.15	c os.arch		i386
0.09/0.15	c Free memory 		1393557488
0.09/0.15	c Max memory 		1395916800
0.09/0.15	c Total memory 		1395916800
0.09/0.15	c Number of processors 	2
0.23/0.21	c Pseudo Boolean Optimization
0.23/0.21	c --- Begin Solver configuration ---
0.23/0.21	c Stops conflict analysis at the first Unique Implication Point
0.23/0.21	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4
0.23/0.21	c Learn all clauses as in MiniSAT
0.23/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.23/0.21	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.23/0.21	c Expensive reason simplification
0.23/0.21	c Armin Biere (Picosat) restarts strategy
0.23/0.21	c Glucose learned constraints deletion strategy
0.23/0.21	c timeout=2147483s
0.23/0.21	c DB Simplification allowed=false
0.23/0.21	c --- End Solver configuration ---
0.23/0.21	c solving HOME/instance-2659082-1276489281.opb
0.23/0.21	c reading problem ... 
1.63/1.04	c ... done. Wall clock time 0.833s.
1.63/1.04	c #vars     450
1.63/1.04	c #constraints  17809
1.63/1.05	c constraints type 
1.63/1.05	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17809
1.83/1.12	c SATISFIABLE
1.83/1.12	c OPTIMIZING...
1.83/1.12	c Got one! Elapsed wall clock time (in seconds):0.903
1.83/1.12	o -22
1.83/1.19	c Got one! Elapsed wall clock time (in seconds):0.981
1.83/1.19	o -23
2.21/1.34	c Got one! Elapsed wall clock time (in seconds):1.13
2.21/1.34	o -24
4.13/2.69	c cleaning 2500 clauses out of 5000 with flag 5000/5000
5.46/3.88	c cleaning 4251 clauses out of 8502 with flag 11002/11002
7.08/5.41	c cleaning 5624 clauses out of 11250 with flag 18001/18001
7.39/5.74	c Got one! Elapsed wall clock time (in seconds):5.528
7.39/5.74	o -25
9.02/7.34	c cleaning 6813 clauses out of 13625 with flag 26000/26000
11.60/9.82	c cleaning 7902 clauses out of 15812 with flag 35000/35000
14.00/12.22	c cleaning 8953 clauses out of 17911 with flag 45001/45001
17.42/15.68	c cleaning 9972 clauses out of 19957 with flag 56000/56000
21.44/19.61	c cleaning 10983 clauses out of 21985 with flag 68000/68000
26.56/24.73	c cleaning 11995 clauses out of 24002 with flag 81000/81000
30.99/29.13	c cleaning 13004 clauses out of 26008 with flag 95001/95001
36.82/34.97	c cleaning 13998 clauses out of 28004 with flag 110001/110001
42.25/40.35	c cleaning 15000 clauses out of 30005 with flag 126000/126000
49.87/47.96	c cleaning 16003 clauses out of 32005 with flag 143000/143000
60.70/58.79	c cleaning 16995 clauses out of 34002 with flag 161000/161000
71.83/69.85	c cleaning 17501 clauses out of 35007 with flag 179000/179000
78.47/76.47	c cleaning 17748 clauses out of 35506 with flag 197000/197000
87.99/85.94	c cleaning 17871 clauses out of 35759 with flag 215001/215001
98.12/96.06	c cleaning 17944 clauses out of 35887 with flag 233000/233000
111.65/109.56	c cleaning 17971 clauses out of 35943 with flag 251000/251000
118.97/116.89	c cleaning 17985 clauses out of 35973 with flag 269001/269001
128.21/126.02	c cleaning 17991 clauses out of 35987 with flag 287000/287000
136.74/134.51	c cleaning 17987 clauses out of 35996 with flag 305000/305000
146.07/143.87	c cleaning 18005 clauses out of 36010 with flag 323001/323001
148.81/146.54	c Got one! Elapsed wall clock time (in seconds):146.324
148.81/146.54	o -26
154.87/152.58	c cleaning 17998 clauses out of 36005 with flag 341001/341001
169.69/167.32	c cleaning 18001 clauses out of 36006 with flag 359000/359000
180.42/178.03	c cleaning 18001 clauses out of 36006 with flag 377001/377001
191.15/188.79	c cleaning 17993 clauses out of 36004 with flag 395000/395000
201.48/199.03	c cleaning 17998 clauses out of 36011 with flag 413000/413000
209.61/207.14	c cleaning 18006 clauses out of 36014 with flag 431001/431001
218.05/215.54	c cleaning 18001 clauses out of 36007 with flag 449000/449000
226.87/224.35	c cleaning 17997 clauses out of 36006 with flag 467000/467000
238.48/235.92	c cleaning 18000 clauses out of 36009 with flag 485000/485000
245.50/242.94	c cleaning 17999 clauses out of 36010 with flag 503001/503001
257.62/255.06	c cleaning 18005 clauses out of 36010 with flag 521000/521000
266.65/264.10	c cleaning 18001 clauses out of 36006 with flag 539001/539001
278.78/276.17	c cleaning 17993 clauses out of 36004 with flag 557000/557000
295.03/292.33	c cleaning 18000 clauses out of 36011 with flag 575000/575000
305.95/303.17	c cleaning 18002 clauses out of 36012 with flag 593001/593001
312.66/309.89	c cleaning 17992 clauses out of 36009 with flag 611000/611000
320.79/317.94	c cleaning 18002 clauses out of 36017 with flag 629000/629000
328.32/325.45	c cleaning 18006 clauses out of 36015 with flag 647000/647000
339.24/336.38	c cleaning 17999 clauses out of 36009 with flag 665000/665000
354.54/351.67	c cleaning 18002 clauses out of 36010 with flag 683000/683000
364.96/362.06	c cleaning 18002 clauses out of 36008 with flag 701000/701000
375.28/372.39	c cleaning 18000 clauses out of 36007 with flag 719001/719001
383.39/380.47	c cleaning 17994 clauses out of 36007 with flag 737001/737001
396.00/393.04	c cleaning 18002 clauses out of 36012 with flag 755000/755000
406.02/403.10	c cleaning 17998 clauses out of 36010 with flag 773000/773000
419.63/416.70	c cleaning 18000 clauses out of 36012 with flag 791000/791000
427.76/424.77	c cleaning 18003 clauses out of 36012 with flag 809000/809000
437.48/434.47	c cleaning 17994 clauses out of 36010 with flag 827001/827001
447.29/444.29	c cleaning 17996 clauses out of 36015 with flag 845000/845000
461.81/458.74	c cleaning 18006 clauses out of 36019 with flag 863000/863000
472.03/468.91	c cleaning 18006 clauses out of 36015 with flag 881002/881002
484.63/481.58	c cleaning 17993 clauses out of 36007 with flag 899000/899000
491.98/488.89	c cleaning 18003 clauses out of 36014 with flag 917000/917000
500.60/497.47	c cleaning 17998 clauses out of 36011 with flag 935000/935000
509.83/506.67	c cleaning 18004 clauses out of 36013 with flag 953000/953000
521.76/518.50	c cleaning 18002 clauses out of 36009 with flag 971000/971000
530.68/527.43	c cleaning 17989 clauses out of 36007 with flag 989000/989000
538.10/534.89	c cleaning 17999 clauses out of 36018 with flag 1007000/1007000
550.80/547.59	c cleaning 18004 clauses out of 36019 with flag 1025000/1025000
561.52/558.26	c cleaning 17990 clauses out of 36015 with flag 1043000/1043000
572.21/568.97	c cleaning 18011 clauses out of 36025 with flag 1061000/1061000
587.53/584.23	c cleaning 18007 clauses out of 36014 with flag 1079000/1079000
598.04/594.79	c cleaning 18002 clauses out of 36008 with flag 1097001/1097001
608.78/605.47	c cleaning 17994 clauses out of 36005 with flag 1115000/1115000
618.98/615.69	c cleaning 17997 clauses out of 36011 with flag 1133000/1133000
632.71/629.37	c cleaning 18001 clauses out of 36014 with flag 1151000/1151000
645.84/642.42	c cleaning 18006 clauses out of 36013 with flag 1169000/1169000
659.65/656.24	c cleaning 17999 clauses out of 36007 with flag 1187000/1187000
667.76/664.40	c cleaning 17989 clauses out of 36008 with flag 1205000/1205000
678.66/675.27	c cleaning 17999 clauses out of 36020 with flag 1223001/1223001
688.57/685.12	c cleaning 17993 clauses out of 36021 with flag 1241001/1241001
699.78/696.38	c cleaning 18005 clauses out of 36027 with flag 1259000/1259000
716.67/713.24	c cleaning 18007 clauses out of 36022 with flag 1277000/1277000
728.19/724.79	c cleaning 17999 clauses out of 36015 with flag 1295000/1295000
741.90/738.44	c cleaning 18005 clauses out of 36017 with flag 1313001/1313001
754.89/751.40	c cleaning 18001 clauses out of 36011 with flag 1331000/1331000
761.70/758.21	c cleaning 17997 clauses out of 36010 with flag 1349000/1349000
769.33/765.82	c cleaning 18000 clauses out of 36013 with flag 1367000/1367000
779.65/776.19	c cleaning 18001 clauses out of 36013 with flag 1385000/1385000
787.37/783.87	c cleaning 17998 clauses out of 36012 with flag 1403000/1403000
797.49/793.92	c cleaning 17992 clauses out of 36014 with flag 1421000/1421000
805.11/801.52	c cleaning 18000 clauses out of 36022 with flag 1439000/1439000
815.62/812.06	c cleaning 18002 clauses out of 36022 with flag 1457000/1457000
824.24/820.67	c cleaning 18008 clauses out of 36022 with flag 1475002/1475002
837.73/834.17	c cleaning 17996 clauses out of 36012 with flag 1493000/1493000
849.46/845.90	c cleaning 18005 clauses out of 36016 with flag 1511000/1511000
860.06/856.46	c cleaning 17991 clauses out of 36011 with flag 1529000/1529000
867.96/864.36	c cleaning 17997 clauses out of 36021 with flag 1547001/1547001
882.17/878.51	c cleaning 17999 clauses out of 36023 with flag 1565000/1565000
892.89/889.25	c cleaning 18009 clauses out of 36024 with flag 1583000/1583000
903.69/900.04	c cleaning 17999 clauses out of 36015 with flag 1601000/1601000
914.18/910.55	c cleaning 17993 clauses out of 36016 with flag 1619000/1619000
925.58/921.97	c cleaning 18000 clauses out of 36023 with flag 1637000/1637000
937.19/933.51	c cleaning 18005 clauses out of 36024 with flag 1655001/1655001
949.31/945.63	c cleaning 18001 clauses out of 36019 with flag 1673001/1673001
962.41/958.76	c cleaning 18001 clauses out of 36017 with flag 1691000/1691000
973.31/969.69	c cleaning 18002 clauses out of 36016 with flag 1709000/1709000
984.01/980.34	c cleaning 17999 clauses out of 36014 with flag 1727000/1727000
996.43/992.76	c cleaning 17998 clauses out of 36016 with flag 1745001/1745001
1007.73/1004.06	c cleaning 18001 clauses out of 36017 with flag 1763000/1763000
1018.34/1014.65	c cleaning 17993 clauses out of 36016 with flag 1781000/1781000
1031.14/1027.45	c cleaning 18006 clauses out of 36023 with flag 1799000/1799000
1042.64/1038.95	c cleaning 17993 clauses out of 36017 with flag 1817000/1817000
1055.54/1051.87	c cleaning 17995 clauses out of 36024 with flag 1835000/1835000
1068.93/1065.22	c cleaning 18014 clauses out of 36029 with flag 1853000/1853000
1079.56/1075.80	c cleaning 17995 clauses out of 36015 with flag 1871000/1871000
1093.87/1090.11	c cleaning 18003 clauses out of 36020 with flag 1889000/1889000
1107.36/1103.63	c cleaning 18000 clauses out of 36017 with flag 1907000/1907000
1120.39/1116.69	c cleaning 18004 clauses out of 36017 with flag 1925000/1925000
1132.09/1128.37	c cleaning 18001 clauses out of 36013 with flag 1943000/1943000
1144.29/1140.52	c cleaning 17993 clauses out of 36012 with flag 1961000/1961000
1154.71/1150.90	c cleaning 18000 clauses out of 36020 with flag 1979001/1979001
1165.43/1161.68	c cleaning 17999 clauses out of 36020 with flag 1997001/1997001
1173.53/1169.72	c cleaning 18000 clauses out of 36020 with flag 2015000/2015000
1181.25/1177.42	c cleaning 17990 clauses out of 36020 with flag 2033000/2033000
1189.47/1185.63	c cleaning 18012 clauses out of 36030 with flag 2051000/2051000
1198.88/1195.06	c cleaning 18006 clauses out of 36018 with flag 2069000/2069000
1210.69/1206.80	c cleaning 17994 clauses out of 36012 with flag 2087000/2087000
1220.00/1216.17	c cleaning 18004 clauses out of 36018 with flag 2105000/2105000
1233.60/1229.74	c cleaning 17996 clauses out of 36014 with flag 2123000/2123000
1244.33/1240.43	c cleaning 17990 clauses out of 36018 with flag 2141000/2141000
1257.25/1253.30	c cleaning 18010 clauses out of 36028 with flag 2159000/2159000
1267.35/1263.40	c cleaning 17992 clauses out of 36019 with flag 2177001/2177001
1279.28/1275.32	c cleaning 18009 clauses out of 36026 with flag 2195000/2195000
1286.48/1282.58	c cleaning 18009 clauses out of 36017 with flag 2213000/2213000
1297.08/1293.11	c cleaning 17988 clauses out of 36008 with flag 2231000/2231000
1310.88/1306.95	c cleaning 18010 clauses out of 36021 with flag 2249001/2249001
1324.01/1320.05	c cleaning 18001 clauses out of 36011 with flag 2267001/2267001
1335.30/1331.31	c cleaning 18003 clauses out of 36009 with flag 2285000/2285000
1346.91/1342.92	c cleaning 17999 clauses out of 36006 with flag 2303000/2303000
1358.63/1354.60	c cleaning 18002 clauses out of 36007 with flag 2321000/2321000
1371.73/1367.76	c cleaning 17999 clauses out of 36005 with flag 2339000/2339000
1386.14/1382.18	c cleaning 17999 clauses out of 36007 with flag 2357001/2357001
1399.66/1395.64	c cleaning 17998 clauses out of 36008 with flag 2375001/2375001
1413.78/1409.74	c cleaning 17999 clauses out of 36009 with flag 2393000/2393000
1429.17/1425.12	c cleaning 18004 clauses out of 36011 with flag 2411001/2411001
1448.19/1444.16	c cleaning 17997 clauses out of 36006 with flag 2429000/2429000
1464.91/1460.89	c cleaning 18001 clauses out of 36010 with flag 2447001/2447001
1477.90/1473.83	c cleaning 18000 clauses out of 36009 with flag 2465001/2465001
1495.11/1491.05	c cleaning 17997 clauses out of 36008 with flag 2483000/2483000
1506.63/1502.59	c cleaning 18002 clauses out of 36011 with flag 2501000/2501000
1519.62/1515.51	c cleaning 18000 clauses out of 36009 with flag 2519000/2519000
1533.13/1529.04	c cleaning 17996 clauses out of 36010 with flag 2537001/2537001
1547.02/1542.92	c cleaning 18004 clauses out of 36013 with flag 2555000/2555000
1559.94/1555.89	c cleaning 17995 clauses out of 36009 with flag 2573000/2573000
1574.44/1570.31	c cleaning 18004 clauses out of 36014 with flag 2591000/2591000
1593.36/1589.26	c cleaning 18002 clauses out of 36010 with flag 2609000/2609000
1604.16/1600.04	c cleaning 17990 clauses out of 36008 with flag 2627000/2627000
1615.86/1611.76	c cleaning 18003 clauses out of 36018 with flag 2645000/2645000
1627.17/1623.01	c cleaning 17990 clauses out of 36015 with flag 2663000/2663000
1634.57/1630.44	c cleaning 18004 clauses out of 36025 with flag 2681000/2681000
1643.37/1639.25	c cleaning 17990 clauses out of 36021 with flag 2699000/2699000
1655.28/1651.14	c cleaning 18008 clauses out of 36032 with flag 2717001/2717001
1666.87/1662.78	c cleaning 17989 clauses out of 36024 with flag 2735001/2735001
1676.47/1672.30	c cleaning 18006 clauses out of 36035 with flag 2753001/2753001
1688.78/1684.62	c cleaning 18001 clauses out of 36028 with flag 2771000/2771000
1699.88/1695.76	c cleaning 17989 clauses out of 36027 with flag 2789000/2789000
1709.88/1705.70	c cleaning 18013 clauses out of 36038 with flag 2807000/2807000
1720.68/1716.52	c cleaning 18007 clauses out of 36025 with flag 2825000/2825000
1728.70/1724.54	c cleaning 17993 clauses out of 36018 with flag 2843000/2843000
1740.30/1736.11	c cleaning 18006 clauses out of 36025 with flag 2861000/2861000
1752.01/1747.83	c cleaning 17994 clauses out of 36020 with flag 2879001/2879001
1762.82/1758.69	c cleaning 18006 clauses out of 36026 with flag 2897001/2897001
1775.33/1771.17	c cleaning 18002 clauses out of 36019 with flag 2915000/2915000
1787.65/1783.43	c cleaning 17991 clauses out of 36019 with flag 2933002/2933002
1798.25/1794.02	c cleaning 17999 clauses out of 36026 with flag 2951000/2951000
1800.07/1795.81	c starts		: 236
1800.07/1795.81	c conflicts		: 2956574
1800.07/1795.81	c decisions		: 3148938
1800.07/1795.81	c propagations		: 17753980
1800.07/1795.81	c inspects		: 2202782737
1800.07/1795.81	c learnt literals	: 0
1800.07/1795.81	c learnt binary clauses	: 0
1800.07/1795.81	c learnt ternary clauses	: 0
1800.07/1795.81	c learnt clauses	: 2956573
1800.07/1795.81	c ignored clauses	: 0
1800.07/1795.81	c root simplifications	: 0
1800.07/1795.81	c removed literals (reason simplification)	: 42284199
1800.07/1795.81	c reason swapping (by a shorter reason)	: 0
1800.07/1795.81	c Calls to reduceDB	: 169
1800.07/1795.82	c number of reductions to clauses (during analyze)	: 0
1800.07/1795.82	c number of learned constraints concerned by reduction	: 0
1800.07/1795.82	c number of learning phase by resolution	: 0
1800.07/1795.82	c number of learning phase by cutting planes	: 0
1800.07/1795.82	c speed (assignments/second)	: 10764.692935519097
1800.07/1795.82	c non guided choices	0
1800.07/1795.87	c learnt constraints type 
1800.07/1795.87	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 23810
1800.07/1795.87	c constraints type 
1800.07/1795.87	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/1795.87	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17809
1800.07/1795.87	s SATISFIABLE
1800.07/1795.87	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 
1800.07/1795.87	c objective function=-26
1800.07/1795.87	c Total wall clock time (in seconds): 1795.658

Verifier Data 

OK	-26

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2659082-1276489281/watcher-2659082-1276489281 -o /tmp/evaluation-result-2659082-1276489281/solver-2659082-1276489281 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659082-1276489281.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.91 0.95 0.98 3/106 26984
/proc/meminfo: memFree=1631548/2059040 swapFree=4192956/4192956
[pid=26984] ppid=26982 vsize=1700 CPUtime=0
/proc/26984/stat : 26984 (java6) R 26982 26984 26871 0 -1 4194304 204 0 0 0 0 0 0 0 19 0 1 0 24531855 1740800 108 1992294400 134512640 134550932 4292515488 18446744073709551615 9254060 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26984/statm: 507 114 88 10 0 112 0

[startup+0.07477 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 26984
/proc/meminfo: memFree=1631548/2059040 swapFree=4192956/4192956
[pid=26984] ppid=26982 vsize=1521796 CPUtime=0.05
/proc/26984/stat : 26984 (java) S 26982 26984 26871 0 -1 4202496 3717 0 1 0 3 2 0 0 15 0 7 0 24531855 1558319104 3158 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/26984/statm: 380449 3159 1035 10 0 377759 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1521796

[startup+0.10177 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 26984
/proc/meminfo: memFree=1631548/2059040 swapFree=4192956/4192956
[pid=26984] ppid=26982 vsize=1524184 CPUtime=0.09
/proc/26984/stat : 26984 (java) S 26982 26984 26871 0 -1 4202496 3960 0 1 0 6 3 0 0 15 0 12 0 24531855 1560764416 3399 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26984/statm: 381046 3399 1076 10 0 378348 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1524184

[startup+0.301768 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 26984
/proc/meminfo: memFree=1631548/2059040 swapFree=4192956/4192956
[pid=26984] ppid=26982 vsize=1526364 CPUtime=0.34
/proc/26984/stat : 26984 (java) S 26982 26984 26871 0 -1 4202496 5312 0 1 0 30 4 0 0 15 0 12 0 24531855 1562996736 4749 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26984/statm: 381591 4749 1361 10 0 378893 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 1526364

[startup+0.701766 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 26984
/proc/meminfo: memFree=1631548/2059040 swapFree=4192956/4192956
[pid=26984] ppid=26982 vsize=1528092 CPUtime=1.01
/proc/26984/stat : 26984 (java) S 26982 26984 26871 0 -1 4202496 7289 0 1 0 96 5 0 0 15 0 12 0 24531855 1564766208 6653 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26984/statm: 382023 6653 1401 10 0 379325 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 1528092

[startup+1.50176 s]
/proc/loadavg: 0.91 0.95 0.98 5/118 26996
/proc/meminfo: memFree=1592144/2059040 swapFree=4192956/4192956
[pid=26984] ppid=26982 vsize=1532848 CPUtime=2.61
/proc/26984/stat : 26984 (java) S 26982 26984 26871 0 -1 4202496 14191 0 1 0 252 9 0 0 15 0 13 0 24531855 1569636352 13018 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26984/statm: 383212 13018 1420 10 0 380514 0
[pid=26984/tid=26986] ppid=26982 vsize=1532848 CPUtime=1.41
/proc/26984/task/26986/stat : 26986 (java) R 26982 26984 26871 0 -1 4202560 10373 0 1 0 135 6 0 0 19 0 13 0 24531856 1569636352 13018 1992294400 134512640 134550932 4288597440 18446744073709551615 4108904227 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26984/tid=26987] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26987/stat : 26987 (java) S 26982 26984 26871 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 13 0 24531858 1569636352 13018 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26988] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26988/stat : 26988 (java) S 26982 26984 26871 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 13 0 24531858 1569636352 13018 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26989] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26989/stat : 26989 (java) S 26982 26984 26871 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 24531859 1569636352 13018 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26990] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26990/stat : 26990 (java) S 26982 26984 26871 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 13 0 24531860 1569636352 13018 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26991] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26991/stat : 26991 (java) S 26982 26984 26871 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 24531860 1569636352 13018 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26992] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26992/stat : 26992 (java) S 26982 26984 26871 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 24531864 1569636352 13018 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26993] ppid=26982 vsize=1532848 CPUtime=0.14
/proc/26984/task/26993/stat : 26993 (java) R 26982 26984 26871 0 -1 4202560 427 0 0 0 14 0 0 0 21 0 13 0 24531864 1569636352 13018 1992294400 134512640 134550932 4288597440 18446744073709551615 105712810 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26984/tid=26994] ppid=26982 vsize=1532848 CPUtime=1.01
/proc/26984/task/26994/stat : 26994 (java) R 26982 26984 26871 0 -1 4202560 2325 0 0 0 101 0 0 0 16 0 13 0 24531864 1569636352 13018 1992294400 134512640 134550932 4288597440 18446744073709551615 105391466 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26984/tid=26995] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26995/stat : 26995 (java) S 26982 26984 26871 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 24531864 1569636352 13018 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26996] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26996/stat : 26996 (java) S 26982 26984 26871 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 24531864 1569636352 13018 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 1532848

[startup+3.10075 s]
/proc/loadavg: 0.91 0.95 0.98 2/119 26997
/proc/meminfo: memFree=1580232/2059040 swapFree=4192956/4192956
[pid=26984] ppid=26982 vsize=1532848 CPUtime=4.72
/proc/26984/stat : 26984 (java) S 26982 26984 26871 0 -1 4202496 19913 0 1 0 460 12 0 0 15 0 13 0 24531855 1569636352 18717 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26984/statm: 383212 18717 1445 10 0 380514 0
[pid=26984/tid=26986] ppid=26982 vsize=1532848 CPUtime=2.96
/proc/26984/task/26986/stat : 26986 (java) R 26982 26984 26871 0 -1 4202560 12844 0 1 0 288 8 0 0 22 0 13 0 24531856 1569636352 18717 1992294400 134512640 134550932 4288597440 18446744073709551615 4109587268 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26984/tid=26987] ppid=26982 vsize=1532848 CPUtime=0.01
/proc/26984/task/26987/stat : 26987 (java) S 26982 26984 26871 0 -1 4202560 741 0 0 0 1 0 0 0 16 0 13 0 24531858 1569636352 18717 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26988] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26988/stat : 26988 (java) S 26982 26984 26871 0 -1 4202560 914 0 0 0 0 0 0 0 18 0 13 0 24531858 1569636352 18717 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26989] ppid=26982 vsize=1532848 CPUtime=0.02
/proc/26984/task/26989/stat : 26989 (java) S 26982 26984 26871 0 -1 4202560 1544 0 0 0 2 0 0 0 16 0 13 0 24531859 1569636352 18717 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26990] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26990/stat : 26990 (java) S 26982 26984 26871 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 24531860 1569636352 18717 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26991] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26991/stat : 26991 (java) S 26982 26984 26871 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 24531860 1569636352 18717 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26992] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26992/stat : 26992 (java) S 26982 26984 26871 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 24531864 1569636352 18717 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26993] ppid=26982 vsize=1532848 CPUtime=0.19
/proc/26984/task/26993/stat : 26993 (java) S 26982 26984 26871 0 -1 4202560 433 0 0 0 19 0 0 0 15 0 13 0 24531864 1569636352 18717 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26994] ppid=26982 vsize=1532848 CPUtime=1.47
/proc/26984/task/26994/stat : 26994 (java) S 26982 26984 26871 0 -1 4202560 2372 0 0 0 147 0 0 0 15 0 13 0 24531864 1569636352 18717 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26995] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26995/stat : 26995 (java) S 26982 26984 26871 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 24531864 1569636352 18717 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26996] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26996/stat : 26996 (java) S 26982 26984 26871 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 24531864 1569636352 18717 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26997] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26997/stat : 26997 (java) S 26982 26984 26871 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 24531962 1569636352 18717 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 1532848

[startup+6.30173 s]
/proc/loadavg: 0.92 0.95 0.98 3/119 26997
/proc/meminfo: memFree=1546016/2059040 swapFree=4192956/4192956
[pid=26984] ppid=26982 vsize=1532848 CPUtime=7.99
/proc/26984/stat : 26984 (java) S 26982 26984 26871 0 -1 4202496 26559 0 1 0 784 15 0 0 15 0 13 0 24531855 1569636352 25226 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26984/statm: 383212 25226 1445 10 0 380514 0
[pid=26984/tid=26986] ppid=26982 vsize=1532848 CPUtime=6.03
/proc/26984/task/26986/stat : 26986 (java) R 26982 26984 26871 0 -1 4202560 12849 0 1 0 595 8 0 0 25 0 13 0 24531856 1569636352 25226 1992294400 134512640 134550932 4288597440 18446744073709551615 4109587496 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26984/tid=26987] ppid=26982 vsize=1532848 CPUtime=0.04
/proc/26984/task/26987/stat : 26987 (java) S 26982 26984 26871 0 -1 4202560 2968 0 0 0 3 1 0 0 15 0 13 0 24531858 1569636352 25226 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26988] ppid=26982 vsize=1532848 CPUtime=0.03
/proc/26984/task/26988/stat : 26988 (java) S 26982 26984 26871 0 -1 4202560 2984 0 0 0 2 1 0 0 18 0 13 0 24531858 1569636352 25226 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26989] ppid=26982 vsize=1532848 CPUtime=0.09
/proc/26984/task/26989/stat : 26989 (java) S 26982 26984 26871 0 -1 4202560 3883 0 0 0 8 1 0 0 16 0 13 0 24531859 1569636352 25226 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26990] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26990/stat : 26990 (java) S 26982 26984 26871 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 24531860 1569636352 25226 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26991] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26991/stat : 26991 (java) S 26982 26984 26871 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 24531860 1569636352 25226 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26992] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26992/stat : 26992 (java) S 26982 26984 26871 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 24531864 1569636352 25226 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26993] ppid=26982 vsize=1532848 CPUtime=0.25
/proc/26984/task/26993/stat : 26993 (java) S 26982 26984 26871 0 -1 4202560 436 0 0 0 25 0 0 0 16 0 13 0 24531864 1569636352 25226 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26994] ppid=26982 vsize=1532848 CPUtime=1.49
/proc/26984/task/26994/stat : 26994 (java) S 26982 26984 26871 0 -1 4202560 2374 0 0 0 149 0 0 0 15 0 13 0 24531864 1569636352 25226 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26995] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26995/stat : 26995 (java) S 26982 26984 26871 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 24531864 1569636352 25226 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26996] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26996/stat : 26996 (java) S 26982 26984 26871 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 24531864 1569636352 25226 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26997] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26997/stat : 26997 (java) S 26982 26984 26871 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 24531962 1569636352 25226 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.99
Current children cumulated vsize (KiB) 1532848

[startup+12.7017 s]
/proc/loadavg: 0.93 0.95 0.98 2/119 26997
/proc/meminfo: memFree=1518860/2059040 swapFree=4192956/4192956
[pid=26984] ppid=26982 vsize=1532848 CPUtime=14.53
/proc/26984/stat : 26984 (java) S 26982 26984 26871 0 -1 4202496 31687 0 1 0 1435 18 0 0 15 0 13 0 24531855 1569636352 30329 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26984/statm: 383212 30329 1445 10 0 380514 0
[pid=26984/tid=26986] ppid=26982 vsize=1532848 CPUtime=12.21
/proc/26984/task/26986/stat : 26986 (java) R 26982 26984 26871 0 -1 4202560 12853 0 1 0 1212 9 0 0 25 0 13 0 24531856 1569636352 30329 1992294400 134512640 134550932 4288597440 18446744073709551615 4109556784 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26984/tid=26987] ppid=26982 vsize=1532848 CPUtime=0.09
/proc/26984/task/26987/stat : 26987 (java) S 26982 26984 26871 0 -1 4202560 4124 0 0 0 8 1 0 0 15 0 13 0 24531858 1569636352 30329 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26988] ppid=26982 vsize=1532848 CPUtime=0.09
/proc/26984/task/26988/stat : 26988 (java) S 26982 26984 26871 0 -1 4202560 4306 0 0 0 7 2 0 0 18 0 13 0 24531858 1569636352 30329 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26989] ppid=26982 vsize=1532848 CPUtime=0.24
/proc/26984/task/26989/stat : 26989 (java) S 26982 26984 26871 0 -1 4202560 6516 0 0 0 22 2 0 0 16 0 13 0 24531859 1569636352 30329 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26990] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26990/stat : 26990 (java) S 26982 26984 26871 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 24531860 1569636352 30329 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26991] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26991/stat : 26991 (java) S 26982 26984 26871 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 24531860 1569636352 30329 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26992] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26992/stat : 26992 (java) S 26982 26984 26871 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 24531864 1569636352 30329 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26993] ppid=26982 vsize=1532848 CPUtime=0.33
/proc/26984/task/26993/stat : 26993 (java) S 26982 26984 26871 0 -1 4202560 449 0 0 0 33 0 0 0 16 0 13 0 24531864 1569636352 30329 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26994] ppid=26982 vsize=1532848 CPUtime=1.5
/proc/26984/task/26994/stat : 26994 (java) S 26982 26984 26871 0 -1 4202560 2374 0 0 0 150 0 0 0 15 0 13 0 24531864 1569636352 30329 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26995] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26995/stat : 26995 (java) S 26982 26984 26871 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 24531864 1569636352 30329 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26996] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26996/stat : 26996 (java) S 26982 26984 26871 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 24531864 1569636352 30329 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26997] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26997/stat : 26997 (java) S 26982 26984 26871 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 24531962 1569636352 30329 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.53
Current children cumulated vsize (KiB) 1532848

[startup+25.5016 s]
/proc/loadavg: 0.94 0.96 0.98 2/119 26997
/proc/meminfo: memFree=1500384/2059040 swapFree=4192956/4192956
[pid=26984] ppid=26982 vsize=1532848 CPUtime=27.39
/proc/26984/stat : 26984 (java) S 26982 26984 26871 0 -1 4202496 35409 0 1 0 2719 20 0 0 15 0 13 0 24531855 1569636352 33912 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26984/statm: 383212 33912 1445 10 0 380514 0
[pid=26984/tid=26986] ppid=26982 vsize=1532848 CPUtime=24.76
/proc/26984/task/26986/stat : 26986 (java) R 26982 26984 26871 0 -1 4202560 12856 0 1 0 2467 9 0 0 25 0 13 0 24531856 1569636352 33912 1992294400 134512640 134550932 4288597440 18446744073709551615 4109556896 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26984/tid=26987] ppid=26982 vsize=1532848 CPUtime=0.18
/proc/26984/task/26987/stat : 26987 (java) S 26982 26984 26871 0 -1 4202560 4969 0 0 0 16 2 0 0 16 0 13 0 24531858 1569636352 33912 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26988] ppid=26982 vsize=1532848 CPUtime=0.16
/proc/26984/task/26988/stat : 26988 (java) S 26982 26984 26871 0 -1 4202560 5265 0 0 0 14 2 0 0 18 0 13 0 24531858 1569636352 33912 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26989] ppid=26982 vsize=1532848 CPUtime=0.4
/proc/26984/task/26989/stat : 26989 (java) S 26982 26984 26871 0 -1 4202560 8431 0 0 0 37 3 0 0 16 0 13 0 24531859 1569636352 33912 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26990] ppid=26982 vsize=1532848 CPUtime=0

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

[pid=26984] ppid=26982 vsize=1532848 CPUtime=1666.47
/proc/26984/stat : 26984 (java) S 26982 26984 26871 0 -1 4202496 47906 0 1 0 166598 49 0 0 15 0 13 0 24531855 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26984/statm: 383212 44573 1445 10 0 380514 0
[pid=26984/tid=26986] ppid=26982 vsize=1532848 CPUtime=1646.23
/proc/26984/task/26986/stat : 26986 (java) R 26982 26984 26871 0 -1 4202560 13001 0 1 0 164603 20 0 0 25 0 13 0 24531856 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4109587305 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26984/tid=26987] ppid=26982 vsize=1532848 CPUtime=3.23
/proc/26984/task/26987/stat : 26987 (java) S 26982 26984 26871 0 -1 4202560 9965 0 0 0 312 11 0 0 15 0 13 0 24531858 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26988] ppid=26982 vsize=1532848 CPUtime=3.11
/proc/26984/task/26988/stat : 26988 (java) S 26982 26984 26871 0 -1 4202560 10783 0 0 0 302 9 0 0 16 0 13 0 24531858 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26989] ppid=26982 vsize=1532848 CPUtime=11.74
/proc/26984/task/26989/stat : 26989 (java) S 26982 26984 26871 0 -1 4202560 10155 0 0 0 1169 5 0 0 15 0 13 0 24531859 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26990] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26990/stat : 26990 (java) S 26982 26984 26871 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 24531860 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26991] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26991/stat : 26991 (java) S 26982 26984 26871 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 24531860 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26992] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26992/stat : 26992 (java) S 26982 26984 26871 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26993] ppid=26982 vsize=1532848 CPUtime=0.57
/proc/26984/task/26993/stat : 26993 (java) S 26982 26984 26871 0 -1 4202560 466 0 0 0 57 0 0 0 15 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26994] ppid=26982 vsize=1532848 CPUtime=1.52
/proc/26984/task/26994/stat : 26994 (java) S 26982 26984 26871 0 -1 4202560 2375 0 0 0 152 0 0 0 15 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26995] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26995/stat : 26995 (java) S 26982 26984 26871 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26996] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26996/stat : 26996 (java) S 26982 26984 26871 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26997] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26997/stat : 26997 (java) S 26982 26984 26871 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 24531962 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1666.47
Current children cumulated vsize (KiB) 1532848

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/119 27043
/proc/meminfo: memFree=1454876/2059040 swapFree=4192956/4192956
[pid=26984] ppid=26982 vsize=1532848 CPUtime=1726.5
/proc/26984/stat : 26984 (java) S 26982 26984 26871 0 -1 4202496 47920 0 1 0 172601 49 0 0 15 0 13 0 24531855 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26984/statm: 383212 44573 1445 10 0 380514 0
[pid=26984/tid=26986] ppid=26982 vsize=1532848 CPUtime=1705.72
/proc/26984/task/26986/stat : 26986 (java) R 26982 26984 26871 0 -1 4202560 13007 0 1 0 170552 20 0 0 25 0 13 0 24531856 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4109615701 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26984/tid=26987] ppid=26982 vsize=1532848 CPUtime=3.28
/proc/26984/task/26987/stat : 26987 (java) S 26982 26984 26871 0 -1 4202560 9965 0 0 0 317 11 0 0 16 0 13 0 24531858 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26988] ppid=26982 vsize=1532848 CPUtime=3.16
/proc/26984/task/26988/stat : 26988 (java) S 26982 26984 26871 0 -1 4202560 10783 0 0 0 307 9 0 0 15 0 13 0 24531858 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26989] ppid=26982 vsize=1532848 CPUtime=12.18
/proc/26984/task/26989/stat : 26989 (java) S 26982 26984 26871 0 -1 4202560 10159 0 0 0 1213 5 0 0 15 0 13 0 24531859 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26990] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26990/stat : 26990 (java) S 26982 26984 26871 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 24531860 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26991] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26991/stat : 26991 (java) S 26982 26984 26871 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 24531860 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26992] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26992/stat : 26992 (java) S 26982 26984 26871 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26993] ppid=26982 vsize=1532848 CPUtime=0.57
/proc/26984/task/26993/stat : 26993 (java) S 26982 26984 26871 0 -1 4202560 466 0 0 0 57 0 0 0 15 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26994] ppid=26982 vsize=1532848 CPUtime=1.52
/proc/26984/task/26994/stat : 26994 (java) S 26982 26984 26871 0 -1 4202560 2375 0 0 0 152 0 0 0 15 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26995] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26995/stat : 26995 (java) S 26982 26984 26871 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26996] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26996/stat : 26996 (java) S 26982 26984 26871 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26997] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26997/stat : 26997 (java) S 26982 26984 26871 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 24531962 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1726.5
Current children cumulated vsize (KiB) 1532848

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/119 27045
/proc/meminfo: memFree=1454628/2059040 swapFree=4192956/4192956
[pid=26984] ppid=26982 vsize=1532848 CPUtime=1786.55
/proc/26984/stat : 26984 (java) S 26982 26984 26871 0 -1 4202496 47929 0 1 0 178606 49 0 0 15 0 13 0 24531855 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26984/statm: 383212 44573 1445 10 0 380514 0
[pid=26984/tid=26986] ppid=26982 vsize=1532848 CPUtime=1765.22
/proc/26984/task/26986/stat : 26986 (java) R 26982 26984 26871 0 -1 4202560 13012 0 1 0 176502 20 0 0 25 0 13 0 24531856 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4109557081 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26984/tid=26987] ppid=26982 vsize=1532848 CPUtime=3.36
/proc/26984/task/26987/stat : 26987 (java) S 26982 26984 26871 0 -1 4202560 9965 0 0 0 325 11 0 0 16 0 13 0 24531858 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26988] ppid=26982 vsize=1532848 CPUtime=3.25
/proc/26984/task/26988/stat : 26988 (java) S 26982 26984 26871 0 -1 4202560 10783 0 0 0 316 9 0 0 16 0 13 0 24531858 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26989] ppid=26982 vsize=1532848 CPUtime=12.57
/proc/26984/task/26989/stat : 26989 (java) S 26982 26984 26871 0 -1 4202560 10161 0 0 0 1252 5 0 0 15 0 13 0 24531859 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26990] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26990/stat : 26990 (java) S 26982 26984 26871 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 24531860 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26991] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26991/stat : 26991 (java) S 26982 26984 26871 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 24531860 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26992] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26992/stat : 26992 (java) S 26982 26984 26871 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26993] ppid=26982 vsize=1532848 CPUtime=0.57
/proc/26984/task/26993/stat : 26993 (java) S 26982 26984 26871 0 -1 4202560 466 0 0 0 57 0 0 0 15 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26994] ppid=26982 vsize=1532848 CPUtime=1.52
/proc/26984/task/26994/stat : 26994 (java) S 26982 26984 26871 0 -1 4202560 2375 0 0 0 152 0 0 0 15 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26995] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26995/stat : 26995 (java) S 26982 26984 26871 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26996] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26996/stat : 26996 (java) S 26982 26984 26871 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26997] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26997/stat : 26997 (java) S 26982 26984 26871 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 24531962 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1786.55
Current children cumulated vsize (KiB) 1532848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.8 s]
/proc/loadavg: 1.00 1.00 0.99 2/119 27045
/proc/meminfo: memFree=1454628/2059040 swapFree=4192956/4192956
[pid=26984] ppid=26982 vsize=1532848 CPUtime=1800.07
/proc/26984/stat : 26984 (java) S 26982 26984 26871 0 -1 4202496 47935 0 1 0 179957 50 0 0 15 0 13 0 24531855 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26984/statm: 383212 44573 1445 10 0 380514 0
[pid=26984/tid=26986] ppid=26982 vsize=1532848 CPUtime=1778.54
/proc/26984/task/26986/stat : 26986 (java) R 26982 26984 26871 0 -1 4202560 13014 0 1 0 177834 20 0 0 25 0 13 0 24531856 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4109557371 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26984/tid=26987] ppid=26982 vsize=1532848 CPUtime=3.37
/proc/26984/task/26987/stat : 26987 (java) S 26982 26984 26871 0 -1 4202560 9965 0 0 0 326 11 0 0 16 0 13 0 24531858 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26988] ppid=26982 vsize=1532848 CPUtime=3.26
/proc/26984/task/26988/stat : 26988 (java) S 26982 26984 26871 0 -1 4202560 10783 0 0 0 317 9 0 0 15 0 13 0 24531858 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26989] ppid=26982 vsize=1532848 CPUtime=12.74
/proc/26984/task/26989/stat : 26989 (java) S 26982 26984 26871 0 -1 4202560 10163 0 0 0 1269 5 0 0 15 0 13 0 24531859 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26990] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26990/stat : 26990 (java) S 26982 26984 26871 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 24531860 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26991] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26991/stat : 26991 (java) S 26982 26984 26871 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 24531860 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26992] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26992/stat : 26992 (java) S 26982 26984 26871 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26993] ppid=26982 vsize=1532848 CPUtime=0.57
/proc/26984/task/26993/stat : 26993 (java) S 26982 26984 26871 0 -1 4202560 466 0 0 0 57 0 0 0 15 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26994] ppid=26982 vsize=1532848 CPUtime=1.52
/proc/26984/task/26994/stat : 26994 (java) S 26982 26984 26871 0 -1 4202560 2375 0 0 0 152 0 0 0 15 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26995] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26995/stat : 26995 (java) S 26982 26984 26871 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26996] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26996/stat : 26996 (java) S 26982 26984 26871 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 13 0 24531864 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26997] ppid=26982 vsize=1532848 CPUtime=0
/proc/26984/task/26997/stat : 26997 (java) S 26982 26984 26871 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 24531962 1569636352 44573 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1532848

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

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

[startup+1795.92 s]
/proc/loadavg: 1.00 1.00 0.99 2/119 27045
/proc/meminfo: memFree=1454628/2059040 swapFree=4192956/4192956
[pid=26984] ppid=26982 vsize=1533496 CPUtime=1800.23
/proc/26984/stat : 26984 (java) S 26982 26984 26871 0 -1 4202496 47955 0 1 0 179973 50 0 0 15 0 14 0 24531855 1570299904 44593 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26984/statm: 383374 44593 1446 10 0 380676 0
[pid=26984/tid=26986] ppid=26982 vsize=1533496 CPUtime=1778.65
/proc/26984/task/26986/stat : 26986 (java) R 26982 26984 26871 0 -1 4202560 13014 0 1 0 177845 20 0 0 25 0 14 0 24531856 1570299904 44593 1992294400 134512640 134550932 4288597440 18446744073709551615 4109587370 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=26984/tid=26987] ppid=26982 vsize=1533496 CPUtime=3.37
/proc/26984/task/26987/stat : 26987 (java) S 26982 26984 26871 0 -1 4202560 9965 0 0 0 326 11 0 0 16 0 14 0 24531858 1570299904 44593 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26988] ppid=26982 vsize=1533496 CPUtime=3.26
/proc/26984/task/26988/stat : 26988 (java) S 26982 26984 26871 0 -1 4202560 10783 0 0 0 317 9 0 0 15 0 14 0 24531858 1570299904 44593 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26989] ppid=26982 vsize=1533496 CPUtime=12.74
/proc/26984/task/26989/stat : 26989 (java) S 26982 26984 26871 0 -1 4202560 10163 0 0 0 1269 5 0 0 15 0 14 0 24531859 1570299904 44593 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 0 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26990] ppid=26982 vsize=1533496 CPUtime=0
/proc/26984/task/26990/stat : 26990 (java) S 26982 26984 26871 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 14 0 24531860 1570299904 44593 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26991] ppid=26982 vsize=1533496 CPUtime=0
/proc/26984/task/26991/stat : 26991 (java) S 26982 26984 26871 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 14 0 24531860 1570299904 44593 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26992] ppid=26982 vsize=1533496 CPUtime=0
/proc/26984/task/26992/stat : 26992 (java) S 26982 26984 26871 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 14 0 24531864 1570299904 44593 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26993] ppid=26982 vsize=1533496 CPUtime=0.6
/proc/26984/task/26993/stat : 26993 (java) S 26982 26984 26871 0 -1 4202560 466 0 0 0 60 0 0 0 15 0 14 0 24531864 1570299904 44593 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26994] ppid=26982 vsize=1533496 CPUtime=1.52
/proc/26984/task/26994/stat : 26994 (java) S 26982 26984 26871 0 -1 4202560 2375 0 0 0 152 0 0 0 15 0 14 0 24531864 1570299904 44593 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 1 0 0 0
[pid=26984/tid=26995] ppid=26982 vsize=1533496 CPUtime=0
/proc/26984/task/26995/stat : 26995 (java) S 26982 26984 26871 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 14 0 24531864 1570299904 44593 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26996] ppid=26982 vsize=1533496 CPUtime=0
/proc/26984/task/26996/stat : 26996 (java) S 26982 26984 26871 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 14 0 24531864 1570299904 44593 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
[pid=26984/tid=26997] ppid=26982 vsize=1533496 CPUtime=0
/proc/26984/task/26997/stat : 26997 (java) S 26982 26984 26871 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 14 0 24531962 1570299904 44593 1992294400 134512640 134550932 4288597440 18446744073709551615 4294960144 0 4 0 16800975 18446604437845912256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 1533496

Child status: 143
Real time (s): 1795.94
CPU time (s): 1800.26
CPU user time (s): 1799.74
CPU system time (s): 0.51992
CPU usage (%): 100.24
Max. virtual memory (cumulated for all children) (KiB): 1533496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.51992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47955
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= 38516
involuntary context switches= 16458

runsolver used 3.57446 second user time and 9.65753 second system time

The end

Launcher Data 

Begin job on node005 at 2010-06-14 06:21:21
IDJOB=2659082
IDBENCH=2239
IDSOLVER=1164
FILE ID=node005/2659082-1276489281
PBS_JOBID= 11173393
Free space on /tmp= 62560 MiB

SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2659082-1276489281/watcher-2659082-1276489281 -o /tmp/evaluation-result-2659082-1276489281/solver-2659082-1276489281 -C 1800 -W 2000 -M 1800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659082-1276489281.opb

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

MD5SUM BENCH= 8e251d4e151b2868eb3a52cf845e4cf8
RANDOM SEED=1031516843

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.246
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:       1631820 kB
Buffers:        138644 kB
Cached:         158932 kB
SwapCached:          0 kB
Active:         168652 kB
Inactive:       188156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1631820 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:             668 kB
Writeback:           0 kB
AnonPages:       59160 kB
Mapped:          15428 kB
Slab:            48336 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182256 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62560 MiB
End job on node005 at 2010-06-14 06:51:19