Trace number 3492255

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.44

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-33-100-0.wbo
MD5SUMb618f143f0ce2a95508bc08f0990c2c8
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.087986
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 constraints41
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 2356
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2355
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.03/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.17	c See www.sat4j.org for details.
0.03/0.18	c version 2.3.1.v20110525
0.03/0.18	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.18	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.18	c java.vm.version	19.1-b02
0.03/0.18	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.18	c sun.arch.data.model	64
0.03/0.18	c java.version		1.6.0_24
0.03/0.18	c os.name		Linux
0.03/0.18	c os.version		2.6.18-164.el5
0.03/0.18	c os.arch		amd64
0.03/0.18	c Free memory 		9996466904
0.03/0.18	c Max memory 		10048897024
0.03/0.18	c Total memory 		10048897024
0.03/0.18	c Number of processors 	8
0.11/0.21	c Pseudo Boolean Optimization
0.11/0.21	c --- Begin Solver configuration ---
0.11/0.21	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@761a626f
0.11/0.21	c Learn all clauses as in MiniSAT
0.11/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.21	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.21	c Expensive reason simplification
0.11/0.21	c Armin Biere (Picosat) restarts strategy
0.11/0.21	c Glucose learned constraints deletion strategy
0.11/0.21	c timeout=2147483s
0.11/0.21	c DB Simplification allowed=false
0.11/0.21	c --- End Solver configuration ---
0.11/0.21	c solving HOME/instance-3492255-1307908898.wbo
0.11/0.21	c reading problem ... 
0.11/0.28	c ... done. Wall clock time 0.072s.
0.11/0.28	c #vars     971
0.11/0.28	c #constraints  61
0.11/0.28	c constraints type 
0.11/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 31
0.11/0.28	c org.sat4j.minisat.constraints.card.MinWatchCard => 11
0.11/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 19
0.26/0.37	c SATISFIABLE
0.26/0.37	c OPTIMIZING...
0.26/0.37	c Got one! Elapsed wall clock time (in seconds):0.166
0.26/0.37	o 40
0.52/0.43	c Got one! Elapsed wall clock time (in seconds):0.227
0.52/0.43	o 20
0.68/0.50	c Got one! Elapsed wall clock time (in seconds):0.291
0.68/0.50	o 19
0.68/0.53	c Got one! Elapsed wall clock time (in seconds):0.323
0.68/0.53	o 9
0.80/0.61	c Got one! Elapsed wall clock time (in seconds):0.401
0.80/0.61	o 1
1.73/1.53	c cleaning 3360 clauses out of 6838 with flag 5001/6838
3.69/3.48	c cleaning 4740 clauses out of 9479 with flag 11002/12839
6.39/6.14	c cleaning 5867 clauses out of 11737 with flag 18000/19837
9.21/8.99	c cleaning 6936 clauses out of 13871 with flag 26001/27838
13.77/13.49	c cleaning 7968 clauses out of 15935 with flag 35001/36838
18.08/17.76	c cleaning 8983 clauses out of 17968 with flag 45002/46839
23.20/22.82	c cleaning 9492 clauses out of 18984 with flag 55001/56838
28.91/28.51	c cleaning 9744 clauses out of 19491 with flag 65000/66837
32.42/32.05	c cleaning 9855 clauses out of 19747 with flag 75000/76837
35.83/35.50	c cleaning 9944 clauses out of 19893 with flag 85001/86838
39.04/38.62	c cleaning 9973 clauses out of 19951 with flag 95003/96840
42.15/41.76	c cleaning 9986 clauses out of 19979 with flag 105004/106841
45.16/44.75	c cleaning 9980 clauses out of 19990 with flag 115001/116838
48.37/47.96	c cleaning 9992 clauses out of 20011 with flag 125002/126839
51.47/51.08	c cleaning 9996 clauses out of 20020 with flag 135003/136840
54.68/54.26	c cleaning 10006 clauses out of 20024 with flag 145003/146840
57.29/56.90	c cleaning 9999 clauses out of 20015 with flag 155000/156837
60.60/60.10	c cleaning 10000 clauses out of 20016 with flag 165000/166837
63.41/62.95	c cleaning 9982 clauses out of 20017 with flag 175001/176838
66.62/66.13	c cleaning 10009 clauses out of 20036 with flag 185002/186839
69.32/68.83	c cleaning 10008 clauses out of 20025 with flag 195000/196837
72.23/71.70	c cleaning 9998 clauses out of 20017 with flag 205000/206837
75.03/74.52	c cleaning 9987 clauses out of 20020 with flag 215001/216838
78.14/77.68	c cleaning 9997 clauses out of 20032 with flag 225000/226837
81.25/80.77	c cleaning 9981 clauses out of 20035 with flag 235000/236837
84.16/83.69	c cleaning 10009 clauses out of 20055 with flag 245001/246838
87.16/86.64	c cleaning 10010 clauses out of 20045 with flag 255000/256837
90.57/90.07	c cleaning 9994 clauses out of 20041 with flag 265006/266843
94.47/93.92	c cleaning 9990 clauses out of 20044 with flag 275003/276840
98.08/97.59	c cleaning 9983 clauses out of 20052 with flag 285001/286838
101.39/100.84	c cleaning 10001 clauses out of 20069 with flag 295001/296838
105.79/105.24	c cleaning 10000 clauses out of 20067 with flag 305000/306837
109.70/109.13	c cleaning 9993 clauses out of 20069 with flag 315002/316839
114.20/113.66	c cleaning 10011 clauses out of 20075 with flag 325001/326838
117.92/117.35	c cleaning 10010 clauses out of 20069 with flag 335006/336843
121.02/120.43	c cleaning 10002 clauses out of 20054 with flag 345001/346838
124.53/123.95	c cleaning 9994 clauses out of 20055 with flag 355004/356841
128.34/127.70	c cleaning 10006 clauses out of 20058 with flag 365001/366838
132.84/132.27	c cleaning 10001 clauses out of 20052 with flag 375001/376838
136.64/136.04	c cleaning 9996 clauses out of 20050 with flag 385000/386837
140.35/139.76	c cleaning 10011 clauses out of 20056 with flag 395002/396839
144.55/143.95	c cleaning 10012 clauses out of 20043 with flag 405000/406837
148.55/147.98	c cleaning 9992 clauses out of 20034 with flag 415003/416840
153.47/152.87	c cleaning 9995 clauses out of 20040 with flag 425001/426838
157.47/156.83	c cleaning 9998 clauses out of 20046 with flag 435002/436839
161.28/160.65	c cleaning 9995 clauses out of 20046 with flag 445000/446837
165.08/164.41	c cleaning 10000 clauses out of 20051 with flag 455000/456837
168.69/168.01	c cleaning 10002 clauses out of 20051 with flag 465000/466837
172.39/171.79	c cleaning 9999 clauses out of 20050 with flag 475001/476838
175.40/174.77	c cleaning 10014 clauses out of 20052 with flag 485002/486839
179.11/178.43	c cleaning 10018 clauses out of 20039 with flag 495003/496840
183.01/182.39	c cleaning 10004 clauses out of 20023 with flag 505005/506842
186.42/185.73	c cleaning 9996 clauses out of 20017 with flag 515003/516840
189.83/189.12	c cleaning 9969 clauses out of 20019 with flag 525001/526838
193.24/192.51	c cleaning 9995 clauses out of 20049 with flag 535000/536837
196.34/195.63	c cleaning 10000 clauses out of 20056 with flag 545002/546839
199.85/199.18	c cleaning 9980 clauses out of 20054 with flag 555000/556837
203.95/203.26	c cleaning 9994 clauses out of 20076 with flag 565002/566839
207.85/207.20	c cleaning 10004 clauses out of 20080 with flag 575000/576837
211.76/211.00	c cleaning 10010 clauses out of 20076 with flag 585000/586837
216.76/216.07	c cleaning 9999 clauses out of 20066 with flag 595000/596837
220.57/219.81	c cleaning 9986 clauses out of 20067 with flag 605000/606837
224.68/223.92	c cleaning 9980 clauses out of 20082 with flag 615001/616838
228.18/227.49	c cleaning 10005 clauses out of 20101 with flag 625000/626837
231.58/230.81	c cleaning 9999 clauses out of 20096 with flag 635000/636837
235.50/234.75	c cleaning 10029 clauses out of 20098 with flag 645001/646838
239.92/239.13	c cleaning 10025 clauses out of 20073 with flag 655005/656842
244.23/243.47	c cleaning 9989 clauses out of 20046 with flag 665003/666840
247.53/246.78	c cleaning 10026 clauses out of 20055 with flag 675001/676838
251.54/250.80	c cleaning 10003 clauses out of 20032 with flag 685004/686841
254.84/254.09	c cleaning 9984 clauses out of 20025 with flag 695000/696837
258.03/257.29	c cleaning 10020 clauses out of 20047 with flag 705006/706843
262.13/261.32	c cleaning 9984 clauses out of 20023 with flag 715002/716839
266.04/265.22	c cleaning 9978 clauses out of 20039 with flag 725002/726839
269.84/269.08	c cleaning 9978 clauses out of 20060 with flag 735001/736838
273.55/272.73	c cleaning 9987 clauses out of 20082 with flag 745001/746838
277.45/276.67	c cleaning 9993 clauses out of 20094 with flag 755000/756837
281.05/280.29	c cleaning 9998 clauses out of 20101 with flag 765000/766837
284.67/283.81	c cleaning 9998 clauses out of 20103 with flag 775000/776837
288.67/287.89	c cleaning 10009 clauses out of 20106 with flag 785001/786838
292.87/292.01	c cleaning 9996 clauses out of 20096 with flag 795000/796837
296.57/295.74	c cleaning 9991 clauses out of 20100 with flag 805000/806837
300.48/299.64	c cleaning 9999 clauses out of 20111 with flag 815002/816839
304.58/303.73	c cleaning 10006 clauses out of 20110 with flag 825000/826837
308.08/307.20	c cleaning 10004 clauses out of 20109 with flag 835005/836842
312.28/311.41	c cleaning 9993 clauses out of 20101 with flag 845001/846838
316.28/315.42	c cleaning 10023 clauses out of 20110 with flag 855003/856840
319.59/318.74	c cleaning 9988 clauses out of 20088 with flag 865004/866841
322.99/322.18	c cleaning 10003 clauses out of 20100 with flag 875004/876841
326.09/325.22	c cleaning 9994 clauses out of 20093 with flag 885000/886837
330.49/329.67	c cleaning 9997 clauses out of 20099 with flag 895000/896837
334.30/333.42	c cleaning 10002 clauses out of 20103 with flag 905001/906838
338.40/337.52	c cleaning 10001 clauses out of 20106 with flag 915006/916843
342.50/341.66	c cleaning 9995 clauses out of 20100 with flag 925001/926838
346.70/345.89	c cleaning 10015 clauses out of 20104 with flag 935000/936837
350.91/350.02	c cleaning 9977 clauses out of 20089 with flag 945000/946837
355.31/354.42	c cleaning 10002 clauses out of 20112 with flag 955000/956837
358.81/357.98	c cleaning 10003 clauses out of 20111 with flag 965001/966838
362.72/361.82	c cleaning 10022 clauses out of 20108 with flag 975001/976838
367.22/366.37	c cleaning 10011 clauses out of 20085 with flag 985000/986837
371.22/370.35	c cleaning 10008 clauses out of 20075 with flag 995001/996838
375.22/374.32	c cleaning 10005 clauses out of 20068 with flag 1005002/1006839
379.02/378.11	c cleaning 10002 clauses out of 20062 with flag 1015001/1016838
382.93/382.05	c cleaning 9988 clauses out of 20059 with flag 1025000/1026837
387.13/386.21	c cleaning 10008 clauses out of 20075 with flag 1035004/1036841
390.94/390.04	c cleaning 9987 clauses out of 20064 with flag 1045001/1046838
394.66/393.77	c cleaning 10011 clauses out of 20077 with flag 1055001/1056838
398.75/397.84	c cleaning 9984 clauses out of 20065 with flag 1065000/1066837
403.16/402.25	c cleaning 9997 clauses out of 20084 with flag 1075003/1076840
407.46/406.56	c cleaning 10000 clauses out of 20086 with flag 1085002/1086839
411.87/410.93	c cleaning 10003 clauses out of 20088 with flag 1095004/1096841
416.97/416.04	c cleaning 9992 clauses out of 20083 with flag 1105002/1106839
421.37/420.49	c cleaning 10017 clauses out of 20093 with flag 1115004/1116841
425.67/424.74	c cleaning 10008 clauses out of 20075 with flag 1125003/1126840
429.98/429.09	c cleaning 9998 clauses out of 20064 with flag 1135000/1136837
434.17/433.26	c cleaning 10005 clauses out of 20069 with flag 1145003/1146840
438.47/437.55	c cleaning 9997 clauses out of 20062 with flag 1155001/1156838
442.77/441.86	c cleaning 9995 clauses out of 20067 with flag 1165003/1166840
447.18/446.20	c cleaning 10007 clauses out of 20070 with flag 1175001/1176838
451.28/450.34	c cleaning 9992 clauses out of 20064 with flag 1185002/1186839
455.88/454.93	c cleaning 10013 clauses out of 20076 with flag 1195006/1196843
460.18/459.22	c cleaning 10024 clauses out of 20059 with flag 1205002/1206839
463.89/462.98	c cleaning 10010 clauses out of 20033 with flag 1215000/1216837
467.99/467.04	c cleaning 9976 clauses out of 20026 with flag 1225003/1226840
472.19/471.24	c cleaning 9985 clauses out of 20050 with flag 1235003/1236840
476.10/475.16	c cleaning 10022 clauses out of 20062 with flag 1245000/1246837
480.40/479.40	c cleaning 10006 clauses out of 20042 with flag 1255002/1256839
484.21/483.25	c cleaning 9995 clauses out of 20035 with flag 1265001/1266838
488.11/487.15	c cleaning 10001 clauses out of 20039 with flag 1275000/1276837
492.31/491.35	c cleaning 9992 clauses out of 20039 with flag 1285001/1286838
495.92/494.91	c cleaning 10023 clauses out of 20049 with flag 1295003/1296840
500.01/499.07	c cleaning 10006 clauses out of 20027 with flag 1305004/1306841
504.01/503.10	c cleaning 10002 clauses out of 20022 with flag 1315005/1316842
508.41/507.46	c cleaning 9994 clauses out of 20016 with flag 1325001/1326838
512.61/511.64	c cleaning 9985 clauses out of 20023 with flag 1335002/1336839
517.22/516.21	c cleaning 9993 clauses out of 20038 with flag 1345002/1346839
520.82/519.85	c cleaning 10003 clauses out of 20044 with flag 1355001/1356838
524.82/523.84	c cleaning 9998 clauses out of 20041 with flag 1365001/1366838
528.73/527.70	c cleaning 9997 clauses out of 20043 with flag 1375001/1376838
532.73/531.73	c cleaning 9983 clauses out of 20046 with flag 1385001/1386838
536.23/535.28	c cleaning 9993 clauses out of 20063 with flag 1395001/1396838
539.73/538.74	c cleaning 9997 clauses out of 20072 with flag 1405003/1406840
543.03/542.04	c cleaning 9989 clauses out of 20072 with flag 1415000/1416837
546.13/545.17	c cleaning 10008 clauses out of 20084 with flag 1425001/1426838
549.63/548.63	c cleaning 9998 clauses out of 20076 with flag 1435001/1436838
554.64/553.61	c cleaning 9994 clauses out of 20077 with flag 1445000/1446837
559.24/558.28	c cleaning 10002 clauses out of 20084 with flag 1455001/1456838
563.64/562.65	c cleaning 9994 clauses out of 20082 with flag 1465001/1466838
569.05/568.09	c cleaning 9996 clauses out of 20089 with flag 1475002/1476839
572.85/571.89	c cleaning 10005 clauses out of 20092 with flag 1485001/1486838
576.85/575.81	c cleaning 10009 clauses out of 20086 with flag 1495000/1496837
580.95/579.91	c cleaning 10007 clauses out of 20081 with flag 1505004/1506841
585.95/584.98	c cleaning 10004 clauses out of 20072 with flag 1515002/1516839
590.06/589.08	c cleaning 9998 clauses out of 20066 with flag 1525000/1526837
593.97/592.99	c cleaning 10003 clauses out of 20068 with flag 1535000/1536837
598.66/597.64	c cleaning 9973 clauses out of 20065 with flag 1545000/1546837
603.26/602.29	c cleaning 10014 clauses out of 20094 with flag 1555002/1556839
607.87/606.80	c cleaning 10000 clauses out of 20079 with flag 1565001/1566838
612.07/611.01	c cleaning 9997 clauses out of 20080 with flag 1575002/1576839
615.57/614.54	c cleaning 9997 clauses out of 20084 with flag 1585003/1586840
619.37/618.34	c cleaning 9989 clauses out of 20084 with flag 1595000/1596837
623.38/622.35	c cleaning 10004 clauses out of 20098 with flag 1605003/1606840
627.29/626.21	c cleaning 10002 clauses out of 20091 with flag 1615000/1616837
630.99/629.94	c cleaning 10004 clauses out of 20090 with flag 1625001/1626838
634.80/633.77	c cleaning 10005 clauses out of 20089 with flag 1635004/1636841
638.20/637.12	c cleaning 10016 clauses out of 20080 with flag 1645000/1646837
642.21/641.10	c cleaning 10007 clauses out of 20065 with flag 1655001/1656838
645.91/644.82	c cleaning 10002 clauses out of 20057 with flag 1665000/1666837
649.52/648.43	c cleaning 10002 clauses out of 20055 with flag 1675000/1676837
653.13/652.10	c cleaning 10001 clauses out of 20053 with flag 1685000/1686837
657.03/655.90	c cleaning 9997 clauses out of 20052 with flag 1695000/1696837
660.43/659.34	c cleaning 9999 clauses out of 20055 with flag 1705000/1706837
664.44/663.38	c cleaning 10002 clauses out of 20057 with flag 1715001/1716838
667.44/666.37	c cleaning 9988 clauses out of 20055 with flag 1725001/1726838
670.65/669.50	c cleaning 10001 clauses out of 20067 with flag 1735001/1736838
674.15/673.07	c cleaning 9992 clauses out of 20065 with flag 1745000/1746837
677.76/676.60	c cleaning 10002 clauses out of 20075 with flag 1755002/1756839
682.66/681.53	c cleaning 9994 clauses out of 20072 with flag 1765001/1766838
686.76/685.68	c cleaning 10002 clauses out of 20078 with flag 1775001/1776838
690.67/689.58	c cleaning 9994 clauses out of 20077 with flag 1785002/1786839
694.27/693.10	c cleaning 10002 clauses out of 20081 with flag 1795000/1796837
697.67/696.51	c cleaning 10002 clauses out of 20079 with flag 1805000/1806837
700.78/699.65	c cleaning 9995 clauses out of 20079 with flag 1815002/1816839
703.99/702.88	c cleaning 10001 clauses out of 20083 with flag 1825001/1826838
707.29/706.20	c cleaning 10002 clauses out of 20083 with flag 1835002/1836839
710.59/709.45	c cleaning 9986 clauses out of 20079 with flag 1845000/1846837
714.29/713.14	c cleaning 10019 clauses out of 20095 with flag 1855002/1856839
717.70/716.57	c cleaning 10001 clauses out of 20076 with flag 1865002/1866839
721.40/720.22	c cleaning 9997 clauses out of 20074 with flag 1875001/1876838
725.70/724.54	c cleaning 10001 clauses out of 20080 with flag 1885004/1886841
729.80/728.66	c cleaning 9998 clauses out of 20075 with flag 1895000/1896837
733.50/732.37	c cleaning 10003 clauses out of 20078 with flag 1905001/1906838
737.60/736.49	c cleaning 9994 clauses out of 20074 with flag 1915000/1916837
741.20/740.04	c cleaning 10000 clauses out of 20080 with flag 1925000/1926837
745.30/744.12	c cleaning 10001 clauses out of 20080 with flag 1935000/1936837
749.80/748.68	c cleaning 10000 clauses out of 20081 with flag 1945002/1946839
754.11/752.97	c cleaning 10001 clauses out of 20079 with flag 1955000/1956837
758.21/757.09	c cleaning 10002 clauses out of 20079 with flag 1965001/1966838
762.61/761.41	c cleaning 10002 clauses out of 20079 with flag 1975003/1976840
766.72/765.60	c cleaning 10002 clauses out of 20078 with flag 1985004/1986841
771.32/770.15	c cleaning 10004 clauses out of 20072 with flag 1995000/1996837
775.22/774.00	c cleaning 10002 clauses out of 20070 with flag 2005002/2006839
779.12/777.99	c cleaning 9997 clauses out of 20066 with flag 2015000/2016837
782.73/781.53	c cleaning 9999 clauses out of 20069 with flag 2025000/2026837
786.43/785.28	c cleaning 10000 clauses out of 20071 with flag 2035001/2036838
791.94/790.70	c cleaning 9999 clauses out of 20072 with flag 2045002/2046839
795.74/794.55	c cleaning 9987 clauses out of 20072 with flag 2055001/2056838
799.24/798.00	c cleaning 9997 clauses out of 20084 with flag 2065000/2066837
803.34/802.16	c cleaning 10004 clauses out of 20087 with flag 2075000/2076837
807.04/805.85	c cleaning 10006 clauses out of 20084 with flag 2085001/2086838
810.65/809.40	c cleaning 9982 clauses out of 20080 with flag 2095003/2096840
813.95/812.73	c cleaning 10006 clauses out of 20096 with flag 2105001/2106838
817.95/816.73	c cleaning 10006 clauses out of 20090 with flag 2115001/2116838
821.65/820.48	c cleaning 10009 clauses out of 20083 with flag 2125000/2126837
825.66/824.40	c cleaning 10019 clauses out of 20080 with flag 2135006/2136843
829.76/828.58	c cleaning 10008 clauses out of 20055 with flag 2145000/2146837
834.26/833.00	c cleaning 9971 clauses out of 20047 with flag 2155000/2156837
838.96/837.70	c cleaning 9992 clauses out of 20076 with flag 2165000/2166837
842.57/841.38	c cleaning 10015 clauses out of 20084 with flag 2175000/2176837
846.97/845.77	c cleaning 10010 clauses out of 20069 with flag 2185000/2186837
851.67/850.46	c cleaning 9983 clauses out of 20063 with flag 2195004/2196841
856.07/854.83	c cleaning 10003 clauses out of 20076 with flag 2205000/2206837
860.89/859.65	c cleaning 10003 clauses out of 20075 with flag 2215002/2216839
866.99/865.75	c cleaning 9950 clauses out of 20071 with flag 2225001/2226838
871.69/870.43	c cleaning 9913 clauses out of 20121 with flag 2235001/2236838
876.29/875.03	c cleaning 9949 clauses out of 20208 with flag 2245001/2246838
881.39/880.19	c cleaning 9976 clauses out of 20259 with flag 2255001/2256838
885.99/884.78	c cleaning 9987 clauses out of 20282 with flag 2265000/2266837
891.10/889.88	c cleaning 9989 clauses out of 20295 with flag 2275000/2276837
896.30/895.04	c cleaning 9995 clauses out of 20306 with flag 2285000/2286837
900.50/899.22	c cleaning 10003 clauses out of 20313 with flag 2295002/2296839
904.90/903.63	c cleaning 10010 clauses out of 20309 with flag 2305001/2306838
909.51/908.21	c cleaning 9996 clauses out of 20300 with flag 2315002/2316839
913.41/912.16	c cleaning 9991 clauses out of 20305 with flag 2325003/2326840
917.52/916.21	c cleaning 10005 clauses out of 20311 with flag 2335000/2336837
921.61/920.30	c cleaning 10004 clauses out of 20308 with flag 2345002/2346839
925.62/924.38	c cleaning 10004 clauses out of 20302 with flag 2355000/2356837
929.52/928.25	c cleaning 9995 clauses out of 20298 with flag 2365000/2366837
933.43/932.13	c cleaning 10007 clauses out of 20304 with flag 2375001/2376838
937.53/936.27	c cleaning 10005 clauses out of 20301 with flag 2385005/2386842
941.63/940.35	c cleaning 9999 clauses out of 20294 with flag 2395003/2396840
946.24/944.95	c cleaning 10000 clauses out of 20294 with flag 2405002/2406839
950.54/949.24	c cleaning 9999 clauses out of 20292 with flag 2415000/2416837
954.74/953.47	c cleaning 9993 clauses out of 20296 with flag 2425003/2426840
957.34/956.07	c cleaning 10090 clauses out of 20300 with flag 2435000/2436837
960.25/958.94	c cleaning 10019 clauses out of 20210 with flag 2445000/2446837
963.25/961.93	c cleaning 10019 clauses out of 20192 with flag 2455001/2456838
966.06/964.74	c cleaning 10004 clauses out of 20174 with flag 2465002/2466839
969.27/967.94	c cleaning 10030 clauses out of 20171 with flag 2475003/2476840
972.36/971.04	c cleaning 10007 clauses out of 20143 with flag 2485005/2486842
975.57/974.21	c cleaning 10001 clauses out of 20131 with flag 2495000/2496837
978.38/977.07	c cleaning 9990 clauses out of 20131 with flag 2505001/2506838
981.39/980.02	c cleaning 9978 clauses out of 20145 with flag 2515005/2516842
984.29/982.94	c cleaning 9982 clauses out of 20166 with flag 2525004/2526841
987.20/985.84	c cleaning 9992 clauses out of 20181 with flag 2535001/2536838
990.31/988.94	c cleaning 9998 clauses out of 20189 with flag 2545001/2546838
992.70/991.33	c cleaning 9982 clauses out of 20190 with flag 2555000/2556837
996.01/994.67	c cleaning 10015 clauses out of 20211 with flag 2565003/2566840
999.01/997.61	c cleaning 9993 clauses out of 20193 with flag 2575000/2576837
1001.91/1000.58	c cleaning 10011 clauses out of 20201 with flag 2585001/2586838
1005.01/1003.66	c cleaning 9986 clauses out of 20191 with flag 2595002/2596839
1007.52/1006.10	c cleaning 10067 clauses out of 20207 with flag 2605004/2606841
1010.13/1008.78	c cleaning 10027 clauses out of 20136 with flag 2615000/2616837
1012.83/1011.45	c cleaning 10017 clauses out of 20110 with flag 2625001/2626838
1015.43/1014.06	c cleaning 10007 clauses out of 20094 with flag 2635002/2636839
1018.23/1016.88	c cleaning 10006 clauses out of 20091 with flag 2645006/2646843
1020.84/1019.41	c cleaning 10030 clauses out of 20079 with flag 2655000/2656837
1024.04/1022.63	c cleaning 10015 clauses out of 20049 with flag 2665000/2666837
1026.94/1025.57	c cleaning 10006 clauses out of 20035 with flag 2675001/2676838
1029.75/1028.36	c cleaning 10003 clauses out of 20029 with flag 2685001/2686838
1032.45/1031.08	c cleaning 9952 clauses out of 20029 with flag 2695004/2696841
1035.46/1034.03	c cleaning 9956 clauses out of 20073 with flag 2705000/2706837
1038.36/1036.96	c cleaning 9977 clauses out of 20119 with flag 2715002/2716839
1041.17/1039.71	c cleaning 9987 clauses out of 20141 with flag 2725001/2726838
1043.98/1042.54	c cleaning 9964 clauses out of 20154 with flag 2735001/2736838
1047.39/1045.95	c cleaning 9981 clauses out of 20190 with flag 2745001/2746838
1051.00/1049.53	c cleaning 9989 clauses out of 20210 with flag 2755002/2756839
1054.30/1052.86	c cleaning 9991 clauses out of 20219 with flag 2765000/2766837
1057.30/1055.83	c cleaning 9998 clauses out of 20231 with flag 2775003/2776840
1060.10/1058.64	c cleaning 9997 clauses out of 20230 with flag 2785000/2786837
1063.11/1061.61	c cleaning 9997 clauses out of 20233 with flag 2795000/2796837
1065.81/1064.39	c cleaning 10001 clauses out of 20236 with flag 2805000/2806837
1068.61/1067.11	c cleaning 9998 clauses out of 20235 with flag 2815000/2816837
1071.31/1069.85	c cleaning 9999 clauses out of 20237 with flag 2825000/2826837
1074.02/1072.59	c cleaning 10000 clauses out of 20238 with flag 2835000/2836837
1076.92/1075.46	c cleaning 9999 clauses out of 20238 with flag 2845000/2846837
1080.02/1078.57	c cleaning 10000 clauses out of 20241 with flag 2855002/2856839
1082.83/1081.32	c cleaning 9998 clauses out of 20239 with flag 2865000/2866837
1085.63/1084.12	c cleaning 9998 clauses out of 20241 with flag 2875000/2876837
1088.24/1086.79	c cleaning 9999 clauses out of 20243 with flag 2885000/2886837
1090.93/1089.47	c cleaning 9999 clauses out of 20244 with flag 2895000/2896837
1093.94/1092.42	c cleaning 9998 clauses out of 20245 with flag 2905000/2906837
1096.84/1095.34	c cleaning 10002 clauses out of 20247 with flag 2915000/2916837
1099.54/1098.03	c cleaning 9998 clauses out of 20246 with flag 2925001/2926838
1102.05/1100.50	c cleaning 10001 clauses out of 20248 with flag 2935001/2936838
1104.75/1103.21	c cleaning 9999 clauses out of 20246 with flag 2945000/2946837
1107.55/1106.08	c cleaning 9999 clauses out of 20247 with flag 2955000/2956837
1110.25/1108.74	c cleaning 10001 clauses out of 20248 with flag 2965000/2966837
1112.75/1111.26	c cleaning 10000 clauses out of 20247 with flag 2975000/2976837
1115.35/1113.84	c cleaning 10004 clauses out of 20251 with flag 2985004/2986841
1118.15/1116.64	c cleaning 9937 clauses out of 20243 with flag 2995000/2996837
1121.46/1119.97	c cleaning 9871 clauses out of 20307 with flag 3005001/3006838
1124.97/1123.43	c cleaning 10010 clauses out of 20435 with flag 3015000/3016837
1128.57/1127.07	c cleaning 9966 clauses out of 20426 with flag 3025001/3026838
1131.38/1129.88	c cleaning 10111 clauses out of 20460 with flag 3035001/3036838
1134.19/1132.62	c cleaning 10107 clauses out of 20349 with flag 3045001/3046838
1136.49/1134.94	c cleaning 10081 clauses out of 20241 with flag 3055000/3056837
1139.40/1137.87	c cleaning 10044 clauses out of 20160 with flag 3065000/3066837
1141.90/1140.35	c cleaning 10035 clauses out of 20118 with flag 3075002/3076839
1145.02/1143.40	c cleaning 10015 clauses out of 20084 with flag 3085003/3086840
1148.13/1146.55	c cleaning 10005 clauses out of 20067 with flag 3095001/3096838
1151.04/1149.42	c cleaning 9999 clauses out of 20062 with flag 3105001/3106838
1153.74/1152.14	c cleaning 10004 clauses out of 20063 with flag 3115001/3116838
1156.25/1154.61	c cleaning 10010 clauses out of 20058 with flag 3125000/3126837
1158.85/1157.27	c cleaning 9976 clauses out of 20050 with flag 3135002/3136839
1162.16/1160.54	c cleaning 9968 clauses out of 20074 with flag 3145002/3146839
1164.56/1162.90	c cleaning 9881 clauses out of 20104 with flag 3155000/3156837
1168.16/1166.51	c cleaning 9985 clauses out of 20224 with flag 3165001/3166838
1171.47/1169.80	c cleaning 9982 clauses out of 20240 with flag 3175002/3176839
1174.38/1172.75	c cleaning 9980 clauses out of 20262 with flag 3185006/3186843
1177.08/1175.47	c cleaning 9978 clauses out of 20277 with flag 3195001/3196838
1180.39/1178.71	c cleaning 9989 clauses out of 20300 with flag 3205002/3206839
1183.00/1181.32	c cleaning 10009 clauses out of 20313 with flag 3215004/3216841
1186.50/1184.88	c cleaning 9989 clauses out of 20301 with flag 3225001/3226838
1189.72/1188.01	c cleaning 9984 clauses out of 20311 with flag 3235000/3236837
1192.22/1190.59	c cleaning 9974 clauses out of 20332 with flag 3245005/3246842
1195.43/1193.78	c cleaning 9983 clauses out of 20354 with flag 3255001/3256838
1198.54/1196.81	c cleaning 10019 clauses out of 20372 with flag 3265002/3266839
1202.04/1200.30	c cleaning 10008 clauses out of 20351 with flag 3275000/3276837
1204.84/1203.17	c cleaning 9966 clauses out of 20343 with flag 3285000/3286837
1207.85/1206.10	c cleaning 9940 clauses out of 20378 with flag 3295001/3296838
1211.15/1209.44	c cleaning 10018 clauses out of 20439 with flag 3305002/3306839
1213.76/1212.05	c cleaning 10008 clauses out of 20420 with flag 3315001/3316838
1216.27/1214.59	c cleaning 10020 clauses out of 20412 with flag 3325001/3326838
1218.98/1217.26	c cleaning 10010 clauses out of 20392 with flag 3335001/3336838
1221.99/1220.22	c cleaning 9990 clauses out of 20381 with flag 3345000/3346837
1224.80/1223.10	c cleaning 9996 clauses out of 20394 with flag 3355003/3356840
1228.31/1226.55	c cleaning 10008 clauses out of 20398 with flag 3365003/3366840
1231.11/1229.32	c cleaning 9989 clauses out of 20387 with flag 3375000/3376837
1233.61/1231.86	c cleaning 10009 clauses out of 20398 with flag 3385000/3386837
1236.91/1235.14	c cleaning 10013 clauses out of 20395 with flag 3395006/3396843
1240.01/1238.20	c cleaning 9985 clauses out of 20379 with flag 3405003/3406840
1243.22/1241.47	c cleaning 10009 clauses out of 20393 with flag 3415002/3416839
1245.72/1244.00	c cleaning 9999 clauses out of 20384 with flag 3425002/3426839
1248.62/1246.88	c cleaning 9974 clauses out of 20384 with flag 3435001/3436838
1252.23/1250.41	c cleaning 9959 clauses out of 20410 with flag 3445001/3446838
1255.74/1254.00	c cleaning 9999 clauses out of 20450 with flag 3455000/3456837
1259.64/1257.81	c cleaning 9984 clauses out of 20452 with flag 3465001/3466838
1262.95/1261.16	c cleaning 10012 clauses out of 20468 with flag 3475001/3476838
1267.15/1265.30	c cleaning 9992 clauses out of 20456 with flag 3485001/3486838
1270.65/1268.83	c cleaning 9984 clauses out of 20464 with flag 3495001/3496838
1273.97/1272.11	c cleaning 10024 clauses out of 20480 with flag 3505001/3506838
1277.88/1276.05	c cleaning 10007 clauses out of 20455 with flag 3515000/3516837
1281.57/1279.79	c cleaning 9996 clauses out of 20448 with flag 3525000/3526837
1285.78/1283.95	c cleaning 9987 clauses out of 20453 with flag 3535001/3536838
1289.18/1287.33	c cleaning 9992 clauses out of 20466 with flag 3545001/3546838
1293.29/1291.48	c cleaning 9996 clauses out of 20473 with flag 3555000/3556837
1296.69/1294.86	c cleaning 9998 clauses out of 20478 with flag 3565001/3566838
1299.99/1298.16	c cleaning 10008 clauses out of 20480 with flag 3575001/3576838
1303.69/1301.86	c cleaning 10017 clauses out of 20475 with flag 3585004/3586841
1306.99/1305.12	c cleaning 9999 clauses out of 20455 with flag 3595001/3596838
1310.59/1308.79	c cleaning 9997 clauses out of 20455 with flag 3605000/3606837
1313.70/1311.82	c cleaning 10037 clauses out of 20459 with flag 3615001/3616838
1316.70/1314.85	c cleaning 9987 clauses out of 20421 with flag 3625000/3626837
1320.11/1318.27	c cleaning 9989 clauses out of 20437 with flag 3635003/3636840
1324.31/1322.46	c cleaning 9989 clauses out of 20445 with flag 3645000/3646837
1328.12/1326.28	c cleaning 9975 clauses out of 20457 with flag 3655001/3656838
1332.62/1330.71	c cleaning 9973 clauses out of 20482 with flag 3665001/3666838
1336.63/1334.70	c cleaning 9990 clauses out of 20508 with flag 3675000/3676837
1341.14/1339.26	c cleaning 10010 clauses out of 20522 with flag 3685004/3686841
1345.95/1344.05	c cleaning 9998 clauses out of 20509 with flag 3695001/3696838
1350.05/1348.16	c cleaning 9999 clauses out of 20513 with flag 3705003/3706840
1353.88/1351.92	c cleaning 9989 clauses out of 20514 with flag 3715003/3716840
1358.37/1356.40	c cleaning 10002 clauses out of 20522 with flag 3725000/3726837
1361.88/1359.97	c cleaning 10002 clauses out of 20521 with flag 3735001/3736838
1365.89/1363.98	c cleaning 9999 clauses out of 20518 with flag 3745000/3746837
1369.59/1367.64	c cleaning 9997 clauses out of 20520 with flag 3755001/3756838
1373.60/1371.64	c cleaning 10006 clauses out of 20522 with flag 3765000/3766837
1377.50/1375.56	c cleaning 9964 clauses out of 20516 with flag 3775000/3776837
1383.00/1381.03	c cleaning 9981 clauses out of 20553 with flag 3785001/3786838
1388.41/1386.48	c cleaning 10005 clauses out of 20573 with flag 3795002/3796839
1392.62/1390.69	c cleaning 10001 clauses out of 20568 with flag 3805002/3806839
1397.32/1395.33	c cleaning 9992 clauses out of 20566 with flag 3815001/3816838
1401.63/1399.64	c cleaning 10005 clauses out of 20574 with flag 3825001/3826838
1406.23/1404.28	c cleaning 9999 clauses out of 20569 with flag 3835001/3836838
1411.24/1409.28	c cleaning 9985 clauses out of 20569 with flag 3845000/3846837
1415.14/1413.16	c cleaning 10008 clauses out of 20584 with flag 3855000/3856837
1419.85/1417.83	c cleaning 10004 clauses out of 20577 with flag 3865001/3866838
1424.16/1422.19	c cleaning 10000 clauses out of 20578 with flag 3875006/3876843
1428.36/1426.40	c cleaning 9986 clauses out of 20573 with flag 3885001/3886838
1434.07/1432.07	c cleaning 9974 clauses out of 20586 with flag 3895000/3896837
1438.78/1436.73	c cleaning 10018 clauses out of 20614 with flag 3905002/3906839
1443.28/1441.24	c cleaning 10021 clauses out of 20596 with flag 3915002/3916839
1446.69/1444.69	c cleaning 9983 clauses out of 20573 with flag 3925000/3926837
1450.19/1448.19	c cleaning 10011 clauses out of 20592 with flag 3935002/3936839
1453.79/1451.74	c cleaning 10014 clauses out of 20579 with flag 3945000/3946837
1458.09/1456.02	c cleaning 9978 clauses out of 20569 with flag 3955004/3956841
1462.20/1460.13	c cleaning 9999 clauses out of 20589 with flag 3965002/3966839
1466.40/1464.36	c cleaning 9988 clauses out of 20588 with flag 3975000/3976837
1470.00/1467.99	c cleaning 10126 clauses out of 20600 with flag 3985000/3986837
1474.80/1472.79	c cleaning 10034 clauses out of 20474 with flag 3995000/3996837
1478.71/1476.61	c cleaning 9985 clauses out of 20440 with flag 4005000/4006837
1483.82/1481.78	c cleaning 9994 clauses out of 20459 with flag 4015004/4016841
1488.22/1486.17	c cleaning 9993 clauses out of 20461 with flag 4025000/4026837
1491.72/1489.68	c cleaning 9978 clauses out of 20469 with flag 4035001/4036838
1496.03/1493.96	c cleaning 10003 clauses out of 20492 with flag 4045002/4046839
1499.84/1497.74	c cleaning 10002 clauses out of 20491 with flag 4055004/4056841
1503.95/1501.80	c cleaning 10007 clauses out of 20488 with flag 4065003/4066840
1507.56/1505.42	c cleaning 9993 clauses out of 20479 with flag 4075001/4076838
1511.66/1509.57	c cleaning 10010 clauses out of 20487 with flag 4085002/4086839
1515.26/1513.13	c cleaning 10000 clauses out of 20476 with flag 4095001/4096838
1518.36/1516.23	c cleaning 10042 clauses out of 20475 with flag 4105000/4106837
1520.89/1518.75	c cleaning 10051 clauses out of 20435 with flag 4115002/4116839
1523.89/1521.71	c cleaning 10022 clauses out of 20383 with flag 4125001/4126838
1526.70/1524.51	c cleaning 9996 clauses out of 20362 with flag 4135002/4136839
1529.60/1527.43	c cleaning 10017 clauses out of 20366 with flag 4145002/4146839
1531.80/1529.67	c cleaning 10051 clauses out of 20350 with flag 4155003/4156840
1533.90/1531.73	c cleaning 9979 clauses out of 20301 with flag 4165005/4166842
1537.31/1535.17	c cleaning 9963 clauses out of 20318 with flag 4175001/4176838
1540.62/1538.48	c cleaning 9997 clauses out of 20354 with flag 4185000/4186837
1543.72/1541.56	c cleaning 9998 clauses out of 20357 with flag 4195000/4196837
1547.83/1545.70	c cleaning 9986 clauses out of 20360 with flag 4205001/4206838
1551.54/1549.37	c cleaning 9985 clauses out of 20373 with flag 4215000/4216837
1555.24/1553.09	c cleaning 10035 clauses out of 20389 with flag 4225001/4226838
1558.95/1556.74	c cleaning 9982 clauses out of 20353 with flag 4235000/4236837
1562.16/1559.94	c cleaning 10020 clauses out of 20371 with flag 4245000/4246837
1565.66/1563.44	c cleaning 9987 clauses out of 20351 with flag 4255000/4256837
1568.26/1566.00	c cleaning 9980 clauses out of 20369 with flag 4265005/4266842
1571.26/1569.06	c cleaning 10020 clauses out of 20386 with flag 4275002/4276839
1574.77/1572.58	c cleaning 9990 clauses out of 20364 with flag 4285000/4286837
1578.07/1575.87	c cleaning 9994 clauses out of 20375 with flag 4295001/4296838
1581.90/1579.61	c cleaning 10005 clauses out of 20380 with flag 4305000/4306837
1585.39/1583.10	c cleaning 9983 clauses out of 20375 with flag 4315000/4316837
1588.79/1586.53	c cleaning 10009 clauses out of 20393 with flag 4325001/4326838
1592.09/1589.86	c cleaning 9995 clauses out of 20385 with flag 4335002/4336839
1595.10/1592.82	c cleaning 9985 clauses out of 20389 with flag 4345001/4346838
1597.90/1595.62	c cleaning 9989 clauses out of 20403 with flag 4355000/4356837
1600.60/1598.39	c cleaning 10007 clauses out of 20415 with flag 4365001/4366838
1603.60/1601.31	c cleaning 10009 clauses out of 20407 with flag 4375000/4376837
1606.91/1604.69	c cleaning 10024 clauses out of 20401 with flag 4385003/4386840
1610.31/1608.08	c cleaning 9999 clauses out of 20376 with flag 4395002/4396839
1613.12/1610.88	c cleaning 9964 clauses out of 20375 with flag 4405000/4406837
1617.03/1614.74	c cleaning 9995 clauses out of 20411 with flag 4415000/4416837
1620.33/1618.05	c cleaning 10005 clauses out of 20416 with flag 4425000/4426837
1623.24/1620.93	c cleaning 10041 clauses out of 20411 with flag 4435000/4436837
1626.15/1623.82	c cleaning 9987 clauses out of 20373 with flag 4445003/4446840
1629.85/1627.52	c cleaning 9984 clauses out of 20383 with flag 4455000/4456837
1632.66/1630.39	c cleaning 10017 clauses out of 20400 with flag 4465001/4466838
1635.56/1633.20	c cleaning 10001 clauses out of 20383 with flag 4475001/4476838
1637.77/1635.49	c cleaning 10179 clauses out of 20383 with flag 4485002/4486839
1639.57/1637.20	c cleaning 10035 clauses out of 20203 with flag 4495001/4496838
1641.98/1639.64	c cleaning 10061 clauses out of 20167 with flag 4505000/4506837
1644.59/1642.30	c cleaning 9998 clauses out of 20106 with flag 4515000/4516837
1646.90/1644.59	c cleaning 9995 clauses out of 20108 with flag 4525000/4526837
1649.80/1647.41	c cleaning 10003 clauses out of 20116 with flag 4535003/4536840
1652.20/1649.80	c cleaning 10039 clauses out of 20111 with flag 4545001/4546838
1655.01/1652.60	c cleaning 10020 clauses out of 20071 with flag 4555000/4556837
1657.51/1655.11	c cleaning 10011 clauses out of 20056 with flag 4565005/4566842
1659.71/1657.35	c cleaning 10003 clauses out of 20040 with flag 4575000/4576837
1662.32/1659.98	c cleaning 10003 clauses out of 20038 with flag 4585001/4586838
1665.02/1662.68	c cleaning 10000 clauses out of 20035 with flag 4595001/4596838
1667.73/1665.40	c cleaning 10003 clauses out of 20037 with flag 4605003/4606840
1670.43/1668.01	c cleaning 10002 clauses out of 20031 with flag 4615000/4616837
1673.13/1670.71	c cleaning 10001 clauses out of 20031 with flag 4625002/4626839
1675.73/1673.32	c cleaning 9999 clauses out of 20029 with flag 4635001/4636838
1678.24/1675.82	c cleaning 9999 clauses out of 20029 with flag 4645000/4646837
1680.64/1678.22	c cleaning 10002 clauses out of 20031 with flag 4655001/4656838
1683.04/1680.69	c cleaning 9993 clauses out of 20028 with flag 4665000/4666837
1685.45/1683.04	c cleaning 10002 clauses out of 20037 with flag 4675002/4676839
1687.75/1685.31	c cleaning 10002 clauses out of 20033 with flag 4685000/4686837
1690.55/1688.15	c cleaning 9992 clauses out of 20032 with flag 4695001/4696838
1693.26/1690.85	c cleaning 10007 clauses out of 20039 with flag 4705000/4706837
1696.06/1693.62	c cleaning 10004 clauses out of 20032 with flag 4715000/4716837
1698.76/1696.35	c cleaning 9998 clauses out of 20028 with flag 4725000/4726837
1701.66/1699.26	c cleaning 10001 clauses out of 20031 with flag 4735001/4736838
1704.57/1702.13	c cleaning 10001 clauses out of 20030 with flag 4745001/4746838
1707.57/1705.14	c cleaning 10001 clauses out of 20028 with flag 4755000/4756837
1710.27/1707.87	c cleaning 10006 clauses out of 20035 with flag 4765008/4766845
1713.08/1710.60	c cleaning 9998 clauses out of 20022 with flag 4775001/4776838
1715.48/1713.01	c cleaning 9992 clauses out of 20024 with flag 4785001/4786838
1717.89/1715.45	c cleaning 9996 clauses out of 20033 with flag 4795002/4796839
1720.60/1718.13	c cleaning 9999 clauses out of 20038 with flag 4805003/4806840
1723.20/1720.76	c cleaning 9996 clauses out of 20036 with flag 4815000/4816837
1726.51/1724.02	c cleaning 10001 clauses out of 20044 with flag 4825004/4826841
1729.32/1726.82	c cleaning 9998 clauses out of 20039 with flag 4835000/4836837
1732.12/1729.68	c cleaning 10005 clauses out of 20047 with flag 4845006/4846843
1735.03/1732.59	c cleaning 10000 clauses out of 20037 with flag 4855001/4856838
1738.33/1735.81	c cleaning 9999 clauses out of 20038 with flag 4865002/4866839
1741.23/1738.78	c cleaning 9994 clauses out of 20037 with flag 4875000/4876837
1744.13/1741.66	c cleaning 10001 clauses out of 20043 with flag 4885000/4886837
1747.05/1744.52	c cleaning 10002 clauses out of 20045 with flag 4895003/4896840
1749.85/1747.39	c cleaning 9998 clauses out of 20041 with flag 4905001/4906838
1752.95/1750.42	c cleaning 10001 clauses out of 20046 with flag 4915004/4916841
1755.86/1753.39	c cleaning 9998 clauses out of 20042 with flag 4925001/4926838
1758.56/1756.07	c cleaning 10011 clauses out of 20046 with flag 4935003/4936840
1761.37/1758.88	c cleaning 10003 clauses out of 20032 with flag 4945000/4946837
1764.17/1761.64	c cleaning 10004 clauses out of 20031 with flag 4955002/4956839
1766.88/1764.35	c cleaning 10000 clauses out of 20026 with flag 4965001/4966838
1769.58/1767.00	c cleaning 10005 clauses out of 20029 with flag 4975004/4976841
1772.08/1769.50	c cleaning 10000 clauses out of 20022 with flag 4985002/4986839
1775.09/1772.54	c cleaning 9999 clauses out of 20021 with flag 4995001/4996838
1777.69/1775.18	c cleaning 9998 clauses out of 20021 with flag 5005000/5006837
1780.79/1778.25	c cleaning 9999 clauses out of 20024 with flag 5015001/5016838
1783.99/1781.41	c cleaning 10004 clauses out of 20024 with flag 5025000/5026837
1786.99/1784.45	c cleaning 9980 clauses out of 20022 with flag 5035002/5036839
1789.69/1787.19	c cleaning 10012 clauses out of 20040 with flag 5045000/5046837
1792.50/1789.96	c cleaning 10008 clauses out of 20028 with flag 5055000/5056837
1795.21/1792.65	c cleaning 9998 clauses out of 20020 with flag 5065000/5066837
1797.82/1795.25	c cleaning 10001 clauses out of 20022 with flag 5075000/5076837
1800.03/1797.41	c starts		: 278
1800.03/1797.41	c conflicts		: 5084726
1800.03/1797.41	c decisions		: 7150603
1800.03/1797.41	c propagations		: 86536924
1800.03/1797.41	c inspects		: 7431239992
1800.03/1797.41	c shortcuts		: 0
1800.03/1797.41	c learnt literals	: 0
1800.03/1797.41	c learnt binary clauses	: 0
1800.03/1797.41	c learnt ternary clauses	: 0
1800.03/1797.41	c learnt constraints	: 5084726
1800.03/1797.41	c ignored constraints	: 0
1800.03/1797.41	c root simplifications	: 0
1800.03/1797.41	c removed literals (reason simplification)	: 139519632
1800.03/1797.41	c reason swapping (by a shorter reason)	: 0
1800.03/1797.41	c Calls to reduceDB	: 509
1800.03/1797.42	c number of reductions to clauses (during analyze)	: 0
1800.03/1797.42	c number of learned constraints concerned by reduction	: 0
1800.03/1797.42	c number of learning phase by resolution	: 0
1800.03/1797.42	c number of learning phase by cutting planes	: 0
1800.03/1797.42	c speed (assignments/second)	: 48161.54164667749
1800.03/1797.42	c non guided choices	8783
1800.03/1797.43	c learnt constraints type 
1800.03/1797.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 17935
1800.03/1797.43	c constraints type 
1800.03/1797.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 31
1800.03/1797.43	c org.sat4j.minisat.constraints.card.MinWatchCard => 11
1800.03/1797.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 20
1800.03/1797.43	s SATISFIABLE
1800.03/1797.43	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 
1800.03/1797.43	c objective function=1
1800.03/1797.43	c Total wall clock time (in seconds): 1797.222

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.22 2/178 25696
/proc/meminfo: memFree=32476896/32951124 swapFree=67052812/67111528
[pid=25696] ppid=25694 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/25696/stat : 25696 (java) S 25694 25696 21680 0 -1 4202496 1242 0 0 0 0 0 0 0 22 0 2 0 902492433 31272960 960 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/25696/statm: 7635 960 732 9 0 386 0
[pid=25696/tid=25697] ppid=25694 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25697/stat : 25697 (java) R 25694 25696 21680 0 -1 4202560 126 0 0 0 0 0 0 0 24 0 2 0 902492434 31272960 960 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216634515259 0 0 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.0880219 s]
/proc/loadavg: 1.00 1.00 1.22 2/178 25696
/proc/meminfo: memFree=32476896/32951124 swapFree=67052812/67111528
[pid=25696] ppid=25694 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/25696/stat : 25696 (java) S 25694 25696 21680 0 -1 4202496 11235 0 46 0 2 1 0 0 22 0 13 0 902492433 10718699520 10975 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/25696/statm: 2616870 10975 1673 9 0 2607618 0
[pid=25696/tid=25697] ppid=25694 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/25696/task/25697/stat : 25697 (java) R 25694 25696 21680 0 -1 4202560 10085 0 46 0 2 1 0 0 18 0 13 0 902492434 10718699520 10975 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646342091 0 4 0 16784584 0 0 0 -1 5 0 0 3
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480

