Trace number 2658216

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 NameAnswerCPU timeWall clock time
SAT4J PB Resolution 2.2.0 2010-05-26? (TO) 1800.19 1793.3

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_5_15.opb
MD5SUM2b927be10d6e21370847ee6c94426772
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6124
Sum of products size (including duplicates)12248
Number of different products3062
Sum of products size6124

Solver Data 

0.09/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.09/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.13	c See www.sat4j.org for details.
0.09/0.15	c version 2.2.0.v20100526
0.09/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.09/0.15	c java.vm.version	11.2-b01
0.09/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.15	c sun.arch.data.model	32
0.09/0.15	c java.version		1.6.0_12
0.09/0.15	c os.name		Linux
0.09/0.15	c os.version		2.6.18-164.el5
0.09/0.15	c os.arch		i386
0.09/0.15	c Free memory 		1393557488
0.09/0.15	c Max memory 		1395916800
0.09/0.15	c Total memory 		1395916800
0.09/0.15	c Number of processors 	2
0.24/0.20	c Pseudo Boolean Optimization
0.24/0.20	c --- Begin Solver configuration ---
0.24/0.20	c Stops conflict analysis at the first Unique Implication Point
0.24/0.20	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@161d36b
0.24/0.20	c Learn all clauses as in MiniSAT
0.24/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.24/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.24/0.20	c Expensive reason simplification
0.24/0.20	c Armin Biere (Picosat) restarts strategy
0.24/0.20	c Glucose learned constraints deletion strategy
0.24/0.20	c timeout=2147483s
0.24/0.20	c DB Simplification allowed=false
0.24/0.20	c --- End Solver configuration ---
0.24/0.20	c solving HOME/instance-2658216-1276679478.opb
0.24/0.20	c reading problem ... 
2.86/2.22	c ... done. Wall clock time 2.018s.
2.86/2.22	c #vars     3262
2.86/2.22	c #constraints  6427
2.86/2.22	c constraints type 
2.86/2.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3062
2.86/2.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 203
2.86/2.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
2.86/2.22	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3062
8.37/6.81	c cleaning 2505 clauses out of 5009 with flag 5009/5009
13.40/11.73	c cleaning 4249 clauses out of 8498 with flag 11003/11003
19.05/17.28	c cleaning 5625 clauses out of 11250 with flag 18004/18004
27.62/25.54	c cleaning 6821 clauses out of 13641 with flag 26020/26020
38.18/36.08	c cleaning 7901 clauses out of 15801 with flag 35001/35001
49.30/47.16	c cleaning 8949 clauses out of 17899 with flag 45000/45000
61.83/59.68	c cleaning 9480 clauses out of 18959 with flag 55009/55009
72.11/69.85	c cleaning 9734 clauses out of 19471 with flag 65001/65001
81.33/78.99	c cleaning 9877 clauses out of 19754 with flag 75018/75018
90.74/88.33	c cleaning 9935 clauses out of 19872 with flag 85013/85013
99.57/97.12	c cleaning 9960 clauses out of 19924 with flag 95000/95000
108.39/105.97	c cleaning 9980 clauses out of 19964 with flag 105000/105000
117.92/115.42	c cleaning 9996 clauses out of 19991 with flag 115007/115007
127.24/124.73	c cleaning 9992 clauses out of 19988 with flag 125000/125000
137.05/134.51	c cleaning 10005 clauses out of 20012 with flag 135016/135016
145.25/142.74	c cleaning 9997 clauses out of 19998 with flag 145007/145007
154.67/152.12	c cleaning 10006 clauses out of 20015 with flag 155021/155021
160.30/157.71	c cleaning 10002 clauses out of 20005 with flag 165017/165017
167.52/164.94	c cleaning 9994 clauses out of 19991 with flag 175005/175005
176.63/174.07	c cleaning 10002 clauses out of 20007 with flag 185015/185015
184.54/181.91	c cleaning 9999 clauses out of 19999 with flag 195009/195009
191.16/188.52	c cleaning 9994 clauses out of 19992 with flag 205001/205001
198.88/196.29	c cleaning 10000 clauses out of 20004 with flag 215007/215007
205.60/202.92	c cleaning 9996 clauses out of 19999 with flag 225002/225002
211.42/208.76	c cleaning 10003 clauses out of 20009 with flag 235008/235008
217.14/214.43	c cleaning 9998 clauses out of 20002 with flag 245004/245004
223.54/220.89	c cleaning 10011 clauses out of 20026 with flag 255026/255026
230.95/228.22	c cleaning 10009 clauses out of 20022 with flag 265033/265033
238.98/236.20	c cleaning 9989 clauses out of 19982 with flag 275002/275002
246.30/243.50	c cleaning 10000 clauses out of 20001 with flag 285010/285010
251.20/248.46	c cleaning 9995 clauses out of 19996 with flag 295005/295005
257.31/254.53	c cleaning 9999 clauses out of 20003 with flag 305007/305007
262.32/259.57	c cleaning 10001 clauses out of 20005 with flag 315008/315008
267.63/264.87	c cleaning 10003 clauses out of 20006 with flag 325010/325010
272.55/269.72	c cleaning 9995 clauses out of 19998 with flag 335005/335005
277.36/274.56	c cleaning 10000 clauses out of 20004 with flag 345006/345006
283.68/280.81	c cleaning 9999 clauses out of 20003 with flag 355005/355005
289.39/286.60	c cleaning 9997 clauses out of 19999 with flag 365000/365000
295.31/292.50	c cleaning 10001 clauses out of 20008 with flag 375006/375006
301.72/298.87	c cleaning 9998 clauses out of 20001 with flag 385000/385000
310.14/307.23	c cleaning 10001 clauses out of 20006 with flag 395003/395003
318.76/315.87	c cleaning 10000 clauses out of 20003 with flag 405001/405001
326.89/323.93	c cleaning 10000 clauses out of 20004 with flag 415002/415002
335.12/332.11	c cleaning 10000 clauses out of 20003 with flag 425001/425001
343.02/340.00	c cleaning 10002 clauses out of 20008 with flag 435006/435006
352.03/349.03	c cleaning 10007 clauses out of 20018 with flag 445018/445018
356.84/353.83	c cleaning 9994 clauses out of 19994 with flag 455001/455001
362.06/359.03	c cleaning 10000 clauses out of 20004 with flag 465005/465005
368.07/365.01	c cleaning 10003 clauses out of 20010 with flag 475011/475011
374.99/371.92	c cleaning 9997 clauses out of 20002 with flag 485006/485006
380.69/377.69	c cleaning 10002 clauses out of 20011 with flag 495012/495012
387.01/383.93	c cleaning 10002 clauses out of 20011 with flag 505014/505014
393.31/390.24	c cleaning 9999 clauses out of 20004 with flag 515009/515009
399.83/396.71	c cleaning 9997 clauses out of 20001 with flag 525005/525005
406.33/403.29	c cleaning 9998 clauses out of 20002 with flag 535003/535003
412.44/409.32	c cleaning 9999 clauses out of 20003 with flag 545002/545002
417.97/414.82	c cleaning 9998 clauses out of 20002 with flag 555000/555000
423.58/420.47	c cleaning 9999 clauses out of 20004 with flag 565000/565000
430.68/427.51	c cleaning 10010 clauses out of 20023 with flag 575018/575018
437.29/434.10	c cleaning 9995 clauses out of 19995 with flag 585000/585000
445.00/441.86	c cleaning 9998 clauses out of 20002 with flag 595002/595002
451.81/448.69	c cleaning 10004 clauses out of 20010 with flag 605008/605008
458.12/455.00	c cleaning 9999 clauses out of 20001 with flag 615003/615003
465.43/462.29	c cleaning 10002 clauses out of 20007 with flag 625008/625008
471.76/468.59	c cleaning 10000 clauses out of 20004 with flag 635007/635007
477.37/474.12	c cleaning 10003 clauses out of 20011 with flag 645014/645014
484.48/481.24	c cleaning 9994 clauses out of 19995 with flag 655001/655001
490.09/486.82	c cleaning 9998 clauses out of 20003 with flag 665003/665003
496.20/492.90	c cleaning 10001 clauses out of 20007 with flag 675005/675005
502.13/498.88	c cleaning 10009 clauses out of 20023 with flag 685022/685022
508.85/505.54	c cleaning 9996 clauses out of 19998 with flag 695006/695006
515.66/512.37	c cleaning 9997 clauses out of 20000 with flag 705004/705004
523.08/519.74	c cleaning 10001 clauses out of 20005 with flag 715006/715006
530.00/526.69	c cleaning 10000 clauses out of 20003 with flag 725005/725005
535.61/532.20	c cleaning 9995 clauses out of 19998 with flag 735000/735000
541.46/538.09	c cleaning 9997 clauses out of 20006 with flag 745003/745003
548.88/545.41	c cleaning 9999 clauses out of 20008 with flag 755002/755002
555.50/552.03	c cleaning 10003 clauses out of 20011 with flag 765004/765004
562.23/558.80	c cleaning 10003 clauses out of 20014 with flag 775010/775010
568.84/565.40	c cleaning 9994 clauses out of 20003 with flag 785002/785002
576.67/573.19	c cleaning 10024 clauses out of 20051 with flag 795044/795044
586.11/582.54	c cleaning 9980 clauses out of 19983 with flag 805000/805000
592.82/589.27	c cleaning 10003 clauses out of 20012 with flag 815009/815009
600.13/596.55	c cleaning 10000 clauses out of 20006 with flag 825006/825006
606.25/602.68	c cleaning 9996 clauses out of 20001 with flag 835001/835001
612.86/609.28	c cleaning 10006 clauses out of 20016 with flag 845012/845012
619.98/616.34	c cleaning 10010 clauses out of 20023 with flag 855025/855025
627.70/624.01	c cleaning 9991 clauses out of 19989 with flag 865001/865001
633.52/629.87	c cleaning 9998 clauses out of 20001 with flag 875004/875004
640.73/637.07	c cleaning 9999 clauses out of 20002 with flag 885003/885003
647.65/643.95	c cleaning 10004 clauses out of 20015 with flag 895015/895015
654.76/651.03	c cleaning 9994 clauses out of 19996 with flag 905000/905000
661.49/657.79	c cleaning 9997 clauses out of 20002 with flag 915000/915000
669.70/665.97	c cleaning 10003 clauses out of 20014 with flag 925009/925009
676.63/672.85	c cleaning 9999 clauses out of 20006 with flag 935004/935004
683.34/679.52	c cleaning 9997 clauses out of 20004 with flag 945001/945001
691.36/687.50	c cleaning 9998 clauses out of 20007 with flag 955001/955001
699.77/695.97	c cleaning 10007 clauses out of 20025 with flag 965017/965017
708.07/704.23	c cleaning 10000 clauses out of 20011 with flag 975010/975010
715.00/711.19	c cleaning 10003 clauses out of 20017 with flag 985016/985016
720.71/716.88	c cleaning 10002 clauses out of 20016 with flag 995018/995018
726.92/723.08	c cleaning 9993 clauses out of 19997 with flag 1005001/1005001
734.04/730.19	c cleaning 9998 clauses out of 20008 with flag 1015005/1015005
740.76/736.86	c cleaning 9999 clauses out of 20010 with flag 1025005/1025005
747.98/744.00	c cleaning 9998 clauses out of 20007 with flag 1035001/1035001
754.49/750.52	c cleaning 10003 clauses out of 20018 with flag 1045010/1045010
761.00/757.01	c cleaning 10007 clauses out of 20025 with flag 1055020/1055020
768.32/764.35	c cleaning 9998 clauses out of 20007 with flag 1065009/1065009
775.04/771.06	c cleaning 9996 clauses out of 20004 with flag 1075004/1075004
781.55/777.50	c cleaning 10001 clauses out of 20007 with flag 1085003/1085003
788.37/784.37	c cleaning 9998 clauses out of 20006 with flag 1095003/1095003
795.48/791.45	c cleaning 10006 clauses out of 20021 with flag 1105016/1105016
802.98/798.97	c cleaning 9999 clauses out of 20011 with flag 1115012/1115012
810.60/806.58	c cleaning 9998 clauses out of 20005 with flag 1125005/1125005
818.43/814.34	c cleaning 9993 clauses out of 20002 with flag 1135000/1135000
825.65/821.55	c cleaning 10001 clauses out of 20014 with flag 1145005/1145005
832.76/828.67	c cleaning 10002 clauses out of 20015 with flag 1155007/1155007
840.37/836.20	c cleaning 10006 clauses out of 20023 with flag 1165017/1165017
847.59/843.49	c cleaning 9996 clauses out of 20004 with flag 1175004/1175004
855.51/851.34	c cleaning 10010 clauses out of 20029 with flag 1185025/1185025
864.32/860.15	c cleaning 9992 clauses out of 19995 with flag 1195001/1195001
870.94/866.77	c cleaning 9999 clauses out of 20010 with flag 1205008/1205008
877.74/873.55	c cleaning 10004 clauses out of 20015 with flag 1215012/1215012
883.18/878.91	c cleaning 9999 clauses out of 20005 with flag 1225006/1225006
888.29/884.00	c cleaning 9991 clauses out of 20000 with flag 1235000/1235000
894.81/890.53	c cleaning 10001 clauses out of 20011 with flag 1245002/1245002
901.14/896.89	c cleaning 9994 clauses out of 20008 with flag 1255000/1255000
907.05/902.71	c cleaning 9998 clauses out of 20014 with flag 1265000/1265000
911.78/907.50	c cleaning 10011 clauses out of 20028 with flag 1275012/1275012
918.10/913.70	c cleaning 10001 clauses out of 20016 with flag 1285011/1285011
924.32/919.97	c cleaning 10005 clauses out of 20019 with flag 1295015/1295015
930.04/925.65	c cleaning 9983 clauses out of 20001 with flag 1305002/1305002
935.25/930.88	c cleaning 10002 clauses out of 20016 with flag 1315000/1315000
941.57/937.11	c cleaning 9999 clauses out of 20014 with flag 1325000/1325000
948.39/943.96	c cleaning 10004 clauses out of 20019 with flag 1335004/1335004
954.70/950.20	c cleaning 10003 clauses out of 20017 with flag 1345006/1345006
961.13/956.65	c cleaning 10005 clauses out of 20019 with flag 1355011/1355011
967.45/962.90	c cleaning 9996 clauses out of 20003 with flag 1365000/1365000
973.77/969.23	c cleaning 9998 clauses out of 20007 with flag 1375000/1375000
981.08/976.53	c cleaning 10000 clauses out of 20010 with flag 1385001/1385001
987.91/983.31	c cleaning 9995 clauses out of 20009 with flag 1395000/1395000
995.33/990.71	c cleaning 10012 clauses out of 20028 with flag 1405014/1405014
1003.64/999.09	c cleaning 10013 clauses out of 20025 with flag 1415023/1415023
1011.26/1006.63	c cleaning 9993 clauses out of 20006 with flag 1425017/1425017
1019.18/1014.53	c cleaning 10010 clauses out of 20023 with flag 1435027/1435027
1027.31/1022.69	c cleaning 9974 clauses out of 19986 with flag 1445000/1445000
1035.93/1031.29	c cleaning 9987 clauses out of 20014 with flag 1455002/1455002
1044.05/1039.36	c cleaning 10018 clauses out of 20045 with flag 1465020/1465020
1051.37/1046.68	c cleaning 10002 clauses out of 20013 with flag 1475006/1475006
1058.09/1053.38	c cleaning 10007 clauses out of 20020 with flag 1485015/1485015
1063.91/1059.16	c cleaning 10004 clauses out of 20019 with flag 1495021/1495021
1069.63/1064.81	c cleaning 9996 clauses out of 19999 with flag 1505005/1505005
1075.23/1070.40	c cleaning 9981 clauses out of 20001 with flag 1515003/1515003
1080.76/1075.96	c cleaning 10007 clauses out of 20019 with flag 1525002/1525002
1087.58/1082.71	c cleaning 10008 clauses out of 20021 with flag 1535011/1535011
1094.91/1090.02	c cleaning 9998 clauses out of 20003 with flag 1545001/1545001
1102.22/1097.32	c cleaning 9998 clauses out of 20006 with flag 1555002/1555002
1110.94/1106.08	c cleaning 10003 clauses out of 20016 with flag 1565010/1565010
1116.96/1112.05	c cleaning 10001 clauses out of 20014 with flag 1575011/1575011
1122.46/1117.54	c cleaning 9999 clauses out of 20009 with flag 1585007/1585007
1128.37/1123.40	c cleaning 10000 clauses out of 20011 with flag 1595008/1595008
1134.09/1129.15	c cleaning 10001 clauses out of 20014 with flag 1605011/1605011
1140.00/1135.00	c cleaning 9989 clauses out of 20002 with flag 1615000/1615000
1146.92/1141.98	c cleaning 10005 clauses out of 20015 with flag 1625002/1625002
1154.84/1149.86	c cleaning 9980 clauses out of 20008 with flag 1635000/1635000
1161.87/1156.85	c cleaning 10013 clauses out of 20032 with flag 1645004/1645004
1168.28/1163.21	c cleaning 10006 clauses out of 20023 with flag 1655008/1655008
1173.59/1168.60	c cleaning 9996 clauses out of 20010 with flag 1665001/1665001
1179.60/1174.52	c cleaning 10005 clauses out of 20022 with flag 1675009/1675009
1184.82/1179.75	c cleaning 9996 clauses out of 20008 with flag 1685000/1685000
1190.84/1185.77	c cleaning 10000 clauses out of 20013 with flag 1695001/1695001
1197.25/1192.15	c cleaning 10002 clauses out of 20015 with flag 1705003/1705003
1202.98/1197.81	c cleaning 10003 clauses out of 20016 with flag 1715006/1715006
1209.29/1204.17	c cleaning 9997 clauses out of 20007 with flag 1725000/1725000
1215.40/1210.21	c cleaning 9999 clauses out of 20015 with flag 1735005/1735005
1221.22/1216.06	c cleaning 9985 clauses out of 20011 with flag 1745000/1745000
1228.15/1222.95	c cleaning 10011 clauses out of 20035 with flag 1755009/1755009
1234.46/1229.28	c cleaning 10008 clauses out of 20026 with flag 1765011/1765011
1240.17/1234.94	c cleaning 10001 clauses out of 20011 with flag 1775004/1775004
1245.99/1240.75	c cleaning 9999 clauses out of 20009 with flag 1785003/1785003
1252.11/1246.85	c cleaning 10000 clauses out of 20009 with flag 1795002/1795002
1258.23/1252.97	c cleaning 9997 clauses out of 20007 with flag 1805000/1805000
1263.95/1258.69	c cleaning 9999 clauses out of 20012 with flag 1815002/1815002
1270.87/1265.52	c cleaning 9986 clauses out of 20011 with flag 1825000/1825000
1277.49/1272.18	c cleaning 10011 clauses out of 20033 with flag 1835008/1835008
1283.31/1277.91	c cleaning 10010 clauses out of 20031 with flag 1845017/1845017
1290.03/1284.66	c cleaning 10001 clauses out of 20009 with flag 1855005/1855005
1296.05/1290.66	c cleaning 9986 clauses out of 20007 with flag 1865004/1865004
1301.56/1296.15	c cleaning 10003 clauses out of 20018 with flag 1875001/1875001
1306.69/1301.26	c cleaning 10016 clauses out of 20040 with flag 1885026/1885026
1312.90/1307.40	c cleaning 9995 clauses out of 20008 with flag 1895010/1895010
1319.72/1314.21	c cleaning 9997 clauses out of 20003 with flag 1905000/1905000
1326.84/1321.31	c cleaning 9988 clauses out of 20009 with flag 1915003/1915003
1334.06/1328.54	c cleaning 10006 clauses out of 20020 with flag 1925002/1925002
1340.49/1334.92	c cleaning 9995 clauses out of 20016 with flag 1935004/1935004
1347.41/1341.89	c cleaning 10004 clauses out of 20017 with flag 1945000/1945000
1354.24/1348.66	c cleaning 10004 clauses out of 20016 with flag 1955003/1955003
1360.24/1354.66	c cleaning 10002 clauses out of 20014 with flag 1965005/1965005
1365.54/1359.99	c cleaning 9998 clauses out of 20010 with flag 1975003/1975003
1371.96/1366.38	c cleaning 10002 clauses out of 20009 with flag 1985000/1985000
1378.98/1373.39	c cleaning 10000 clauses out of 20008 with flag 1995001/1995001
1388.10/1382.47	c cleaning 10003 clauses out of 20013 with flag 2005006/2005006
1395.11/1389.48	c cleaning 10002 clauses out of 20011 with flag 2015007/2015007
1401.63/1395.96	c cleaning 10000 clauses out of 20008 with flag 2025006/2025006
1408.56/1402.84	c cleaning 10000 clauses out of 20007 with flag 2035005/2035005
1415.27/1409.56	c cleaning 9999 clauses out of 20006 with flag 2045004/2045004
1422.09/1416.38	c cleaning 10001 clauses out of 20010 with flag 2055007/2055007
1429.01/1423.27	c cleaning 10007 clauses out of 20021 with flag 2065019/2065019
1435.44/1429.67	c cleaning 10005 clauses out of 20018 with flag 2075023/2075023
1442.84/1437.00	c cleaning 9996 clauses out of 20002 with flag 2085012/2085012
1449.55/1443.80	c cleaning 9991 clauses out of 19994 with flag 2095000/2095000
1455.46/1449.65	c cleaning 10000 clauses out of 20010 with flag 2105007/2105007
1461.18/1455.39	c cleaning 10004 clauses out of 20019 with flag 2115016/2115016
1467.48/1461.65	c cleaning 9995 clauses out of 19999 with flag 2125000/2125000
1475.31/1469.46	c cleaning 10005 clauses out of 20018 with flag 2135014/2135014
1483.92/1478.07	c cleaning 10008 clauses out of 20024 with flag 2145025/2145025
1490.24/1484.38	c cleaning 9996 clauses out of 20001 with flag 2155010/2155010
1496.84/1490.98	c cleaning 9997 clauses out of 20006 with flag 2165011/2165011
1502.76/1496.88	c cleaning 9995 clauses out of 20002 with flag 2175004/2175004
1508.77/1502.81	c cleaning 9996 clauses out of 20005 with flag 2185002/2185002
1514.77/1508.88	c cleaning 10001 clauses out of 20013 with flag 2195006/2195006
1520.80/1514.80	c cleaning 9999 clauses out of 20007 with flag 2205001/2205001
1526.82/1520.85	c cleaning 9999 clauses out of 20009 with flag 2215002/2215002
1533.43/1527.48	c cleaning 10005 clauses out of 20020 with flag 2225012/2225012
1539.94/1533.95	c cleaning 9995 clauses out of 20003 with flag 2235000/2235000
1546.77/1540.70	c cleaning 10004 clauses out of 20018 with flag 2245010/2245010
1552.89/1546.84	c cleaning 10007 clauses out of 20021 with flag 2255017/2255017
1558.82/1552.71	c cleaning 9997 clauses out of 20003 with flag 2265006/2265006
1565.84/1559.72	c cleaning 9989 clauses out of 20000 with flag 2275000/2275000
1572.46/1566.39	c cleaning 10003 clauses out of 20016 with flag 2285005/2285005
1579.39/1573.26	c cleaning 9999 clauses out of 20012 with flag 2295004/2295004
1586.20/1580.08	c cleaning 10004 clauses out of 20015 with flag 2305006/2305006
1594.54/1588.31	c cleaning 10016 clauses out of 20037 with flag 2315032/2315032
1600.76/1594.52	c cleaning 9994 clauses out of 19999 with flag 2325010/2325010
1606.57/1600.38	c cleaning 10001 clauses out of 20011 with flag 2335016/2335016
1612.08/1605.87	c cleaning 9987 clauses out of 19995 with flag 2345001/2345001
1617.80/1611.54	c cleaning 10000 clauses out of 20012 with flag 2355005/2355005
1624.01/1617.73	c cleaning 9999 clauses out of 20008 with flag 2365001/2365001
1629.62/1623.34	c cleaning 9984 clauses out of 20013 with flag 2375005/2375005
1635.35/1629.01	c cleaning 10006 clauses out of 20025 with flag 2385001/2385001
1642.66/1636.32	c cleaning 10006 clauses out of 20021 with flag 2395003/2395003
1650.08/1643.75	c cleaning 9988 clauses out of 20012 with flag 2405000/2405000
1657.09/1650.77	c cleaning 10009 clauses out of 20027 with flag 2415003/2415003
1663.52/1657.19	c cleaning 10002 clauses out of 20031 with flag 2425016/2425016
1669.43/1663.05	c cleaning 10005 clauses out of 20019 with flag 2435006/2435006
1676.66/1670.24	c cleaning 10011 clauses out of 20028 with flag 2445020/2445020
1683.69/1677.25	c cleaning 9990 clauses out of 20010 with flag 2455013/2455013
1690.32/1683.89	c cleaning 10003 clauses out of 20015 with flag 2465008/2465008
1696.53/1690.00	c cleaning 9999 clauses out of 20005 with flag 2475001/2475001
1702.54/1696.09	c cleaning 10001 clauses out of 20009 with flag 2485004/2485004
1708.86/1702.32	c cleaning 10001 clauses out of 20011 with flag 2495007/2495007
1715.47/1709.00	c cleaning 9996 clauses out of 20003 with flag 2505000/2505000
1722.71/1716.16	c cleaning 10010 clauses out of 20027 with flag 2515020/2515020
1729.63/1723.00	c cleaning 9996 clauses out of 19999 with flag 2525002/2525002
1736.25/1729.66	c cleaning 9994 clauses out of 20002 with flag 2535001/2535001
1742.07/1735.41	c cleaning 10014 clauses out of 20034 with flag 2545027/2545027
1747.58/1740.91	c cleaning 9993 clauses out of 19996 with flag 2555003/2555003
1754.30/1747.66	c cleaning 9998 clauses out of 20003 with flag 2565003/2565003
1761.42/1754.74	c cleaning 9989 clauses out of 20002 with flag 2575000/2575000
1766.34/1759.60	c cleaning 10005 clauses out of 20016 with flag 2585003/2585003
1772.66/1766.00	c cleaning 9996 clauses out of 20008 with flag 2595000/2595000
1777.97/1771.23	c cleaning 10014 clauses out of 20036 with flag 2605024/2605024
1783.69/1776.91	c cleaning 9983 clauses out of 19998 with flag 2615000/2615000
1789.91/1783.14	c cleaning 10004 clauses out of 20018 with flag 2625003/2625003
1796.14/1789.34	c cleaning 10007 clauses out of 20023 with flag 2635012/2635012
1800.05/1793.21	c starts		: 230
1800.05/1793.21	c conflicts		: 2642252
1800.05/1793.21	c decisions		: 9149748
1800.05/1793.21	c propagations		: 55256011
1800.05/1793.21	c inspects		: 3222148437
1800.05/1793.21	c learnt literals	: 0
1800.05/1793.21	c learnt binary clauses	: 0
1800.05/1793.21	c learnt ternary clauses	: 949
1800.05/1793.21	c learnt clauses	: 2642253
1800.05/1793.21	c ignored clauses	: 0
1800.05/1793.21	c root simplifications	: 0
1800.05/1793.21	c removed literals (reason simplification)	: 86791551
1800.05/1793.21	c reason swapping (by a shorter reason)	: 0
1800.05/1793.21	c Calls to reduceDB	: 265
1800.05/1793.21	c number of reductions to clauses (during analyze)	: 0
1800.05/1793.21	c number of learned constraints concerned by reduction	: 0
1800.05/1793.21	c number of learning phase by resolution	: 0
1800.05/1793.21	c number of learning phase by cutting planes	: 0
1800.05/1793.21	c speed (assignments/second)	: 30852.134707243742
1800.05/1793.21	c non guided choices	3126
1800.05/1793.24	c learnt constraints type 
1800.05/1793.24	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 17279
1800.05/1793.24	c constraints type 
1800.05/1793.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3062
1800.05/1793.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 203
1800.05/1793.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
1800.05/1793.24	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3062
1800.05/1793.24	s UNKNOWN
1800.05/1793.24	c Total wall clock time (in seconds): 1793.04

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.16 1.14 1.05 3/105 18773
/proc/meminfo: memFree=1782588/2059040 swapFree=4148288/4192956
[pid=18773] ppid=18771 vsize=248 CPUtime=0
/proc/18773/stat : 18773 (java) R 18771 18773 17386 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 9241348 253952 28 1992294400 134512640 134550932 4289190368 18446744073709551615 8925662 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18773/statm: 62 28 21 10 0 23 0

