Trace number 3492497

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.14 1794.87

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM72248c5a2862af1e3cf852420a7ca986
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark0.528919
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2800
Total number of constraints150
Number of soft constraints150
Number of constraints which are clauses80
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint40
Top cost 7477
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 7476
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 41
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.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.10	c See www.sat4j.org for details.
0.06/0.11	c version 2.3.1.v20110525
0.06/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.11	c java.vm.version	19.1-b02
0.06/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.11	c sun.arch.data.model	64
0.06/0.11	c java.version		1.6.0_24
0.06/0.11	c os.name		Linux
0.06/0.11	c os.version		2.6.18-164.el5
0.06/0.11	c os.arch		amd64
0.06/0.11	c Free memory 		9996466904
0.06/0.11	c Max memory 		10048897024
0.06/0.11	c Total memory 		10048897024
0.06/0.11	c Number of processors 	8
0.06/0.13	c Pseudo Boolean Optimization
0.06/0.13	c --- Begin Solver configuration ---
0.06/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.13	c Expensive reason simplification
0.06/0.13	c Armin Biere (Picosat) restarts strategy
0.06/0.13	c Glucose learned constraints deletion strategy
0.06/0.13	c timeout=2147483s
0.06/0.13	c DB Simplification allowed=false
0.06/0.13	c --- End Solver configuration ---
0.06/0.13	c solving HOME/instance-3492497-1307910829.wbo
0.06/0.13	c reading problem ... 
0.23/0.26	c ... done. Wall clock time 0.127s.
0.23/0.26	c #vars     2950
0.23/0.26	c #constraints  150
0.23/0.26	c constraints type 
0.23/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 80
0.23/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 70
0.73/0.41	c SATISFIABLE
0.73/0.41	c OPTIMIZING...
0.73/0.41	c Got one! Elapsed wall clock time (in seconds):0.283
0.73/0.41	o 198
0.73/0.46	c Got one! Elapsed wall clock time (in seconds):0.328
0.73/0.46	o 196
1.00/0.52	c Got one! Elapsed wall clock time (in seconds):0.385
1.00/0.52	o 108
1.00/0.57	c Got one! Elapsed wall clock time (in seconds):0.441
1.00/0.57	o 100
1.22/0.63	c Got one! Elapsed wall clock time (in seconds):0.5
1.22/0.63	o 65
1.34/0.75	c Got one! Elapsed wall clock time (in seconds):0.62
1.34/0.75	o 51
1.66/1.08	c Got one! Elapsed wall clock time (in seconds):0.952
1.66/1.08	o 43
2.25/1.66	c cleaning 4250 clauses out of 8511 with flag 3003/8511
2.38/1.72	c Got one! Elapsed wall clock time (in seconds):1.587
2.38/1.72	o 42
2.71/2.01	c Got one! Elapsed wall clock time (in seconds):1.882
2.71/2.01	o 34
3.41/2.72	c Got one! Elapsed wall clock time (in seconds):2.586
3.41/2.72	o 30
3.61/2.93	c cleaning 5336 clauses out of 10701 with flag 1000/14951
4.02/3.31	c Got one! Elapsed wall clock time (in seconds):3.177
4.02/3.31	o 28
4.62/3.97	c cleaning 5173 clauses out of 10384 with flag 3000/19970
4.98/4.28	c Got one! Elapsed wall clock time (in seconds):4.151
4.98/4.28	o 8
5.78/5.07	c cleaning 5304 clauses out of 10649 with flag 4000/25408
7.44/6.60	c cleaning 5650 clauses out of 11345 with flag 10000/31408
9.04/8.22	c cleaning 6344 clauses out of 12699 with flag 17004/38412
11.05/10.22	c cleaning 7144 clauses out of 14351 with flag 25000/46408
13.45/12.60	c cleaning 8076 clauses out of 16207 with flag 34000/55408
16.36/15.52	c cleaning 9043 clauses out of 18134 with flag 44003/65411
19.97/19.11	c cleaning 9527 clauses out of 19089 with flag 54001/75409
22.68/21.90	c cleaning 9740 clauses out of 19562 with flag 64001/85409
25.98/25.18	c cleaning 9881 clauses out of 19821 with flag 74000/95408
29.39/28.51	c cleaning 9944 clauses out of 19944 with flag 84004/105412
32.80/31.91	c cleaning 9973 clauses out of 19996 with flag 94000/115408
35.30/34.45	c cleaning 9978 clauses out of 20024 with flag 104001/125409
38.32/37.42	c cleaning 10004 clauses out of 20045 with flag 114000/135408
41.12/40.29	c cleaning 9976 clauses out of 20042 with flag 124001/145409
44.62/43.75	c cleaning 9990 clauses out of 20065 with flag 134000/155408
48.63/47.74	c cleaning 9994 clauses out of 20075 with flag 144000/165408
52.04/51.17	c cleaning 10020 clauses out of 20082 with flag 154001/175409
54.65/53.74	c cleaning 9999 clauses out of 20064 with flag 164003/185411
57.97/57.04	c cleaning 10009 clauses out of 20064 with flag 174002/195410
61.48/60.59	c cleaning 10004 clauses out of 20053 with flag 184000/205408
65.08/64.12	c cleaning 9994 clauses out of 20049 with flag 194000/215408
69.20/68.26	c cleaning 10001 clauses out of 20057 with flag 204002/225410
71.90/70.93	c cleaning 9997 clauses out of 20054 with flag 214000/235408
74.11/73.16	c cleaning 10002 clauses out of 20058 with flag 224001/245409
76.71/75.78	c cleaning 10006 clauses out of 20055 with flag 234000/255408
78.83/77.82	c cleaning 9988 clauses out of 20050 with flag 244001/265409
81.13/80.16	c cleaning 10019 clauses out of 20062 with flag 254001/275409
84.14/83.10	c cleaning 9999 clauses out of 20045 with flag 264003/285411
87.55/86.51	c cleaning 9997 clauses out of 20046 with flag 274003/295411
90.76/89.70	c cleaning 9983 clauses out of 20048 with flag 284002/305410
94.27/93.29	c cleaning 9993 clauses out of 20065 with flag 294002/315410
97.58/96.55	c cleaning 10016 clauses out of 20071 with flag 304001/325409
101.98/100.94	c cleaning 10010 clauses out of 20056 with flag 314002/335410
106.29/105.21	c cleaning 9988 clauses out of 20045 with flag 324001/345409
109.00/107.98	c cleaning 10014 clauses out of 20056 with flag 334000/355408
112.12/111.07	c cleaning 10010 clauses out of 20043 with flag 344001/365409
115.13/114.03	c cleaning 9996 clauses out of 20032 with flag 354000/375408
117.95/116.87	c cleaning 10010 clauses out of 20037 with flag 364001/385409
120.56/119.42	c cleaning 10004 clauses out of 20026 with flag 374000/395408
123.47/122.38	c cleaning 9985 clauses out of 20023 with flag 384001/405409
127.08/125.95	c cleaning 9996 clauses out of 20039 with flag 394002/415410
130.59/129.46	c cleaning 9992 clauses out of 20041 with flag 404000/425408
133.60/132.41	c cleaning 10010 clauses out of 20051 with flag 414002/435410
137.21/136.03	c cleaning 10007 clauses out of 20043 with flag 424004/445412
139.82/138.69	c cleaning 9997 clauses out of 20034 with flag 434002/455410
142.93/141.77	c cleaning 9999 clauses out of 20037 with flag 444002/465410
145.84/144.67	c cleaning 9992 clauses out of 20039 with flag 454003/475411
148.25/147.07	c cleaning 9988 clauses out of 20047 with flag 464003/485411
151.56/150.34	c cleaning 10008 clauses out of 20056 with flag 474000/495408
154.68/153.49	c cleaning 10005 clauses out of 20054 with flag 484006/505414
158.30/157.06	c cleaning 10001 clauses out of 20045 with flag 494002/515410
161.41/160.13	c cleaning 9913 clauses out of 20042 with flag 504000/525408
165.23/163.99	c cleaning 9933 clauses out of 20131 with flag 514002/535410
169.43/168.12	c cleaning 9984 clauses out of 20199 with flag 524003/545411
173.46/172.12	c cleaning 9981 clauses out of 20212 with flag 534000/555408
176.47/175.17	c cleaning 10032 clauses out of 20231 with flag 544000/565408
179.98/178.64	c cleaning 9985 clauses out of 20199 with flag 554000/575408
184.00/182.61	c cleaning 10012 clauses out of 20215 with flag 564001/585409
186.81/185.48	c cleaning 10068 clauses out of 20205 with flag 574003/595411
190.22/188.80	c cleaning 10063 clauses out of 20134 with flag 584000/605408
192.03/190.60	c cleaning 10005 clauses out of 20072 with flag 594001/615409
196.14/194.71	c cleaning 9995 clauses out of 20069 with flag 604003/625411
199.84/198.49	c cleaning 9982 clauses out of 20071 with flag 614000/635408
204.45/203.04	c cleaning 9991 clauses out of 20089 with flag 624000/645408
207.76/206.33	c cleaning 10036 clauses out of 20098 with flag 634000/655408
211.07/209.67	c cleaning 10015 clauses out of 20064 with flag 644002/665410
214.18/212.71	c cleaning 10022 clauses out of 20047 with flag 654000/675408
215.69/214.22	c cleaning 10001 clauses out of 20025 with flag 664000/685408
218.70/217.23	c cleaning 9992 clauses out of 20027 with flag 674003/695411
222.41/220.98	c cleaning 9995 clauses out of 20032 with flag 684000/705408
226.22/224.77	c cleaning 9996 clauses out of 20038 with flag 694001/715409
228.62/227.15	c cleaning 9976 clauses out of 20043 with flag 704002/725410
233.54/232.01	c cleaning 9997 clauses out of 20065 with flag 714000/735408
236.64/235.17	c cleaning 9996 clauses out of 20069 with flag 724001/745409
241.26/239.75	c cleaning 9986 clauses out of 20072 with flag 734000/755408
244.47/242.91	c cleaning 9973 clauses out of 20086 with flag 744000/765408
247.88/246.33	c cleaning 10027 clauses out of 20118 with flag 754005/775413
250.59/249.08	c cleaning 9982 clauses out of 20090 with flag 764004/785412
253.00/251.41	c cleaning 9993 clauses out of 20109 with flag 774005/795413
255.31/253.71	c cleaning 9997 clauses out of 20114 with flag 784003/805411
257.62/256.00	c cleaning 9982 clauses out of 20116 with flag 794002/815410
259.93/258.38	c cleaning 10003 clauses out of 20132 with flag 804000/825408
262.64/261.04	c cleaning 10002 clauses out of 20129 with flag 814000/835408
265.25/263.68	c cleaning 9998 clauses out of 20128 with flag 824001/845409
267.77/266.19	c cleaning 10003 clauses out of 20130 with flag 834001/855409
270.47/268.81	c cleaning 9988 clauses out of 20127 with flag 844001/865409
272.88/271.20	c cleaning 10005 clauses out of 20140 with flag 854002/875410
275.29/273.64	c cleaning 10011 clauses out of 20134 with flag 864001/885409
277.81/276.13	c cleaning 10028 clauses out of 20123 with flag 874001/895409
281.22/279.53	c cleaning 10029 clauses out of 20099 with flag 884005/905413
284.33/282.69	c cleaning 10001 clauses out of 20065 with flag 894000/915408
287.44/285.79	c cleaning 10013 clauses out of 20064 with flag 904000/925408
291.25/289.56	c cleaning 10009 clauses out of 20053 with flag 914002/935410
294.26/292.58	c cleaning 10008 clauses out of 20042 with flag 924000/945408
296.36/294.67	c cleaning 9986 clauses out of 20039 with flag 934005/955413
299.67/297.91	c cleaning 10003 clauses out of 20048 with flag 944000/965408
301.88/300.14	c cleaning 9995 clauses out of 20045 with flag 954000/975408
304.09/302.35	c cleaning 9998 clauses out of 20052 with flag 964002/985410
306.90/305.16	c cleaning 9999 clauses out of 20055 with flag 974003/995411
309.31/307.53	c cleaning 10005 clauses out of 20055 with flag 984002/1005410
311.51/309.76	c cleaning 9974 clauses out of 20055 with flag 994007/1015415
314.03/312.20	c cleaning 9987 clauses out of 20074 with flag 1004000/1025408
316.24/314.49	c cleaning 9995 clauses out of 20094 with flag 1014007/1035415
318.45/316.64	c cleaning 9995 clauses out of 20094 with flag 1024002/1045410
321.06/319.24	c cleaning 9997 clauses out of 20098 with flag 1034001/1055409
323.47/321.69	c cleaning 9993 clauses out of 20101 with flag 1044001/1065409
325.98/324.17	c cleaning 9995 clauses out of 20109 with flag 1054002/1075410
327.78/325.93	c cleaning 10024 clauses out of 20113 with flag 1064001/1085409
329.90/328.00	c cleaning 10010 clauses out of 20088 with flag 1074000/1095408
332.11/330.21	c cleaning 10007 clauses out of 20080 with flag 1084002/1105410
334.41/332.54	c cleaning 10002 clauses out of 20074 with flag 1094003/1115411
336.33/334.47	c cleaning 9996 clauses out of 20069 with flag 1104000/1125408
338.43/336.51	c cleaning 10002 clauses out of 20073 with flag 1114000/1135408
340.53/338.67	c cleaning 10002 clauses out of 20073 with flag 1124002/1145410
342.84/340.99	c cleaning 10001 clauses out of 20072 with flag 1134003/1155411
344.85/342.99	c cleaning 9990 clauses out of 20068 with flag 1144000/1165408
347.45/345.55	c cleaning 10008 clauses out of 20081 with flag 1154003/1175411
349.56/347.66	c cleaning 9986 clauses out of 20071 with flag 1164001/1185409
353.46/351.56	c cleaning 10003 clauses out of 20084 with flag 1174000/1195408
357.07/355.20	c cleaning 9998 clauses out of 20081 with flag 1184000/1205408
360.28/358.35	c cleaning 10011 clauses out of 20084 with flag 1194001/1215409
363.59/361.63	c cleaning 9994 clauses out of 20074 with flag 1204002/1225410
366.90/364.97	c cleaning 10004 clauses out of 20079 with flag 1214001/1235409
370.41/368.40	c cleaning 9978 clauses out of 20075 with flag 1224001/1245409
373.81/371.88	c cleaning 10012 clauses out of 20096 with flag 1234000/1255408
377.82/375.89	c cleaning 10018 clauses out of 20085 with flag 1244001/1265409
381.43/379.42	c cleaning 10000 clauses out of 20066 with flag 1254000/1275408
384.63/382.63	c cleaning 10006 clauses out of 20071 with flag 1264005/1285413
388.44/386.45	c cleaning 9986 clauses out of 20060 with flag 1274000/1295408
392.45/390.44	c cleaning 9995 clauses out of 20074 with flag 1284000/1305408
396.15/394.18	c cleaning 10018 clauses out of 20079 with flag 1294000/1315408
399.36/397.33	c cleaning 10002 clauses out of 20062 with flag 1304001/1325409
401.76/399.75	c cleaning 9984 clauses out of 20064 with flag 1314005/1335413
404.37/402.32	c cleaning 10014 clauses out of 20078 with flag 1324003/1345411
407.99/405.99	c cleaning 9996 clauses out of 20062 with flag 1334001/1355409
412.09/410.06	c cleaning 10002 clauses out of 20066 with flag 1344001/1365409
415.40/413.38	c cleaning 9964 clauses out of 20064 with flag 1354001/1375409
418.71/416.64	c cleaning 9982 clauses out of 20102 with flag 1364003/1385411
422.42/420.38	c cleaning 9990 clauses out of 20117 with flag 1374000/1395408
426.33/424.20	c cleaning 9999 clauses out of 20129 with flag 1384002/1405410
430.13/428.08	c cleaning 10025 clauses out of 20128 with flag 1394000/1415408
433.75/431.67	c cleaning 10007 clauses out of 20104 with flag 1404001/1425409
437.45/435.30	c cleaning 10033 clauses out of 20100 with flag 1414004/1435412
441.16/439.01	c cleaning 10018 clauses out of 20067 with flag 1424004/1445412
444.27/442.11	c cleaning 9992 clauses out of 20046 with flag 1434001/1455409
446.67/444.50	c cleaning 10001 clauses out of 20053 with flag 1444000/1465408
449.38/447.20	c cleaning 10002 clauses out of 20053 with flag 1454001/1475409
451.89/449.72	c cleaning 9995 clauses out of 20050 with flag 1464000/1485408
454.70/452.52	c cleaning 10012 clauses out of 20057 with flag 1474002/1495410
457.61/455.48	c cleaning 10000 clauses out of 20045 with flag 1484002/1505410
460.42/458.28	c cleaning 10001 clauses out of 20043 with flag 1494000/1515408
462.93/460.71	c cleaning 9984 clauses out of 20046 with flag 1504004/1525412
465.93/463.78	c cleaning 9993 clauses out of 20058 with flag 1514000/1535408
469.45/467.22	c cleaning 10008 clauses out of 20069 with flag 1524004/1545412
472.76/470.58	c cleaning 10004 clauses out of 20060 with flag 1534003/1555411
476.27/474.03	c cleaning 9993 clauses out of 20053 with flag 1544000/1565408
479.88/477.66	c cleaning 10006 clauses out of 20063 with flag 1554003/1575411
483.29/481.02	c cleaning 10002 clauses out of 20056 with flag 1564002/1585410
486.71/484.44	c cleaning 10002 clauses out of 20055 with flag 1574003/1595411
490.12/487.85	c cleaning 9991 clauses out of 20050 with flag 1584000/1605408
493.03/490.77	c cleaning 10003 clauses out of 20059 with flag 1594000/1615408
495.63/493.38	c cleaning 9989 clauses out of 20057 with flag 1604001/1625409
498.35/496.07	c cleaning 9999 clauses out of 20068 with flag 1614001/1635409
500.95/498.60	c cleaning 9999 clauses out of 20071 with flag 1624003/1645411
503.36/501.09	c cleaning 9998 clauses out of 20069 with flag 1634000/1655408
506.57/504.27	c cleaning 9997 clauses out of 20072 with flag 1644001/1665409
509.39/507.09	c cleaning 10000 clauses out of 20075 with flag 1654001/1675409
512.39/510.07	c cleaning 9998 clauses out of 20074 with flag 1664000/1685408
515.11/512.72	c cleaning 9989 clauses out of 20077 with flag 1674001/1695409
517.92/515.52	c cleaning 10006 clauses out of 20087 with flag 1684000/1705408
521.02/518.65	c cleaning 10007 clauses out of 20082 with flag 1694001/1715409
523.93/521.56	c cleaning 10004 clauses out of 20077 with flag 1704003/1725411
526.54/524.12	c cleaning 9997 clauses out of 20071 with flag 1714001/1735409
529.26/526.81	c cleaning 10002 clauses out of 20075 with flag 1724002/1745410
533.36/530.98	c cleaning 9991 clauses out of 20071 with flag 1734000/1755408
536.28/533.81	c cleaning 10002 clauses out of 20080 with flag 1744000/1765408
538.88/536.45	c cleaning 9992 clauses out of 20080 with flag 1754002/1775410
542.68/540.23	c cleaning 9995 clauses out of 20086 with flag 1764000/1785408
546.19/543.73	c cleaning 10001 clauses out of 20091 with flag 1774000/1795408
549.90/547.45	c cleaning 10000 clauses out of 20090 with flag 1784000/1805408
553.70/551.21	c cleaning 10002 clauses out of 20091 with flag 1794001/1815409
557.61/555.17	c cleaning 10001 clauses out of 20092 with flag 1804004/1825412
561.82/559.32	c cleaning 10004 clauses out of 20092 with flag 1814005/1835413
565.32/562.81	c cleaning 10001 clauses out of 20089 with flag 1824006/1845414
569.04/566.54	c cleaning 9995 clauses out of 20082 with flag 1834000/1855408
572.74/570.29	c cleaning 9999 clauses out of 20088 with flag 1844001/1865409
576.65/574.19	c cleaning 9999 clauses out of 20089 with flag 1854001/1875409
580.55/578.00	c cleaning 10002 clauses out of 20089 with flag 1864000/1885408
584.46/581.94	c cleaning 10000 clauses out of 20090 with flag 1874003/1895411
588.36/585.84	c cleaning 9999 clauses out of 20087 with flag 1884000/1905408
592.47/589.97	c cleaning 10001 clauses out of 20088 with flag 1894000/1915408
596.17/593.68	c cleaning 10021 clauses out of 20088 with flag 1904001/1925409
599.57/597.04	c cleaning 10012 clauses out of 20067 with flag 1914001/1935409
602.58/600.03	c cleaning 10004 clauses out of 20054 with flag 1924000/1945408
606.49/603.95	c cleaning 9986 clauses out of 20052 with flag 1934002/1955410
610.19/607.64	c cleaning 9993 clauses out of 20066 with flag 1944002/1965410
613.20/610.64	c cleaning 9996 clauses out of 20073 with flag 1954002/1975410
615.90/613.39	c cleaning 9996 clauses out of 20075 with flag 1964000/1985408
618.40/615.90	c cleaning 10005 clauses out of 20080 with flag 1974001/1995409
621.11/618.59	c cleaning 10001 clauses out of 20075 with flag 1984001/2005409
623.92/621.37	c cleaning 10000 clauses out of 20074 with flag 1994001/2015409
627.23/624.63	c cleaning 10000 clauses out of 20073 with flag 2004000/2025408
630.44/627.87	c cleaning 9997 clauses out of 20073 with flag 2014000/2035408
633.76/631.19	c cleaning 10009 clauses out of 20076 with flag 2024000/2045408
636.17/633.53	c cleaning 10003 clauses out of 20072 with flag 2034005/2055413
638.48/635.81	c cleaning 9992 clauses out of 20065 with flag 2044001/2065409
641.68/639.10	c cleaning 10013 clauses out of 20078 with flag 2054006/2075414
644.00/641.33	c cleaning 10008 clauses out of 20061 with flag 2064002/2085410
646.81/644.11	c cleaning 10005 clauses out of 20053 with flag 2074002/2095410
649.32/646.61	c cleaning 9999 clauses out of 20046 with flag 2084000/2105408
651.43/648.73	c cleaning 10001 clauses out of 20047 with flag 2094000/2115408
653.44/650.73	c cleaning 9997 clauses out of 20048 with flag 2104002/2125410
656.35/653.66	c cleaning 9999 clauses out of 20051 with flag 2114002/2135410
659.76/657.02	c cleaning 9997 clauses out of 20051 with flag 2124001/2145409
662.17/659.45	c cleaning 10001 clauses out of 20055 with flag 2134002/2155410
665.27/662.52	c cleaning 9999 clauses out of 20053 with flag 2144001/2165409
667.98/665.28	c cleaning 9997 clauses out of 20054 with flag 2154001/2175409
671.19/668.43	c cleaning 10001 clauses out of 20057 with flag 2164001/2185409
674.40/671.61	c cleaning 10008 clauses out of 20055 with flag 2174000/2195408
678.00/675.29	c cleaning 10006 clauses out of 20049 with flag 2184002/2205410
681.61/678.81	c cleaning 10001 clauses out of 20041 with flag 2194000/2215408
685.82/683.01	c cleaning 9999 clauses out of 20042 with flag 2204002/2225410
689.43/686.68	c cleaning 9999 clauses out of 20042 with flag 2214001/2235409
693.23/690.40	c cleaning 10002 clauses out of 20043 with flag 2224001/2245409
697.03/694.28	c cleaning 9999 clauses out of 20040 with flag 2234000/2255408
700.74/697.94	c cleaning 10001 clauses out of 20041 with flag 2244000/2265408
704.75/701.98	c cleaning 10000 clauses out of 20041 with flag 2254001/2275409
708.65/705.82	c cleaning 9997 clauses out of 20041 with flag 2264001/2285409
710.96/708.12	c cleaning 10000 clauses out of 20043 with flag 2274000/2295408
713.57/710.71	c cleaning 9994 clauses out of 20043 with flag 2284000/2305408
716.18/713.36	c cleaning 10004 clauses out of 20050 with flag 2294001/2315409
719.09/716.30	c cleaning 9996 clauses out of 20045 with flag 2304000/2325408
721.70/718.81	c cleaning 10006 clauses out of 20050 with flag 2314001/2335409
724.30/721.43	c cleaning 10001 clauses out of 20044 with flag 2324001/2345409
727.41/724.50	c cleaning 9986 clauses out of 20043 with flag 2334001/2355409
729.83/726.96	c cleaning 10003 clauses out of 20056 with flag 2344000/2365408
732.63/729.72	c cleaning 10008 clauses out of 20055 with flag 2354002/2375410
735.64/732.76	c cleaning 10000 clauses out of 20046 with flag 2364001/2385409
738.75/735.88	c cleaning 9999 clauses out of 20046 with flag 2374001/2395409
743.35/740.42	c cleaning 9985 clauses out of 20046 with flag 2384000/2405408
746.77/743.84	c cleaning 10018 clauses out of 20063 with flag 2394002/2415410
749.67/746.72	c cleaning 10004 clauses out of 20048 with flag 2404005/2425413
752.57/749.65	c cleaning 10005 clauses out of 20042 with flag 2414003/2435411
755.69/752.77	c cleaning 9983 clauses out of 20039 with flag 2424005/2445413
758.40/755.45	c cleaning 10005 clauses out of 20052 with flag 2434001/2455409
761.60/758.66	c cleaning 9967 clauses out of 20050 with flag 2444004/2465412
765.01/762.04	c cleaning 9988 clauses out of 20080 with flag 2454001/2475409
768.72/765.71	c cleaning 10020 clauses out of 20094 with flag 2464003/2485411
772.63/769.64	c cleaning 10020 clauses out of 20073 with flag 2474002/2495410
776.84/773.86	c cleaning 9983 clauses out of 20054 with flag 2484003/2505411
780.65/777.67	c cleaning 10010 clauses out of 20069 with flag 2494001/2515409
784.45/781.42	c cleaning 10013 clauses out of 20061 with flag 2504003/2525411
788.66/785.66	c cleaning 10004 clauses out of 20047 with flag 2514002/2535410
793.07/790.09	c cleaning 10003 clauses out of 20041 with flag 2524000/2545408
796.88/793.84	c cleaning 9998 clauses out of 20038 with flag 2534000/2555408
800.19/797.16	c cleaning 10000 clauses out of 20042 with flag 2544002/2565410
803.30/800.20	c cleaning 9995 clauses out of 20040 with flag 2554000/2575408
806.51/803.46	c cleaning 9987 clauses out of 20045 with flag 2564000/2585408
810.22/807.17	c cleaning 10011 clauses out of 20059 with flag 2574001/2595409
814.32/811.28	c cleaning 10005 clauses out of 20048 with flag 2584001/2605409
818.53/815.46	c cleaning 9994 clauses out of 20043 with flag 2594001/2615409
822.34/819.30	c cleaning 10004 clauses out of 20048 with flag 2604000/2625408
826.25/823.16	c cleaning 9998 clauses out of 20045 with flag 2614001/2635409
830.06/826.99	c cleaning 10003 clauses out of 20046 with flag 2624000/2645408
834.07/830.93	c cleaning 10001 clauses out of 20043 with flag 2634000/2655408
835.97/832.85	c cleaning 9996 clauses out of 20042 with flag 2644000/2665408
838.28/835.11	c cleaning 10003 clauses out of 20049 with flag 2654003/2675411
840.39/837.22	c cleaning 10000 clauses out of 20045 with flag 2664002/2685410
842.80/839.62	c cleaning 10004 clauses out of 20047 with flag 2674004/2695412
845.10/841.91	c cleaning 9995 clauses out of 20039 with flag 2684000/2705408
847.41/844.25	c cleaning 9996 clauses out of 20044 with flag 2694000/2715408
849.42/846.24	c cleaning 10004 clauses out of 20050 with flag 2704002/2725410
851.33/848.16	c cleaning 10000 clauses out of 20045 with flag 2714001/2735409
853.43/850.28	c cleaning 9999 clauses out of 20044 with flag 2724000/2745408
855.43/852.25	c cleaning 10003 clauses out of 20048 with flag 2734003/2755411
857.34/854.15	c cleaning 9996 clauses out of 20042 with flag 2744000/2765408
859.44/856.20	c cleaning 10005 clauses out of 20051 with flag 2754005/2775413
861.45/858.26	c cleaning 9998 clauses out of 20045 with flag 2764004/2785412
863.86/860.61	c cleaning 10000 clauses out of 20044 with flag 2774001/2795409
866.06/862.83	c cleaning 10001 clauses out of 20045 with flag 2784002/2805410
868.17/864.95	c cleaning 9998 clauses out of 20043 with flag 2794001/2815409
870.47/867.22	c cleaning 10002 clauses out of 20045 with flag 2804001/2825409
872.67/869.43	c cleaning 9997 clauses out of 20042 with flag 2814000/2835408
874.98/871.75	c cleaning 9995 clauses out of 20046 with flag 2824001/2845409
877.48/874.25	c cleaning 10005 clauses out of 20052 with flag 2834002/2855410
879.58/876.34	c cleaning 10001 clauses out of 20045 with flag 2844000/2865408
882.40/879.11	c cleaning 10002 clauses out of 20046 with flag 2854002/2875410
884.41/881.16	c cleaning 9985 clauses out of 20044 with flag 2864002/2885410
886.71/883.44	c cleaning 10010 clauses out of 20060 with flag 2874003/2895411
889.02/885.79	c cleaning 10002 clauses out of 20047 with flag 2884000/2905408
891.22/887.99	c cleaning 9999 clauses out of 20050 with flag 2894005/2915413
893.23/889.97	c cleaning 10004 clauses out of 20047 with flag 2904001/2925409
895.43/892.13	c cleaning 10001 clauses out of 20045 with flag 2914003/2935411
897.54/894.29	c cleaning 9998 clauses out of 20043 with flag 2924002/2945410
900.04/896.70	c cleaning 10000 clauses out of 20043 with flag 2934000/2955408
902.04/898.74	c cleaning 9997 clauses out of 20043 with flag 2944000/2965408
904.25/900.98	c cleaning 10002 clauses out of 20048 with flag 2954002/2975410
906.64/903.35	c cleaning 10001 clauses out of 20044 with flag 2964000/2985408
908.84/905.54	c cleaning 10000 clauses out of 20047 with flag 2974004/2995412
911.56/908.28	c cleaning 9992 clauses out of 20047 with flag 2984004/3005412
914.87/911.53	c cleaning 10011 clauses out of 20055 with flag 2994004/3015412
918.08/914.79	c cleaning 9986 clauses out of 20042 with flag 3004002/3025410
921.59/918.21	c cleaning 10007 clauses out of 20054 with flag 3014000/3035408
925.20/921.86	c cleaning 9999 clauses out of 20047 with flag 3024000/3045408
927.20/923.83	c cleaning 10000 clauses out of 20049 with flag 3034001/3055409
929.21/925.88	c cleaning 10000 clauses out of 20049 with flag 3044001/3065409
931.42/928.01	c cleaning 9999 clauses out of 20050 with flag 3054002/3075410
934.52/931.14	c cleaning 9999 clauses out of 20051 with flag 3064002/3085410
938.63/935.29	c cleaning 10016 clauses out of 20051 with flag 3074001/3095409
942.85/939.44	c cleaning 9995 clauses out of 20034 with flag 3084000/3105408
946.55/943.19	c cleaning 9996 clauses out of 20039 with flag 3094000/3115408
948.97/945.57	c cleaning 9999 clauses out of 20043 with flag 3104000/3125408
951.58/948.13	c cleaning 10003 clauses out of 20046 with flag 3114002/3135410
953.98/950.58	c cleaning 9998 clauses out of 20041 with flag 3124000/3145408
956.39/952.98	c cleaning 10001 clauses out of 20044 with flag 3134001/3155409
958.69/955.27	c cleaning 9998 clauses out of 20042 with flag 3144000/3165408
961.10/957.65	c cleaning 10004 clauses out of 20047 with flag 3154003/3175411
963.70/960.25	c cleaning 9997 clauses out of 20040 with flag 3164000/3185408
966.31/962.85	c cleaning 9985 clauses out of 20048 with flag 3174005/3195413
969.71/966.26	c cleaning 9994 clauses out of 20059 with flag 3184001/3205409
973.42/969.91	c cleaning 9998 clauses out of 20064 with flag 3194000/3215408
976.93/973.45	c cleaning 10004 clauses out of 20071 with flag 3204005/3225413
980.34/976.84	c cleaning 9991 clauses out of 20063 with flag 3214001/3235409
983.74/980.29	c cleaning 10003 clauses out of 20072 with flag 3224001/3245409
987.04/983.56	c cleaning 10002 clauses out of 20073 with flag 3234005/3255413
990.55/987.01	c cleaning 9996 clauses out of 20067 with flag 3244001/3265409
994.46/990.94	c cleaning 10002 clauses out of 20071 with flag 3254001/3275409
997.66/994.19	c cleaning 9993 clauses out of 20069 with flag 3264001/3285409
1000.57/997.00	c cleaning 9998 clauses out of 20075 with flag 3274000/3295408
1004.38/1000.83	c cleaning 9982 clauses out of 20082 with flag 3284005/3305413
1007.80/1004.25	c cleaning 9992 clauses out of 20096 with flag 3294001/3315409
1011.21/1007.67	c cleaning 9990 clauses out of 20104 with flag 3304001/3325409
1014.31/1010.73	c cleaning 9996 clauses out of 20114 with flag 3314001/3335409
1018.02/1014.44	c cleaning 9964 clauses out of 20119 with flag 3324002/3345410
1021.52/1017.98	c cleaning 10041 clauses out of 20154 with flag 3334001/3355409
1025.03/1021.49	c cleaning 9976 clauses out of 20112 with flag 3344000/3365408
1030.24/1026.69	c cleaning 10029 clauses out of 20139 with flag 3354003/3375411
1034.06/1030.49	c cleaning 10016 clauses out of 20108 with flag 3364001/3385409
1037.77/1034.16	c cleaning 10006 clauses out of 20091 with flag 3374000/3395408
1040.88/1037.29	c cleaning 9997 clauses out of 20088 with flag 3384003/3405411
1043.89/1040.24	c cleaning 9980 clauses out of 20090 with flag 3394002/3415410
1046.79/1043.19	c cleaning 9998 clauses out of 20108 with flag 3404000/3425408
1048.80/1045.18	c cleaning 10028 clauses out of 20113 with flag 3414003/3435411
1051.00/1047.31	c cleaning 10010 clauses out of 20082 with flag 3424000/3445408
1053.41/1049.72	c cleaning 10001 clauses out of 20072 with flag 3434000/3455408
1056.22/1052.52	c cleaning 10005 clauses out of 20071 with flag 3444000/3465408
1058.54/1054.86	c cleaning 10005 clauses out of 20067 with flag 3454001/3475409
1060.94/1057.26	c cleaning 10001 clauses out of 20065 with flag 3464004/3485412
1063.44/1059.78	c cleaning 9998 clauses out of 20061 with flag 3474001/3495409
1066.04/1062.33	c cleaning 10001 clauses out of 20062 with flag 3484000/3505408
1068.35/1064.69	c cleaning 9997 clauses out of 20061 with flag 3494000/3515408
1070.67/1066.97	c cleaning 10003 clauses out of 20067 with flag 3504003/3525411
1073.37/1069.64	c cleaning 10002 clauses out of 20063 with flag 3514002/3535410
1075.88/1072.16	c cleaning 9984 clauses out of 20060 with flag 3524001/3545409
1078.98/1075.27	c cleaning 10008 clauses out of 20075 with flag 3534000/3555408
1081.80/1078.09	c cleaning 10000 clauses out of 20068 with flag 3544001/3565409
1084.40/1080.67	c cleaning 10001 clauses out of 20067 with flag 3554000/3575408
1087.01/1083.28	c cleaning 10004 clauses out of 20071 with flag 3564005/3585413
1089.42/1085.68	c cleaning 9992 clauses out of 20062 with flag 3574000/3595408
1092.03/1088.24	c cleaning 10004 clauses out of 20070 with flag 3584000/3605408
1094.74/1090.94	c cleaning 10007 clauses out of 20071 with flag 3594005/3615413
1097.34/1093.54	c cleaning 9995 clauses out of 20059 with flag 3604000/3625408
1100.35/1096.58	c cleaning 10000 clauses out of 20064 with flag 3614000/3635408
1103.56/1099.71	c cleaning 9999 clauses out of 20064 with flag 3624000/3645408
1107.46/1103.63	c cleaning 10025 clauses out of 20066 with flag 3634001/3655409
1109.77/1105.98	c cleaning 10016 clauses out of 20041 with flag 3644001/3665409
1111.98/1108.19	c cleaning 10002 clauses out of 20025 with flag 3654001/3675409
1114.68/1110.88	c cleaning 9987 clauses out of 20022 with flag 3664000/3685408
1118.39/1114.55	c cleaning 9999 clauses out of 20037 with flag 3674002/3695410
1121.99/1118.16	c cleaning 9995 clauses out of 20036 with flag 3684000/3705408
1125.70/1121.90	c cleaning 9993 clauses out of 20041 with flag 3694000/3715408
1129.52/1125.62	c cleaning 9999 clauses out of 20048 with flag 3704000/3725408
1132.92/1129.08	c cleaning 10005 clauses out of 20051 with flag 3714002/3735410
1136.73/1132.89	c cleaning 10001 clauses out of 20045 with flag 3724001/3745409
1140.63/1136.74	c cleaning 9996 clauses out of 20043 with flag 3734000/3755408
1144.24/1140.36	c cleaning 10003 clauses out of 20049 with flag 3744002/3765410
1148.05/1144.11	c cleaning 10002 clauses out of 20047 with flag 3754003/3775411
1151.65/1147.74	c cleaning 9997 clauses out of 20046 with flag 3764004/3785412
1155.26/1151.38	c cleaning 9996 clauses out of 20045 with flag 3774000/3795408
1159.46/1155.50	c cleaning 10002 clauses out of 20050 with flag 3784001/3805409
1163.56/1159.63	c cleaning 10000 clauses out of 20047 with flag 3794000/3815408
1167.27/1163.39	c cleaning 10001 clauses out of 20047 with flag 3804000/3825408
1171.67/1167.76	c cleaning 10002 clauses out of 20053 with flag 3814007/3835415
1175.69/1171.73	c cleaning 9998 clauses out of 20047 with flag 3824003/3845411
1179.59/1175.66	c cleaning 10001 clauses out of 20046 with flag 3834000/3855408
1183.80/1179.87	c cleaning 10003 clauses out of 20047 with flag 3844002/3865410
1187.91/1183.92	c cleaning 9997 clauses out of 20042 with flag 3854000/3875408
1192.21/1188.30	c cleaning 9998 clauses out of 20045 with flag 3864000/3885408
1196.33/1192.32	c cleaning 10001 clauses out of 20048 with flag 3874001/3895409
1200.33/1196.37	c cleaning 10001 clauses out of 20046 with flag 3884000/3905408
1204.23/1200.21	c cleaning 9999 clauses out of 20045 with flag 3894000/3915408
1208.23/1204.26	c cleaning 10003 clauses out of 20047 with flag 3904001/3925409
1212.43/1208.45	c cleaning 9996 clauses out of 20043 with flag 3914000/3935408
1216.74/1212.78	c cleaning 9987 clauses out of 20050 with flag 3924003/3945411
1220.85/1216.88	c cleaning 10007 clauses out of 20062 with flag 3934002/3955410
1224.25/1220.28	c cleaning 10005 clauses out of 20054 with flag 3944001/3965409
1228.65/1224.60	c cleaning 10000 clauses out of 20048 with flag 3954000/3975408
1232.45/1228.49	c cleaning 10001 clauses out of 20049 with flag 3964001/3985409
1235.76/1231.70	c cleaning 9963 clauses out of 20048 with flag 3974001/3995409
1239.57/1235.53	c cleaning 9997 clauses out of 20085 with flag 3984001/4005409
1243.48/1239.48	c cleaning 10000 clauses out of 20092 with flag 3994005/4015413
1247.09/1243.01	c cleaning 9995 clauses out of 20088 with flag 4004001/4025409
1250.89/1246.83	c cleaning 9979 clauses out of 20094 with flag 4014002/4035410
1254.70/1250.70	c cleaning 10012 clauses out of 20114 with flag 4024001/4045409
1258.21/1254.15	c cleaning 9996 clauses out of 20105 with flag 4034004/4055412
1261.51/1257.41	c cleaning 9998 clauses out of 20105 with flag 4044000/4065408
1264.92/1260.81	c cleaning 9993 clauses out of 20107 with flag 4054000/4075408
1268.62/1264.50	c cleaning 10002 clauses out of 20117 with flag 4064003/4085411
1272.82/1268.74	c cleaning 9993 clauses out of 20114 with flag 4074002/4095410
1276.63/1272.58	c cleaning 10013 clauses out of 20119 with flag 4084000/4105408
1280.33/1276.28	c cleaning 9991 clauses out of 20107 with flag 4094001/4115409
1283.93/1279.84	c cleaning 10008 clauses out of 20115 with flag 4104000/4125408
1287.24/1283.15	c cleaning 10006 clauses out of 20107 with flag 4114000/4135408
1290.74/1286.69	c cleaning 9996 clauses out of 20101 with flag 4124000/4145408
1295.14/1291.04	c cleaning 9995 clauses out of 20105 with flag 4134000/4155408
1298.65/1294.57	c cleaning 9997 clauses out of 20110 with flag 4144000/4165408
1302.06/1297.95	c cleaning 10006 clauses out of 20113 with flag 4154000/4175408
1306.16/1302.09	c cleaning 10001 clauses out of 20107 with flag 4164000/4185408
1309.66/1305.59	c cleaning 10008 clauses out of 20106 with flag 4174000/4195408
1313.18/1309.03	c cleaning 10003 clauses out of 20100 with flag 4184002/4205410
1316.79/1312.68	c cleaning 10001 clauses out of 20096 with flag 4194001/4215409
1320.09/1315.98	c cleaning 9983 clauses out of 20096 with flag 4204002/4225410
1323.69/1319.58	c cleaning 10007 clauses out of 20112 with flag 4214001/4235409
1327.51/1323.39	c cleaning 10004 clauses out of 20105 with flag 4224001/4245409
1331.10/1326.98	c cleaning 10003 clauses out of 20101 with flag 4234001/4255409
1334.41/1330.23	c cleaning 9989 clauses out of 20098 with flag 4244001/4265409
1337.91/1333.73	c cleaning 9999 clauses out of 20108 with flag 4254000/4275408
1341.31/1337.19	c cleaning 10003 clauses out of 20114 with flag 4264005/4285413
1345.31/1341.16	c cleaning 9985 clauses out of 20106 with flag 4274000/4295408
1348.92/1344.78	c cleaning 10012 clauses out of 20121 with flag 4284000/4305408
1352.62/1348.49	c cleaning 9997 clauses out of 20113 with flag 4294004/4315412
1356.82/1352.60	c cleaning 10001 clauses out of 20112 with flag 4304000/4325408
1360.54/1356.35	c cleaning 9992 clauses out of 20111 with flag 4314000/4335408
1364.53/1360.34	c cleaning 9997 clauses out of 20120 with flag 4324001/4345409
1368.53/1364.37	c cleaning 9993 clauses out of 20123 with flag 4334001/4355409
1372.44/1368.29	c cleaning 10016 clauses out of 20130 with flag 4344001/4365409
1376.25/1372.01	c cleaning 9997 clauses out of 20118 with flag 4354005/4375413
1379.75/1375.51	c cleaning 10011 clauses out of 20120 with flag 4364004/4385412
1383.25/1379.09	c cleaning 9995 clauses out of 20105 with flag 4374000/4395408
1386.86/1382.66	c cleaning 10006 clauses out of 20110 with flag 4384000/4405408
1390.66/1386.40	c cleaning 9991 clauses out of 20104 with flag 4394000/4415408
1394.96/1390.76	c cleaning 10009 clauses out of 20117 with flag 4404004/4425412
1398.76/1394.57	c cleaning 10006 clauses out of 20106 with flag 4414002/4435410
1402.07/1397.81	c cleaning 9989 clauses out of 20100 with flag 4424002/4445410
1405.77/1401.54	c cleaning 10008 clauses out of 20111 with flag 4434002/4455410
1410.27/1406.02	c cleaning 10004 clauses out of 20101 with flag 4444000/4465408
1414.58/1410.38	c cleaning 9983 clauses out of 20099 with flag 4454002/4475410
1417.98/1413.74	c cleaning 10032 clauses out of 20114 with flag 4464000/4485408
1420.79/1416.54	c cleaning 10006 clauses out of 20086 with flag 4474004/4495412
1424.00/1419.70	c cleaning 9991 clauses out of 20077 with flag 4484001/4505409
1426.91/1422.60	c cleaning 9980 clauses out of 20086 with flag 4494001/4515409
1430.62/1426.40	c cleaning 10032 clauses out of 20107 with flag 4504002/4525410
1434.43/1430.14	c cleaning 10019 clauses out of 20078 with flag 4514005/4535413
1437.44/1433.10	c cleaning 9988 clauses out of 20055 with flag 4524001/4545409
1440.25/1435.95	c cleaning 9987 clauses out of 20066 with flag 4534000/4555408
1444.76/1440.44	c cleaning 9995 clauses out of 20080 with flag 4544001/4565409
1447.97/1443.68	c cleaning 9947 clauses out of 20086 with flag 4554002/4575410
1452.00/1447.70	c cleaning 9972 clauses out of 20138 with flag 4564001/4585409
1455.80/1451.41	c cleaning 9944 clauses out of 20168 with flag 4574003/4595411
1459.52/1455.18	c cleaning 9940 clauses out of 20221 with flag 4584000/4605408
1462.13/1457.79	c cleaning 10094 clauses out of 20281 with flag 4594000/4615408
1464.74/1460.39	c cleaning 10061 clauses out of 20187 with flag 4604000/4625408
1467.65/1463.28	c cleaning 10028 clauses out of 20126 with flag 4614000/4635408
1470.26/1465.81	c cleaning 10017 clauses out of 20102 with flag 4624004/4645412
1472.88/1468.42	c cleaning 10014 clauses out of 20082 with flag 4634001/4655409
1475.67/1471.20	c cleaning 10002 clauses out of 20067 with flag 4644000/4665408
1478.28/1473.80	c cleaning 10000 clauses out of 20065 with flag 4654000/4675408
1480.98/1476.56	c cleaning 9860 clauses out of 20066 with flag 4664001/4685409
1486.39/1481.99	c cleaning 9928 clauses out of 20207 with flag 4674002/4695410
1490.31/1485.86	c cleaning 9976 clauses out of 20280 with flag 4684003/4705411
1495.71/1491.29	c cleaning 9951 clauses out of 20303 with flag 4694002/4715410
1499.72/1495.28	c cleaning 10022 clauses out of 20351 with flag 4704001/4725409
1504.43/1499.98	c cleaning 10106 clauses out of 20329 with flag 4714001/4735409
1507.63/1503.18	c cleaning 10060 clauses out of 20224 with flag 4724002/4745410
1511.14/1506.65	c cleaning 10030 clauses out of 20163 with flag 4734001/4755409
1513.94/1509.40	c cleaning 10007 clauses out of 20132 with flag 4744000/4765408
1516.65/1512.16	c cleaning 9997 clauses out of 20128 with flag 4754003/4775411
1518.95/1514.44	c cleaning 10035 clauses out of 20130 with flag 4764002/4785410
1521.76/1517.20	c cleaning 10016 clauses out of 20094 with flag 4774001/4795409
1524.78/1520.28	c cleaning 10010 clauses out of 20078 with flag 4784001/4805409
1527.78/1523.24	c cleaning 10003 clauses out of 20067 with flag 4794000/4815408
1531.00/1526.46	c cleaning 9999 clauses out of 20064 with flag 4804000/4825408
1533.91/1529.30	c cleaning 10005 clauses out of 20069 with flag 4814004/4835412
1536.52/1531.97	c cleaning 9993 clauses out of 20061 with flag 4824001/4845409
1539.73/1535.10	c cleaning 9992 clauses out of 20068 with flag 4834001/4855409
1542.64/1538.08	c cleaning 9997 clauses out of 20076 with flag 4844001/4865409
1545.55/1540.99	c cleaning 10004 clauses out of 20079 with flag 4854001/4875409
1548.77/1544.13	c cleaning 10007 clauses out of 20075 with flag 4864001/4885409
1552.68/1548.09	c cleaning 10002 clauses out of 20069 with flag 4874002/4895410
1555.99/1551.32	c cleaning 10002 clauses out of 20065 with flag 4884000/4905408
1559.19/1554.51	c cleaning 9992 clauses out of 20066 with flag 4894003/4915411
1562.40/1557.77	c cleaning 10001 clauses out of 20075 with flag 4904004/4925412
1565.00/1560.38	c cleaning 9983 clauses out of 20070 with flag 4914000/4935408
1568.11/1563.48	c cleaning 10006 clauses out of 20089 with flag 4924002/4945410
1571.53/1566.87	c cleaning 9998 clauses out of 20081 with flag 4934000/4955408
1574.84/1570.16	c cleaning 10000 clauses out of 20083 with flag 4944000/4965408
1577.85/1573.16	c cleaning 9999 clauses out of 20084 with flag 4954001/4975409
1581.26/1576.51	c cleaning 10001 clauses out of 20085 with flag 4964001/4985409
1584.67/1579.97	c cleaning 9988 clauses out of 20085 with flag 4974002/4995410
1587.98/1583.26	c cleaning 9993 clauses out of 20097 with flag 4984002/5005410
1591.30/1586.51	c cleaning 9994 clauses out of 20102 with flag 4994000/5015408
1594.32/1589.57	c cleaning 9998 clauses out of 20108 with flag 5004000/5025408
1597.42/1592.68	c cleaning 9999 clauses out of 20110 with flag 5014000/5035408
1600.93/1596.13	c cleaning 10001 clauses out of 20112 with flag 5024001/5045409
1604.75/1599.99	c cleaning 10002 clauses out of 20111 with flag 5034001/5055409
1609.26/1604.41	c cleaning 10009 clauses out of 20108 with flag 5044000/5065408
1614.47/1609.63	c cleaning 9982 clauses out of 20100 with flag 5054001/5075409
1618.68/1613.89	c cleaning 9998 clauses out of 20117 with flag 5064000/5085408
1622.98/1618.18	c cleaning 10016 clauses out of 20119 with flag 5074000/5095408
1626.19/1621.35	c cleaning 9998 clauses out of 20106 with flag 5084003/5105411
1629.09/1624.21	c cleaning 10012 clauses out of 20105 with flag 5094000/5115408
1631.99/1627.18	c cleaning 10001 clauses out of 20097 with flag 5104004/5125412
1635.19/1630.39	c cleaning 10001 clauses out of 20092 with flag 5114000/5135408
1638.10/1633.30	c cleaning 10003 clauses out of 20091 with flag 5124000/5145408
1640.81/1635.91	c cleaning 9990 clauses out of 20088 with flag 5134000/5155408
1643.71/1638.82	c cleaning 9995 clauses out of 20100 with flag 5144002/5165410
1647.13/1642.23	c cleaning 9994 clauses out of 20104 with flag 5154001/5175409
1650.84/1645.90	c cleaning 10001 clauses out of 20109 with flag 5164000/5185408
1654.85/1649.99	c cleaning 10000 clauses out of 20108 with flag 5174000/5195408
1658.36/1653.47	c cleaning 10002 clauses out of 20109 with flag 5184001/5205409
1662.07/1657.15	c cleaning 9998 clauses out of 20106 with flag 5194000/5215408
1665.98/1661.04	c cleaning 9995 clauses out of 20113 with flag 5204005/5225413
1669.39/1664.42	c cleaning 9994 clauses out of 20114 with flag 5214001/5235409
1673.09/1668.14	c cleaning 10011 clauses out of 20131 with flag 5224012/5245420
1677.51/1672.52	c cleaning 9998 clauses out of 20111 with flag 5234003/5255411
1681.42/1676.49	c cleaning 10000 clauses out of 20112 with flag 5244002/5265410
1684.73/1679.78	c cleaning 9991 clauses out of 20112 with flag 5254002/5275410
1687.94/1682.98	c cleaning 9997 clauses out of 20119 with flag 5264000/5285408
1691.55/1686.52	c cleaning 10007 clauses out of 20122 with flag 5274000/5295408
1694.76/1689.77	c cleaning 10000 clauses out of 20115 with flag 5284000/5305408
1697.76/1692.79	c cleaning 9992 clauses out of 20118 with flag 5294003/5315411
1701.27/1696.21	c cleaning 10007 clauses out of 20127 with flag 5304004/5325412
1704.77/1699.79	c cleaning 10000 clauses out of 20116 with flag 5314000/5335408
1708.47/1703.40	c cleaning 10004 clauses out of 20118 with flag 5324002/5345410
1711.78/1706.70	c cleaning 9999 clauses out of 20116 with flag 5334004/5355412
1714.58/1709.57	c cleaning 9997 clauses out of 20114 with flag 5344001/5365409
1717.69/1712.65	c cleaning 10002 clauses out of 20118 with flag 5354002/5375410
1720.79/1715.72	c cleaning 9998 clauses out of 20116 with flag 5364002/5385410
1724.30/1719.23	c cleaning 10001 clauses out of 20116 with flag 5374000/5395408
1727.89/1722.83	c cleaning 10005 clauses out of 20121 with flag 5384006/5405414
1731.50/1726.40	c cleaning 10002 clauses out of 20111 with flag 5394001/5415409
1735.00/1729.93	c cleaning 9997 clauses out of 20110 with flag 5404002/5425410
1738.31/1733.28	c cleaning 10002 clauses out of 20115 with flag 5414004/5435412
1741.42/1736.38	c cleaning 9999 clauses out of 20109 with flag 5424000/5445408
1744.62/1739.53	c cleaning 9998 clauses out of 20110 with flag 5434000/5455408
1747.73/1742.65	c cleaning 9998 clauses out of 20113 with flag 5444001/5465409
1750.94/1745.85	c cleaning 10000 clauses out of 20115 with flag 5454001/5475409
1753.24/1748.16	c cleaning 10029 clauses out of 20114 with flag 5464000/5485408
1755.45/1750.38	c cleaning 10015 clauses out of 20086 with flag 5474001/5495409
1757.46/1752.37	c cleaning 10008 clauses out of 20070 with flag 5484000/5505408
1759.56/1754.48	c cleaning 10003 clauses out of 20062 with flag 5494000/5515408
1761.76/1756.61	c cleaning 10001 clauses out of 20060 with flag 5504001/5525409
1763.57/1758.42	c cleaning 10004 clauses out of 20058 with flag 5514000/5535408
1765.18/1760.03	c cleaning 9997 clauses out of 20057 with flag 5524003/5545411
1766.87/1761.72	c cleaning 10000 clauses out of 20057 with flag 5534000/5555408
1768.58/1763.44	c cleaning 9993 clauses out of 20058 with flag 5544001/5565409
1770.68/1765.51	c cleaning 10006 clauses out of 20066 with flag 5554002/5575410
1772.48/1767.35	c cleaning 10004 clauses out of 20061 with flag 5564003/5585411
1774.58/1769.45	c cleaning 9999 clauses out of 20054 with flag 5574000/5595408
1776.19/1771.06	c cleaning 10001 clauses out of 20056 with flag 5584001/5605409
1778.09/1772.92	c cleaning 10001 clauses out of 20055 with flag 5594001/5615409
1779.89/1774.73	c cleaning 9999 clauses out of 20053 with flag 5604000/5625408
1781.89/1776.73	c cleaning 9997 clauses out of 20054 with flag 5614000/5635408
1784.00/1778.84	c cleaning 10001 clauses out of 20058 with flag 5624001/5645409
1786.10/1780.92	c cleaning 9999 clauses out of 20057 with flag 5634001/5655409
1787.90/1782.73	c cleaning 9999 clauses out of 20058 with flag 5644001/5665409
1789.61/1784.47	c cleaning 10002 clauses out of 20059 with flag 5654001/5675409
1791.31/1786.16	c cleaning 10000 clauses out of 20057 with flag 5664001/5685409
1793.01/1787.85	c cleaning 9995 clauses out of 20056 with flag 5674000/5695408
1794.82/1789.62	c cleaning 9990 clauses out of 20061 with flag 5684000/5705408
1796.62/1791.40	c cleaning 10009 clauses out of 20071 with flag 5694000/5715408
1798.52/1793.30	c cleaning 9994 clauses out of 20063 with flag 5704001/5725409
1800.03/1794.81	c starts		: 287
1800.03/1794.81	c conflicts		: 5733796
1800.03/1794.81	c decisions		: 7991220
1800.03/1794.81	c propagations		: 210721071
1800.03/1794.81	c inspects		: 8232127317
1800.03/1794.81	c shortcuts		: 0
1800.03/1794.81	c learnt literals	: 0
1800.03/1794.81	c learnt binary clauses	: 0
1800.03/1794.81	c learnt ternary clauses	: 0
1800.03/1794.81	c learnt constraints	: 5733796
1800.03/1794.81	c ignored constraints	: 0
1800.03/1794.81	c root simplifications	: 0
1800.03/1794.81	c removed literals (reason simplification)	: 22770013
1800.03/1794.81	c reason swapping (by a shorter reason)	: 0
1800.03/1794.81	c Calls to reduceDB	: 575
1800.03/1794.81	c number of reductions to clauses (during analyze)	: 0
1800.03/1794.81	c number of learned constraints concerned by reduction	: 0
1800.03/1794.81	c number of learning phase by resolution	: 0
1800.03/1794.81	c number of learning phase by cutting planes	: 0
1800.03/1794.81	c speed (assignments/second)	: 117686.50996437366
1800.03/1794.81	c non guided choices	209444
1800.03/1794.82	c learnt constraints type 
1800.03/1794.82	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18485
1800.03/1794.82	c constraints type 
1800.03/1794.82	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 80
1800.03/1794.82	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
1800.03/1794.82	s SATISFIABLE
1800.03/1794.84	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 
1800.03/1794.84	c objective function=8
1800.03/1794.84	c Total wall clock time (in seconds): 1794.705

