Trace number 3492247

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo
MD5SUM318c9cc5b16e210b9b0a9873d7c14d4c
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.06499
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 constraints16
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 916
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 915
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.04/0.29	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.29	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.29	c See www.sat4j.org for details.
0.04/0.29	c version 2.3.1.v20110525
0.04/0.29	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.29	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.29	c java.vm.version	19.1-b02
0.04/0.29	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.29	c sun.arch.data.model	64
0.04/0.29	c java.version		1.6.0_24
0.04/0.29	c os.name		Linux
0.04/0.29	c os.version		2.6.18-164.el5
0.04/0.29	c os.arch		amd64
0.04/0.29	c Free memory 		9996466904
0.04/0.29	c Max memory 		10048897024
0.04/0.29	c Total memory 		10048897024
0.04/0.29	c Number of processors 	8
0.11/0.32	c Pseudo Boolean Optimization
0.11/0.32	c --- Begin Solver configuration ---
0.11/0.32	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.11/0.32	c Learn all clauses as in MiniSAT
0.11/0.32	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.32	c Expensive reason simplification
0.11/0.32	c Armin Biere (Picosat) restarts strategy
0.11/0.32	c Glucose learned constraints deletion strategy
0.11/0.32	c timeout=2147483s
0.11/0.32	c DB Simplification allowed=false
0.11/0.32	c --- End Solver configuration ---
0.11/0.32	c solving HOME/instance-3492247-1307908886.wbo
0.11/0.32	c reading problem ... 
0.26/0.40	c ... done. Wall clock time 0.075s.
0.26/0.40	c #vars     946
0.26/0.40	c #constraints  61
0.26/0.40	c constraints type 
0.26/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 31
0.26/0.40	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
0.26/0.40	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6
0.50/0.51	c SATISFIABLE
0.50/0.51	c OPTIMIZING...
0.50/0.51	c Got one! Elapsed wall clock time (in seconds):0.185
0.50/0.51	o 31
0.64/0.61	c Got one! Elapsed wall clock time (in seconds):0.287
0.64/0.61	o 15
0.76/0.77	c Got one! Elapsed wall clock time (in seconds):0.446
0.76/0.77	o 14
1.92/1.80	c cleaning 3037 clauses out of 6179 with flag 4000/6179
4.25/4.14	c cleaning 4568 clauses out of 9143 with flag 10001/12180
7.46/7.33	c cleaning 5784 clauses out of 11574 with flag 17000/19179
10.97/10.90	c cleaning 6895 clauses out of 13790 with flag 25000/27179
15.10/14.96	c cleaning 7946 clauses out of 15895 with flag 34000/36179
20.10/19.97	c cleaning 8972 clauses out of 17950 with flag 44001/46180
24.82/24.67	c cleaning 9488 clauses out of 18977 with flag 54000/56179
29.03/28.80	c cleaning 9744 clauses out of 19490 with flag 64001/66180
33.54/33.36	c cleaning 9869 clauses out of 19745 with flag 74000/76179
38.54/38.35	c cleaning 9934 clauses out of 19877 with flag 84001/86180
43.85/43.68	c cleaning 9967 clauses out of 19943 with flag 94001/96180
48.66/48.47	c cleaning 9984 clauses out of 19975 with flag 104000/106179
54.17/53.96	c cleaning 9993 clauses out of 19993 with flag 114002/116181
58.97/58.76	c cleaning 9995 clauses out of 20001 with flag 124003/126182
63.07/62.81	c cleaning 10003 clauses out of 20005 with flag 134002/136181
67.98/67.72	c cleaning 9999 clauses out of 20003 with flag 144003/146182
73.09/72.83	c cleaning 9998 clauses out of 20002 with flag 154001/156180
77.39/77.12	c cleaning 10001 clauses out of 20003 with flag 164000/166179
82.40/82.16	c cleaning 9999 clauses out of 20005 with flag 174003/176182
87.51/87.29	c cleaning 9998 clauses out of 20004 with flag 184001/186180
92.22/91.95	c cleaning 10000 clauses out of 20007 with flag 194002/196181
96.03/95.79	c cleaning 10001 clauses out of 20006 with flag 204001/206180
101.62/101.36	c cleaning 9999 clauses out of 20004 with flag 214000/216179
106.53/106.25	c cleaning 9999 clauses out of 20006 with flag 224001/226180
110.74/110.43	c cleaning 9998 clauses out of 20006 with flag 234000/236179
114.75/114.49	c cleaning 10000 clauses out of 20008 with flag 244000/246179
118.85/118.53	c cleaning 10000 clauses out of 20009 with flag 254001/256180
122.65/122.35	c cleaning 9999 clauses out of 20008 with flag 264000/266179
125.96/125.62	c cleaning 10001 clauses out of 20010 with flag 274001/276180
129.26/128.93	c cleaning 10000 clauses out of 20009 with flag 284001/286180
132.47/132.10	c cleaning 10000 clauses out of 20009 with flag 294001/296180
136.17/135.89	c cleaning 9999 clauses out of 20009 with flag 304001/306180
139.77/139.42	c cleaning 10001 clauses out of 20009 with flag 314000/316179
142.98/142.66	c cleaning 9998 clauses out of 20008 with flag 324000/326179
146.38/146.06	c cleaning 10004 clauses out of 20013 with flag 334003/336182
149.60/149.29	c cleaning 9993 clauses out of 20006 with flag 344000/346179
153.00/152.62	c cleaning 10001 clauses out of 20013 with flag 354000/356179
156.70/156.34	c cleaning 10004 clauses out of 20013 with flag 364001/366180
160.20/159.82	c cleaning 9998 clauses out of 20008 with flag 374000/376179
163.61/163.26	c cleaning 10000 clauses out of 20012 with flag 384002/386181
166.61/166.27	c cleaning 10001 clauses out of 20010 with flag 394000/396179
169.82/169.46	c cleaning 9994 clauses out of 20009 with flag 404000/406179
172.92/172.60	c cleaning 10000 clauses out of 20017 with flag 414002/416181
176.12/175.78	c cleaning 9992 clauses out of 20017 with flag 424002/426181
179.73/179.38	c cleaning 10004 clauses out of 20025 with flag 434002/436181
182.93/182.51	c cleaning 9993 clauses out of 20021 with flag 444002/446181
186.03/185.67	c cleaning 9997 clauses out of 20027 with flag 454001/456180
189.43/189.06	c cleaning 10005 clauses out of 20029 with flag 464000/466179
192.73/192.35	c cleaning 9999 clauses out of 20024 with flag 474000/476179
196.24/195.83	c cleaning 10005 clauses out of 20027 with flag 484002/486181
199.34/198.95	c cleaning 10000 clauses out of 20020 with flag 494000/496179
202.54/202.12	c cleaning 10000 clauses out of 20022 with flag 504002/506181
205.95/205.53	c cleaning 10002 clauses out of 20021 with flag 514001/516180
209.46/209.06	c cleaning 9999 clauses out of 20019 with flag 524001/526180
212.86/212.45	c cleaning 9991 clauses out of 20021 with flag 534002/536181
215.97/215.56	c cleaning 10001 clauses out of 20029 with flag 544001/546180
219.06/218.62	c cleaning 10000 clauses out of 20028 with flag 554001/556180
222.47/222.09	c cleaning 10003 clauses out of 20030 with flag 564003/566182
225.88/225.44	c cleaning 9995 clauses out of 20026 with flag 574002/576181
229.18/228.80	c cleaning 10000 clauses out of 20029 with flag 584000/586179
233.07/232.69	c cleaning 9996 clauses out of 20030 with flag 594001/596180
236.98/236.55	c cleaning 10003 clauses out of 20033 with flag 604000/606179
241.17/240.77	c cleaning 10013 clauses out of 20033 with flag 614003/616182
245.58/245.19	c cleaning 10003 clauses out of 20017 with flag 624000/626179
249.98/249.60	c cleaning 10003 clauses out of 20017 with flag 634003/636182
254.38/253.92	c cleaning 10002 clauses out of 20011 with flag 644000/646179
258.51/258.07	c cleaning 10000 clauses out of 20009 with flag 654000/656179
263.12/262.63	c cleaning 10000 clauses out of 20009 with flag 664000/666179
267.62/267.18	c cleaning 10001 clauses out of 20012 with flag 674003/676182
272.23/271.76	c cleaning 9998 clauses out of 20008 with flag 684000/686179
276.72/276.22	c cleaning 10002 clauses out of 20011 with flag 694001/696180
281.32/280.89	c cleaning 10001 clauses out of 20012 with flag 704004/706183
285.93/285.49	c cleaning 10000 clauses out of 20007 with flag 714000/716179
290.53/290.07	c cleaning 9999 clauses out of 20007 with flag 724000/726179
295.03/294.50	c cleaning 9999 clauses out of 20009 with flag 734001/736180
299.33/298.86	c cleaning 10000 clauses out of 20010 with flag 744001/746180
303.44/302.94	c cleaning 10001 clauses out of 20009 with flag 754000/756179
307.54/307.10	c cleaning 10000 clauses out of 20010 with flag 764002/766181
311.64/311.13	c cleaning 9997 clauses out of 20010 with flag 774002/776181
315.84/315.34	c cleaning 10004 clauses out of 20013 with flag 784002/786181
320.15/319.64	c cleaning 9998 clauses out of 20009 with flag 794002/796181
324.45/323.93	c cleaning 10001 clauses out of 20009 with flag 804000/806179
328.76/328.26	c cleaning 9999 clauses out of 20008 with flag 814000/816179
333.26/332.79	c cleaning 10000 clauses out of 20009 with flag 824000/826179
337.66/337.12	c cleaning 9999 clauses out of 20009 with flag 834000/836179
341.57/341.05	c cleaning 10003 clauses out of 20011 with flag 844001/846180
345.77/345.25	c cleaning 10000 clauses out of 20008 with flag 854001/856180
349.97/349.47	c cleaning 9999 clauses out of 20008 with flag 864001/866180
353.87/353.35	c cleaning 9998 clauses out of 20008 with flag 874000/876179
358.09/357.56	c cleaning 10001 clauses out of 20010 with flag 884000/886179
362.88/362.32	c cleaning 10002 clauses out of 20010 with flag 894001/896180
366.99/366.49	c cleaning 10001 clauses out of 20007 with flag 904000/906179
371.30/370.73	c cleaning 9997 clauses out of 20010 with flag 914004/916183
375.29/374.74	c cleaning 9990 clauses out of 20011 with flag 924002/926181
379.29/378.70	c cleaning 10006 clauses out of 20019 with flag 934000/936179
383.70/383.11	c cleaning 10006 clauses out of 20018 with flag 944005/946184
388.30/387.79	c cleaning 9997 clauses out of 20007 with flag 954000/956179
393.31/392.75	c cleaning 10000 clauses out of 20010 with flag 964000/966179
398.31/397.79	c cleaning 9994 clauses out of 20010 with flag 974000/976179
402.91/402.38	c cleaning 10005 clauses out of 20016 with flag 984000/986179
407.72/407.13	c cleaning 10004 clauses out of 20013 with flag 994002/996181
412.22/411.68	c cleaning 9995 clauses out of 20007 with flag 1004000/1006179
416.52/415.94	c cleaning 10001 clauses out of 20012 with flag 1014000/1016179
420.63/420.08	c cleaning 10000 clauses out of 20012 with flag 1024001/1026180
425.13/424.58	c cleaning 10001 clauses out of 20011 with flag 1034000/1036179
429.93/429.31	c cleaning 10003 clauses out of 20013 with flag 1044003/1046182
434.13/433.57	c cleaning 9999 clauses out of 20007 with flag 1054000/1056179
438.03/437.43	c cleaning 10000 clauses out of 20008 with flag 1064000/1066179
441.93/441.39	c cleaning 10001 clauses out of 20011 with flag 1074003/1076182
446.43/445.89	c cleaning 10001 clauses out of 20009 with flag 1084002/1086181
450.84/450.21	c cleaning 9984 clauses out of 20006 with flag 1094000/1096179
454.94/454.34	c cleaning 10004 clauses out of 20022 with flag 1104000/1106179
459.44/458.84	c cleaning 10006 clauses out of 20020 with flag 1114002/1116181
463.54/462.97	c cleaning 10004 clauses out of 20013 with flag 1124001/1126180
468.05/467.42	c cleaning 9998 clauses out of 20008 with flag 1134000/1136179
472.25/471.64	c cleaning 9985 clauses out of 20010 with flag 1144000/1146179
476.25/475.68	c cleaning 10008 clauses out of 20026 with flag 1154001/1156180
480.56/479.90	c cleaning 10003 clauses out of 20017 with flag 1164000/1166179
484.36/483.76	c cleaning 9982 clauses out of 20016 with flag 1174002/1176181
488.46/487.81	c cleaning 10015 clauses out of 20033 with flag 1184001/1186180
492.27/491.69	c cleaning 10007 clauses out of 20020 with flag 1194003/1196182
496.67/496.01	c cleaning 10003 clauses out of 20014 with flag 1204004/1206183
501.18/500.58	c cleaning 9996 clauses out of 20008 with flag 1214001/1216180
505.87/505.23	c cleaning 10001 clauses out of 20013 with flag 1224002/1226181
510.57/509.99	c cleaning 10001 clauses out of 20012 with flag 1234002/1236181
515.38/514.77	c cleaning 9999 clauses out of 20009 with flag 1244000/1246179
520.18/519.53	c cleaning 10000 clauses out of 20010 with flag 1254000/1256179
524.78/524.19	c cleaning 10001 clauses out of 20010 with flag 1264000/1266179
529.20/528.50	c cleaning 10000 clauses out of 20009 with flag 1274000/1276179
533.39/532.78	c cleaning 10001 clauses out of 20009 with flag 1284000/1286179
537.60/536.98	c cleaning 10000 clauses out of 20010 with flag 1294002/1296181
541.60/540.97	c cleaning 10001 clauses out of 20010 with flag 1304002/1306181
545.90/545.22	c cleaning 9999 clauses out of 20009 with flag 1314002/1316181
550.40/549.79	c cleaning 10001 clauses out of 20008 with flag 1324000/1326179
555.80/555.13	c cleaning 10001 clauses out of 20007 with flag 1334000/1336179
561.10/560.41	c cleaning 9999 clauses out of 20008 with flag 1344002/1346181
565.90/565.25	c cleaning 9993 clauses out of 20007 with flag 1354000/1356179
570.41/569.79	c cleaning 10001 clauses out of 20014 with flag 1364000/1366179
575.41/574.70	c cleaning 10000 clauses out of 20014 with flag 1374001/1376180
580.51/579.83	c cleaning 10004 clauses out of 20013 with flag 1384000/1386179
585.41/584.74	c cleaning 9998 clauses out of 20011 with flag 1394002/1396181
589.61/588.96	c cleaning 10001 clauses out of 20011 with flag 1404000/1406179
593.81/593.17	c cleaning 10000 clauses out of 20010 with flag 1414000/1416179
598.31/597.60	c cleaning 10001 clauses out of 20012 with flag 1424002/1426181
602.72/602.04	c cleaning 10000 clauses out of 20009 with flag 1434000/1436179
607.01/606.36	c cleaning 10004 clauses out of 20013 with flag 1444004/1446183
611.12/610.50	c cleaning 9999 clauses out of 20006 with flag 1454001/1456180
615.12/614.49	c cleaning 9998 clauses out of 20007 with flag 1464001/1466180
618.93/618.27	c cleaning 10001 clauses out of 20008 with flag 1474000/1476179
622.73/622.02	c cleaning 9998 clauses out of 20007 with flag 1484000/1486179
626.03/625.39	c cleaning 10001 clauses out of 20013 with flag 1494004/1496183
630.24/629.55	c cleaning 10000 clauses out of 20009 with flag 1504001/1506180
633.84/633.10	c cleaning 9999 clauses out of 20009 with flag 1514001/1516180
637.34/636.68	c cleaning 9998 clauses out of 20009 with flag 1524000/1526179
640.95/640.29	c cleaning 9991 clauses out of 20011 with flag 1534000/1536179
644.45/643.75	c cleaning 9990 clauses out of 20020 with flag 1544000/1546179
648.06/647.30	c cleaning 10010 clauses out of 20030 with flag 1554000/1556179
651.56/650.89	c cleaning 10008 clauses out of 20023 with flag 1564003/1566182
655.37/654.68	c cleaning 9990 clauses out of 20013 with flag 1574001/1576180
658.97/658.24	c cleaning 10004 clauses out of 20023 with flag 1584001/1586180
662.67/661.96	c cleaning 9994 clauses out of 20018 with flag 1594000/1596179
665.97/665.25	c cleaning 9995 clauses out of 20024 with flag 1604000/1606179
669.37/668.69	c cleaning 9999 clauses out of 20029 with flag 1614000/1616179
672.78/672.02	c cleaning 10004 clauses out of 20035 with flag 1624005/1626184
676.58/675.86	c cleaning 9994 clauses out of 20028 with flag 1634002/1636181
680.37/679.61	c cleaning 9990 clauses out of 20032 with flag 1644000/1646179
683.47/682.72	c cleaning 9995 clauses out of 20043 with flag 1654001/1656180
686.67/685.99	c cleaning 9997 clauses out of 20047 with flag 1664000/1666179
689.98/689.27	c cleaning 10003 clauses out of 20054 with flag 1674004/1676183
693.18/692.40	c cleaning 10001 clauses out of 20049 with flag 1684002/1686181
696.28/695.55	c cleaning 10007 clauses out of 20046 with flag 1694000/1696179
699.69/698.98	c cleaning 10007 clauses out of 20041 with flag 1704002/1706181
703.09/702.34	c cleaning 10004 clauses out of 20036 with flag 1714004/1716183
706.59/705.84	c cleaning 10000 clauses out of 20029 with flag 1724001/1726180
709.90/709.14	c cleaning 9994 clauses out of 20028 with flag 1734000/1736179
713.40/712.60	c cleaning 10001 clauses out of 20036 with flag 1744002/1746181
717.20/716.42	c cleaning 10002 clauses out of 20033 with flag 1754000/1756179
720.70/719.90	c cleaning 10001 clauses out of 20032 with flag 1764001/1766180
724.61/723.83	c cleaning 9995 clauses out of 20030 with flag 1774000/1776179
729.01/728.25	c cleaning 10008 clauses out of 20041 with flag 1784006/1786185
733.42/732.65	c cleaning 9999 clauses out of 20027 with flag 1794000/1796179
737.82/737.02	c cleaning 10002 clauses out of 20029 with flag 1804001/1806180
741.92/741.17	c cleaning 9995 clauses out of 20026 with flag 1814000/1816179
746.53/745.73	c cleaning 10001 clauses out of 20032 with flag 1824001/1826180
751.63/750.82	c cleaning 10003 clauses out of 20031 with flag 1834001/1836180
755.83/755.03	c cleaning 9999 clauses out of 20027 with flag 1844000/1846179
760.04/759.27	c cleaning 9999 clauses out of 20028 with flag 1854000/1856179
764.05/763.29	c cleaning 10003 clauses out of 20029 with flag 1864000/1866179
768.45/767.64	c cleaning 9999 clauses out of 20026 with flag 1874000/1876179
772.85/772.04	c cleaning 10002 clauses out of 20032 with flag 1884005/1886184
777.25/776.48	c cleaning 10001 clauses out of 20029 with flag 1894004/1896183
781.55/780.78	c cleaning 9999 clauses out of 20025 with flag 1904001/1906180
785.36/784.58	c cleaning 10000 clauses out of 20027 with flag 1914002/1916181
789.66/788.85	c cleaning 10000 clauses out of 20028 with flag 1924003/1926182
794.37/793.55	c cleaning 9999 clauses out of 20025 with flag 1934000/1936179
798.57/797.79	c cleaning 10000 clauses out of 20028 with flag 1944002/1946181
802.78/801.92	c cleaning 9998 clauses out of 20028 with flag 1954002/1956181
806.37/805.54	c cleaning 9995 clauses out of 20028 with flag 1964000/1966179
810.18/809.35	c cleaning 10005 clauses out of 20037 with flag 1974004/1976183
814.18/813.39	c cleaning 10001 clauses out of 20028 with flag 1984000/1986179
818.68/817.90	c cleaning 10003 clauses out of 20029 with flag 1994002/1996181
823.28/822.48	c cleaning 9996 clauses out of 20024 with flag 2004000/2006179
827.69/826.81	c cleaning 9996 clauses out of 20028 with flag 2014000/2016179
832.79/831.93	c cleaning 10001 clauses out of 20033 with flag 2024001/2026180
837.39/836.51	c cleaning 10002 clauses out of 20031 with flag 2034000/2036179
841.70/840.85	c cleaning 10002 clauses out of 20029 with flag 2044000/2046179
845.90/845.02	c cleaning 9996 clauses out of 20030 with flag 2054003/2056182
849.70/848.86	c cleaning 10000 clauses out of 20031 with flag 2064000/2066179
853.41/852.53	c cleaning 10003 clauses out of 20032 with flag 2074001/2076180
856.90/856.07	c cleaning 10002 clauses out of 20030 with flag 2084002/2086181
860.90/860.05	c cleaning 9982 clauses out of 20026 with flag 2094000/2096179
864.81/863.98	c cleaning 10002 clauses out of 20045 with flag 2104001/2106180
868.90/868.04	c cleaning 9998 clauses out of 20042 with flag 2114000/2116179
872.41/871.59	c cleaning 9994 clauses out of 20045 with flag 2124001/2126180
875.91/875.08	c cleaning 9997 clauses out of 20050 with flag 2134000/2136179
879.61/878.75	c cleaning 9997 clauses out of 20054 with flag 2144001/2146180
882.61/881.73	c cleaning 9998 clauses out of 20059 with flag 2154003/2156182
886.62/885.72	c cleaning 10011 clauses out of 20058 with flag 2164000/2166179
890.42/889.56	c cleaning 9997 clauses out of 20050 with flag 2174003/2176182
894.33/893.40	c cleaning 9990 clauses out of 20052 with flag 2184002/2186181
897.63/896.79	c cleaning 9997 clauses out of 20065 with flag 2194005/2196184
902.23/901.39	c cleaning 10009 clauses out of 20066 with flag 2204003/2206182
906.73/905.87	c cleaning 10001 clauses out of 20054 with flag 2214000/2216179
911.03/910.11	c cleaning 10002 clauses out of 20054 with flag 2224001/2226180
915.44/914.51	c cleaning 10002 clauses out of 20051 with flag 2234000/2236179
919.84/918.98	c cleaning 10001 clauses out of 20049 with flag 2244000/2246179
924.04/923.15	c cleaning 10002 clauses out of 20054 with flag 2254006/2256185
928.04/927.19	c cleaning 9998 clauses out of 20048 with flag 2264002/2266181
931.94/931.08	c cleaning 10002 clauses out of 20051 with flag 2274003/2276182
936.94/936.02	c cleaning 9998 clauses out of 20047 with flag 2284001/2286180
941.24/940.39	c cleaning 10001 clauses out of 20049 with flag 2294001/2296180
945.35/944.45	c cleaning 10019 clauses out of 20051 with flag 2304004/2306183
949.25/948.36	c cleaning 10000 clauses out of 20029 with flag 2314001/2316180
953.16/952.29	c cleaning 9996 clauses out of 20030 with flag 2324002/2326181
956.97/956.02	c cleaning 9999 clauses out of 20032 with flag 2334000/2336179
960.68/959.77	c cleaning 9997 clauses out of 20034 with flag 2344001/2346180
964.38/963.47	c cleaning 10011 clauses out of 20043 with flag 2354007/2356186
968.99/968.02	c cleaning 10007 clauses out of 20025 with flag 2364000/2366179
973.30/972.34	c cleaning 9999 clauses out of 20019 with flag 2374001/2376180
977.80/976.86	c cleaning 9952 clauses out of 20019 with flag 2384000/2386179
982.01/981.04	c cleaning 9997 clauses out of 20070 with flag 2394003/2396182
986.32/985.31	c cleaning 10025 clauses out of 20070 with flag 2404000/2406179
990.43/989.42	c cleaning 10020 clauses out of 20046 with flag 2414001/2416180
994.64/993.65	c cleaning 10002 clauses out of 20025 with flag 2424000/2426179
998.95/997.93	c cleaning 9998 clauses out of 20023 with flag 2434000/2436179
1003.06/1002.08	c cleaning 9994 clauses out of 20025 with flag 2444000/2446179
1006.56/1005.57	c cleaning 10016 clauses out of 20033 with flag 2454002/2456181
1010.27/1009.24	c cleaning 9994 clauses out of 20017 with flag 2464002/2466181
1013.49/1012.48	c cleaning 10002 clauses out of 20026 with flag 2474005/2476184
1016.50/1015.43	c cleaning 10001 clauses out of 20019 with flag 2484000/2486179
1019.50/1018.44	c cleaning 9999 clauses out of 20018 with flag 2494000/2496179
1022.41/1021.39	c cleaning 10000 clauses out of 20021 with flag 2504002/2506181
1025.52/1024.46	c cleaning 9999 clauses out of 20020 with flag 2514001/2516180
1028.54/1027.42	c cleaning 9998 clauses out of 20020 with flag 2524000/2526179
1032.34/1031.24	c cleaning 10001 clauses out of 20022 with flag 2534000/2536179
1035.44/1034.35	c cleaning 10001 clauses out of 20025 with flag 2544004/2546183
1038.25/1037.19	c cleaning 9999 clauses out of 20021 with flag 2554001/2556180
1041.35/1040.21	c cleaning 9982 clauses out of 20023 with flag 2564002/2566181
1044.16/1043.03	c cleaning 9985 clauses out of 20040 with flag 2574001/2576180
1047.06/1045.98	c cleaning 9950 clauses out of 20054 with flag 2584000/2586179
1049.97/1048.89	c cleaning 9945 clauses out of 20107 with flag 2594003/2596182
1052.68/1051.51	c cleaning 9961 clauses out of 20161 with flag 2604002/2606181
1055.48/1054.35	c cleaning 9980 clauses out of 20201 with flag 2614003/2616182
1058.58/1057.40	c cleaning 9987 clauses out of 20221 with flag 2624003/2626182
1061.38/1060.30	c cleaning 9993 clauses out of 20233 with flag 2634002/2636181
1064.39/1063.23	c cleaning 9992 clauses out of 20238 with flag 2644000/2646179
1067.10/1065.98	c cleaning 10100 clauses out of 20247 with flag 2654001/2656180
1069.89/1068.72	c cleaning 10018 clauses out of 20146 with flag 2664000/2666179
1073.20/1072.00	c cleaning 10046 clauses out of 20131 with flag 2674003/2676182
1075.91/1074.80	c cleaning 10008 clauses out of 20082 with flag 2684000/2686179
1078.81/1077.62	c cleaning 10020 clauses out of 20075 with flag 2694001/2696180
1081.41/1080.23	c cleaning 10000 clauses out of 20054 with flag 2704000/2706179
1084.72/1083.57	c cleaning 9987 clauses out of 20054 with flag 2714000/2716179
1087.42/1086.22	c cleaning 10015 clauses out of 20071 with flag 2724004/2726183
1090.02/1088.85	c cleaning 10009 clauses out of 20052 with flag 2734000/2736179
1092.73/1091.56	c cleaning 10004 clauses out of 20043 with flag 2744000/2746179
1095.64/1094.48	c cleaning 9995 clauses out of 20039 with flag 2754000/2756179
1098.43/1097.23	c cleaning 10004 clauses out of 20047 with flag 2764003/2766182
1101.25/1100.09	c cleaning 10000 clauses out of 20040 with flag 2774000/2776179
1104.04/1102.88	c cleaning 9990 clauses out of 20047 with flag 2784007/2786186
1107.05/1105.83	c cleaning 10009 clauses out of 20061 with flag 2794011/2796190
1110.15/1108.91	c cleaning 9987 clauses out of 20044 with flag 2804003/2806182
1113.06/1111.90	c cleaning 10004 clauses out of 20054 with flag 2814000/2816179
1115.96/1114.77	c cleaning 10004 clauses out of 20050 with flag 2824000/2826179
1118.87/1117.61	c cleaning 10004 clauses out of 20047 with flag 2834001/2836180
1121.47/1120.23	c cleaning 9997 clauses out of 20043 with flag 2844001/2846180
1124.07/1122.83	c cleaning 10002 clauses out of 20047 with flag 2854002/2856181
1126.78/1125.56	c cleaning 10001 clauses out of 20045 with flag 2864002/2866181
1129.68/1128.42	c cleaning 10001 clauses out of 20042 with flag 2874000/2876179
1132.59/1131.36	c cleaning 9999 clauses out of 20041 with flag 2884000/2886179
1135.40/1134.17	c cleaning 9999 clauses out of 20043 with flag 2894001/2896180
1138.49/1137.22	c cleaning 9993 clauses out of 20043 with flag 2904000/2906179
1141.30/1140.01	c cleaning 10003 clauses out of 20051 with flag 2914001/2916180
1144.40/1143.14	c cleaning 10002 clauses out of 20048 with flag 2924001/2926180
1147.61/1146.30	c cleaning 9999 clauses out of 20048 with flag 2934003/2936182
1150.72/1149.41	c cleaning 9996 clauses out of 20049 with flag 2944003/2946182
1153.91/1152.66	c cleaning 10002 clauses out of 20053 with flag 2954003/2956182
1157.21/1156.00	c cleaning 10002 clauses out of 20048 with flag 2964000/2966179
1160.41/1159.16	c cleaning 10000 clauses out of 20046 with flag 2974000/2976179
1164.02/1162.71	c cleaning 10002 clauses out of 20047 with flag 2984001/2986180
1164.52/1163.23	c Got one! Elapsed wall clock time (in seconds):1162.906
1164.52/1163.23	o 1
1165.12/1163.82	c cleaning 7514 clauses out of 15106 with flag 3000/2991241
1166.23/1164.93	c cleaning 6771 clauses out of 13592 with flag 9000/2997241
1167.73/1166.46	c cleaning 6889 clauses out of 13821 with flag 16000/3004241
1169.73/1168.41	c cleaning 7439 clauses out of 14933 with flag 24001/3012242
1172.43/1171.12	c cleaning 8232 clauses out of 16494 with flag 33001/3021242
1175.14/1173.81	c cleaning 9109 clauses out of 18261 with flag 43000/3031241
1178.65/1177.39	c cleaning 9564 clauses out of 19153 with flag 53001/3041242
1181.45/1180.15	c cleaning 9779 clauses out of 19590 with flag 63002/3051243
1184.66/1183.34	c cleaning 9892 clauses out of 19812 with flag 73003/3061244
1187.86/1186.52	c cleaning 9943 clauses out of 19917 with flag 83000/3071241
1190.37/1189.03	c cleaning 9972 clauses out of 19976 with flag 93002/3081243
1194.37/1193.05	c cleaning 9962 clauses out of 20008 with flag 103006/3091247
1197.78/1196.49	c cleaning 9996 clauses out of 20041 with flag 113001/3101242
1200.78/1199.45	c cleaning 10004 clauses out of 20047 with flag 123003/3111244
1203.49/1202.17	c cleaning 9921 clauses out of 20040 with flag 133000/3121241
1206.59/1205.29	c cleaning 9963 clauses out of 20119 with flag 143000/3131241
1209.41/1208.04	c cleaning 9915 clauses out of 20159 with flag 153003/3141244
1212.81/1211.47	c cleaning 9968 clauses out of 20241 with flag 163000/3151241
1216.32/1214.95	c cleaning 9987 clauses out of 20274 with flag 173001/3161242
1219.83/1218.41	c cleaning 10010 clauses out of 20286 with flag 183000/3171241
1222.74/1221.31	c cleaning 10014 clauses out of 20276 with flag 193000/3181241
1226.75/1225.40	c cleaning 9918 clauses out of 20264 with flag 203002/3191243
1230.85/1229.48	c cleaning 9946 clauses out of 20345 with flag 213001/3201242
1233.76/1232.39	c cleaning 10031 clauses out of 20401 with flag 223003/3211244
1237.06/1235.69	c cleaning 10018 clauses out of 20369 with flag 233002/3221243
1240.26/1238.84	c cleaning 10003 clauses out of 20349 with flag 243000/3231241
1243.28/1241.85	c cleaning 10002 clauses out of 20347 with flag 253001/3241242
1246.78/1245.37	c cleaning 9994 clauses out of 20344 with flag 263000/3251241
1249.99/1248.56	c cleaning 10006 clauses out of 20351 with flag 273001/3261242
1252.89/1251.48	c cleaning 10002 clauses out of 20345 with flag 283001/3271242
1256.10/1254.66	c cleaning 10000 clauses out of 20343 with flag 293001/3281242
1258.40/1256.97	c cleaning 10050 clauses out of 20344 with flag 303002/3291243
1261.21/1259.73	c cleaning 10025 clauses out of 20292 with flag 313000/3301241
1263.91/1262.40	c cleaning 9857 clauses out of 20268 with flag 323001/3311242
1269.12/1267.67	c cleaning 9945 clauses out of 20412 with flag 333002/3321243
1273.93/1272.49	c cleaning 9991 clauses out of 20465 with flag 343000/3331241
1278.93/1277.48	c cleaning 9980 clauses out of 20475 with flag 353001/3341242
1283.93/1282.45	c cleaning 9989 clauses out of 20495 with flag 363001/3351242
1289.74/1288.21	c cleaning 9993 clauses out of 20507 with flag 373002/3361243
1294.74/1293.27	c cleaning 9997 clauses out of 20515 with flag 383003/3371244
1299.75/1298.28	c cleaning 9994 clauses out of 20516 with flag 393001/3381242
1304.86/1303.38	c cleaning 10000 clauses out of 20522 with flag 403001/3391242
1309.47/1307.93	c cleaning 10001 clauses out of 20521 with flag 413000/3401241
1314.57/1313.03	c cleaning 9985 clauses out of 20522 with flag 423002/3411243
1319.87/1318.37	c cleaning 9987 clauses out of 20537 with flag 433002/3421243
1325.58/1324.03	c cleaning 9988 clauses out of 20549 with flag 443001/3431242
1329.58/1328.07	c cleaning 10024 clauses out of 20562 with flag 453002/3441243
1333.60/1332.10	c cleaning 10027 clauses out of 20540 with flag 463004/3451245
1337.30/1335.70	c cleaning 10001 clauses out of 20509 with flag 473000/3461241
1341.50/1339.90	c cleaning 9948 clauses out of 20509 with flag 483001/3471242
1345.41/1343.84	c cleaning 9963 clauses out of 20565 with flag 493005/3481246
1351.01/1349.43	c cleaning 9988 clauses out of 20597 with flag 503000/3491241
1356.03/1354.48	c cleaning 9995 clauses out of 20611 with flag 513002/3501243
1360.53/1358.99	c cleaning 10059 clauses out of 20618 with flag 523004/3511245
1365.34/1363.75	c cleaning 10035 clauses out of 20558 with flag 533003/3521244
1368.95/1367.37	c cleaning 9982 clauses out of 20521 with flag 543001/3531242
1373.65/1372.03	c cleaning 9992 clauses out of 20539 with flag 553001/3541242
1377.76/1376.14	c cleaning 9998 clauses out of 20551 with flag 563005/3551246
1381.86/1380.27	c cleaning 9992 clauses out of 20551 with flag 573003/3561244
1385.87/1384.21	c cleaning 9977 clauses out of 20557 with flag 583001/3571242
1390.78/1389.15	c cleaning 9982 clauses out of 20580 with flag 593001/3581242
1393.99/1392.33	c cleaning 10028 clauses out of 20597 with flag 603000/3591241
1398.30/1396.62	c cleaning 10007 clauses out of 20569 with flag 613000/3601241
1402.40/1400.73	c cleaning 10006 clauses out of 20562 with flag 623000/3611241
1406.70/1405.01	c cleaning 10005 clauses out of 20557 with flag 633001/3621242
1411.61/1409.90	c cleaning 9977 clauses out of 20553 with flag 643002/3631243
1415.52/1413.88	c cleaning 9998 clauses out of 20575 with flag 653001/3641242
1419.42/1417.79	c cleaning 10010 clauses out of 20576 with flag 663000/3651241
1422.62/1420.91	c cleaning 10070 clauses out of 20570 with flag 673004/3661245
1427.13/1425.49	c cleaning 10103 clauses out of 20496 with flag 683000/3671241
1429.95/1428.24	c cleaning 10001 clauses out of 20396 with flag 693003/3681244
1432.26/1430.53	c cleaning 10034 clauses out of 20397 with flag 703005/3691246
1434.46/1432.70	c cleaning 10113 clauses out of 20360 with flag 713002/3701243
1436.87/1435.17	c cleaning 10055 clauses out of 20246 with flag 723001/3711242
1439.57/1437.85	c cleaning 10021 clauses out of 20190 with flag 733000/3721241
1442.48/1440.78	c cleaning 10020 clauses out of 20173 with flag 743004/3731245
1445.28/1443.55	c cleaning 9999 clauses out of 20149 with flag 753000/3741241
1448.29/1446.57	c cleaning 10007 clauses out of 20153 with flag 763003/3751244
1450.89/1449.12	c cleaning 10004 clauses out of 20145 with flag 773002/3761243
1453.80/1452.04	c cleaning 9993 clauses out of 20140 with flag 783001/3771242
1456.60/1454.83	c cleaning 10004 clauses out of 20147 with flag 793001/3781242
1459.60/1457.82	c cleaning 9999 clauses out of 20144 with flag 803002/3791243
1462.51/1460.79	c cleaning 10004 clauses out of 20149 with flag 813006/3801247
1465.41/1463.68	c cleaning 10001 clauses out of 20140 with flag 823001/3811242
1468.03/1466.26	c cleaning 9998 clauses out of 20138 with flag 833000/3821241
1470.92/1469.19	c cleaning 10001 clauses out of 20142 with flag 843002/3831243
1473.93/1472.19	c cleaning 9998 clauses out of 20139 with flag 853000/3841241
1476.93/1475.12	c cleaning 10000 clauses out of 20142 with flag 863001/3851242
1480.14/1478.31	c cleaning 10002 clauses out of 20143 with flag 873002/3861243
1483.33/1481.59	c cleaning 9998 clauses out of 20140 with flag 883001/3871242
1486.74/1484.94	c cleaning 9996 clauses out of 20142 with flag 893001/3881242
1489.84/1488.08	c cleaning 10003 clauses out of 20145 with flag 903000/3891241
1493.04/1491.21	c cleaning 10002 clauses out of 20143 with flag 913001/3901242
1496.04/1494.30	c cleaning 9996 clauses out of 20140 with flag 923000/3911241
1499.05/1497.20	c cleaning 10002 clauses out of 20145 with flag 933001/3921242
1501.75/1499.95	c cleaning 10003 clauses out of 20145 with flag 943003/3931244
1504.65/1502.86	c cleaning 10001 clauses out of 20140 with flag 953001/3941242
1507.85/1506.09	c cleaning 10000 clauses out of 20139 with flag 963001/3951242
1511.06/1509.29	c cleaning 9998 clauses out of 20139 with flag 973001/3961242
1514.76/1512.91	c cleaning 9999 clauses out of 20141 with flag 983001/3971242
1517.87/1516.04	c cleaning 9999 clauses out of 20144 with flag 993003/3981244
1520.57/1518.70	c cleaning 10029 clauses out of 20142 with flag 1003000/3991241
1523.57/1521.76	c cleaning 10012 clauses out of 20114 with flag 1013001/4001242
1526.58/1524.79	c cleaning 10012 clauses out of 20101 with flag 1023000/4011241
1529.79/1527.97	c cleaning 10006 clauses out of 20092 with flag 1033003/4021244
1533.18/1531.30	c cleaning 10006 clauses out of 20084 with flag 1043001/4031242
1536.69/1534.85	c cleaning 9995 clauses out of 20079 with flag 1053002/4041243
1539.89/1538.05	c cleaning 9991 clauses out of 20082 with flag 1063000/4051241
1543.19/1541.37	c cleaning 10002 clauses out of 20092 with flag 1073001/4061242
1546.40/1544.56	c cleaning 10005 clauses out of 20091 with flag 1083002/4071243
1549.70/1547.81	c cleaning 9999 clauses out of 20084 with flag 1093000/4081241
1552.50/1550.66	c cleaning 10000 clauses out of 20087 with flag 1103002/4091243
1556.30/1554.45	c cleaning 10000 clauses out of 20086 with flag 1113001/4101242
1559.41/1557.54	c cleaning 9995 clauses out of 20086 with flag 1123001/4111242
1562.32/1560.49	c cleaning 10020 clauses out of 20090 with flag 1133000/4121241
1565.22/1563.34	c cleaning 10008 clauses out of 20070 with flag 1143000/4131241
1568.12/1566.22	c cleaning 10007 clauses out of 20063 with flag 1153001/4141242
1571.13/1569.22	c cleaning 10003 clauses out of 20055 with flag 1163000/4151241
1574.14/1572.23	c cleaning 10000 clauses out of 20055 with flag 1173003/4161244
1576.74/1574.80	c cleaning 9998 clauses out of 20052 with flag 1183000/4171241
1579.34/1577.44	c cleaning 10000 clauses out of 20055 with flag 1193001/4181242
1582.04/1580.18	c cleaning 10000 clauses out of 20054 with flag 1203000/4191241
1585.04/1583.15	c cleaning 10003 clauses out of 20055 with flag 1213001/4201242
1587.75/1585.82	c cleaning 10000 clauses out of 20054 with flag 1223003/4211244
1590.55/1588.60	c cleaning 10000 clauses out of 20051 with flag 1233000/4221241
1593.15/1591.29	c cleaning 10002 clauses out of 20053 with flag 1243002/4231243
1595.86/1593.92	c cleaning 9998 clauses out of 20050 with flag 1253001/4241242
1598.66/1596.79	c cleaning 9999 clauses out of 20051 with flag 1263000/4251241
1601.27/1599.40	c cleaning 10001 clauses out of 20052 with flag 1273000/4261241
1603.87/1601.92	c cleaning 10001 clauses out of 20053 with flag 1283002/4271243
1606.37/1604.48	c cleaning 10000 clauses out of 20051 with flag 1293001/4281242
1609.09/1607.16	c cleaning 9998 clauses out of 20051 with flag 1303001/4291242
1611.98/1610.04	c cleaning 10001 clauses out of 20054 with flag 1313002/4301243
1614.59/1612.64	c cleaning 9999 clauses out of 20052 with flag 1323001/4311242
1617.39/1615.50	c cleaning 10002 clauses out of 20054 with flag 1333002/4321243
1620.29/1618.30	c cleaning 10002 clauses out of 20053 with flag 1343003/4331244
1623.30/1621.30	c cleaning 9999 clauses out of 20050 with flag 1353002/4341243
1626.29/1624.36	c cleaning 9996 clauses out of 20049 with flag 1363000/4351241
1629.39/1627.46	c cleaning 10001 clauses out of 20056 with flag 1373003/4361244
1632.30/1630.32	c cleaning 10001 clauses out of 20053 with flag 1383001/4371242
1635.20/1633.23	c cleaning 9998 clauses out of 20051 with flag 1393000/4381241
1638.50/1636.56	c cleaning 9999 clauses out of 20054 with flag 1403001/4391242
1641.51/1639.59	c cleaning 10002 clauses out of 20057 with flag 1413003/4401244
1644.32/1642.38	c cleaning 10000 clauses out of 20053 with flag 1423001/4411242
1647.21/1645.26	c cleaning 9997 clauses out of 20052 with flag 1433000/4421241
1651.01/1649.03	c cleaning 10001 clauses out of 20055 with flag 1443000/4431241
1654.32/1652.39	c cleaning 9995 clauses out of 20054 with flag 1453000/4441241
1657.62/1655.68	c cleaning 10005 clauses out of 20061 with flag 1463002/4451243
1660.72/1658.80	c cleaning 10001 clauses out of 20060 with flag 1473006/4461247
1663.32/1661.37	c cleaning 9999 clauses out of 20054 with flag 1483001/4471242
1666.23/1664.21	c cleaning 9987 clauses out of 20055 with flag 1493001/4481242
1668.22/1666.27	c cleaning 9969 clauses out of 20068 with flag 1503001/4491242
1670.33/1668.33	c cleaning 9981 clauses out of 20099 with flag 1513001/4501242
1673.44/1671.48	c cleaning 10055 clauses out of 20118 with flag 1523001/4511242
1675.55/1673.58	c cleaning 9985 clauses out of 20063 with flag 1533001/4521242
1678.26/1676.28	c cleaning 9919 clauses out of 20081 with flag 1543004/4531245
1681.47/1679.40	c cleaning 9944 clauses out of 20159 with flag 1553001/4541242
1684.08/1682.05	c cleaning 10055 clauses out of 20217 with flag 1563003/4551244
1686.78/1684.74	c cleaning 10022 clauses out of 20161 with flag 1573002/4561243
1689.29/1687.26	c cleaning 10014 clauses out of 20141 with flag 1583004/4571245
1692.19/1690.18	c cleaning 10053 clauses out of 20123 with flag 1593000/4581241
1695.39/1693.30	c cleaning 10025 clauses out of 20073 with flag 1603003/4591244
1698.70/1696.69	c cleaning 10013 clauses out of 20046 with flag 1613001/4601242
1701.91/1699.85	c cleaning 9990 clauses out of 20038 with flag 1623006/4611247
1704.41/1702.39	c cleaning 10000 clauses out of 20042 with flag 1633000/4621241
1707.02/1704.97	c cleaning 10001 clauses out of 20045 with flag 1643003/4631244
1710.02/1707.91	c cleaning 10000 clauses out of 20043 with flag 1653002/4641243
1712.82/1710.75	c cleaning 10001 clauses out of 20042 with flag 1663001/4651242
1715.73/1713.65	c cleaning 9998 clauses out of 20040 with flag 1673000/4661241
1718.73/1716.65	c cleaning 9998 clauses out of 20045 with flag 1683003/4671244
1721.74/1719.66	c cleaning 10002 clauses out of 20045 with flag 1693001/4681242
1724.84/1722.71	c cleaning 10011 clauses out of 20044 with flag 1703002/4691243
1727.65/1725.52	c cleaning 10007 clauses out of 20033 with flag 1713002/4701243
1730.65/1728.53	c cleaning 10003 clauses out of 20025 with flag 1723001/4711242
1733.56/1731.47	c cleaning 10003 clauses out of 20024 with flag 1733003/4721244
1736.26/1734.19	c cleaning 10004 clauses out of 20025 with flag 1743007/4731248
1739.17/1737.05	c cleaning 9994 clauses out of 20014 with flag 1753000/4741241
1742.07/1739.98	c cleaning 9989 clauses out of 20021 with flag 1763001/4751242
1744.77/1742.66	c cleaning 10008 clauses out of 20034 with flag 1773003/4761244
1747.57/1745.41	c cleaning 10006 clauses out of 20026 with flag 1783003/4771244
1749.97/1747.88	c cleaning 9999 clauses out of 20017 with flag 1793000/4781241
1753.17/1751.05	c cleaning 9997 clauses out of 20018 with flag 1803000/4791241
1756.68/1754.52	c cleaning 10000 clauses out of 20023 with flag 1813002/4801243
1760.08/1757.97	c cleaning 9999 clauses out of 20022 with flag 1823001/4811242
1763.38/1761.25	c cleaning 10002 clauses out of 20025 with flag 1833003/4821244
1766.38/1764.29	c cleaning 9997 clauses out of 20020 with flag 1843000/4831241
1770.40/1768.25	c cleaning 9998 clauses out of 20023 with flag 1853000/4841241
1774.10/1771.94	c cleaning 9999 clauses out of 20025 with flag 1863000/4851241
1777.31/1775.14	c cleaning 9999 clauses out of 20026 with flag 1873000/4861241
1780.41/1778.25	c cleaning 10002 clauses out of 20031 with flag 1883004/4871245
1783.71/1781.54	c cleaning 9998 clauses out of 20025 with flag 1893000/4881241
1787.11/1784.93	c cleaning 9997 clauses out of 20030 with flag 1903003/4891244
1790.72/1788.55	c cleaning 10002 clauses out of 20030 with flag 1913000/4901241
1794.23/1792.05	c cleaning 10000 clauses out of 20029 with flag 1923001/4911242
1797.33/1795.15	c cleaning 10001 clauses out of 20028 with flag 1933000/4921241
1799.93/1797.73	c cleaning 9993 clauses out of 20029 with flag 1943002/4931243
1800.04/1797.81	c starts		: 277
1800.04/1797.81	c conflicts		: 4931525
1800.04/1797.81	c decisions		: 6506384
1800.04/1797.81	c propagations		: 77572126
1800.04/1797.81	c inspects		: 8242520273
1800.04/1797.81	c shortcuts		: 0
1800.04/1797.81	c learnt literals	: 0
1800.04/1797.81	c learnt binary clauses	: 0
1800.04/1797.81	c learnt ternary clauses	: 0
1800.04/1797.81	c learnt constraints	: 4931525
1800.04/1797.81	c ignored constraints	: 0
1800.04/1797.81	c root simplifications	: 0
1800.04/1797.81	c removed literals (reason simplification)	: 87304568
1800.04/1797.81	c reason swapping (by a shorter reason)	: 0
1800.04/1797.81	c Calls to reduceDB	: 496
1800.04/1797.81	c number of reductions to clauses (during analyze)	: 0
1800.04/1797.81	c number of learned constraints concerned by reduction	: 0
1800.04/1797.81	c number of learning phase by resolution	: 0
1800.04/1797.81	c number of learning phase by cutting planes	: 0
1800.04/1797.81	c speed (assignments/second)	: 122241.69371868006
1800.04/1797.81	c non guided choices	8282
1800.04/1797.82	c learnt constraints type 
1800.04/1797.82	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 10374
1800.04/1797.82	c constraints type 
1800.04/1797.82	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 31
1800.04/1797.82	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
1800.04/1797.82	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7
1800.04/1797.82	s SATISFIABLE
1800.04/1797.82	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.04/1797.82	c objective function=1
1800.04/1797.82	c Total wall clock time (in seconds): 1797.498

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.08 1.41 2/176 4815
/proc/meminfo: memFree=1182548/32951124 swapFree=67055716/67111528
[pid=4815] ppid=4810 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/4815/stat : 4815 (java) R 4810 4815 2916 0 -1 4202496 620 0 0 0 0 0 0 0 17 0 1 0 635079824 23580672 361 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268655699733 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4815/statm: 5757 373 284 9 0 124 0