[startup+0.0445161 s]
/proc/loadavg: 1.16 1.14 1.05 3/105 18773
/proc/meminfo: memFree=1782588/2059040 swapFree=4148288/4192956
[pid=18773] ppid=18771 vsize=1522040 CPUtime=0.03
/proc/18773/stat : 18773 (java) S 18771 18773 17386 0 -1 4202496 3465 0 1 0 2 1 0 0 18 0 5 0 9241348 1558568960 2908 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/18773/statm: 380510 2908 979 10 0 377820 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1522040

[startup+0.101522 s]
/proc/loadavg: 1.16 1.14 1.05 3/105 18773
/proc/meminfo: memFree=1782588/2059040 swapFree=4148288/4192956
[pid=18773] ppid=18771 vsize=1525208 CPUtime=0.09
/proc/18773/stat : 18773 (java) S 18771 18773 17386 0 -1 4202496 3983 0 1 0 7 2 0 0 18 0 12 0 9241348 1561812992 3422 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18773/statm: 381302 3422 1078 10 0 378604 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1525208

[startup+0.301544 s]
/proc/loadavg: 1.16 1.14 1.05 3/105 18773
/proc/meminfo: memFree=1782588/2059040 swapFree=4148288/4192956
[pid=18773] ppid=18771 vsize=1526908 CPUtime=0.39
/proc/18773/stat : 18773 (java) S 18771 18773 17386 0 -1 4202496 5428 0 1 0 35 4 0 0 18 0 12 0 9241348 1563553792 4865 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18773/statm: 381727 4865 1363 10 0 379029 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 1526908