Verifier Data 

OK	8

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

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.00 1.93 2/195 19605
/proc/meminfo: memFree=2750700/32950928 swapFree=67052124/67111528
[pid=19605] ppid=19603 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/19605/stat : 19605 (java) R 19603 19605 14010 0 -1 4202496 955 0 0 0 0 0 0 0 25 0 1 0 902681624 23580672 697 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235589904273 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19605/statm: 5757 697 513 9 0 124 0

[startup+0.057939 s]
/proc/loadavg: 2.02 2.00 1.93 2/195 19605
/proc/meminfo: memFree=2750700/32950928 swapFree=67052124/67111528
[pid=19605] ppid=19603 vsize=10530960 CPUtime=0.02 cores=1,3,5,7
/proc/19605/stat : 19605 (java) S 19603 19605 14010 0 -1 4202496 10965 0 1 0 1 1 0 0 25 0 11 0 902681624 10783703040 10662 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/19605/statm: 2632740 10662 1601 9 0 2623488 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10530960

[startup+0.100931 s]
/proc/loadavg: 2.02 2.00 1.93 2/195 19605
/proc/meminfo: memFree=2750700/32950928 swapFree=67052124/67111528
[pid=19605] ppid=19603 vsize=10538624 CPUtime=0.06 cores=1,3,5,7
/proc/19605/stat : 19605 (java) S 19603 19605 14010 0 -1 4202496 11955 0 1 0 5 1 0 0 25 0 18 0 902681624 10791550976 11650 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19605/statm: 2634656 11650 1756 9 0 2625390 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538624