[startup+0.101019 s]
/proc/loadavg: 1.00 1.00 1.22 2/178 25696
/proc/meminfo: memFree=32476896/32951124 swapFree=67052812/67111528
[pid=25696] ppid=25694 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/25696/stat : 25696 (java) S 25694 25696 21680 0 -1 4202496 11332 0 46 0 2 1 0 0 22 0 13 0 902492433 10718699520 11072 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/25696/statm: 2616870 11072 1681 9 0 2607618 0
[pid=25696/tid=25697] ppid=25694 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/25696/task/25697/stat : 25697 (java) D 25694 25696 21680 0 -1 4202560 10182 0 46 0 2 1 0 0 18 0 13 0 902492434 10718699520 11072 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646342091 0 4 0 16784584 18446744071562234166 0 0 -1 5 0 0 3
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480

[startup+0.300976 s]
/proc/loadavg: 1.00 1.00 1.22 2/178 25696
/proc/meminfo: memFree=32476896/32951124 swapFree=67052812/67111528
[pid=25696] ppid=25694 vsize=10540724 CPUtime=0.26 cores=1,3,5,7
/proc/25696/stat : 25696 (java) S 25694 25696 21680 0 -1 4202496 13983 0 46 0 24 2 0 0 22 0 19 0 902492433 10793701376 13635 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25696/statm: 2635181 13635 2177 9 0 2625915 0
[pid=25696/tid=25697] ppid=25694 vsize=10540724 CPUtime=0.18 cores=1,3,5,7
/proc/25696/task/25697/stat : 25697 (java) R 25694 25696 21680 0 -1 4202560 11763 0 46 0 17 1 0 0 19 0 19 0 902492434 10793701376 13635 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 46912505228568 0 4 0 16800975 0 0 0 -1 5 0 0 8
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10540724