[startup+0.700585 s]
/proc/loadavg: 1.16 1.14 1.05 3/105 18773
/proc/meminfo: memFree=1782588/2059040 swapFree=4148288/4192956
[pid=18773] ppid=18771 vsize=1528816 CPUtime=0.99
/proc/18773/stat : 18773 (java) S 18771 18773 17386 0 -1 4202496 7019 0 1 0 95 4 0 0 18 0 12 0 9241348 1565507584 6319 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18773/statm: 382204 6319 1408 10 0 379506 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 1528816

[startup+1.50167 s]
/proc/loadavg: 1.15 1.14 1.05 2/117 18785
/proc/meminfo: memFree=1759304/2059040 swapFree=4148288/4192956
[pid=18773] ppid=18771 vsize=1528816 CPUtime=2.1
/proc/18773/stat : 18773 (java) S 18771 18773 17386 0 -1 4202496 8620 0 1 0 205 5 0 0 18 0 12 0 9241348 1565507584 7609 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18773/statm: 382204 7609 1409 10 0 379506 0
[pid=18773/tid=18775] ppid=18771 vsize=1528816 CPUtime=1.38
/proc/18773/task/18775/stat : 18775 (java) R 18771 18773 17386 0 -1 4202560 5678 0 1 0 135 3 0 0 25 0 12 0 9241349 1565507584 7609 1992294400 134512640 134550932 4289190368 18446744073709551615 4109721045 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18773/tid=18776] ppid=18771 vsize=1528816 CPUtime=0
/proc/18773/task/18776/stat : 18776 (java) S 18771 18773 17386 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 12 0 9241350 1565507584 7609 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18777] ppid=18771 vsize=1528816 CPUtime=0
/proc/18773/task/18777/stat : 18777 (java) S 18771 18773 17386 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 12 0 9241350 1565507584 7609 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18778] ppid=18771 vsize=1528816 CPUtime=0
/proc/18773/task/18778/stat : 18778 (java) S 18771 18773 17386 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 9241352 1565507584 7609 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18779] ppid=18771 vsize=1528816 CPUtime=0
/proc/18773/task/18779/stat : 18779 (java) S 18771 18773 17386 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 12 0 9241353 1565507584 7609 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18780] ppid=18771 vsize=1528816 CPUtime=0
/proc/18773/task/18780/stat : 18780 (java) S 18771 18773 17386 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 12 0 9241353 1565507584 7609 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18781] ppid=18771 vsize=1528816 CPUtime=0
/proc/18773/task/18781/stat : 18781 (java) S 18771 18773 17386 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 9241357 1565507584 7609 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18782] ppid=18771 vsize=1528816 CPUtime=0.26
/proc/18773/task/18782/stat : 18782 (java) R 18771 18773 17386 0 -1 4202560 439 0 0 0 26 0 0 0 17 0 12 0 9241357 1565507584 7609 1992294400 134512640 134550932 4289190368 18446744073709551615 106122912 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18773/tid=18783] ppid=18771 vsize=1528816 CPUtime=0.44
/proc/18773/task/18783/stat : 18783 (java) S 18771 18773 17386 0 -1 4202560 1436 0 0 0 44 0 0 0 15 0 12 0 9241357 1565507584 7609 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18784] ppid=18771 vsize=1528816 CPUtime=0
/proc/18773/task/18784/stat : 18784 (java) S 18771 18773 17386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 9241357 1565507584 7609 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18785] ppid=18771 vsize=1528816 CPUtime=0
/proc/18773/task/18785/stat : 18785 (java) S 18771 18773 17386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 9241357 1565507584 7609 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 1528816