[startup+0.027665 s]
/proc/loadavg: 1.00 1.08 1.41 2/176 4815
/proc/meminfo: memFree=1182548/32951124 swapFree=67055716/67111528
[pid=4815] ppid=4810 vsize=10453028 CPUtime=0.01 cores=0,2,4,6
/proc/4815/stat : 4815 (java) S 4810 4815 2916 0 -1 4202496 10005 0 1 0 0 1 0 0 17 0 10 0 635079824 10703900672 9704 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/4815/statm: 2613257 9704 984 9 0 2604413 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028

[startup+0.100687 s]
/proc/loadavg: 1.00 1.08 1.41 2/176 4815
/proc/meminfo: memFree=1182548/32951124 swapFree=67055716/67111528
[pid=4815] ppid=4810 vsize=10454868 CPUtime=0.01 cores=0,2,4,6
/proc/4815/stat : 4815 (java) S 4810 4815 2916 0 -1 4202496 10131 0 1 0 0 1 0 0 17 0 10 0 635079824 10705784832 9827 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/4815/statm: 2613717 9827 1058 9 0 2604465 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10454868

[startup+0.30063 s]
/proc/loadavg: 1.00 1.08 1.41 2/176 4815
/proc/meminfo: memFree=1182548/32951124 swapFree=67055716/67111528
[pid=4815] ppid=4810 vsize=10539984 CPUtime=0.11 cores=0,2,4,6
/proc/4815/stat : 4815 (java) S 4810 4815 2916 0 -1 4202496 12873 0 51 0 9 2 0 0 17 0 18 0 635079824 10792943616 12617 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4815/statm: 2634996 12618 2091 9 0 2625730 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539984

