Trace number 3492577

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.09 1797.03

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo
MD5SUM168e81c26eea0b6e6155adb2f3f4d195
Bench CategorySOFT-SMALLINT-LIN (only soft 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.080986
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables930
Total number of constraints61
Number of soft constraints61
Number of constraints which are clauses31
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint31
Top cost 3358
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3357
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 32
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.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492577-1307910902.wbo
0.10/0.11	c reading problem ... 
0.10/0.18	c ... done. Wall clock time 0.071s.
0.10/0.18	c #vars     991
0.10/0.18	c #constraints  61
0.10/0.18	c constraints type 
0.10/0.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 31
0.10/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30
0.55/0.31	c SATISFIABLE
0.55/0.31	c OPTIMIZING...
0.55/0.31	c Got one! Elapsed wall clock time (in seconds):0.198
0.55/0.31	o 135
0.55/0.34	c Got one! Elapsed wall clock time (in seconds):0.235
0.55/0.34	o 56
0.55/0.38	c Got one! Elapsed wall clock time (in seconds):0.271
0.55/0.38	o 33
0.74/0.42	c Got one! Elapsed wall clock time (in seconds):0.315
0.74/0.42	o 7
0.74/0.49	c Got one! Elapsed wall clock time (in seconds):0.382
0.74/0.49	o 3
0.88/0.56	c Got one! Elapsed wall clock time (in seconds):0.447
0.88/0.56	o 2
1.08/0.71	c Got one! Elapsed wall clock time (in seconds):0.601
1.08/0.71	o 1
1.80/1.45	c cleaning 3653 clauses out of 7496 with flag 4000/7496
3.76/3.35	c cleaning 4874 clauses out of 9844 with flag 10001/13497
6.66/6.27	c cleaning 5979 clauses out of 11969 with flag 17000/20496
10.14/9.63	c cleaning 6990 clauses out of 13990 with flag 25000/28496
13.96/13.41	c cleaning 7998 clauses out of 16001 with flag 34001/37497
18.58/18.05	c cleaning 9000 clauses out of 18003 with flag 44001/47497
23.18/22.66	c cleaning 9498 clauses out of 19002 with flag 54000/57496
27.49/26.95	c cleaning 9748 clauses out of 19507 with flag 64003/67499
32.60/32.05	c cleaning 9875 clauses out of 19758 with flag 74002/77498
37.21/36.63	c cleaning 9936 clauses out of 19881 with flag 84000/87496
41.82/41.29	c cleaning 9970 clauses out of 19950 with flag 94005/97501
45.93/45.34	c cleaning 9982 clauses out of 19976 with flag 104001/107497
50.04/49.45	c cleaning 9994 clauses out of 19993 with flag 114000/117496
54.54/53.92	c cleaning 9991 clauses out of 20002 with flag 124003/127499
59.05/58.49	c cleaning 10001 clauses out of 20009 with flag 134001/137497
63.65/63.04	c cleaning 9997 clauses out of 20008 with flag 144001/147497
68.15/67.58	c cleaning 10003 clauses out of 20014 with flag 154004/157500
72.46/71.84	c cleaning 9997 clauses out of 20009 with flag 164002/167498
76.58/75.91	c cleaning 9998 clauses out of 20011 with flag 174001/177497
81.48/80.84	c cleaning 9995 clauses out of 20012 with flag 184000/187496
86.49/85.82	c cleaning 10003 clauses out of 20017 with flag 194000/197496
90.90/90.22	c cleaning 10002 clauses out of 20014 with flag 204000/207496
94.71/94.08	c cleaning 10002 clauses out of 20013 with flag 214001/217497
99.11/98.40	c cleaning 10001 clauses out of 20012 with flag 224002/227498
103.32/102.67	c cleaning 10000 clauses out of 20010 with flag 234001/237497
107.23/106.54	c cleaning 9990 clauses out of 20009 with flag 244000/247496
111.43/110.73	c cleaning 10004 clauses out of 20019 with flag 254000/257496
115.64/114.90	c cleaning 9990 clauses out of 20015 with flag 264000/267496
120.34/119.68	c cleaning 10000 clauses out of 20026 with flag 274001/277497
124.86/124.13	c cleaning 10000 clauses out of 20026 with flag 284001/287497
128.47/127.75	c cleaning 9996 clauses out of 20026 with flag 294001/297497
133.17/132.43	c cleaning 9993 clauses out of 20029 with flag 304000/307496
137.09/136.36	c cleaning 10004 clauses out of 20043 with flag 314007/317503
141.19/140.42	c cleaning 9986 clauses out of 20035 with flag 324003/327499
145.20/144.40	c cleaning 9992 clauses out of 20048 with flag 334002/337498
149.01/148.21	c cleaning 9993 clauses out of 20055 with flag 344001/347497
152.42/151.65	c cleaning 9998 clauses out of 20063 with flag 354002/357498
155.73/154.97	c cleaning 9997 clauses out of 20063 with flag 364000/367496
159.03/158.26	c cleaning 10001 clauses out of 20069 with flag 374003/377499
162.64/161.81	c cleaning 9997 clauses out of 20066 with flag 384001/387497
166.54/165.77	c cleaning 10028 clauses out of 20070 with flag 394002/397498
170.75/169.99	c cleaning 10018 clauses out of 20042 with flag 404002/407498
174.85/174.03	c cleaning 9993 clauses out of 20024 with flag 414002/417498
178.35/177.55	c cleaning 9996 clauses out of 20029 with flag 424000/427496
182.27/181.47	c cleaning 9996 clauses out of 20034 with flag 434001/437497
187.17/186.33	c cleaning 10005 clauses out of 20037 with flag 444000/447496
191.87/191.01	c cleaning 10013 clauses out of 20035 with flag 454003/457499
196.68/195.82	c cleaning 9979 clauses out of 20022 with flag 464003/467499
200.88/200.10	c cleaning 9983 clauses out of 20040 with flag 474000/477496
205.78/204.91	c cleaning 9985 clauses out of 20059 with flag 484002/487498
210.59/209.70	c cleaning 9982 clauses out of 20074 with flag 494002/497498
215.31/214.44	c cleaning 9975 clauses out of 20090 with flag 504000/507496
220.11/219.30	c cleaning 10001 clauses out of 20115 with flag 514000/517496
223.91/223.06	c cleaning 10019 clauses out of 20114 with flag 524000/527496
227.62/226.70	c cleaning 10050 clauses out of 20101 with flag 534006/537502
231.62/230.77	c cleaning 9988 clauses out of 20045 with flag 544000/547496
235.33/234.42	c cleaning 10001 clauses out of 20058 with flag 554001/557497
238.44/237.57	c cleaning 9983 clauses out of 20057 with flag 564001/567497
242.25/241.37	c cleaning 9985 clauses out of 20075 with flag 574002/577498
246.45/245.57	c cleaning 10010 clauses out of 20089 with flag 584001/587497
250.16/249.21	c cleaning 9972 clauses out of 20078 with flag 594000/597496
254.46/253.50	c cleaning 10000 clauses out of 20108 with flag 604002/607498
258.97/258.09	c cleaning 10000 clauses out of 20106 with flag 614000/617496
263.08/262.13	c cleaning 10009 clauses out of 20107 with flag 624001/627497
266.81/265.87	c cleaning 10028 clauses out of 20098 with flag 634001/637497
271.02/270.01	c cleaning 10010 clauses out of 20069 with flag 644000/647496
275.23/274.21	c cleaning 10006 clauses out of 20062 with flag 654003/657499
278.34/277.37	c cleaning 9975 clauses out of 20053 with flag 664000/667496
281.65/280.63	c cleaning 10020 clauses out of 20079 with flag 674001/677497
284.56/283.50	c cleaning 10003 clauses out of 20059 with flag 684001/687497
287.86/286.80	c cleaning 9987 clauses out of 20058 with flag 694003/697499
291.17/290.16	c cleaning 9987 clauses out of 20068 with flag 704000/707496
294.88/293.84	c cleaning 9982 clauses out of 20082 with flag 714001/717497
297.48/296.44	c cleaning 9987 clauses out of 20099 with flag 724000/727496
300.59/299.51	c cleaning 9987 clauses out of 20114 with flag 734002/737498
303.39/302.35	c cleaning 9993 clauses out of 20126 with flag 744001/747497
306.50/305.49	c cleaning 10000 clauses out of 20138 with flag 754006/757502
309.70/308.67	c cleaning 9995 clauses out of 20134 with flag 764002/767498
313.21/312.17	c cleaning 9998 clauses out of 20137 with flag 774000/777496
316.11/315.03	c cleaning 9993 clauses out of 20140 with flag 784001/787497
319.22/318.15	c cleaning 10002 clauses out of 20148 with flag 794002/797498
322.23/321.16	c cleaning 9976 clauses out of 20144 with flag 804000/807496
325.53/324.47	c cleaning 9984 clauses out of 20168 with flag 814000/817496
328.33/327.22	c cleaning 10023 clauses out of 20185 with flag 824001/827497
331.24/330.17	c cleaning 9998 clauses out of 20164 with flag 834003/837499
334.04/333.00	c cleaning 9996 clauses out of 20163 with flag 844000/847496
337.05/335.91	c cleaning 9980 clauses out of 20167 with flag 854000/857496
340.05/338.93	c cleaning 9998 clauses out of 20187 with flag 864000/867496
342.96/341.82	c cleaning 10010 clauses out of 20189 with flag 874000/877496
345.47/344.40	c cleaning 10066 clauses out of 20180 with flag 884001/887497
348.17/347.04	c cleaning 10043 clauses out of 20113 with flag 894000/897496
350.58/349.49	c cleaning 10007 clauses out of 20071 with flag 904001/907497
353.48/352.39	c cleaning 9987 clauses out of 20063 with flag 914000/917496
355.79/354.65	c cleaning 10019 clauses out of 20078 with flag 924002/927498
359.30/358.17	c cleaning 10008 clauses out of 20059 with flag 934002/937498
361.41/360.24	c cleaning 10010 clauses out of 20052 with flag 944003/947499
363.91/362.73	c cleaning 10007 clauses out of 20041 with flag 954002/957498
366.62/365.43	c cleaning 10001 clauses out of 20032 with flag 964000/967496
369.43/368.26	c cleaning 9986 clauses out of 20033 with flag 974002/977498
372.63/371.44	c cleaning 9991 clauses out of 20045 with flag 984000/987496
375.83/374.61	c cleaning 9992 clauses out of 20055 with flag 994001/997497
378.94/377.80	c cleaning 10001 clauses out of 20065 with flag 1004003/1007499
381.75/380.60	c cleaning 10015 clauses out of 20061 with flag 1014000/1017496
384.25/383.06	c cleaning 10003 clauses out of 20046 with flag 1024000/1027496
386.86/385.61	c cleaning 10006 clauses out of 20045 with flag 1034002/1037498
389.27/388.06	c cleaning 10001 clauses out of 20037 with flag 1044000/1047496
391.47/390.24	c cleaning 9996 clauses out of 20037 with flag 1054001/1057497
394.28/393.01	c cleaning 10007 clauses out of 20041 with flag 1064001/1067497
397.08/395.82	c cleaning 10001 clauses out of 20034 with flag 1074001/1077497
399.50/398.29	c cleaning 10000 clauses out of 20039 with flag 1084007/1087503
402.49/401.26	c cleaning 9981 clauses out of 20034 with flag 1094002/1097498
405.30/404.06	c cleaning 10000 clauses out of 20051 with flag 1104000/1107496
408.40/407.16	c cleaning 10004 clauses out of 20054 with flag 1114003/1117499
411.61/410.37	c cleaning 10000 clauses out of 20047 with flag 1124000/1127496
414.82/413.53	c cleaning 9995 clauses out of 20047 with flag 1134000/1137496
418.32/417.09	c cleaning 10003 clauses out of 20053 with flag 1144001/1147497
421.22/419.98	c cleaning 9998 clauses out of 20052 with flag 1154003/1157499
424.73/423.49	c cleaning 9988 clauses out of 20051 with flag 1164000/1167496
428.63/427.35	c cleaning 10010 clauses out of 20067 with flag 1174004/1177500
431.14/429.87	c cleaning 10016 clauses out of 20054 with flag 1184001/1187497
433.84/432.56	c cleaning 10009 clauses out of 20041 with flag 1194004/1197500
436.45/435.14	c cleaning 9999 clauses out of 20028 with flag 1204000/1207496
439.16/437.81	c cleaning 9998 clauses out of 20029 with flag 1214000/1217496
441.85/440.59	c cleaning 10002 clauses out of 20031 with flag 1224000/1227496
444.76/443.49	c cleaning 10002 clauses out of 20029 with flag 1234000/1237496
447.36/446.08	c cleaning 10001 clauses out of 20028 with flag 1244001/1247497
450.17/448.89	c cleaning 10003 clauses out of 20028 with flag 1254002/1257498
452.87/451.56	c cleaning 9998 clauses out of 20023 with flag 1264000/1267496
455.38/454.04	c cleaning 9997 clauses out of 20025 with flag 1274000/1277496
458.18/456.80	c cleaning 10001 clauses out of 20031 with flag 1284003/1287499
460.78/459.48	c cleaning 9997 clauses out of 20027 with flag 1294000/1297496
463.39/462.08	c cleaning 10005 clauses out of 20034 with flag 1304004/1307500
466.10/464.73	c cleaning 10000 clauses out of 20025 with flag 1314000/1317496
468.60/467.24	c cleaning 10013 clauses out of 20025 with flag 1324000/1327496
470.80/469.43	c cleaning 9949 clauses out of 20012 with flag 1334000/1337496
473.22/471.81	c cleaning 9956 clauses out of 20063 with flag 1344000/1347496
475.71/474.30	c cleaning 9995 clauses out of 20107 with flag 1354000/1357496
478.02/476.68	c cleaning 10033 clauses out of 20112 with flag 1364000/1367496
480.63/479.27	c cleaning 10017 clauses out of 20080 with flag 1374001/1377497
483.14/481.78	c cleaning 10020 clauses out of 20062 with flag 1384000/1387496
485.84/484.46	c cleaning 10008 clauses out of 20044 with flag 1394002/1397498
488.54/487.15	c cleaning 10008 clauses out of 20035 with flag 1404001/1407497
490.95/489.51	c cleaning 9988 clauses out of 20026 with flag 1414000/1417496
493.75/492.30	c cleaning 9996 clauses out of 20041 with flag 1424003/1427499
496.36/494.95	c cleaning 9995 clauses out of 20042 with flag 1434000/1437496
498.96/497.54	c cleaning 9998 clauses out of 20048 with flag 1444001/1447497
501.56/500.10	c cleaning 10014 clauses out of 20051 with flag 1454002/1457498
504.47/503.02	c cleaning 9970 clauses out of 20036 with flag 1464001/1467497
507.38/506.00	c cleaning 10015 clauses out of 20065 with flag 1474000/1477496
510.48/509.07	c cleaning 9999 clauses out of 20051 with flag 1484001/1487497
513.69/512.27	c cleaning 10013 clauses out of 20054 with flag 1494003/1497499
516.70/515.23	c cleaning 9986 clauses out of 20039 with flag 1504001/1507497
520.00/518.52	c cleaning 10020 clauses out of 20053 with flag 1514001/1517497
522.51/521.02	c cleaning 10002 clauses out of 20032 with flag 1524000/1527496
525.21/523.70	c cleaning 10002 clauses out of 20032 with flag 1534002/1537498
527.92/526.46	c cleaning 10001 clauses out of 20030 with flag 1544002/1547498
530.53/529.04	c cleaning 10000 clauses out of 20030 with flag 1554003/1557499
533.13/531.63	c cleaning 10000 clauses out of 20027 with flag 1564000/1567496
535.53/534.08	c cleaning 9998 clauses out of 20027 with flag 1574000/1577496
538.34/536.89	c cleaning 10000 clauses out of 20031 with flag 1584002/1587498
540.94/539.44	c cleaning 10000 clauses out of 20031 with flag 1594002/1597498
543.65/542.17	c cleaning 9999 clauses out of 20029 with flag 1604000/1607496
546.55/545.01	c cleaning 9998 clauses out of 20032 with flag 1614002/1617498
548.75/547.23	c cleaning 10003 clauses out of 20032 with flag 1624000/1627496
551.57/550.04	c cleaning 10004 clauses out of 20031 with flag 1634002/1637498
554.66/553.18	c cleaning 9992 clauses out of 20026 with flag 1644001/1647497
557.87/556.32	c cleaning 10005 clauses out of 20033 with flag 1654000/1657496
560.48/558.91	c cleaning 10003 clauses out of 20030 with flag 1664002/1667498
563.38/561.88	c cleaning 10003 clauses out of 20029 with flag 1674004/1677500
566.28/564.73	c cleaning 9993 clauses out of 20027 with flag 1684005/1687501
569.29/567.72	c cleaning 10002 clauses out of 20029 with flag 1694000/1697496
571.99/570.40	c cleaning 10002 clauses out of 20028 with flag 1704001/1707497
574.99/573.47	c cleaning 10001 clauses out of 20025 with flag 1714000/1717496
578.10/576.54	c cleaning 10002 clauses out of 20026 with flag 1724002/1727498
580.80/579.28	c cleaning 9997 clauses out of 20022 with flag 1734000/1737496
583.90/582.36	c cleaning 10003 clauses out of 20027 with flag 1744002/1747498
587.00/585.48	c cleaning 9998 clauses out of 20023 with flag 1754001/1757497
589.81/588.25	c cleaning 10002 clauses out of 20025 with flag 1764001/1767497
592.71/591.18	c cleaning 9983 clauses out of 20022 with flag 1774000/1777496
596.11/594.57	c cleaning 9991 clauses out of 20040 with flag 1784001/1787497
599.61/598.05	c cleaning 9986 clauses out of 20048 with flag 1794000/1797496
602.72/601.14	c cleaning 10003 clauses out of 20064 with flag 1804002/1807498
605.92/604.37	c cleaning 10001 clauses out of 20059 with flag 1814000/1817496
609.33/607.79	c cleaning 9999 clauses out of 20058 with flag 1824000/1827496
612.83/611.23	c cleaning 10003 clauses out of 20061 with flag 1834002/1837498
616.24/614.66	c cleaning 10002 clauses out of 20058 with flag 1844002/1847498
619.64/618.03	c cleaning 9995 clauses out of 20054 with flag 1854000/1857496
623.25/621.63	c cleaning 10001 clauses out of 20059 with flag 1864000/1867496
626.65/625.02	c cleaning 10000 clauses out of 20059 with flag 1874001/1877497
629.85/628.24	c cleaning 9999 clauses out of 20059 with flag 1884001/1887497
633.25/631.61	c cleaning 10001 clauses out of 20060 with flag 1894001/1897497
636.66/635.03	c cleaning 9999 clauses out of 20059 with flag 1904001/1907497
640.16/638.56	c cleaning 10001 clauses out of 20059 with flag 1914000/1917496
643.67/642.00	c cleaning 9998 clauses out of 20058 with flag 1924000/1927496
646.87/645.29	c cleaning 10001 clauses out of 20062 with flag 1934002/1937498
650.08/648.44	c cleaning 9994 clauses out of 20059 with flag 1944000/1947496
653.58/651.93	c cleaning 10001 clauses out of 20065 with flag 1954000/1957496
656.88/655.29	c cleaning 10005 clauses out of 20067 with flag 1964003/1967499
660.18/658.56	c cleaning 10002 clauses out of 20062 with flag 1974003/1977499
663.39/661.77	c cleaning 10001 clauses out of 20058 with flag 1984001/1987497
665.69/664.09	c cleaning 10013 clauses out of 20057 with flag 1994001/1997497
668.20/666.52	c cleaning 9992 clauses out of 20043 with flag 2004000/2007496
671.51/669.83	c cleaning 10006 clauses out of 20053 with flag 2014002/2017498
674.51/672.80	c cleaning 9947 clauses out of 20045 with flag 2024000/2027496
677.22/675.56	c cleaning 9992 clauses out of 20099 with flag 2034001/2037497
680.72/679.01	c cleaning 9979 clauses out of 20111 with flag 2044005/2047501
683.73/682.08	c cleaning 10023 clauses out of 20128 with flag 2054001/2057497
686.33/684.63	c cleaning 10008 clauses out of 20104 with flag 2064000/2067496
689.15/687.47	c cleaning 9989 clauses out of 20096 with flag 2074000/2077496
691.95/690.20	c cleaning 9998 clauses out of 20109 with flag 2084002/2087498
695.45/693.75	c cleaning 9983 clauses out of 20111 with flag 2094002/2097498
699.85/698.18	c cleaning 9990 clauses out of 20129 with flag 2104003/2107499
703.87/702.17	c cleaning 9987 clauses out of 20137 with flag 2114001/2117497
707.07/705.36	c cleaning 9861 clauses out of 20149 with flag 2124000/2127496
711.88/710.18	c cleaning 9915 clauses out of 20290 with flag 2134002/2137498
716.48/714.79	c cleaning 10013 clauses out of 20373 with flag 2144000/2147496
720.90/719.16	c cleaning 9992 clauses out of 20361 with flag 2154001/2157497
723.80/722.05	c cleaning 9929 clauses out of 20368 with flag 2164000/2167496
727.51/725.75	c cleaning 9979 clauses out of 20440 with flag 2174001/2177497
731.12/729.40	c cleaning 10105 clauses out of 20460 with flag 2184000/2187496
734.23/732.40	c cleaning 10099 clauses out of 20358 with flag 2194003/2197499
737.03/735.29	c cleaning 10047 clauses out of 20257 with flag 2204001/2207497
739.94/738.12	c cleaning 10024 clauses out of 20210 with flag 2214001/2217497
742.94/741.11	c cleaning 10009 clauses out of 20185 with flag 2224000/2227496
745.95/744.10	c cleaning 10002 clauses out of 20177 with flag 2234001/2237497
749.25/747.40	c cleaning 10007 clauses out of 20177 with flag 2244003/2247499
752.26/750.42	c cleaning 10021 clauses out of 20168 with flag 2254001/2257497
755.27/753.43	c cleaning 10003 clauses out of 20146 with flag 2264000/2267496
758.07/756.28	c cleaning 10005 clauses out of 20144 with flag 2274001/2277497
760.88/759.07	c cleaning 10006 clauses out of 20138 with flag 2284000/2287496
764.28/762.43	c cleaning 10000 clauses out of 20133 with flag 2294001/2297497
767.58/765.73	c cleaning 10004 clauses out of 20134 with flag 2304002/2307498
771.28/769.48	c cleaning 10002 clauses out of 20128 with flag 2314000/2317496
774.48/772.66	c cleaning 10001 clauses out of 20127 with flag 2324001/2327497
777.58/775.78	c cleaning 10000 clauses out of 20125 with flag 2334000/2337496
780.89/779.03	c cleaning 9992 clauses out of 20126 with flag 2344001/2347497
784.09/782.26	c cleaning 10003 clauses out of 20134 with flag 2354001/2357497
787.30/785.47	c cleaning 10001 clauses out of 20130 with flag 2364000/2367496
790.39/788.60	c cleaning 10001 clauses out of 20130 with flag 2374001/2377497
793.50/791.64	c cleaning 10000 clauses out of 20128 with flag 2384000/2387496
796.40/794.58	c cleaning 10002 clauses out of 20130 with flag 2394002/2397498
799.10/797.23	c cleaning 10001 clauses out of 20126 with flag 2404000/2407496
802.40/800.52	c cleaning 9998 clauses out of 20125 with flag 2414000/2417496
805.51/803.61	c cleaning 10000 clauses out of 20128 with flag 2424001/2427497
808.12/806.21	c cleaning 10038 clauses out of 20128 with flag 2434001/2437497
811.12/809.23	c cleaning 10022 clauses out of 20089 with flag 2444000/2447496
814.42/812.58	c cleaning 10015 clauses out of 20069 with flag 2454002/2457498
817.92/816.01	c cleaning 10011 clauses out of 20057 with flag 2464005/2467501
821.43/819.57	c cleaning 10003 clauses out of 20042 with flag 2474001/2477497
824.74/822.83	c cleaning 10000 clauses out of 20040 with flag 2484002/2487498
827.94/826.08	c cleaning 10000 clauses out of 20039 with flag 2494001/2497497
831.24/829.34	c cleaning 10001 clauses out of 20039 with flag 2504001/2507497
834.56/832.61	c cleaning 9999 clauses out of 20037 with flag 2514000/2517496
838.15/836.22	c cleaning 9992 clauses out of 20039 with flag 2524001/2527497
841.56/839.61	c cleaning 9997 clauses out of 20048 with flag 2534002/2537498
844.86/842.98	c cleaning 10007 clauses out of 20051 with flag 2544002/2547498
848.26/846.37	c cleaning 9997 clauses out of 20042 with flag 2554000/2557496
851.66/849.79	c cleaning 10000 clauses out of 20045 with flag 2564000/2567496
855.17/853.20	c cleaning 10007 clauses out of 20047 with flag 2574002/2577498
858.77/856.87	c cleaning 9997 clauses out of 20038 with flag 2584000/2587496
862.27/860.32	c cleaning 10001 clauses out of 20041 with flag 2594000/2597496
865.58/863.66	c cleaning 10001 clauses out of 20040 with flag 2604000/2607496
869.08/867.17	c cleaning 10000 clauses out of 20041 with flag 2614002/2617498
872.38/870.43	c cleaning 9998 clauses out of 20039 with flag 2624000/2627496
875.39/873.49	c cleaning 10001 clauses out of 20043 with flag 2634002/2637498
878.69/876.80	c cleaning 9994 clauses out of 20041 with flag 2644001/2647497
881.79/879.80	c cleaning 10004 clauses out of 20047 with flag 2654001/2657497
885.09/883.19	c cleaning 10000 clauses out of 20045 with flag 2664003/2667499
888.19/886.24	c cleaning 10000 clauses out of 20044 with flag 2674002/2677498
891.29/889.35	c cleaning 9998 clauses out of 20043 with flag 2684001/2687497
894.30/892.38	c cleaning 10003 clauses out of 20046 with flag 2694002/2697498
897.80/895.82	c cleaning 9996 clauses out of 20041 with flag 2704000/2707496
901.21/899.25	c cleaning 10002 clauses out of 20046 with flag 2714001/2717497
904.71/902.79	c cleaning 10001 clauses out of 20045 with flag 2724002/2727498
908.42/906.43	c cleaning 10000 clauses out of 20045 with flag 2734003/2737499
911.63/909.69	c cleaning 10000 clauses out of 20045 with flag 2744003/2747499
915.12/913.15	c cleaning 10000 clauses out of 20046 with flag 2754004/2757500
918.43/916.47	c cleaning 9999 clauses out of 20042 with flag 2764000/2767496
922.03/920.06	c cleaning 10000 clauses out of 20045 with flag 2774002/2777498
925.33/923.36	c cleaning 10001 clauses out of 20046 with flag 2784003/2787499
928.53/926.59	c cleaning 9997 clauses out of 20042 with flag 2794000/2797496
931.73/929.78	c cleaning 10003 clauses out of 20046 with flag 2804001/2807497
935.14/933.15	c cleaning 9998 clauses out of 20046 with flag 2814004/2817500
938.44/936.45	c cleaning 10001 clauses out of 20045 with flag 2824001/2827497
941.84/939.86	c cleaning 9997 clauses out of 20043 with flag 2834000/2837496
945.04/943.04	c cleaning 10002 clauses out of 20046 with flag 2844000/2847496
948.64/946.68	c cleaning 10003 clauses out of 20045 with flag 2854001/2857497
952.15/950.15	c cleaning 9997 clauses out of 20042 with flag 2864001/2867497
955.25/953.28	c cleaning 9999 clauses out of 20044 with flag 2874000/2877496
958.96/956.92	c cleaning 10001 clauses out of 20046 with flag 2884001/2887497
962.16/960.19	c cleaning 10004 clauses out of 20048 with flag 2894004/2897500
965.06/963.07	c cleaning 9997 clauses out of 20041 with flag 2904001/2907497
968.36/966.32	c cleaning 10002 clauses out of 20043 with flag 2914000/2917496
971.17/969.13	c cleaning 9999 clauses out of 20041 with flag 2924000/2927496
974.66/972.62	c cleaning 9996 clauses out of 20042 with flag 2934000/2937496
978.27/976.21	c cleaning 10002 clauses out of 20047 with flag 2944001/2947497
981.47/979.44	c cleaning 10001 clauses out of 20044 with flag 2954000/2957496
984.88/982.83	c cleaning 9999 clauses out of 20044 with flag 2964001/2967497
988.88/986.85	c cleaning 10001 clauses out of 20048 with flag 2974004/2977500
992.38/990.37	c cleaning 10002 clauses out of 20046 with flag 2984003/2987499
994.59/992.52	c cleaning 9961 clauses out of 20042 with flag 2994001/2997497
996.79/994.74	c cleaning 10015 clauses out of 20081 with flag 3004001/3007497
1000.11/998.03	c cleaning 10004 clauses out of 20066 with flag 3014001/3017497
1002.61/1000.51	c cleaning 9929 clauses out of 20063 with flag 3024002/3027498
1005.41/1003.39	c cleaning 9944 clauses out of 20134 with flag 3034002/3037498
1009.22/1007.17	c cleaning 9917 clauses out of 20189 with flag 3044001/3047497
1013.23/1011.17	c cleaning 9923 clauses out of 20272 with flag 3054001/3057497
1017.84/1015.79	c cleaning 9890 clauses out of 20348 with flag 3064000/3067496
1022.15/1020.02	c cleaning 10026 clauses out of 20460 with flag 3074002/3077498
1025.67/1023.59	c cleaning 10035 clauses out of 20432 with flag 3084000/3087496
1028.07/1025.93	c cleaning 10124 clauses out of 20397 with flag 3094000/3097496
1030.88/1028.72	c cleaning 10060 clauses out of 20277 with flag 3104004/3107500
1033.79/1031.68	c cleaning 10030 clauses out of 20214 with flag 3114001/3117497
1036.29/1034.16	c cleaning 10075 clauses out of 20183 with flag 3124000/3127496
1039.00/1036.84	c cleaning 10031 clauses out of 20109 with flag 3134001/3137497
1041.90/1039.77	c cleaning 10022 clauses out of 20080 with flag 3144003/3147499
1044.70/1042.51	c cleaning 10004 clauses out of 20063 with flag 3154008/3157504
1047.40/1045.25	c cleaning 10002 clauses out of 20051 with flag 3164000/3167496
1050.11/1047.94	c cleaning 9999 clauses out of 20049 with flag 3174000/3177496
1052.81/1050.66	c cleaning 9996 clauses out of 20053 with flag 3184003/3187499
1055.81/1053.69	c cleaning 9999 clauses out of 20056 with flag 3194002/3197498
1058.62/1056.47	c cleaning 9997 clauses out of 20055 with flag 3204000/3207496
1061.42/1059.30	c cleaning 9994 clauses out of 20058 with flag 3214000/3217496
1064.22/1062.07	c cleaning 10002 clauses out of 20064 with flag 3224000/3227496
1067.13/1064.99	c cleaning 10000 clauses out of 20065 with flag 3234003/3237499
1069.93/1067.70	c cleaning 9998 clauses out of 20062 with flag 3244000/3247496
1072.63/1070.44	c cleaning 10001 clauses out of 20065 with flag 3254001/3257497
1075.34/1073.17	c cleaning 10000 clauses out of 20064 with flag 3264001/3267497
1078.24/1076.05	c cleaning 10003 clauses out of 20065 with flag 3274002/3277498
1080.54/1078.31	c cleaning 10013 clauses out of 20062 with flag 3284002/3287498
1083.35/1081.15	c cleaning 10005 clauses out of 20048 with flag 3294001/3297497
1086.35/1084.15	c cleaning 10007 clauses out of 20044 with flag 3304002/3307498
1089.25/1087.07	c cleaning 9999 clauses out of 20036 with flag 3314001/3317497
1092.16/1089.94	c cleaning 9996 clauses out of 20036 with flag 3324000/3327496
1095.06/1092.84	c cleaning 10004 clauses out of 20041 with flag 3334001/3337497
1097.96/1095.72	c cleaning 10003 clauses out of 20038 with flag 3344002/3347498
1100.96/1098.70	c cleaning 10002 clauses out of 20035 with flag 3354002/3357498
1103.77/1101.57	c cleaning 9999 clauses out of 20032 with flag 3364001/3367497
1106.57/1104.35	c cleaning 9996 clauses out of 20032 with flag 3374000/3377496
1109.47/1107.24	c cleaning 10000 clauses out of 20038 with flag 3384002/3387498
1112.37/1110.16	c cleaning 9992 clauses out of 20037 with flag 3394001/3397497
1115.08/1112.85	c cleaning 10000 clauses out of 20046 with flag 3404002/3407498
1117.88/1115.64	c cleaning 10002 clauses out of 20044 with flag 3414000/3417496
1120.99/1118.72	c cleaning 10002 clauses out of 20042 with flag 3424000/3427496
1123.58/1121.39	c cleaning 10005 clauses out of 20040 with flag 3434000/3437496
1126.49/1124.21	c cleaning 10006 clauses out of 20038 with flag 3444003/3447499
1129.89/1127.60	c cleaning 10001 clauses out of 20029 with flag 3454000/3457496
1132.90/1130.60	c cleaning 9998 clauses out of 20029 with flag 3464001/3467497
1136.20/1133.91	c cleaning 10005 clauses out of 20032 with flag 3474002/3477498
1139.50/1137.26	c cleaning 9996 clauses out of 20025 with flag 3484000/3487496
1142.71/1140.44	c cleaning 9989 clauses out of 20029 with flag 3494000/3497496
1146.41/1144.18	c cleaning 10008 clauses out of 20042 with flag 3504002/3507498
1149.91/1147.62	c cleaning 10002 clauses out of 20032 with flag 3514000/3517496
1153.22/1150.91	c cleaning 10000 clauses out of 20030 with flag 3524000/3527496
1156.52/1154.29	c cleaning 10002 clauses out of 20033 with flag 3534003/3537499
1160.63/1158.39	c cleaning 9997 clauses out of 20029 with flag 3544001/3547497
1164.33/1162.04	c cleaning 10004 clauses out of 20032 with flag 3554001/3557497
1167.43/1165.18	c cleaning 9998 clauses out of 20027 with flag 3564000/3567496
1170.73/1168.44	c cleaning 10000 clauses out of 20030 with flag 3574001/3577497
1174.23/1171.91	c cleaning 10000 clauses out of 20031 with flag 3584002/3587498
1177.74/1175.41	c cleaning 10004 clauses out of 20033 with flag 3594004/3597500
1181.24/1178.95	c cleaning 10000 clauses out of 20026 with flag 3604001/3607497
1184.65/1182.31	c cleaning 9999 clauses out of 20026 with flag 3614001/3617497
1188.16/1185.86	c cleaning 9999 clauses out of 20028 with flag 3624002/3627498
1191.36/1189.05	c cleaning 10000 clauses out of 20027 with flag 3634000/3637496
1194.46/1192.15	c cleaning 10001 clauses out of 20030 with flag 3644003/3647499
1197.16/1194.87	c cleaning 9984 clauses out of 20027 with flag 3654001/3657497
1199.67/1197.39	c cleaning 9990 clauses out of 20042 with flag 3664000/3667496
1202.27/1200.00	c cleaning 9994 clauses out of 20052 with flag 3674000/3677496
1205.18/1202.81	c cleaning 9999 clauses out of 20060 with flag 3684002/3687498
1208.08/1205.70	c cleaning 10003 clauses out of 20066 with flag 3694007/3697503
1211.38/1209.06	c cleaning 9994 clauses out of 20056 with flag 3704000/3707496
1214.19/1211.87	c cleaning 10001 clauses out of 20063 with flag 3714001/3717497
1216.89/1214.58	c cleaning 10001 clauses out of 20063 with flag 3724002/3727498
1219.79/1217.44	c cleaning 10002 clauses out of 20064 with flag 3734004/3737500
1222.50/1220.13	c cleaning 9997 clauses out of 20059 with flag 3744001/3747497
1225.30/1222.92	c cleaning 9998 clauses out of 20064 with flag 3754003/3757499
1228.30/1225.99	c cleaning 9996 clauses out of 20063 with flag 3764000/3767496
1231.40/1229.06	c cleaning 10000 clauses out of 20068 with flag 3774001/3777497
1234.51/1232.14	c cleaning 10000 clauses out of 20068 with flag 3784001/3787497
1237.31/1234.99	c cleaning 10004 clauses out of 20067 with flag 3794000/3797496
1240.11/1237.72	c cleaning 10000 clauses out of 20065 with flag 3804002/3807498
1242.82/1240.40	c cleaning 9995 clauses out of 20064 with flag 3814001/3817497
1245.72/1243.39	c cleaning 10000 clauses out of 20070 with flag 3824002/3827498
1248.42/1246.09	c cleaning 10005 clauses out of 20072 with flag 3834004/3837500
1251.12/1248.76	c cleaning 9998 clauses out of 20064 with flag 3844001/3847497
1253.92/1251.53	c cleaning 9994 clauses out of 20066 with flag 3854001/3857497
1256.72/1254.36	c cleaning 10005 clauses out of 20073 with flag 3864002/3867498
1259.52/1257.19	c cleaning 10002 clauses out of 20067 with flag 3874001/3877497
1262.23/1259.88	c cleaning 10003 clauses out of 20067 with flag 3884003/3887499
1264.93/1262.58	c cleaning 9997 clauses out of 20061 with flag 3894000/3897496
1267.63/1265.28	c cleaning 10000 clauses out of 20065 with flag 3904001/3907497
1270.63/1268.22	c cleaning 10000 clauses out of 20066 with flag 3914002/3917498
1273.13/1270.73	c cleaning 10000 clauses out of 20064 with flag 3924000/3927496
1275.54/1273.18	c cleaning 9998 clauses out of 20064 with flag 3934000/3937496
1278.04/1275.66	c cleaning 10002 clauses out of 20066 with flag 3944000/3947496
1280.65/1278.20	c cleaning 9999 clauses out of 20064 with flag 3954000/3957496
1283.14/1280.79	c cleaning 9998 clauses out of 20066 with flag 3964001/3967497
1285.74/1283.39	c cleaning 10001 clauses out of 20069 with flag 3974002/3977498
1288.15/1285.76	c cleaning 10017 clauses out of 20066 with flag 3984000/3987496
1290.95/1288.55	c cleaning 10007 clauses out of 20052 with flag 3994003/3997499
1294.06/1291.62	c cleaning 10000 clauses out of 20042 with flag 4004000/4007496
1296.87/1294.45	c cleaning 9994 clauses out of 20042 with flag 4014000/4017496
1299.58/1297.20	c cleaning 10007 clauses out of 20048 with flag 4024000/4027496
1302.79/1300.37	c cleaning 9985 clauses out of 20042 with flag 4034001/4037497
1306.49/1304.00	c cleaning 10016 clauses out of 20059 with flag 4044003/4047499
1309.59/1307.16	c cleaning 9991 clauses out of 20040 with flag 4054000/4057496
1313.40/1310.95	c cleaning 9998 clauses out of 20050 with flag 4064001/4067497
1316.40/1313.94	c cleaning 10018 clauses out of 20059 with flag 4074008/4077504
1319.50/1317.09	c cleaning 9986 clauses out of 20033 with flag 4084000/4087496
1322.31/1319.89	c cleaning 10010 clauses out of 20050 with flag 4094003/4097499
1325.31/1322.87	c cleaning 9998 clauses out of 20039 with flag 4104002/4107498
1328.52/1326.02	c cleaning 10003 clauses out of 20039 with flag 4114000/4117496
1331.92/1329.49	c cleaning 9999 clauses out of 20036 with flag 4124000/4127496
1335.22/1332.75	c cleaning 9985 clauses out of 20037 with flag 4134000/4137496
1338.33/1335.85	c cleaning 10016 clauses out of 20055 with flag 4144003/4147499
1341.83/1339.32	c cleaning 10002 clauses out of 20038 with flag 4154002/4157498
1345.23/1342.78	c cleaning 10000 clauses out of 20034 with flag 4164000/4167496
1348.63/1346.16	c cleaning 10000 clauses out of 20036 with flag 4174002/4177498
1352.24/1349.71	c cleaning 10000 clauses out of 20035 with flag 4184001/4187497
1355.34/1352.89	c cleaning 9980 clauses out of 20037 with flag 4194003/4197499
1358.64/1356.16	c cleaning 10014 clauses out of 20056 with flag 4204002/4207498
1363.04/1360.54	c cleaning 9986 clauses out of 20041 with flag 4214001/4217497
1366.56/1364.08	c cleaning 9999 clauses out of 20055 with flag 4224001/4227497
1370.05/1367.50	c cleaning 10017 clauses out of 20058 with flag 4234003/4237499
1373.36/1370.90	c cleaning 10004 clauses out of 20042 with flag 4244004/4247500
1376.47/1373.97	c cleaning 9992 clauses out of 20034 with flag 4254000/4257496
1379.37/1376.87	c cleaning 10004 clauses out of 20042 with flag 4264000/4267496
1382.97/1380.47	c cleaning 9999 clauses out of 20038 with flag 4274000/4277496
1386.38/1383.82	c cleaning 10012 clauses out of 20045 with flag 4284006/4287502
1389.77/1387.23	c cleaning 9997 clauses out of 20030 with flag 4294003/4297499
1392.98/1390.45	c cleaning 9996 clauses out of 20032 with flag 4304002/4307498
1396.18/1393.65	c cleaning 9989 clauses out of 20036 with flag 4314002/4317498
1399.48/1397.00	c cleaning 10013 clauses out of 20051 with flag 4324006/4327502
1402.68/1400.15	c cleaning 9978 clauses out of 20032 with flag 4334000/4337496
1405.99/1403.42	c cleaning 9996 clauses out of 20055 with flag 4344001/4347497
1409.40/1406.85	c cleaning 10012 clauses out of 20058 with flag 4354000/4357496
1412.71/1410.19	c cleaning 9995 clauses out of 20046 with flag 4364000/4367496
1416.70/1414.10	c cleaning 10006 clauses out of 20052 with flag 4374001/4377497
1419.70/1417.15	c cleaning 9991 clauses out of 20046 with flag 4384001/4387497
1422.61/1420.07	c cleaning 10007 clauses out of 20056 with flag 4394002/4397498
1425.42/1422.83	c cleaning 10001 clauses out of 20047 with flag 4404000/4407496
1428.22/1425.62	c cleaning 9987 clauses out of 20049 with flag 4414003/4417499
1431.32/1428.79	c cleaning 10007 clauses out of 20060 with flag 4424001/4427497
1434.52/1431.92	c cleaning 10004 clauses out of 20053 with flag 4434001/4437497
1437.33/1434.72	c cleaning 9994 clauses out of 20053 with flag 4444005/4447501
1440.13/1437.55	c cleaning 10004 clauses out of 20058 with flag 4454004/4457500
1443.13/1440.51	c cleaning 10006 clauses out of 20050 with flag 4464000/4467496
1446.63/1444.00	c cleaning 10006 clauses out of 20051 with flag 4474007/4477503
1449.23/1446.63	c cleaning 9995 clauses out of 20038 with flag 4484000/4487496
1451.84/1449.21	c cleaning 9941 clauses out of 20043 with flag 4494000/4497496
1454.65/1452.02	c cleaning 9979 clauses out of 20102 with flag 4504000/4507496
1457.65/1455.03	c cleaning 9972 clauses out of 20123 with flag 4514000/4517496
1460.46/1457.80	c cleaning 9993 clauses out of 20153 with flag 4524002/4527498
1463.36/1460.78	c cleaning 9999 clauses out of 20158 with flag 4534000/4537496
1465.77/1463.12	c cleaning 10062 clauses out of 20159 with flag 4544000/4547496
1468.67/1466.02	c cleaning 10029 clauses out of 20099 with flag 4554002/4557498
1471.77/1469.15	c cleaning 10012 clauses out of 20071 with flag 4564003/4567499
1474.27/1471.60	c cleaning 10001 clauses out of 20057 with flag 4574001/4577497
1477.18/1474.54	c cleaning 10002 clauses out of 20056 with flag 4584001/4587497
1479.99/1477.33	c cleaning 10000 clauses out of 20054 with flag 4594001/4597497
1482.78/1480.11	c cleaning 10001 clauses out of 20053 with flag 4604000/4607496
1485.39/1482.77	c cleaning 10017 clauses out of 20053 with flag 4614001/4617497
1488.79/1486.17	c cleaning 10009 clauses out of 20035 with flag 4624000/4627496
1492.19/1489.53	c cleaning 10003 clauses out of 20026 with flag 4634000/4637496
1494.99/1492.32	c cleaning 9996 clauses out of 20023 with flag 4644000/4647496
1497.90/1495.27	c cleaning 9998 clauses out of 20027 with flag 4654000/4657496
1501.00/1498.33	c cleaning 10009 clauses out of 20030 with flag 4664001/4667497
1503.91/1501.22	c cleaning 10001 clauses out of 20020 with flag 4674000/4677496
1506.42/1503.77	c cleaning 9996 clauses out of 20022 with flag 4684003/4687499
1509.32/1506.66	c cleaning 9998 clauses out of 20025 with flag 4694002/4697498
1512.12/1509.42	c cleaning 9998 clauses out of 20026 with flag 4704001/4707497
1514.92/1512.23	c cleaning 9997 clauses out of 20029 with flag 4714002/4717498
1517.72/1515.03	c cleaning 10003 clauses out of 20033 with flag 4724003/4727499
1520.52/1517.86	c cleaning 9996 clauses out of 20028 with flag 4734001/4737497
1523.33/1520.67	c cleaning 9999 clauses out of 20032 with flag 4744001/4747497
1526.03/1523.35	c cleaning 9999 clauses out of 20034 with flag 4754002/4757498
1528.63/1525.93	c cleaning 10002 clauses out of 20036 with flag 4764003/4767499
1531.43/1528.75	c cleaning 10000 clauses out of 20031 with flag 4774000/4777496
1533.94/1531.30	c cleaning 10001 clauses out of 20037 with flag 4784006/4787502
1537.14/1534.47	c cleaning 9999 clauses out of 20033 with flag 4794003/4797499
1539.94/1537.27	c cleaning 9988 clauses out of 20031 with flag 4804000/4807496
1543.24/1540.51	c cleaning 10009 clauses out of 20049 with flag 4814006/4817502
1546.44/1543.71	c cleaning 10001 clauses out of 20035 with flag 4824001/4827497
1549.55/1546.81	c cleaning 9996 clauses out of 20034 with flag 4834001/4837497
1552.55/1549.84	c cleaning 10000 clauses out of 20038 with flag 4844001/4847497
1555.45/1552.79	c cleaning 10006 clauses out of 20038 with flag 4854001/4857497
1558.75/1556.01	c cleaning 9998 clauses out of 20032 with flag 4864001/4867497
1561.96/1559.21	c cleaning 9998 clauses out of 20033 with flag 4874000/4877496
1565.36/1562.67	c cleaning 10005 clauses out of 20038 with flag 4884003/4887499
1568.57/1565.87	c cleaning 9995 clauses out of 20030 with flag 4894000/4897496
1571.77/1569.01	c cleaning 10007 clauses out of 20041 with flag 4904006/4907502
1574.97/1572.22	c cleaning 9992 clauses out of 20029 with flag 4914001/4917497
1578.17/1575.45	c cleaning 10005 clauses out of 20037 with flag 4924001/4927497
1581.07/1578.40	c cleaning 9991 clauses out of 20031 with flag 4934000/4937496
1583.98/1581.28	c cleaning 9997 clauses out of 20040 with flag 4944000/4947496
1586.79/1584.01	c cleaning 10000 clauses out of 20045 with flag 4954002/4957498
1589.58/1586.83	c cleaning 10000 clauses out of 20048 with flag 4964005/4967501
1592.39/1589.65	c cleaning 10001 clauses out of 20047 with flag 4974004/4977500
1595.19/1592.46	c cleaning 9994 clauses out of 20043 with flag 4984001/4987497
1598.10/1595.31	c cleaning 10002 clauses out of 20048 with flag 4994000/4997496
1600.80/1598.01	c cleaning 10000 clauses out of 20046 with flag 5004000/5007496
1603.70/1600.94	c cleaning 10001 clauses out of 20046 with flag 5014000/5017496
1606.61/1603.81	c cleaning 10000 clauses out of 20047 with flag 5024002/5027498
1609.31/1606.52	c cleaning 9997 clauses out of 20045 with flag 5034000/5037496
1612.21/1609.43	c cleaning 10002 clauses out of 20049 with flag 5044001/5047497
1615.11/1612.39	c cleaning 10001 clauses out of 20049 with flag 5054003/5057499
1618.02/1615.23	c cleaning 10001 clauses out of 20048 with flag 5064003/5067499
1621.12/1618.36	c cleaning 9999 clauses out of 20047 with flag 5074003/5077499
1624.02/1621.25	c cleaning 10000 clauses out of 20045 with flag 5084000/5087496
1626.82/1624.02	c cleaning 9999 clauses out of 20045 with flag 5094000/5097496
1629.52/1626.76	c cleaning 9999 clauses out of 20046 with flag 5104000/5107496
1632.32/1629.56	c cleaning 10000 clauses out of 20049 with flag 5114002/5117498
1635.13/1632.31	c cleaning 10001 clauses out of 20047 with flag 5124000/5127496
1637.83/1635.07	c cleaning 9999 clauses out of 20046 with flag 5134000/5137496
1640.53/1637.78	c cleaning 9999 clauses out of 20047 with flag 5144000/5147496
1643.04/1640.26	c cleaning 10004 clauses out of 20048 with flag 5154000/5157496
1645.84/1643.01	c cleaning 10003 clauses out of 20044 with flag 5164000/5167496
1648.54/1645.73	c cleaning 10001 clauses out of 20043 with flag 5174002/5177498
1651.34/1648.51	c cleaning 9995 clauses out of 20040 with flag 5184000/5187496
1654.05/1651.26	c cleaning 10003 clauses out of 20045 with flag 5194000/5197496
1656.55/1653.75	c cleaning 10000 clauses out of 20043 with flag 5204001/5207497
1658.85/1656.01	c cleaning 10003 clauses out of 20044 with flag 5214002/5217498
1661.45/1658.64	c cleaning 9999 clauses out of 20040 with flag 5224001/5227497
1664.26/1661.42	c cleaning 10001 clauses out of 20041 with flag 5234001/5237497
1666.96/1664.16	c cleaning 9998 clauses out of 20039 with flag 5244000/5247496
1669.66/1666.85	c cleaning 10001 clauses out of 20043 with flag 5254002/5257498
1672.36/1669.51	c cleaning 9999 clauses out of 20043 with flag 5264003/5267499
1675.07/1672.22	c cleaning 10001 clauses out of 20042 with flag 5274001/5277497
1677.77/1674.95	c cleaning 10002 clauses out of 20041 with flag 5284001/5287497
1680.27/1677.42	c cleaning 9998 clauses out of 20038 with flag 5294000/5297496
1683.07/1680.27	c cleaning 10003 clauses out of 20044 with flag 5304004/5307500
1685.68/1682.84	c cleaning 9999 clauses out of 20039 with flag 5314002/5317498
1688.28/1685.45	c cleaning 10003 clauses out of 20043 with flag 5324005/5327501
1690.89/1688.06	c cleaning 9999 clauses out of 20037 with flag 5334002/5337498
1693.89/1691.07	c cleaning 9999 clauses out of 20037 with flag 5344001/5347497
1696.59/1693.80	c cleaning 9998 clauses out of 20037 with flag 5354000/5357496
1699.49/1696.64	c cleaning 9999 clauses out of 20039 with flag 5364000/5367496
1702.10/1699.28	c cleaning 9997 clauses out of 20041 with flag 5374001/5377497
1705.00/1702.14	c cleaning 10002 clauses out of 20045 with flag 5384002/5387498
1707.70/1704.82	c cleaning 10000 clauses out of 20042 with flag 5394001/5397497
1710.12/1707.21	c cleaning 10002 clauses out of 20043 with flag 5404002/5407498
1712.81/1709.93	c cleaning 10001 clauses out of 20041 with flag 5414002/5417498
1715.42/1712.56	c cleaning 9997 clauses out of 20038 with flag 5424000/5427496
1718.12/1715.22	c cleaning 10002 clauses out of 20043 with flag 5434002/5437498
1720.92/1718.00	c cleaning 9999 clauses out of 20040 with flag 5444001/5447497
1723.82/1720.91	c cleaning 10001 clauses out of 20041 with flag 5454001/5457497
1726.53/1723.67	c cleaning 9999 clauses out of 20042 with flag 5464003/5467499
1729.13/1726.29	c cleaning 10000 clauses out of 20040 with flag 5474000/5477496
1731.53/1728.67	c cleaning 9996 clauses out of 20045 with flag 5484005/5487501
1734.34/1731.45	c cleaning 9997 clauses out of 20045 with flag 5494001/5497497
1737.64/1734.74	c cleaning 10006 clauses out of 20047 with flag 5504000/5507496
1740.96/1738.02	c cleaning 10010 clauses out of 20051 with flag 5514010/5517506
1743.65/1740.79	c cleaning 9982 clauses out of 20031 with flag 5524000/5527496
1746.76/1743.89	c cleaning 10014 clauses out of 20051 with flag 5534002/5537498
1750.17/1747.29	c cleaning 10007 clauses out of 20042 with flag 5544007/5547503
1753.17/1750.27	c cleaning 9961 clauses out of 20028 with flag 5554000/5557496
1757.07/1754.14	c cleaning 10028 clauses out of 20068 with flag 5564001/5567497
1760.28/1757.39	c cleaning 10003 clauses out of 20039 with flag 5574000/5577496
1763.58/1760.69	c cleaning 9994 clauses out of 20037 with flag 5584001/5587497
1767.09/1764.17	c cleaning 10011 clauses out of 20044 with flag 5594002/5597498
1770.99/1768.04	c cleaning 10000 clauses out of 20033 with flag 5604002/5607498
1774.50/1771.56	c cleaning 9993 clauses out of 20031 with flag 5614000/5617496
1777.80/1774.81	c cleaning 9999 clauses out of 20041 with flag 5624003/5627499
1781.00/1778.00	c cleaning 10003 clauses out of 20039 with flag 5634000/5637496
1783.92/1780.93	c cleaning 9980 clauses out of 20036 with flag 5644000/5647496
1786.81/1783.86	c cleaning 10019 clauses out of 20058 with flag 5654002/5657498
1790.22/1787.23	c cleaning 9978 clauses out of 20037 with flag 5664000/5667496
1793.12/1790.16	c cleaning 10007 clauses out of 20059 with flag 5674000/5677496
1796.32/1793.30	c cleaning 10018 clauses out of 20053 with flag 5684001/5687497
1799.43/1796.44	c cleaning 9999 clauses out of 20034 with flag 5694000/5697496
1800.03/1797.01	c starts		: 282
1800.03/1797.01	c conflicts		: 5700034
1800.03/1797.01	c decisions		: 7529095
1800.03/1797.01	c propagations		: 109485438
1800.03/1797.01	c inspects		: 9159261338
1800.03/1797.01	c shortcuts		: 0
1800.03/1797.01	c learnt literals	: 0
1800.03/1797.01	c learnt binary clauses	: 0
1800.03/1797.01	c learnt ternary clauses	: 0
1800.03/1797.01	c learnt constraints	: 5700034
1800.03/1797.01	c ignored constraints	: 0
1800.03/1797.01	c root simplifications	: 0
1800.03/1797.01	c removed literals (reason simplification)	: 62980060
1800.03/1797.01	c reason swapping (by a shorter reason)	: 0
1800.03/1797.01	c Calls to reduceDB	: 571
1800.03/1797.01	c number of reductions to clauses (during analyze)	: 0
1800.03/1797.01	c number of learned constraints concerned by reduction	: 0
1800.03/1797.01	c number of learning phase by resolution	: 0
1800.03/1797.01	c number of learning phase by cutting planes	: 0
1800.03/1797.01	c speed (assignments/second)	: 60950.55892668263
1800.03/1797.01	c non guided choices	17913
1800.03/1797.02	c learnt constraints type 
1800.03/1797.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12598
1800.03/1797.02	c constraints type 
1800.03/1797.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 31
1800.03/1797.02	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 31
1800.03/1797.02	s SATISFIABLE
1800.03/1797.02	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 
1800.03/1797.02	c objective function=1
1800.03/1797.02	c Total wall clock time (in seconds): 1796.914

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-3492577-1307910902/watcher-3492577-1307910902 -o /tmp/evaluation-result-3492577-1307910902/solver-3492577-1307910902 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492577-1307910902.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: 2.11 2.08 1.96 3/196 27738
/proc/meminfo: memFree=1913544/32951124 swapFree=67063272/67111528
[pid=27738] ppid=27736 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/27738/stat : 27738 (java) R 27736 27738 25773 0 -1 4202496 957 0 0 0 0 0 0 0 17 0 1 0 902688337 23580672 699 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232330930065 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27738/statm: 5757 699 516 9 0 124 0

[startup+0.0950511 s]
/proc/loadavg: 2.11 2.08 1.96 3/196 27738
/proc/meminfo: memFree=1913544/32951124 swapFree=67063272/67111528
[pid=27738] ppid=27736 vsize=10539548 CPUtime=0.09 cores=0,2,4,6
/proc/27738/stat : 27738 (java) S 27736 27738 25773 0 -1 4202496 12962 0 1 0 8 1 0 0 17 0 18 0 902688337 10792497152 12631 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27738/statm: 2634887 12631 2093 9 0 2625621 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539548

[startup+0.101 s]
/proc/loadavg: 2.11 2.08 1.96 3/196 27738
/proc/meminfo: memFree=1913544/32951124 swapFree=67063272/67111528
[pid=27738] ppid=27736 vsize=10539548 CPUtime=0.1 cores=0,2,4,6
/proc/27738/stat : 27738 (java) S 27736 27738 25773 0 -1 4202496 13044 0 1 0 9 1 0 0 17 0 18 0 902688337 10792497152 12713 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27738/statm: 2634887 12714 2093 9 0 2625621 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539548

[startup+0.301007 s]
/proc/loadavg: 2.11 2.08 1.96 3/196 27738
/proc/meminfo: memFree=1913544/32951124 swapFree=67063272/67111528
[pid=27738] ppid=27736 vsize=10543552 CPUtime=0.55 cores=0,2,4,6
/proc/27738/stat : 27738 (java) S 27736 27738 25773 0 -1 4202496 16112 0 1 0 53 2 0 0 17 0 19 0 902688337 10796597248 14924 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27738/statm: 2635888 14924 2216 9 0 2626622 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10543552

[startup+0.700955 s]
/proc/loadavg: 2.11 2.08 1.96 3/196 27738
/proc/meminfo: memFree=1913544/32951124 swapFree=67063272/67111528
[pid=27738] ppid=27736 vsize=10543988 CPUtime=1.08 cores=0,2,4,6
/proc/27738/stat : 27738 (java) S 27736 27738 25773 0 -1 4202496 17412 0 1 0 106 2 0 0 17 0 19 0 902688337 10797043712 15952 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27738/statm: 2635997 15952 2221 9 0 2626731 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 10543988

[startup+1.50079 s]
/proc/loadavg: 2.26 2.11 1.97 3/215 27757
/proc/meminfo: memFree=1856560/32951124 swapFree=67063272/67111528
[pid=27738] ppid=27736 vsize=10543988 CPUtime=1.93 cores=0,2,4,6
/proc/27738/stat : 27738 (java) S 27736 27738 25773 0 -1 4202496 20970 0 1 0 190 3 0 0 17 0 19 0 902688337 10797043712 19501 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27738/statm: 2635997 19501 2250 9 0 2626731 0
[pid=27738/tid=27740] ppid=27736 vsize=10543988 CPUtime=1.46 cores=0,2,4,6
/proc/27738/task/27740/stat : 27740 (java) R 27736 27738 25773 0 -1 4202560 14344 0 1 0 144 2 0 0 21 0 19 0 902688338 10797043712 19501 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 46912505542351 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27738/tid=27741] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27741/stat : 27741 (java) S 27736 27738 25773 0 -1 4202560 253 0 0 0 0 0 0 0 18 0 19 0 902688339 10797043712 19501 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 2 0 0 0
[pid=27738/tid=27742] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27742/stat : 27742 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902688339 10797043712 19501 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 2 0 0 0
[pid=27738/tid=27743] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27743/stat : 27743 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902688339 10797043712 19501 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27744] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27744/stat : 27744 (java) S 27736 27738 25773 0 -1 4202560 327 0 0 0 0 0 0 0 18 0 19 0 902688339 10797043712 19501 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27745] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27745/stat : 27745 (java) S 27736 27738 25773 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 19 0 902688339 10797043712 19501 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27746] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27746/stat : 27746 (java) S 27736 27738 25773 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902688339 10797043712 19501 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27747] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27747/stat : 27747 (java) S 27736 27738 25773 0 -1 4202560 403 0 0 0 0 0 0 0 18 0 19 0 902688339 10797043712 19501 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27748] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27748/stat : 27748 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 902688339 10797043712 19501 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27749] ppid=27736 vsize=10543988 CPUtime=0.01 cores=0,2,4,6
/proc/27738/task/27749/stat : 27749 (java) S 27736 27738 25773 0 -1 4202560 975 0 0 0 1 0 0 0 15 0 19 0 902688341 10797043712 19501 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 0 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27750] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27750/stat : 27750 (java) S 27736 27738 25773 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902688341 10797043712 19501 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27751] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27751/stat : 27751 (java) S 27736 27738 25773 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902688341 10797043712 19501 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27752] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27752/stat : 27752 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902688343 10797043712 19501 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347716017 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27753] ppid=27736 vsize=10543988 CPUtime=0.22 cores=0,2,4,6
/proc/27738/task/27753/stat : 27753 (java) S 27736 27738 25773 0 -1 4202560 1642 0 0 0 22 0 0 0 16 0 19 0 902688343 10797043712 19501 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27754] ppid=27736 vsize=10543988 CPUtime=0.2 cores=0,2,4,6
/proc/27738/task/27754/stat : 27754 (java) S 27736 27738 25773 0 -1 4202560 1867 0 0 0 20 0 0 0 15 0 19 0 902688343 10797043712 19501 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27755] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27755/stat : 27755 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902688343 10797043712 19501 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27756] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27756/stat : 27756 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902688343 10797043712 19501 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27757] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27757/stat : 27757 (java) S 27736 27738 25773 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902688356 10797043712 19501 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 10543988