[startup+3.10184 s]
/proc/loadavg: 1.15 1.14 1.05 2/117 18785
/proc/meminfo: memFree=1753972/2059040 swapFree=4148288/4192956
[pid=18773] ppid=18771 vsize=1534636 CPUtime=4.5
/proc/18773/stat : 18773 (java) S 18771 18773 17386 0 -1 4202496 18457 0 1 0 441 9 0 0 18 0 13 0 9241348 1571467264 16706 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18773/statm: 383659 16706 1425 10 0 380961 0
[pid=18773/tid=18775] ppid=18771 vsize=1534636 CPUtime=2.97
/proc/18773/task/18775/stat : 18775 (java) R 18771 18773 17386 0 -1 4202560 13460 0 1 0 290 7 0 0 25 0 13 0 9241349 1571467264 16706 1992294400 134512640 134550932 4289190368 18446744073709551615 4109829238 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18773/tid=18776] ppid=18771 vsize=1534636 CPUtime=0
/proc/18773/task/18776/stat : 18776 (java) S 18771 18773 17386 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 13 0 9241350 1571467264 16706 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18777] ppid=18771 vsize=1534636 CPUtime=0
/proc/18773/task/18777/stat : 18777 (java) S 18771 18773 17386 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 13 0 9241350 1571467264 16706 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18778] ppid=18771 vsize=1534636 CPUtime=0
/proc/18773/task/18778/stat : 18778 (java) S 18771 18773 17386 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 9241352 1571467264 16706 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18779] ppid=18771 vsize=1534636 CPUtime=0
/proc/18773/task/18779/stat : 18779 (java) S 18771 18773 17386 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 13 0 9241353 1571467264 16706 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18780] ppid=18771 vsize=1534636 CPUtime=0
/proc/18773/task/18780/stat : 18780 (java) S 18771 18773 17386 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 9241353 1571467264 16706 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18781] ppid=18771 vsize=1534636 CPUtime=0
/proc/18773/task/18781/stat : 18781 (java) S 18771 18773 17386 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 9241357 1571467264 16706 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18782] ppid=18771 vsize=1534636 CPUtime=0.69
/proc/18773/task/18782/stat : 18782 (java) S 18771 18773 17386 0 -1 4202560 1737 0 0 0 69 0 0 0 15 0 13 0 9241357 1571467264 16706 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18783] ppid=18771 vsize=1534636 CPUtime=0.82
/proc/18773/task/18783/stat : 18783 (java) S 18771 18773 17386 0 -1 4202560 2189 0 0 0 81 1 0 0 16 0 13 0 9241357 1571467264 16706 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18784] ppid=18771 vsize=1534636 CPUtime=0
/proc/18773/task/18784/stat : 18784 (java) S 18771 18773 17386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9241357 1571467264 16706 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18785] ppid=18771 vsize=1534636 CPUtime=0
/proc/18773/task/18785/stat : 18785 (java) S 18771 18773 17386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 9241357 1571467264 16706 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 1534636