[startup+0.700916 s]
/proc/loadavg: 1.00 1.00 1.22 2/178 25696
/proc/meminfo: memFree=32476896/32951124 swapFree=67052812/67111528
[pid=25696] ppid=25694 vsize=10542992 CPUtime=0.93 cores=1,3,5,7
/proc/25696/stat : 25696 (java) S 25694 25696 21680 0 -1 4202496 16519 0 46 0 91 2 0 0 22 0 19 0 902492433 10796023808 15345 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25696/statm: 2635748 15345 2219 9 0 2626482 0
[pid=25696/tid=25697] ppid=25694 vsize=10542992 CPUtime=0.59 cores=1,3,5,7
/proc/25696/task/25697/stat : 25697 (java) R 25694 25696 21680 0 -1 4202560 12442 0 46 0 57 2 0 0 19 0 19 0 902492434 10796023808 15345 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 46912505605580 0 4 0 16800975 0 0 0 -1 5 0 0 8
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 10542992

[startup+1.50076 s]
/proc/loadavg: 1.00 1.00 1.22 3/214 25732
/proc/meminfo: memFree=32350496/32951124 swapFree=67052812/67111528
[pid=25696] ppid=25694 vsize=10542992 CPUtime=1.73 cores=1,3,5,7
/proc/25696/stat : 25696 (java) S 25694 25696 21680 0 -1 4202496 18443 0 46 0 170 3 0 0 22 0 19 0 902492433 10796023808 17268 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25696/statm: 2635748 17268 2221 9 0 2626482 0
[pid=25696/tid=25697] ppid=25694 vsize=10542992 CPUtime=1.38 cores=1,3,5,7
/proc/25696/task/25697/stat : 25697 (java) R 25694 25696 21680 0 -1 4202560 14363 0 46 0 136 2 0 0 20 0 19 0 902492434 10796023808 17268 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 46912505672032 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=25696/tid=25707] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25707/stat : 25707 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902492435 10796023808 17268 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25708] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25708/stat : 25708 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902492435 10796023808 17268 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25709] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25709/stat : 25709 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902492435 10796023808 17268 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25710] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25710/stat : 25710 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902492435 10796023808 17268 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25711] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25711/stat : 25711 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902492435 10796023808 17268 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25712] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25712/stat : 25712 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902492435 10796023808 17268 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25713] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25713/stat : 25713 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902492435 10796023808 17268 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25714] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25714/stat : 25714 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902492435 10796023808 17268 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25716] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25716/stat : 25716 (java) S 25694 25696 21680 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902492439 10796023808 17268 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331904 0 0 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25718] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25718/stat : 25718 (java) S 25694 25696 21680 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 902492440 10796023808 17268 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25719] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25719/stat : 25719 (java) S 25694 25696 21680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 902492440 10796023808 17268 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25722] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25722/stat : 25722 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902492446 10796023808 17268 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646338993 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25724] ppid=25694 vsize=10542992 CPUtime=0.16 cores=1,3,5,7
/proc/25696/task/25724/stat : 25724 (java) S 25694 25696 21680 0 -1 4202560 1089 0 0 0 16 0 0 0 17 0 19 0 902492446 10796023808 17268 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25725] ppid=25694 vsize=10542992 CPUtime=0.16 cores=1,3,5,7
/proc/25696/task/25725/stat : 25725 (java) S 25694 25696 21680 0 -1 4202560 1828 0 0 0 16 0 0 0 15 0 19 0 902492446 10796023808 17268 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25727] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25727/stat : 25727 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902492446 10796023808 17269 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25729] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25729/stat : 25729 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902492446 10796023808 17269 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331904 0 4 0 16800975 18446604471161989120 0 0 -1 3 0 0 0
[pid=25696/tid=25731] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25731/stat : 25731 (java) S 25694 25696 21680 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902492462 10796023808 17269 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331904 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 10542992