[startup+3.10153 s]
/proc/loadavg: 2.26 2.11 1.97 3/215 27757
/proc/meminfo: memFree=1844156/32951124 swapFree=67063272/67111528
[pid=27738] ppid=27736 vsize=10543988 CPUtime=3.55 cores=0,2,4,6
/proc/27738/stat : 27738 (java) S 27736 27738 25773 0 -1 4202496 20974 0 1 0 352 3 0 0 17 0 19 0 902688337 10797043712 19505 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27738/statm: 2635997 19505 2250 9 0 2626731 0
[pid=27738/tid=27740] ppid=27736 vsize=10543988 CPUtime=3.07 cores=0,2,4,6
/proc/27738/task/27740/stat : 27740 (java) R 27736 27738 25773 0 -1 4202560 14344 0 1 0 305 2 0 0 18 0 19 0 902688338 10797043712 19505 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 46912505684158 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27738/tid=27741] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27741/stat : 27741 (java) S 27736 27738 25773 0 -1 4202560 253 0 0 0 0 0 0 0 18 0 19 0 902688339 10797043712 19505 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 2 0 0 0
[pid=27738/tid=27742] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27742/stat : 27742 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902688339 10797043712 19505 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 2 0 0 0
[pid=27738/tid=27743] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27743/stat : 27743 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902688339 10797043712 19505 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27744] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27744/stat : 27744 (java) S 27736 27738 25773 0 -1 4202560 327 0 0 0 0 0 0 0 18 0 19 0 902688339 10797043712 19505 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27745] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27745/stat : 27745 (java) S 27736 27738 25773 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 19 0 902688339 10797043712 19505 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27746] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27746/stat : 27746 (java) S 27736 27738 25773 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902688339 10797043712 19505 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27747] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27747/stat : 27747 (java) S 27736 27738 25773 0 -1 4202560 403 0 0 0 0 0 0 0 18 0 19 0 902688339 10797043712 19505 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27748] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27748/stat : 27748 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 902688339 10797043712 19505 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27749] ppid=27736 vsize=10543988 CPUtime=0.01 cores=0,2,4,6
/proc/27738/task/27749/stat : 27749 (java) S 27736 27738 25773 0 -1 4202560 975 0 0 0 1 0 0 0 15 0 19 0 902688341 10797043712 19505 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 0 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27750] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27750/stat : 27750 (java) S 27736 27738 25773 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902688341 10797043712 19505 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27751] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27751/stat : 27751 (java) S 27736 27738 25773 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902688341 10797043712 19505 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27752] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27752/stat : 27752 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902688343 10797043712 19505 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347716017 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27753] ppid=27736 vsize=10543988 CPUtime=0.23 cores=0,2,4,6
/proc/27738/task/27753/stat : 27753 (java) S 27736 27738 25773 0 -1 4202560 1644 0 0 0 23 0 0 0 15 0 19 0 902688343 10797043712 19505 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27754] ppid=27736 vsize=10543988 CPUtime=0.22 cores=0,2,4,6
/proc/27738/task/27754/stat : 27754 (java) S 27736 27738 25773 0 -1 4202560 1869 0 0 0 22 0 0 0 15 0 19 0 902688343 10797043712 19505 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27755] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27755/stat : 27755 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902688343 10797043712 19505 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27756] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27756/stat : 27756 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902688343 10797043712 19505 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27757] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27757/stat : 27757 (java) S 27736 27738 25773 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902688356 10797043712 19505 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 10543988

