Trace number 3458006

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 Resolution 2.3.0? (TO) 1800.14 1797.94

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_2_40.opb
MD5SUMae994079f65819ac107e4a3e259224ff
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.12398
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
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 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4984
Sum of products size (including duplicates)9968
Number of different products2492
Sum of products size4984

Solver Data 

0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		12995394264
0.02/0.09	c Max memory 		13063553024
0.02/0.09	c Total memory 		13063553024
0.02/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458006-1307164562.opb
0.10/0.11	c reading problem ... 
0.50/0.36	c ... done. Wall clock time 0.256s.
0.50/0.36	c #vars     2892
0.50/0.36	c #constraints  5587
0.50/0.36	c constraints type 
0.50/0.36	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2492
0.50/0.36	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
0.50/0.36	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.50/0.36	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2492
3.34/2.59	c cleaning 2506 clauses out of 5012 with flag 5012/5012
6.73/5.81	c cleaning 4265 clauses out of 8530 with flag 11036/11036
11.43/10.60	c cleaning 5629 clauses out of 11257 with flag 18028/18028
16.57/15.65	c cleaning 6799 clauses out of 13601 with flag 26001/26001
20.19/19.20	c cleaning 7899 clauses out of 15802 with flag 35001/35001
24.50/23.58	c cleaning 8954 clauses out of 17912 with flag 45010/45010
29.52/28.53	c cleaning 9476 clauses out of 18953 with flag 55005/55005
34.52/33.58	c cleaning 9737 clauses out of 19476 with flag 65004/65004
39.43/38.45	c cleaning 9877 clauses out of 19753 with flag 75018/75018
44.64/43.67	c cleaning 9930 clauses out of 19863 with flag 85005/85005
49.34/48.35	c cleaning 9964 clauses out of 19931 with flag 95003/95003
54.05/53.09	c cleaning 9990 clauses out of 19979 with flag 105015/105015
59.18/58.19	c cleaning 9992 clauses out of 19983 with flag 115009/115009
64.28/63.25	c cleaning 9990 clauses out of 19982 with flag 125000/125000
69.30/68.23	c cleaning 9999 clauses out of 20001 with flag 135009/135009
73.81/72.76	c cleaning 9997 clauses out of 19998 with flag 145005/145005
78.40/77.32	c cleaning 9996 clauses out of 19996 with flag 155000/155000
82.42/81.40	c cleaning 10010 clauses out of 20023 with flag 165023/165023
87.33/86.27	c cleaning 9994 clauses out of 19991 with flag 175001/175001
91.94/90.83	c cleaning 9999 clauses out of 20001 with flag 185005/185005
96.35/95.20	c cleaning 10004 clauses out of 20009 with flag 195012/195012
100.75/99.61	c cleaning 9997 clauses out of 19998 with flag 205005/205005
105.36/104.21	c cleaning 9997 clauses out of 19997 with flag 215001/215001
109.87/108.71	c cleaning 10001 clauses out of 20005 with flag 225006/225006
113.97/112.82	c cleaning 10004 clauses out of 20010 with flag 235012/235012
117.79/116.63	c cleaning 10007 clauses out of 20017 with flag 245023/245023
122.59/121.47	c cleaning 9992 clauses out of 19987 with flag 255000/255000
127.81/126.66	c cleaning 10000 clauses out of 20003 with flag 265008/265008
131.60/130.49	c cleaning 9997 clauses out of 19997 with flag 275002/275002
135.41/134.28	c cleaning 10002 clauses out of 20008 with flag 285010/285010
139.12/137.95	c cleaning 10000 clauses out of 20004 with flag 295008/295008
143.02/141.89	c cleaning 10000 clauses out of 20002 with flag 305006/305006
146.73/145.50	c cleaning 10015 clauses out of 20032 with flag 315036/315036
150.53/149.31	c cleaning 9996 clauses out of 19995 with flag 325014/325014
154.14/152.95	c cleaning 9991 clauses out of 19985 with flag 335000/335000
157.94/156.77	c cleaning 10007 clauses out of 20017 with flag 345023/345023
161.64/160.44	c cleaning 10008 clauses out of 20020 with flag 355033/355033
165.34/164.13	c cleaning 10001 clauses out of 20005 with flag 365026/365026
169.15/167.99	c cleaning 9992 clauses out of 19987 with flag 375009/375009
173.25/172.10	c cleaning 10000 clauses out of 20003 with flag 385017/385017
178.05/176.80	c cleaning 9997 clauses out of 19997 with flag 395011/395011
181.86/180.68	c cleaning 9998 clauses out of 19999 with flag 405010/405010
185.86/184.68	c cleaning 9999 clauses out of 20001 with flag 415010/415010
189.48/188.23	c cleaning 10004 clauses out of 20012 with flag 425020/425020
193.47/192.22	c cleaning 9996 clauses out of 19995 with flag 435007/435007
197.47/196.23	c cleaning 9994 clauses out of 19992 with flag 445000/445000
201.37/200.10	c cleaning 10002 clauses out of 20008 with flag 455010/455010
204.98/203.77	c cleaning 10008 clauses out of 20019 with flag 465023/465023
208.88/207.60	c cleaning 10003 clauses out of 20009 with flag 475021/475021
212.61/211.33	c cleaning 9996 clauses out of 19996 with flag 485011/485011
216.30/215.03	c cleaning 9996 clauses out of 19995 with flag 495006/495006
220.50/219.21	c cleaning 10019 clauses out of 20041 with flag 505048/505048
225.00/223.75	c cleaning 9985 clauses out of 19974 with flag 515000/515000
229.31/228.02	c cleaning 9997 clauses out of 19998 with flag 525009/525009
233.02/231.72	c cleaning 10003 clauses out of 20009 with flag 535017/535017
236.85/235.55	c cleaning 10012 clauses out of 20027 with flag 545038/545038
240.83/239.51	c cleaning 9991 clauses out of 19985 with flag 555008/555008
244.83/243.59	c cleaning 9991 clauses out of 19986 with flag 565000/565000
249.03/247.76	c cleaning 10009 clauses out of 20021 with flag 575026/575026
253.25/252.01	c cleaning 9993 clauses out of 19989 with flag 585003/585003
257.67/256.34	c cleaning 9998 clauses out of 19999 with flag 595006/595006
261.67/260.33	c cleaning 9997 clauses out of 19997 with flag 605002/605002
265.28/264.00	c cleaning 10004 clauses out of 20011 with flag 615013/615013
269.08/267.76	c cleaning 10010 clauses out of 20024 with flag 625030/625030
272.88/271.56	c cleaning 9993 clauses out of 19990 with flag 635006/635006
276.50/275.16	c cleaning 9996 clauses out of 19995 with flag 645004/645004
280.48/279.15	c cleaning 10009 clauses out of 20021 with flag 655026/655026
284.21/282.88	c cleaning 9992 clauses out of 19988 with flag 665002/665002
288.09/286.76	c cleaning 9999 clauses out of 20001 with flag 675007/675007
292.01/290.69	c cleaning 10004 clauses out of 20011 with flag 685016/685016
296.12/294.74	c cleaning 9995 clauses out of 19993 with flag 695002/695002
300.22/298.82	c cleaning 9997 clauses out of 19997 with flag 705001/705001
304.32/302.92	c cleaning 10014 clauses out of 20031 with flag 715032/715032
309.02/307.67	c cleaning 9994 clauses out of 19992 with flag 725007/725007
312.84/311.43	c cleaning 9996 clauses out of 19996 with flag 735005/735005
316.73/315.32	c cleaning 10002 clauses out of 20007 with flag 745012/745012
320.73/319.32	c cleaning 9995 clauses out of 19993 with flag 755000/755000
324.84/323.44	c cleaning 10000 clauses out of 20004 with flag 765006/765006
329.03/327.69	c cleaning 10010 clauses out of 20023 with flag 775025/775025
333.33/331.98	c cleaning 9994 clauses out of 19991 with flag 785003/785003
337.33/335.90	c cleaning 10007 clauses out of 20017 with flag 795023/795023
341.14/339.78	c cleaning 9996 clauses out of 19996 with flag 805009/805009
345.13/343.78	c cleaning 10013 clauses out of 20029 with flag 815038/815038
349.24/347.85	c cleaning 10011 clauses out of 20025 with flag 825047/825047
353.45/352.06	c cleaning 9986 clauses out of 19975 with flag 835008/835008
357.74/356.40	c cleaning 10014 clauses out of 20031 with flag 845050/845050
362.14/360.70	c cleaning 10013 clauses out of 20029 with flag 855062/855062
367.24/365.88	c cleaning 10000 clauses out of 20004 with flag 865050/865050
372.45/371.09	c cleaning 10001 clauses out of 20006 with flag 875052/875052
377.25/375.81	c cleaning 9975 clauses out of 19953 with flag 885000/885000
381.55/380.12	c cleaning 9990 clauses out of 19983 with flag 895005/895005
385.26/383.89	c cleaning 9996 clauses out of 19996 with flag 905008/905008
389.06/387.67	c cleaning 9997 clauses out of 19999 with flag 915007/915007
392.97/391.58	c cleaning 9994 clauses out of 19996 with flag 925001/925001
396.67/395.25	c cleaning 10002 clauses out of 20008 with flag 935007/935007
400.47/399.07	c cleaning 10005 clauses out of 20013 with flag 945014/945014
404.27/402.85	c cleaning 9999 clauses out of 20002 with flag 955008/955008
408.08/406.64	c cleaning 10001 clauses out of 20006 with flag 965011/965011
411.98/410.51	c cleaning 10005 clauses out of 20013 with flag 975019/975019
415.78/414.30	c cleaning 9995 clauses out of 19993 with flag 985004/985004
419.49/418.10	c cleaning 9997 clauses out of 19997 with flag 995003/995003
423.49/422.05	c cleaning 10003 clauses out of 20009 with flag 1005012/1005012
427.59/426.10	c cleaning 9997 clauses out of 19997 with flag 1015003/1015003
431.60/430.17	c cleaning 10001 clauses out of 20005 with flag 1025008/1025008
435.40/433.93	c cleaning 10006 clauses out of 20016 with flag 1035020/1035020
439.31/437.82	c cleaning 10007 clauses out of 20017 with flag 1045027/1045027
443.31/441.81	c cleaning 9995 clauses out of 19993 with flag 1055010/1055010
447.61/446.14	c cleaning 10005 clauses out of 20013 with flag 1065025/1065025
451.82/450.34	c cleaning 10003 clauses out of 20010 with flag 1075027/1075027
455.93/454.44	c cleaning 10000 clauses out of 20004 with flag 1085024/1085024
459.82/458.38	c cleaning 9990 clauses out of 19983 with flag 1095003/1095003
464.12/462.69	c cleaning 9995 clauses out of 19994 with flag 1105004/1105004
468.62/467.16	c cleaning 9998 clauses out of 19999 with flag 1115004/1115004
473.12/471.64	c cleaning 10015 clauses out of 20034 with flag 1125037/1125037
477.52/476.08	c cleaning 9990 clauses out of 19984 with flag 1135002/1135002
482.02/480.57	c cleaning 10020 clauses out of 20044 with flag 1145052/1145052
487.84/486.38	c cleaning 10018 clauses out of 20039 with flag 1155067/1155067
493.23/491.75	c cleaning 9982 clauses out of 19968 with flag 1165014/1165014
497.93/496.44	c cleaning 9984 clauses out of 19972 with flag 1175000/1175000
502.53/501.02	c cleaning 10004 clauses out of 20012 with flag 1185024/1185024
506.73/505.27	c cleaning 10007 clauses out of 20017 with flag 1195033/1195033
511.13/509.63	c cleaning 9999 clauses out of 20001 with flag 1205024/1205024
515.24/513.79	c cleaning 10003 clauses out of 20009 with flag 1215031/1215031
519.75/518.29	c cleaning 9992 clauses out of 19987 with flag 1225012/1225012
524.34/522.87	c cleaning 9992 clauses out of 19988 with flag 1235005/1235005
528.74/527.28	c cleaning 10007 clauses out of 20018 with flag 1245027/1245027
533.14/531.68	c cleaning 10011 clauses out of 20026 with flag 1255042/1255042
537.84/536.35	c cleaning 10005 clauses out of 20013 with flag 1265040/1265040
542.54/541.02	c cleaning 10003 clauses out of 20009 with flag 1275041/1275041
547.15/545.67	c cleaning 10010 clauses out of 20023 with flag 1285058/1285058
552.05/550.52	c cleaning 9986 clauses out of 19976 with flag 1295021/1295021
557.06/555.55	c cleaning 9994 clauses out of 19991 with flag 1305022/1305022
561.85/560.36	c cleaning 9987 clauses out of 19978 with flag 1315003/1315003
566.75/565.26	c cleaning 10011 clauses out of 20025 with flag 1325037/1325037
571.26/569.70	c cleaning 9989 clauses out of 19981 with flag 1335004/1335004
574.67/573.15	c cleaning 10002 clauses out of 20007 with flag 1345019/1345019
578.17/576.65	c cleaning 9999 clauses out of 20001 with flag 1355015/1355015
582.07/580.56	c cleaning 10008 clauses out of 20020 with flag 1365033/1365033
585.68/584.18	c cleaning 9999 clauses out of 20001 with flag 1375022/1375022
589.37/587.84	c cleaning 9998 clauses out of 20000 with flag 1385020/1385020
592.88/591.38	c cleaning 9989 clauses out of 19982 with flag 1395000/1395000
596.58/595.06	c cleaning 9995 clauses out of 19994 with flag 1405001/1405001
600.68/599.15	c cleaning 9998 clauses out of 19999 with flag 1415001/1415001
604.59/603.03	c cleaning 10006 clauses out of 20015 with flag 1425015/1425015
608.39/606.82	c cleaning 9996 clauses out of 19996 with flag 1435002/1435002
612.29/610.74	c cleaning 10015 clauses out of 20033 with flag 1445035/1445035
616.61/615.03	c cleaning 10014 clauses out of 20031 with flag 1455048/1455048
621.30/619.75	c cleaning 9988 clauses out of 19980 with flag 1465011/1465011
625.00/623.45	c cleaning 9998 clauses out of 20000 with flag 1475019/1475019
628.80/627.27	c cleaning 9990 clauses out of 19983 with flag 1485000/1485000
632.80/631.28	c cleaning 10021 clauses out of 20045 with flag 1495052/1495052
636.90/635.31	c cleaning 9986 clauses out of 19975 with flag 1505003/1505003
641.00/639.47	c cleaning 10008 clauses out of 20020 with flag 1515034/1515034
645.40/643.84	c cleaning 9989 clauses out of 19981 with flag 1525003/1525003
649.21/647.62	c cleaning 9995 clauses out of 19993 with flag 1535004/1535004
652.93/651.38	c cleaning 10009 clauses out of 20022 with flag 1545028/1545028
656.81/655.28	c cleaning 10000 clauses out of 20003 with flag 1555018/1555018
660.82/659.25	c cleaning 9993 clauses out of 19989 with flag 1565004/1565004
665.42/663.86	c cleaning 10012 clauses out of 20027 with flag 1575035/1575035
670.32/668.76	c cleaning 9998 clauses out of 19999 with flag 1585019/1585019
675.02/673.46	c cleaning 9991 clauses out of 19986 with flag 1595004/1595004
679.62/678.07	c cleaning 9994 clauses out of 19991 with flag 1605000/1605000
685.43/683.81	c cleaning 9997 clauses out of 19997 with flag 1615000/1615000
690.03/688.42	c cleaning 10001 clauses out of 20005 with flag 1625005/1625005
693.83/692.26	c cleaning 10009 clauses out of 20022 with flag 1635023/1635023
698.33/696.80	c cleaning 9994 clauses out of 19991 with flag 1645001/1645001
702.84/701.22	c cleaning 10021 clauses out of 20043 with flag 1655047/1655047
707.14/705.58	c cleaning 9996 clauses out of 19995 with flag 1665020/1665020
711.54/709.90	c cleaning 9998 clauses out of 20000 with flag 1675021/1675021
716.04/714.42	c cleaning 9989 clauses out of 19982 with flag 1685001/1685001
720.74/719.20	c cleaning 10014 clauses out of 20031 with flag 1695039/1695039
725.34/723.76	c cleaning 9995 clauses out of 19994 with flag 1705016/1705016
729.85/728.26	c cleaning 9998 clauses out of 19999 with flag 1715016/1715016
735.64/734.02	c cleaning 10024 clauses out of 20052 with flag 1725067/1725067
741.25/739.63	c cleaning 9998 clauses out of 20000 with flag 1735039/1735039
747.56/745.97	c cleaning 9981 clauses out of 19965 with flag 1745002/1745002
752.75/751.11	c cleaning 9997 clauses out of 19997 with flag 1755015/1755015
757.95/756.37	c cleaning 10007 clauses out of 20018 with flag 1765033/1765033
764.75/763.11	c cleaning 9987 clauses out of 19978 with flag 1775000/1775000
768.48/766.83	c cleaning 9995 clauses out of 19994 with flag 1785003/1785003
772.66/771.08	c cleaning 9997 clauses out of 19997 with flag 1795001/1795001
777.28/775.67	c cleaning 9999 clauses out of 20002 with flag 1805003/1805003
781.58/779.93	c cleaning 10011 clauses out of 20026 with flag 1815026/1815026
785.98/784.32	c cleaning 10012 clauses out of 20028 with flag 1825039/1825039
790.57/788.98	c cleaning 9992 clauses out of 19988 with flag 1835011/1835011
795.27/793.67	c cleaning 9991 clauses out of 19986 with flag 1845001/1845001
799.58/797.99	c cleaning 10000 clauses out of 20004 with flag 1855010/1855010
805.58/803.94	c cleaning 10004 clauses out of 20011 with flag 1865017/1865017
810.68/809.01	c cleaning 10020 clauses out of 20043 with flag 1875053/1875053
815.48/813.86	c cleaning 10017 clauses out of 20037 with flag 1885067/1885067
820.28/818.63	c cleaning 10005 clauses out of 20013 with flag 1895060/1895060
824.89/823.26	c cleaning 9973 clauses out of 19949 with flag 1905001/1905001
829.69/828.01	c cleaning 10010 clauses out of 20023 with flag 1915048/1915048
835.29/833.65	c cleaning 10004 clauses out of 20011 with flag 1925046/1925046
840.09/838.49	c cleaning 10003 clauses out of 20009 with flag 1935048/1935048
845.00/843.36	c cleaning 9977 clauses out of 19958 with flag 1945000/1945000
850.00/848.38	c cleaning 9998 clauses out of 19999 with flag 1955018/1955018
855.10/853.49	c cleaning 10008 clauses out of 20019 with flag 1965036/1965036
860.11/858.45	c cleaning 9986 clauses out of 19976 with flag 1975001/1975001
865.11/863.43	c cleaning 10019 clauses out of 20041 with flag 1985052/1985052
870.31/868.62	c cleaning 9984 clauses out of 19971 with flag 1995001/1995001
874.21/872.56	c cleaning 9995 clauses out of 19993 with flag 2005007/2005007
878.01/876.34	c cleaning 10001 clauses out of 20006 with flag 2015015/2015015
881.72/880.07	c cleaning 9999 clauses out of 19999 with flag 2025009/2025009
885.31/883.69	c cleaning 9996 clauses out of 19995 with flag 2035004/2035004
889.21/887.54	c cleaning 10009 clauses out of 20022 with flag 2045027/2045027
892.92/891.30	c cleaning 10001 clauses out of 20006 with flag 2055020/2055020
896.62/894.95	c cleaning 9991 clauses out of 19985 with flag 2065000/2065000
900.43/898.76	c cleaning 10000 clauses out of 20003 with flag 2075009/2075009
904.22/902.54	c cleaning 9998 clauses out of 20000 with flag 2085006/2085006
907.92/906.23	c cleaning 9998 clauses out of 20000 with flag 2095004/2095004
911.73/910.08	c cleaning 10015 clauses out of 20034 with flag 2105036/2105036
915.74/914.04	c cleaning 10004 clauses out of 20012 with flag 2115029/2115029
920.04/918.33	c cleaning 9994 clauses out of 19992 with flag 2125013/2125013
923.74/922.09	c cleaning 10006 clauses out of 20016 with flag 2135031/2135031
927.75/926.07	c cleaning 9993 clauses out of 19989 with flag 2145010/2145010
932.15/930.45	c cleaning 10004 clauses out of 20012 with flag 2155026/2155026
936.65/934.92	c cleaning 9991 clauses out of 19985 with flag 2165003/2165003
941.16/939.48	c cleaning 10003 clauses out of 20009 with flag 2175018/2175018
945.85/944.12	c cleaning 10010 clauses out of 20024 with flag 2185036/2185036
950.35/948.65	c cleaning 9988 clauses out of 19980 with flag 2195002/2195002
954.15/952.50	c cleaning 10005 clauses out of 20014 with flag 2205024/2205024
958.15/956.43	c cleaning 10003 clauses out of 20009 with flag 2215024/2215024
962.26/960.51	c cleaning 9990 clauses out of 19984 with flag 2225002/2225002
966.66/964.92	c cleaning 10005 clauses out of 20014 with flag 2235022/2235022
971.86/970.11	c cleaning 10001 clauses out of 20006 with flag 2245019/2245019
976.66/974.99	c cleaning 9992 clauses out of 19988 with flag 2255002/2255002
981.46/979.78	c cleaning 10007 clauses out of 20018 with flag 2265024/2265024
986.57/984.81	c cleaning 10005 clauses out of 20013 with flag 2275026/2275026
991.47/989.72	c cleaning 10016 clauses out of 20036 with flag 2285054/2285054
995.97/994.20	c cleaning 9992 clauses out of 19988 with flag 2295022/2295022
999.98/998.25	c cleaning 9986 clauses out of 19975 with flag 2305001/2305001
1004.28/1002.51	c cleaning 9996 clauses out of 19995 with flag 2315007/2315007
1008.68/1006.96	c cleaning 10018 clauses out of 20039 with flag 2325047/2325047
1013.18/1011.48	c cleaning 9991 clauses out of 19986 with flag 2335012/2335012
1017.78/1016.06	c cleaning 9996 clauses out of 19995 with flag 2345012/2345012
1022.49/1020.79	c cleaning 10013 clauses out of 20030 with flag 2355043/2355043
1027.11/1025.34	c cleaning 10004 clauses out of 20012 with flag 2365038/2365038
1031.89/1030.10	c cleaning 9998 clauses out of 19999 with flag 2375029/2375029
1036.70/1034.93	c cleaning 10017 clauses out of 20037 with flag 2385065/2385065
1041.60/1039.85	c cleaning 9987 clauses out of 19977 with flag 2395022/2395022
1046.40/1044.65	c cleaning 10015 clauses out of 20034 with flag 2405066/2405066
1051.32/1049.56	c cleaning 9984 clauses out of 19971 with flag 2415018/2415018
1056.41/1054.69	c cleaning 9996 clauses out of 19995 with flag 2425026/2425026
1061.61/1059.84	c cleaning 10007 clauses out of 20016 with flag 2435043/2435043
1065.91/1064.13	c cleaning 9984 clauses out of 19971 with flag 2445005/2445005
1069.81/1068.02	c cleaning 10003 clauses out of 20009 with flag 2455027/2455027
1073.81/1072.02	c cleaning 9988 clauses out of 19980 with flag 2465001/2465001
1078.02/1076.20	c cleaning 10005 clauses out of 20014 with flag 2475023/2475023
1082.22/1080.45	c cleaning 9993 clauses out of 19989 with flag 2485003/2485003
1086.54/1084.76	c cleaning 9999 clauses out of 20002 with flag 2495009/2495009
1090.83/1089.10	c cleaning 10019 clauses out of 20041 with flag 2505047/2505047
1095.34/1093.56	c cleaning 10014 clauses out of 20031 with flag 2515056/2515056
1099.82/1098.02	c cleaning 10001 clauses out of 20006 with flag 2525045/2525045
1104.33/1102.57	c cleaning 9995 clauses out of 19994 with flag 2535034/2535034
1109.03/1107.29	c cleaning 10004 clauses out of 20012 with flag 2545047/2545047
1113.73/1111.94	c cleaning 9997 clauses out of 19997 with flag 2555036/2555036
1118.46/1116.64	c cleaning 9991 clauses out of 19986 with flag 2565022/2565022
1123.24/1121.45	c cleaning 10008 clauses out of 20020 with flag 2575047/2575047
1128.15/1126.30	c cleaning 9981 clauses out of 19966 with flag 2585001/2585001
1133.05/1131.20	c cleaning 10023 clauses out of 20049 with flag 2595065/2595065
1137.85/1136.08	c cleaning 9996 clauses out of 19996 with flag 2605035/2605035
1142.85/1141.02	c cleaning 9981 clauses out of 19966 with flag 2615001/2615001
1147.75/1145.94	c cleaning 10010 clauses out of 20024 with flag 2625040/2625040
1152.86/1151.03	c cleaning 9993 clauses out of 19989 with flag 2635015/2635015
1157.96/1156.13	c cleaning 10018 clauses out of 20039 with flag 2645058/2645058
1162.96/1161.12	c cleaning 9992 clauses out of 19987 with flag 2655024/2655024
1167.76/1165.94	c cleaning 9998 clauses out of 19999 with flag 2665028/2665028
1172.27/1170.51	c cleaning 9998 clauses out of 20000 with flag 2675027/2675027
1177.07/1175.24	c cleaning 10003 clauses out of 20009 with flag 2685034/2685034
1181.77/1179.92	c cleaning 9996 clauses out of 19996 with flag 2695024/2695024
1186.47/1184.63	c cleaning 9994 clauses out of 19992 with flag 2705016/2705016
1191.28/1189.41	c cleaning 9990 clauses out of 19984 with flag 2715002/2715002
1196.08/1194.29	c cleaning 10018 clauses out of 20039 with flag 2725047/2725047
1201.00/1199.13	c cleaning 9986 clauses out of 19975 with flag 2735001/2735001
1205.88/1204.04	c cleaning 10021 clauses out of 20046 with flag 2745058/2745058
1210.79/1208.97	c cleaning 10003 clauses out of 20009 with flag 2755042/2755042
1215.88/1214.03	c cleaning 9997 clauses out of 19997 with flag 2765033/2765033
1220.89/1219.05	c cleaning 9998 clauses out of 20000 with flag 2775033/2775033
1226.39/1224.51	c cleaning 9997 clauses out of 19997 with flag 2785028/2785028
1232.39/1230.54	c cleaning 9988 clauses out of 19979 with flag 2795007/2795007
1238.09/1236.28	c cleaning 10005 clauses out of 20013 with flag 2805029/2805029
1244.39/1242.58	c cleaning 9988 clauses out of 19980 with flag 2815001/2815001
1250.51/1248.62	c cleaning 9994 clauses out of 19992 with flag 2825001/2825001
1257.50/1255.63	c cleaning 9998 clauses out of 19999 with flag 2835002/2835002
1265.10/1263.20	c cleaning 10023 clauses out of 20050 with flag 2845051/2845051
1270.50/1268.67	c cleaning 9991 clauses out of 19985 with flag 2855009/2855009
1277.40/1275.57	c cleaning 10008 clauses out of 20020 with flag 2865035/2865035
1284.40/1282.53	c cleaning 10010 clauses out of 20024 with flag 2875047/2875047
1291.31/1289.48	c cleaning 9986 clauses out of 19975 with flag 2885008/2885008
1298.61/1296.78	c cleaning 10013 clauses out of 20030 with flag 2895049/2895049
1304.81/1302.95	c cleaning 9998 clauses out of 20000 with flag 2905032/2905032
1310.41/1308.56	c cleaning 10001 clauses out of 20006 with flag 2915036/2915036
1315.92/1314.05	c cleaning 9987 clauses out of 19978 with flag 2925009/2925009
1323.42/1321.56	c cleaning 10001 clauses out of 20006 with flag 2935024/2935024
1328.92/1327.03	c cleaning 9991 clauses out of 19986 with flag 2945005/2945005
1334.72/1332.82	c cleaning 10022 clauses out of 20048 with flag 2955058/2955058
1341.23/1339.32	c cleaning 10005 clauses out of 20014 with flag 2965046/2965046
1347.93/1346.07	c cleaning 10024 clauses out of 20052 with flag 2975089/2975089
1354.23/1352.30	c cleaning 9996 clauses out of 19996 with flag 2985057/2985057
1359.54/1357.66	c cleaning 9977 clauses out of 19958 with flag 2995015/2995015
1364.95/1363.04	c cleaning 9999 clauses out of 20002 with flag 3005036/3005036
1369.25/1367.40	c cleaning 9994 clauses out of 19992 with flag 3015025/3015025
1372.96/1371.04	c cleaning 9985 clauses out of 19974 with flag 3025001/3025001
1376.56/1374.66	c cleaning 10002 clauses out of 20008 with flag 3035020/3035020
1380.86/1378.99	c cleaning 9991 clauses out of 19986 with flag 3045000/3045000
1384.67/1382.74	c cleaning 9999 clauses out of 20001 with flag 3055006/3055006
1388.37/1386.42	c cleaning 9997 clauses out of 19997 with flag 3065001/3065001
1392.57/1390.60	c cleaning 10003 clauses out of 20010 with flag 3075011/3075011
1396.57/1394.65	c cleaning 9997 clauses out of 19997 with flag 3085001/3085001
1400.88/1398.93	c cleaning 10001 clauses out of 20006 with flag 3095007/3095007
1405.18/1403.21	c cleaning 10003 clauses out of 20010 with flag 3105012/3105012
1409.78/1407.86	c cleaning 10004 clauses out of 20011 with flag 3115016/3115016
1414.39/1412.48	c cleaning 10000 clauses out of 20004 with flag 3125013/3125013
1418.09/1416.17	c cleaning 10003 clauses out of 20010 with flag 3135019/3135019
1422.10/1420.18	c cleaning 10006 clauses out of 20014 with flag 3145026/3145026
1426.39/1424.48	c cleaning 9999 clauses out of 20001 with flag 3155019/3155019
1430.59/1428.60	c cleaning 10009 clauses out of 20022 with flag 3165039/3165039
1434.99/1433.01	c cleaning 9987 clauses out of 19977 with flag 3175003/3175003
1439.39/1437.43	c cleaning 9992 clauses out of 19988 with flag 3185001/3185001
1443.70/1441.73	c cleaning 10002 clauses out of 20008 with flag 3195013/3195013
1447.41/1445.47	c cleaning 10002 clauses out of 20007 with flag 3205014/3205014
1451.50/1449.54	c cleaning 10000 clauses out of 20004 with flag 3215013/3215013
1455.80/1453.88	c cleaning 9994 clauses out of 19992 with flag 3225001/3225001
1460.10/1458.19	c cleaning 10000 clauses out of 20003 with flag 3235006/3235006
1464.50/1462.57	c cleaning 10017 clauses out of 20038 with flag 3245041/3245041
1469.00/1467.02	c cleaning 9994 clauses out of 19991 with flag 3255011/3255011
1473.81/1471.84	c cleaning 10011 clauses out of 20025 with flag 3265039/3265039
1478.70/1476.71	c cleaning 10007 clauses out of 20017 with flag 3275042/3275042
1483.61/1481.65	c cleaning 10001 clauses out of 20005 with flag 3285037/3285037
1487.72/1485.75	c cleaning 9982 clauses out of 19968 with flag 3295001/3295001
1491.82/1489.83	c cleaning 10008 clauses out of 20020 with flag 3305035/3305035
1496.03/1494.08	c cleaning 10011 clauses out of 20025 with flag 3315048/3315048
1500.53/1498.55	c cleaning 10004 clauses out of 20011 with flag 3325045/3325045
1505.13/1503.13	c cleaning 9985 clauses out of 19974 with flag 3335012/3335012
1509.43/1507.46	c cleaning 10003 clauses out of 20010 with flag 3345033/3345033
1513.94/1511.93	c cleaning 10013 clauses out of 20030 with flag 3355056/3355056
1518.34/1516.34	c cleaning 10010 clauses out of 20024 with flag 3365063/3365063
1522.94/1520.98	c cleaning 9997 clauses out of 19997 with flag 3375046/3375046
1527.75/1525.72	c cleaning 9977 clauses out of 19957 with flag 3385003/3385003
1532.55/1530.58	c cleaning 10000 clauses out of 20003 with flag 3395026/3395026
1537.35/1535.39	c cleaning 9996 clauses out of 19995 with flag 3405018/3405018
1542.45/1540.49	c cleaning 9991 clauses out of 19985 with flag 3415004/3415004
1547.46/1545.47	c cleaning 10025 clauses out of 20053 with flag 3425063/3425063
1552.56/1550.56	c cleaning 9982 clauses out of 19967 with flag 3435002/3435002
1556.48/1554.48	c cleaning 9998 clauses out of 20000 with flag 3445017/3445017
1560.47/1558.42	c cleaning 9991 clauses out of 19986 with flag 3455001/3455001
1564.57/1562.53	c cleaning 9999 clauses out of 20001 with flag 3465007/3465007
1568.67/1566.69	c cleaning 10003 clauses out of 20009 with flag 3475014/3475014
1572.99/1570.92	c cleaning 10000 clauses out of 20004 with flag 3485012/3485012
1577.67/1575.67	c cleaning 10004 clauses out of 20012 with flag 3495020/3495020
1582.07/1580.05	c cleaning 9992 clauses out of 19988 with flag 3505000/3505000
1587.48/1585.47	c cleaning 10021 clauses out of 20046 with flag 3515050/3515050
1592.18/1590.11	c cleaning 9993 clauses out of 19990 with flag 3525015/3525015
1597.28/1595.23	c cleaning 9998 clauses out of 20000 with flag 3535018/3535018
1602.48/1600.46	c cleaning 9990 clauses out of 19984 with flag 3545000/3545000
1607.28/1605.26	c cleaning 10013 clauses out of 20029 with flag 3555035/3555035
1612.89/1610.85	c cleaning 9998 clauses out of 20000 with flag 3565019/3565019
1618.19/1616.15	c cleaning 10003 clauses out of 20009 with flag 3575026/3575026
1624.99/1622.90	c cleaning 10006 clauses out of 20016 with flag 3585036/3585036
1631.09/1629.09	c cleaning 10012 clauses out of 20028 with flag 3595054/3595054
1636.90/1634.81	c cleaning 9991 clauses out of 19986 with flag 3605024/3605024
1643.00/1640.90	c cleaning 9988 clauses out of 19980 with flag 3615009/3615009
1648.70/1646.61	c cleaning 10000 clauses out of 20004 with flag 3625021/3625021
1654.51/1652.42	c cleaning 10010 clauses out of 20023 with flag 3635040/3635040
1660.11/1658.08	c cleaning 10013 clauses out of 20029 with flag 3645056/3645056
1665.81/1663.75	c cleaning 9980 clauses out of 19963 with flag 3655003/3655003
1669.42/1667.40	c cleaning 9997 clauses out of 19997 with flag 3665017/3665017
1673.22/1671.13	c cleaning 9991 clauses out of 19986 with flag 3675003/3675003
1677.44/1675.39	c cleaning 9998 clauses out of 20000 with flag 3685008/3685008
1681.95/1679.85	c cleaning 10004 clauses out of 20011 with flag 3695017/3695017
1686.24/1684.17	c cleaning 10002 clauses out of 20008 with flag 3705018/3705018
1690.64/1688.60	c cleaning 9997 clauses out of 19998 with flag 3715010/3715010
1695.43/1693.32	c cleaning 10016 clauses out of 20035 with flag 3725044/3725044
1700.33/1698.25	c cleaning 9989 clauses out of 19982 with flag 3735007/3735007
1705.44/1703.35	c cleaning 9998 clauses out of 20000 with flag 3745014/3745014
1710.94/1708.89	c cleaning 10028 clauses out of 20060 with flag 3755072/3755072
1716.44/1714.34	c cleaning 9982 clauses out of 19967 with flag 3765007/3765007
1721.34/1719.20	c cleaning 9999 clauses out of 20002 with flag 3775024/3775024
1726.04/1723.91	c cleaning 10018 clauses out of 20039 with flag 3785060/3785060
1731.75/1729.68	c cleaning 10003 clauses out of 20009 with flag 3795048/3795048
1736.65/1734.59	c cleaning 9978 clauses out of 19959 with flag 3805001/3805001
1743.15/1741.03	c cleaning 9988 clauses out of 19980 with flag 3815000/3815000
1748.15/1746.05	c cleaning 9994 clauses out of 19992 with flag 3825000/3825000
1753.76/1751.65	c cleaning 10034 clauses out of 20072 with flag 3835074/3835074
1759.16/1757.08	c cleaning 10014 clauses out of 20032 with flag 3845068/3845068
1764.16/1762.03	c cleaning 9974 clauses out of 19951 with flag 3855001/3855001
1770.56/1768.40	c cleaning 9999 clauses out of 20001 with flag 3865025/3865025
1776.86/1774.73	c cleaning 9996 clauses out of 19996 with flag 3875019/3875019
1781.87/1779.78	c cleaning 10024 clauses out of 20052 with flag 3885071/3885071
1786.97/1784.88	c cleaning 9989 clauses out of 19981 with flag 3895024/3895024
1792.57/1790.49	c cleaning 9998 clauses out of 19999 with flag 3905031/3905031
1797.88/1795.74	c cleaning 10009 clauses out of 20022 with flag 3915052/3915052
1800.09/1797.92	c starts		: 252
1800.09/1797.92	c conflicts		: 3918992
1800.09/1797.92	c decisions		: 8121968
1800.09/1797.92	c propagations		: 106990948
1800.09/1797.92	c inspects		: 3404350024
1800.09/1797.92	c shortcuts		: 0
1800.09/1797.92	c learnt literals	: 0
1800.09/1797.92	c learnt binary clauses	: 0
1800.09/1797.92	c learnt ternary clauses	: 0
1800.09/1797.92	c learnt constraints	: 3918991
1800.09/1797.92	c ignored constraints	: 0
1800.09/1797.92	c root simplifications	: 0
1800.09/1797.92	c removed literals (reason simplification)	: 21105616
1800.09/1797.92	c reason swapping (by a shorter reason)	: 0
1800.09/1797.92	c Calls to reduceDB	: 393
1800.09/1797.92	c number of reductions to clauses (during analyze)	: 0
1800.09/1797.92	c number of learned constraints concerned by reduction	: 0
1800.09/1797.92	c number of learning phase by resolution	: 0
1800.09/1797.92	c number of learning phase by cutting planes	: 0
1800.09/1797.92	c speed (assignments/second)	: 59520.23080226708
1800.09/1797.92	c non guided choices	2680
1800.09/1797.93	c learnt constraints type 
1800.09/1797.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13966
1800.09/1797.93	c constraints type 
1800.09/1797.93	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2492
1800.09/1797.93	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.09/1797.93	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.09/1797.93	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2492
1800.09/1797.93	s UNKNOWN
1800.09/1797.93	c Total wall clock time (in seconds): 1797.82

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458006-1307164562/watcher-3458006-1307164562 -o /tmp/evaluation-result-3458006-1307164562/solver-3458006-1307164562 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458006-1307164562.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.12 1.58 1.82 2/476 15062
/proc/meminfo: memFree=26163148/32951124 swapFree=60688864/67111528
[pid=15062] ppid=15060 vsize=36924 CPUtime=0 cores=1,3,5,7
/proc/15062/stat : 15062 (java) S 15060 15062 14960 0 -1 4202496 1370 0 1 0 0 0 0 0 25 0 2 0 828054341 37810176 1073 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15062/statm: 9231 1073 833 9 0 387 0
[pid=15062/tid=15063] ppid=15060 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15063/stat : 15063 (java) R 15060 15062 14960 0 -1 4202560 6065 0 1 0 0 0 0 0 25 0 2 0 828054341 13850947584 6881 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0369151 s]
/proc/loadavg: 1.12 1.58 1.82 2/476 15062
/proc/meminfo: memFree=26163148/32951124 swapFree=60688864/67111528
[pid=15062] ppid=15060 vsize=13547424 CPUtime=0.02 cores=1,3,5,7
/proc/15062/stat : 15062 (java) S 15060 15062 14960 0 -1 4202496 13476 0 1 0 1 1 0 0 25 0 11 0 828054341 13872562176 13175 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15062/statm: 3386856 13176 1604 9 0 3377604 0
[pid=15062/tid=15063] ppid=15060 vsize=13547424 CPUtime=0.02 cores=1,3,5,7
/proc/15062/task/15063/stat : 15063 (java) R 15060 15062 14960 0 -1 4202560 12354 0 1 0 1 1 0 0 25 0 11 0 828054341 13872562176 13177 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 47334826595864 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13547424