[startup+6.30217 s]
/proc/loadavg: 1.14 1.14 1.05 2/118 18786
/proc/meminfo: memFree=1636660/2059040 swapFree=4148288/4192956
[pid=18773] ppid=18771 vsize=1533900 CPUtime=7.84
/proc/18773/stat : 18773 (java) S 18771 18773 17386 0 -1 4202496 40063 0 1 0 767 17 0 0 18 0 13 0 9241348 1570713600 38056 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18773/statm: 383475 38056 1438 10 0 380777 0
[pid=18773/tid=18775] ppid=18771 vsize=1533900 CPUtime=6.1
/proc/18773/task/18775/stat : 18775 (java) R 18771 18773 17386 0 -1 4202560 32059 0 1 0 597 13 0 0 25 0 13 0 9241349 1570713600 38056 1992294400 134512640 134550932 4289190368 18446744073709551615 4109803155 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18773/tid=18776] ppid=18771 vsize=1533900 CPUtime=0.04
/proc/18773/task/18776/stat : 18776 (java) S 18771 18773 17386 0 -1 4202560 1588 0 0 0 4 0 0 0 18 0 13 0 9241350 1570713600 38056 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18777] ppid=18771 vsize=1533900 CPUtime=0.04
/proc/18773/task/18777/stat : 18777 (java) S 18771 18773 17386 0 -1 4202560 1399 0 0 0 4 0 0 0 18 0 13 0 9241350 1570713600 38056 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18778] ppid=18771 vsize=1533900 CPUtime=0
/proc/18773/task/18778/stat : 18778 (java) S 18771 18773 17386 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 13 0 9241352 1570713600 38056 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18779] ppid=18771 vsize=1533900 CPUtime=0
/proc/18773/task/18779/stat : 18779 (java) S 18771 18773 17386 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9241353 1570713600 38056 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18780] ppid=18771 vsize=1533900 CPUtime=0
/proc/18773/task/18780/stat : 18780 (java) S 18771 18773 17386 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9241353 1570713600 38056 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18781] ppid=18771 vsize=1533900 CPUtime=0
/proc/18773/task/18781/stat : 18781 (java) S 18771 18773 17386 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 9241357 1570713600 38056 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18782] ppid=18771 vsize=1533900 CPUtime=0.71
/proc/18773/task/18782/stat : 18782 (java) S 18771 18773 17386 0 -1 4202560 1739 0 0 0 71 0 0 0 15 0 13 0 9241357 1570713600 38056 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18783] ppid=18771 vsize=1533900 CPUtime=0.9
/proc/18773/task/18783/stat : 18783 (java) S 18771 18773 17386 0 -1 4202560 2200 0 0 0 89 1 0 0 15 0 13 0 9241357 1570713600 38056 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18784] ppid=18771 vsize=1533900 CPUtime=0
/proc/18773/task/18784/stat : 18784 (java) S 18771 18773 17386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9241357 1570713600 38056 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18785] ppid=18771 vsize=1533900 CPUtime=0
/proc/18773/task/18785/stat : 18785 (java) S 18771 18773 17386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 9241357 1570713600 38056 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18786] ppid=18771 vsize=1533900 CPUtime=0
/proc/18773/task/18786/stat : 18786 (java) S 18771 18773 17386 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 9241572 1570713600 38056 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.84
Current children cumulated vsize (KiB) 1533900