[startup+0.300899 s]
/proc/loadavg: 2.02 2.00 1.93 2/195 19605
/proc/meminfo: memFree=2750700/32950928 swapFree=67052124/67111528
[pid=19605] ppid=19603 vsize=10541540 CPUtime=0.45 cores=1,3,5,7
/proc/19605/stat : 19605 (java) S 19603 19605 14010 0 -1 4202496 15464 0 1 0 44 1 0 0 25 0 19 0 902681624 10794536960 14880 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19605/statm: 2635385 14880 2212 9 0 2626119 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541540

[startup+0.700887 s]
/proc/loadavg: 2.02 2.00 1.93 2/195 19605
/proc/meminfo: memFree=2750700/32950928 swapFree=67052124/67111528
[pid=19605] ppid=19603 vsize=10549220 CPUtime=1.34 cores=1,3,5,7
/proc/19605/stat : 19605 (java) S 19603 19605 14010 0 -1 4202496 21484 0 1 0 132 2 0 0 25 0 19 0 902681624 10802401280 18706 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19605/statm: 2637305 18706 2223 9 0 2628039 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 10549220

[startup+1.50068 s]
/proc/loadavg: 2.02 2.00 1.93 3/214 19624
/proc/meminfo: memFree=2681568/32950928 swapFree=67052124/67111528
[pid=19605] ppid=19603 vsize=10549220 CPUtime=2.15 cores=1,3,5,7
/proc/19605/stat : 19605 (java) S 19603 19605 14010 0 -1 4202496 23207 0 1 0 213 2 0 0 25 0 19 0 902681624 10802401280 20428 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19605/statm: 2637305 20428 2225 9 0 2628039 0
[pid=19605/tid=19607] ppid=19603 vsize=10549220 CPUtime=1.46 cores=1,3,5,7
/proc/19605/task/19607/stat : 19607 (java) R 19603 19605 14010 0 -1 4202560 15456 0 1 0 144 2 0 0 25 0 19 0 902681625 10802401280 20428 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 46912505626750 0 4 0 16800975 0 0 0 -1 5 0 0 2
[pid=19605/tid=19608] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19608/stat : 19608 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681629 10802401280 20428 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19609] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19609/stat : 19609 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681629 10802401280 20428 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19610] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19610/stat : 19610 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681629 10802401280 20428 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
[pid=19605/tid=19611] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19611/stat : 19611 (java) S 19603 19605 14010 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 902681629 10802401280 20428 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
[pid=19605/tid=19612] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19612/stat : 19612 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681629 10802401280 20428 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19613] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19613/stat : 19613 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681629 10802401280 20428 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19614] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19614/stat : 19614 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681629 10802401280 20428 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19615] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19615/stat : 19615 (java) S 19603 19605 14010 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 902681629 10802401280 20428 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19616] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19616/stat : 19616 (java) S 19603 19605 14010 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902681630 10802401280 20428 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 0 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19617] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19617/stat : 19617 (java) S 19603 19605 14010 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902681630 10802401280 20428 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19618] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19618/stat : 19618 (java) S 19603 19605 14010 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902681631 10802401280 20428 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19619] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19619/stat : 19619 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681633 10802401280 20428 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606690225 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19620] ppid=19603 vsize=10549220 CPUtime=0.3 cores=1,3,5,7
/proc/19605/task/19620/stat : 19620 (java) S 19603 19605 14010 0 -1 4202560 2216 0 0 0 30 0 0 0 25 0 19 0 902681633 10802401280 20428 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19621] ppid=19603 vsize=10549220 CPUtime=0.38 cores=1,3,5,7
/proc/19605/task/19621/stat : 19621 (java) S 19603 19605 14010 0 -1 4202560 4371 0 0 0 38 0 0 0 24 0 19 0 902681633 10802401280 20428 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19622] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19622/stat : 19622 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681633 10802401280 20428 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19623] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19623/stat : 19623 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902681633 10802401280 20428 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19624] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19624/stat : 19624 (java) S 19603 19605 14010 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902681652 10802401280 20428 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 10549220