[startup+0.100904 s]
/proc/loadavg: 1.12 1.58 1.82 2/476 15062
/proc/meminfo: memFree=26163148/32951124 swapFree=60688864/67111528
[pid=15062] ppid=15060 vsize=13621872 CPUtime=0.1 cores=1,3,5,7
/proc/15062/stat : 15062 (java) S 15060 15062 14960 0 -1 4202496 15574 0 1 0 8 2 0 0 25 0 18 0 828054341 13948796928 15239 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15062/statm: 3405468 15239 2093 9 0 3396202 0
[pid=15062/tid=15063] ppid=15060 vsize=13621872 CPUtime=0.09 cores=1,3,5,7
/proc/15062/task/15063/stat : 15063 (java) R 15060 15062 14960 0 -1 4202560 13638 0 1 0 7 2 0 0 18 0 18 0 828054341 13948796928 15239 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 47334824393637 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621872

[startup+0.311795 s]
/proc/loadavg: 1.12 1.58 1.82 2/476 15062
/proc/meminfo: memFree=26163148/32951124 swapFree=60688864/67111528
[pid=15062] ppid=15060 vsize=13624124 CPUtime=0.5 cores=1,3,5,7
/proc/15062/stat : 15062 (java) S 15060 15062 14960 0 -1 4202496 19479 0 1 0 48 2 0 0 25 0 18 0 828054341 13951102976 18872 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15062/statm: 3406031 18873 2221 9 0 3396765 0
[pid=15062/tid=15063] ppid=15060 vsize=13624124 CPUtime=0.3 cores=1,3,5,7
/proc/15062/task/15063/stat : 15063 (java) R 15060 15062 14960 0 -1 4202560 16013 0 1 0 28 2 0 0 18 0 18 0 828054341 13951102976 18874 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 46912505365719 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13624124

