Trace number 3492297

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 2011-06-08MSAT (TO) 1800.1 1796.46

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo
MD5SUMb19b36a9eeef0aa91319f6277ed84276
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.114981
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1640
Total number of constraints81
Number of soft constraints21
Number of constraints which are clauses41
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
Top cost 1107
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 1106
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.04/0.29	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.29	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.29	c See www.sat4j.org for details.
0.04/0.30	c version 2.3.1.v20110525
0.04/0.30	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.30	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.30	c java.vm.version	19.1-b02
0.04/0.30	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.30	c sun.arch.data.model	64
0.04/0.30	c java.version		1.6.0_24
0.04/0.30	c os.name		Linux
0.04/0.30	c os.version		2.6.18-164.el5
0.04/0.30	c os.arch		amd64
0.04/0.30	c Free memory 		9996466904
0.04/0.30	c Max memory 		10048897024
0.04/0.30	c Total memory 		10048897024
0.04/0.30	c Number of processors 	8
0.09/0.33	c Pseudo Boolean Optimization
0.09/0.33	c --- Begin Solver configuration ---
0.09/0.33	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.09/0.33	c Learn all clauses as in MiniSAT
0.09/0.33	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.33	c Expensive reason simplification
0.09/0.33	c Armin Biere (Picosat) restarts strategy
0.09/0.33	c Glucose learned constraints deletion strategy
0.09/0.33	c timeout=2147483s
0.09/0.33	c DB Simplification allowed=false
0.09/0.33	c --- End Solver configuration ---
0.09/0.33	c solving HOME/instance-3492297-1307909011.wbo
0.09/0.33	c reading problem ... 
0.26/0.42	c ... done. Wall clock time 0.094s.
0.26/0.42	c #vars     1661
0.26/0.42	c #constraints  81
0.26/0.42	c constraints type 
0.26/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 41
0.26/0.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 31
0.26/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 9
0.64/0.56	c SATISFIABLE
0.64/0.56	c OPTIMIZING...
0.64/0.56	c Got one! Elapsed wall clock time (in seconds):0.231
0.64/0.56	o 194
0.75/0.62	c Got one! Elapsed wall clock time (in seconds):0.293
0.75/0.62	o 23
0.75/0.69	c Got one! Elapsed wall clock time (in seconds):0.367
0.75/0.69	o 15
1.23/1.03	c Got one! Elapsed wall clock time (in seconds):0.7
1.23/1.03	o 14
1.33/1.11	c Got one! Elapsed wall clock time (in seconds):0.784
1.33/1.11	o 1
1.83/1.62	c cleaning 3412 clauses out of 6862 with flag 3000/6862
2.98/2.72	c cleaning 4713 clauses out of 9450 with flag 9000/12862
4.70/4.45	c cleaning 5830 clauses out of 11739 with flag 16002/19864
9.21/8.90	c cleaning 6882 clauses out of 13909 with flag 24002/27864
13.04/12.73	c cleaning 7999 clauses out of 16025 with flag 33000/36862
17.75/17.48	c cleaning 8991 clauses out of 18026 with flag 43000/46862
20.87/20.51	c cleaning 9515 clauses out of 19036 with flag 53001/56863
24.18/23.83	c cleaning 9741 clauses out of 19520 with flag 63000/66862
27.69/27.35	c cleaning 9863 clauses out of 19782 with flag 73003/76865
30.10/29.78	c cleaning 9910 clauses out of 19917 with flag 83001/86863
34.10/33.74	c cleaning 9947 clauses out of 20006 with flag 93000/96862
38.22/37.86	c cleaning 9955 clauses out of 20060 with flag 103001/106863
42.33/41.95	c cleaning 10021 clauses out of 20105 with flag 113001/116863
45.25/44.81	c cleaning 9969 clauses out of 20083 with flag 123000/126862
48.36/47.90	c cleaning 9976 clauses out of 20114 with flag 133000/136862
52.67/52.24	c cleaning 9971 clauses out of 20138 with flag 143000/146862
57.28/56.85	c cleaning 10033 clauses out of 20167 with flag 153000/156862
61.19/60.75	c cleaning 10016 clauses out of 20136 with flag 163002/166864
64.30/63.83	c cleaning 9999 clauses out of 20118 with flag 173000/176862
67.30/66.86	c cleaning 10010 clauses out of 20120 with flag 183001/186863
71.61/71.11	c cleaning 10017 clauses out of 20109 with flag 193000/196862
74.82/74.34	c cleaning 10029 clauses out of 20094 with flag 203002/206864
78.23/77.77	c cleaning 9980 clauses out of 20063 with flag 213000/216862
82.74/82.26	c cleaning 9989 clauses out of 20083 with flag 223000/226862
86.55/86.00	c cleaning 10016 clauses out of 20099 with flag 233005/236867
91.06/90.53	c cleaning 10003 clauses out of 20078 with flag 243000/246862
95.77/95.26	c cleaning 10003 clauses out of 20076 with flag 253001/256863
98.58/98.06	c cleaning 10035 clauses out of 20073 with flag 263001/266863
101.59/101.02	c cleaning 9996 clauses out of 20039 with flag 273002/276864
104.70/104.15	c cleaning 9984 clauses out of 20042 with flag 283001/286863
111.51/110.99	c cleaning 9856 clauses out of 20058 with flag 293001/296863
117.14/116.53	c cleaning 9694 clauses out of 20204 with flag 303003/306865
120.15/119.50	c cleaning 10126 clauses out of 20508 with flag 313001/316863
127.26/126.60	c cleaning 9930 clauses out of 20381 with flag 323000/326862
131.07/130.47	c cleaning 10074 clauses out of 20452 with flag 333001/336863
137.78/137.12	c cleaning 10091 clauses out of 20378 with flag 343001/346863
140.59/139.96	c cleaning 10076 clauses out of 20287 with flag 353001/356863
144.30/143.69	c cleaning 10042 clauses out of 20210 with flag 363000/366862
148.13/147.40	c cleaning 10021 clauses out of 20168 with flag 373000/376862
152.13/151.42	c cleaning 10012 clauses out of 20148 with flag 383001/386863
154.84/154.14	c cleaning 10034 clauses out of 20135 with flag 393000/396862
157.35/156.69	c cleaning 10026 clauses out of 20102 with flag 403001/406863
159.96/159.29	c cleaning 10013 clauses out of 20077 with flag 413002/416864
162.87/162.18	c cleaning 10005 clauses out of 20063 with flag 423001/426863
165.38/164.70	c cleaning 10009 clauses out of 20057 with flag 433000/436862
168.48/167.78	c cleaning 10001 clauses out of 20049 with flag 443001/446863
171.69/170.96	c cleaning 9997 clauses out of 20048 with flag 453001/456863
177.10/176.39	c cleaning 9994 clauses out of 20050 with flag 463000/466862
180.91/180.11	c cleaning 9990 clauses out of 20056 with flag 473000/476862
183.92/183.20	c cleaning 10012 clauses out of 20066 with flag 483000/486862
187.62/186.84	c cleaning 9995 clauses out of 20055 with flag 493001/496863
191.33/190.56	c cleaning 10002 clauses out of 20059 with flag 503000/506862
194.94/194.17	c cleaning 10000 clauses out of 20058 with flag 513001/516863
198.35/197.55	c cleaning 9997 clauses out of 20057 with flag 523000/526862
202.25/201.48	c cleaning 9988 clauses out of 20062 with flag 533002/536864
206.16/205.31	c cleaning 10008 clauses out of 20072 with flag 543000/546862
209.97/209.12	c cleaning 9990 clauses out of 20064 with flag 553000/556862
213.38/212.56	c cleaning 10000 clauses out of 20076 with flag 563002/566864
217.08/216.27	c cleaning 10009 clauses out of 20075 with flag 573001/576863
220.99/220.16	c cleaning 9994 clauses out of 20065 with flag 583000/586862
223.20/222.38	c cleaning 9991 clauses out of 20071 with flag 593000/596862
226.41/225.57	c cleaning 9954 clauses out of 20080 with flag 603000/606862
229.61/228.75	c cleaning 10010 clauses out of 20128 with flag 613002/616864
233.22/232.35	c cleaning 10031 clauses out of 20121 with flag 623005/626867
236.43/235.58	c cleaning 10016 clauses out of 20089 with flag 633004/636866
239.46/238.57	c cleaning 10020 clauses out of 20069 with flag 643000/646862
242.97/242.03	c cleaning 10009 clauses out of 20051 with flag 653002/656864
246.58/245.67	c cleaning 10004 clauses out of 20040 with flag 663000/666862
250.19/249.29	c cleaning 9991 clauses out of 20037 with flag 673001/676863
253.91/253.00	c cleaning 9988 clauses out of 20046 with flag 683001/686863
257.61/256.61	c cleaning 9995 clauses out of 20059 with flag 693002/696864
261.12/260.15	c cleaning 10001 clauses out of 20063 with flag 703001/706863
264.43/263.43	c cleaning 10003 clauses out of 20065 with flag 713004/716866
267.64/266.68	c cleaning 10012 clauses out of 20060 with flag 723002/726864
271.35/270.36	c cleaning 10007 clauses out of 20048 with flag 733002/736864
274.96/273.98	c cleaning 10008 clauses out of 20043 with flag 743004/746866
278.87/277.81	c cleaning 10002 clauses out of 20033 with flag 753002/756864
282.48/281.47	c cleaning 9998 clauses out of 20029 with flag 763000/766862
286.29/285.20	c cleaning 10005 clauses out of 20037 with flag 773006/776868
289.50/288.48	c cleaning 9992 clauses out of 20027 with flag 783001/786863
293.40/292.39	c cleaning 9991 clauses out of 20036 with flag 793002/796864
297.22/296.18	c cleaning 10000 clauses out of 20043 with flag 803000/806862
301.13/300.02	c cleaning 9990 clauses out of 20044 with flag 813001/816863
305.33/304.24	c cleaning 10005 clauses out of 20054 with flag 823001/826863
309.65/308.58	c cleaning 10002 clauses out of 20048 with flag 833000/836862
313.76/312.62	c cleaning 10001 clauses out of 20047 with flag 843001/846863
317.88/316.76	c cleaning 10002 clauses out of 20046 with flag 853001/856863
321.68/320.54	c cleaning 9998 clauses out of 20043 with flag 863000/866862
325.39/324.29	c cleaning 10002 clauses out of 20045 with flag 873000/876862
328.30/327.12	c cleaning 10003 clauses out of 20045 with flag 883002/886864
330.31/329.18	c cleaning 9987 clauses out of 20041 with flag 893001/896863
333.92/332.78	c cleaning 9963 clauses out of 20053 with flag 903000/906862
336.92/335.77	c cleaning 10012 clauses out of 20091 with flag 913001/916863
339.63/338.42	c cleaning 10019 clauses out of 20078 with flag 923000/926862
343.25/342.00	c cleaning 10012 clauses out of 20059 with flag 933000/936862
345.94/344.74	c cleaning 10002 clauses out of 20048 with flag 943001/946863
349.86/348.69	c cleaning 9997 clauses out of 20045 with flag 953000/956862
353.87/352.69	c cleaning 10001 clauses out of 20051 with flag 963003/966865
357.38/356.14	c cleaning 10007 clauses out of 20047 with flag 973000/976862
361.19/359.93	c cleaning 10004 clauses out of 20040 with flag 983000/986862
365.30/364.00	c cleaning 10003 clauses out of 20042 with flag 993006/996868
369.30/368.00	c cleaning 9998 clauses out of 20034 with flag 1003001/1006863
372.41/371.17	c cleaning 9989 clauses out of 20035 with flag 1013000/1016862
375.92/374.61	c cleaning 9980 clauses out of 20048 with flag 1023002/1026864
379.53/378.28	c cleaning 10009 clauses out of 20068 with flag 1033002/1036864
383.34/382.07	c cleaning 10005 clauses out of 20058 with flag 1043001/1046863
387.15/385.87	c cleaning 9983 clauses out of 20054 with flag 1053002/1056864
391.46/390.16	c cleaning 10009 clauses out of 20069 with flag 1063000/1066862
394.98/393.60	c cleaning 10003 clauses out of 20060 with flag 1073000/1076862
398.58/397.22	c cleaning 10002 clauses out of 20057 with flag 1083000/1086862
402.59/401.22	c cleaning 10008 clauses out of 20057 with flag 1093002/1096864
406.60/405.23	c cleaning 10004 clauses out of 20052 with flag 1103005/1106867
411.00/409.60	c cleaning 10003 clauses out of 20045 with flag 1113002/1116864
415.61/414.21	c cleaning 9997 clauses out of 20040 with flag 1123000/1126862
419.52/418.15	c cleaning 9996 clauses out of 20043 with flag 1133000/1136862
423.63/422.24	c cleaning 10002 clauses out of 20048 with flag 1143001/1146863
427.54/426.18	c cleaning 9994 clauses out of 20045 with flag 1153000/1156862
431.45/430.09	c cleaning 10002 clauses out of 20052 with flag 1163001/1166863
435.25/433.88	c cleaning 10000 clauses out of 20050 with flag 1173001/1176863
438.35/436.92	c cleaning 10008 clauses out of 20049 with flag 1183000/1186862
441.96/440.51	c cleaning 10005 clauses out of 20043 with flag 1193002/1196864
445.57/444.16	c cleaning 9993 clauses out of 20036 with flag 1203000/1206862
449.28/447.85	c cleaning 10004 clauses out of 20046 with flag 1213003/1216865
452.89/451.40	c cleaning 9993 clauses out of 20039 with flag 1223000/1226862
457.20/455.73	c cleaning 10010 clauses out of 20047 with flag 1233001/1236863
460.71/459.26	c cleaning 9998 clauses out of 20037 with flag 1243001/1246863
464.31/462.84	c cleaning 10005 clauses out of 20039 with flag 1253001/1256863
468.02/466.58	c cleaning 9989 clauses out of 20033 with flag 1263000/1266862
471.53/470.04	c cleaning 10005 clauses out of 20044 with flag 1273000/1276862
475.13/473.65	c cleaning 10005 clauses out of 20043 with flag 1283004/1286866
478.54/477.06	c cleaning 10000 clauses out of 20034 with flag 1293000/1296862
481.94/480.44	c cleaning 9993 clauses out of 20036 with flag 1303002/1306864
485.55/484.09	c cleaning 10003 clauses out of 20041 with flag 1313000/1316862
489.15/487.64	c cleaning 9979 clauses out of 20038 with flag 1323000/1326862
491.36/489.86	c cleaning 9963 clauses out of 20060 with flag 1333001/1336863
493.67/492.17	c cleaning 10024 clauses out of 20096 with flag 1343000/1346862
496.18/494.63	c cleaning 10015 clauses out of 20074 with flag 1353002/1356864
499.00/497.42	c cleaning 10004 clauses out of 20057 with flag 1363000/1366862
502.51/500.94	c cleaning 10000 clauses out of 20056 with flag 1373003/1376865
505.91/504.33	c cleaning 9982 clauses out of 20053 with flag 1383000/1386862
510.62/509.09	c cleaning 9965 clauses out of 20072 with flag 1393001/1396863
515.43/513.87	c cleaning 9993 clauses out of 20109 with flag 1403003/1406865
519.05/517.46	c cleaning 9999 clauses out of 20115 with flag 1413002/1416864
522.46/520.83	c cleaning 9989 clauses out of 20114 with flag 1423000/1426862
525.86/524.27	c cleaning 10001 clauses out of 20125 with flag 1433000/1436862
530.06/528.47	c cleaning 10001 clauses out of 20125 with flag 1443001/1446863
533.77/532.14	c cleaning 10003 clauses out of 20124 with flag 1453001/1456863
537.28/535.62	c cleaning 10049 clauses out of 20122 with flag 1463002/1466864
540.89/539.24	c cleaning 10023 clauses out of 20071 with flag 1473000/1476862
544.30/542.66	c cleaning 10011 clauses out of 20049 with flag 1483001/1486863
547.90/546.28	c cleaning 10004 clauses out of 20038 with flag 1493001/1496863
551.81/550.13	c cleaning 10005 clauses out of 20038 with flag 1503005/1506867
555.42/553.79	c cleaning 10003 clauses out of 20032 with flag 1513004/1516866
558.52/556.83	c cleaning 9997 clauses out of 20029 with flag 1523004/1526866
562.53/560.84	c cleaning 9992 clauses out of 20028 with flag 1533000/1536862
566.63/564.96	c cleaning 9982 clauses out of 20036 with flag 1543000/1546862
570.64/568.97	c cleaning 10005 clauses out of 20056 with flag 1553002/1556864
574.45/572.75	c cleaning 10003 clauses out of 20049 with flag 1563000/1566862
579.16/577.42	c cleaning 9989 clauses out of 20047 with flag 1573001/1576863
583.76/582.04	c cleaning 10007 clauses out of 20058 with flag 1583001/1586863
587.87/586.11	c cleaning 9993 clauses out of 20052 with flag 1593002/1596864
592.69/590.97	c cleaning 10003 clauses out of 20060 with flag 1603003/1606865
596.70/594.90	c cleaning 10006 clauses out of 20055 with flag 1613001/1616863
599.90/598.19	c cleaning 10005 clauses out of 20049 with flag 1623001/1626863
603.61/601.88	c cleaning 9997 clauses out of 20043 with flag 1633000/1636862
606.92/605.11	c cleaning 10005 clauses out of 20052 with flag 1643006/1646868
610.13/608.30	c cleaning 10000 clauses out of 20044 with flag 1653003/1656865
613.34/611.53	c cleaning 10002 clauses out of 20046 with flag 1663005/1666867
616.66/614.89	c cleaning 10001 clauses out of 20042 with flag 1673003/1676865
620.36/618.59	c cleaning 9996 clauses out of 20038 with flag 1683000/1686862
624.66/622.87	c cleaning 10000 clauses out of 20042 with flag 1693000/1696862
628.67/626.84	c cleaning 10000 clauses out of 20042 with flag 1703000/1706862
632.18/630.36	c cleaning 10003 clauses out of 20045 with flag 1713003/1716865
635.78/633.95	c cleaning 9994 clauses out of 20039 with flag 1723000/1726862
639.58/637.70	c cleaning 10000 clauses out of 20045 with flag 1733000/1736862
642.99/641.17	c cleaning 10001 clauses out of 20046 with flag 1743001/1746863
646.59/644.76	c cleaning 10002 clauses out of 20047 with flag 1753003/1756865
650.20/648.35	c cleaning 9998 clauses out of 20043 with flag 1763001/1766863
653.30/651.45	c cleaning 10002 clauses out of 20046 with flag 1773002/1776864
656.91/655.05	c cleaning 9994 clauses out of 20044 with flag 1783002/1786864
660.82/658.98	c cleaning 10011 clauses out of 20054 with flag 1793006/1796868
664.52/662.67	c cleaning 10005 clauses out of 20037 with flag 1803000/1806862
670.93/669.06	c cleaning 10004 clauses out of 20036 with flag 1813004/1816866
674.74/672.89	c cleaning 9995 clauses out of 20028 with flag 1823000/1826862
678.36/676.44	c cleaning 9999 clauses out of 20033 with flag 1833000/1836862
681.96/680.06	c cleaning 9980 clauses out of 20035 with flag 1843001/1846863
685.66/683.78	c cleaning 10019 clauses out of 20057 with flag 1853003/1856865
689.57/687.64	c cleaning 9996 clauses out of 20035 with flag 1863000/1866862
693.18/691.23	c cleaning 9995 clauses out of 20039 with flag 1873000/1876862
697.09/695.16	c cleaning 10014 clauses out of 20047 with flag 1883003/1886865
700.99/699.07	c cleaning 10001 clauses out of 20032 with flag 1893002/1896864
704.90/702.91	c cleaning 9996 clauses out of 20032 with flag 1903003/1906865
709.31/707.36	c cleaning 10001 clauses out of 20033 with flag 1913000/1916862
713.32/711.38	c cleaning 10002 clauses out of 20034 with flag 1923002/1926864
716.83/714.80	c cleaning 9997 clauses out of 20031 with flag 1933001/1936863
720.24/718.25	c cleaning 10002 clauses out of 20033 with flag 1943000/1946862
723.74/721.79	c cleaning 9998 clauses out of 20031 with flag 1953000/1956862
727.44/725.40	c cleaning 9994 clauses out of 20034 with flag 1963001/1966863
731.26/729.24	c cleaning 10002 clauses out of 20039 with flag 1973000/1976862
734.76/732.71	c cleaning 10003 clauses out of 20037 with flag 1983000/1986862
737.47/735.48	c cleaning 9952 clauses out of 20035 with flag 1993001/1996863
740.58/738.58	c cleaning 9982 clauses out of 20082 with flag 2003000/2006862
743.79/741.74	c cleaning 10031 clauses out of 20100 with flag 2013000/2016862
746.80/744.71	c cleaning 10015 clauses out of 20073 with flag 2023004/2026866
749.21/747.17	c cleaning 10011 clauses out of 20056 with flag 2033002/2036864
752.11/750.07	c cleaning 10002 clauses out of 20044 with flag 2043001/2046863
755.32/753.24	c cleaning 9979 clauses out of 20044 with flag 2053003/2056865
758.43/756.36	c cleaning 9997 clauses out of 20063 with flag 2063001/2066863
763.84/761.72	c cleaning 9997 clauses out of 20066 with flag 2073001/2076863
767.05/764.99	c cleaning 10009 clauses out of 20069 with flag 2083001/2086863
770.76/768.60	c cleaning 10002 clauses out of 20060 with flag 2093001/2096863
774.17/772.04	c cleaning 10002 clauses out of 20057 with flag 2103000/2106862
777.87/775.72	c cleaning 9998 clauses out of 20055 with flag 2113000/2116862
780.78/778.66	c cleaning 10009 clauses out of 20060 with flag 2123003/2126865
784.49/782.33	c cleaning 10001 clauses out of 20048 with flag 2133000/2136862
788.20/786.03	c cleaning 10005 clauses out of 20048 with flag 2143001/2146863
792.40/790.26	c cleaning 9992 clauses out of 20045 with flag 2153003/2156865
796.21/794.09	c cleaning 10003 clauses out of 20050 with flag 2163000/2166862
800.01/797.88	c cleaning 10004 clauses out of 20047 with flag 2173000/2176862
804.32/802.15	c cleaning 9998 clauses out of 20043 with flag 2183000/2186862
807.73/805.53	c cleaning 10001 clauses out of 20049 with flag 2193004/2196866
811.44/809.26	c cleaning 9996 clauses out of 20045 with flag 2203001/2206863
815.15/812.96	c cleaning 9994 clauses out of 20050 with flag 2213002/2216864
819.05/816.83	c cleaning 9999 clauses out of 20055 with flag 2223001/2226863
822.46/820.28	c cleaning 9999 clauses out of 20055 with flag 2233000/2236862
826.17/823.91	c cleaning 10000 clauses out of 20056 with flag 2243000/2246862
829.67/827.43	c cleaning 10000 clauses out of 20059 with flag 2253003/2256865
833.79/831.53	c cleaning 9995 clauses out of 20057 with flag 2263001/2266863
837.48/835.25	c cleaning 10004 clauses out of 20063 with flag 2273002/2276864
841.09/838.89	c cleaning 10014 clauses out of 20060 with flag 2283003/2286865
845.40/843.15	c cleaning 9992 clauses out of 20046 with flag 2293003/2296865
849.60/847.31	c cleaning 10005 clauses out of 20053 with flag 2303002/2306864
853.61/851.37	c cleaning 10003 clauses out of 20048 with flag 2313002/2316864
858.12/855.87	c cleaning 9992 clauses out of 20043 with flag 2323000/2326862
862.53/860.21	c cleaning 10000 clauses out of 20052 with flag 2333001/2336863
866.73/864.41	c cleaning 9993 clauses out of 20051 with flag 2343000/2346862
871.24/868.98	c cleaning 10019 clauses out of 20069 with flag 2353011/2356873
875.64/873.32	c cleaning 10001 clauses out of 20039 with flag 2363000/2366862
879.65/877.35	c cleaning 9987 clauses out of 20039 with flag 2373001/2376863
884.36/882.05	c cleaning 10000 clauses out of 20051 with flag 2383000/2386862
889.17/886.86	c cleaning 9990 clauses out of 20051 with flag 2393000/2396862
892.97/890.69	c cleaning 10014 clauses out of 20064 with flag 2403003/2406865
897.27/894.90	c cleaning 9993 clauses out of 20048 with flag 2413001/2416863
901.48/899.13	c cleaning 10008 clauses out of 20055 with flag 2423001/2426863
904.98/902.68	c cleaning 9989 clauses out of 20049 with flag 2433003/2436865
908.69/906.33	c cleaning 9998 clauses out of 20057 with flag 2443000/2446862
912.50/910.12	c cleaning 9999 clauses out of 20060 with flag 2453001/2456863
916.01/913.64	c cleaning 10000 clauses out of 20062 with flag 2463002/2466864
919.71/917.34	c cleaning 10003 clauses out of 20069 with flag 2473009/2476871
923.61/921.21	c cleaning 9998 clauses out of 20059 with flag 2483002/2486864
927.02/924.69	c cleaning 9994 clauses out of 20059 with flag 2493000/2496862
930.63/928.26	c cleaning 10002 clauses out of 20066 with flag 2503001/2506863
934.33/931.98	c cleaning 9994 clauses out of 20063 with flag 2513000/2516862
937.94/935.53	c cleaning 9995 clauses out of 20070 with flag 2523001/2526863
941.55/939.13	c cleaning 10008 clauses out of 20075 with flag 2533001/2536863
944.85/942.46	c cleaning 10004 clauses out of 20071 with flag 2543005/2546867
948.06/945.60	c cleaning 9989 clauses out of 20063 with flag 2553001/2556863
951.36/948.99	c cleaning 10005 clauses out of 20074 with flag 2563001/2566863
954.86/952.43	c cleaning 10003 clauses out of 20069 with flag 2573001/2576863
958.06/955.61	c cleaning 10001 clauses out of 20065 with flag 2583000/2586862
961.27/958.89	c cleaning 9999 clauses out of 20064 with flag 2593000/2596862
965.17/962.71	c cleaning 9992 clauses out of 20069 with flag 2603004/2606866
968.97/966.52	c cleaning 10007 clauses out of 20074 with flag 2613001/2616863
972.28/969.87	c cleaning 10003 clauses out of 20067 with flag 2623001/2626863
975.69/973.24	c cleaning 10000 clauses out of 20063 with flag 2633000/2636862
978.99/976.54	c cleaning 10000 clauses out of 20066 with flag 2643003/2646865
982.29/979.81	c cleaning 10005 clauses out of 20063 with flag 2653000/2656862
985.60/983.17	c cleaning 10006 clauses out of 20061 with flag 2663003/2666865
989.30/986.88	c cleaning 9991 clauses out of 20053 with flag 2673001/2676863
993.81/991.35	c cleaning 10007 clauses out of 20061 with flag 2683000/2686862
997.92/995.43	c cleaning 9999 clauses out of 20057 with flag 2693003/2696865
1001.32/998.88	c cleaning 10003 clauses out of 20056 with flag 2703001/2706863
1005.22/1002.77	c cleaning 10000 clauses out of 20052 with flag 2713000/2716862
1009.42/1006.91	c cleaning 10001 clauses out of 20052 with flag 2723000/2726862
1013.33/1010.82	c cleaning 9996 clauses out of 20051 with flag 2733000/2736862
1017.23/1014.79	c cleaning 10001 clauses out of 20055 with flag 2743000/2746862
1020.94/1018.47	c cleaning 10002 clauses out of 20056 with flag 2753002/2756864
1024.75/1022.25	c cleaning 10000 clauses out of 20053 with flag 2763001/2766863
1028.75/1026.23	c cleaning 10001 clauses out of 20054 with flag 2773002/2776864
1033.05/1030.56	c cleaning 9996 clauses out of 20052 with flag 2783001/2786863
1037.57/1035.03	c cleaning 10003 clauses out of 20057 with flag 2793002/2796864
1041.57/1039.00	c cleaning 10000 clauses out of 20054 with flag 2803002/2806864
1045.67/1043.12	c cleaning 9995 clauses out of 20052 with flag 2813000/2816862
1049.57/1047.10	c cleaning 10002 clauses out of 20058 with flag 2823001/2826863
1053.88/1051.38	c cleaning 10004 clauses out of 20056 with flag 2833001/2836863
1057.98/1055.48	c cleaning 9998 clauses out of 20052 with flag 2843001/2846863
1062.08/1059.57	c cleaning 10001 clauses out of 20054 with flag 2853001/2856863
1066.30/1063.71	c cleaning 9998 clauses out of 20052 with flag 2863000/2866862
1070.80/1068.22	c cleaning 9999 clauses out of 20054 with flag 2873000/2876862
1074.91/1072.31	c cleaning 10004 clauses out of 20058 with flag 2883003/2886865
1079.21/1076.67	c cleaning 9996 clauses out of 20051 with flag 2893000/2896862
1083.31/1080.73	c cleaning 10003 clauses out of 20057 with flag 2903002/2906864
1087.32/1084.75	c cleaning 10002 clauses out of 20057 with flag 2913005/2916867
1091.53/1088.95	c cleaning 10001 clauses out of 20052 with flag 2923002/2926864
1095.74/1093.12	c cleaning 9998 clauses out of 20049 with flag 2933000/2936862
1100.14/1097.55	c cleaning 9989 clauses out of 20051 with flag 2943000/2946862
1104.44/1101.89	c cleaning 10002 clauses out of 20062 with flag 2953000/2956862
1108.65/1106.08	c cleaning 10005 clauses out of 20063 with flag 2963003/2966865
1113.05/1110.48	c cleaning 9995 clauses out of 20058 with flag 2973003/2976865
1116.65/1114.08	c cleaning 10004 clauses out of 20060 with flag 2983000/2986862
1118.95/1116.30	c cleaning 9997 clauses out of 20056 with flag 2993000/2996862
1122.06/1119.41	c cleaning 9981 clauses out of 20060 with flag 3003001/3006863
1125.17/1122.58	c cleaning 9999 clauses out of 20080 with flag 3013002/3016864
1128.68/1126.07	c cleaning 10000 clauses out of 20081 with flag 3023002/3026864
1131.69/1129.03	c cleaning 10012 clauses out of 20080 with flag 3033001/3036863
1134.51/1131.86	c cleaning 10002 clauses out of 20067 with flag 3043000/3046862
1138.81/1136.16	c cleaning 9981 clauses out of 20065 with flag 3053000/3056862
1143.42/1140.75	c cleaning 10021 clauses out of 20084 with flag 3063000/3066862
1146.83/1144.12	c cleaning 10006 clauses out of 20063 with flag 3073000/3076862
1150.44/1147.73	c cleaning 10004 clauses out of 20057 with flag 3083000/3086862
1154.25/1151.59	c cleaning 10003 clauses out of 20054 with flag 3093001/3096863
1157.96/1155.22	c cleaning 9997 clauses out of 20050 with flag 3103000/3106862
1164.37/1161.61	c cleaning 10001 clauses out of 20055 with flag 3113002/3116864
1167.27/1164.59	c cleaning 10017 clauses out of 20053 with flag 3123001/3126863
1170.28/1167.52	c cleaning 10005 clauses out of 20035 with flag 3133000/3136862
1173.38/1170.68	c cleaning 10006 clauses out of 20033 with flag 3143003/3146865
1176.69/1173.94	c cleaning 10001 clauses out of 20028 with flag 3153004/3156866
1180.10/1177.40	c cleaning 10000 clauses out of 20025 with flag 3163002/3166864
1183.61/1180.82	c cleaning 10000 clauses out of 20025 with flag 3173002/3176864
1186.42/1183.68	c cleaning 9998 clauses out of 20025 with flag 3183002/3186864
1189.82/1187.04	c cleaning 10002 clauses out of 20026 with flag 3193001/3196863
1193.72/1190.95	c cleaning 9991 clauses out of 20026 with flag 3203003/3206865
1197.53/1194.79	c cleaning 10002 clauses out of 20032 with flag 3213000/3216862
1201.53/1198.72	c cleaning 9997 clauses out of 20032 with flag 3223002/3226864
1205.24/1202.47	c cleaning 10000 clauses out of 20034 with flag 3233001/3236863
1208.85/1206.07	c cleaning 10005 clauses out of 20035 with flag 3243002/3246864
1212.35/1209.59	c cleaning 10000 clauses out of 20028 with flag 3253000/3256862
1215.95/1213.20	c cleaning 9991 clauses out of 20030 with flag 3263002/3266864
1219.86/1217.09	c cleaning 10007 clauses out of 20040 with flag 3273003/3276865
1223.06/1220.27	c cleaning 10004 clauses out of 20038 with flag 3283008/3286870
1226.67/1223.82	c cleaning 9996 clauses out of 20027 with flag 3293001/3296863
1230.38/1227.52	c cleaning 10002 clauses out of 20033 with flag 3303003/3306865
1233.79/1230.96	c cleaning 9999 clauses out of 20028 with flag 3313000/3316862
1237.39/1234.57	c cleaning 9997 clauses out of 20029 with flag 3323000/3326862
1240.59/1237.73	c cleaning 10001 clauses out of 20032 with flag 3333000/3336862
1244.29/1241.42	c cleaning 10001 clauses out of 20032 with flag 3343001/3346863
1248.21/1245.36	c cleaning 10000 clauses out of 20031 with flag 3353001/3356863
1251.81/1248.97	c cleaning 10000 clauses out of 20031 with flag 3363001/3366863
1256.01/1253.10	c cleaning 9998 clauses out of 20032 with flag 3373002/3376864
1259.32/1256.41	c cleaning 9994 clauses out of 20033 with flag 3383001/3386863
1263.12/1260.22	c cleaning 10002 clauses out of 20039 with flag 3393001/3396863
1267.02/1264.17	c cleaning 10000 clauses out of 20036 with flag 3403000/3406862
1270.72/1267.80	c cleaning 10000 clauses out of 20040 with flag 3413004/3416866
1274.43/1271.54	c cleaning 10000 clauses out of 20038 with flag 3423002/3426864
1277.23/1274.38	c cleaning 10000 clauses out of 20036 with flag 3433000/3436862
1280.83/1277.97	c cleaning 10001 clauses out of 20037 with flag 3443001/3446863
1284.04/1281.14	c cleaning 9997 clauses out of 20035 with flag 3453000/3456862
1287.54/1284.65	c cleaning 9994 clauses out of 20038 with flag 3463000/3466862
1290.75/1287.85	c cleaning 10000 clauses out of 20044 with flag 3473000/3476862
1294.05/1291.16	c cleaning 10001 clauses out of 20044 with flag 3483000/3486862
1297.36/1294.45	c cleaning 10004 clauses out of 20043 with flag 3493000/3496862
1300.66/1297.75	c cleaning 10001 clauses out of 20041 with flag 3503002/3506864
1303.77/1300.86	c cleaning 9999 clauses out of 20041 with flag 3513003/3516865
1307.07/1304.19	c cleaning 9998 clauses out of 20039 with flag 3523000/3526862
1310.58/1307.66	c cleaning 10001 clauses out of 20042 with flag 3533001/3536863
1313.98/1311.08	c cleaning 10001 clauses out of 20041 with flag 3543001/3546863
1317.78/1314.86	c cleaning 10000 clauses out of 20040 with flag 3553001/3556863
1320.99/1318.09	c cleaning 10000 clauses out of 20041 with flag 3563002/3566864
1324.69/1321.70	c cleaning 10002 clauses out of 20039 with flag 3573000/3576862
1328.21/1325.23	c cleaning 9992 clauses out of 20037 with flag 3583000/3586862
1331.51/1328.51	c cleaning 9992 clauses out of 20047 with flag 3593002/3596864
1335.32/1332.39	c cleaning 10008 clauses out of 20054 with flag 3603001/3606863
1338.71/1335.71	c cleaning 10001 clauses out of 20045 with flag 3613000/3616862
1341.73/1338.78	c cleaning 10002 clauses out of 20045 with flag 3623001/3626863
1345.03/1342.03	c cleaning 9999 clauses out of 20042 with flag 3633000/3636862
1348.02/1345.01	c cleaning 10000 clauses out of 20043 with flag 3643000/3646862
1350.73/1347.75	c cleaning 9993 clauses out of 20043 with flag 3653000/3656862
1354.84/1351.84	c cleaning 10002 clauses out of 20050 with flag 3663000/3666862
1358.64/1355.60	c cleaning 9997 clauses out of 20048 with flag 3673000/3676862
1361.95/1358.94	c cleaning 9992 clauses out of 20051 with flag 3683000/3686862
1366.96/1363.91	c cleaning 10003 clauses out of 20061 with flag 3693002/3696864
1372.76/1369.72	c cleaning 10006 clauses out of 20059 with flag 3703003/3706865
1376.47/1373.40	c cleaning 9998 clauses out of 20050 with flag 3713000/3716862
1379.97/1376.94	c cleaning 9999 clauses out of 20052 with flag 3723000/3726862
1383.38/1380.38	c cleaning 9992 clauses out of 20053 with flag 3733000/3736862
1387.09/1384.03	c cleaning 10006 clauses out of 20064 with flag 3743003/3746865
1390.49/1387.45	c cleaning 10004 clauses out of 20057 with flag 3753002/3756864
1394.30/1391.29	c cleaning 9998 clauses out of 20052 with flag 3763001/3766863
1398.51/1395.40	c cleaning 10004 clauses out of 20058 with flag 3773005/3776867
1402.72/1399.60	c cleaning 9999 clauses out of 20052 with flag 3783003/3786865
1406.52/1403.49	c cleaning 9990 clauses out of 20051 with flag 3793001/3796863
1410.43/1407.39	c cleaning 10006 clauses out of 20061 with flag 3803001/3806863
1414.54/1411.41	c cleaning 9999 clauses out of 20056 with flag 3813002/3816864
1418.64/1415.56	c cleaning 10001 clauses out of 20055 with flag 3823000/3826862
1422.85/1419.72	c cleaning 9993 clauses out of 20055 with flag 3833001/3836863
1426.36/1423.26	c cleaning 10005 clauses out of 20061 with flag 3843000/3846862
1430.86/1427.76	c cleaning 10001 clauses out of 20058 with flag 3853002/3856864
1435.06/1432.00	c cleaning 10005 clauses out of 20062 with flag 3863007/3866869
1439.16/1436.09	c cleaning 9975 clauses out of 20050 with flag 3873000/3876862
1442.76/1439.61	c cleaning 10013 clauses out of 20075 with flag 3883000/3886862
1446.46/1443.31	c cleaning 10007 clauses out of 20063 with flag 3893001/3896863
1450.17/1447.07	c cleaning 9997 clauses out of 20058 with flag 3903003/3906865
1453.87/1450.76	c cleaning 10004 clauses out of 20059 with flag 3913001/3916863
1457.67/1454.59	c cleaning 10001 clauses out of 20054 with flag 3923000/3926862
1461.48/1458.32	c cleaning 10001 clauses out of 20053 with flag 3933000/3936862
1465.38/1462.21	c cleaning 9997 clauses out of 20055 with flag 3943003/3946865
1469.59/1466.46	c cleaning 9998 clauses out of 20055 with flag 3953000/3956862
1472.99/1469.86	c cleaning 10005 clauses out of 20059 with flag 3963002/3966864
1476.80/1473.69	c cleaning 9999 clauses out of 20054 with flag 3973002/3976864
1480.20/1477.00	c cleaning 9995 clauses out of 20053 with flag 3983000/3986862
1483.50/1480.34	c cleaning 10005 clauses out of 20058 with flag 3993000/3996862
1486.91/1483.75	c cleaning 10002 clauses out of 20053 with flag 4003000/4006862
1490.12/1486.99	c cleaning 10003 clauses out of 20053 with flag 4013002/4016864
1493.52/1490.33	c cleaning 9994 clauses out of 20048 with flag 4023000/4026862
1496.83/1493.66	c cleaning 10000 clauses out of 20054 with flag 4033000/4036862
1500.13/1496.95	c cleaning 10004 clauses out of 20055 with flag 4043001/4046863
1503.64/1500.48	c cleaning 10000 clauses out of 20053 with flag 4053003/4056865
1507.14/1503.91	c cleaning 10000 clauses out of 20051 with flag 4063001/4066863
1510.85/1507.65	c cleaning 10002 clauses out of 20051 with flag 4073001/4076863
1514.45/1511.22	c cleaning 10000 clauses out of 20050 with flag 4083002/4086864
1517.65/1514.50	c cleaning 9999 clauses out of 20048 with flag 4093000/4096862
1521.46/1518.25	c cleaning 10002 clauses out of 20049 with flag 4103000/4106862
1525.06/1521.86	c cleaning 10000 clauses out of 20048 with flag 4113001/4116863
1528.56/1525.37	c cleaning 9996 clauses out of 20050 with flag 4123003/4126865
1531.87/1528.61	c cleaning 9999 clauses out of 20051 with flag 4133000/4136862
1535.27/1532.03	c cleaning 10000 clauses out of 20053 with flag 4143001/4146863
1538.68/1535.47	c cleaning 9998 clauses out of 20052 with flag 4153000/4156862
1542.48/1539.26	c cleaning 9996 clauses out of 20055 with flag 4163001/4166863
1545.99/1542.73	c cleaning 10004 clauses out of 20059 with flag 4173001/4176863
1549.49/1546.26	c cleaning 10004 clauses out of 20057 with flag 4183003/4186865
1553.20/1549.97	c cleaning 10001 clauses out of 20055 with flag 4193005/4196867
1557.10/1553.86	c cleaning 9999 clauses out of 20049 with flag 4203000/4206862
1560.81/1557.56	c cleaning 9999 clauses out of 20053 with flag 4213003/4216865
1564.90/1561.68	c cleaning 9998 clauses out of 20052 with flag 4223001/4226863
1569.41/1566.17	c cleaning 10000 clauses out of 20053 with flag 4233000/4236862
1573.02/1569.78	c cleaning 9999 clauses out of 20053 with flag 4243000/4246862
1576.72/1573.44	c cleaning 10002 clauses out of 20055 with flag 4253001/4256863
1580.52/1577.30	c cleaning 10001 clauses out of 20053 with flag 4263001/4266863
1583.73/1580.44	c cleaning 9995 clauses out of 20056 with flag 4273005/4276867
1587.03/1583.72	c cleaning 10006 clauses out of 20060 with flag 4283004/4286866
1590.33/1587.05	c cleaning 10001 clauses out of 20052 with flag 4293002/4296864
1593.83/1590.52	c cleaning 10004 clauses out of 20056 with flag 4303007/4306869
1597.43/1594.11	c cleaning 9995 clauses out of 20046 with flag 4313001/4316863
1600.64/1597.35	c cleaning 10002 clauses out of 20052 with flag 4323002/4326864
1604.04/1600.79	c cleaning 9999 clauses out of 20049 with flag 4333001/4336863
1607.74/1604.47	c cleaning 9997 clauses out of 20049 with flag 4343000/4346862
1611.74/1608.45	c cleaning 10001 clauses out of 20052 with flag 4353000/4356862
1615.64/1612.35	c cleaning 9995 clauses out of 20051 with flag 4363000/4366862
1619.15/1615.90	c cleaning 9999 clauses out of 20056 with flag 4373000/4376862
1622.75/1619.48	c cleaning 10003 clauses out of 20058 with flag 4383001/4386863
1626.26/1622.97	c cleaning 10003 clauses out of 20056 with flag 4393002/4396864
1630.06/1626.76	c cleaning 10003 clauses out of 20053 with flag 4403002/4406864
1633.96/1630.65	c cleaning 9998 clauses out of 20050 with flag 4413002/4416864
1637.97/1634.60	c cleaning 10001 clauses out of 20052 with flag 4423002/4426864
1641.66/1638.32	c cleaning 9995 clauses out of 20049 with flag 4433000/4436862
1645.06/1641.71	c cleaning 10004 clauses out of 20056 with flag 4443002/4446864
1648.67/1645.32	c cleaning 9999 clauses out of 20050 with flag 4453000/4456862
1652.37/1649.09	c cleaning 10000 clauses out of 20053 with flag 4463002/4466864
1655.88/1652.57	c cleaning 10001 clauses out of 20051 with flag 4473000/4476862
1659.08/1655.76	c cleaning 9989 clauses out of 20051 with flag 4483001/4486863
1661.59/1658.28	c cleaning 9993 clauses out of 20061 with flag 4493000/4496862
1665.51/1662.11	c cleaning 9989 clauses out of 20069 with flag 4503001/4506863
1668.31/1664.92	c cleaning 10006 clauses out of 20081 with flag 4513002/4516864
1671.03/1667.63	c cleaning 10016 clauses out of 20076 with flag 4523003/4526865
1674.43/1671.02	c cleaning 10005 clauses out of 20059 with flag 4533002/4536864
1677.64/1674.22	c cleaning 9963 clauses out of 20053 with flag 4543001/4546863
1681.94/1678.58	c cleaning 10001 clauses out of 20089 with flag 4553000/4556862
1685.85/1682.42	c cleaning 10006 clauses out of 20090 with flag 4563002/4566864
1688.86/1685.42	c cleaning 10014 clauses out of 20082 with flag 4573000/4576862
1692.56/1689.14	c cleaning 10013 clauses out of 20069 with flag 4583001/4586863
1696.27/1692.88	c cleaning 10005 clauses out of 20057 with flag 4593002/4596864
1700.27/1696.82	c cleaning 10003 clauses out of 20053 with flag 4603003/4606865
1703.87/1700.50	c cleaning 10005 clauses out of 20049 with flag 4613002/4616864
1707.97/1704.52	c cleaning 10011 clauses out of 20045 with flag 4623003/4626865
1712.08/1708.69	c cleaning 9998 clauses out of 20036 with flag 4633005/4636867
1715.99/1712.58	c cleaning 9997 clauses out of 20034 with flag 4643001/4646863
1720.40/1716.97	c cleaning 10005 clauses out of 20039 with flag 4653003/4656865
1724.91/1721.50	c cleaning 9993 clauses out of 20031 with flag 4663000/4666862
1729.22/1725.78	c cleaning 10008 clauses out of 20040 with flag 4673002/4676864
1732.83/1729.39	c cleaning 9990 clauses out of 20030 with flag 4683000/4686862
1736.83/1733.38	c cleaning 10001 clauses out of 20041 with flag 4693001/4696863
1740.84/1737.33	c cleaning 10002 clauses out of 20044 with flag 4703005/4706867
1745.25/1741.79	c cleaning 9996 clauses out of 20037 with flag 4713000/4716862
1749.76/1746.21	c cleaning 10002 clauses out of 20042 with flag 4723001/4726863
1753.46/1749.95	c cleaning 9999 clauses out of 20040 with flag 4733001/4736863
1757.77/1754.23	c cleaning 10002 clauses out of 20041 with flag 4743001/4746863
1761.97/1758.42	c cleaning 9994 clauses out of 20038 with flag 4753000/4756862
1766.47/1762.91	c cleaning 9993 clauses out of 20046 with flag 4763002/4766864
1770.98/1767.42	c cleaning 10005 clauses out of 20051 with flag 4773000/4776862
1774.49/1770.92	c cleaning 9999 clauses out of 20046 with flag 4783000/4786862
1778.49/1774.95	c cleaning 10002 clauses out of 20048 with flag 4793001/4796863
1782.30/1778.71	c cleaning 9999 clauses out of 20045 with flag 4803000/4806862
1785.89/1782.32	c cleaning 9999 clauses out of 20046 with flag 4813000/4816862
1789.40/1785.88	c cleaning 10004 clauses out of 20052 with flag 4823005/4826867
1793.41/1789.89	c cleaning 9990 clauses out of 20044 with flag 4833001/4836863
1797.11/1793.56	c cleaning 10008 clauses out of 20056 with flag 4843003/4846865
1800.02/1796.41	c starts		: 277
1800.02/1796.41	c conflicts		: 4854531
1800.02/1796.41	c decisions		: 6811706
1800.02/1796.41	c propagations		: 108782801
1800.02/1796.41	c inspects		: 7646186614
1800.02/1796.41	c shortcuts		: 0
1800.02/1796.41	c learnt literals	: 0
1800.02/1796.41	c learnt binary clauses	: 0
1800.02/1796.41	c learnt ternary clauses	: 0
1800.02/1796.41	c learnt constraints	: 4854531
1800.02/1796.41	c ignored constraints	: 0
1800.02/1796.41	c root simplifications	: 0
1800.02/1796.41	c removed literals (reason simplification)	: 28571564
1800.02/1796.41	c reason swapping (by a shorter reason)	: 0
1800.02/1796.41	c Calls to reduceDB	: 486
1800.02/1796.41	c number of reductions to clauses (during analyze)	: 0
1800.02/1796.41	c number of learned constraints concerned by reduction	: 0
1800.02/1796.41	c number of learning phase by resolution	: 0
1800.02/1796.41	c number of learning phase by cutting planes	: 0
1800.02/1796.41	c speed (assignments/second)	: 60593.07937777565
1800.02/1796.41	c non guided choices	56541
1800.02/1796.42	c learnt constraints type 
1800.02/1796.42	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 17730
1800.02/1796.42	c constraints type 
1800.02/1796.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 41
1800.02/1796.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 31
1800.02/1796.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10
1800.02/1796.42	s SATISFIABLE
1800.02/1796.43	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 
1800.02/1796.43	c objective function=1
1800.02/1796.43	c Total wall clock time (in seconds): 1796.102

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3492297-1307909011/watcher-3492297-1307909011 -o /tmp/evaluation-result-3492297-1307909011/solver-3492297-1307909011 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492297-1307909011.wbo 