[startup+12.7018 s]
/proc/loadavg: 1.13 1.14 1.04 2/118 18786
/proc/meminfo: memFree=1613116/2059040 swapFree=4148288/4192956
[pid=18773] ppid=18771 vsize=1534492 CPUtime=14.49
/proc/18773/stat : 18773 (java) S 18771 18773 17386 0 -1 4202496 45819 0 1 0 1430 19 0 0 18 0 13 0 9241348 1571319808 43519 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18773/statm: 383623 43519 1443 10 0 380925 0
[pid=18773/tid=18775] ppid=18771 vsize=1534492 CPUtime=12.33
/proc/18773/task/18775/stat : 18775 (java) R 18771 18773 17386 0 -1 4202560 33414 0 1 0 1220 13 0 0 20 0 13 0 9241349 1571319808 43519 1992294400 134512640 134550932 4289190368 18446744073709551615 4109914925 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18773/tid=18776] ppid=18771 vsize=1534492 CPUtime=0.07
/proc/18773/task/18776/stat : 18776 (java) S 18771 18773 17386 0 -1 4202560 2133 0 0 0 7 0 0 0 15 0 13 0 9241350 1571319808 43519 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18777] ppid=18771 vsize=1534492 CPUtime=0.08
/proc/18773/task/18777/stat : 18777 (java) S 18771 18773 17386 0 -1 4202560 2943 0 0 0 7 1 0 0 16 0 13 0 9241350 1571319808 43519 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18778] ppid=18771 vsize=1534492 CPUtime=0.08
/proc/18773/task/18778/stat : 18778 (java) S 18771 18773 17386 0 -1 4202560 1896 0 0 0 8 0 0 0 16 0 13 0 9241352 1571319808 43519 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18779] ppid=18771 vsize=1534492 CPUtime=0
/proc/18773/task/18779/stat : 18779 (java) S 18771 18773 17386 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9241353 1571319808 43519 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18780] ppid=18771 vsize=1534492 CPUtime=0
/proc/18773/task/18780/stat : 18780 (java) S 18771 18773 17386 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9241353 1571319808 43519 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18781] ppid=18771 vsize=1534492 CPUtime=0
/proc/18773/task/18781/stat : 18781 (java) S 18771 18773 17386 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 9241357 1571319808 43519 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18782] ppid=18771 vsize=1534492 CPUtime=0.76
/proc/18773/task/18782/stat : 18782 (java) S 18771 18773 17386 0 -1 4202560 1747 0 0 0 76 0 0 0 15 0 13 0 9241357 1571319808 43519 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18783] ppid=18771 vsize=1534492 CPUtime=1.1
/proc/18773/task/18783/stat : 18783 (java) S 18771 18773 17386 0 -1 4202560 2620 0 0 0 109 1 0 0 16 0 13 0 9241357 1571319808 43519 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18784] ppid=18771 vsize=1534492 CPUtime=0
/proc/18773/task/18784/stat : 18784 (java) S 18771 18773 17386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9241357 1571319808 43519 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18785] ppid=18771 vsize=1534492 CPUtime=0
/proc/18773/task/18785/stat : 18785 (java) S 18771 18773 17386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 9241357 1571319808 43519 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18786] ppid=18771 vsize=1534492 CPUtime=0
/proc/18773/task/18786/stat : 18786 (java) S 18771 18773 17386 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 9241572 1571319808 43519 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.49
Current children cumulated vsize (KiB) 1534492