[startup+3.10149 s]
/proc/loadavg: 1.00 1.00 1.22 3/214 25732
/proc/meminfo: memFree=32330284/32951124 swapFree=67052812/67111528
[pid=25696] ppid=25694 vsize=10542992 CPUtime=3.39 cores=1,3,5,7
/proc/25696/stat : 25696 (java) S 25694 25696 21680 0 -1 4202496 20177 0 46 0 336 3 0 0 22 0 19 0 902492433 10796023808 18995 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25696/statm: 2635748 18995 2247 9 0 2626482 0
[pid=25696/tid=25697] ppid=25694 vsize=10542992 CPUtime=2.96 cores=1,3,5,7
/proc/25696/task/25697/stat : 25697 (java) R 25694 25696 21680 0 -1 4202560 14382 0 46 0 294 2 0 0 25 0 19 0 902492434 10796023808 18995 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 46912505590737 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=25696/tid=25707] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25707/stat : 25707 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902492435 10796023808 18995 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25708] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25708/stat : 25708 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902492435 10796023808 18995 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25709] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25709/stat : 25709 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902492435 10796023808 18995 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 3 0 0 0
[pid=25696/tid=25710] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25710/stat : 25710 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902492435 10796023808 18995 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 3 0 0 0
[pid=25696/tid=25711] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25711/stat : 25711 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902492435 10796023808 18995 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25712] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25712/stat : 25712 (java) S 25694 25696 21680 0 -1 4202560 150 0 0 0 0 0 0 0 18 0 19 0 902492435 10796023808 18995 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25713] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25713/stat : 25713 (java) S 25694 25696 21680 0 -1 4202560 405 0 0 0 0 0 0 0 18 0 19 0 902492435 10796023808 18995 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25714] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25714/stat : 25714 (java) S 25694 25696 21680 0 -1 4202560 296 0 0 0 0 0 0 0 18 0 19 0 902492435 10796023808 18995 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25716] ppid=25694 vsize=10542992 CPUtime=0.01 cores=1,3,5,7
/proc/25696/task/25716/stat : 25716 (java) S 25694 25696 21680 0 -1 4202560 848 0 0 0 1 0 0 0 16 0 19 0 902492439 10796023808 18995 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331904 0 0 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25718] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25718/stat : 25718 (java) S 25694 25696 21680 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902492440 10796023808 18995 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25719] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25719/stat : 25719 (java) S 25694 25696 21680 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902492440 10796023808 18995 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 4
[pid=25696/tid=25722] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25722/stat : 25722 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902492446 10796023808 18995 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646338993 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25724] ppid=25694 vsize=10542992 CPUtime=0.2 cores=1,3,5,7
/proc/25696/task/25724/stat : 25724 (java) S 25694 25696 21680 0 -1 4202560 1096 0 0 0 20 0 0 0 15 0 19 0 902492446 10796023808 18995 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25725] ppid=25694 vsize=10542992 CPUtime=0.19 cores=1,3,5,7
/proc/25696/task/25725/stat : 25725 (java) S 25694 25696 21680 0 -1 4202560 1841 0 0 0 19 0 0 0 15 0 19 0 902492446 10796023808 18995 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25727] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25727/stat : 25727 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902492446 10796023808 18995 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25729] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25729/stat : 25729 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902492446 10796023808 18995 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331904 0 4 0 16800975 18446604471161989120 0 0 -1 3 0 0 0
[pid=25696/tid=25731] ppid=25694 vsize=10542992 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25731/stat : 25731 (java) S 25694 25696 21680 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902492462 10796023808 18995 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331904 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 10542992