running on 4 cores: 0,2,4,6

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.00 1.00 1.11 1/172 7273
/proc/meminfo: memFree=32489452/32951124 swapFree=67050540/67111528
[pid=7273] ppid=7271 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (java) R 7271 7273 5088 0 -1 4202496 916 0 0 0 0 0 0 0 24 0 1 0 902503432 23580672 659 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212431054613 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7273/statm: 5757 672 492 9 0 124 0

[startup+0.0241011 s]
/proc/loadavg: 1.00 1.00 1.11 1/172 7273
/proc/meminfo: memFree=32489452/32951124 swapFree=67050540/67111528
[pid=7273] ppid=7271 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5088 0 -1 4202496 8253 0 1 0 0 0 0 0 24 0 2 0 902503432 10694979584 7954 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/7273/statm: 2611079 7975 917 9 0 2602235 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316

[startup+0.101157 s]
/proc/loadavg: 1.00 1.00 1.11 1/172 7273
/proc/meminfo: memFree=32489452/32951124 swapFree=67050540/67111528
[pid=7273] ppid=7271 vsize=10467480 CPUtime=0.04 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5088 0 -1 4202496 11281 0 54 0 3 1 0 0 24 0 13 0 902503432 10718699520 11030 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/7273/statm: 2616870 11031 1679 9 0 2607618 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467480

