Trace number 2658198

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.16 1794.01

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_3_15.opb
MD5SUM0f8b3c4075c45404d33689fa65bc6a7e
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)6180
Sum of products size (including duplicates)12360
Number of different products3090
Sum of products size6180

Solver Data 

0.08/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.13	c See www.sat4j.org for details.
0.08/0.15	c version 2.2.0.v20100526
0.08/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.08/0.15	c java.vm.version	11.2-b01
0.08/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version		1.6.0_12
0.08/0.15	c os.name		Linux
0.08/0.15	c os.version		2.6.18-164.el5
0.08/0.15	c os.arch		i386
0.08/0.15	c Free memory 		1393557488
0.08/0.15	c Max memory 		1395916800
0.08/0.15	c Total memory 		1395916800
0.08/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-2658198-1276678295.opb
0.23/0.21	c reading problem ... 
2.96/2.25	c ... done. Wall clock time 2.043s.
2.96/2.25	c #vars     3290
2.96/2.25	c #constraints  6483
2.96/2.25	c constraints type 
2.96/2.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3090
2.96/2.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 203
2.96/2.25	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
2.96/2.25	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3090
8.21/6.86	c cleaning 2508 clauses out of 5016 with flag 5016/5016
12.82/11.35	c cleaning 4249 clauses out of 8500 with flag 11008/11008
18.56/17.07	c cleaning 5625 clauses out of 11249 with flag 18006/18006
27.50/25.83	c cleaning 6815 clauses out of 13629 with flag 26011/26011
38.38/36.68	c cleaning 7900 clauses out of 15804 with flag 35001/35001
48.61/46.87	c cleaning 8960 clauses out of 17922 with flag 45019/45019
59.52/57.79	c cleaning 9479 clauses out of 18957 with flag 55014/55014
69.25/67.41	c cleaning 9733 clauses out of 19466 with flag 65002/65002
76.79/74.94	c cleaning 9867 clauses out of 19742 with flag 75011/75011
85.85/83.89	c cleaning 9936 clauses out of 19875 with flag 85011/85011
95.18/93.10	c cleaning 9963 clauses out of 19929 with flag 95001/95001
104.29/102.27	c cleaning 10003 clauses out of 20008 with flag 105043/105043
112.81/110.78	c cleaning 9985 clauses out of 19971 with flag 115009/115009
121.32/119.24	c cleaning 9996 clauses out of 19992 with flag 125015/125015
130.24/128.11	c cleaning 9999 clauses out of 20001 with flag 135020/135020
139.95/137.88	c cleaning 10002 clauses out of 20007 with flag 145025/145025
150.37/148.22	c cleaning 10003 clauses out of 20006 with flag 155026/155026
157.68/155.52	c cleaning 9989 clauses out of 19981 with flag 165004/165004
167.10/164.99	c cleaning 9999 clauses out of 19997 with flag 175009/175009
177.92/175.72	c cleaning 9995 clauses out of 19993 with flag 185004/185004
187.74/185.50	c cleaning 9999 clauses out of 20001 with flag 195007/195007
196.85/194.60	c cleaning 10009 clauses out of 20021 with flag 205026/205026
206.06/203.84	c cleaning 10015 clauses out of 20029 with flag 215043/215043
212.78/210.56	c cleaning 9987 clauses out of 19978 with flag 225007/225007
220.10/217.88	c cleaning 9992 clauses out of 19988 with flag 235004/235004
229.72/227.48	c cleaning 10010 clauses out of 20022 with flag 245030/245030
235.13/232.80	c cleaning 10002 clauses out of 20009 with flag 255027/255027
241.15/238.89	c cleaning 9987 clauses out of 19980 with flag 265000/265000
246.04/243.77	c cleaning 9997 clauses out of 19999 with flag 275006/275006
251.07/248.74	c cleaning 9997 clauses out of 20000 with flag 285004/285004
256.07/253.73	c cleaning 10002 clauses out of 20010 with flag 295011/295011
260.98/258.67	c cleaning 10000 clauses out of 20006 with flag 305009/305009
266.78/264.40	c cleaning 10003 clauses out of 20010 with flag 315013/315013
271.90/269.58	c cleaning 9998 clauses out of 19998 with flag 325004/325004
277.69/275.37	c cleaning 9998 clauses out of 20002 with flag 335006/335006
283.50/281.11	c cleaning 10004 clauses out of 20011 with flag 345013/345013
289.62/287.29	c cleaning 10001 clauses out of 20008 with flag 355014/355014
294.53/292.11	c cleaning 9996 clauses out of 19999 with flag 365006/365006
299.14/296.79	c cleaning 9997 clauses out of 19999 with flag 375002/375002
306.17/303.76	c cleaning 10003 clauses out of 20009 with flag 385009/385009
315.18/312.73	c cleaning 10001 clauses out of 20008 with flag 395011/395011
323.29/320.80	c cleaning 10004 clauses out of 20012 with flag 405016/405016
330.72/328.26	c cleaning 9999 clauses out of 20001 with flag 415009/415009
338.63/336.16	c cleaning 9998 clauses out of 20001 with flag 425008/425008
345.95/343.45	c cleaning 10002 clauses out of 20008 with flag 435013/435013
354.06/351.52	c cleaning 10003 clauses out of 20012 with flag 445019/445019
362.19/359.64	c cleaning 10007 clauses out of 20018 with flag 455028/455028
370.91/368.36	c cleaning 9990 clauses out of 19983 with flag 465000/465000
378.23/375.63	c cleaning 9996 clauses out of 19997 with flag 475004/475004
386.24/383.62	c cleaning 10001 clauses out of 20005 with flag 485008/485008
391.74/389.10	c cleaning 9995 clauses out of 19998 with flag 495002/495002
397.15/394.55	c cleaning 10001 clauses out of 20010 with flag 505009/505009
402.99/400.34	c cleaning 9998 clauses out of 20003 with flag 515003/515003
409.10/406.43	c cleaning 10004 clauses out of 20013 with flag 525011/525011
415.32/412.67	c cleaning 10001 clauses out of 20008 with flag 535010/535010
421.53/418.82	c cleaning 10003 clauses out of 20011 with flag 545014/545014
428.15/425.44	c cleaning 9995 clauses out of 19998 with flag 555004/555004
434.26/431.59	c cleaning 10004 clauses out of 20012 with flag 565013/565013
441.16/438.40	c cleaning 9996 clauses out of 19997 with flag 575002/575002
447.29/444.59	c cleaning 10003 clauses out of 20010 with flag 585011/585011
454.28/451.53	c cleaning 10007 clauses out of 20017 with flag 595021/595021
460.89/458.19	c cleaning 9994 clauses out of 19992 with flag 605003/605003
468.30/465.57	c cleaning 10011 clauses out of 20023 with flag 615028/615028
477.32/474.56	c cleaning 9990 clauses out of 19986 with flag 625002/625002
486.65/483.80	c cleaning 10010 clauses out of 20023 with flag 635029/635029
495.97/493.18	c cleaning 10003 clauses out of 20010 with flag 645026/645026
505.40/502.50	c cleaning 9983 clauses out of 19981 with flag 655000/655000
514.43/511.58	c cleaning 9998 clauses out of 19998 with flag 665000/665000
522.05/519.16	c cleaning 10006 clauses out of 20015 with flag 675015/675015
532.57/529.63	c cleaning 9996 clauses out of 19996 with flag 685002/685002
541.48/538.55	c cleaning 10015 clauses out of 20031 with flag 695033/695033
549.20/546.27	c cleaning 9997 clauses out of 19997 with flag 705014/705014
557.01/554.09	c cleaning 9998 clauses out of 19999 with flag 715013/715013
565.14/562.11	c cleaning 10003 clauses out of 20010 with flag 725022/725022
571.62/568.63	c cleaning 10000 clauses out of 20007 with flag 735022/735022
580.46/577.48	c cleaning 10000 clauses out of 20004 with flag 745019/745019
586.97/583.91	c cleaning 9990 clauses out of 19987 with flag 755002/755002
592.79/589.75	c cleaning 9997 clauses out of 20001 with flag 765006/765006
598.00/594.98	c cleaning 9997 clauses out of 20001 with flag 775003/775003
604.13/601.09	c cleaning 10008 clauses out of 20023 with flag 785022/785022
610.54/607.45	c cleaning 9996 clauses out of 19999 with flag 795006/795006
616.36/613.29	c cleaning 10001 clauses out of 20007 with flag 805010/805010
622.67/619.55	c cleaning 9998 clauses out of 20002 with flag 815006/815006
627.99/624.89	c cleaning 9998 clauses out of 20002 with flag 825004/825004
634.20/631.02	c cleaning 10000 clauses out of 20006 with flag 835006/835006
640.81/637.64	c cleaning 9998 clauses out of 20001 with flag 845001/845001
647.13/643.91	c cleaning 9996 clauses out of 20005 with flag 855003/855003
652.14/648.93	c cleaning 10000 clauses out of 20007 with flag 865001/865001
659.06/655.83	c cleaning 10001 clauses out of 20008 with flag 875002/875002
665.98/662.79	c cleaning 10011 clauses out of 20025 with flag 885020/885020
673.99/670.80	c cleaning 9996 clauses out of 19996 with flag 895002/895002
683.31/680.03	c cleaning 10008 clauses out of 20016 with flag 905018/905018
689.23/685.92	c cleaning 9992 clauses out of 19990 with flag 915000/915000
695.03/691.79	c cleaning 9998 clauses out of 20001 with flag 925003/925003
701.95/698.61	c cleaning 9999 clauses out of 20004 with flag 935004/935004
708.74/705.44	c cleaning 10002 clauses out of 20009 with flag 945008/945008
715.36/712.03	c cleaning 9999 clauses out of 20004 with flag 955005/955005
721.17/717.80	c cleaning 10001 clauses out of 20007 with flag 965007/965007
727.28/723.91	c cleaning 10002 clauses out of 20006 with flag 975007/975007
734.28/730.94	c cleaning 9988 clauses out of 20000 with flag 985003/985003
742.38/739.01	c cleaning 10001 clauses out of 20026 with flag 995017/995017
749.69/746.31	c cleaning 9995 clauses out of 20014 with flag 1005006/1005006
757.01/753.61	c cleaning 9996 clauses out of 20016 with flag 1015003/1015003
763.31/759.96	c cleaning 9997 clauses out of 20017 with flag 1025000/1025000
770.02/766.65	c cleaning 10004 clauses out of 20031 with flag 1035011/1035011
776.14/772.72	c cleaning 10010 clauses out of 20043 with flag 1045027/1045027
783.94/780.53	c cleaning 9994 clauses out of 20012 with flag 1055006/1055006
792.35/788.98	c cleaning 10000 clauses out of 20023 with flag 1065011/1065011
800.27/796.84	c cleaning 9996 clauses out of 20015 with flag 1075003/1075003
808.98/805.58	c cleaning 10008 clauses out of 20021 with flag 1085005/1085005
817.40/813.99	c cleaning 10003 clauses out of 20015 with flag 1095007/1095007
826.73/823.20	c cleaning 9999 clauses out of 20007 with flag 1105002/1105002
833.55/830.00	c cleaning 10005 clauses out of 20018 with flag 1115012/1115012
839.76/836.28	c cleaning 9991 clauses out of 20012 with flag 1125011/1125011
846.39/842.86	c cleaning 10009 clauses out of 20027 with flag 1135017/1135017
852.91/849.35	c cleaning 9994 clauses out of 20003 with flag 1145002/1145002
860.13/856.50	c cleaning 10004 clauses out of 20014 with flag 1155007/1155007
866.73/863.16	c cleaning 10000 clauses out of 20008 with flag 1165005/1165005
873.55/869.93	c cleaning 10002 clauses out of 20013 with flag 1175010/1175010
881.97/878.34	c cleaning 9997 clauses out of 20001 with flag 1185000/1185000
891.00/887.31	c cleaning 10003 clauses out of 20020 with flag 1195016/1195016
899.81/896.15	c cleaning 10001 clauses out of 20012 with flag 1205011/1205011
908.54/904.82	c cleaning 9991 clauses out of 20000 with flag 1215000/1215000
917.56/913.86	c cleaning 10005 clauses out of 20021 with flag 1225012/1225012
923.58/919.88	c cleaning 9997 clauses out of 20005 with flag 1235001/1235001
930.39/926.65	c cleaning 10000 clauses out of 20012 with flag 1245005/1245005
936.80/933.06	c cleaning 10003 clauses out of 20014 with flag 1255007/1255007
943.11/939.40	c cleaning 9996 clauses out of 20006 with flag 1265002/1265002
949.63/945.80	c cleaning 9998 clauses out of 20008 with flag 1275000/1275000
954.95/951.13	c cleaning 10003 clauses out of 20020 with flag 1285010/1285010
960.16/956.37	c cleaning 10002 clauses out of 20014 with flag 1295007/1295007
965.39/961.52	c cleaning 10007 clauses out of 20022 with flag 1305017/1305017
971.20/967.38	c cleaning 9994 clauses out of 19999 with flag 1315001/1315001
977.43/973.60	c cleaning 9991 clauses out of 20004 with flag 1325000/1325000
985.65/981.78	c cleaning 10005 clauses out of 20015 with flag 1335002/1335002
994.18/990.24	c cleaning 10003 clauses out of 20013 with flag 1345005/1345005
1002.20/998.26	c cleaning 10006 clauses out of 20019 with flag 1355014/1355014
1010.11/1006.13	c cleaning 9992 clauses out of 19999 with flag 1365000/1365000
1017.94/1013.97	c cleaning 9990 clauses out of 20008 with flag 1375001/1375001
1026.86/1022.81	c cleaning 10014 clauses out of 20031 with flag 1385014/1385014
1035.49/1031.44	c cleaning 9998 clauses out of 20003 with flag 1395000/1395000
1041.11/1037.09	c cleaning 10000 clauses out of 20010 with flag 1405005/1405005
1046.43/1042.30	c cleaning 9998 clauses out of 20005 with flag 1415000/1415000
1054.57/1050.48	c cleaning 10009 clauses out of 20022 with flag 1425015/1425015
1062.39/1058.25	c cleaning 10000 clauses out of 20008 with flag 1435010/1435010
1071.02/1066.84	c cleaning 10006 clauses out of 20017 with flag 1445019/1445019
1079.24/1075.08	c cleaning 9986 clauses out of 19998 with flag 1455006/1455006
1085.37/1081.16	c cleaning 10003 clauses out of 20015 with flag 1465009/1465009
1092.79/1088.56	c cleaning 10003 clauses out of 20014 with flag 1475011/1475011
1100.71/1096.40	c cleaning 10012 clauses out of 20031 with flag 1485031/1485031
1106.12/1101.81	c cleaning 9987 clauses out of 19988 with flag 1495000/1495000
1111.75/1107.40	c cleaning 10003 clauses out of 20015 with flag 1505014/1505014
1116.96/1112.65	c cleaning 9991 clauses out of 20001 with flag 1515003/1515003
1122.87/1118.59	c cleaning 10006 clauses out of 20022 with flag 1525015/1525015
1128.48/1124.17	c cleaning 9998 clauses out of 20007 with flag 1535006/1535006
1134.59/1130.26	c cleaning 9995 clauses out of 20003 with flag 1545000/1545000
1140.81/1136.48	c cleaning 9997 clauses out of 20008 with flag 1555000/1555000
1146.81/1142.49	c cleaning 10001 clauses out of 20013 with flag 1565002/1565002
1153.04/1148.68	c cleaning 10006 clauses out of 20016 with flag 1575006/1575006
1158.15/1153.76	c cleaning 9999 clauses out of 20008 with flag 1585004/1585004
1162.96/1158.52	c cleaning 10000 clauses out of 20009 with flag 1595004/1595004
1167.89/1163.43	c cleaning 10002 clauses out of 20013 with flag 1605008/1605008
1173.00/1168.56	c cleaning 10003 clauses out of 20013 with flag 1615010/1615010
1178.72/1174.23	c cleaning 10005 clauses out of 20017 with flag 1625017/1625017
1185.73/1181.23	c cleaning 9993 clauses out of 20004 with flag 1635009/1635009
1194.25/1189.76	c cleaning 10003 clauses out of 20012 with flag 1645010/1645010
1201.98/1197.47	c cleaning 9997 clauses out of 20008 with flag 1655009/1655009
1210.42/1205.81	c cleaning 9999 clauses out of 20008 with flag 1665006/1665006
1218.23/1213.67	c cleaning 9999 clauses out of 20007 with flag 1675004/1675004
1224.55/1219.99	c cleaning 10002 clauses out of 20013 with flag 1685009/1685009
1230.45/1225.88	c cleaning 10000 clauses out of 20011 with flag 1695009/1695009
1236.25/1231.62	c cleaning 10002 clauses out of 20016 with flag 1705014/1705014
1241.67/1237.09	c cleaning 9998 clauses out of 20007 with flag 1715007/1715007
1248.09/1243.44	c cleaning 9994 clauses out of 20002 with flag 1725000/1725000
1253.81/1249.18	c cleaning 10002 clauses out of 20014 with flag 1735006/1735006
1258.73/1254.10	c cleaning 9985 clauses out of 20006 with flag 1745000/1745000
1264.94/1260.23	c cleaning 10006 clauses out of 20023 with flag 1755002/1755002
1272.06/1267.32	c cleaning 10019 clauses out of 20047 with flag 1765032/1765032
1278.18/1273.42	c cleaning 10000 clauses out of 20007 with flag 1775011/1775011
1286.40/1281.68	c cleaning 9999 clauses out of 20006 with flag 1785010/1785010
1293.42/1288.68	c cleaning 10009 clauses out of 20026 with flag 1795029/1795029
1301.94/1297.18	c cleaning 9989 clauses out of 19988 with flag 1805000/1805000
1307.46/1302.68	c cleaning 10002 clauses out of 20009 with flag 1815010/1815010
1313.18/1308.34	c cleaning 10002 clauses out of 20010 with flag 1825013/1825013
1318.69/1313.83	c cleaning 9991 clauses out of 19998 with flag 1835003/1835003
1324.32/1319.46	c cleaning 10006 clauses out of 20016 with flag 1845012/1845012
1329.24/1324.37	c cleaning 9994 clauses out of 19999 with flag 1855001/1855001
1335.36/1330.40	c cleaning 9995 clauses out of 20005 with flag 1865001/1865001
1342.28/1337.36	c cleaning 10008 clauses out of 20026 with flag 1875017/1875017
1347.99/1343.00	c cleaning 9986 clauses out of 20003 with flag 1885002/1885002
1352.52/1347.55	c cleaning 10009 clauses out of 20023 with flag 1895008/1895008
1358.93/1353.94	c cleaning 10004 clauses out of 20015 with flag 1905009/1905009
1365.25/1360.28	c cleaning 10002 clauses out of 20012 with flag 1915010/1915010
1371.67/1366.62	c cleaning 9996 clauses out of 20003 with flag 1925003/1925003
1378.27/1373.20	c cleaning 10001 clauses out of 20010 with flag 1935006/1935006
1384.51/1379.44	c cleaning 9988 clauses out of 20003 with flag 1945000/1945000
1390.32/1385.29	c cleaning 10001 clauses out of 20015 with flag 1955000/1955000
1397.43/1392.38	c cleaning 10008 clauses out of 20024 with flag 1965010/1965010
1403.45/1398.32	c cleaning 9998 clauses out of 20006 with flag 1975000/1975000
1408.56/1403.46	c cleaning 9998 clauses out of 20008 with flag 1985000/1985000
1414.29/1409.19	c cleaning 10002 clauses out of 20010 with flag 1995000/1995000
1422.50/1417.34	c cleaning 9999 clauses out of 20008 with flag 2005000/2005000
1430.21/1425.02	c cleaning 9999 clauses out of 20009 with flag 2015000/2015000
1437.74/1432.54	c cleaning 9996 clauses out of 20010 with flag 2025000/2025000
1444.96/1439.71	c cleaning 10015 clauses out of 20036 with flag 2035022/2035022
1451.39/1446.17	c cleaning 9996 clauses out of 19999 with flag 2045000/2045000
1459.30/1454.06	c cleaning 10003 clauses out of 20012 with flag 2055009/2055009
1467.04/1461.79	c cleaning 9991 clauses out of 20000 with flag 2065000/2065000
1475.77/1470.46	c cleaning 10004 clauses out of 20015 with flag 2075006/2075006
1482.98/1477.68	c cleaning 9999 clauses out of 20007 with flag 2085002/2085002
1491.39/1486.00	c cleaning 10028 clauses out of 20056 with flag 2095050/2095050
1499.41/1494.08	c cleaning 9987 clauses out of 19982 with flag 2105004/2105004
1505.02/1499.68	c cleaning 9993 clauses out of 19995 with flag 2115004/2115004
1511.63/1506.28	c cleaning 9997 clauses out of 20003 with flag 2125005/2125005
1519.95/1514.50	c cleaning 10000 clauses out of 20010 with flag 2135009/2135009
1526.27/1520.83	c cleaning 9996 clauses out of 20006 with flag 2145005/2145005
1532.29/1526.83	c cleaning 10005 clauses out of 20024 with flag 2155019/2155019
1537.90/1532.43	c cleaning 9995 clauses out of 20004 with flag 2165004/2165004
1543.60/1538.14	c cleaning 9997 clauses out of 20007 with flag 2175002/2175002
1549.71/1544.28	c cleaning 10000 clauses out of 20013 with flag 2185005/2185005
1556.03/1550.59	c cleaning 9999 clauses out of 20012 with flag 2195004/2195004
1563.53/1558.07	c cleaning 10005 clauses out of 20015 with flag 2205006/2205006
1571.05/1565.57	c cleaning 10005 clauses out of 20020 with flag 2215016/2215016
1577.85/1572.39	c cleaning 10006 clauses out of 20020 with flag 2225021/2225021
1584.57/1579.03	c cleaning 10006 clauses out of 20023 with flag 2235030/2235030
1590.39/1584.87	c cleaning 9991 clauses out of 19991 with flag 2245004/2245004
1596.21/1590.70	c cleaning 10001 clauses out of 20013 with flag 2255017/2255017
1602.41/1596.89	c cleaning 9996 clauses out of 20004 with flag 2265009/2265009
1608.02/1602.42	c cleaning 9997 clauses out of 20005 with flag 2275006/2275006
1614.15/1608.55	c cleaning 9993 clauses out of 20002 with flag 2285000/2285000
1620.65/1615.09	c cleaning 10009 clauses out of 20034 with flag 2295025/2295025
1627.95/1622.36	c cleaning 10001 clauses out of 20011 with flag 2305011/2305011
1636.18/1630.52	c cleaning 9998 clauses out of 20005 with flag 2315006/2315006
1641.79/1636.18	c cleaning 10005 clauses out of 20020 with flag 2325019/2325019
1648.00/1642.36	c cleaning 9992 clauses out of 19996 with flag 2335000/2335000
1653.20/1647.56	c cleaning 10001 clauses out of 20013 with flag 2345009/2345009
1658.42/1652.71	c cleaning 9999 clauses out of 20005 with flag 2355002/2355002
1663.54/1657.81	c cleaning 10004 clauses out of 20018 with flag 2365014/2365014
1668.65/1662.93	c cleaning 9999 clauses out of 20008 with flag 2375008/2375008
1673.97/1668.20	c cleaning 10003 clauses out of 20013 with flag 2385012/2385012
1679.58/1673.85	c cleaning 9991 clauses out of 19998 with flag 2395000/2395000
1685.61/1679.86	c cleaning 9995 clauses out of 20013 with flag 2405006/2405006
1691.21/1685.49	c cleaning 10001 clauses out of 20015 with flag 2415003/2415003
1696.03/1690.29	c cleaning 10008 clauses out of 20026 with flag 2425015/2425015
1701.15/1695.38	c cleaning 9997 clauses out of 20004 with flag 2435001/2435001
1709.17/1703.33	c cleaning 10014 clauses out of 20033 with flag 2445027/2445027
1715.60/1709.77	c cleaning 9990 clauses out of 19993 with flag 2455001/2455001
1721.50/1715.64	c cleaning 10013 clauses out of 20034 with flag 2465032/2465032
1727.12/1721.21	c cleaning 9990 clauses out of 19994 with flag 2475005/2475005
1732.73/1726.81	c cleaning 10003 clauses out of 20018 with flag 2485019/2485019
1738.45/1732.59	c cleaning 10002 clauses out of 20017 with flag 2495021/2495021
1743.97/1738.10	c cleaning 9991 clauses out of 19997 with flag 2505003/2505003
1750.27/1744.38	c cleaning 9973 clauses out of 20003 with flag 2515000/2515000
1756.20/1750.23	c cleaning 10015 clauses out of 20042 with flag 2525012/2525012
1762.31/1756.36	c cleaning 10005 clauses out of 20017 with flag 2535002/2535002
1768.83/1762.84	c cleaning 10002 clauses out of 20012 with flag 2545002/2545002
1776.35/1770.38	c cleaning 10005 clauses out of 20020 with flag 2555012/2555012
1783.36/1777.38	c cleaning 10001 clauses out of 20011 with flag 2565008/2565008
1789.48/1783.45	c cleaning 9992 clauses out of 20002 with flag 2575000/2575000
1797.10/1791.00	c cleaning 10000 clauses out of 20018 with flag 2585008/2585008
1800.01/1793.91	c starts		: 230
1800.01/1793.91	c conflicts		: 2589690
1800.01/1793.91	c decisions		: 8314782
1800.01/1793.91	c propagations		: 49932119
1800.01/1793.91	c inspects		: 3094660131
1800.01/1793.91	c learnt literals	: 0
1800.01/1793.91	c learnt binary clauses	: 0
1800.01/1793.91	c learnt ternary clauses	: 1225
1800.01/1793.91	c learnt clauses	: 2589689
1800.01/1793.91	c ignored clauses	: 0
1800.01/1793.91	c root simplifications	: 0
1800.01/1793.91	c removed literals (reason simplification)	: 85700497
1800.01/1793.91	c reason swapping (by a shorter reason)	: 0
1800.01/1793.91	c Calls to reduceDB	: 260
1800.01/1793.91	c number of reductions to clauses (during analyze)	: 0
1800.01/1793.91	c number of learned constraints concerned by reduction	: 0
1800.01/1793.91	c number of learning phase by resolution	: 0
1800.01/1793.91	c number of learning phase by cutting planes	: 0
1800.01/1793.91	c speed (assignments/second)	: 27869.13115405567
1800.01/1793.91	c non guided choices	3155
1800.01/1793.95	c learnt constraints type 
1800.01/1793.95	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 14705
1800.01/1793.95	c constraints type 
1800.01/1793.95	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3090
1800.01/1793.95	c org.sat4j.minisat.constraints.card.MinWatchCard => 203
1800.01/1793.95	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
1800.01/1793.95	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3090
1800.01/1793.95	s UNKNOWN
1800.01/1793.95	c Total wall clock time (in seconds): 1793.742

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-2658198-1276678295/watcher-2658198-1276678295 -o /tmp/evaluation-result-2658198-1276678295/solver-2658198-1276678295 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658198-1276678295.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.99 0.99 3/106 9930
/proc/meminfo: memFree=1747228/2059040 swapFree=4140256/4192956
[pid=9930] ppid=9928 vsize=1832 CPUtime=0
/proc/9930/stat : 9930 (java) R 9928 9930 9209 0 -1 4194304 380 0 0 0 0 0 0 0 19 0 1 0 41485845 1875968 110 1992294400 134512640 134550932 4292954624 18446744073709551615 5618140 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9930/statm: 507 114 88 10 0 112 0