[startup+25.5022 s]
/proc/loadavg: 1.11 1.13 1.04 2/118 18788
/proc/meminfo: memFree=1599600/2059040 swapFree=4148288/4192956
[pid=18773] ppid=18771 vsize=1535264 CPUtime=27.62
/proc/18773/stat : 18773 (java) S 18771 18773 17386 0 -1 4202496 49826 0 1 0 2741 21 0 0 18 0 13 0 9241348 1572110336 46929 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18773/statm: 383816 46929 1443 10 0 381118 0
[pid=18773/tid=18775] ppid=18771 vsize=1535264 CPUtime=25.02
/proc/18773/task/18775/stat : 18775 (java) R 18771 18773 17386 0 -1 4202560 34343 0 1 0 2488 14 0 0 25 0 13 0 9241349 1572110336 46929 1992294400 134512640 134550932 4289190368 18446744073709551615 4109477578 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18773/tid=18776] ppid=18771 vsize=1535264 CPUtime=0.11
/proc/18773/task/18776/stat : 18776 (java) S 18771 18773 17386 0 -1 4202560 3224 0 0 0 10 1 0 0 15 0 13 0 9241350 1572110336 46929 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18777] ppid=18771 vsize=1535264 CPUtime=0.13
/proc/18773/task/18777/stat : 18777 (java) S 18771 18773 17386 0 -1 4202560 4168 0 0 0 11 2 0 0 15 0 13 0 9241350 1572110336 46929 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18778] ppid=18771 vsize=1535264 CPUtime=0.12
/proc/18773/task/18778/stat : 18778 (java) S 18771 18773 17386 0 -1 4202560 2095 0 0 0 12 0 0 0 15 0 13 0 9241352 1572110336 46929 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18779] ppid=18771 vsize=1535264 CPUtime=0
/proc/18773/task/18779/stat : 18779 (java) S 18771 18773 17386 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9241353 1572110336 46929 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18780] ppid=18771 vsize=1535264 CPUtime=0

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

[pid=18773] ppid=18771 vsize=1533108 CPUtime=1608.57
/proc/18773/stat : 18773 (java) S 18771 18773 17386 0 -1 4202496 57523 0 1 0 160789 68 0 0 18 0 13 0 9241348 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18773/statm: 383277 52598 1443 10 0 380579 0
[pid=18773/tid=18775] ppid=18771 vsize=1533108 CPUtime=1583.22
/proc/18773/task/18775/stat : 18775 (java) R 18771 18773 17386 0 -1 4202560 35110 0 1 0 158303 19 0 0 25 0 13 0 9241349 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4109913988 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18773/tid=18776] ppid=18771 vsize=1533108 CPUtime=5.68
/proc/18773/task/18776/stat : 18776 (java) S 18771 18773 17386 0 -1 4202560 6597 0 0 0 548 20 0 0 15 0 13 0 9241350 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18777] ppid=18771 vsize=1533108 CPUtime=5.69
/proc/18773/task/18777/stat : 18777 (java) S 18771 18773 17386 0 -1 4202560 7379 0 0 0 550 19 0 0 15 0 13 0 9241350 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18778] ppid=18771 vsize=1533108 CPUtime=11.47
/proc/18773/task/18778/stat : 18778 (java) S 18771 18773 17386 0 -1 4202560 2335 0 0 0 1142 5 0 0 16 0 13 0 9241352 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18779] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18779/stat : 18779 (java) S 18771 18773 17386 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9241353 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18780] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18780/stat : 18780 (java) S 18771 18773 17386 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9241353 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18781] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18781/stat : 18781 (java) S 18771 18773 17386 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18782] ppid=18771 vsize=1533108 CPUtime=0.78
/proc/18773/task/18782/stat : 18782 (java) S 18771 18773 17386 0 -1 4202560 1747 0 0 0 78 0 0 0 15 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18783] ppid=18771 vsize=1533108 CPUtime=1.67
/proc/18773/task/18783/stat : 18783 (java) S 18771 18773 17386 0 -1 4202560 3198 0 0 0 166 1 0 0 15 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18784] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18784/stat : 18784 (java) S 18771 18773 17386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18785] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18785/stat : 18785 (java) S 18771 18773 17386 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18786] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18786/stat : 18786 (java) S 18771 18773 17386 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 9241572 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1608.57
Current children cumulated vsize (KiB) 1533108

[startup+1662.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/118 18833
/proc/meminfo: memFree=1573560/2059040 swapFree=4148288/4192956
[pid=18773] ppid=18771 vsize=1533108 CPUtime=1668.73
/proc/18773/stat : 18773 (java) S 18771 18773 17386 0 -1 4202496 57560 0 1 0 166803 70 0 0 18 0 13 0 9241348 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18773/statm: 383277 52598 1443 10 0 380579 0
[pid=18773/tid=18775] ppid=18771 vsize=1533108 CPUtime=1642.47
/proc/18773/task/18775/stat : 18775 (java) R 18771 18773 17386 0 -1 4202560 35139 0 1 0 164228 19 0 0 25 0 13 0 9241349 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4109864059 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18773/tid=18776] ppid=18771 vsize=1533108 CPUtime=5.9
/proc/18773/task/18776/stat : 18776 (java) S 18771 18773 17386 0 -1 4202560 6597 0 0 0 570 20 0 0 15 0 13 0 9241350 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18777] ppid=18771 vsize=1533108 CPUtime=5.9
/proc/18773/task/18777/stat : 18777 (java) S 18771 18773 17386 0 -1 4202560 7379 0 0 0 570 20 0 0 16 0 13 0 9241350 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18778] ppid=18771 vsize=1533108 CPUtime=11.93
/proc/18773/task/18778/stat : 18778 (java) S 18771 18773 17386 0 -1 4202560 2339 0 0 0 1188 5 0 0 15 0 13 0 9241352 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18779] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18779/stat : 18779 (java) S 18771 18773 17386 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9241353 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18780] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18780/stat : 18780 (java) S 18771 18773 17386 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9241353 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18781] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18781/stat : 18781 (java) S 18771 18773 17386 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18782] ppid=18771 vsize=1533108 CPUtime=0.78
/proc/18773/task/18782/stat : 18782 (java) S 18771 18773 17386 0 -1 4202560 1747 0 0 0 78 0 0 0 15 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18783] ppid=18771 vsize=1533108 CPUtime=1.67
/proc/18773/task/18783/stat : 18783 (java) S 18771 18773 17386 0 -1 4202560 3198 0 0 0 166 1 0 0 15 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18784] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18784/stat : 18784 (java) S 18771 18773 17386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18785] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18785/stat : 18785 (java) S 18771 18773 17386 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18786] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18786/stat : 18786 (java) S 18771 18773 17386 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 9241572 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1668.73
Current children cumulated vsize (KiB) 1533108

[startup+1722.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/118 18835
/proc/meminfo: memFree=1573436/2059040 swapFree=4148288/4192956
[pid=18773] ppid=18771 vsize=1533108 CPUtime=1728.93
/proc/18773/stat : 18773 (java) S 18771 18773 17386 0 -1 4202496 57600 0 1 0 172821 72 0 0 18 0 13 0 9241348 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18773/statm: 383277 52598 1443 10 0 380579 0
[pid=18773/tid=18775] ppid=18771 vsize=1533108 CPUtime=1701.71
/proc/18773/task/18775/stat : 18775 (java) R 18771 18773 17386 0 -1 4202560 35171 0 1 0 170152 19 0 0 25 0 13 0 9241349 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4109913988 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18773/tid=18776] ppid=18771 vsize=1533108 CPUtime=6.16
/proc/18773/task/18776/stat : 18776 (java) S 18771 18773 17386 0 -1 4202560 6597 0 0 0 595 21 0 0 15 0 13 0 9241350 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18777] ppid=18771 vsize=1533108 CPUtime=6.15
/proc/18773/task/18777/stat : 18777 (java) S 18771 18773 17386 0 -1 4202560 7379 0 0 0 594 21 0 0 16 0 13 0 9241350 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18778] ppid=18771 vsize=1533108 CPUtime=12.38
/proc/18773/task/18778/stat : 18778 (java) S 18771 18773 17386 0 -1 4202560 2343 0 0 0 1233 5 0 0 15 0 13 0 9241352 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18779] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18779/stat : 18779 (java) S 18771 18773 17386 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9241353 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18780] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18780/stat : 18780 (java) S 18771 18773 17386 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9241353 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18781] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18781/stat : 18781 (java) S 18771 18773 17386 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18782] ppid=18771 vsize=1533108 CPUtime=0.78
/proc/18773/task/18782/stat : 18782 (java) S 18771 18773 17386 0 -1 4202560 1747 0 0 0 78 0 0 0 15 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18783] ppid=18771 vsize=1533108 CPUtime=1.67
/proc/18773/task/18783/stat : 18783 (java) S 18771 18773 17386 0 -1 4202560 3198 0 0 0 166 1 0 0 15 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18784] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18784/stat : 18784 (java) S 18771 18773 17386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18785] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18785/stat : 18785 (java) S 18771 18773 17386 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18786] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18786/stat : 18786 (java) S 18771 18773 17386 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 9241572 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1728.93
Current children cumulated vsize (KiB) 1533108