[startup+0.301821 s]
/proc/loadavg: 1.00 1.00 1.11 1/172 7273
/proc/meminfo: memFree=32489452/32951124 swapFree=67050540/67111528
[pid=7273] ppid=7271 vsize=10540464 CPUtime=0.09 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5088 0 -1 4202496 12868 0 55 0 8 1 0 0 24 0 18 0 902503432 10793435136 12618 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7273/statm: 2635116 12618 2091 9 0 2625850 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540464

[startup+0.700994 s]
/proc/loadavg: 1.00 1.00 1.11 1/172 7273
/proc/meminfo: memFree=32489452/32951124 swapFree=67050540/67111528
[pid=7273] ppid=7271 vsize=10544484 CPUtime=0.9 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5088 0 -1 4202496 17001 0 55 0 88 2 0 0 24 0 19 0 902503432 10797551616 15650 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7273/statm: 2636121 15650 2221 9 0 2626855 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 10544484

[startup+1.50087 s]
/proc/loadavg: 1.48 1.10 1.14 3/214 7322
/proc/meminfo: memFree=32358008/32951124 swapFree=67050540/67111528
[pid=7273] ppid=7271 vsize=10544484 CPUtime=1.73 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5088 0 -1 4202496 18673 0 55 0 171 2 0 0 24 0 19 0 902503432 10797551616 17321 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7273/statm: 2636121 17321 2224 9 0 2626855 0
[pid=7273/tid=7275] ppid=7271 vsize=10544484 CPUtime=1.25 cores=0,2,4,6
/proc/7273/task/7275/stat : 7275 (java) R 7271 7273 5088 0 -1 4202560 14199 0 54 0 124 1 0 0 20 0 19 0 902503432 10797551616 17321 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 46912505577543 0 4 0 16800975 0 0 0 -1 2 0 0 20
[pid=7273/tid=7283] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7283/stat : 7283 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902503434 10797551616 17322 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7284] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7284/stat : 7284 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902503434 10797551616 17322 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7285] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7285/stat : 7285 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902503434 10797551616 17322 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7286] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7286/stat : 7286 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902503434 10797551616 17322 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7287] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7287/stat : 7287 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902503434 10797551616 17322 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7288] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7288/stat : 7288 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902503434 10797551616 17322 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7289] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7289/stat : 7289 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902503434 10797551616 17322 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7290] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7290/stat : 7290 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902503434 10797551616 17322 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7297] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7297/stat : 7297 (java) S 7271 7273 5088 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902503438 10797551616 17322 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 0 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7306] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7306/stat : 7306 (java) S 7271 7273 5088 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 902503440 10797551616 17322 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7307] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7307/stat : 7307 (java) S 7271 7273 5088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 902503440 10797551616 17322 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7311] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7311/stat : 7311 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902503457 10797551616 17322 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447840689 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7313] ppid=7271 vsize=10544484 CPUtime=0.23 cores=0,2,4,6
/proc/7273/task/7313/stat : 7313 (java) S 7271 7273 5088 0 -1 4202560 1775 0 0 0 23 0 0 0 15 0 19 0 902503457 10797551616 17322 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7315] ppid=7271 vsize=10544484 CPUtime=0.22 cores=0,2,4,6
/proc/7273/task/7315/stat : 7315 (java) S 7271 7273 5088 0 -1 4202560 1538 0 1 0 22 0 0 0 15 0 19 0 902503457 10797551616 17323 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7317] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7317/stat : 7317 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902503457 10797551616 17323 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7319] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7319/stat : 7319 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902503457 10797551616 17323 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=7273/tid=7321] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7321/stat : 7321 (java) S 7271 7273 5088 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902503475 10797551616 17323 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 10544484