[startup+0.100212 s]
/proc/loadavg: 0.91 0.99 0.99 3/106 9930
/proc/meminfo: memFree=1747228/2059040 swapFree=4140256/4192956
[pid=9930] ppid=9928 vsize=1524184 CPUtime=0.08
/proc/9930/stat : 9930 (java) S 9928 9930 9209 0 -1 4202496 3972 0 1 0 6 2 0 0 18 0 12 0 41485845 1560764416 3410 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9930/statm: 381046 3410 1078 10 0 378348 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524184

[startup+0.203038 s]
/proc/loadavg: 0.91 0.99 0.99 3/106 9930
/proc/meminfo: memFree=1747228/2059040 swapFree=4140256/4192956
[pid=9930] ppid=9928 vsize=1526136 CPUtime=0.23
/proc/9930/stat : 9930 (java) S 9928 9930 9209 0 -1 4202496 5055 0 1 0 20 3 0 0 18 0 12 0 41485845 1562763264 4491 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9930/statm: 381534 4492 1346 10 0 378836 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 1526136

[startup+0.320604 s]
/proc/loadavg: 0.91 0.99 0.99 3/106 9930
/proc/meminfo: memFree=1747228/2059040 swapFree=4140256/4192956
[pid=9930] ppid=9928 vsize=1527068 CPUtime=0.42
/proc/9930/stat : 9930 (java) S 9928 9930 9209 0 -1 4202496 5535 0 1 0 38 4 0 0 18 0 12 0 41485845 1563717632 4971 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9930/statm: 381767 4971 1365 10 0 379069 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 1527068