[startup+6.30091 s]
/proc/loadavg: 1.08 1.02 1.22 3/214 25732
/proc/meminfo: memFree=32296580/32951124 swapFree=67052812/67111528
[pid=25696] ppid=25694 vsize=10542304 CPUtime=6.61 cores=1,3,5,7
/proc/25696/stat : 25696 (java) S 25694 25696 21680 0 -1 4202496 28154 0 46 0 657 4 0 0 22 0 19 0 902492433 10795319296 26816 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25696/statm: 2635576 26816 2247 9 0 2626310 0
[pid=25696/tid=25697] ppid=25694 vsize=10542304 CPUtime=6.12 cores=1,3,5,7
/proc/25696/task/25697/stat : 25697 (java) R 25694 25696 21680 0 -1 4202560 15009 0 46 0 610 2 0 0 25 0 19 0 902492434 10795319296 26816 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 46912505549547 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=25696/tid=25707] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25707/stat : 25707 (java) S 25694 25696 21680 0 -1 4202560 1672 0 0 0 0 0 0 0 16 0 19 0 902492435 10795319296 26816 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25708] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25708/stat : 25708 (java) S 25694 25696 21680 0 -1 4202560 734 0 0 0 0 0 0 0 16 0 19 0 902492435 10795319296 26816 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25709] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25709/stat : 25709 (java) S 25694 25696 21680 0 -1 4202560 852 0 0 0 0 0 0 0 15 0 19 0 902492435 10795319296 26816 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 3 0 0 0
[pid=25696/tid=25710] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25710/stat : 25710 (java) S 25694 25696 21680 0 -1 4202560 949 0 0 0 0 0 0 0 15 0 19 0 902492435 10795319296 26816 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 3 0 0 0
[pid=25696/tid=25711] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25711/stat : 25711 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902492435 10795319296 26816 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25712] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25712/stat : 25712 (java) S 25694 25696 21680 0 -1 4202560 1136 0 0 0 0 0 0 0 18 0 19 0 902492435 10795319296 26816 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25713] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25713/stat : 25713 (java) S 25694 25696 21680 0 -1 4202560 1127 0 0 0 0 0 0 0 16 0 19 0 902492435 10795319296 26816 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25714] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25714/stat : 25714 (java) S 25694 25696 21680 0 -1 4202560 355 0 0 0 0 0 0 0 15 0 19 0 902492435 10795319296 26816 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 3 0 0 0
[pid=25696/tid=25716] ppid=25694 vsize=10542304 CPUtime=0.04 cores=1,3,5,7
/proc/25696/task/25716/stat : 25716 (java) S 25694 25696 21680 0 -1 4202560 2228 0 0 0 4 0 0 0 16 0 19 0 902492439 10795319296 26816 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331904 0 0 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25718] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25718/stat : 25718 (java) S 25694 25696 21680 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902492440 10795319296 26816 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25719] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25719/stat : 25719 (java) S 25694 25696 21680 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902492440 10795319296 26816 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 4
[pid=25696/tid=25722] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25722/stat : 25722 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902492446 10795319296 26816 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646338993 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25724] ppid=25694 vsize=10542304 CPUtime=0.2 cores=1,3,5,7
/proc/25696/task/25724/stat : 25724 (java) S 25694 25696 21680 0 -1 4202560 1096 0 0 0 20 0 0 0 15 0 19 0 902492446 10795319296 26816 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25725] ppid=25694 vsize=10542304 CPUtime=0.19 cores=1,3,5,7
/proc/25696/task/25725/stat : 25725 (java) S 25694 25696 21680 0 -1 4202560 1841 0 0 0 19 0 0 0 15 0 19 0 902492446 10795319296 26816 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0

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