[startup+3.1014 s]
/proc/loadavg: 2.02 2.00 1.93 3/214 19624
/proc/meminfo: memFree=2664332/32950928 swapFree=67052124/67111528
[pid=19605] ppid=19603 vsize=10549220 CPUtime=3.82 cores=1,3,5,7
/proc/19605/stat : 19605 (java) S 19603 19605 14010 0 -1 4202496 29323 0 1 0 378 4 0 0 25 0 19 0 902681624 10802401280 26529 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19605/statm: 2637305 26529 2251 9 0 2628039 0
[pid=19605/tid=19607] ppid=19603 vsize=10549220 CPUtime=3.02 cores=1,3,5,7
/proc/19605/task/19607/stat : 19607 (java) R 19603 19605 14010 0 -1 4202560 15693 0 1 0 300 2 0 0 25 0 19 0 902681625 10802401280 26529 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 46912505626750 0 4 0 16800975 0 0 0 -1 5 0 0 2
[pid=19605/tid=19608] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19608/stat : 19608 (java) S 19603 19605 14010 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 19 0 902681629 10802401280 26529 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19609] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19609/stat : 19609 (java) S 19603 19605 14010 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 902681629 10802401280 26529 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19610] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19610/stat : 19610 (java) S 19603 19605 14010 0 -1 4202560 915 0 0 0 0 0 0 0 15 0 19 0 902681629 10802401280 26529 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
[pid=19605/tid=19611] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19611/stat : 19611 (java) S 19603 19605 14010 0 -1 4202560 33 0 0 0 0 0 0 0 16 0 19 0 902681629 10802401280 26529 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
[pid=19605/tid=19612] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19612/stat : 19612 (java) S 19603 19605 14010 0 -1 4202560 367 0 0 0 0 0 0 0 18 0 19 0 902681629 10802401280 26529 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
[pid=19605/tid=19613] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19613/stat : 19613 (java) S 19603 19605 14010 0 -1 4202560 745 0 0 0 0 0 0 0 15 0 19 0 902681629 10802401280 26529 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19614] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19614/stat : 19614 (java) S 19603 19605 14010 0 -1 4202560 412 0 0 0 0 0 0 0 18 0 19 0 902681629 10802401280 26529 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19615] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19615/stat : 19615 (java) S 19603 19605 14010 0 -1 4202560 858 0 0 0 0 0 0 0 15 0 19 0 902681629 10802401280 26529 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19616] ppid=19603 vsize=10549220 CPUtime=0.02 cores=1,3,5,7
/proc/19605/task/19616/stat : 19616 (java) S 19603 19605 14010 0 -1 4202560 2349 0 0 0 2 0 0 0 16 0 19 0 902681630 10802401280 26529 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 0 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19617] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19617/stat : 19617 (java) S 19603 19605 14010 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902681630 10802401280 26529 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19618] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19618/stat : 19618 (java) S 19603 19605 14010 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902681631 10802401280 26529 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19619] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19619/stat : 19619 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681633 10802401280 26529 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606690225 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19620] ppid=19603 vsize=10549220 CPUtime=0.33 cores=1,3,5,7
/proc/19605/task/19620/stat : 19620 (java) S 19603 19605 14010 0 -1 4202560 2223 0 0 0 33 0 0 0 15 0 19 0 902681633 10802401280 26529 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19621] ppid=19603 vsize=10549220 CPUtime=0.4 cores=1,3,5,7
/proc/19605/task/19621/stat : 19621 (java) S 19603 19605 14010 0 -1 4202560 4378 0 0 0 40 0 0 0 16 0 19 0 902681633 10802401280 26529 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19622] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19622/stat : 19622 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681633 10802401280 26529 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19623] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19623/stat : 19623 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902681633 10802401280 26529 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19624] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19624/stat : 19624 (java) S 19603 19605 14010 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902681652 10802401280 26529 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 10549220