[startup+0.700598 s]
/proc/loadavg: 1.00 1.08 1.41 2/176 4815
/proc/meminfo: memFree=1182548/32951124 swapFree=67055716/67111528
[pid=4815] ppid=4810 vsize=10542632 CPUtime=0.76 cores=0,2,4,6
/proc/4815/stat : 4815 (java) S 4810 4815 2916 0 -1 4202496 15243 0 51 0 73 3 0 0 17 0 19 0 635079824 10795655168 14741 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4815/statm: 2635658 14741 2215 9 0 2626392 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 10542632

[startup+1.50147 s]
/proc/loadavg: 1.00 1.08 1.41 4/214 4853
/proc/meminfo: memFree=1073184/32951124 swapFree=67055716/67111528
[pid=4815] ppid=4810 vsize=10542776 CPUtime=1.59 cores=0,2,4,6
/proc/4815/stat : 4815 (java) S 4810 4815 2916 0 -1 4202496 16802 0 51 0 156 3 0 0 17 0 19 0 635079824 10795802624 16299 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4815/statm: 2635694 16299 2221 9 0 2626428 0
[pid=4815/tid=4818] ppid=4810 vsize=10542776 CPUtime=1.28 cores=0,2,4,6
/proc/4815/task/4818/stat : 4818 (java) R 4810 4815 2916 0 -1 4202560 13665 0 49 0 126 2 0 0 20 0 19 0 635079825 10795802624 16299 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 46912505559296 0 4 0 16800975 0 0 0 -1 0 0 0 19
[pid=4815/tid=4820] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4820/stat : 4820 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635079826 10795802624 16300 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4821] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4821/stat : 4821 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 635079826 10795802624 16300 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4822] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4822/stat : 4822 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 635079826 10795802624 16300 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4823] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4823/stat : 4823 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 635079826 10795802624 16300 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4824] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4824/stat : 4824 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 635079826 10795802624 16300 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4825] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4825/stat : 4825 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 635079826 10795802624 16300 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4826] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4826/stat : 4826 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 635079826 10795802624 16300 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4827] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4827/stat : 4827 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635079826 10795802624 16300 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4837] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4837/stat : 4837 (java) S 4810 4815 2916 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 635079842 10795802624 16300 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 0 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4838] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4838/stat : 4838 (java) S 4810 4815 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 635079843 10795802624 16300 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4840] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4840/stat : 4840 (java) S 4810 4815 2916 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 19 0 635079843 10795802624 16300 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4842] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4842/stat : 4842 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635079849 10795802624 16300 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672485809 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4844] ppid=4810 vsize=10542776 CPUtime=0.17 cores=0,2,4,6
/proc/4815/task/4844/stat : 4844 (java) S 4810 4815 2916 0 -1 4202560 1133 0 0 0 17 0 0 0 15 0 19 0 635079849 10795802624 16300 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4846] ppid=4810 vsize=10542776 CPUtime=0.12 cores=0,2,4,6
/proc/4815/task/4846/stat : 4846 (java) S 4810 4815 2916 0 -1 4202560 840 0 2 0 12 0 0 0 15 0 19 0 635079849 10795802624 16300 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4848] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4848/stat : 4848 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635079849 10795802624 16300 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4850] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4850/stat : 4850 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635079849 10795802624 16300 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4853] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4853/stat : 4853 (java) S 4810 4815 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635079865 10795802624 16300 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10542776