[startup+0.705831 s]
/proc/loadavg: 1.12 1.58 1.82 2/476 15062
/proc/meminfo: memFree=26163148/32951124 swapFree=60688864/67111528
[pid=15062] ppid=15060 vsize=13634928 CPUtime=1.47 cores=1,3,5,7
/proc/15062/stat : 15062 (java) S 15060 15062 14960 0 -1 4202496 28796 0 1 0 143 4 0 0 25 0 19 0 828054341 13962166272 25681 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15062/statm: 3408732 25681 2234 9 0 3399466 0
[pid=15062/tid=15063] ppid=15060 vsize=13634928 CPUtime=0.69 cores=1,3,5,7
/proc/15062/task/15063/stat : 15063 (java) R 15060 15062 14960 0 -1 4202560 18002 0 1 0 67 2 0 0 19 0 19 0 828054341 13962166272 25681 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 46912505122136 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13634928

[startup+1.50065 s]
/proc/loadavg: 1.12 1.58 1.82 3/495 15081
/proc/meminfo: memFree=26061884/32951124 swapFree=60688864/67111528
[pid=15062] ppid=15060 vsize=13634928 CPUtime=2.34 cores=1,3,5,7
/proc/15062/stat : 15062 (java) S 15060 15062 14960 0 -1 4202496 30144 0 1 0 230 4 0 0 25 0 19 0 828054341 13962166272 26810 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15062/statm: 3408732 26810 2241 9 0 3399466 0
[pid=15062/tid=15063] ppid=15060 vsize=13634928 CPUtime=1.48 cores=1,3,5,7
/proc/15062/task/15063/stat : 15063 (java) R 15060 15062 14960 0 -1 4202560 19110 0 1 0 146 2 0 0 20 0 19 0 828054341 13962166272 26810 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 46912505679920 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15062/tid=15065] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15065/stat : 15065 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054343 13962166272 26810 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15066] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15066/stat : 15066 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054343 13962166272 26810 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15067] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15067/stat : 15067 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054343 13962166272 26810 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15068] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15068/stat : 15068 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054343 13962166272 26810 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15069] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15069/stat : 15069 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054343 13962166272 26810 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15070] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15070/stat : 15070 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054343 13962166272 26810 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15071] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15071/stat : 15071 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054343 13962166272 26810 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15072] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15072/stat : 15072 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054343 13962166272 26810 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15073] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15073/stat : 15073 (java) S 15060 15062 14960 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 828054344 13962166272 26810 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708928 0 0 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15074] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15074/stat : 15074 (java) S 15060 15062 14960 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828054345 13962166272 26810 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15075] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15075/stat : 15075 (java) S 15060 15062 14960 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828054345 13962166272 26810 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15076] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15076/stat : 15076 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054347 13962166272 26810 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347716017 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15077] ppid=15060 vsize=13634928 CPUtime=0.42 cores=1,3,5,7
/proc/15062/task/15077/stat : 15077 (java) S 15060 15062 14960 0 -1 4202560 4653 0 0 0 42 0 0 0 16 0 19 0 828054347 13962166272 26810 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15078] ppid=15060 vsize=13634928 CPUtime=0.41 cores=1,3,5,7
/proc/15062/task/15078/stat : 15078 (java) S 15060 15062 14960 0 -1 4202560 5221 0 0 0 41 0 0 0 16 0 19 0 828054347 13962166272 26810 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15079] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15079/stat : 15079 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054347 13962166272 26810 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15080] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15080/stat : 15080 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828054347 13962166272 26810 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708928 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15081] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15081/stat : 15081 (java) S 15060 15062 14960 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828054379 13962166272 26810 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708928 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 13634928