[startup+0.701272 s]
/proc/loadavg: 0.91 0.99 0.99 3/106 9930
/proc/meminfo: memFree=1747228/2059040 swapFree=4140256/4192956
[pid=9930] ppid=9928 vsize=1529016 CPUtime=1.06
/proc/9930/stat : 9930 (java) S 9928 9930 9209 0 -1 4202496 6927 0 1 0 102 4 0 0 18 0 12 0 41485845 1565712384 6322 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9930/statm: 382254 6322 1404 10 0 379556 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 1529016

[startup+1.50234 s]
/proc/loadavg: 0.91 0.99 0.99 2/118 9942
/proc/meminfo: memFree=1723768/2059040 swapFree=4140256/4192956
[pid=9930] ppid=9928 vsize=1529332 CPUtime=2.2
/proc/9930/stat : 9930 (java) S 9928 9930 9209 0 -1 4202496 8560 0 1 0 215 5 0 0 18 0 12 0 41485845 1566035968 7541 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9930/statm: 382333 7541 1409 10 0 379635 0
[pid=9930/tid=9932] ppid=9928 vsize=1529332 CPUtime=1.47
/proc/9930/task/9932/stat : 9932 (java) R 9928 9930 9209 0 -1 4202560 5649 0 1 0 144 3 0 0 25 0 12 0 41485846 1566035968 7541 1992294400 134512640 134550932 4292954624 18446744073709551615 4109734261 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9930/tid=9933] ppid=9928 vsize=1529332 CPUtime=0
/proc/9930/task/9933/stat : 9933 (java) S 9928 9930 9209 0 -1 4202560 3 0 0 0 0 0 0 0 21 0 12 0 41485847 1566035968 7541 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9934] ppid=9928 vsize=1529332 CPUtime=0
/proc/9930/task/9934/stat : 9934 (java) S 9928 9930 9209 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 12 0 41485847 1566035968 7541 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9935] ppid=9928 vsize=1529332 CPUtime=0
/proc/9930/task/9935/stat : 9935 (java) S 9928 9930 9209 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 41485849 1566035968 7541 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9936] ppid=9928 vsize=1529332 CPUtime=0
/proc/9930/task/9936/stat : 9936 (java) S 9928 9930 9209 0 -1 4202560 10 0 0 0 0 0 0 0 24 0 12 0 41485850 1566035968 7542 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9937] ppid=9928 vsize=1529332 CPUtime=0
/proc/9930/task/9937/stat : 9937 (java) S 9928 9930 9209 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 12 0 41485850 1566035968 7548 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9938] ppid=9928 vsize=1529332 CPUtime=0
/proc/9930/task/9938/stat : 9938 (java) S 9928 9930 9209 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 12 0 41485854 1566035968 7548 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9939] ppid=9928 vsize=1529332 CPUtime=0.29
/proc/9930/task/9939/stat : 9939 (java) S 9928 9930 9209 0 -1 4202560 289 0 0 0 29 0 0 0 15 0 12 0 41485854 1566035968 7548 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9940] ppid=9928 vsize=1529332 CPUtime=0.4
/proc/9930/task/9940/stat : 9940 (java) S 9928 9930 9209 0 -1 4202560 1556 0 0 0 40 0 0 0 15 0 12 0 41485854 1566035968 7548 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9941] ppid=9928 vsize=1529332 CPUtime=0
/proc/9930/task/9941/stat : 9941 (java) S 9928 9930 9209 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 12 0 41485854 1566035968 7548 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9942] ppid=9928 vsize=1529332 CPUtime=0
/proc/9930/task/9942/stat : 9942 (java) S 9928 9930 9209 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 41485854 1566035968 7548 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 1529332