[startup+3.10119 s]
/proc/loadavg: 1.00 1.08 1.41 4/214 4853
/proc/meminfo: memFree=1057568/32951124 swapFree=67055716/67111528
[pid=4815] ppid=4810 vsize=10542776 CPUtime=3.22 cores=0,2,4,6
/proc/4815/stat : 4815 (java) S 4810 4815 2916 0 -1 4202496 18992 0 51 0 318 4 0 0 17 0 19 0 635079824 10795802624 18340 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4815/statm: 2635694 18340 2247 9 0 2626428 0
[pid=4815/tid=4818] ppid=4810 vsize=10542776 CPUtime=2.87 cores=0,2,4,6
/proc/4815/task/4818/stat : 4818 (java) R 4810 4815 2916 0 -1 4202560 14085 0 49 0 284 3 0 0 25 0 19 0 635079825 10795802624 18340 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 46912505541440 0 4 0 16800975 0 0 0 -1 0 0 0 19
[pid=4815/tid=4820] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4820/stat : 4820 (java) S 4810 4815 2916 0 -1 4202560 316 0 0 0 0 0 0 0 18 0 19 0 635079826 10795802624 18340 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4821] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4821/stat : 4821 (java) S 4810 4815 2916 0 -1 4202560 274 0 0 0 0 0 0 0 18 0 19 0 635079826 10795802624 18340 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4822] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4822/stat : 4822 (java) S 4810 4815 2916 0 -1 4202560 220 0 0 0 0 0 0 0 18 0 19 0 635079826 10795802624 18340 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 0 0 0 0
[pid=4815/tid=4823] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4823/stat : 4823 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 635079826 10795802624 18340 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4824] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4824/stat : 4824 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 635079826 10795802624 18340 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4825] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4825/stat : 4825 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 635079826 10795802624 18340 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4826] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4826/stat : 4826 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 635079826 10795802624 18340 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4827] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4827/stat : 4827 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 635079826 10795802624 18340 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4837] ppid=4810 vsize=10542776 CPUtime=0.01 cores=0,2,4,6
/proc/4815/task/4837/stat : 4837 (java) S 4810 4815 2916 0 -1 4202560 808 0 0 0 1 0 0 0 15 0 19 0 635079842 10795802624 18340 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 0 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4838] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4838/stat : 4838 (java) S 4810 4815 2916 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 635079843 10795802624 18340 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4840] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4840/stat : 4840 (java) S 4810 4815 2916 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 635079843 10795802624 18340 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4842] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4842/stat : 4842 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635079849 10795802624 18340 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672485809 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4844] ppid=4810 vsize=10542776 CPUtime=0.18 cores=0,2,4,6
/proc/4815/task/4844/stat : 4844 (java) S 4810 4815 2916 0 -1 4202560 1139 0 0 0 18 0 0 0 15 0 19 0 635079849 10795802624 18340 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4846] ppid=4810 vsize=10542776 CPUtime=0.13 cores=0,2,4,6
/proc/4815/task/4846/stat : 4846 (java) S 4810 4815 2916 0 -1 4202560 991 0 2 0 13 0 0 0 15 0 19 0 635079849 10795802624 18340 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4848] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4848/stat : 4848 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635079849 10795802624 18340 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4850] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4850/stat : 4850 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635079849 10795802624 18340 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4853] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4853/stat : 4853 (java) S 4810 4815 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635079865 10795802624 18340 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 10542776