[pid=25696/tid=25712] ppid=25694 vsize=10542304 CPUtime=0.39 cores=1,3,5,7
/proc/25696/task/25712/stat : 25712 (java) S 25694 25696 21680 0 -1 4202560 1588 0 0 0 39 0 0 0 15 0 19 0 902492435 10795319296 38307 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25713] ppid=25694 vsize=10542304 CPUtime=0.41 cores=1,3,5,7
/proc/25696/task/25713/stat : 25713 (java) S 25694 25696 21680 0 -1 4202560 1540 0 0 0 41 0 0 0 15 0 19 0 902492435 10795319296 38307 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 3 0 0 0
[pid=25696/tid=25714] ppid=25694 vsize=10542304 CPUtime=0.45 cores=1,3,5,7
/proc/25696/task/25714/stat : 25714 (java) S 25694 25696 21680 0 -1 4202560 1341 0 0 0 45 0 0 0 15 0 19 0 902492435 10795319296 38307 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25716] ppid=25694 vsize=10542304 CPUtime=10.14 cores=1,3,5,7
/proc/25696/task/25716/stat : 25716 (java) S 25694 25696 21680 0 -1 4202560 7513 0 0 0 1006 8 0 0 15 0 19 0 902492439 10795319296 38307 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331904 0 0 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25718] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25718/stat : 25718 (java) S 25694 25696 21680 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902492440 10795319296 38307 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25719] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25719/stat : 25719 (java) S 25694 25696 21680 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902492440 10795319296 38307 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 4
[pid=25696/tid=25722] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25722/stat : 25722 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902492446 10795319296 38307 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646338993 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25724] ppid=25694 vsize=10542304 CPUtime=0.25 cores=1,3,5,7
/proc/25696/task/25724/stat : 25724 (java) S 25694 25696 21680 0 -1 4202560 2048 0 0 0 25 0 0 0 15 0 19 0 902492446 10795319296 38307 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25725] ppid=25694 vsize=10542304 CPUtime=0.2 cores=1,3,5,7
/proc/25696/task/25725/stat : 25725 (java) S 25694 25696 21680 0 -1 4202560 1852 0 0 0 20 0 0 0 15 0 19 0 902492446 10795319296 38307 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25727] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25727/stat : 25727 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902492446 10795319296 38307 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25729] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25729/stat : 25729 (java) S 25694 25696 21680 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 902492446 10795319296 38307 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331904 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25731] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25731/stat : 25731 (java) S 25694 25696 21680 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902492462 10795319296 38307 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331904 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1664.72
Current children cumulated vsize (KiB) 10542304

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.85 4/214 25781
/proc/meminfo: memFree=31876568/32951124 swapFree=67052812/67111528
[pid=25696] ppid=25694 vsize=10542304 CPUtime=1724.81 cores=1,3,5,7
/proc/25696/stat : 25696 (java) S 25694 25696 21680 0 -1 4202496 41619 0 46 0 172461 20 0 0 22 0 19 0 902492433 10795319296 38684 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25696/statm: 2635576 38684 2249 9 0 2626310 0
[pid=25696/tid=25697] ppid=25694 vsize=10542304 CPUtime=1710.04 cores=1,3,5,7
/proc/25696/task/25697/stat : 25697 (java) R 25694 25696 21680 0 -1 4202560 16996 0 46 0 170999 5 0 0 25 0 19 0 902492434 10795319296 38684 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 46912505553151 0 4 0 16800975 0 0 0 -1 3 0 0 8
[pid=25696/tid=25707] ppid=25694 vsize=10542304 CPUtime=0.44 cores=1,3,5,7
/proc/25696/task/25707/stat : 25707 (java) S 25694 25696 21680 0 -1 4202560 2206 0 0 0 44 0 0 0 15 0 19 0 902492435 10795319296 38684 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 3 0 0 0
[pid=25696/tid=25708] ppid=25694 vsize=10542304 CPUtime=0.43 cores=1,3,5,7
/proc/25696/task/25708/stat : 25708 (java) S 25694 25696 21680 0 -1 4202560 1677 0 0 0 43 0 0 0 15 0 19 0 902492435 10795319296 38684 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25709] ppid=25694 vsize=10542304 CPUtime=0.43 cores=1,3,5,7
/proc/25696/task/25709/stat : 25709 (java) S 25694 25696 21680 0 -1 4202560 1482 0 0 0 43 0 0 0 15 0 19 0 902492435 10795319296 38684 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25710] ppid=25694 vsize=10542304 CPUtime=0.4 cores=1,3,5,7
/proc/25696/task/25710/stat : 25710 (java) S 25694 25696 21680 0 -1 4202560 1353 0 0 0 40 0 0 0 16 0 19 0 902492435 10795319296 38684 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 3 0 0 0
[pid=25696/tid=25711] ppid=25694 vsize=10542304 CPUtime=0.4 cores=1,3,5,7
/proc/25696/task/25711/stat : 25711 (java) S 25694 25696 21680 0 -1 4202560 414 0 0 0 40 0 0 0 15 0 19 0 902492435 10795319296 38684 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25712] ppid=25694 vsize=10542304 CPUtime=0.42 cores=1,3,5,7
/proc/25696/task/25712/stat : 25712 (java) S 25694 25696 21680 0 -1 4202560 1597 0 0 0 42 0 0 0 15 0 19 0 902492435 10795319296 38684 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25713] ppid=25694 vsize=10542304 CPUtime=0.42 cores=1,3,5,7
/proc/25696/task/25713/stat : 25713 (java) S 25694 25696 21680 0 -1 4202560 1550 0 0 0 42 0 0 0 15 0 19 0 902492435 10795319296 38684 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25714] ppid=25694 vsize=10542304 CPUtime=0.48 cores=1,3,5,7
/proc/25696/task/25714/stat : 25714 (java) S 25694 25696 21680 0 -1 4202560 1347 0 0 0 48 0 0 0 15 0 19 0 902492435 10795319296 38684 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25716] ppid=25694 vsize=10542304 CPUtime=10.76 cores=1,3,5,7
/proc/25696/task/25716/stat : 25716 (java) S 25694 25696 21680 0 -1 4202560 7843 0 0 0 1068 8 0 0 15 0 19 0 902492439 10795319296 38684 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331904 0 0 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25718] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25718/stat : 25718 (java) S 25694 25696 21680 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902492440 10795319296 38684 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25719] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25719/stat : 25719 (java) S 25694 25696 21680 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902492440 10795319296 38684 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 4
[pid=25696/tid=25722] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25722/stat : 25722 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902492446 10795319296 38684 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646338993 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25724] ppid=25694 vsize=10542304 CPUtime=0.25 cores=1,3,5,7
/proc/25696/task/25724/stat : 25724 (java) S 25694 25696 21680 0 -1 4202560 2048 0 0 0 25 0 0 0 15 0 19 0 902492446 10795319296 38684 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25725] ppid=25694 vsize=10542304 CPUtime=0.2 cores=1,3,5,7
/proc/25696/task/25725/stat : 25725 (java) S 25694 25696 21680 0 -1 4202560 1852 0 0 0 20 0 0 0 15 0 19 0 902492446 10795319296 38684 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25727] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25727/stat : 25727 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902492446 10795319296 38684 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25729] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25729/stat : 25729 (java) S 25694 25696 21680 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 902492446 10795319296 38684 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331904 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25731] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25731/stat : 25731 (java) S 25694 25696 21680 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902492462 10795319296 38684 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331904 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.81
Current children cumulated vsize (KiB) 10542304

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/214 25782
/proc/meminfo: memFree=31871648/32951124 swapFree=67052812/67111528
[pid=25696] ppid=25694 vsize=10542304 CPUtime=1784.89 cores=1,3,5,7
/proc/25696/stat : 25696 (java) S 25694 25696 21680 0 -1 4202496 42643 0 46 0 178468 21 0 0 22 0 19 0 902492433 10795319296 39683 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25696/statm: 2635576 39683 2249 9 0 2626310 0
[pid=25696/tid=25697] ppid=25694 vsize=10542304 CPUtime=1769.4 cores=1,3,5,7
/proc/25696/task/25697/stat : 25697 (java) R 25694 25696 21680 0 -1 4202560 17017 0 46 0 176935 5 0 0 25 0 19 0 902492434 10795319296 39683 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 46912505527104 0 4 0 16800975 0 0 0 -1 3 0 0 8
[pid=25696/tid=25707] ppid=25694 vsize=10542304 CPUtime=0.45 cores=1,3,5,7
/proc/25696/task/25707/stat : 25707 (java) S 25694 25696 21680 0 -1 4202560 2213 0 0 0 45 0 0 0 16 0 19 0 902492435 10795319296 39683 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25708] ppid=25694 vsize=10542304 CPUtime=0.45 cores=1,3,5,7
/proc/25696/task/25708/stat : 25708 (java) S 25694 25696 21680 0 -1 4202560 1681 0 0 0 45 0 0 0 15 0 19 0 902492435 10795319296 39683 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25709] ppid=25694 vsize=10542304 CPUtime=0.44 cores=1,3,5,7
/proc/25696/task/25709/stat : 25709 (java) S 25694 25696 21680 0 -1 4202560 1484 0 0 0 44 0 0 0 16 0 19 0 902492435 10795319296 39683 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25710] ppid=25694 vsize=10542304 CPUtime=0.44 cores=1,3,5,7
/proc/25696/task/25710/stat : 25710 (java) S 25694 25696 21680 0 -1 4202560 1362 0 0 0 43 1 0 0 15 0 19 0 902492435 10795319296 39683 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25711] ppid=25694 vsize=10542304 CPUtime=0.41 cores=1,3,5,7
/proc/25696/task/25711/stat : 25711 (java) S 25694 25696 21680 0 -1 4202560 419 0 0 0 41 0 0 0 15 0 19 0 902492435 10795319296 39683 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 3 0 0 0
[pid=25696/tid=25712] ppid=25694 vsize=10542304 CPUtime=0.43 cores=1,3,5,7
/proc/25696/task/25712/stat : 25712 (java) S 25694 25696 21680 0 -1 4202560 1604 0 0 0 43 0 0 0 16 0 19 0 902492435 10795319296 39683 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25713] ppid=25694 vsize=10542304 CPUtime=0.44 cores=1,3,5,7
/proc/25696/task/25713/stat : 25713 (java) S 25694 25696 21680 0 -1 4202560 1555 0 0 0 44 0 0 0 16 0 19 0 902492435 10795319296 39683 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25714] ppid=25694 vsize=10542304 CPUtime=0.49 cores=1,3,5,7
/proc/25696/task/25714/stat : 25714 (java) S 25694 25696 21680 0 -1 4202560 1353 0 0 0 49 0 0 0 15 0 19 0 902492435 10795319296 39683 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 3 0 0 0
[pid=25696/tid=25716] ppid=25694 vsize=10542304 CPUtime=11.36 cores=1,3,5,7
/proc/25696/task/25716/stat : 25716 (java) S 25694 25696 21680 0 -1 4202560 8799 0 0 0 1127 9 0 0 15 0 19 0 902492439 10795319296 39683 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331904 0 0 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25718] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25718/stat : 25718 (java) S 25694 25696 21680 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902492440 10795319296 39683 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25719] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25719/stat : 25719 (java) S 25694 25696 21680 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902492440 10795319296 39683 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 4
[pid=25696/tid=25722] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25722/stat : 25722 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902492446 10795319296 39683 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646338993 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25724] ppid=25694 vsize=10542304 CPUtime=0.25 cores=1,3,5,7
/proc/25696/task/25724/stat : 25724 (java) S 25694 25696 21680 0 -1 4202560 2048 0 0 0 25 0 0 0 15 0 19 0 902492446 10795319296 39683 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25725] ppid=25694 vsize=10542304 CPUtime=0.2 cores=1,3,5,7
/proc/25696/task/25725/stat : 25725 (java) S 25694 25696 21680 0 -1 4202560 1852 0 0 0 20 0 0 0 15 0 19 0 902492446 10795319296 39683 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25727] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25727/stat : 25727 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902492446 10795319296 39683 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25729] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25729/stat : 25729 (java) S 25694 25696 21680 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902492446 10795319296 39683 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331904 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25731] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25731/stat : 25731 (java) S 25694 25696 21680 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902492462 10795319296 39683 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331904 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.89
Current children cumulated vsize (KiB) 10542304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.41 s]
/proc/loadavg: 1.92 1.98 1.85 2/194 25786
/proc/meminfo: memFree=32327104/32951124 swapFree=67052812/67111528
[pid=25696] ppid=25694 vsize=10542304 CPUtime=1800.03 cores=1,3,5,7
/proc/25696/stat : 25696 (java) S 25694 25696 21680 0 -1 4202496 42658 0 46 0 179981 22 0 0 22 0 19 0 902492433 10795319296 39689 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25696/statm: 2635576 39689 2249 9 0 2626310 0
[pid=25696/tid=25697] ppid=25694 vsize=10542304 CPUtime=1784.36 cores=1,3,5,7
/proc/25696/task/25697/stat : 25697 (java) R 25694 25696 21680 0 -1 4202560 17022 0 46 0 178431 5 0 0 25 0 19 0 902492434 10795319296 39689 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 46912505613123 0 4 0 16800975 0 0 0 -1 3 0 0 8
[pid=25696/tid=25707] ppid=25694 vsize=10542304 CPUtime=0.46 cores=1,3,5,7
/proc/25696/task/25707/stat : 25707 (java) S 25694 25696 21680 0 -1 4202560 2213 0 0 0 46 0 0 0 15 0 19 0 902492435 10795319296 39689 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25708] ppid=25694 vsize=10542304 CPUtime=0.46 cores=1,3,5,7
/proc/25696/task/25708/stat : 25708 (java) S 25694 25696 21680 0 -1 4202560 1681 0 0 0 46 0 0 0 15 0 19 0 902492435 10795319296 39689 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25709] ppid=25694 vsize=10542304 CPUtime=0.45 cores=1,3,5,7
/proc/25696/task/25709/stat : 25709 (java) S 25694 25696 21680 0 -1 4202560 1484 0 0 0 45 0 0 0 16 0 19 0 902492435 10795319296 39689 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25710] ppid=25694 vsize=10542304 CPUtime=0.44 cores=1,3,5,7
/proc/25696/task/25710/stat : 25710 (java) S 25694 25696 21680 0 -1 4202560 1362 0 0 0 43 1 0 0 15 0 19 0 902492435 10795319296 39689 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25711] ppid=25694 vsize=10542304 CPUtime=0.42 cores=1,3,5,7
/proc/25696/task/25711/stat : 25711 (java) S 25694 25696 21680 0 -1 4202560 422 0 0 0 42 0 0 0 15 0 19 0 902492435 10795319296 39689 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 3 0 0 0
[pid=25696/tid=25712] ppid=25694 vsize=10542304 CPUtime=0.44 cores=1,3,5,7
/proc/25696/task/25712/stat : 25712 (java) S 25694 25696 21680 0 -1 4202560 1607 0 0 0 44 0 0 0 15 0 19 0 902492435 10795319296 39689 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 3 0 0 0
[pid=25696/tid=25713] ppid=25694 vsize=10542304 CPUtime=0.44 cores=1,3,5,7
/proc/25696/task/25713/stat : 25713 (java) S 25694 25696 21680 0 -1 4202560 1555 0 0 0 44 0 0 0 16 0 19 0 902492435 10795319296 39689 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25714] ppid=25694 vsize=10542304 CPUtime=0.5 cores=1,3,5,7
/proc/25696/task/25714/stat : 25714 (java) S 25694 25696 21680 0 -1 4202560 1353 0 0 0 50 0 0 0 16 0 19 0 902492435 10795319296 39689 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 3 0 0 0
[pid=25696/tid=25716] ppid=25694 vsize=10542304 CPUtime=11.49 cores=1,3,5,7
/proc/25696/task/25716/stat : 25716 (java) S 25694 25696 21680 0 -1 4202560 8801 0 0 0 1140 9 0 0 15 0 19 0 902492439 10795319296 39689 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331904 0 0 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25718] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25718/stat : 25718 (java) S 25694 25696 21680 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902492440 10795319296 39689 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25719] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25719/stat : 25719 (java) S 25694 25696 21680 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902492440 10795319296 39689 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 4
[pid=25696/tid=25722] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25722/stat : 25722 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902492446 10795319296 39689 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646338993 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25724] ppid=25694 vsize=10542304 CPUtime=0.25 cores=1,3,5,7
/proc/25696/task/25724/stat : 25724 (java) S 25694 25696 21680 0 -1 4202560 2048 0 0 0 25 0 0 0 15 0 19 0 902492446 10795319296 39689 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
[pid=25696/tid=25725] ppid=25694 vsize=10542304 CPUtime=0.2 cores=1,3,5,7
/proc/25696/task/25725/stat : 25725 (java) S 25694 25696 21680 0 -1 4202560 1852 0 0 0 20 0 0 0 15 0 19 0 902492446 10795319296 39689 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25727] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25727/stat : 25727 (java) S 25694 25696 21680 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902492446 10795319296 39689 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331289 0 4 0 16800975 18446604471161989120 0 0 -1 5 0 0 0
[pid=25696/tid=25729] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25729/stat : 25729 (java) S 25694 25696 21680 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902492446 10795319296 39689 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331904 0 4 0 16800975 18446604471161989120 0 0 -1 1 0 0 0
[pid=25696/tid=25731] ppid=25694 vsize=10542304 CPUtime=0 cores=1,3,5,7
/proc/25696/task/25731/stat : 25731 (java) S 25694 25696 21680 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902492462 10795319296 39689 33554432000 1073741824 1073778376 140734851025664 18446744073709551615 216646331904 0 4 0 16800975 18446604471161989120 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10542304

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.44
CPU time (s): 1800.09
CPU user time (s): 1799.86
CPU system time (s): 0.229965
CPU usage (%): 100.147
Max. virtual memory (cumulated for all children) (KiB): 10542992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.229965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42715
page faults= 46
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49707
involuntary context switches= 26659

runsolver used 3.09253 second user time and 6.74997 second system time

The end

Launcher Data 

Begin job on node103 at 2011-06-12 22:01:38
IDJOB=3492255
IDBENCH=78711
IDSOLVER=1982
FILE ID=node103/3492255-1307908898
RUNJOBID= node103-1307908898-25668
PBS_JOBID= 13559599
Free space on /tmp= 74076 MiB

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

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

MD5SUM BENCH= b618f143f0ce2a95508bc08f0990c2c8
RANDOM SEED=210659889

node103.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.858
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.71
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.858
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.75
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.858
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.75
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.858
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.77
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.858
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.75
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.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.83
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.858
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:      32487460 kB
Buffers:        119676 kB
Cached:         125008 kB
SwapCached:      22648 kB
Active:         169996 kB
Inactive:       103836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32487460 kB
SwapTotal:    67111528 kB
SwapFree:     67052812 kB
Dirty:             784 kB
Writeback:           0 kB
AnonPages:       26684 kB
Mapped:           9236 kB
Slab:           124584 kB
PageTables:       4828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   196136 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74076 MiB
End job on node103 at 2011-06-12 22:31:38