[startup+3.10132 s]
/proc/loadavg: 1.12 1.58 1.82 3/495 15082
/proc/meminfo: memFree=26052972/32951124 swapFree=60688864/67111528
[pid=15062] ppid=15060 vsize=13634928 CPUtime=3.99 cores=1,3,5,7
/proc/15062/stat : 15062 (java) S 15060 15062 14960 0 -1 4202496 34509 0 1 0 394 5 0 0 25 0 19 0 828054341 13962166272 31166 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15062/statm: 3408732 31166 2267 9 0 3399466 0
[pid=15062/tid=15063] ppid=15060 vsize=13634928 CPUtime=3.05 cores=1,3,5,7
/proc/15062/task/15063/stat : 15063 (java) R 15060 15062 14960 0 -1 4202560 20118 0 1 0 303 2 0 0 25 0 19 0 828054341 13962166272 31166 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 46912505821621 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15062/tid=15065] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15065/stat : 15065 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828054343 13962166272 31166 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15066] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15066/stat : 15066 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828054343 13962166272 31166 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15067] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15067/stat : 15067 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828054343 13962166272 31166 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15068] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15068/stat : 15068 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828054343 13962166272 31166 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15069] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15069/stat : 15069 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828054343 13962166272 31166 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15070] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15070/stat : 15070 (java) S 15060 15062 14960 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 19 0 828054343 13962166272 31166 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15071] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15071/stat : 15071 (java) S 15060 15062 14960 0 -1 4202560 863 0 0 0 0 0 0 0 18 0 19 0 828054343 13962166272 31166 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15072] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15072/stat : 15072 (java) S 15060 15062 14960 0 -1 4202560 790 0 0 0 0 0 0 0 18 0 19 0 828054343 13962166272 31166 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15073] ppid=15060 vsize=13634928 CPUtime=0.01 cores=1,3,5,7
/proc/15062/task/15073/stat : 15073 (java) S 15060 15062 14960 0 -1 4202560 1658 0 0 0 1 0 0 0 16 0 19 0 828054344 13962166272 31166 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708928 0 0 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15074] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15074/stat : 15074 (java) S 15060 15062 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828054345 13962166272 31166 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15075] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15075/stat : 15075 (java) S 15060 15062 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828054345 13962166272 31166 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15076] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15076/stat : 15076 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054347 13962166272 31166 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347716017 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15077] ppid=15060 vsize=13634928 CPUtime=0.45 cores=1,3,5,7
/proc/15062/task/15077/stat : 15077 (java) S 15060 15062 14960 0 -1 4202560 4658 0 0 0 45 0 0 0 15 0 19 0 828054347 13962166272 31166 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15078] ppid=15060 vsize=13634928 CPUtime=0.42 cores=1,3,5,7
/proc/15062/task/15078/stat : 15078 (java) S 15060 15062 14960 0 -1 4202560 5224 0 0 0 42 0 0 0 15 0 19 0 828054347 13962166272 31166 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15079] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15079/stat : 15079 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054347 13962166272 31166 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15080] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15080/stat : 15080 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828054347 13962166272 31166 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708928 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15081] ppid=15060 vsize=13634928 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15081/stat : 15081 (java) S 15060 15062 14960 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828054379 13962166272 31166 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708928 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 13634928