[startup+6.3009 s]
/proc/loadavg: 2.24 2.10 1.97 3/215 27757
/proc/meminfo: memFree=1833696/32951124 swapFree=67063272/67111528
[pid=27738] ppid=27736 vsize=10543988 CPUtime=6.78 cores=0,2,4,6
/proc/27738/stat : 27738 (java) S 27736 27738 25773 0 -1 4202496 25999 0 1 0 674 4 0 0 17 0 19 0 902688337 10797043712 24518 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27738/statm: 2635997 24518 2250 9 0 2626731 0
[pid=27738/tid=27740] ppid=27736 vsize=10543988 CPUtime=6.23 cores=0,2,4,6
/proc/27738/task/27740/stat : 27740 (java) R 27736 27738 25773 0 -1 4202560 14475 0 1 0 621 2 0 0 25 0 19 0 902688338 10797043712 24518 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 46912505542296 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27738/tid=27741] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27741/stat : 27741 (java) S 27736 27738 25773 0 -1 4202560 752 0 0 0 0 0 0 0 15 0 19 0 902688339 10797043712 24518 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 2 0 0 0
[pid=27738/tid=27742] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27742/stat : 27742 (java) S 27736 27738 25773 0 -1 4202560 1141 0 0 0 0 0 0 0 15 0 19 0 902688339 10797043712 24518 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27743] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27743/stat : 27743 (java) S 27736 27738 25773 0 -1 4202560 1154 0 0 0 0 0 0 0 15 0 19 0 902688339 10797043712 24518 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27744] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27744/stat : 27744 (java) S 27736 27738 25773 0 -1 4202560 1037 0 0 0 0 0 0 0 16 0 19 0 902688339 10797043712 24518 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27745] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27745/stat : 27745 (java) S 27736 27738 25773 0 -1 4202560 484 0 0 0 0 0 0 0 15 0 19 0 902688339 10797043712 24518 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27746] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27746/stat : 27746 (java) S 27736 27738 25773 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 902688339 10797043712 24518 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27747] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27747/stat : 27747 (java) S 27736 27738 25773 0 -1 4202560 404 0 0 0 0 0 0 0 15 0 19 0 902688339 10797043712 24518 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27748] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27748/stat : 27748 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902688339 10797043712 24518 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27749] ppid=27736 vsize=10543988 CPUtime=0.04 cores=0,2,4,6
/proc/27738/task/27749/stat : 27749 (java) S 27736 27738 25773 0 -1 4202560 1786 0 0 0 4 0 0 0 15 0 19 0 902688341 10797043712 24518 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 0 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27750] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27750/stat : 27750 (java) S 27736 27738 25773 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902688341 10797043712 24518 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27751] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27751/stat : 27751 (java) S 27736 27738 25773 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902688341 10797043712 24518 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27752] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27752/stat : 27752 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902688343 10797043712 24518 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347716017 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27753] ppid=27736 vsize=10543988 CPUtime=0.24 cores=0,2,4,6
/proc/27738/task/27753/stat : 27753 (java) S 27736 27738 25773 0 -1 4202560 1647 0 0 0 24 0 0 0 15 0 19 0 902688343 10797043712 24518 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27754] ppid=27736 vsize=10543988 CPUtime=0.22 cores=0,2,4,6
/proc/27738/task/27754/stat : 27754 (java) R 27736 27738 25773 0 -1 4202560 1869 0 0 0 22 0 0 0 15 0 19 0 902688343 10797043712 24518 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 47267861724296 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27738/tid=27755] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27755/stat : 27755 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902688343 10797043712 24518 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27756] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27756/stat : 27756 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902688343 10797043712 24518 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27757] ppid=27736 vsize=10543988 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27757/stat : 27757 (java) S 27736 27738 25773 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902688356 10797043712 24518 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.78
Current children cumulated vsize (KiB) 10543988