[startup+3.10157 s]
/proc/loadavg: 1.48 1.10 1.14 3/214 7322
/proc/meminfo: memFree=32337488/32951124 swapFree=67050540/67111528
[pid=7273] ppid=7271 vsize=10544484 CPUtime=3.39 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5088 0 -1 4202496 23269 0 55 0 336 3 0 0 24 0 19 0 902503432 10797551616 21907 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7273/statm: 2636121 21907 2250 9 0 2626855 0
[pid=7273/tid=7275] ppid=7271 vsize=10544484 CPUtime=2.81 cores=0,2,4,6
/proc/7273/task/7275/stat : 7275 (java) R 7271 7273 5088 0 -1 4202560 14426 0 54 0 280 1 0 0 25 0 19 0 902503432 10797551616 21907 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 46912505649728 0 4 0 16800975 0 0 0 -1 2 0 0 20
[pid=7273/tid=7283] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7283/stat : 7283 (java) S 7271 7273 5088 0 -1 4202560 999 0 0 0 0 0 0 0 16 0 19 0 902503434 10797551616 21907 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7284] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7284/stat : 7284 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902503434 10797551616 21907 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7285] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7285/stat : 7285 (java) S 7271 7273 5088 0 -1 4202560 452 0 0 0 0 0 0 0 16 0 19 0 902503434 10797551616 21907 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7286] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7286/stat : 7286 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902503434 10797551616 21907 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7287] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7287/stat : 7287 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902503434 10797551616 21907 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7288] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7288/stat : 7288 (java) S 7271 7273 5088 0 -1 4202560 159 0 0 0 0 0 0 0 15 0 19 0 902503434 10797551616 21907 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=7273/tid=7289] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7289/stat : 7289 (java) S 7271 7273 5088 0 -1 4202560 317 0 0 0 0 0 0 0 15 0 19 0 902503434 10797551616 21907 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7290] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7290/stat : 7290 (java) S 7271 7273 5088 0 -1 4202560 594 0 0 0 0 0 0 0 15 0 19 0 902503434 10797551616 21907 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7297] ppid=7271 vsize=10544484 CPUtime=0.02 cores=0,2,4,6
/proc/7273/task/7297/stat : 7297 (java) S 7271 7273 5088 0 -1 4202560 1840 0 0 0 2 0 0 0 16 0 19 0 902503438 10797551616 21907 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 0 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7306] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7306/stat : 7306 (java) S 7271 7273 5088 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902503440 10797551616 21907 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7307] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7307/stat : 7307 (java) S 7271 7273 5088 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902503440 10797551616 21907 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7311] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7311/stat : 7311 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902503457 10797551616 21907 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447840689 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7313] ppid=7271 vsize=10544484 CPUtime=0.26 cores=0,2,4,6
/proc/7273/task/7313/stat : 7313 (java) S 7271 7273 5088 0 -1 4202560 1783 0 0 0 26 0 0 0 16 0 19 0 902503457 10797551616 21907 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7315] ppid=7271 vsize=10544484 CPUtime=0.25 cores=0,2,4,6
/proc/7273/task/7315/stat : 7315 (java) S 7271 7273 5088 0 -1 4202560 1545 0 1 0 25 0 0 0 15 0 19 0 902503457 10797551616 21907 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7317] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7317/stat : 7317 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902503457 10797551616 21907 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7319] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7319/stat : 7319 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902503457 10797551616 21907 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=7273/tid=7321] ppid=7271 vsize=10544484 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7321/stat : 7321 (java) S 7271 7273 5088 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902503475 10797551616 21907 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 10544484