[startup+6.3008 s]
/proc/loadavg: 1.19 1.59 1.83 3/495 15082
/proc/meminfo: memFree=26005244/32951124 swapFree=60688864/67111528
[pid=15062] ppid=15060 vsize=13632888 CPUtime=7.22 cores=1,3,5,7
/proc/15062/stat : 15062 (java) S 15060 15062 14960 0 -1 4202496 38100 0 1 0 717 5 0 0 25 0 19 0 828054341 13960077312 33684 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15062/statm: 3408222 33684 2267 9 0 3398956 0
[pid=15062/tid=15063] ppid=15060 vsize=13632888 CPUtime=6.22 cores=1,3,5,7
/proc/15062/task/15063/stat : 15063 (java) R 15060 15062 14960 0 -1 4202560 20122 0 1 0 620 2 0 0 25 0 19 0 828054341 13960077312 33684 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 46912505679920 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15062/tid=15065] ppid=15060 vsize=13632888 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15065/stat : 15065 (java) S 15060 15062 14960 0 -1 4202560 1231 0 0 0 0 0 0 0 16 0 19 0 828054343 13960077312 33684 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15066] ppid=15060 vsize=13632888 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15066/stat : 15066 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828054343 13960077312 33684 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15067] ppid=15060 vsize=13632888 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15067/stat : 15067 (java) S 15060 15062 14960 0 -1 4202560 865 0 0 0 0 0 0 0 16 0 19 0 828054343 13960077312 33684 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15068] ppid=15060 vsize=13632888 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15068/stat : 15068 (java) S 15060 15062 14960 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 828054343 13960077312 33684 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15069] ppid=15060 vsize=13632888 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15069/stat : 15069 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828054343 13960077312 33684 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15070] ppid=15060 vsize=13632888 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15070/stat : 15070 (java) S 15060 15062 14960 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 19 0 828054343 13960077312 33684 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15071] ppid=15060 vsize=13632888 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15071/stat : 15071 (java) S 15060 15062 14960 0 -1 4202560 863 0 0 0 0 0 0 0 18 0 19 0 828054343 13960077312 33684 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15072] ppid=15060 vsize=13632888 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15072/stat : 15072 (java) S 15060 15062 14960 0 -1 4202560 790 0 0 0 0 0 0 0 18 0 19 0 828054343 13960077312 33684 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15073] ppid=15060 vsize=13632888 CPUtime=0.04 cores=1,3,5,7
/proc/15062/task/15073/stat : 15073 (java) S 15060 15062 14960 0 -1 4202560 3127 0 0 0 4 0 0 0 16 0 19 0 828054344 13960077312 33684 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708928 0 0 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15074] ppid=15060 vsize=13632888 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15074/stat : 15074 (java) S 15060 15062 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828054345 13960077312 33684 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15075] ppid=15060 vsize=13632888 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15075/stat : 15075 (java) S 15060 15062 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828054345 13960077312 33684 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15076] ppid=15060 vsize=13632888 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15076/stat : 15076 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054347 13960077312 33684 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347716017 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15077] ppid=15060 vsize=13632888 CPUtime=0.46 cores=1,3,5,7
/proc/15062/task/15077/stat : 15077 (java) S 15060 15062 14960 0 -1 4202560 4661 0 0 0 46 0 0 0 15 0 19 0 828054347 13960077312 33684 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15078] ppid=15060 vsize=13632888 CPUtime=0.44 cores=1,3,5,7
/proc/15062/task/15078/stat : 15078 (java) S 15060 15062 14960 0 -1 4202560 5228 0 0 0 44 0 0 0 15 0 19 0 828054347 13960077312 33684 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0

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