[startup+6.3016 s]
/proc/loadavg: 1.08 1.09 1.41 4/214 4854
/proc/meminfo: memFree=1037972/32951124 swapFree=67055716/67111528
[pid=4815] ppid=4810 vsize=10542776 CPUtime=6.46 cores=0,2,4,6
/proc/4815/stat : 4815 (java) S 4810 4815 2916 0 -1 4202496 23195 0 51 0 641 5 0 0 17 0 19 0 635079824 10795802624 22472 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4815/statm: 2635694 22472 2247 9 0 2626428 0
[pid=4815/tid=4818] ppid=4810 vsize=10542776 CPUtime=6.05 cores=0,2,4,6
/proc/4815/task/4818/stat : 4818 (java) R 4810 4815 2916 0 -1 4202560 14395 0 49 0 602 3 0 0 25 0 19 0 635079825 10795802624 22472 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 46912505551207 0 4 0 16800975 0 0 0 -1 0 0 0 19
[pid=4815/tid=4820] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4820/stat : 4820 (java) S 4810 4815 2916 0 -1 4202560 316 0 0 0 0 0 0 0 15 0 19 0 635079826 10795802624 22472 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 0 0 0 0
[pid=4815/tid=4821] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4821/stat : 4821 (java) S 4810 4815 2916 0 -1 4202560 274 0 0 0 0 0 0 0 16 0 19 0 635079826 10795802624 22472 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 0 0 0 0
[pid=4815/tid=4822] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4822/stat : 4822 (java) S 4810 4815 2916 0 -1 4202560 1317 0 0 0 0 0 0 0 17 0 19 0 635079826 10795802624 22472 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 0 0 0 0
[pid=4815/tid=4823] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4823/stat : 4823 (java) S 4810 4815 2916 0 -1 4202560 776 0 0 0 0 0 0 0 15 0 19 0 635079826 10795802624 22472 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 0 0 0 0
[pid=4815/tid=4824] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4824/stat : 4824 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635079826 10795802624 22472 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4825] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4825/stat : 4825 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635079826 10795802624 22472 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4826] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4826/stat : 4826 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635079826 10795802624 22472 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4827] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4827/stat : 4827 (java) S 4810 4815 2916 0 -1 4202560 1246 0 0 0 0 0 0 0 15 0 19 0 635079826 10795802624 22472 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4837] ppid=4810 vsize=10542776 CPUtime=0.02 cores=0,2,4,6
/proc/4815/task/4837/stat : 4837 (java) S 4810 4815 2916 0 -1 4202560 1579 0 0 0 2 0 0 0 15 0 19 0 635079842 10795802624 22472 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 0 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4838] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4838/stat : 4838 (java) S 4810 4815 2916 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 635079843 10795802624 22472 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4840] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4840/stat : 4840 (java) S 4810 4815 2916 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 635079843 10795802624 22472 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4842] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4842/stat : 4842 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635079849 10795802624 22472 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672485809 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4844] ppid=4810 vsize=10542776 CPUtime=0.2 cores=0,2,4,6
/proc/4815/task/4844/stat : 4844 (java) S 4810 4815 2916 0 -1 4202560 1141 0 0 0 20 0 0 0 15 0 19 0 635079849 10795802624 22472 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4846] ppid=4810 vsize=10542776 CPUtime=0.14 cores=0,2,4,6
/proc/4815/task/4846/stat : 4846 (java) S 4810 4815 2916 0 -1 4202560 994 0 2 0 14 0 0 0 15 0 19 0 635079849 10795802624 22472 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4848] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4848/stat : 4848 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635079849 10795802624 22472 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4850] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4850/stat : 4850 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635079849 10795802624 22472 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4853] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4853/stat : 4853 (java) S 4810 4815 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635079865 10795802624 22472 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.46
Current children cumulated vsize (KiB) 10542776