[startup+12.7008 s]

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

[pid=27738/tid=27746] ppid=27736 vsize=10542848 CPUtime=0.5 cores=0,2,4,6
/proc/27738/task/27746/stat : 27746 (java) S 27736 27738 25773 0 -1 4202560 899 0 0 0 50 0 0 0 15 0 19 0 902688339 10795876352 38845 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27747] ppid=27736 vsize=10542848 CPUtime=0.43 cores=0,2,4,6
/proc/27738/task/27747/stat : 27747 (java) S 27736 27738 25773 0 -1 4202560 1114 0 0 0 43 0 0 0 15 0 19 0 902688339 10795876352 38845 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27748] ppid=27736 vsize=10542848 CPUtime=0.44 cores=0,2,4,6
/proc/27738/task/27748/stat : 27748 (java) S 27736 27738 25773 0 -1 4202560 926 0 0 0 44 0 0 0 16 0 19 0 902688339 10795876352 38845 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27749] ppid=27736 vsize=10542848 CPUtime=13.46 cores=0,2,4,6
/proc/27738/task/27749/stat : 27749 (java) S 27736 27738 25773 0 -1 4202560 8928 0 0 0 1339 7 0 0 15 0 19 0 902688341 10795876352 38845 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 0 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27750] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27750/stat : 27750 (java) S 27736 27738 25773 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902688341 10795876352 38845 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27751] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27751/stat : 27751 (java) S 27736 27738 25773 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902688341 10795876352 38845 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27752] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27752/stat : 27752 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902688343 10795876352 38845 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347716017 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27753] ppid=27736 vsize=10542848 CPUtime=0.24 cores=0,2,4,6
/proc/27738/task/27753/stat : 27753 (java) S 27736 27738 25773 0 -1 4202560 1648 0 0 0 24 0 0 0 15 0 19 0 902688343 10795876352 38845 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27754] ppid=27736 vsize=10542848 CPUtime=0.32 cores=0,2,4,6
/proc/27738/task/27754/stat : 27754 (java) S 27736 27738 25773 0 -1 4202560 3125 0 0 0 32 0 0 0 15 0 19 0 902688343 10795876352 38845 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27755] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27755/stat : 27755 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902688343 10795876352 38845 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27756] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27756/stat : 27756 (java) S 27736 27738 25773 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 902688343 10795876352 38845 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27757] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27757/stat : 27757 (java) S 27736 27738 25773 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902688356 10795876352 38845 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1665.16
Current children cumulated vsize (KiB) 10542848

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/215 27869
/proc/meminfo: memFree=1681716/32951124 swapFree=67063272/67111528
[pid=27738] ppid=27736 vsize=10542848 CPUtime=1725.22 cores=0,2,4,6
/proc/27738/stat : 27738 (java) S 27736 27738 25773 0 -1 4202496 42568 0 1 0 172504 18 0 0 17 0 19 0 902688337 10795876352 39115 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27738/statm: 2635712 39115 2252 9 0 2626446 0
[pid=27738/tid=27740] ppid=27736 vsize=10542848 CPUtime=1706.57 cores=0,2,4,6
/proc/27738/task/27740/stat : 27740 (java) R 27736 27738 25773 0 -1 4202560 16811 0 1 0 170653 4 0 0 25 0 19 0 902688338 10795876352 39115 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 46912505641671 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27738/tid=27741] ppid=27736 vsize=10542848 CPUtime=0.5 cores=0,2,4,6
/proc/27738/task/27741/stat : 27741 (java) S 27736 27738 25773 0 -1 4202560 1213 0 0 0 50 0 0 0 15 0 19 0 902688339 10795876352 39115 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 2 0 0 0
[pid=27738/tid=27742] ppid=27736 vsize=10542848 CPUtime=0.45 cores=0,2,4,6
/proc/27738/task/27742/stat : 27742 (java) S 27736 27738 25773 0 -1 4202560 1846 0 0 0 45 0 0 0 15 0 19 0 902688339 10795876352 39115 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 2 0 0 0
[pid=27738/tid=27743] ppid=27736 vsize=10542848 CPUtime=0.5 cores=0,2,4,6
/proc/27738/task/27743/stat : 27743 (java) S 27736 27738 25773 0 -1 4202560 1464 0 0 0 50 0 0 0 16 0 19 0 902688339 10795876352 39115 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27744] ppid=27736 vsize=10542848 CPUtime=0.5 cores=0,2,4,6
/proc/27738/task/27744/stat : 27744 (java) S 27736 27738 25773 0 -1 4202560 2082 0 0 0 50 0 0 0 15 0 19 0 902688339 10795876352 39115 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 2 0 0 0
[pid=27738/tid=27745] ppid=27736 vsize=10542848 CPUtime=0.5 cores=0,2,4,6
/proc/27738/task/27745/stat : 27745 (java) S 27736 27738 25773 0 -1 4202560 1013 0 0 0 50 0 0 0 15 0 19 0 902688339 10795876352 39115 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27746] ppid=27736 vsize=10542848 CPUtime=0.51 cores=0,2,4,6
/proc/27738/task/27746/stat : 27746 (java) S 27736 27738 25773 0 -1 4202560 907 0 0 0 51 0 0 0 15 0 19 0 902688339 10795876352 39115 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27747] ppid=27736 vsize=10542848 CPUtime=0.44 cores=0,2,4,6
/proc/27738/task/27747/stat : 27747 (java) S 27736 27738 25773 0 -1 4202560 1114 0 0 0 44 0 0 0 15 0 19 0 902688339 10795876352 39115 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27748] ppid=27736 vsize=10542848 CPUtime=0.45 cores=0,2,4,6
/proc/27738/task/27748/stat : 27748 (java) S 27736 27738 25773 0 -1 4202560 934 0 0 0 45 0 0 0 15 0 19 0 902688339 10795876352 39115 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27749] ppid=27736 vsize=10542848 CPUtime=14.09 cores=0,2,4,6
/proc/27738/task/27749/stat : 27749 (java) S 27736 27738 25773 0 -1 4202560 9159 0 0 0 1402 7 0 0 15 0 19 0 902688341 10795876352 39115 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 0 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27750] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27750/stat : 27750 (java) S 27736 27738 25773 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902688341 10795876352 39115 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27751] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27751/stat : 27751 (java) S 27736 27738 25773 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902688341 10795876352 39115 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27752] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27752/stat : 27752 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902688343 10795876352 39115 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347716017 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27753] ppid=27736 vsize=10542848 CPUtime=0.24 cores=0,2,4,6
/proc/27738/task/27753/stat : 27753 (java) S 27736 27738 25773 0 -1 4202560 1648 0 0 0 24 0 0 0 15 0 19 0 902688343 10795876352 39115 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27754] ppid=27736 vsize=10542848 CPUtime=0.32 cores=0,2,4,6
/proc/27738/task/27754/stat : 27754 (java) S 27736 27738 25773 0 -1 4202560 3125 0 0 0 32 0 0 0 15 0 19 0 902688343 10795876352 39115 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27755] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27755/stat : 27755 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902688343 10795876352 39115 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27756] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27756/stat : 27756 (java) S 27736 27738 25773 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 902688343 10795876352 39115 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27757] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27757/stat : 27757 (java) S 27736 27738 25773 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902688356 10795876352 39115 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1725.22
Current children cumulated vsize (KiB) 10542848

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/215 27873
/proc/meminfo: memFree=1679496/32951124 swapFree=67063272/67111528
[pid=27738] ppid=27736 vsize=10542848 CPUtime=1785.31 cores=0,2,4,6
/proc/27738/stat : 27738 (java) S 27736 27738 25773 0 -1 4202496 42849 0 1 0 178512 19 0 0 17 0 19 0 902688337 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27738/statm: 2635712 39373 2252 9 0 2626446 0
[pid=27738/tid=27740] ppid=27736 vsize=10542848 CPUtime=1765.95 cores=0,2,4,6
/proc/27738/task/27740/stat : 27740 (java) R 27736 27738 25773 0 -1 4202560 16830 0 1 0 176590 5 0 0 25 0 19 0 902688338 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 46912505556670 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27738/tid=27741] ppid=27736 vsize=10542848 CPUtime=0.52 cores=0,2,4,6
/proc/27738/task/27741/stat : 27741 (java) S 27736 27738 25773 0 -1 4202560 1223 0 0 0 52 0 0 0 15 0 19 0 902688339 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27742] ppid=27736 vsize=10542848 CPUtime=0.47 cores=0,2,4,6
/proc/27738/task/27742/stat : 27742 (java) S 27736 27738 25773 0 -1 4202560 1853 0 0 0 47 0 0 0 15 0 19 0 902688339 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 2 0 0 0
[pid=27738/tid=27743] ppid=27736 vsize=10542848 CPUtime=0.52 cores=0,2,4,6
/proc/27738/task/27743/stat : 27743 (java) S 27736 27738 25773 0 -1 4202560 1470 0 0 0 52 0 0 0 15 0 19 0 902688339 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 2 0 0 0
[pid=27738/tid=27744] ppid=27736 vsize=10542848 CPUtime=0.52 cores=0,2,4,6
/proc/27738/task/27744/stat : 27744 (java) S 27736 27738 25773 0 -1 4202560 2085 0 0 0 52 0 0 0 15 0 19 0 902688339 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27745] ppid=27736 vsize=10542848 CPUtime=0.52 cores=0,2,4,6
/proc/27738/task/27745/stat : 27745 (java) S 27736 27738 25773 0 -1 4202560 1017 0 0 0 52 0 0 0 16 0 19 0 902688339 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27746] ppid=27736 vsize=10542848 CPUtime=0.54 cores=0,2,4,6
/proc/27738/task/27746/stat : 27746 (java) S 27736 27738 25773 0 -1 4202560 907 0 0 0 54 0 0 0 16 0 19 0 902688339 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27747] ppid=27736 vsize=10542848 CPUtime=0.46 cores=0,2,4,6
/proc/27738/task/27747/stat : 27747 (java) S 27736 27738 25773 0 -1 4202560 1127 0 0 0 46 0 0 0 15 0 19 0 902688339 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27748] ppid=27736 vsize=10542848 CPUtime=0.47 cores=0,2,4,6
/proc/27738/task/27748/stat : 27748 (java) S 27736 27738 25773 0 -1 4202560 944 0 0 0 47 0 0 0 15 0 19 0 902688339 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27749] ppid=27736 vsize=10542848 CPUtime=14.65 cores=0,2,4,6
/proc/27738/task/27749/stat : 27749 (java) S 27736 27738 25773 0 -1 4202560 9366 0 0 0 1458 7 0 0 15 0 19 0 902688341 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 0 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27750] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27750/stat : 27750 (java) S 27736 27738 25773 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902688341 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27751] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27751/stat : 27751 (java) S 27736 27738 25773 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902688341 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27752] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27752/stat : 27752 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902688343 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347716017 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27753] ppid=27736 vsize=10542848 CPUtime=0.24 cores=0,2,4,6
/proc/27738/task/27753/stat : 27753 (java) S 27736 27738 25773 0 -1 4202560 1648 0 0 0 24 0 0 0 15 0 19 0 902688343 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27754] ppid=27736 vsize=10542848 CPUtime=0.32 cores=0,2,4,6
/proc/27738/task/27754/stat : 27754 (java) S 27736 27738 25773 0 -1 4202560 3125 0 0 0 32 0 0 0 15 0 19 0 902688343 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27755] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27755/stat : 27755 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902688343 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27756] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27756/stat : 27756 (java) S 27736 27738 25773 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902688343 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27757] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27757/stat : 27757 (java) S 27736 27738 25773 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902688356 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1785.31
Current children cumulated vsize (KiB) 10542848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797 s]
/proc/loadavg: 2.00 2.01 2.00 3/215 27874
/proc/meminfo: memFree=1679352/32951124 swapFree=67063272/67111528
[pid=27738] ppid=27736 vsize=10542848 CPUtime=1800.03 cores=0,2,4,6
/proc/27738/stat : 27738 (java) S 27736 27738 25773 0 -1 4202496 42858 0 1 0 179984 19 0 0 17 0 19 0 902688337 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27738/statm: 2635712 39373 2252 9 0 2626446 0
[pid=27738/tid=27740] ppid=27736 vsize=10542848 CPUtime=1780.5 cores=0,2,4,6
/proc/27738/task/27740/stat : 27740 (java) R 27736 27738 25773 0 -1 4202560 16835 0 1 0 178045 5 0 0 25 0 19 0 902688338 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 46912505556704 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27738/tid=27741] ppid=27736 vsize=10542848 CPUtime=0.52 cores=0,2,4,6
/proc/27738/task/27741/stat : 27741 (java) S 27736 27738 25773 0 -1 4202560 1223 0 0 0 52 0 0 0 15 0 19 0 902688339 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27742] ppid=27736 vsize=10542848 CPUtime=0.48 cores=0,2,4,6
/proc/27738/task/27742/stat : 27742 (java) S 27736 27738 25773 0 -1 4202560 1853 0 0 0 48 0 0 0 15 0 19 0 902688339 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 2 0 0 0
[pid=27738/tid=27743] ppid=27736 vsize=10542848 CPUtime=0.52 cores=0,2,4,6
/proc/27738/task/27743/stat : 27743 (java) S 27736 27738 25773 0 -1 4202560 1470 0 0 0 52 0 0 0 15 0 19 0 902688339 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27744] ppid=27736 vsize=10542848 CPUtime=0.52 cores=0,2,4,6
/proc/27738/task/27744/stat : 27744 (java) S 27736 27738 25773 0 -1 4202560 2085 0 0 0 52 0 0 0 15 0 19 0 902688339 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27745] ppid=27736 vsize=10542848 CPUtime=0.52 cores=0,2,4,6
/proc/27738/task/27745/stat : 27745 (java) S 27736 27738 25773 0 -1 4202560 1017 0 0 0 52 0 0 0 16 0 19 0 902688339 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27746] ppid=27736 vsize=10542848 CPUtime=0.54 cores=0,2,4,6
/proc/27738/task/27746/stat : 27746 (java) S 27736 27738 25773 0 -1 4202560 907 0 0 0 54 0 0 0 15 0 19 0 902688339 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27747] ppid=27736 vsize=10542848 CPUtime=0.47 cores=0,2,4,6
/proc/27738/task/27747/stat : 27747 (java) S 27736 27738 25773 0 -1 4202560 1127 0 0 0 47 0 0 0 16 0 19 0 902688339 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 2 0 0 0
[pid=27738/tid=27748] ppid=27736 vsize=10542848 CPUtime=0.48 cores=0,2,4,6
/proc/27738/task/27748/stat : 27748 (java) S 27736 27738 25773 0 -1 4202560 944 0 0 0 48 0 0 0 15 0 19 0 902688339 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27749] ppid=27736 vsize=10542848 CPUtime=14.79 cores=0,2,4,6
/proc/27738/task/27749/stat : 27749 (java) S 27736 27738 25773 0 -1 4202560 9368 0 0 0 1472 7 0 0 15 0 19 0 902688341 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 0 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27750] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27750/stat : 27750 (java) S 27736 27738 25773 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902688341 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27751] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27751/stat : 27751 (java) S 27736 27738 25773 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902688341 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27752] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27752/stat : 27752 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902688343 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347716017 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27753] ppid=27736 vsize=10542848 CPUtime=0.24 cores=0,2,4,6
/proc/27738/task/27753/stat : 27753 (java) S 27736 27738 25773 0 -1 4202560 1648 0 0 0 24 0 0 0 15 0 19 0 902688343 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
[pid=27738/tid=27754] ppid=27736 vsize=10542848 CPUtime=0.32 cores=0,2,4,6
/proc/27738/task/27754/stat : 27754 (java) S 27736 27738 25773 0 -1 4202560 3125 0 0 0 32 0 0 0 15 0 19 0 902688343 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27755] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27755/stat : 27755 (java) S 27736 27738 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902688343 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708313 0 4 0 16800975 18446604444790089536 0 0 -1 6 0 0 0
[pid=27738/tid=27756] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27756/stat : 27756 (java) S 27736 27738 25773 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902688343 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 4 0 16800975 18446604444790089536 0 0 -1 0 0 0 0
[pid=27738/tid=27757] ppid=27736 vsize=10542848 CPUtime=0 cores=0,2,4,6
/proc/27738/task/27757/stat : 27757 (java) S 27736 27738 25773 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902688356 10795876352 39373 33554432000 1073741824 1073778376 140733600864864 18446744073709551615 232347708928 0 4 0 16800975 18446604444790089536 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10542848

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

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

Child status: 143
Real time (s): 1797.03
CPU time (s): 1800.09
CPU user time (s): 1799.88
CPU system time (s): 0.202969
CPU usage (%): 100.17
Max. virtual memory (cumulated for all children) (KiB): 10543988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.202969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42910
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51812
involuntary context switches= 28812

runsolver used 3.3205 second user time and 6.52201 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-12 22:35:02
IDJOB=3492577
IDBENCH=79172
IDSOLVER=1982
FILE ID=node132/3492577-1307910902
RUNJOBID= node132-1307908309-27379
PBS_JOBID= 13559574
Free space on /tmp= 13344 MiB

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

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

MD5SUM BENCH= 168e81c26eea0b6e6155adb2f3f4d195
RANDOM SEED=2050797569

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1914212 kB
Buffers:         71808 kB
Cached:       29908100 kB
SwapCached:       9516 kB
Active:       15426356 kB
Inactive:     14669172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1914212 kB
SwapTotal:    67111528 kB
SwapFree:     67063272 kB
Dirty:             528 kB
Writeback:           0 kB
AnonPages:      113472 kB
Mapped:          17668 kB
Slab:           877772 kB
PageTables:       4712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10538356 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 13344 MiB
End job on node132 at 2011-06-12 23:05:01