[startup+6.30099 s]
/proc/loadavg: 1.48 1.10 1.14 3/214 7322
/proc/meminfo: memFree=32295884/32951124 swapFree=67050540/67111528
[pid=7273] ppid=7271 vsize=10543964 CPUtime=6.6 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5088 0 -1 4202496 25440 0 55 0 657 3 0 0 24 0 19 0 902503432 10797019136 23825 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7273/statm: 2635991 23825 2250 9 0 2626725 0
[pid=7273/tid=7275] ppid=7271 vsize=10543964 CPUtime=5.99 cores=0,2,4,6
/proc/7273/task/7275/stat : 7275 (java) R 7271 7273 5088 0 -1 4202560 14428 0 54 0 598 1 0 0 25 0 19 0 902503432 10797019136 23825 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 46912505589492 0 4 0 16800975 0 0 0 -1 2 0 0 20
[pid=7273/tid=7283] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7283/stat : 7283 (java) S 7271 7273 5088 0 -1 4202560 1578 0 0 0 0 0 0 0 15 0 19 0 902503434 10797019136 23825 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7284] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7284/stat : 7284 (java) S 7271 7273 5088 0 -1 4202560 250 0 0 0 0 0 0 0 16 0 19 0 902503434 10797019136 23825 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7285] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7285/stat : 7285 (java) S 7271 7273 5088 0 -1 4202560 452 0 0 0 0 0 0 0 15 0 19 0 902503434 10797019136 23825 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7286] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7286/stat : 7286 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902503434 10797019136 23825 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7287] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7287/stat : 7287 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902503434 10797019136 23825 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7288] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7288/stat : 7288 (java) S 7271 7273 5088 0 -1 4202560 772 0 0 0 0 0 0 0 15 0 19 0 902503434 10797019136 23825 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=7273/tid=7289] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7289/stat : 7289 (java) S 7271 7273 5088 0 -1 4202560 317 0 0 0 0 0 0 0 15 0 19 0 902503434 10797019136 23825 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7290] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7290/stat : 7290 (java) S 7271 7273 5088 0 -1 4202560 931 0 0 0 0 0 0 0 16 0 19 0 902503434 10797019136 23825 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7297] ppid=7271 vsize=10543964 CPUtime=0.03 cores=0,2,4,6
/proc/7273/task/7297/stat : 7297 (java) S 7271 7273 5088 0 -1 4202560 2229 0 0 0 3 0 0 0 15 0 19 0 902503438 10797019136 23825 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 0 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7306] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7306/stat : 7306 (java) S 7271 7273 5088 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902503440 10797019136 23825 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7307] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7307/stat : 7307 (java) S 7271 7273 5088 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902503440 10797019136 23825 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7311] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7311/stat : 7311 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902503457 10797019136 23825 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447840689 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7313] ppid=7271 vsize=10543964 CPUtime=0.27 cores=0,2,4,6
/proc/7273/task/7313/stat : 7313 (java) S 7271 7273 5088 0 -1 4202560 1783 0 0 0 27 0 0 0 15 0 19 0 902503457 10797019136 23825 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7315] ppid=7271 vsize=10543964 CPUtime=0.25 cores=0,2,4,6
/proc/7273/task/7315/stat : 7315 (java) S 7271 7273 5088 0 -1 4202560 1547 0 1 0 25 0 0 0 15 0 19 0 902503457 10797019136 23825 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7317] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7317/stat : 7317 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902503457 10797019136 23825 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7319] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7319/stat : 7319 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902503457 10797019136 23825 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=7273/tid=7321] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7321/stat : 7321 (java) S 7271 7273 5088 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902503475 10797019136 23825 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.6
Current children cumulated vsize (KiB) 10543964