[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/118 18837
/proc/meminfo: memFree=1573064/2059040 swapFree=4148288/4192956
[pid=18773] ppid=18771 vsize=1533108 CPUtime=1789.1
/proc/18773/stat : 18773 (java) S 18771 18773 17386 0 -1 4202496 57640 0 1 0 178837 73 0 0 18 0 13 0 9241348 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18773/statm: 383277 52598 1443 10 0 380579 0
[pid=18773/tid=18775] ppid=18771 vsize=1533108 CPUtime=1760.87
/proc/18773/task/18775/stat : 18775 (java) R 18771 18773 17386 0 -1 4202560 35205 0 1 0 176068 19 0 0 25 0 13 0 9241349 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4109914162 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18773/tid=18776] ppid=18771 vsize=1533108 CPUtime=6.43
/proc/18773/task/18776/stat : 18776 (java) S 18771 18773 17386 0 -1 4202560 6597 0 0 0 621 22 0 0 16 0 13 0 9241350 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18777] ppid=18771 vsize=1533108 CPUtime=6.41
/proc/18773/task/18777/stat : 18777 (java) S 18771 18773 17386 0 -1 4202560 7379 0 0 0 619 22 0 0 15 0 13 0 9241350 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18778] ppid=18771 vsize=1533108 CPUtime=12.87
/proc/18773/task/18778/stat : 18778 (java) S 18771 18773 17386 0 -1 4202560 2345 0 0 0 1282 5 0 0 15 0 13 0 9241352 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18779] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18779/stat : 18779 (java) S 18771 18773 17386 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9241353 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18780] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18780/stat : 18780 (java) S 18771 18773 17386 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9241353 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18781] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18781/stat : 18781 (java) S 18771 18773 17386 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18782] ppid=18771 vsize=1533108 CPUtime=0.78
/proc/18773/task/18782/stat : 18782 (java) S 18771 18773 17386 0 -1 4202560 1747 0 0 0 78 0 0 0 15 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18783] ppid=18771 vsize=1533108 CPUtime=1.67
/proc/18773/task/18783/stat : 18783 (java) S 18771 18773 17386 0 -1 4202560 3198 0 0 0 166 1 0 0 15 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18784] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18784/stat : 18784 (java) S 18771 18773 17386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18785] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18785/stat : 18785 (java) S 18771 18773 17386 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18786] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18786/stat : 18786 (java) S 18771 18773 17386 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 9241572 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1789.1
Current children cumulated vsize (KiB) 1533108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.2 s]
/proc/loadavg: 1.00 1.01 1.00 2/118 18837
/proc/meminfo: memFree=1573064/2059040 swapFree=4148288/4192956
[pid=18773] ppid=18771 vsize=1533108 CPUtime=1800.05
/proc/18773/stat : 18773 (java) S 18771 18773 17386 0 -1 4202496 57648 0 1 0 179931 74 0 0 18 0 13 0 9241348 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18773/statm: 383277 52598 1443 10 0 380579 0
[pid=18773/tid=18775] ppid=18771 vsize=1533108 CPUtime=1771.62
/proc/18773/task/18775/stat : 18775 (java) R 18771 18773 17386 0 -1 4202560 35211 0 1 0 177143 19 0 0 25 0 13 0 9241349 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4109828668 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18773/tid=18776] ppid=18771 vsize=1533108 CPUtime=6.47
/proc/18773/task/18776/stat : 18776 (java) S 18771 18773 17386 0 -1 4202560 6597 0 0 0 625 22 0 0 15 0 13 0 9241350 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18777] ppid=18771 vsize=1533108 CPUtime=6.45
/proc/18773/task/18777/stat : 18777 (java) S 18771 18773 17386 0 -1 4202560 7379 0 0 0 623 22 0 0 16 0 13 0 9241350 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18778] ppid=18771 vsize=1533108 CPUtime=12.98
/proc/18773/task/18778/stat : 18778 (java) S 18771 18773 17386 0 -1 4202560 2347 0 0 0 1293 5 0 0 15 0 13 0 9241352 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 0 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18779] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18779/stat : 18779 (java) S 18771 18773 17386 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 9241353 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18780] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18780/stat : 18780 (java) S 18771 18773 17386 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 9241353 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18781] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18781/stat : 18781 (java) S 18771 18773 17386 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18782] ppid=18771 vsize=1533108 CPUtime=0.78
/proc/18773/task/18782/stat : 18782 (java) S 18771 18773 17386 0 -1 4202560 1747 0 0 0 78 0 0 0 15 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18783] ppid=18771 vsize=1533108 CPUtime=1.67
/proc/18773/task/18783/stat : 18783 (java) S 18771 18773 17386 0 -1 4202560 3198 0 0 0 166 1 0 0 15 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 1 0 0 0
[pid=18773/tid=18784] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18784/stat : 18784 (java) S 18771 18773 17386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18785] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18785/stat : 18785 (java) S 18771 18773 17386 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 13 0 9241357 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
[pid=18773/tid=18786] ppid=18771 vsize=1533108 CPUtime=0
/proc/18773/task/18786/stat : 18786 (java) S 18771 18773 17386 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 9241572 1569902592 52598 1992294400 134512640 134550932 4289190368 18446744073709551615 4294960144 0 4 0 16800975 18446604437823301568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1533108

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

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

Child status: 143
Real time (s): 1793.3
CPU time (s): 1800.19
CPU user time (s): 1799.42
CPU system time (s): 0.765883
CPU usage (%): 100.384
Max. virtual memory (cumulated for all children) (KiB): 1535264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.765883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57671
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= 46359
involuntary context switches= 26655

runsolver used 3.77743 second user time and 9.2266 second system time

The end

Launcher Data 

Begin job on node082 at 2010-06-16 11:11:19
IDJOB=2658216
IDBENCH=48335
IDSOLVER=1164
FILE ID=node082/2658216-1276679478
PBS_JOBID= 11172528
Free space on /tmp= 62584 MiB

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

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

MD5SUM BENCH= 2b927be10d6e21370847ee6c94426772
RANDOM SEED=951175527

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1782844 kB
Buffers:         69780 kB
Cached:         106824 kB
SwapCached:       6844 kB
Active:         101368 kB
Inactive:        96964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1782844 kB
SwapTotal:     4192956 kB
SwapFree:      4148288 kB
Dirty:             624 kB
Writeback:           0 kB
AnonPages:       18892 kB
Mapped:          13180 kB
Slab:            56108 kB
PageTables:       3924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180476 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62580 MiB
End job on node082 at 2010-06-16 11:41:14