[startup+3.10249 s]
/proc/loadavg: 0.91 0.99 0.99 2/118 9942
/proc/meminfo: memFree=1718684/2059040 swapFree=4140256/4192956
[pid=9930] ppid=9928 vsize=1531496 CPUtime=4.4
/proc/9930/stat : 9930 (java) S 9928 9930 9209 0 -1 4202496 18329 0 1 0 432 8 0 0 18 0 13 0 41485845 1568251904 16755 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9930/statm: 382874 16756 1425 10 0 380176 0
[pid=9930/tid=9932] ppid=9928 vsize=1531496 CPUtime=2.83
/proc/9930/task/9932/stat : 9932 (java) R 9928 9930 9209 0 -1 4202560 14318 0 1 0 277 6 0 0 25 0 13 0 41485846 1568251904 16758 1992294400 134512640 134550932 4292954624 18446744073709551615 4109941347 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9930/tid=9933] ppid=9928 vsize=1531496 CPUtime=0
/proc/9930/task/9933/stat : 9933 (java) S 9928 9930 9209 0 -1 4202560 3 0 0 0 0 0 0 0 21 0 13 0 41485847 1568251904 16760 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9934] ppid=9928 vsize=1531496 CPUtime=0
/proc/9930/task/9934/stat : 9934 (java) S 9928 9930 9209 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 41485847 1568251904 16761 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9935] ppid=9928 vsize=1531496 CPUtime=0
/proc/9930/task/9935/stat : 9935 (java) S 9928 9930 9209 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 41485849 1568251904 16762 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9936] ppid=9928 vsize=1531496 CPUtime=0
/proc/9930/task/9936/stat : 9936 (java) S 9928 9930 9209 0 -1 4202560 10 0 0 0 0 0 0 0 24 0 13 0 41485850 1568251904 16763 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9937] ppid=9928 vsize=1531496 CPUtime=0
/proc/9930/task/9937/stat : 9937 (java) S 9928 9930 9209 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 13 0 41485850 1568251904 16765 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9938] ppid=9928 vsize=1531496 CPUtime=0
/proc/9930/task/9938/stat : 9938 (java) S 9928 9930 9209 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 13 0 41485854 1568251904 16767 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9939] ppid=9928 vsize=1531496 CPUtime=0.72
/proc/9930/task/9939/stat : 9939 (java) S 9928 9930 9209 0 -1 4202560 626 0 0 0 72 0 0 0 15 0 13 0 41485854 1568251904 16769 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9940] ppid=9928 vsize=1531496 CPUtime=0.81
/proc/9930/task/9940/stat : 9940 (java) S 9928 9930 9209 0 -1 4202560 2318 0 0 0 81 0 0 0 15 0 13 0 41485854 1568251904 16770 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9941] ppid=9928 vsize=1531496 CPUtime=0
/proc/9930/task/9941/stat : 9941 (java) S 9928 9930 9209 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 13 0 41485854 1568251904 16770 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9942] ppid=9928 vsize=1531496 CPUtime=0
/proc/9930/task/9942/stat : 9942 (java) S 9928 9930 9209 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 41485854 1568251904 16771 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 1531496