[startup+12.7007 s]

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

[pid=7273/tid=7288] ppid=7271 vsize=10543964 CPUtime=0.62 cores=0,2,4,6
/proc/7273/task/7288/stat : 7288 (java) S 7271 7273 5088 0 -1 4202560 1172 0 0 0 62 0 0 0 15 0 19 0 902503434 10797019136 51151 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7289] ppid=7271 vsize=10543964 CPUtime=0.55 cores=0,2,4,6
/proc/7273/task/7289/stat : 7289 (java) S 7271 7273 5088 0 -1 4202560 1227 0 0 0 55 0 0 0 15 0 19 0 902503434 10797019136 51151 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=7273/tid=7290] ppid=7271 vsize=10543964 CPUtime=0.61 cores=0,2,4,6
/proc/7273/task/7290/stat : 7290 (java) S 7271 7273 5088 0 -1 4202560 2867 0 0 0 61 0 0 0 16 0 19 0 902503434 10797019136 51151 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7297] ppid=7271 vsize=10543964 CPUtime=15.26 cores=0,2,4,6
/proc/7273/task/7297/stat : 7297 (java) S 7271 7273 5088 0 -1 4202560 12913 0 0 0 1518 8 0 0 16 0 19 0 902503438 10797019136 51151 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 0 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7306] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7306/stat : 7306 (java) S 7271 7273 5088 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902503440 10797019136 51151 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7307] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7307/stat : 7307 (java) S 7271 7273 5088 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902503440 10797019136 51151 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7311] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7311/stat : 7311 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902503457 10797019136 51151 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447840689 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7313] ppid=7271 vsize=10543964 CPUtime=0.29 cores=0,2,4,6
/proc/7273/task/7313/stat : 7313 (java) S 7271 7273 5088 0 -1 4202560 2374 0 0 0 29 0 0 0 15 0 19 0 902503457 10797019136 51151 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7315] ppid=7271 vsize=10543964 CPUtime=0.27 cores=0,2,4,6
/proc/7273/task/7315/stat : 7315 (java) S 7271 7273 5088 0 -1 4202560 1551 0 1 0 27 0 0 0 15 0 19 0 902503457 10797019136 51151 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7317] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7317/stat : 7317 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902503457 10797019136 51151 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7319] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7319/stat : 7319 (java) S 7271 7273 5088 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 902503457 10797019136 51151 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7321] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7321/stat : 7321 (java) S 7271 7273 5088 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902503475 10797019136 51151 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1665.71
Current children cumulated vsize (KiB) 10543964

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/214 7369
/proc/meminfo: memFree=31912412/32951124 swapFree=67050540/67111528
[pid=7273] ppid=7271 vsize=10543964 CPUtime=1725.82 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5088 0 -1 4202496 54077 0 55 0 172563 19 0 0 24 0 19 0 902503432 10797019136 51174 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7273/statm: 2635991 51174 2251 9 0 2626725 0
[pid=7273/tid=7275] ppid=7271 vsize=10543964 CPUtime=1704.43 cores=0,2,4,6
/proc/7273/task/7275/stat : 7275 (java) R 7271 7273 5088 0 -1 4202560 20222 0 54 0 170437 6 0 0 25 0 19 0 902503432 10797019136 51174 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 46912505366054 0 4 0 16800975 0 0 0 -1 0 0 0 20
[pid=7273/tid=7283] ppid=7271 vsize=10543964 CPUtime=0.61 cores=0,2,4,6
/proc/7273/task/7283/stat : 7283 (java) S 7271 7273 5088 0 -1 4202560 2791 0 0 0 61 0 0 0 15 0 19 0 902503434 10797019136 51174 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7284] ppid=7271 vsize=10543964 CPUtime=0.6 cores=0,2,4,6
/proc/7273/task/7284/stat : 7284 (java) S 7271 7273 5088 0 -1 4202560 1999 0 0 0 60 0 0 0 15 0 19 0 902503434 10797019136 51174 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7285] ppid=7271 vsize=10543964 CPUtime=0.6 cores=0,2,4,6
/proc/7273/task/7285/stat : 7285 (java) S 7271 7273 5088 0 -1 4202560 2691 0 0 0 60 0 0 0 15 0 19 0 902503434 10797019136 51174 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7286] ppid=7271 vsize=10543964 CPUtime=0.59 cores=0,2,4,6
/proc/7273/task/7286/stat : 7286 (java) S 7271 7273 5088 0 -1 4202560 608 0 0 0 59 0 0 0 15 0 19 0 902503434 10797019136 51174 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=7273/tid=7287] ppid=7271 vsize=10543964 CPUtime=0.57 cores=0,2,4,6
/proc/7273/task/7287/stat : 7287 (java) S 7271 7273 5088 0 -1 4202560 2395 0 0 0 57 0 0 0 16 0 19 0 902503434 10797019136 51174 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=7273/tid=7288] ppid=7271 vsize=10543964 CPUtime=0.64 cores=0,2,4,6
/proc/7273/task/7288/stat : 7288 (java) S 7271 7273 5088 0 -1 4202560 1173 0 0 0 64 0 0 0 15 0 19 0 902503434 10797019136 51174 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=7273/tid=7289] ppid=7271 vsize=10543964 CPUtime=0.58 cores=0,2,4,6
/proc/7273/task/7289/stat : 7289 (java) S 7271 7273 5088 0 -1 4202560 1239 0 0 0 58 0 0 0 15 0 19 0 902503434 10797019136 51174 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=7273/tid=7290] ppid=7271 vsize=10543964 CPUtime=0.63 cores=0,2,4,6
/proc/7273/task/7290/stat : 7290 (java) S 7271 7273 5088 0 -1 4202560 2868 0 0 0 63 0 0 0 15 0 19 0 902503434 10797019136 51174 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7297] ppid=7271 vsize=10543964 CPUtime=15.88 cores=0,2,4,6
/proc/7273/task/7297/stat : 7297 (java) S 7271 7273 5088 0 -1 4202560 12917 0 0 0 1580 8 0 0 16 0 19 0 902503438 10797019136 51174 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 0 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7306] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7306/stat : 7306 (java) S 7271 7273 5088 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902503440 10797019136 51174 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7307] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7307/stat : 7307 (java) S 7271 7273 5088 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902503440 10797019136 51174 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7311] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7311/stat : 7311 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902503457 10797019136 51174 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447840689 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7313] ppid=7271 vsize=10543964 CPUtime=0.29 cores=0,2,4,6
/proc/7273/task/7313/stat : 7313 (java) S 7271 7273 5088 0 -1 4202560 2374 0 0 0 29 0 0 0 15 0 19 0 902503457 10797019136 51174 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7315] ppid=7271 vsize=10543964 CPUtime=0.27 cores=0,2,4,6
/proc/7273/task/7315/stat : 7315 (java) S 7271 7273 5088 0 -1 4202560 1551 0 1 0 27 0 0 0 15 0 19 0 902503457 10797019136 51174 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7317] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7317/stat : 7317 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902503457 10797019136 51174 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7319] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7319/stat : 7319 (java) S 7271 7273 5088 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 902503457 10797019136 51174 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7321] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7321/stat : 7321 (java) S 7271 7273 5088 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902503475 10797019136 51174 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1725.82
Current children cumulated vsize (KiB) 10543964