[pid=15062/tid=15070] ppid=15060 vsize=13630832 CPUtime=0.23 cores=1,3,5,7
/proc/15062/task/15070/stat : 15070 (java) S 15060 15062 14960 0 -1 4202560 414 0 0 0 23 0 0 0 15 0 19 0 828054343 13957971968 39669 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 1 0 0 0
[pid=15062/tid=15071] ppid=15060 vsize=13630832 CPUtime=0.2 cores=1,3,5,7
/proc/15062/task/15071/stat : 15071 (java) S 15060 15062 14960 0 -1 4202560 1843 0 0 0 20 0 0 0 15 0 19 0 828054343 13957971968 39669 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15072] ppid=15060 vsize=13630832 CPUtime=0.23 cores=1,3,5,7
/proc/15062/task/15072/stat : 15072 (java) S 15060 15062 14960 0 -1 4202560 1488 0 0 0 23 0 0 0 15 0 19 0 828054343 13957971968 39669 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15073] ppid=15060 vsize=13630832 CPUtime=9.98 cores=1,3,5,7
/proc/15062/task/15073/stat : 15073 (java) S 15060 15062 14960 0 -1 4202560 5780 0 0 0 993 5 0 0 15 0 19 0 828054344 13957971968 39669 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708928 0 0 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15074] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15074/stat : 15074 (java) S 15060 15062 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828054345 13957971968 39669 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15075] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15075/stat : 15075 (java) S 15060 15062 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828054345 13957971968 39669 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15076] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15076/stat : 15076 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054347 13957971968 39669 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347716017 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15077] ppid=15060 vsize=13630832 CPUtime=0.58 cores=1,3,5,7
/proc/15062/task/15077/stat : 15077 (java) S 15060 15062 14960 0 -1 4202560 4701 0 0 0 58 0 0 0 15 0 19 0 828054347 13957971968 39669 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15078] ppid=15060 vsize=13630832 CPUtime=0.44 cores=1,3,5,7
/proc/15062/task/15078/stat : 15078 (java) S 15060 15062 14960 0 -1 4202560 5228 0 0 0 44 0 0 0 15 0 19 0 828054347 13957971968 39669 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15079] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15079/stat : 15079 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054347 13957971968 39669 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15080] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15080/stat : 15080 (java) S 15060 15062 14960 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 828054347 13957971968 39669 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708928 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15081] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15081/stat : 15081 (java) S 15060 15062 14960 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828054379 13957971968 39669 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708928 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1664.41
Current children cumulated vsize (KiB) 13630832