[startup+6.3018 s]
/proc/loadavg: 1.00 1.01 1.00 2/119 9943
/proc/meminfo: memFree=1604596/2059040 swapFree=4140256/4192956
[pid=9930] ppid=9928 vsize=1531032 CPUtime=7.71
/proc/9930/stat : 9930 (java) S 9928 9930 9209 0 -1 4202496 38976 0 1 0 756 15 0 0 18 0 13 0 41485845 1567776768 37250 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9930/statm: 382758 37250 1438 10 0 380060 0
[pid=9930/tid=9932] ppid=9928 vsize=1531032 CPUtime=5.99
/proc/9930/task/9932/stat : 9932 (java) R 9928 9930 9209 0 -1 4202560 32053 0 1 0 587 12 0 0 25 0 13 0 41485846 1567776768 37250 1992294400 134512640 134550932 4292954624 18446744073709551615 4109974170 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9930/tid=9933] ppid=9928 vsize=1531032 CPUtime=0.04
/proc/9930/task/9933/stat : 9933 (java) S 9928 9930 9209 0 -1 4202560 1339 0 0 0 4 0 0 0 18 0 13 0 41485847 1567776768 37250 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9934] ppid=9928 vsize=1531032 CPUtime=0.03
/proc/9930/task/9934/stat : 9934 (java) S 9928 9930 9209 0 -1 4202560 1550 0 0 0 3 0 0 0 18 0 13 0 41485847 1567776768 37250 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9935] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9935/stat : 9935 (java) S 9928 9930 9209 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 13 0 41485849 1567776768 37250 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9936] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9936/stat : 9936 (java) S 9928 9930 9209 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 41485850 1567776768 37250 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9937] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9937/stat : 9937 (java) S 9928 9930 9209 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 41485850 1567776768 37250 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9938] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9938/stat : 9938 (java) S 9928 9930 9209 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 13 0 41485854 1567776768 37250 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9939] ppid=9928 vsize=1531032 CPUtime=0.8
/proc/9930/task/9939/stat : 9939 (java) S 9928 9930 9209 0 -1 4202560 636 0 0 0 80 0 0 0 15 0 13 0 41485854 1567776768 37250 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9940] ppid=9928 vsize=1531032 CPUtime=0.81
/proc/9930/task/9940/stat : 9940 (java) S 9928 9930 9209 0 -1 4202560 2318 0 0 0 81 0 0 0 15 0 13 0 41485854 1567776768 37250 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9941] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9941/stat : 9941 (java) S 9928 9930 9209 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 13 0 41485854 1567776768 37250 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9942] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9942/stat : 9942 (java) S 9928 9930 9209 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 41485854 1567776768 37250 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9943] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9943/stat : 9943 (java) S 9928 9930 9209 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 41486072 1567776768 37250 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.71
Current children cumulated vsize (KiB) 1531032