[startup+1782.3 s]
/proc/loadavg: 2.03 2.00 1.84 3/214 7370
/proc/meminfo: memFree=31910488/32951124 swapFree=67050540/67111528
[pid=7273] ppid=7271 vsize=10543964 CPUtime=1785.89 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5088 0 -1 4202496 54139 0 55 0 178570 19 0 0 24 0 19 0 902503432 10797019136 51216 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7273/statm: 2635991 51216 2251 9 0 2626725 0
[pid=7273/tid=7275] ppid=7271 vsize=10543964 CPUtime=1763.84 cores=0,2,4,6
/proc/7273/task/7275/stat : 7275 (java) R 7271 7273 5088 0 -1 4202560 20236 0 54 0 176378 6 0 0 25 0 19 0 902503432 10797019136 51216 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 46912505630402 0 4 0 16800975 0 0 0 -1 4 0 0 20
[pid=7273/tid=7283] ppid=7271 vsize=10543964 CPUtime=0.63 cores=0,2,4,6
/proc/7273/task/7283/stat : 7283 (java) S 7271 7273 5088 0 -1 4202560 2800 0 0 0 63 0 0 0 16 0 19 0 902503434 10797019136 51216 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7284] ppid=7271 vsize=10543964 CPUtime=0.62 cores=0,2,4,6
/proc/7273/task/7284/stat : 7284 (java) S 7271 7273 5088 0 -1 4202560 1999 0 0 0 62 0 0 0 15 0 19 0 902503434 10797019136 51216 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7285] ppid=7271 vsize=10543964 CPUtime=0.61 cores=0,2,4,6
/proc/7273/task/7285/stat : 7285 (java) S 7271 7273 5088 0 -1 4202560 2700 0 0 0 61 0 0 0 15 0 19 0 902503434 10797019136 51216 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7286] ppid=7271 vsize=10543964 CPUtime=0.61 cores=0,2,4,6
/proc/7273/task/7286/stat : 7286 (java) S 7271 7273 5088 0 -1 4202560 621 0 0 0 61 0 0 0 16 0 19 0 902503434 10797019136 51216 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7287] ppid=7271 vsize=10543964 CPUtime=0.59 cores=0,2,4,6
/proc/7273/task/7287/stat : 7287 (java) S 7271 7273 5088 0 -1 4202560 2402 0 0 0 59 0 0 0 15 0 19 0 902503434 10797019136 51216 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7288] ppid=7271 vsize=10543964 CPUtime=0.65 cores=0,2,4,6
/proc/7273/task/7288/stat : 7288 (java) S 7271 7273 5088 0 -1 4202560 1174 0 0 0 65 0 0 0 15 0 19 0 902503434 10797019136 51216 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7289] ppid=7271 vsize=10543964 CPUtime=0.6 cores=0,2,4,6
/proc/7273/task/7289/stat : 7289 (java) S 7271 7273 5088 0 -1 4202560 1239 0 0 0 60 0 0 0 16 0 19 0 902503434 10797019136 51216 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7290] ppid=7271 vsize=10543964 CPUtime=0.65 cores=0,2,4,6
/proc/7273/task/7290/stat : 7290 (java) S 7271 7273 5088 0 -1 4202560 2871 0 0 0 65 0 0 0 16 0 19 0 902503434 10797019136 51216 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7297] ppid=7271 vsize=10543964 CPUtime=16.42 cores=0,2,4,6
/proc/7273/task/7297/stat : 7297 (java) S 7271 7273 5088 0 -1 4202560 12919 0 0 0 1634 8 0 0 15 0 19 0 902503438 10797019136 51216 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 0 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=7273/tid=7306] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7306/stat : 7306 (java) S 7271 7273 5088 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902503440 10797019136 51216 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7307] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7307/stat : 7307 (java) S 7271 7273 5088 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902503440 10797019136 51216 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7311] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7311/stat : 7311 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902503457 10797019136 51216 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447840689 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7313] ppid=7271 vsize=10543964 CPUtime=0.29 cores=0,2,4,6
/proc/7273/task/7313/stat : 7313 (java) S 7271 7273 5088 0 -1 4202560 2374 0 0 0 29 0 0 0 15 0 19 0 902503457 10797019136 51216 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7315] ppid=7271 vsize=10543964 CPUtime=0.27 cores=0,2,4,6
/proc/7273/task/7315/stat : 7315 (java) S 7271 7273 5088 0 -1 4202560 1551 0 1 0 27 0 0 0 15 0 19 0 902503457 10797019136 51216 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7317] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7317/stat : 7317 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902503457 10797019136 51216 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7319] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7319/stat : 7319 (java) S 7271 7273 5088 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902503457 10797019136 51216 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7321] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7321/stat : 7321 (java) S 7271 7273 5088 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902503475 10797019136 51216 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1785.89
Current children cumulated vsize (KiB) 10543964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.4 s]
/proc/loadavg: 2.02 2.00 1.84 2/194 7374
/proc/meminfo: memFree=32282868/32951124 swapFree=67050540/67111528
[pid=7273] ppid=7271 vsize=10543964 CPUtime=1800.02 cores=0,2,4,6
/proc/7273/stat : 7273 (java) S 7271 7273 5088 0 -1 4202496 54147 0 55 0 179982 20 0 0 24 0 19 0 902503432 10797019136 51218 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7273/statm: 2635991 51218 2251 9 0 2626725 0
[pid=7273/tid=7275] ppid=7271 vsize=10543964 CPUtime=1777.78 cores=0,2,4,6
/proc/7273/task/7275/stat : 7275 (java) R 7271 7273 5088 0 -1 4202560 20240 0 54 0 177772 6 0 0 25 0 19 0 902503432 10797019136 51218 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 46912505714226 0 4 0 16800975 0 0 0 -1 4 0 0 20
[pid=7273/tid=7283] ppid=7271 vsize=10543964 CPUtime=0.63 cores=0,2,4,6
/proc/7273/task/7283/stat : 7283 (java) S 7271 7273 5088 0 -1 4202560 2800 0 0 0 63 0 0 0 16 0 19 0 902503434 10797019136 51218 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=7273/tid=7284] ppid=7271 vsize=10543964 CPUtime=0.62 cores=0,2,4,6
/proc/7273/task/7284/stat : 7284 (java) S 7271 7273 5088 0 -1 4202560 1999 0 0 0 62 0 0 0 15 0 19 0 902503434 10797019136 51218 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7285] ppid=7271 vsize=10543964 CPUtime=0.61 cores=0,2,4,6
/proc/7273/task/7285/stat : 7285 (java) S 7271 7273 5088 0 -1 4202560 2700 0 0 0 61 0 0 0 15 0 19 0 902503434 10797019136 51218 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7286] ppid=7271 vsize=10543964 CPUtime=0.61 cores=0,2,4,6
/proc/7273/task/7286/stat : 7286 (java) S 7271 7273 5088 0 -1 4202560 621 0 0 0 61 0 0 0 15 0 19 0 902503434 10797019136 51218 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7287] ppid=7271 vsize=10543964 CPUtime=0.6 cores=0,2,4,6
/proc/7273/task/7287/stat : 7287 (java) S 7271 7273 5088 0 -1 4202560 2403 0 0 0 60 0 0 0 16 0 19 0 902503434 10797019136 51218 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=7273/tid=7288] ppid=7271 vsize=10543964 CPUtime=0.65 cores=0,2,4,6
/proc/7273/task/7288/stat : 7288 (java) S 7271 7273 5088 0 -1 4202560 1174 0 0 0 65 0 0 0 15 0 19 0 902503434 10797019136 51218 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=7273/tid=7289] ppid=7271 vsize=10543964 CPUtime=0.61 cores=0,2,4,6
/proc/7273/task/7289/stat : 7289 (java) S 7271 7273 5088 0 -1 4202560 1240 0 0 0 61 0 0 0 16 0 19 0 902503434 10797019136 51218 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=7273/tid=7290] ppid=7271 vsize=10543964 CPUtime=0.65 cores=0,2,4,6
/proc/7273/task/7290/stat : 7290 (java) S 7271 7273 5088 0 -1 4202560 2871 0 0 0 65 0 0 0 16 0 19 0 902503434 10797019136 51218 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7297] ppid=7271 vsize=10543964 CPUtime=16.58 cores=0,2,4,6
/proc/7273/task/7297/stat : 7297 (java) S 7271 7273 5088 0 -1 4202560 12921 0 0 0 1650 8 0 0 15 0 19 0 902503438 10797019136 51218 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 0 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7306] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7306/stat : 7306 (java) S 7271 7273 5088 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902503440 10797019136 51218 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7307] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7307/stat : 7307 (java) S 7271 7273 5088 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902503440 10797019136 51218 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7311] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7311/stat : 7311 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902503457 10797019136 51218 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447840689 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7313] ppid=7271 vsize=10543964 CPUtime=0.29 cores=0,2,4,6
/proc/7273/task/7313/stat : 7313 (java) S 7271 7273 5088 0 -1 4202560 2374 0 0 0 29 0 0 0 15 0 19 0 902503457 10797019136 51218 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=7273/tid=7315] ppid=7271 vsize=10543964 CPUtime=0.27 cores=0,2,4,6
/proc/7273/task/7315/stat : 7315 (java) S 7271 7273 5088 0 -1 4202560 1551 0 1 0 27 0 0 0 15 0 19 0 902503457 10797019136 51218 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=7273/tid=7317] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7317/stat : 7317 (java) S 7271 7273 5088 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902503457 10797019136 51218 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=7273/tid=7319] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7319/stat : 7319 (java) S 7271 7273 5088 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902503457 10797019136 51218 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=7273/tid=7321] ppid=7271 vsize=10543964 CPUtime=0 cores=0,2,4,6
/proc/7273/task/7321/stat : 7321 (java) S 7271 7273 5088 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902503475 10797019136 51218 33554432000 1073741824 1073778376 140733688078688 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10543964

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): 1796.46
CPU time (s): 1800.1
CPU user time (s): 1799.89
CPU system time (s): 0.209968
CPU usage (%): 100.203
Max. virtual memory (cumulated for all children) (KiB): 10544484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.209968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54216
page faults= 55
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49827
involuntary context switches= 20212