[startup+1722.3 s]
/proc/loadavg: 2.04 2.06 1.99 3/495 15127
/proc/meminfo: memFree=25760860/32951124 swapFree=60688864/67111528
[pid=15062] ppid=15060 vsize=13630832 CPUtime=1724.44 cores=1,3,5,7
/proc/15062/stat : 15062 (java) S 15060 15062 14960 0 -1 4202496 45178 0 1 0 172428 16 0 0 25 0 19 0 828054341 13957971968 39673 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15062/statm: 3407708 39673 2268 9 0 3398442 0
[pid=15062/tid=15063] ppid=15060 vsize=13630832 CPUtime=1711.16 cores=1,3,5,7
/proc/15062/task/15063/stat : 15063 (java) R 15060 15062 14960 0 -1 4202560 20499 0 1 0 171113 3 0 0 25 0 19 0 828054341 13957971968 39673 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 46912505775888 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15062/tid=15065] ppid=15060 vsize=13630832 CPUtime=0.24 cores=1,3,5,7
/proc/15062/task/15065/stat : 15065 (java) S 15060 15062 14960 0 -1 4202560 1755 0 0 0 24 0 0 0 15 0 19 0 828054343 13957971968 39673 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15066] ppid=15060 vsize=13630832 CPUtime=0.21 cores=1,3,5,7
/proc/15062/task/15066/stat : 15066 (java) S 15060 15062 14960 0 -1 4202560 421 0 0 0 21 0 0 0 15 0 19 0 828054343 13957971968 39673 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15067] ppid=15060 vsize=13630832 CPUtime=0.23 cores=1,3,5,7
/proc/15062/task/15067/stat : 15067 (java) S 15060 15062 14960 0 -1 4202560 1507 0 0 0 23 0 0 0 15 0 19 0 828054343 13957971968 39673 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15068] ppid=15060 vsize=13630832 CPUtime=0.22 cores=1,3,5,7
/proc/15062/task/15068/stat : 15068 (java) S 15060 15062 14960 0 -1 4202560 239 0 0 0 22 0 0 0 15 0 19 0 828054343 13957971968 39673 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15069] ppid=15060 vsize=13630832 CPUtime=0.23 cores=1,3,5,7
/proc/15062/task/15069/stat : 15069 (java) S 15060 15062 14960 0 -1 4202560 50 0 0 0 23 0 0 0 15 0 19 0 828054343 13957971968 39673 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 1 0 0 0
[pid=15062/tid=15070] ppid=15060 vsize=13630832 CPUtime=0.23 cores=1,3,5,7
/proc/15062/task/15070/stat : 15070 (java) S 15060 15062 14960 0 -1 4202560 414 0 0 0 23 0 0 0 15 0 19 0 828054343 13957971968 39673 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15071] ppid=15060 vsize=13630832 CPUtime=0.2 cores=1,3,5,7
/proc/15062/task/15071/stat : 15071 (java) S 15060 15062 14960 0 -1 4202560 1844 0 0 0 20 0 0 0 16 0 19 0 828054343 13957971968 39673 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 1 0 0 0
[pid=15062/tid=15072] ppid=15060 vsize=13630832 CPUtime=0.23 cores=1,3,5,7
/proc/15062/task/15072/stat : 15072 (java) S 15060 15062 14960 0 -1 4202560 1488 0 0 0 23 0 0 0 15 0 19 0 828054343 13957971968 39673 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15073] ppid=15060 vsize=13630832 CPUtime=10.35 cores=1,3,5,7
/proc/15062/task/15073/stat : 15073 (java) S 15060 15062 14960 0 -1 4202560 5782 0 0 0 1029 6 0 0 15 0 19 0 828054344 13957971968 39673 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708928 0 0 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15074] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15074/stat : 15074 (java) S 15060 15062 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828054345 13957971968 39673 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15075] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15075/stat : 15075 (java) S 15060 15062 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828054345 13957971968 39673 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15076] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15076/stat : 15076 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054347 13957971968 39673 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347716017 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15077] ppid=15060 vsize=13630832 CPUtime=0.58 cores=1,3,5,7
/proc/15062/task/15077/stat : 15077 (java) S 15060 15062 14960 0 -1 4202560 4701 0 0 0 58 0 0 0 15 0 19 0 828054347 13957971968 39673 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15078] ppid=15060 vsize=13630832 CPUtime=0.44 cores=1,3,5,7
/proc/15062/task/15078/stat : 15078 (java) S 15060 15062 14960 0 -1 4202560 5228 0 0 0 44 0 0 0 15 0 19 0 828054347 13957971968 39673 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15079] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15079/stat : 15079 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054347 13957971968 39673 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15080] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15080/stat : 15080 (java) S 15060 15062 14960 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 828054347 13957971968 39673 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708928 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15081] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15081/stat : 15081 (java) S 15060 15062 14960 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828054379 13957971968 39673 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708928 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1724.44
Current children cumulated vsize (KiB) 13630832