[startup+12.7003 s]
/proc/loadavg: 1.00 1.01 1.00 2/119 9943
/proc/meminfo: memFree=1580912/2059040 swapFree=4140256/4192956
[pid=9930] ppid=9928 vsize=1531032 CPUtime=14.24
/proc/9930/stat : 9930 (java) S 9928 9930 9209 0 -1 4202496 44461 0 1 0 1406 18 0 0 18 0 13 0 41485845 1567776768 42720 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9930/statm: 382758 42720 1443 10 0 380060 0
[pid=9930/tid=9932] ppid=9928 vsize=1531032 CPUtime=12.2
/proc/9930/task/9932/stat : 9932 (java) R 9928 9930 9209 0 -1 4202560 33546 0 1 0 1207 13 0 0 25 0 13 0 41485846 1567776768 42720 1992294400 134512640 134550932 4292954624 18446744073709551615 4109973604 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9930/tid=9933] ppid=9928 vsize=1531032 CPUtime=0.08
/proc/9930/task/9933/stat : 9933 (java) S 9928 9930 9209 0 -1 4202560 2455 0 0 0 7 1 0 0 16 0 13 0 41485847 1567776768 42720 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9934] ppid=9928 vsize=1531032 CPUtime=0.08
/proc/9930/task/9934/stat : 9934 (java) S 9928 9930 9209 0 -1 4202560 2566 0 0 0 7 1 0 0 16 0 13 0 41485847 1567776768 42720 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9935] ppid=9928 vsize=1531032 CPUtime=0.07
/proc/9930/task/9935/stat : 9935 (java) S 9928 9930 9209 0 -1 4202560 1857 0 0 0 7 0 0 0 15 0 13 0 41485849 1567776768 42720 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9936] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9936/stat : 9936 (java) S 9928 9930 9209 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 41485850 1567776768 42720 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9937] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9937/stat : 9937 (java) S 9928 9930 9209 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 41485850 1567776768 42720 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9938] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9938/stat : 9938 (java) S 9928 9930 9209 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 13 0 41485854 1567776768 42720 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9939] ppid=9928 vsize=1531032 CPUtime=0.91
/proc/9930/task/9939/stat : 9939 (java) S 9928 9930 9209 0 -1 4202560 646 0 0 0 91 0 0 0 15 0 13 0 41485854 1567776768 42720 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9940] ppid=9928 vsize=1531032 CPUtime=0.85
/proc/9930/task/9940/stat : 9940 (java) S 9928 9930 9209 0 -1 4202560 2324 0 0 0 85 0 0 0 16 0 13 0 41485854 1567776768 42720 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9941] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9941/stat : 9941 (java) S 9928 9930 9209 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 13 0 41485854 1567776768 42720 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9942] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9942/stat : 9942 (java) S 9928 9930 9209 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 41485854 1567776768 42720 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9943] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9943/stat : 9943 (java) S 9928 9930 9209 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 41486072 1567776768 42720 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 14.24
Current children cumulated vsize (KiB) 1531032

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/119 9943
/proc/meminfo: memFree=1565908/2059040 swapFree=4140256/4192956
[pid=9930] ppid=9928 vsize=1531032 CPUtime=27.09
/proc/9930/stat : 9930 (java) S 9928 9930 9209 0 -1 4202496 48693 0 1 0 2688 21 0 0 18 0 13 0 41485845 1567776768 46482 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9930/statm: 382758 46482 1443 10 0 380060 0
[pid=9930/tid=9932] ppid=9928 vsize=1531032 CPUtime=24.88
/proc/9930/task/9932/stat : 9932 (java) R 9928 9930 9209 0 -1 4202560 34489 0 1 0 2475 13 0 0 25 0 13 0 41485846 1567776768 46482 1992294400 134512640 134550932 4292954624 18446744073709551615 4109974004 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9930/tid=9933] ppid=9928 vsize=1531032 CPUtime=0.13
/proc/9930/task/9933/stat : 9933 (java) S 9928 9930 9209 0 -1 4202560 3678 0 0 0 11 2 0 0 15 0 13 0 41485847 1567776768 46482 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9934] ppid=9928 vsize=1531032 CPUtime=0.13
/proc/9930/task/9934/stat : 9934 (java) S 9928 9930 9209 0 -1 4202560 4074 0 0 0 11 2 0 0 15 0 13 0 41485847 1567776768 46482 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9935] ppid=9928 vsize=1531032 CPUtime=0.11
/proc/9930/task/9935/stat : 9935 (java) S 9928 9930 9209 0 -1 4202560 2415 0 0 0 11 0 0 0 16 0 13 0 41485849 1567776768 46482 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9936] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9936/stat : 9936 (java) S 9928 9930 9209 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 41485850 1567776768 46482 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9937] ppid=9928 vsize=1531032 CPUtime=0

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