runsolver used 3.2695 second user time and 6.581 second system time

The end

Launcher Data 

Begin job on node102 at 2011-06-12 22:03:31
IDJOB=3492297
IDBENCH=78734
IDSOLVER=1982
FILE ID=node102/3492297-1307909011
RUNJOBID= node102-1307909011-7257
PBS_JOBID= 13559600
Free space on /tmp= 74136 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3492297-1307909011/watcher-3492297-1307909011 -o /tmp/evaluation-result-3492297-1307909011/solver-3492297-1307909011 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492297-1307909011.wbo

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

MD5SUM BENCH= b19b36a9eeef0aa91319f6277ed84276
RANDOM SEED=198061168

node102.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.828
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.65
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.828
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	: 5226.15
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.828
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.82
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.828
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.828
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.82
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.828
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.75
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.828
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.828
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:      32489764 kB
Buffers:        117968 kB
Cached:         125492 kB
SwapCached:      25148 kB
Active:         168188 kB
Inactive:       105076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32489764 kB
SwapTotal:    67111528 kB
SwapFree:     67050540 kB
Dirty:             408 kB
Writeback:           0 kB
AnonPages:       27104 kB
Mapped:           8848 kB
Slab:           121656 kB
PageTables:       4676 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   193512 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74132 MiB
End job on node102 at 2011-06-12 22:33:29