[startup+12.7015 s]

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

[pid=4815/tid=4825] ppid=4810 vsize=10542776 CPUtime=0.37 cores=0,2,4,6
/proc/4815/task/4825/stat : 4825 (java) S 4810 4815 2916 0 -1 4202560 341 0 0 0 37 0 0 0 16 0 19 0 635079826 10795802624 38964 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 0 0 0 0
[pid=4815/tid=4826] ppid=4810 vsize=10542776 CPUtime=0.4 cores=0,2,4,6
/proc/4815/task/4826/stat : 4826 (java) S 4810 4815 2916 0 -1 4202560 523 0 0 0 40 0 0 0 16 0 19 0 635079826 10795802624 38964 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4827] ppid=4810 vsize=10542776 CPUtime=0.35 cores=0,2,4,6
/proc/4815/task/4827/stat : 4827 (java) S 4810 4815 2916 0 -1 4202560 2170 0 0 0 35 0 0 0 15 0 19 0 635079826 10795802624 38964 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 0 0 0 0
[pid=4815/tid=4837] ppid=4810 vsize=10542776 CPUtime=10.12 cores=0,2,4,6
/proc/4815/task/4837/stat : 4837 (java) S 4810 4815 2916 0 -1 4202560 8746 0 0 0 1006 6 0 0 15 0 19 0 635079842 10795802624 38964 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 0 0 16800975 18446604453934338112 0 0 -1 2 0 0 0
[pid=4815/tid=4838] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4838/stat : 4838 (java) S 4810 4815 2916 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 635079843 10795802624 38964 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4840] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4840/stat : 4840 (java) S 4810 4815 2916 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 635079843 10795802624 38964 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4842] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4842/stat : 4842 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635079849 10795802624 38964 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672485809 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4844] ppid=4810 vsize=10542776 CPUtime=0.21 cores=0,2,4,6
/proc/4815/task/4844/stat : 4844 (java) S 4810 4815 2916 0 -1 4202560 1142 0 0 0 21 0 0 0 15 0 19 0 635079849 10795802624 38964 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4846] ppid=4810 vsize=10542776 CPUtime=0.19 cores=0,2,4,6
/proc/4815/task/4846/stat : 4846 (java) S 4810 4815 2916 0 -1 4202560 1744 0 2 0 19 0 0 0 15 0 19 0 635079849 10795802624 38964 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4848] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4848/stat : 4848 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635079849 10795802624 38964 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4850] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4850/stat : 4850 (java) S 4810 4815 2916 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 635079849 10795802624 38964 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 4 0 16800975 18446604453934338112 0 0 -1 0 0 0 0
[pid=4815/tid=4853] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4853/stat : 4853 (java) S 4810 4815 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635079865 10795802624 38964 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.32
Current children cumulated vsize (KiB) 10542776

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.90 3/214 5754
/proc/meminfo: memFree=929556/32951124 swapFree=67055716/67111528
[pid=4815] ppid=4810 vsize=10542776 CPUtime=1724.44 cores=0,2,4,6
/proc/4815/stat : 4815 (java) S 4810 4815 2916 0 -1 4202496 41071 0 51 0 172423 21 0 0 17 0 19 0 635079824 10795802624 38988 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4815/statm: 2635694 38988 2249 9 0 2626428 0
[pid=4815/tid=4818] ppid=4810 vsize=10542776 CPUtime=1710.04 cores=0,2,4,6
/proc/4815/task/4818/stat : 4818 (java) R 4810 4815 2916 0 -1 4202560 16924 0 49 0 170996 8 0 0 25 0 19 0 635079825 10795802624 38988 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 46912505547680 0 4 0 16800975 0 0 0 -1 0 0 0 19
[pid=4815/tid=4820] ppid=4810 vsize=10542776 CPUtime=0.4 cores=0,2,4,6
/proc/4815/task/4820/stat : 4820 (java) S 4810 4815 2916 0 -1 4202560 944 0 0 0 40 0 0 0 15 0 19 0 635079826 10795802624 38988 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4821] ppid=4810 vsize=10542776 CPUtime=0.37 cores=0,2,4,6
/proc/4815/task/4821/stat : 4821 (java) S 4810 4815 2916 0 -1 4202560 2243 0 0 0 37 0 0 0 15 0 19 0 635079826 10795802624 38988 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4822] ppid=4810 vsize=10542776 CPUtime=0.42 cores=0,2,4,6
/proc/4815/task/4822/stat : 4822 (java) S 4810 4815 2916 0 -1 4202560 2001 0 0 0 41 1 0 0 15 0 19 0 635079826 10795802624 38988 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 0 0 0 0
[pid=4815/tid=4823] ppid=4810 vsize=10542776 CPUtime=0.39 cores=0,2,4,6
/proc/4815/task/4823/stat : 4823 (java) S 4810 4815 2916 0 -1 4202560 1672 0 0 0 39 0 0 0 16 0 19 0 635079826 10795802624 38988 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4824] ppid=4810 vsize=10542776 CPUtime=0.39 cores=0,2,4,6
/proc/4815/task/4824/stat : 4824 (java) S 4810 4815 2916 0 -1 4202560 1357 0 0 0 39 0 0 0 16 0 19 0 635079826 10795802624 38988 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 0 0 0 0
[pid=4815/tid=4825] ppid=4810 vsize=10542776 CPUtime=0.4 cores=0,2,4,6
/proc/4815/task/4825/stat : 4825 (java) S 4810 4815 2916 0 -1 4202560 344 0 0 0 40 0 0 0 15 0 19 0 635079826 10795802624 38988 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 0 0 0 0
[pid=4815/tid=4826] ppid=4810 vsize=10542776 CPUtime=0.43 cores=0,2,4,6
/proc/4815/task/4826/stat : 4826 (java) S 4810 4815 2916 0 -1 4202560 527 0 0 0 43 0 0 0 15 0 19 0 635079826 10795802624 38988 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4827] ppid=4810 vsize=10542776 CPUtime=0.37 cores=0,2,4,6
/proc/4815/task/4827/stat : 4827 (java) S 4810 4815 2916 0 -1 4202560 2171 0 0 0 37 0 0 0 15 0 19 0 635079826 10795802624 38988 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4837] ppid=4810 vsize=10542776 CPUtime=10.71 cores=0,2,4,6
/proc/4815/task/4837/stat : 4837 (java) S 4810 4815 2916 0 -1 4202560 8748 0 0 0 1065 6 0 0 15 0 19 0 635079842 10795802624 38988 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 0 0 16800975 18446604453934338112 0 0 -1 2 0 0 0
[pid=4815/tid=4838] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4838/stat : 4838 (java) S 4810 4815 2916 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 635079843 10795802624 38988 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4840] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4840/stat : 4840 (java) S 4810 4815 2916 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 635079843 10795802624 38988 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4842] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4842/stat : 4842 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635079849 10795802624 38988 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672485809 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4844] ppid=4810 vsize=10542776 CPUtime=0.21 cores=0,2,4,6
/proc/4815/task/4844/stat : 4844 (java) S 4810 4815 2916 0 -1 4202560 1142 0 0 0 21 0 0 0 15 0 19 0 635079849 10795802624 38988 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4846] ppid=4810 vsize=10542776 CPUtime=0.19 cores=0,2,4,6
/proc/4815/task/4846/stat : 4846 (java) S 4810 4815 2916 0 -1 4202560 1744 0 2 0 19 0 0 0 15 0 19 0 635079849 10795802624 38988 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4848] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4848/stat : 4848 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635079849 10795802624 38988 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4850] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4850/stat : 4850 (java) S 4810 4815 2916 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 635079849 10795802624 38988 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 4 0 16800975 18446604453934338112 0 0 -1 0 0 0 0
[pid=4815/tid=4853] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4853/stat : 4853 (java) S 4810 4815 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635079865 10795802624 38988 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.44
Current children cumulated vsize (KiB) 10542776

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 1.91 3/214 5756
/proc/meminfo: memFree=933020/32951124 swapFree=67055716/67111528
[pid=4815] ppid=4810 vsize=10542776 CPUtime=1784.51 cores=0,2,4,6
/proc/4815/stat : 4815 (java) S 4810 4815 2916 0 -1 4202496 41145 0 51 0 178430 21 0 0 17 0 19 0 635079824 10795802624 39034 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4815/statm: 2635694 39034 2249 9 0 2626428 0
[pid=4815/tid=4818] ppid=4810 vsize=10542776 CPUtime=1769.38 cores=0,2,4,6
/proc/4815/task/4818/stat : 4818 (java) R 4810 4815 2916 0 -1 4202560 16944 0 49 0 176930 8 0 0 25 0 19 0 635079825 10795802624 39034 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 46912505732208 0 4 0 16800975 0 0 0 -1 0 0 0 19
[pid=4815/tid=4820] ppid=4810 vsize=10542776 CPUtime=0.43 cores=0,2,4,6
/proc/4815/task/4820/stat : 4820 (java) S 4810 4815 2916 0 -1 4202560 954 0 0 0 43 0 0 0 16 0 19 0 635079826 10795802624 39034 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 0 0 0 0
[pid=4815/tid=4821] ppid=4810 vsize=10542776 CPUtime=0.38 cores=0,2,4,6
/proc/4815/task/4821/stat : 4821 (java) S 4810 4815 2916 0 -1 4202560 2243 0 0 0 38 0 0 0 15 0 19 0 635079826 10795802624 39034 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4822] ppid=4810 vsize=10542776 CPUtime=0.44 cores=0,2,4,6
/proc/4815/task/4822/stat : 4822 (java) S 4810 4815 2916 0 -1 4202560 2009 0 0 0 43 1 0 0 15 0 19 0 635079826 10795802624 39034 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4823] ppid=4810 vsize=10542776 CPUtime=0.41 cores=0,2,4,6
/proc/4815/task/4823/stat : 4823 (java) S 4810 4815 2916 0 -1 4202560 1680 0 0 0 41 0 0 0 16 0 19 0 635079826 10795802624 39034 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4824] ppid=4810 vsize=10542776 CPUtime=0.41 cores=0,2,4,6
/proc/4815/task/4824/stat : 4824 (java) S 4810 4815 2916 0 -1 4202560 1357 0 0 0 41 0 0 0 15 0 19 0 635079826 10795802624 39034 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4825] ppid=4810 vsize=10542776 CPUtime=0.41 cores=0,2,4,6
/proc/4815/task/4825/stat : 4825 (java) S 4810 4815 2916 0 -1 4202560 347 0 0 0 41 0 0 0 15 0 19 0 635079826 10795802624 39034 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 0 0 0 0
[pid=4815/tid=4826] ppid=4810 vsize=10542776 CPUtime=0.44 cores=0,2,4,6
/proc/4815/task/4826/stat : 4826 (java) S 4810 4815 2916 0 -1 4202560 535 0 0 0 44 0 0 0 15 0 19 0 635079826 10795802624 39034 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4827] ppid=4810 vsize=10542776 CPUtime=0.39 cores=0,2,4,6
/proc/4815/task/4827/stat : 4827 (java) S 4810 4815 2916 0 -1 4202560 2180 0 0 0 39 0 0 0 15 0 19 0 635079826 10795802624 39034 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4837] ppid=4810 vsize=10542776 CPUtime=11.29 cores=0,2,4,6
/proc/4815/task/4837/stat : 4837 (java) S 4810 4815 2916 0 -1 4202560 8752 0 0 0 1123 6 0 0 15 0 19 0 635079842 10795802624 39034 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 0 0 16800975 18446604453934338112 0 0 -1 2 0 0 0
[pid=4815/tid=4838] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4838/stat : 4838 (java) S 4810 4815 2916 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 635079843 10795802624 39034 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4840] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4840/stat : 4840 (java) S 4810 4815 2916 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 635079843 10795802624 39034 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4842] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4842/stat : 4842 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635079849 10795802624 39034 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672485809 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4844] ppid=4810 vsize=10542776 CPUtime=0.21 cores=0,2,4,6
/proc/4815/task/4844/stat : 4844 (java) S 4810 4815 2916 0 -1 4202560 1142 0 0 0 21 0 0 0 15 0 19 0 635079849 10795802624 39034 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4846] ppid=4810 vsize=10542776 CPUtime=0.19 cores=0,2,4,6
/proc/4815/task/4846/stat : 4846 (java) S 4810 4815 2916 0 -1 4202560 1744 0 2 0 19 0 0 0 15 0 19 0 635079849 10795802624 39034 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4848] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4848/stat : 4848 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635079849 10795802624 39034 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4850] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4850/stat : 4850 (java) S 4810 4815 2916 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 635079849 10795802624 39034 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 4 0 16800975 18446604453934338112 0 0 -1 0 0 0 0
[pid=4815/tid=4853] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4853/stat : 4853 (java) S 4810 4815 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635079865 10795802624 39034 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.51
Current children cumulated vsize (KiB) 10542776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.8 s]
/proc/loadavg: 2.04 2.03 1.91 3/214 5756
/proc/meminfo: memFree=933080/32951124 swapFree=67055716/67111528
[pid=4815] ppid=4810 vsize=10542776 CPUtime=1800.04 cores=0,2,4,6
/proc/4815/stat : 4815 (java) S 4810 4815 2916 0 -1 4202496 41155 0 51 0 179982 22 0 0 17 0 19 0 635079824 10795802624 39035 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4815/statm: 2635694 39035 2249 9 0 2626428 0
[pid=4815/tid=4818] ppid=4810 vsize=10542776 CPUtime=1784.73 cores=0,2,4,6
/proc/4815/task/4818/stat : 4818 (java) R 4810 4815 2916 0 -1 4202560 16949 0 49 0 178465 8 0 0 25 0 19 0 635079825 10795802624 39035 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 46912505551172 0 4 0 16800975 0 0 0 -1 0 0 0 19
[pid=4815/tid=4820] ppid=4810 vsize=10542776 CPUtime=0.43 cores=0,2,4,6
/proc/4815/task/4820/stat : 4820 (java) S 4810 4815 2916 0 -1 4202560 954 0 0 0 43 0 0 0 15 0 19 0 635079826 10795802624 39035 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 0 0 0 0
[pid=4815/tid=4821] ppid=4810 vsize=10542776 CPUtime=0.38 cores=0,2,4,6
/proc/4815/task/4821/stat : 4821 (java) S 4810 4815 2916 0 -1 4202560 2243 0 0 0 38 0 0 0 16 0 19 0 635079826 10795802624 39035 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 0 0 0 0
[pid=4815/tid=4822] ppid=4810 vsize=10542776 CPUtime=0.45 cores=0,2,4,6
/proc/4815/task/4822/stat : 4822 (java) S 4810 4815 2916 0 -1 4202560 2009 0 0 0 44 1 0 0 16 0 19 0 635079826 10795802624 39035 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4823] ppid=4810 vsize=10542776 CPUtime=0.42 cores=0,2,4,6
/proc/4815/task/4823/stat : 4823 (java) S 4810 4815 2916 0 -1 4202560 1681 0 0 0 42 0 0 0 15 0 19 0 635079826 10795802624 39035 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4824] ppid=4810 vsize=10542776 CPUtime=0.41 cores=0,2,4,6
/proc/4815/task/4824/stat : 4824 (java) S 4810 4815 2916 0 -1 4202560 1357 0 0 0 41 0 0 0 16 0 19 0 635079826 10795802624 39035 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4825] ppid=4810 vsize=10542776 CPUtime=0.41 cores=0,2,4,6
/proc/4815/task/4825/stat : 4825 (java) S 4810 4815 2916 0 -1 4202560 347 0 0 0 41 0 0 0 16 0 19 0 635079826 10795802624 39035 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4826] ppid=4810 vsize=10542776 CPUtime=0.44 cores=0,2,4,6
/proc/4815/task/4826/stat : 4826 (java) S 4810 4815 2916 0 -1 4202560 535 0 0 0 44 0 0 0 15 0 19 0 635079826 10795802624 39035 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 0 0 0 0
[pid=4815/tid=4827] ppid=4810 vsize=10542776 CPUtime=0.4 cores=0,2,4,6
/proc/4815/task/4827/stat : 4827 (java) S 4810 4815 2916 0 -1 4202560 2180 0 0 0 40 0 0 0 16 0 19 0 635079826 10795802624 39035 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4837] ppid=4810 vsize=10542776 CPUtime=11.45 cores=0,2,4,6
/proc/4815/task/4837/stat : 4837 (java) S 4810 4815 2916 0 -1 4202560 8754 0 0 0 1138 7 0 0 15 0 19 0 635079842 10795802624 39035 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 0 0 16800975 18446604453934338112 0 0 -1 2 0 0 0
[pid=4815/tid=4838] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4838/stat : 4838 (java) S 4810 4815 2916 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 635079843 10795802624 39035 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4840] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4840/stat : 4840 (java) S 4810 4815 2916 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 635079843 10795802624 39035 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4842] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4842/stat : 4842 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 635079849 10795802624 39035 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672485809 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4844] ppid=4810 vsize=10542776 CPUtime=0.21 cores=0,2,4,6
/proc/4815/task/4844/stat : 4844 (java) S 4810 4815 2916 0 -1 4202560 1142 0 0 0 21 0 0 0 15 0 19 0 635079849 10795802624 39035 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4846] ppid=4810 vsize=10542776 CPUtime=0.19 cores=0,2,4,6
/proc/4815/task/4846/stat : 4846 (java) S 4810 4815 2916 0 -1 4202560 1744 0 2 0 19 0 0 0 15 0 19 0 635079849 10795802624 39035 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 4 0 0 0
[pid=4815/tid=4848] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4848/stat : 4848 (java) S 4810 4815 2916 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 635079849 10795802624 39035 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478105 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
[pid=4815/tid=4850] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4850/stat : 4850 (java) S 4810 4815 2916 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 635079849 10795802624 39035 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 4 0 16800975 18446604453934338112 0 0 -1 0 0 0 0
[pid=4815/tid=4853] ppid=4810 vsize=10542776 CPUtime=0 cores=0,2,4,6
/proc/4815/task/4853/stat : 4853 (java) S 4810 4815 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635079865 10795802624 39035 33554432000 1073741824 1073778376 140734498826160 18446744073709551615 268672478720 0 4 0 16800975 18446604453934338112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10542776

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.83
CPU time (s): 1800.09
CPU user time (s): 1799.86
CPU system time (s): 0.230964
CPU usage (%): 100.125
Max. virtual memory (cumulated for all children) (KiB): 10542776

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