[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 1.99 3/495 15129
/proc/meminfo: memFree=25760092/32951124 swapFree=60688864/67111528
[pid=15062] ppid=15060 vsize=13630832 CPUtime=1784.47 cores=1,3,5,7
/proc/15062/stat : 15062 (java) S 15060 15062 14960 0 -1 4202496 45197 0 1 0 178431 16 0 0 25 0 19 0 828054341 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15062/statm: 3407708 39675 2268 9 0 3398442 0
[pid=15062/tid=15063] ppid=15060 vsize=13630832 CPUtime=1770.85 cores=1,3,5,7
/proc/15062/task/15063/stat : 15063 (java) R 15060 15062 14960 0 -1 4202560 20510 0 1 0 177082 3 0 0 25 0 19 0 828054341 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 46912505822268 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15062/tid=15065] ppid=15060 vsize=13630832 CPUtime=0.24 cores=1,3,5,7
/proc/15062/task/15065/stat : 15065 (java) S 15060 15062 14960 0 -1 4202560 1755 0 0 0 24 0 0 0 15 0 19 0 828054343 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15066] ppid=15060 vsize=13630832 CPUtime=0.21 cores=1,3,5,7
/proc/15062/task/15066/stat : 15066 (java) S 15060 15062 14960 0 -1 4202560 421 0 0 0 21 0 0 0 15 0 19 0 828054343 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15067] ppid=15060 vsize=13630832 CPUtime=0.23 cores=1,3,5,7
/proc/15062/task/15067/stat : 15067 (java) S 15060 15062 14960 0 -1 4202560 1507 0 0 0 23 0 0 0 16 0 19 0 828054343 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15068] ppid=15060 vsize=13630832 CPUtime=0.23 cores=1,3,5,7
/proc/15062/task/15068/stat : 15068 (java) S 15060 15062 14960 0 -1 4202560 240 0 0 0 23 0 0 0 16 0 19 0 828054343 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15069] ppid=15060 vsize=13630832 CPUtime=0.23 cores=1,3,5,7
/proc/15062/task/15069/stat : 15069 (java) S 15060 15062 14960 0 -1 4202560 50 0 0 0 23 0 0 0 15 0 19 0 828054343 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 1 0 0 0
[pid=15062/tid=15070] ppid=15060 vsize=13630832 CPUtime=0.24 cores=1,3,5,7
/proc/15062/task/15070/stat : 15070 (java) S 15060 15062 14960 0 -1 4202560 415 0 0 0 24 0 0 0 15 0 19 0 828054343 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15071] ppid=15060 vsize=13630832 CPUtime=0.21 cores=1,3,5,7
/proc/15062/task/15071/stat : 15071 (java) S 15060 15062 14960 0 -1 4202560 1844 0 0 0 21 0 0 0 15 0 19 0 828054343 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 1 0 0 0
[pid=15062/tid=15072] ppid=15060 vsize=13630832 CPUtime=0.24 cores=1,3,5,7
/proc/15062/task/15072/stat : 15072 (java) S 15060 15062 14960 0 -1 4202560 1488 0 0 0 24 0 0 0 15 0 19 0 828054343 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15073] ppid=15060 vsize=13630832 CPUtime=10.64 cores=1,3,5,7
/proc/15062/task/15073/stat : 15073 (java) S 15060 15062 14960 0 -1 4202560 5786 0 0 0 1058 6 0 0 15 0 19 0 828054344 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708928 0 0 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15074] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15074/stat : 15074 (java) S 15060 15062 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828054345 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15075] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15075/stat : 15075 (java) S 15060 15062 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828054345 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15076] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15076/stat : 15076 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054347 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347716017 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15077] ppid=15060 vsize=13630832 CPUtime=0.58 cores=1,3,5,7
/proc/15062/task/15077/stat : 15077 (java) S 15060 15062 14960 0 -1 4202560 4701 0 0 0 58 0 0 0 15 0 19 0 828054347 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15078] ppid=15060 vsize=13630832 CPUtime=0.44 cores=1,3,5,7
/proc/15062/task/15078/stat : 15078 (java) S 15060 15062 14960 0 -1 4202560 5228 0 0 0 44 0 0 0 15 0 19 0 828054347 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15079] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15079/stat : 15079 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054347 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15080] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15080/stat : 15080 (java) S 15060 15062 14960 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828054347 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708928 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15081] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15081/stat : 15081 (java) S 15060 15062 14960 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828054379 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708928 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1784.47
Current children cumulated vsize (KiB) 13630832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.9 s]
/proc/loadavg: 2.01 2.05 1.99 3/495 15223
/proc/meminfo: memFree=26096412/32951124 swapFree=60688864/67111528
[pid=15062] ppid=15060 vsize=13630832 CPUtime=1800.09 cores=1,3,5,7
/proc/15062/stat : 15062 (java) S 15060 15062 14960 0 -1 4202496 45204 0 1 0 179993 16 0 0 25 0 19 0 828054341 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15062/statm: 3407708 39675 2268 9 0 3398442 0
[pid=15062/tid=15063] ppid=15060 vsize=13630832 CPUtime=1786.38 cores=1,3,5,7
/proc/15062/task/15063/stat : 15063 (java) R 15060 15062 14960 0 -1 4202560 20513 0 1 0 178635 3 0 0 25 0 19 0 828054341 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 46912505679920 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15062/tid=15065] ppid=15060 vsize=13630832 CPUtime=0.25 cores=1,3,5,7
/proc/15062/task/15065/stat : 15065 (java) S 15060 15062 14960 0 -1 4202560 1755 0 0 0 25 0 0 0 15 0 19 0 828054343 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15066] ppid=15060 vsize=13630832 CPUtime=0.21 cores=1,3,5,7
/proc/15062/task/15066/stat : 15066 (java) S 15060 15062 14960 0 -1 4202560 421 0 0 0 21 0 0 0 15 0 19 0 828054343 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15067] ppid=15060 vsize=13630832 CPUtime=0.23 cores=1,3,5,7
/proc/15062/task/15067/stat : 15067 (java) S 15060 15062 14960 0 -1 4202560 1507 0 0 0 23 0 0 0 15 0 19 0 828054343 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15068] ppid=15060 vsize=13630832 CPUtime=0.23 cores=1,3,5,7
/proc/15062/task/15068/stat : 15068 (java) S 15060 15062 14960 0 -1 4202560 240 0 0 0 23 0 0 0 15 0 19 0 828054343 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15069] ppid=15060 vsize=13630832 CPUtime=0.24 cores=1,3,5,7
/proc/15062/task/15069/stat : 15069 (java) S 15060 15062 14960 0 -1 4202560 50 0 0 0 24 0 0 0 15 0 19 0 828054343 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15070] ppid=15060 vsize=13630832 CPUtime=0.25 cores=1,3,5,7
/proc/15062/task/15070/stat : 15070 (java) S 15060 15062 14960 0 -1 4202560 415 0 0 0 25 0 0 0 15 0 19 0 828054343 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15071] ppid=15060 vsize=13630832 CPUtime=0.21 cores=1,3,5,7
/proc/15062/task/15071/stat : 15071 (java) S 15060 15062 14960 0 -1 4202560 1844 0 0 0 21 0 0 0 15 0 19 0 828054343 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 1 0 0 0
[pid=15062/tid=15072] ppid=15060 vsize=13630832 CPUtime=0.24 cores=1,3,5,7
/proc/15062/task/15072/stat : 15072 (java) S 15060 15062 14960 0 -1 4202560 1488 0 0 0 24 0 0 0 15 0 19 0 828054343 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15073] ppid=15060 vsize=13630832 CPUtime=10.72 cores=1,3,5,7
/proc/15062/task/15073/stat : 15073 (java) S 15060 15062 14960 0 -1 4202560 5788 0 0 0 1066 6 0 0 15 0 19 0 828054344 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708928 0 0 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15074] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15074/stat : 15074 (java) S 15060 15062 14960 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828054345 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15075] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15075/stat : 15075 (java) S 15060 15062 14960 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828054345 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15076] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15076/stat : 15076 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054347 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347716017 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15077] ppid=15060 vsize=13630832 CPUtime=0.58 cores=1,3,5,7
/proc/15062/task/15077/stat : 15077 (java) S 15060 15062 14960 0 -1 4202560 4701 0 0 0 58 0 0 0 15 0 19 0 828054347 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 7 0 0 0
[pid=15062/tid=15078] ppid=15060 vsize=13630832 CPUtime=0.44 cores=1,3,5,7
/proc/15062/task/15078/stat : 15078 (java) S 15060 15062 14960 0 -1 4202560 5228 0 0 0 44 0 0 0 15 0 19 0 828054347 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15079] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15079/stat : 15079 (java) S 15060 15062 14960 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828054347 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708313 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
[pid=15062/tid=15080] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15080/stat : 15080 (java) S 15060 15062 14960 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 828054347 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708928 0 4 0 16800975 18446604463042842880 0 0 -1 3 0 0 0
[pid=15062/tid=15081] ppid=15060 vsize=13630832 CPUtime=0 cores=1,3,5,7
/proc/15062/task/15081/stat : 15081 (java) S 15060 15062 14960 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828054379 13957971968 39675 33554432000 1073741824 1073778376 140736345950000 18446744073709551615 232347708928 0 4 0 16800975 18446604463042842880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13630832

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): 1797.94
CPU time (s): 1800.14
CPU user time (s): 1799.97
CPU system time (s): 0.173973
CPU usage (%): 100.122
Max. virtual memory (cumulated for all children) (KiB): 13634928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.173973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45241
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= 48467
involuntary context switches= 11882

runsolver used 8.27274 second user time and 19.507 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-04 07:16:02
IDJOB=3458006
IDBENCH=48331
IDSOLVER=1952
FILE ID=node132/3458006-1307164562
RUNJOBID= node132-1307164557-14979
PBS_JOBID= 13508840
Free space on /tmp= 73928 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_10_2_40.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458006-1307164562/watcher-3458006-1307164562 -o /tmp/evaluation-result-3458006-1307164562/solver-3458006-1307164562 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458006-1307164562.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= ae994079f65819ac107e4a3e259224ff
RANDOM SEED=2050145982

node132.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26163428 kB
Buffers:        324508 kB
Cached:        2985096 kB
SwapCached:      15140 kB
Active:        1168944 kB
Inactive:      5355272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26163428 kB
SwapTotal:    67111528 kB
SwapFree:     60688864 kB
Dirty:            1380 kB
Writeback:           0 kB
AnonPages:     3207504 kB
Mapped:          27420 kB
Slab:           144404 kB
PageTables:      50640 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 122658456 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73928 MiB
End job on node132 at 2011-06-04 07:46:02