[startup+6.30084 s]
/proc/loadavg: 2.02 2.00 1.93 3/214 19624
/proc/meminfo: memFree=2648288/32950928 swapFree=67052124/67111528
[pid=19605] ppid=19603 vsize=10549220 CPUtime=7.13 cores=1,3,5,7
/proc/19605/stat : 19605 (java) S 19603 19605 14010 0 -1 4202496 31240 0 1 0 709 4 0 0 25 0 19 0 902681624 10802401280 27476 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19605/statm: 2637305 27476 2251 9 0 2628039 0
[pid=19605/tid=19607] ppid=19603 vsize=10549220 CPUtime=6.18 cores=1,3,5,7
/proc/19605/task/19607/stat : 19607 (java) R 19603 19605 14010 0 -1 4202560 15696 0 1 0 616 2 0 0 25 0 19 0 902681625 10802401280 27476 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 46912505695108 0 4 0 16800975 0 0 0 -1 5 0 0 2
[pid=19605/tid=19608] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19608/stat : 19608 (java) S 19603 19605 14010 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 19 0 902681629 10802401280 27476 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19609] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19609/stat : 19609 (java) S 19603 19605 14010 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 19 0 902681629 10802401280 27476 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19610] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19610/stat : 19610 (java) S 19603 19605 14010 0 -1 4202560 916 0 0 0 0 0 0 0 16 0 19 0 902681629 10802401280 27476 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19611] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19611/stat : 19611 (java) S 19603 19605 14010 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 19 0 902681629 10802401280 27476 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
[pid=19605/tid=19612] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19612/stat : 19612 (java) S 19603 19605 14010 0 -1 4202560 368 0 0 0 0 0 0 0 18 0 19 0 902681629 10802401280 27476 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19613] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19613/stat : 19613 (java) S 19603 19605 14010 0 -1 4202560 745 0 0 0 0 0 0 0 16 0 19 0 902681629 10802401280 27476 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19614] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19614/stat : 19614 (java) S 19603 19605 14010 0 -1 4202560 413 0 0 0 0 0 0 0 15 0 19 0 902681629 10802401280 27476 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19615] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19615/stat : 19615 (java) S 19603 19605 14010 0 -1 4202560 858 0 0 0 0 0 0 0 15 0 19 0 902681629 10802401280 27476 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19616] ppid=19603 vsize=10549220 CPUtime=0.06 cores=1,3,5,7
/proc/19605/task/19616/stat : 19616 (java) S 19603 19605 14010 0 -1 4202560 2848 0 0 0 6 0 0 0 15 0 19 0 902681630 10802401280 27476 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 0 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19617] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19617/stat : 19617 (java) S 19603 19605 14010 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902681630 10802401280 27476 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19618] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19618/stat : 19618 (java) S 19603 19605 14010 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902681631 10802401280 27476 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19619] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19619/stat : 19619 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681633 10802401280 27476 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606690225 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19620] ppid=19603 vsize=10549220 CPUtime=0.43 cores=1,3,5,7
/proc/19605/task/19620/stat : 19620 (java) S 19603 19605 14010 0 -1 4202560 3622 0 0 0 43 0 0 0 15 0 19 0 902681633 10802401280 27476 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19621] ppid=19603 vsize=10549220 CPUtime=0.41 cores=1,3,5,7
/proc/19605/task/19621/stat : 19621 (java) S 19603 19605 14010 0 -1 4202560 4380 0 0 0 41 0 0 0 15 0 19 0 902681633 10802401280 27476 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19622] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19622/stat : 19622 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681633 10802401280 27476 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19623] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19623/stat : 19623 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902681633 10802401280 27476 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19624] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19624/stat : 19624 (java) S 19603 19605 14010 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902681652 10802401280 27476 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 10549220