runsolver used 3.18052 second user time and 6.65599 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-12 22:01:26
IDJOB=3492247
IDBENCH=78707
IDSOLVER=1982
FILE ID=node107/3492247-1307908886
RUNJOBID= node107-1307908886-4788
PBS_JOBID= 13559596
Free space on /var/tmp= 2896 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-66-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492247-1307908886/watcher-3492247-1307908886 -o /var/tmp/evaluation-result-3492247-1307908886/solver-3492247-1307908886 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492247-1307908886.wbo

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

MD5SUM BENCH= 318c9cc5b16e210b9b0a9873d7c14d4c
RANDOM SEED=634520680

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
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.829
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.67
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.829
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.82
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.829
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.74
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.829
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	: 5359.47
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.829
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.75
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.829
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1183504 kB
Buffers:         58664 kB
Cached:       30719380 kB
SwapCached:      20072 kB
Active:       15620396 kB
Inactive:     15185964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1183504 kB
SwapTotal:    67111528 kB
SwapFree:     67055716 kB
Dirty:             920 kB
Writeback:           0 kB
AnonPages:       26512 kB
Mapped:          11736 kB
Slab:           896244 kB
PageTables:       4800 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186484 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 /var/tmp at the end= 2892 MiB
End job on node107 at 2011-06-12 22:31:25