[pid=9930] ppid=9928 vsize=1531032 CPUtime=1607.92
/proc/9930/stat : 9930 (java) S 9928 9930 9209 0 -1 4202496 56505 0 1 0 160691 101 0 0 18 0 13 0 41485845 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9930/statm: 382758 52442 1443 10 0 380060 0
[pid=9930/tid=9932] ppid=9928 vsize=1531032 CPUtime=1583.76
/proc/9930/task/9932/stat : 9932 (java) R 9928 9930 9209 0 -1 4202560 35235 0 1 0 158324 52 0 0 25 0 13 0 41485846 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4109584092 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9930/tid=9933] ppid=9928 vsize=1531032 CPUtime=5.39
/proc/9930/task/9933/stat : 9933 (java) S 9928 9930 9209 0 -1 4202560 6699 0 0 0 518 21 0 0 15 0 13 0 41485847 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9934] ppid=9928 vsize=1531032 CPUtime=5.48
/proc/9930/task/9934/stat : 9934 (java) S 9928 9930 9209 0 -1 4202560 7779 0 0 0 529 19 0 0 15 0 13 0 41485847 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9935] ppid=9928 vsize=1531032 CPUtime=11.07
/proc/9930/task/9935/stat : 9935 (java) S 9928 9930 9209 0 -1 4202560 2641 0 0 0 1101 6 0 0 15 0 13 0 41485849 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9936] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9936/stat : 9936 (java) S 9928 9930 9209 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 41485850 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9937] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9937/stat : 9937 (java) S 9928 9930 9209 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 41485850 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9938] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9938/stat : 9938 (java) S 9928 9930 9209 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9939] ppid=9928 vsize=1531032 CPUtime=1.09
/proc/9930/task/9939/stat : 9939 (java) S 9928 9930 9209 0 -1 4202560 657 0 0 0 109 0 0 0 16 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9940] ppid=9928 vsize=1531032 CPUtime=1.09
/proc/9930/task/9940/stat : 9940 (java) S 9928 9930 9209 0 -1 4202560 2336 0 0 0 109 0 0 0 15 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9941] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9941/stat : 9941 (java) S 9928 9930 9209 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9942] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9942/stat : 9942 (java) S 9928 9930 9209 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9943] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9943/stat : 9943 (java) S 9928 9930 9209 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 41486072 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1607.92
Current children cumulated vsize (KiB) 1531032

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/119 9996
/proc/meminfo: memFree=1538876/2059040 swapFree=4140256/4192956
[pid=9930] ppid=9928 vsize=1531032 CPUtime=1668.05
/proc/9930/stat : 9930 (java) S 9928 9930 9209 0 -1 4202496 56540 0 1 0 166701 104 0 0 18 0 13 0 41485845 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9930/statm: 382758 52442 1443 10 0 380060 0
[pid=9930/tid=9932] ppid=9928 vsize=1531032 CPUtime=1643.02
/proc/9930/task/9932/stat : 9932 (java) R 9928 9930 9209 0 -1 4202560 35262 0 1 0 164249 53 0 0 25 0 13 0 41485846 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4109911799 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9930/tid=9933] ppid=9928 vsize=1531032 CPUtime=5.57
/proc/9930/task/9933/stat : 9933 (java) S 9928 9930 9209 0 -1 4202560 6699 0 0 0 535 22 0 0 15 0 13 0 41485847 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9934] ppid=9928 vsize=1531032 CPUtime=5.67
/proc/9930/task/9934/stat : 9934 (java) S 9928 9930 9209 0 -1 4202560 7779 0 0 0 547 20 0 0 16 0 13 0 41485847 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9935] ppid=9928 vsize=1531032 CPUtime=11.56
/proc/9930/task/9935/stat : 9935 (java) S 9928 9930 9209 0 -1 4202560 2645 0 0 0 1150 6 0 0 15 0 13 0 41485849 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9936] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9936/stat : 9936 (java) S 9928 9930 9209 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 41485850 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9937] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9937/stat : 9937 (java) S 9928 9930 9209 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 41485850 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9938] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9938/stat : 9938 (java) S 9928 9930 9209 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9939] ppid=9928 vsize=1531032 CPUtime=1.09
/proc/9930/task/9939/stat : 9939 (java) S 9928 9930 9209 0 -1 4202560 657 0 0 0 109 0 0 0 16 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9940] ppid=9928 vsize=1531032 CPUtime=1.09
/proc/9930/task/9940/stat : 9940 (java) S 9928 9930 9209 0 -1 4202560 2336 0 0 0 109 0 0 0 15 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9941] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9941/stat : 9941 (java) S 9928 9930 9209 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9942] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9942/stat : 9942 (java) S 9928 9930 9209 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9943] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9943/stat : 9943 (java) S 9928 9930 9209 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 41486072 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1668.05
Current children cumulated vsize (KiB) 1531032

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/119 9998
/proc/meminfo: memFree=1538752/2059040 swapFree=4140256/4192956
[pid=9930] ppid=9928 vsize=1531032 CPUtime=1728.22
/proc/9930/stat : 9930 (java) S 9928 9930 9209 0 -1 4202496 56581 0 1 0 172715 107 0 0 18 0 13 0 41485845 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9930/statm: 382758 52442 1443 10 0 380060 0
[pid=9930/tid=9932] ppid=9928 vsize=1531032 CPUtime=1702.17
/proc/9930/task/9932/stat : 9932 (java) R 9928 9930 9209 0 -1 4202560 35295 0 1 0 170163 54 0 0 25 0 13 0 41485846 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4109944751 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9930/tid=9933] ppid=9928 vsize=1531032 CPUtime=5.8
/proc/9930/task/9933/stat : 9933 (java) S 9928 9930 9209 0 -1 4202560 6699 0 0 0 558 22 0 0 16 0 13 0 41485847 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9934] ppid=9928 vsize=1531032 CPUtime=5.91
/proc/9930/task/9934/stat : 9934 (java) S 9928 9930 9209 0 -1 4202560 7779 0 0 0 570 21 0 0 15 0 13 0 41485847 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9935] ppid=9928 vsize=1531032 CPUtime=12.1
/proc/9930/task/9935/stat : 9935 (java) S 9928 9930 9209 0 -1 4202560 2649 0 0 0 1204 6 0 0 15 0 13 0 41485849 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9936] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9936/stat : 9936 (java) S 9928 9930 9209 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 41485850 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9937] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9937/stat : 9937 (java) S 9928 9930 9209 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 41485850 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9938] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9938/stat : 9938 (java) S 9928 9930 9209 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9939] ppid=9928 vsize=1531032 CPUtime=1.09
/proc/9930/task/9939/stat : 9939 (java) S 9928 9930 9209 0 -1 4202560 657 0 0 0 109 0 0 0 16 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9940] ppid=9928 vsize=1531032 CPUtime=1.09
/proc/9930/task/9940/stat : 9940 (java) S 9928 9930 9209 0 -1 4202560 2336 0 0 0 109 0 0 0 15 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9941] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9941/stat : 9941 (java) S 9928 9930 9209 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9942] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9942/stat : 9942 (java) R 9928 9930 9209 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9930/tid=9943] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9943/stat : 9943 (java) S 9928 9930 9209 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 41486072 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1728.22
Current children cumulated vsize (KiB) 1531032

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/119 10000
/proc/meminfo: memFree=1538380/2059040 swapFree=4140256/4192956
[pid=9930] ppid=9928 vsize=1531032 CPUtime=1788.38
/proc/9930/stat : 9930 (java) S 9928 9930 9209 0 -1 4202496 56617 0 1 0 178727 111 0 0 18 0 13 0 41485845 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9930/statm: 382758 52442 1443 10 0 380060 0
[pid=9930/tid=9932] ppid=9928 vsize=1531032 CPUtime=1761.41
/proc/9930/task/9932/stat : 9932 (java) R 9928 9930 9209 0 -1 4202560 35327 0 1 0 176086 55 0 0 25 0 13 0 41485846 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4109974135 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9930/tid=9933] ppid=9928 vsize=1531032 CPUtime=6.05
/proc/9930/task/9933/stat : 9933 (java) S 9928 9930 9209 0 -1 4202560 6699 0 0 0 582 23 0 0 16 0 13 0 41485847 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9934] ppid=9928 vsize=1531032 CPUtime=6.14
/proc/9930/task/9934/stat : 9934 (java) S 9928 9930 9209 0 -1 4202560 7779 0 0 0 592 22 0 0 15 0 13 0 41485847 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9935] ppid=9928 vsize=1531032 CPUtime=12.54
/proc/9930/task/9935/stat : 9935 (java) S 9928 9930 9209 0 -1 4202560 2651 0 0 0 1247 7 0 0 15 0 13 0 41485849 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9936] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9936/stat : 9936 (java) S 9928 9930 9209 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 41485850 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9937] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9937/stat : 9937 (java) S 9928 9930 9209 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 41485850 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9938] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9938/stat : 9938 (java) S 9928 9930 9209 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9939] ppid=9928 vsize=1531032 CPUtime=1.09
/proc/9930/task/9939/stat : 9939 (java) S 9928 9930 9209 0 -1 4202560 657 0 0 0 109 0 0 0 16 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9940] ppid=9928 vsize=1531032 CPUtime=1.09
/proc/9930/task/9940/stat : 9940 (java) S 9928 9930 9209 0 -1 4202560 2336 0 0 0 109 0 0 0 15 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9941] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9941/stat : 9941 (java) S 9928 9930 9209 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9942] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9942/stat : 9942 (java) S 9928 9930 9209 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9943] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9943/stat : 9943 (java) S 9928 9930 9209 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 41486072 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1788.38
Current children cumulated vsize (KiB) 1531032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/119 10000
/proc/meminfo: memFree=1538380/2059040 swapFree=4140256/4192956
[pid=9930] ppid=9928 vsize=1531032 CPUtime=1800.01
/proc/9930/stat : 9930 (java) S 9928 9930 9209 0 -1 4202496 56627 0 1 0 179890 111 0 0 18 0 13 0 41485845 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9930/statm: 382758 52442 1443 10 0 380060 0
[pid=9930/tid=9932] ppid=9928 vsize=1531032 CPUtime=1772.86
/proc/9930/task/9932/stat : 9932 (java) R 9928 9930 9209 0 -1 4202560 35333 0 1 0 177230 56 0 0 25 0 13 0 41485846 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4110004704 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9930/tid=9933] ppid=9928 vsize=1531032 CPUtime=6.09
/proc/9930/task/9933/stat : 9933 (java) S 9928 9930 9209 0 -1 4202560 6699 0 0 0 586 23 0 0 15 0 13 0 41485847 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9934] ppid=9928 vsize=1531032 CPUtime=6.18
/proc/9930/task/9934/stat : 9934 (java) S 9928 9930 9209 0 -1 4202560 7779 0 0 0 596 22 0 0 16 0 13 0 41485847 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9935] ppid=9928 vsize=1531032 CPUtime=12.64
/proc/9930/task/9935/stat : 9935 (java) S 9928 9930 9209 0 -1 4202560 2653 0 0 0 1257 7 0 0 15 0 13 0 41485849 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 0 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9936] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9936/stat : 9936 (java) S 9928 9930 9209 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 41485850 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9937] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9937/stat : 9937 (java) S 9928 9930 9209 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 41485850 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9938] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9938/stat : 9938 (java) S 9928 9930 9209 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9939] ppid=9928 vsize=1531032 CPUtime=1.09
/proc/9930/task/9939/stat : 9939 (java) S 9928 9930 9209 0 -1 4202560 657 0 0 0 109 0 0 0 16 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9940] ppid=9928 vsize=1531032 CPUtime=1.09
/proc/9930/task/9940/stat : 9940 (java) S 9928 9930 9209 0 -1 4202560 2336 0 0 0 109 0 0 0 15 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
[pid=9930/tid=9941] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9941/stat : 9941 (java) S 9928 9930 9209 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 0 0 0 0
[pid=9930/tid=9942] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9942/stat : 9942 (java) R 9928 9930 9209 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 13 0 41485854 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9930/tid=9943] ppid=9928 vsize=1531032 CPUtime=0
/proc/9930/task/9943/stat : 9943 (java) S 9928 9930 9209 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 41486072 1567776768 52442 1992294400 134512640 134550932 4292954624 18446744073709551615 4294960144 0 4 0 16800975 18446604437843926080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1531032

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): 1794.01
CPU time (s): 1800.16
CPU user time (s): 1799.02
CPU system time (s): 1.13983
CPU usage (%): 100.343
Max. virtual memory (cumulated for all children) (KiB): 1531984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.13983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56650
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= 46180
involuntary context switches= 29122

runsolver used 3.64744 second user time and 9.59554 second system time

The end

Launcher Data 

Begin job on node018 at 2010-06-16 10:51:35
IDJOB=2658198
IDBENCH=48317
IDSOLVER=1164
FILE ID=node018/2658198-1276678295
PBS_JOBID= 11172524
Free space on /tmp= 62488 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_3_15.opb
COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658198-1276678295/watcher-2658198-1276678295 -o /tmp/evaluation-result-2658198-1276678295/solver-2658198-1276678295 -C 1800 -W 2000 -M 1800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658198-1276678295.opb

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

MD5SUM BENCH= 0f8b3c4075c45404d33689fa65bc6a7e
RANDOM SEED=419512404

node018.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1747632 kB
Buffers:        105660 kB
Cached:         116784 kB
SwapCached:       6364 kB
Active:          97612 kB
Inactive:       138492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1747632 kB
SwapTotal:     4192956 kB
SwapFree:      4140256 kB
Dirty:             396 kB
Writeback:          12 kB
AnonPages:       11708 kB
Mapped:          13020 kB
Slab:            53528 kB
PageTables:       3936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181316 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= 62484 MiB
End job on node018 at 2010-06-16 11:21:31