[startup+12.7007 s]

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

[pid=19605/tid=19613] ppid=19603 vsize=10549220 CPUtime=0.73 cores=1,3,5,7
/proc/19605/task/19613/stat : 19613 (java) S 19603 19605 14010 0 -1 4202560 2580 0 0 0 72 1 0 0 15 0 19 0 902681629 10802401280 60512 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
[pid=19605/tid=19614] ppid=19603 vsize=10549220 CPUtime=0.79 cores=1,3,5,7
/proc/19605/task/19614/stat : 19614 (java) S 19603 19605 14010 0 -1 4202560 2179 0 0 0 78 1 0 0 16 0 19 0 902681629 10802401280 60512 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
[pid=19605/tid=19615] ppid=19603 vsize=10549220 CPUtime=0.79 cores=1,3,5,7
/proc/19605/task/19615/stat : 19615 (java) S 19603 19605 14010 0 -1 4202560 2349 0 0 0 79 0 0 0 15 0 19 0 902681629 10802401280 60512 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19616] ppid=19603 vsize=10549220 CPUtime=20.68 cores=1,3,5,7
/proc/19605/task/19616/stat : 19616 (java) S 19603 19605 14010 0 -1 4202560 20158 0 0 0 2061 7 0 0 15 0 19 0 902681630 10802401280 60512 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 0 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19617] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19617/stat : 19617 (java) S 19603 19605 14010 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902681630 10802401280 60512 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19618] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19618/stat : 19618 (java) S 19603 19605 14010 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902681631 10802401280 60512 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19619] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19619/stat : 19619 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681633 10802401280 60512 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606690225 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19620] ppid=19603 vsize=10549220 CPUtime=0.45 cores=1,3,5,7
/proc/19605/task/19620/stat : 19620 (java) S 19603 19605 14010 0 -1 4202560 3627 0 0 0 45 0 0 0 15 0 19 0 902681633 10802401280 60512 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19621] ppid=19603 vsize=10549220 CPUtime=0.41 cores=1,3,5,7
/proc/19605/task/19621/stat : 19621 (java) S 19603 19605 14010 0 -1 4202560 4380 0 0 0 41 0 0 0 15 0 19 0 902681633 10802401280 60512 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19622] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19622/stat : 19622 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681633 10802401280 60512 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19623] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19623/stat : 19623 (java) S 19603 19605 14010 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 902681633 10802401280 60512 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
[pid=19605/tid=19624] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19624/stat : 19624 (java) S 19603 19605 14010 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902681652 10802401280 60512 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1667.29
Current children cumulated vsize (KiB) 10549220

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 19793
/proc/meminfo: memFree=3059456/32950928 swapFree=67052124/67111528
[pid=19605] ppid=19603 vsize=10549220 CPUtime=1727.39 cores=1,3,5,7
/proc/19605/stat : 19605 (java) S 19603 19605 14010 0 -1 4202496 65036 0 1 0 172718 21 0 0 25 0 19 0 902681624 10802401280 60532 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19605/statm: 2637305 60532 2252 9 0 2628039 0
[pid=19605/tid=19607] ppid=19603 vsize=10549220 CPUtime=1698.64 cores=1,3,5,7
/proc/19605/task/19607/stat : 19607 (java) R 19603 19605 14010 0 -1 4202560 20746 0 1 0 169860 4 0 0 25 0 19 0 902681625 10802401280 60532 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 46912505543870 0 4 0 16800975 0 0 0 -1 3 0 0 2
[pid=19605/tid=19608] ppid=19603 vsize=10549220 CPUtime=0.81 cores=1,3,5,7
/proc/19605/task/19608/stat : 19608 (java) S 19603 19605 14010 0 -1 4202560 1892 0 0 0 81 0 0 0 16 0 19 0 902681629 10802401280 60532 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19609] ppid=19603 vsize=10549220 CPUtime=0.81 cores=1,3,5,7
/proc/19605/task/19609/stat : 19609 (java) S 19603 19605 14010 0 -1 4202560 1664 0 0 0 80 1 0 0 15 0 19 0 902681629 10802401280 60532 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
[pid=19605/tid=19610] ppid=19603 vsize=10549220 CPUtime=0.77 cores=1,3,5,7
/proc/19605/task/19610/stat : 19610 (java) S 19603 19605 14010 0 -1 4202560 2182 0 0 0 76 1 0 0 16 0 19 0 902681629 10802401280 60532 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
[pid=19605/tid=19611] ppid=19603 vsize=10549220 CPUtime=0.78 cores=1,3,5,7
/proc/19605/task/19611/stat : 19611 (java) S 19603 19605 14010 0 -1 4202560 1052 0 0 0 78 0 0 0 15 0 19 0 902681629 10802401280 60532 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19612] ppid=19603 vsize=10549220 CPUtime=0.77 cores=1,3,5,7
/proc/19605/task/19612/stat : 19612 (java) S 19603 19605 14010 0 -1 4202560 964 0 0 0 76 1 0 0 16 0 19 0 902681629 10802401280 60532 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19613] ppid=19603 vsize=10549220 CPUtime=0.76 cores=1,3,5,7
/proc/19605/task/19613/stat : 19613 (java) S 19603 19605 14010 0 -1 4202560 2580 0 0 0 75 1 0 0 15 0 19 0 902681629 10802401280 60532 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19614] ppid=19603 vsize=10549220 CPUtime=0.81 cores=1,3,5,7
/proc/19605/task/19614/stat : 19614 (java) S 19603 19605 14010 0 -1 4202560 2188 0 0 0 80 1 0 0 16 0 19 0 902681629 10802401280 60532 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19615] ppid=19603 vsize=10549220 CPUtime=0.81 cores=1,3,5,7
/proc/19605/task/19615/stat : 19615 (java) S 19603 19605 14010 0 -1 4202560 2349 0 0 0 81 0 0 0 15 0 19 0 902681629 10802401280 60532 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
[pid=19605/tid=19616] ppid=19603 vsize=10549220 CPUtime=21.47 cores=1,3,5,7
/proc/19605/task/19616/stat : 19616 (java) S 19603 19605 14010 0 -1 4202560 20160 0 0 0 2140 7 0 0 15 0 19 0 902681630 10802401280 60532 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 0 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19617] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19617/stat : 19617 (java) S 19603 19605 14010 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902681630 10802401280 60532 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19618] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19618/stat : 19618 (java) S 19603 19605 14010 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902681631 10802401280 60532 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19619] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19619/stat : 19619 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681633 10802401280 60532 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606690225 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19620] ppid=19603 vsize=10549220 CPUtime=0.45 cores=1,3,5,7
/proc/19605/task/19620/stat : 19620 (java) S 19603 19605 14010 0 -1 4202560 3627 0 0 0 45 0 0 0 15 0 19 0 902681633 10802401280 60532 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19621] ppid=19603 vsize=10549220 CPUtime=0.41 cores=1,3,5,7
/proc/19605/task/19621/stat : 19621 (java) S 19603 19605 14010 0 -1 4202560 4380 0 0 0 41 0 0 0 15 0 19 0 902681633 10802401280 60532 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19622] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19622/stat : 19622 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681633 10802401280 60532 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19623] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19623/stat : 19623 (java) S 19603 19605 14010 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 902681633 10802401280 60532 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19624] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19624/stat : 19624 (java) S 19603 19605 14010 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902681652 10802401280 60532 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1727.39
Current children cumulated vsize (KiB) 10549220

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 19795
/proc/meminfo: memFree=3059140/32950928 swapFree=67052124/67111528
[pid=19605] ppid=19603 vsize=10549220 CPUtime=1787.5 cores=1,3,5,7
/proc/19605/stat : 19605 (java) S 19603 19605 14010 0 -1 4202496 65134 0 1 0 178729 21 0 0 25 0 19 0 902681624 10802401280 60598 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19605/statm: 2637305 60598 2252 9 0 2628039 0
[pid=19605/tid=19607] ppid=19603 vsize=10549220 CPUtime=1757.33 cores=1,3,5,7
/proc/19605/task/19607/stat : 19607 (java) R 19603 19605 14010 0 -1 4202560 20772 0 1 0 175729 4 0 0 25 0 19 0 902681625 10802401280 60598 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 46912505731088 0 4 0 16800975 0 0 0 -1 3 0 0 2
[pid=19605/tid=19608] ppid=19603 vsize=10549220 CPUtime=0.83 cores=1,3,5,7
/proc/19605/task/19608/stat : 19608 (java) S 19603 19605 14010 0 -1 4202560 1906 0 0 0 83 0 0 0 16 0 19 0 902681629 10802401280 60598 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19609] ppid=19603 vsize=10549220 CPUtime=0.85 cores=1,3,5,7
/proc/19605/task/19609/stat : 19609 (java) S 19603 19605 14010 0 -1 4202560 1677 0 0 0 84 1 0 0 15 0 19 0 902681629 10802401280 60598 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19610] ppid=19603 vsize=10549220 CPUtime=0.8 cores=1,3,5,7
/proc/19605/task/19610/stat : 19610 (java) S 19603 19605 14010 0 -1 4202560 2196 0 0 0 79 1 0 0 15 0 19 0 902681629 10802401280 60598 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19611] ppid=19603 vsize=10549220 CPUtime=0.8 cores=1,3,5,7
/proc/19605/task/19611/stat : 19611 (java) S 19603 19605 14010 0 -1 4202560 1052 0 0 0 80 0 0 0 15 0 19 0 902681629 10802401280 60598 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
[pid=19605/tid=19612] ppid=19603 vsize=10549220 CPUtime=0.81 cores=1,3,5,7
/proc/19605/task/19612/stat : 19612 (java) S 19603 19605 14010 0 -1 4202560 974 0 0 0 80 1 0 0 16 0 19 0 902681629 10802401280 60598 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
[pid=19605/tid=19613] ppid=19603 vsize=10549220 CPUtime=0.77 cores=1,3,5,7
/proc/19605/task/19613/stat : 19613 (java) S 19603 19605 14010 0 -1 4202560 2586 0 0 0 76 1 0 0 15 0 19 0 902681629 10802401280 60598 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19614] ppid=19603 vsize=10549220 CPUtime=0.83 cores=1,3,5,7
/proc/19605/task/19614/stat : 19614 (java) S 19603 19605 14010 0 -1 4202560 2188 0 0 0 82 1 0 0 15 0 19 0 902681629 10802401280 60598 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
[pid=19605/tid=19615] ppid=19603 vsize=10549220 CPUtime=0.82 cores=1,3,5,7
/proc/19605/task/19615/stat : 19615 (java) S 19603 19605 14010 0 -1 4202560 2358 0 0 0 82 0 0 0 15 0 19 0 902681629 10802401280 60598 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
[pid=19605/tid=19616] ppid=19603 vsize=10549220 CPUtime=22.7 cores=1,3,5,7
/proc/19605/task/19616/stat : 19616 (java) S 19603 19605 14010 0 -1 4202560 20164 0 0 0 2263 7 0 0 15 0 19 0 902681630 10802401280 60598 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 0 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19617] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19617/stat : 19617 (java) S 19603 19605 14010 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902681630 10802401280 60598 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19618] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19618/stat : 19618 (java) S 19603 19605 14010 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902681631 10802401280 60598 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19619] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19619/stat : 19619 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681633 10802401280 60598 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606690225 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19620] ppid=19603 vsize=10549220 CPUtime=0.45 cores=1,3,5,7
/proc/19605/task/19620/stat : 19620 (java) S 19603 19605 14010 0 -1 4202560 3627 0 0 0 45 0 0 0 15 0 19 0 902681633 10802401280 60598 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19621] ppid=19603 vsize=10549220 CPUtime=0.41 cores=1,3,5,7
/proc/19605/task/19621/stat : 19621 (java) S 19603 19605 14010 0 -1 4202560 4380 0 0 0 41 0 0 0 15 0 19 0 902681633 10802401280 60598 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19622] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19622/stat : 19622 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681633 10802401280 60598 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19623] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19623/stat : 19623 (java) S 19603 19605 14010 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902681633 10802401280 60598 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19624] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19624/stat : 19624 (java) S 19603 19605 14010 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902681652 10802401280 60598 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1787.5
Current children cumulated vsize (KiB) 10549220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.8 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 19795
/proc/meminfo: memFree=3059008/32950928 swapFree=67052124/67111528
[pid=19605] ppid=19603 vsize=10549220 CPUtime=1800.03 cores=1,3,5,7
/proc/19605/stat : 19605 (java) S 19603 19605 14010 0 -1 4202496 65147 0 1 0 179982 21 0 0 25 0 19 0 902681624 10802401280 60600 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19605/statm: 2637305 60600 2252 9 0 2628039 0
[pid=19605/tid=19607] ppid=19603 vsize=10549220 CPUtime=1769.5 cores=1,3,5,7
/proc/19605/task/19607/stat : 19607 (java) R 19603 19605 14010 0 -1 4202560 20779 0 1 0 176946 4 0 0 25 0 19 0 902681625 10802401280 60600 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 46912505609632 0 4 0 16800975 0 0 0 -1 3 0 0 2
[pid=19605/tid=19608] ppid=19603 vsize=10549220 CPUtime=0.84 cores=1,3,5,7
/proc/19605/task/19608/stat : 19608 (java) S 19603 19605 14010 0 -1 4202560 1906 0 0 0 84 0 0 0 16 0 19 0 902681629 10802401280 60600 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19609] ppid=19603 vsize=10549220 CPUtime=0.85 cores=1,3,5,7
/proc/19605/task/19609/stat : 19609 (java) S 19603 19605 14010 0 -1 4202560 1678 0 0 0 84 1 0 0 15 0 19 0 902681629 10802401280 60600 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
[pid=19605/tid=19610] ppid=19603 vsize=10549220 CPUtime=0.8 cores=1,3,5,7
/proc/19605/task/19610/stat : 19610 (java) S 19603 19605 14010 0 -1 4202560 2196 0 0 0 79 1 0 0 15 0 19 0 902681629 10802401280 60600 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19611] ppid=19603 vsize=10549220 CPUtime=0.8 cores=1,3,5,7
/proc/19605/task/19611/stat : 19611 (java) S 19603 19605 14010 0 -1 4202560 1052 0 0 0 80 0 0 0 15 0 19 0 902681629 10802401280 60600 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19612] ppid=19603 vsize=10549220 CPUtime=0.81 cores=1,3,5,7
/proc/19605/task/19612/stat : 19612 (java) S 19603 19605 14010 0 -1 4202560 974 0 0 0 80 1 0 0 16 0 19 0 902681629 10802401280 60600 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19613] ppid=19603 vsize=10549220 CPUtime=0.78 cores=1,3,5,7
/proc/19605/task/19613/stat : 19613 (java) S 19603 19605 14010 0 -1 4202560 2586 0 0 0 77 1 0 0 15 0 19 0 902681629 10802401280 60600 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19614] ppid=19603 vsize=10549220 CPUtime=0.84 cores=1,3,5,7
/proc/19605/task/19614/stat : 19614 (java) S 19603 19605 14010 0 -1 4202560 2189 0 0 0 83 1 0 0 16 0 19 0 902681629 10802401280 60600 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
[pid=19605/tid=19615] ppid=19603 vsize=10549220 CPUtime=0.83 cores=1,3,5,7
/proc/19605/task/19615/stat : 19615 (java) S 19603 19605 14010 0 -1 4202560 2358 0 0 0 83 0 0 0 15 0 19 0 902681629 10802401280 60600 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19616] ppid=19603 vsize=10549220 CPUtime=23.02 cores=1,3,5,7
/proc/19605/task/19616/stat : 19616 (java) S 19603 19605 14010 0 -1 4202560 20166 0 0 0 2295 7 0 0 15 0 19 0 902681630 10802401280 60600 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 0 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19617] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19617/stat : 19617 (java) S 19603 19605 14010 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902681630 10802401280 60600 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19618] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19618/stat : 19618 (java) S 19603 19605 14010 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902681631 10802401280 60600 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19619] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19619/stat : 19619 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681633 10802401280 60600 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606690225 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19620] ppid=19603 vsize=10549220 CPUtime=0.45 cores=1,3,5,7
/proc/19605/task/19620/stat : 19620 (java) S 19603 19605 14010 0 -1 4202560 3627 0 0 0 45 0 0 0 15 0 19 0 902681633 10802401280 60600 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19621] ppid=19603 vsize=10549220 CPUtime=0.41 cores=1,3,5,7
/proc/19605/task/19621/stat : 19621 (java) S 19603 19605 14010 0 -1 4202560 4380 0 0 0 41 0 0 0 15 0 19 0 902681633 10802401280 60600 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 7 0 0 0
[pid=19605/tid=19622] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19622/stat : 19622 (java) S 19603 19605 14010 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681633 10802401280 60600 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606682521 0 4 0 16800975 18446604471137884928 0 0 -1 5 0 0 0
[pid=19605/tid=19623] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19623/stat : 19623 (java) S 19603 19605 14010 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902681633 10802401280 60600 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 4 0 16800975 18446604471137884928 0 0 -1 1 0 0 0
[pid=19605/tid=19624] ppid=19603 vsize=10549220 CPUtime=0 cores=1,3,5,7
/proc/19605/task/19624/stat : 19624 (java) S 19603 19605 14010 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902681652 10802401280 60600 33554432000 1073741824 1073778376 140735865029024 18446744073709551615 235606683136 0 4 0 16800975 18446604471137884928 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10549220

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): 1794.87
CPU time (s): 1800.14
CPU user time (s): 1799.92
CPU system time (s): 0.225965
CPU usage (%): 100.294
Max. virtual memory (cumulated for all children) (KiB): 10549220

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

runsolver used 3.04754 second user time and 6.79197 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-12 22:33:49
IDJOB=3492497
IDBENCH=79150
IDSOLVER=1982
FILE ID=node120/3492497-1307910829
RUNJOBID= node120-1307908961-19332
PBS_JOBID= 13559586
Free space on /var/tmp= 2888 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr--soft-0-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-3492497-1307910829/watcher-3492497-1307910829 -o /var/tmp/evaluation-result-3492497-1307910829/solver-3492497-1307910829 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492497-1307910829.wbo

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

MD5SUM BENCH= 72248c5a2862af1e3cf852420a7ca986
RANDOM SEED=255081590

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       2751352 kB
Buffers:         65068 kB
Cached:       28583680 kB
SwapCached:      11644 kB
Active:       14413152 kB
Inactive:     14882488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       2751352 kB
SwapTotal:    67111528 kB
SwapFree:     67052124 kB
Dirty:             340 kB
Writeback:           0 kB
AnonPages:      644424 kB
Mapped:          17484 kB
Slab:           839972 kB
PageTables:       6060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10551648 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 node120 at 2011-06-12 23:03:45