Trace number 3492515

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.21 1795.17

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM4abf964a0a4662f4172f30dfa55a3bc2
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark0.970851
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4000
Total number of constraints180
Number of soft constraints180
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
Top cost 9197
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 9196
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.07/0.09	c version 2.3.1.v20110525
0.07/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.09	c java.vm.version	19.1-b02
0.07/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.09	c sun.arch.data.model	64
0.07/0.09	c java.version		1.6.0_24
0.07/0.09	c os.name		Linux
0.07/0.09	c os.version		2.6.18-164.el5
0.07/0.09	c os.arch		amd64
0.07/0.09	c Free memory 		9996466904
0.07/0.09	c Max memory 		10048897024
0.07/0.09	c Total memory 		10048897024
0.07/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492515-1307910839.wbo
0.10/0.11	c reading problem ... 
0.28/0.26	c ... done. Wall clock time 0.154s.
0.28/0.26	c #vars     4180
0.28/0.26	c #constraints  180
0.28/0.26	c constraints type 
0.28/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.28/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 80
1.14/0.52	c SATISFIABLE
1.14/0.52	c OPTIMIZING...
1.14/0.52	c Got one! Elapsed wall clock time (in seconds):0.409
1.14/0.52	o 152
1.33/0.62	c Got one! Elapsed wall clock time (in seconds):0.506
1.33/0.62	o 126
1.33/0.68	c Got one! Elapsed wall clock time (in seconds):0.569
1.33/0.68	o 115
1.44/0.73	c Got one! Elapsed wall clock time (in seconds):0.616
1.44/0.73	o 91
1.56/0.89	c Got one! Elapsed wall clock time (in seconds):0.786
1.56/0.89	o 88
1.67/0.99	c Got one! Elapsed wall clock time (in seconds):0.879
1.67/0.99	o 55
2.08/1.35	c Got one! Elapsed wall clock time (in seconds):1.244
2.08/1.35	o 53
2.48/1.71	c Got one! Elapsed wall clock time (in seconds):1.605
2.48/1.71	o 37
3.07/2.32	c Got one! Elapsed wall clock time (in seconds):2.208
3.07/2.32	o 8
3.38/2.65	c cleaning 4917 clauses out of 9837 with flag 1002/9837
3.64/2.87	c Got one! Elapsed wall clock time (in seconds):2.757
3.64/2.87	o 7
5.07/4.28	c Got one! Elapsed wall clock time (in seconds):4.17
5.07/4.28	o 6
5.47/4.67	c cleaning 5068 clauses out of 10181 with flag 1002/15098
7.88/7.02	c cleaning 5527 clauses out of 11111 with flag 7000/21096
10.26/9.37	c cleaning 6260 clauses out of 12587 with flag 14003/28099
13.27/12.30	c cleaning 7129 clauses out of 14324 with flag 22000/36096
17.18/16.27	c cleaning 8080 clauses out of 16199 with flag 31004/45100
21.58/20.62	c cleaning 9051 clauses out of 18115 with flag 41000/55096
26.31/25.39	c cleaning 9519 clauses out of 19064 with flag 51000/65096
31.91/30.91	c cleaning 9749 clauses out of 19545 with flag 61000/75096
35.52/34.57	c cleaning 9894 clauses out of 19796 with flag 71000/85096
39.13/38.11	c cleaning 9930 clauses out of 19903 with flag 81001/95097
44.43/43.49	c cleaning 9960 clauses out of 19972 with flag 91000/105096
50.25/49.23	c cleaning 9977 clauses out of 20013 with flag 101001/115097
54.96/53.97	c cleaning 9991 clauses out of 20037 with flag 111002/125098
60.07/59.04	c cleaning 9995 clauses out of 20044 with flag 121000/135096
65.08/64.02	c cleaning 9990 clauses out of 20049 with flag 131000/145096
69.78/68.78	c cleaning 9995 clauses out of 20059 with flag 141000/155096
76.39/75.34	c cleaning 9999 clauses out of 20068 with flag 151004/165100
81.70/80.62	c cleaning 10005 clauses out of 20065 with flag 161000/175096
85.41/84.38	c cleaning 9999 clauses out of 20061 with flag 171001/185097
91.23/90.20	c cleaning 9999 clauses out of 20062 with flag 181001/195097
96.84/95.71	c cleaning 10005 clauses out of 20065 with flag 191003/205099
102.64/101.57	c cleaning 9995 clauses out of 20059 with flag 201002/215098
108.35/107.29	c cleaning 9999 clauses out of 20063 with flag 211001/225097
111.96/110.81	c cleaning 10003 clauses out of 20063 with flag 221000/235096
115.47/114.37	c cleaning 10010 clauses out of 20060 with flag 231000/245096
118.38/117.29	c cleaning 10005 clauses out of 20052 with flag 241002/255098
122.10/120.97	c cleaning 10004 clauses out of 20045 with flag 251000/265096
127.50/126.37	c cleaning 9998 clauses out of 20046 with flag 261005/275101
133.91/132.76	c cleaning 10000 clauses out of 20043 with flag 271000/285096
139.82/138.64	c cleaning 10003 clauses out of 20045 with flag 281002/295098
144.62/143.49	c cleaning 10004 clauses out of 20041 with flag 291001/305097
150.03/148.81	c cleaning 9995 clauses out of 20036 with flag 301000/315096
153.35/152.12	c cleaning 9983 clauses out of 20041 with flag 311000/325096
158.46/157.28	c cleaning 10007 clauses out of 20060 with flag 321002/335098
163.37/162.17	c cleaning 10001 clauses out of 20053 with flag 331002/345098
165.68/164.44	c cleaning 9958 clauses out of 20052 with flag 341002/355098
168.39/167.14	c cleaning 9978 clauses out of 20092 with flag 351000/365096
171.10/169.88	c cleaning 9991 clauses out of 20116 with flag 361002/375098
173.60/172.39	c cleaning 9997 clauses out of 20125 with flag 371002/385098
176.22/174.92	c cleaning 10029 clauses out of 20127 with flag 381001/395097
180.53/179.29	c cleaning 10019 clauses out of 20098 with flag 391001/405097
186.14/184.84	c cleaning 10016 clauses out of 20078 with flag 401000/415096
191.65/190.33	c cleaning 10004 clauses out of 20066 with flag 411004/425100
196.26/194.94	c cleaning 9988 clauses out of 20060 with flag 421002/435098
201.16/199.88	c cleaning 10003 clauses out of 20070 with flag 431000/445096
206.37/205.09	c cleaning 10014 clauses out of 20067 with flag 441000/455096
213.97/212.63	c cleaning 10008 clauses out of 20053 with flag 451000/465096
222.78/221.42	c cleaning 10005 clauses out of 20047 with flag 461002/475098
227.71/226.36	c cleaning 10003 clauses out of 20040 with flag 471000/485096
231.81/230.44	c cleaning 9992 clauses out of 20039 with flag 481002/495098
235.74/234.32	c cleaning 9988 clauses out of 20046 with flag 491001/505097
239.34/237.96	c cleaning 10006 clauses out of 20059 with flag 501002/515098
242.85/241.47	c cleaning 9988 clauses out of 20055 with flag 511004/525100
248.16/246.76	c cleaning 9991 clauses out of 20063 with flag 521000/535096
254.47/253.05	c cleaning 9997 clauses out of 20074 with flag 531002/545098
261.47/260.05	c cleaning 9994 clauses out of 20075 with flag 541000/555096
269.18/267.77	c cleaning 9998 clauses out of 20081 with flag 551000/565096
277.39/275.91	c cleaning 10000 clauses out of 20083 with flag 561000/575096
285.02/283.54	c cleaning 10002 clauses out of 20083 with flag 571000/585096
290.02/288.58	c cleaning 9985 clauses out of 20082 with flag 581001/595097
296.13/294.64	c cleaning 10042 clauses out of 20097 with flag 591001/605097
298.65/297.15	c cleaning 10012 clauses out of 20055 with flag 601001/615097
304.66/303.11	c cleaning 10001 clauses out of 20043 with flag 611001/625097
309.76/308.29	c cleaning 9997 clauses out of 20041 with flag 621000/635096
314.98/313.42	c cleaning 9989 clauses out of 20045 with flag 631001/645097
320.08/318.59	c cleaning 9993 clauses out of 20055 with flag 641000/655096
326.00/324.45	c cleaning 9996 clauses out of 20062 with flag 651000/665096
331.61/330.06	c cleaning 9999 clauses out of 20067 with flag 661001/675097
334.51/332.90	c cleaning 10027 clauses out of 20068 with flag 671001/685097
337.21/335.63	c cleaning 10012 clauses out of 20041 with flag 681001/695097
340.02/338.49	c cleaning 10007 clauses out of 20029 with flag 691001/705097
342.82/341.23	c cleaning 10002 clauses out of 20023 with flag 701002/715098
346.43/344.89	c cleaning 9989 clauses out of 20021 with flag 711002/725098
349.94/348.38	c cleaning 9981 clauses out of 20030 with flag 721000/735096
354.05/352.45	c cleaning 10001 clauses out of 20053 with flag 731004/745100
357.56/355.91	c cleaning 10000 clauses out of 20048 with flag 741000/755096
361.78/360.15	c cleaning 10000 clauses out of 20050 with flag 751002/765098
365.59/363.92	c cleaning 10004 clauses out of 20049 with flag 761001/775097
369.30/367.68	c cleaning 9990 clauses out of 20044 with flag 771000/785096
374.21/372.53	c cleaning 9969 clauses out of 20054 with flag 781000/795096
379.92/378.30	c cleaning 9955 clauses out of 20086 with flag 791001/805097
387.03/385.31	c cleaning 9974 clauses out of 20130 with flag 801000/815096
393.35/391.69	c cleaning 9990 clauses out of 20156 with flag 811000/825096
399.25/397.52	c cleaning 9993 clauses out of 20169 with flag 821003/835099
404.86/403.14	c cleaning 9991 clauses out of 20174 with flag 831001/845097
410.07/408.32	c cleaning 9998 clauses out of 20182 with flag 841000/855096
414.47/412.74	c cleaning 10000 clauses out of 20187 with flag 851003/865099
418.98/417.20	c cleaning 9999 clauses out of 20185 with flag 861001/875097
423.28/421.58	c cleaning 10064 clauses out of 20185 with flag 871000/885096
428.00/426.25	c cleaning 10025 clauses out of 20123 with flag 881002/895098
433.81/432.07	c cleaning 10013 clauses out of 20097 with flag 891001/905097
438.93/437.19	c cleaning 10018 clauses out of 20084 with flag 901001/915097
443.63/441.85	c cleaning 10009 clauses out of 20066 with flag 911001/925097
447.85/446.03	c cleaning 10002 clauses out of 20057 with flag 921001/935097
451.36/449.55	c cleaning 10006 clauses out of 20054 with flag 931000/945096
455.46/453.68	c cleaning 10000 clauses out of 20048 with flag 941000/955096
459.88/458.03	c cleaning 10002 clauses out of 20048 with flag 951000/965096
463.10/461.21	c cleaning 9998 clauses out of 20048 with flag 961002/975098
465.91/464.00	c cleaning 10002 clauses out of 20048 with flag 971000/985096
468.72/466.86	c cleaning 10000 clauses out of 20046 with flag 981000/995096
471.34/469.49	c cleaning 9989 clauses out of 20047 with flag 991001/1005097
474.04/472.15	c cleaning 9994 clauses out of 20058 with flag 1001001/1015097
476.06/474.15	c cleaning 10003 clauses out of 20063 with flag 1011000/1025096
478.17/476.26	c cleaning 10001 clauses out of 20061 with flag 1021001/1035097
480.38/478.43	c cleaning 9998 clauses out of 20061 with flag 1031002/1045098
482.69/480.78	c cleaning 10000 clauses out of 20064 with flag 1041003/1055099
486.19/484.22	c cleaning 10000 clauses out of 20061 with flag 1051000/1065096
489.10/487.15	c cleaning 9997 clauses out of 20061 with flag 1061000/1075096
491.31/489.40	c cleaning 10012 clauses out of 20066 with flag 1071002/1085098
493.42/491.42	c cleaning 10004 clauses out of 20052 with flag 1081000/1095096
495.32/493.31	c cleaning 10006 clauses out of 20049 with flag 1091001/1105097
497.23/495.21	c cleaning 10002 clauses out of 20042 with flag 1101000/1115096
499.44/497.42	c cleaning 10003 clauses out of 20043 with flag 1111003/1125099
501.35/499.37	c cleaning 10003 clauses out of 20041 with flag 1121004/1135100
503.25/501.22	c cleaning 10000 clauses out of 20037 with flag 1131003/1145099
505.25/503.23	c cleaning 9999 clauses out of 20035 with flag 1141001/1155097
506.95/504.91	c cleaning 9991 clauses out of 20035 with flag 1151000/1165096
509.65/507.66	c cleaning 9996 clauses out of 20045 with flag 1161001/1175097
513.36/511.33	c cleaning 9990 clauses out of 20049 with flag 1171001/1185097
517.37/515.40	c cleaning 9988 clauses out of 20061 with flag 1181003/1195099
522.08/520.06	c cleaning 9990 clauses out of 20070 with flag 1191000/1205096
527.09/525.09	c cleaning 10003 clauses out of 20081 with flag 1201001/1215097
532.70/530.64	c cleaning 10001 clauses out of 20077 with flag 1211000/1225096
540.21/538.19	c cleaning 10001 clauses out of 20077 with flag 1221001/1235097
545.42/543.37	c cleaning 10005 clauses out of 20080 with flag 1231005/1245101
550.53/548.47	c cleaning 9999 clauses out of 20070 with flag 1241000/1255096
555.75/553.62	c cleaning 9999 clauses out of 20071 with flag 1251000/1265096
561.36/559.29	c cleaning 10002 clauses out of 20075 with flag 1261003/1275099
566.57/564.47	c cleaning 9998 clauses out of 20072 with flag 1271002/1285098
572.18/570.09	c cleaning 10000 clauses out of 20074 with flag 1281002/1295098
577.20/575.09	c cleaning 9998 clauses out of 20075 with flag 1291003/1305099
582.30/580.17	c cleaning 9997 clauses out of 20076 with flag 1301002/1315098
587.41/585.28	c cleaning 10002 clauses out of 20078 with flag 1311001/1325097
590.62/588.50	c cleaning 10006 clauses out of 20078 with flag 1321003/1335099
595.73/593.53	c cleaning 9996 clauses out of 20074 with flag 1331005/1345101
600.54/598.40	c cleaning 10011 clauses out of 20073 with flag 1341000/1355096
605.85/603.64	c cleaning 10007 clauses out of 20063 with flag 1351001/1365097
610.96/608.78	c cleaning 9998 clauses out of 20055 with flag 1361000/1375096
616.28/614.02	c cleaning 9999 clauses out of 20062 with flag 1371005/1385101
621.50/619.30	c cleaning 9995 clauses out of 20058 with flag 1381000/1395096
628.00/625.80	c cleaning 10001 clauses out of 20065 with flag 1391002/1405098
633.81/631.54	c cleaning 10020 clauses out of 20064 with flag 1401002/1415098
636.72/634.42	c cleaning 9981 clauses out of 20044 with flag 1411002/1425098
639.33/637.09	c cleaning 10008 clauses out of 20061 with flag 1421000/1435096
642.75/640.50	c cleaning 9972 clauses out of 20057 with flag 1431004/1445100
647.36/645.05	c cleaning 9989 clauses out of 20081 with flag 1441000/1455096
651.29/648.99	c cleaning 10017 clauses out of 20093 with flag 1451001/1465097
657.29/654.93	c cleaning 10010 clauses out of 20075 with flag 1461000/1475096
662.10/659.72	c cleaning 10005 clauses out of 20067 with flag 1471002/1485098
666.71/664.39	c cleaning 9981 clauses out of 20060 with flag 1481000/1495096
672.02/669.67	c cleaning 10012 clauses out of 20082 with flag 1491003/1505099
677.52/675.12	c cleaning 10009 clauses out of 20070 with flag 1501003/1515099
681.14/678.70	c cleaning 9990 clauses out of 20060 with flag 1511002/1525098
683.94/681.58	c cleaning 10002 clauses out of 20071 with flag 1521003/1535099
687.15/684.71	c cleaning 9997 clauses out of 20066 with flag 1531000/1545096
689.77/687.35	c cleaning 10004 clauses out of 20071 with flag 1541002/1555098
692.78/690.39	c cleaning 9983 clauses out of 20065 with flag 1551000/1565096
695.79/693.39	c cleaning 10015 clauses out of 20082 with flag 1561000/1575096
698.90/696.46	c cleaning 9997 clauses out of 20069 with flag 1571002/1585098
701.71/699.26	c cleaning 9993 clauses out of 20070 with flag 1581000/1595096
705.32/702.83	c cleaning 10002 clauses out of 20077 with flag 1591000/1605096
708.64/706.14	c cleaning 10007 clauses out of 20075 with flag 1601000/1615096
711.25/708.75	c cleaning 9992 clauses out of 20068 with flag 1611000/1625096
714.36/711.83	c cleaning 9993 clauses out of 20076 with flag 1621000/1635096
717.67/715.17	c cleaning 10003 clauses out of 20085 with flag 1631002/1645098
720.98/718.45	c cleaning 9986 clauses out of 20080 with flag 1641000/1655096
724.29/721.76	c cleaning 10006 clauses out of 20095 with flag 1651001/1665097
727.41/724.90	c cleaning 9995 clauses out of 20089 with flag 1661001/1675097
730.51/727.90	c cleaning 10005 clauses out of 20094 with flag 1671001/1685097
733.12/730.52	c cleaning 9997 clauses out of 20089 with flag 1681001/1695097
736.43/733.80	c cleaning 10005 clauses out of 20095 with flag 1691004/1705100
739.65/737.07	c cleaning 9996 clauses out of 20086 with flag 1701000/1715096
742.75/740.15	c cleaning 9999 clauses out of 20093 with flag 1711003/1725099
746.06/743.41	c cleaning 10003 clauses out of 20091 with flag 1721000/1735096
749.27/746.65	c cleaning 9998 clauses out of 20090 with flag 1731002/1745098
752.58/749.95	c cleaning 10002 clauses out of 20091 with flag 1741001/1755097
756.48/753.82	c cleaning 10002 clauses out of 20091 with flag 1751003/1765099
760.40/757.71	c cleaning 10015 clauses out of 20087 with flag 1761001/1775097
766.01/763.34	c cleaning 10003 clauses out of 20074 with flag 1771003/1785099
772.01/769.36	c cleaning 10006 clauses out of 20069 with flag 1781001/1795097
777.42/774.73	c cleaning 10004 clauses out of 20067 with flag 1791005/1805101
783.63/780.91	c cleaning 10000 clauses out of 20059 with flag 1801001/1815097
790.03/787.35	c cleaning 9995 clauses out of 20058 with flag 1811000/1825096
796.34/793.64	c cleaning 10003 clauses out of 20063 with flag 1821000/1835096
802.75/800.01	c cleaning 10002 clauses out of 20061 with flag 1831001/1845097
808.97/806.24	c cleaning 10000 clauses out of 20060 with flag 1841002/1855098
815.47/812.70	c cleaning 9997 clauses out of 20058 with flag 1851000/1865096
822.07/819.39	c cleaning 10002 clauses out of 20062 with flag 1861001/1875097
827.57/824.81	c cleaning 10001 clauses out of 20059 with flag 1871000/1885096
833.29/830.52	c cleaning 10002 clauses out of 20062 with flag 1881004/1895100
839.09/836.37	c cleaning 10003 clauses out of 20059 with flag 1891003/1905099
846.40/843.63	c cleaning 9997 clauses out of 20054 with flag 1901001/1915097
853.30/850.56	c cleaning 9999 clauses out of 20058 with flag 1911002/1925098
860.01/857.29	c cleaning 9996 clauses out of 20058 with flag 1921001/1935097
867.01/864.28	c cleaning 9999 clauses out of 20063 with flag 1931002/1945098
874.22/871.48	c cleaning 10001 clauses out of 20063 with flag 1941001/1955097
881.22/878.48	c cleaning 10000 clauses out of 20061 with flag 1951000/1965096
888.23/885.41	c cleaning 10001 clauses out of 20062 with flag 1961001/1975097
895.44/892.69	c cleaning 9998 clauses out of 20060 with flag 1971000/1985096
900.94/898.11	c cleaning 9991 clauses out of 20062 with flag 1981000/1995096
905.76/902.95	c cleaning 10005 clauses out of 20071 with flag 1991000/2005096
910.77/907.99	c cleaning 10015 clauses out of 20066 with flag 2001000/2015096
915.08/912.20	c cleaning 10012 clauses out of 20052 with flag 2011001/2025097
919.49/916.65	c cleaning 9972 clauses out of 20039 with flag 2021000/2035096
924.80/921.93	c cleaning 10001 clauses out of 20068 with flag 2031001/2045097
927.71/924.88	c cleaning 10010 clauses out of 20069 with flag 2041003/2055099
929.92/927.04	c cleaning 10001 clauses out of 20058 with flag 2051002/2065098
932.63/929.79	c cleaning 9996 clauses out of 20056 with flag 2061001/2075097
935.04/932.14	c cleaning 9994 clauses out of 20061 with flag 2071002/2085098
937.05/934.19	c cleaning 10000 clauses out of 20067 with flag 2081002/2095098
939.55/936.62	c cleaning 9996 clauses out of 20067 with flag 2091002/2105098
941.76/938.84	c cleaning 10010 clauses out of 20076 with flag 2101007/2115103
943.97/941.01	c cleaning 10000 clauses out of 20059 with flag 2111000/2125096
946.38/943.44	c cleaning 10005 clauses out of 20062 with flag 2121003/2135099
948.69/945.73	c cleaning 10000 clauses out of 20055 with flag 2131001/2145097
951.50/948.51	c cleaning 9994 clauses out of 20056 with flag 2141002/2155098
954.52/951.58	c cleaning 10005 clauses out of 20062 with flag 2151002/2165098
957.52/954.59	c cleaning 9997 clauses out of 20055 with flag 2161000/2175096
960.53/957.55	c cleaning 10000 clauses out of 20058 with flag 2171000/2185096
962.25/959.28	c cleaning 10007 clauses out of 20060 with flag 2181002/2195098
964.75/961.79	c cleaning 10002 clauses out of 20052 with flag 2191001/2205097
968.06/965.09	c cleaning 9985 clauses out of 20050 with flag 2201001/2215097
970.47/967.48	c cleaning 10012 clauses out of 20066 with flag 2211002/2225098
972.78/969.72	c cleaning 9992 clauses out of 20052 with flag 2221000/2235096
975.39/972.38	c cleaning 10006 clauses out of 20060 with flag 2231000/2245096
978.20/975.18	c cleaning 9999 clauses out of 20055 with flag 2241001/2255097
980.70/977.67	c cleaning 10003 clauses out of 20056 with flag 2251001/2265097
983.71/980.63	c cleaning 10004 clauses out of 20055 with flag 2261003/2275099
985.73/982.67	c cleaning 10001 clauses out of 20050 with flag 2271002/2285098
988.43/985.38	c cleaning 9993 clauses out of 20047 with flag 2281000/2295096
991.25/988.11	c cleaning 9997 clauses out of 20054 with flag 2291000/2305096
994.06/990.95	c cleaning 10006 clauses out of 20058 with flag 2301001/2315097
996.87/993.77	c cleaning 10000 clauses out of 20052 with flag 2311001/2325097
999.58/996.41	c cleaning 10001 clauses out of 20051 with flag 2321000/2335096
1002.38/999.27	c cleaning 9992 clauses out of 20050 with flag 2331000/2345096
1005.49/1002.35	c cleaning 10009 clauses out of 20063 with flag 2341005/2355101
1008.00/1004.83	c cleaning 9994 clauses out of 20049 with flag 2351000/2365096
1010.61/1007.43	c cleaning 10001 clauses out of 20058 with flag 2361003/2375099
1013.91/1010.70	c cleaning 10006 clauses out of 20055 with flag 2371001/2385097
1016.62/1013.49	c cleaning 9976 clauses out of 20048 with flag 2381000/2395096
1019.33/1016.15	c cleaning 10014 clauses out of 20075 with flag 2391003/2405099
1022.03/1018.82	c cleaning 10010 clauses out of 20059 with flag 2401001/2415097
1025.06/1021.84	c cleaning 9999 clauses out of 20052 with flag 2411004/2425100
1027.86/1024.69	c cleaning 9998 clauses out of 20049 with flag 2421000/2435096
1032.67/1029.41	c cleaning 9988 clauses out of 20054 with flag 2431003/2445099
1037.19/1033.94	c cleaning 9995 clauses out of 20065 with flag 2441002/2455098
1041.40/1038.20	c cleaning 10006 clauses out of 20069 with flag 2451001/2465097
1045.51/1042.22	c cleaning 10003 clauses out of 20064 with flag 2461002/2475098
1049.32/1046.04	c cleaning 9999 clauses out of 20059 with flag 2471000/2485096
1053.82/1050.51	c cleaning 9994 clauses out of 20062 with flag 2481002/2495098
1058.52/1055.21	c cleaning 10001 clauses out of 20068 with flag 2491002/2505098
1062.64/1059.39	c cleaning 10003 clauses out of 20068 with flag 2501003/2515099
1067.13/1063.89	c cleaning 9997 clauses out of 20062 with flag 2511000/2525096
1071.45/1068.14	c cleaning 10002 clauses out of 20066 with flag 2521001/2535097
1075.55/1072.26	c cleaning 10001 clauses out of 20064 with flag 2531001/2545097
1079.95/1076.67	c cleaning 9993 clauses out of 20065 with flag 2541003/2555099
1084.16/1080.82	c cleaning 10004 clauses out of 20070 with flag 2551001/2565097
1088.36/1085.00	c cleaning 9998 clauses out of 20065 with flag 2561000/2575096
1092.27/1088.96	c cleaning 9995 clauses out of 20067 with flag 2571000/2585096
1095.97/1092.66	c cleaning 10006 clauses out of 20072 with flag 2581000/2595096
1099.98/1096.64	c cleaning 10002 clauses out of 20066 with flag 2591000/2605096
1103.78/1100.43	c cleaning 9996 clauses out of 20065 with flag 2601001/2615097
1107.49/1104.20	c cleaning 9993 clauses out of 20068 with flag 2611000/2625096
1111.59/1108.27	c cleaning 10000 clauses out of 20077 with flag 2621002/2635098
1115.60/1112.23	c cleaning 10006 clauses out of 20077 with flag 2631002/2645098
1119.50/1116.16	c cleaning 10004 clauses out of 20071 with flag 2641002/2655098
1121.61/1118.22	c cleaning 10012 clauses out of 20066 with flag 2651001/2665097
1124.02/1120.61	c cleaning 10004 clauses out of 20054 with flag 2661001/2675097
1126.53/1123.12	c cleaning 10004 clauses out of 20049 with flag 2671000/2685096
1129.03/1125.63	c cleaning 10004 clauses out of 20047 with flag 2681002/2695098
1131.54/1128.19	c cleaning 10001 clauses out of 20042 with flag 2691001/2705097
1134.25/1130.83	c cleaning 9997 clauses out of 20041 with flag 2701001/2715097
1136.85/1133.50	c cleaning 10004 clauses out of 20046 with flag 2711003/2725099
1139.06/1135.61	c cleaning 9995 clauses out of 20039 with flag 2721000/2735096
1141.16/1137.77	c cleaning 10003 clauses out of 20045 with flag 2731001/2745097
1143.67/1140.28	c cleaning 10002 clauses out of 20041 with flag 2741000/2755096
1146.07/1142.60	c cleaning 10002 clauses out of 20042 with flag 2751003/2765099
1148.27/1144.86	c cleaning 10000 clauses out of 20039 with flag 2761002/2775098
1150.28/1146.84	c cleaning 9998 clauses out of 20038 with flag 2771001/2785097
1152.58/1149.12	c cleaning 10001 clauses out of 20042 with flag 2781003/2795099
1154.88/1151.47	c cleaning 10002 clauses out of 20040 with flag 2791002/2805098
1157.19/1153.75	c cleaning 9997 clauses out of 20036 with flag 2801000/2815096
1159.60/1156.12	c cleaning 10000 clauses out of 20040 with flag 2811001/2825097
1161.70/1158.30	c cleaning 9997 clauses out of 20039 with flag 2821000/2835096
1163.71/1160.22	c cleaning 10003 clauses out of 20043 with flag 2831001/2845097
1166.11/1162.69	c cleaning 9999 clauses out of 20039 with flag 2841000/2855096
1168.51/1165.01	c cleaning 10002 clauses out of 20042 with flag 2851002/2865098
1170.91/1167.49	c cleaning 10003 clauses out of 20041 with flag 2861003/2875099
1173.31/1169.87	c cleaning 9998 clauses out of 20038 with flag 2871003/2885099
1175.92/1172.48	c cleaning 9996 clauses out of 20040 with flag 2881003/2895099
1178.02/1174.50	c cleaning 10002 clauses out of 20044 with flag 2891003/2905099
1180.33/1176.89	c cleaning 10000 clauses out of 20039 with flag 2901000/2915096
1183.04/1179.54	c cleaning 9999 clauses out of 20039 with flag 2911000/2925096
1185.44/1181.99	c cleaning 9998 clauses out of 20041 with flag 2921001/2935097
1188.16/1184.64	c cleaning 10004 clauses out of 20043 with flag 2931001/2945097
1190.26/1186.74	c cleaning 9999 clauses out of 20038 with flag 2941000/2955096
1192.26/1188.78	c cleaning 9998 clauses out of 20039 with flag 2951000/2965096
1194.57/1191.05	c cleaning 9988 clauses out of 20043 with flag 2961002/2975098
1197.18/1193.61	c cleaning 10015 clauses out of 20055 with flag 2971002/2985098
1199.88/1196.39	c cleaning 10017 clauses out of 20040 with flag 2981002/2995098
1204.40/1200.82	c cleaning 9974 clauses out of 20023 with flag 2991002/3005098
1210.61/1207.00	c cleaning 10001 clauses out of 20048 with flag 3001001/3015097
1216.53/1212.93	c cleaning 10002 clauses out of 20047 with flag 3011001/3025097
1220.53/1216.95	c cleaning 9994 clauses out of 20047 with flag 3021003/3035099
1225.45/1221.82	c cleaning 9988 clauses out of 20052 with flag 3031002/3045098
1227.46/1223.88	c cleaning 10005 clauses out of 20062 with flag 3041000/3055096
1229.88/1226.26	c cleaning 10004 clauses out of 20060 with flag 3051003/3065099
1231.99/1228.34	c cleaning 10000 clauses out of 20053 with flag 3061000/3075096
1236.70/1233.02	c cleaning 10003 clauses out of 20054 with flag 3071001/3085097
1240.71/1237.01	c cleaning 10008 clauses out of 20055 with flag 3081005/3095101
1246.12/1242.44	c cleaning 10001 clauses out of 20043 with flag 3091001/3105097
1251.03/1247.30	c cleaning 9998 clauses out of 20041 with flag 3101000/3115096
1254.44/1250.79	c cleaning 9993 clauses out of 20043 with flag 3111000/3125096
1257.75/1254.08	c cleaning 10006 clauses out of 20052 with flag 3121002/3135098
1262.06/1258.40	c cleaning 10009 clauses out of 20053 with flag 3131009/3145105
1265.57/1261.83	c cleaning 9993 clauses out of 20038 with flag 3141003/3155099
1269.48/1265.74	c cleaning 9999 clauses out of 20042 with flag 3151000/3165096
1273.19/1269.45	c cleaning 10000 clauses out of 20043 with flag 3161000/3175096
1277.09/1273.31	c cleaning 10000 clauses out of 20044 with flag 3171001/3185097
1282.31/1278.56	c cleaning 10002 clauses out of 20043 with flag 3181000/3195096
1287.62/1283.84	c cleaning 9990 clauses out of 20042 with flag 3191001/3205097
1292.62/1288.86	c cleaning 10006 clauses out of 20052 with flag 3201001/3215097
1297.53/1293.70	c cleaning 9996 clauses out of 20049 with flag 3211004/3225100
1302.54/1298.74	c cleaning 10003 clauses out of 20049 with flag 3221000/3235096
1308.15/1304.39	c cleaning 10005 clauses out of 20049 with flag 3231003/3245099
1313.56/1309.70	c cleaning 9998 clauses out of 20043 with flag 3241002/3255098
1318.77/1314.93	c cleaning 10000 clauses out of 20043 with flag 3251000/3265096
1324.28/1320.45	c cleaning 9990 clauses out of 20043 with flag 3261000/3275096
1328.79/1324.96	c cleaning 10009 clauses out of 20056 with flag 3271003/3285099
1332.20/1328.31	c cleaning 10002 clauses out of 20046 with flag 3281002/3295098
1336.20/1332.36	c cleaning 10003 clauses out of 20044 with flag 3291002/3305098
1340.32/1336.42	c cleaning 9998 clauses out of 20039 with flag 3301000/3315096
1344.12/1340.25	c cleaning 10001 clauses out of 20042 with flag 3311001/3325097
1347.92/1344.03	c cleaning 9999 clauses out of 20040 with flag 3321000/3335096
1351.93/1348.07	c cleaning 9998 clauses out of 20042 with flag 3331001/3345097
1356.25/1352.31	c cleaning 10002 clauses out of 20046 with flag 3341003/3355099
1360.35/1356.45	c cleaning 9999 clauses out of 20041 with flag 3351000/3365096
1364.56/1360.67	c cleaning 9997 clauses out of 20042 with flag 3361000/3375096
1368.56/1364.69	c cleaning 10002 clauses out of 20047 with flag 3371002/3385098
1372.97/1369.01	c cleaning 10001 clauses out of 20043 with flag 3381000/3395096
1376.97/1373.08	c cleaning 10003 clauses out of 20046 with flag 3391004/3405100
1381.09/1377.18	c cleaning 9998 clauses out of 20040 with flag 3401001/3415097
1385.99/1382.01	c cleaning 10002 clauses out of 20045 with flag 3411004/3425100
1389.39/1385.46	c cleaning 10008 clauses out of 20042 with flag 3421003/3435099
1393.40/1389.44	c cleaning 10002 clauses out of 20031 with flag 3431000/3445096
1396.90/1392.96	c cleaning 9980 clauses out of 20029 with flag 3441000/3455096
1399.92/1395.97	c cleaning 10000 clauses out of 20051 with flag 3451002/3465098
1402.83/1398.83	c cleaning 9998 clauses out of 20049 with flag 3461000/3475096
1405.73/1401.71	c cleaning 10005 clauses out of 20051 with flag 3471000/3485096
1408.65/1404.70	c cleaning 9999 clauses out of 20047 with flag 3481001/3495097
1411.76/1407.71	c cleaning 10001 clauses out of 20047 with flag 3491000/3505096
1415.16/1411.10	c cleaning 10000 clauses out of 20048 with flag 3501002/3515098
1418.47/1414.50	c cleaning 9997 clauses out of 20046 with flag 3511000/3525096
1421.90/1417.88	c cleaning 10004 clauses out of 20051 with flag 3521002/3535098
1425.31/1421.28	c cleaning 9998 clauses out of 20045 with flag 3531000/3545096
1428.41/1424.36	c cleaning 10001 clauses out of 20047 with flag 3541000/3555096
1431.33/1427.24	c cleaning 9996 clauses out of 20047 with flag 3551001/3565097
1434.34/1430.20	c cleaning 10003 clauses out of 20051 with flag 3561001/3575097
1437.05/1432.93	c cleaning 9998 clauses out of 20048 with flag 3571001/3585097
1440.16/1436.03	c cleaning 9992 clauses out of 20051 with flag 3581002/3595098
1443.17/1439.04	c cleaning 10010 clauses out of 20057 with flag 3591000/3605096
1446.78/1442.62	c cleaning 9989 clauses out of 20048 with flag 3601001/3615097
1450.18/1446.00	c cleaning 10009 clauses out of 20061 with flag 3611003/3625099
1454.09/1449.96	c cleaning 10003 clauses out of 20051 with flag 3621002/3635098
1458.01/1453.84	c cleaning 10004 clauses out of 20051 with flag 3631005/3645101
1461.12/1456.98	c cleaning 10004 clauses out of 20042 with flag 3641000/3655096
1463.63/1459.43	c cleaning 9989 clauses out of 20039 with flag 3651001/3665097
1467.04/1462.89	c cleaning 9993 clauses out of 20052 with flag 3661003/3675099
1470.16/1465.90	c cleaning 9998 clauses out of 20058 with flag 3671002/3685098
1473.47/1469.24	c cleaning 9997 clauses out of 20058 with flag 3681000/3695096
1476.68/1472.48	c cleaning 9998 clauses out of 20062 with flag 3691001/3705097
1480.89/1476.64	c cleaning 9977 clauses out of 20064 with flag 3701001/3715097
1484.20/1479.92	c cleaning 10011 clauses out of 20086 with flag 3711000/3725096
1488.41/1484.15	c cleaning 10004 clauses out of 20075 with flag 3721000/3735096
1491.72/1487.43	c cleaning 10001 clauses out of 20071 with flag 3731000/3745096
1496.33/1492.08	c cleaning 9999 clauses out of 20071 with flag 3741001/3755097
1499.84/1495.52	c cleaning 10004 clauses out of 20072 with flag 3751001/3765097
1504.85/1500.57	c cleaning 10000 clauses out of 20067 with flag 3761000/3775096
1509.07/1504.77	c cleaning 9992 clauses out of 20067 with flag 3771000/3785096
1512.57/1508.26	c cleaning 10002 clauses out of 20076 with flag 3781001/3795097
1516.88/1512.57	c cleaning 10006 clauses out of 20076 with flag 3791003/3805099
1521.58/1517.25	c cleaning 9998 clauses out of 20067 with flag 3801000/3815096
1526.50/1522.18	c cleaning 10003 clauses out of 20069 with flag 3811000/3825096
1531.30/1526.99	c cleaning 9991 clauses out of 20068 with flag 3821002/3835098
1535.41/1531.09	c cleaning 9998 clauses out of 20075 with flag 3831000/3845096
1539.83/1535.49	c cleaning 10003 clauses out of 20078 with flag 3841001/3855097
1543.24/1538.87	c cleaning 10006 clauses out of 20077 with flag 3851003/3865099
1547.46/1543.09	c cleaning 9993 clauses out of 20070 with flag 3861002/3875098
1552.27/1547.86	c cleaning 9999 clauses out of 20075 with flag 3871000/3885096
1556.47/1552.03	c cleaning 10005 clauses out of 20076 with flag 3881000/3895096
1560.88/1556.46	c cleaning 10002 clauses out of 20071 with flag 3891000/3905096
1565.18/1560.70	c cleaning 10004 clauses out of 20073 with flag 3901004/3915100
1569.80/1565.35	c cleaning 10000 clauses out of 20066 with flag 3911001/3925097
1574.30/1569.80	c cleaning 10001 clauses out of 20067 with flag 3921002/3935098
1579.30/1574.85	c cleaning 10000 clauses out of 20064 with flag 3931000/3945096
1585.12/1580.63	c cleaning 9967 clauses out of 20064 with flag 3941000/3955096
1589.43/1584.95	c cleaning 10015 clauses out of 20097 with flag 3951000/3965096
1593.94/1589.47	c cleaning 9993 clauses out of 20082 with flag 3961000/3975096
1599.05/1594.55	c cleaning 9977 clauses out of 20090 with flag 3971001/3985097
1602.46/1597.94	c cleaning 9952 clauses out of 20113 with flag 3981001/3995097
1606.68/1602.17	c cleaning 10003 clauses out of 20160 with flag 3991000/4005096
1610.79/1606.22	c cleaning 9983 clauses out of 20157 with flag 4001000/4015096
1614.60/1610.03	c cleaning 10006 clauses out of 20176 with flag 4011002/4025098
1619.62/1615.03	c cleaning 9990 clauses out of 20170 with flag 4021002/4035098
1622.73/1618.19	c cleaning 10050 clauses out of 20180 with flag 4031002/4045098
1626.93/1622.39	c cleaning 10027 clauses out of 20130 with flag 4041002/4055098
1630.65/1626.08	c cleaning 9976 clauses out of 20103 with flag 4051002/4065098
1636.76/1632.14	c cleaning 10011 clauses out of 20126 with flag 4061001/4075097
1640.67/1636.07	c cleaning 10011 clauses out of 20114 with flag 4071000/4085096
1644.79/1640.17	c cleaning 10015 clauses out of 20105 with flag 4081002/4095098
1648.30/1643.63	c cleaning 10006 clauses out of 20090 with flag 4091002/4105098
1652.31/1647.61	c cleaning 9958 clauses out of 20085 with flag 4101003/4115099
1656.82/1652.15	c cleaning 9964 clauses out of 20130 with flag 4111006/4125102
1661.33/1656.66	c cleaning 10013 clauses out of 20167 with flag 4121007/4135103
1667.33/1662.63	c cleaning 10013 clauses out of 20149 with flag 4131002/4145098
1674.55/1669.90	c cleaning 10003 clauses out of 20138 with flag 4141004/4155100
1679.65/1674.92	c cleaning 10029 clauses out of 20141 with flag 4151010/4165106
1685.35/1680.63	c cleaning 10010 clauses out of 20102 with flag 4161000/4175096
1690.36/1685.62	c cleaning 9930 clauses out of 20094 with flag 4171002/4185098
1694.87/1690.16	c cleaning 9979 clauses out of 20165 with flag 4181003/4195099
1698.97/1694.20	c cleaning 9980 clauses out of 20183 with flag 4191000/4205096
1702.58/1697.82	c cleaning 10052 clauses out of 20203 with flag 4201000/4215096
1706.28/1701.52	c cleaning 9998 clauses out of 20153 with flag 4211002/4225098
1710.20/1705.42	c cleaning 9989 clauses out of 20155 with flag 4221002/4235098
1714.31/1709.58	c cleaning 10015 clauses out of 20164 with flag 4231000/4245096
1718.62/1713.82	c cleaning 10025 clauses out of 20149 with flag 4241000/4255096
1722.93/1718.18	c cleaning 10018 clauses out of 20124 with flag 4251000/4265096
1726.33/1721.52	c cleaning 10010 clauses out of 20111 with flag 4261005/4275101
1729.43/1724.66	c cleaning 9994 clauses out of 20096 with flag 4271000/4285096
1734.63/1729.81	c cleaning 10004 clauses out of 20104 with flag 4281002/4295098
1738.74/1733.94	c cleaning 10009 clauses out of 20099 with flag 4291001/4305097
1742.65/1737.83	c cleaning 9971 clauses out of 20096 with flag 4301007/4315103
1747.17/1742.36	c cleaning 9951 clauses out of 20119 with flag 4311001/4325097
1751.97/1747.12	c cleaning 10027 clauses out of 20169 with flag 4321002/4335098
1756.18/1751.39	c cleaning 10034 clauses out of 20140 with flag 4331000/4345096
1760.28/1755.49	c cleaning 9965 clauses out of 20109 with flag 4341003/4355099
1764.00/1759.10	c cleaning 10031 clauses out of 20141 with flag 4351000/4365096
1767.51/1762.64	c cleaning 9970 clauses out of 20113 with flag 4361003/4375099
1771.42/1766.55	c cleaning 10031 clauses out of 20140 with flag 4371000/4385096
1774.23/1769.34	c cleaning 10015 clauses out of 20110 with flag 4381001/4395097
1777.93/1773.00	c cleaning 10012 clauses out of 20097 with flag 4391003/4405099
1781.34/1776.48	c cleaning 9981 clauses out of 20082 with flag 4401000/4415096
1785.24/1780.38	c cleaning 9994 clauses out of 20102 with flag 4411001/4425097
1789.55/1784.66	c cleaning 9999 clauses out of 20108 with flag 4421001/4435097
1793.07/1788.20	c cleaning 9990 clauses out of 20111 with flag 4431003/4445099
1797.47/1792.53	c cleaning 10024 clauses out of 20122 with flag 4441004/4455100
1800.09/1795.12	c starts		: 264
1800.09/1795.12	c conflicts		: 4461793
1800.09/1795.12	c decisions		: 6260540
1800.09/1795.12	c propagations		: 222428687
1800.09/1795.12	c inspects		: 6305990046
1800.09/1795.12	c shortcuts		: 0
1800.09/1795.12	c learnt literals	: 0
1800.09/1795.12	c learnt binary clauses	: 0
1800.09/1795.12	c learnt ternary clauses	: 0
1800.09/1795.12	c learnt constraints	: 4461793
1800.09/1795.12	c ignored constraints	: 0
1800.09/1795.12	c root simplifications	: 0
1800.09/1795.12	c removed literals (reason simplification)	: 16860643
1800.09/1795.12	c reason swapping (by a shorter reason)	: 0
1800.09/1795.12	c Calls to reduceDB	: 447
1800.09/1795.12	c number of reductions to clauses (during analyze)	: 0
1800.09/1795.12	c number of learned constraints concerned by reduction	: 0
1800.09/1795.12	c number of learning phase by resolution	: 0
1800.09/1795.12	c number of learning phase by cutting planes	: 0
1800.09/1795.12	c speed (assignments/second)	: 124203.7790150639
1800.09/1795.12	c non guided choices	260324
1800.09/1795.13	c learnt constraints type 
1800.09/1795.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16812
1800.09/1795.13	c constraints type 
1800.09/1795.13	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
1800.09/1795.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 81
1800.09/1795.13	s SATISFIABLE
1800.09/1795.15	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 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 x2957 -x2958 -x2959 -x2960 -x2961 x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 
1800.09/1795.15	c objective function=6
1800.09/1795.15	c Total wall clock time (in seconds): 1795.039

Verifier Data 

OK	6

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3492515-1307910839/watcher-3492515-1307910839 -o /tmp/evaluation-result-3492515-1307910839/solver-3492515-1307910839 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492515-1307910839.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.98 2/195 17963
/proc/meminfo: memFree=32384588/32950928 swapFree=67053884/67111528
[pid=17963] ppid=17961 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/17963/stat : 17963 (java) R 17961 17963 15316 0 -1 4202496 925 0 0 0 0 0 0 0 25 0 1 0 902680631 23580672 667 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254495729429 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17963/statm: 5757 680 497 9 0 124 0

[startup+0.0870541 s]
/proc/loadavg: 2.00 2.00 1.98 2/195 17963
/proc/meminfo: memFree=32384588/32950928 swapFree=67053884/67111528
[pid=17963] ppid=17961 vsize=10539216 CPUtime=0.07 cores=0,2,4,6
/proc/17963/stat : 17963 (java) S 17961 17963 15316 0 -1 4202496 12483 0 1 0 6 1 0 0 25 0 18 0 902680631 10792157184 12178 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17963/statm: 2634804 12187 2009 9 0 2625538 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10539216

[startup+0.101091 s]
/proc/loadavg: 2.00 2.00 1.98 2/195 17963
/proc/meminfo: memFree=32384588/32950928 swapFree=67053884/67111528
[pid=17963] ppid=17961 vsize=10539820 CPUtime=0.1 cores=0,2,4,6
/proc/17963/stat : 17963 (java) S 17961 17963 15316 0 -1 4202496 13035 0 1 0 9 1 0 0 25 0 18 0 902680631 10792775680 12730 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17963/statm: 2634955 12732 2093 9 0 2625689 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539820

[startup+0.306018 s]
/proc/loadavg: 2.00 2.00 1.98 2/195 17963
/proc/meminfo: memFree=32384588/32950928 swapFree=67053884/67111528
[pid=17963] ppid=17961 vsize=10545088 CPUtime=0.54 cores=0,2,4,6
/proc/17963/stat : 17963 (java) S 17961 17963 15316 0 -1 4202496 19545 0 1 0 52 2 0 0 25 0 19 0 902680631 10798170112 17616 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17963/statm: 2636272 17616 2212 9 0 2627006 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10545088

[startup+0.700961 s]
/proc/loadavg: 2.00 2.00 1.98 2/195 17963
/proc/meminfo: memFree=32384588/32950928 swapFree=67053884/67111528
[pid=17963] ppid=17961 vsize=10547572 CPUtime=1.44 cores=0,2,4,6
/proc/17963/stat : 17963 (java) S 17961 17963 15316 0 -1 4202496 21733 0 1 0 141 3 0 0 25 0 19 0 902680631 10800713728 19427 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17963/statm: 2636893 19427 2223 9 0 2627627 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 10547572

[startup+1.50078 s]
/proc/loadavg: 2.00 2.00 1.98 3/214 17982
/proc/meminfo: memFree=32311176/32950928 swapFree=67053884/67111528
[pid=17963] ppid=17961 vsize=10547572 CPUtime=2.28 cores=0,2,4,6
/proc/17963/stat : 17963 (java) S 17961 17963 15316 0 -1 4202496 23702 0 1 0 225 3 0 0 25 0 19 0 902680631 10800713728 21395 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17963/statm: 2636893 21395 2225 9 0 2627627 0
[pid=17963/tid=17965] ppid=17961 vsize=10547572 CPUtime=1.47 cores=0,2,4,6
/proc/17963/task/17965/stat : 17965 (java) R 17961 17963 15316 0 -1 4202560 16035 0 1 0 146 1 0 0 20 0 19 0 902680631 10800713728 21395 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 46912505625857 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17963/tid=17966] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17966/stat : 17966 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680633 10800713728 21395 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17967] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17967/stat : 17967 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680633 10800713728 21395 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17968] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17968/stat : 17968 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680633 10800713728 21395 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17969] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17969/stat : 17969 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680633 10800713728 21395 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17970] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17970/stat : 17970 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680633 10800713728 21395 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17971] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17971/stat : 17971 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680633 10800713728 21396 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17972] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17972/stat : 17972 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680633 10800713728 21396 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17973] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17973/stat : 17973 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680633 10800713728 21396 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17974] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17974/stat : 17974 (java) S 17961 17963 15316 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902680634 10800713728 21396 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 0 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17975] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17975/stat : 17975 (java) S 17961 17963 15316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902680635 10800713728 21396 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17976] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17976/stat : 17976 (java) S 17961 17963 15316 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 902680635 10800713728 21396 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17977] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17977/stat : 17977 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680637 10800713728 21396 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512515505 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17978] ppid=17961 vsize=10547572 CPUtime=0.36 cores=0,2,4,6
/proc/17963/task/17978/stat : 17978 (java) S 17961 17963 15316 0 -1 4202560 3812 0 0 0 36 0 0 0 22 0 19 0 902680637 10800713728 21396 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 0 0 0 0
[pid=17963/tid=17979] ppid=17961 vsize=10547572 CPUtime=0.42 cores=0,2,4,6
/proc/17963/task/17979/stat : 17979 (java) S 17961 17963 15316 0 -1 4202560 2692 0 0 0 41 1 0 0 15 0 19 0 902680637 10800713728 21396 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17980] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17980/stat : 17980 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680637 10800713728 21396 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17981] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17981/stat : 17981 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902680637 10800713728 21396 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 4 0 16800975 18446604440839332864 0 0 -1 0 0 0 0
[pid=17963/tid=17982] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17982/stat : 17982 (java) S 17961 17963 15316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902680659 10800713728 21396 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 10547572

[startup+3.10135 s]
/proc/loadavg: 2.00 2.00 1.98 3/214 17982
/proc/meminfo: memFree=32303116/32950928 swapFree=67053884/67111528
[pid=17963] ppid=17961 vsize=10547572 CPUtime=3.97 cores=0,2,4,6
/proc/17963/stat : 17963 (java) S 17961 17963 15316 0 -1 4202496 30380 0 1 0 393 4 0 0 25 0 19 0 902680631 10800713728 28071 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17963/statm: 2636893 28071 2251 9 0 2627627 0
[pid=17963/tid=17965] ppid=17961 vsize=10547572 CPUtime=3.05 cores=0,2,4,6
/proc/17963/task/17965/stat : 17965 (java) R 17961 17963 15316 0 -1 4202560 17799 0 1 0 303 2 0 0 25 0 19 0 902680631 10800713728 28071 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 46912505668506 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17963/tid=17966] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17966/stat : 17966 (java) S 17961 17963 15316 0 -1 4202560 901 0 0 0 0 0 0 0 18 0 19 0 902680633 10800713728 28071 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17967] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17967/stat : 17967 (java) S 17961 17963 15316 0 -1 4202560 678 0 0 0 0 0 0 0 18 0 19 0 902680633 10800713728 28071 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 0 0 0 0
[pid=17963/tid=17968] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17968/stat : 17968 (java) S 17961 17963 15316 0 -1 4202560 655 0 0 0 0 0 0 0 18 0 19 0 902680633 10800713728 28071 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17969] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17969/stat : 17969 (java) S 17961 17963 15316 0 -1 4202560 247 0 0 0 0 0 0 0 18 0 19 0 902680633 10800713728 28071 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17970] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17970/stat : 17970 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902680633 10800713728 28071 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17971] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17971/stat : 17971 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902680633 10800713728 28071 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17972] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17972/stat : 17972 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902680633 10800713728 28071 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17973] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17973/stat : 17973 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902680633 10800713728 28071 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17974] ppid=17961 vsize=10547572 CPUtime=0.01 cores=0,2,4,6
/proc/17963/task/17974/stat : 17974 (java) S 17961 17963 15316 0 -1 4202560 2420 0 0 0 1 0 0 0 16 0 19 0 902680634 10800713728 28071 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 0 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17975] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17975/stat : 17975 (java) S 17961 17963 15316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902680635 10800713728 28071 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17976] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17976/stat : 17976 (java) S 17961 17963 15316 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902680635 10800713728 28071 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17977] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17977/stat : 17977 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680637 10800713728 28071 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512515505 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17978] ppid=17961 vsize=10547572 CPUtime=0.41 cores=0,2,4,6
/proc/17963/task/17978/stat : 17978 (java) S 17961 17963 15316 0 -1 4202560 3821 0 0 0 41 0 0 0 15 0 19 0 902680637 10800713728 28071 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 0 0 0 0
[pid=17963/tid=17979] ppid=17961 vsize=10547572 CPUtime=0.46 cores=0,2,4,6
/proc/17963/task/17979/stat : 17979 (java) S 17961 17963 15316 0 -1 4202560 2702 0 0 0 45 1 0 0 15 0 19 0 902680637 10800713728 28071 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17980] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17980/stat : 17980 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680637 10800713728 28071 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17981] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17981/stat : 17981 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902680637 10800713728 28071 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17982] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17982/stat : 17982 (java) S 17961 17963 15316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902680659 10800713728 28071 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 10547572

[startup+6.30083 s]
/proc/loadavg: 2.00 2.00 1.98 3/214 17982
/proc/meminfo: memFree=32267760/32950928 swapFree=67053884/67111528
[pid=17963] ppid=17961 vsize=10547572 CPUtime=7.18 cores=0,2,4,6
/proc/17963/stat : 17963 (java) S 17961 17963 15316 0 -1 4202496 33496 0 1 0 713 5 0 0 25 0 19 0 902680631 10800713728 31168 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17963/statm: 2636893 31168 2251 9 0 2627627 0
[pid=17963/tid=17965] ppid=17961 vsize=10547572 CPUtime=6.23 cores=0,2,4,6
/proc/17963/task/17965/stat : 17965 (java) R 17961 17963 15316 0 -1 4202560 17801 0 1 0 621 2 0 0 20 0 19 0 902680631 10800713728 31168 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 46912505620990 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17963/tid=17966] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17966/stat : 17966 (java) S 17961 17963 15316 0 -1 4202560 901 0 0 0 0 0 0 0 18 0 19 0 902680633 10800713728 31168 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17967] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17967/stat : 17967 (java) S 17961 17963 15316 0 -1 4202560 915 0 0 0 0 0 0 0 18 0 19 0 902680633 10800713728 31168 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17968] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17968/stat : 17968 (java) S 17961 17963 15316 0 -1 4202560 655 0 0 0 0 0 0 0 18 0 19 0 902680633 10800713728 31168 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17969] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17969/stat : 17969 (java) S 17961 17963 15316 0 -1 4202560 247 0 0 0 0 0 0 0 15 0 19 0 902680633 10800713728 31168 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17970] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17970/stat : 17970 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902680633 10800713728 31168 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17971] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17971/stat : 17971 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902680633 10800713728 31168 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17972] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17972/stat : 17972 (java) S 17961 17963 15316 0 -1 4202560 770 0 0 0 0 0 0 0 16 0 19 0 902680633 10800713728 31168 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 0 0 0 0
[pid=17963/tid=17973] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17973/stat : 17973 (java) S 17961 17963 15316 0 -1 4202560 1085 0 0 0 0 0 0 0 16 0 19 0 902680633 10800713728 31168 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17974] ppid=17961 vsize=10547572 CPUtime=0.03 cores=0,2,4,6
/proc/17963/task/17974/stat : 17974 (java) S 17961 17963 15316 0 -1 4202560 3443 0 0 0 3 0 0 0 15 0 19 0 902680634 10800713728 31168 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 0 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17975] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17975/stat : 17975 (java) S 17961 17963 15316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902680635 10800713728 31168 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17976] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17976/stat : 17976 (java) S 17961 17963 15316 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902680635 10800713728 31168 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17977] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17977/stat : 17977 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680637 10800713728 31168 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512515505 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17978] ppid=17961 vsize=10547572 CPUtime=0.42 cores=0,2,4,6
/proc/17963/task/17978/stat : 17978 (java) S 17961 17963 15316 0 -1 4202560 3822 0 0 0 42 0 0 0 15 0 19 0 902680637 10800713728 31168 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 0 0 0 0
[pid=17963/tid=17979] ppid=17961 vsize=10547572 CPUtime=0.46 cores=0,2,4,6
/proc/17963/task/17979/stat : 17979 (java) S 17961 17963 15316 0 -1 4202560 2702 0 0 0 45 1 0 0 15 0 19 0 902680637 10800713728 31168 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17980] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17980/stat : 17980 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680637 10800713728 31168 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17981] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17981/stat : 17981 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902680637 10800713728 31168 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17982] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17982/stat : 17982 (java) S 17961 17963 15316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902680659 10800713728 31168 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 10547572

[startup+12.7015 s]

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

[pid=17963/tid=17971] ppid=17961 vsize=10547572 CPUtime=0.76 cores=0,2,4,6
/proc/17963/task/17971/stat : 17971 (java) S 17961 17963 15316 0 -1 4202560 2640 0 0 0 76 0 0 0 15 0 19 0 902680633 10800713728 67700 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17972] ppid=17961 vsize=10547572 CPUtime=0.73 cores=0,2,4,6
/proc/17963/task/17972/stat : 17972 (java) S 17961 17963 15316 0 -1 4202560 1247 0 0 0 73 0 0 0 16 0 19 0 902680633 10800713728 67700 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17973] ppid=17961 vsize=10547572 CPUtime=0.72 cores=0,2,4,6
/proc/17963/task/17973/stat : 17973 (java) S 17961 17963 15316 0 -1 4202560 2483 0 0 0 72 0 0 0 15 0 19 0 902680633 10800713728 67700 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 0 0 0 0
[pid=17963/tid=17974] ppid=17961 vsize=10547572 CPUtime=18.45 cores=0,2,4,6
/proc/17963/task/17974/stat : 17974 (java) S 17961 17963 15316 0 -1 4202560 22053 0 0 0 1834 11 0 0 15 0 19 0 902680634 10800713728 67700 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 0 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17975] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17975/stat : 17975 (java) S 17961 17963 15316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902680635 10800713728 67700 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17976] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17976/stat : 17976 (java) S 17961 17963 15316 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902680635 10800713728 67700 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17977] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17977/stat : 17977 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680637 10800713728 67700 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512515505 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17978] ppid=17961 vsize=10547572 CPUtime=0.51 cores=0,2,4,6
/proc/17963/task/17978/stat : 17978 (java) S 17961 17963 15316 0 -1 4202560 3863 0 0 0 51 0 0 0 15 0 19 0 902680637 10800713728 67700 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 0 0 0 0
[pid=17963/tid=17979] ppid=17961 vsize=10547572 CPUtime=0.46 cores=0,2,4,6
/proc/17963/task/17979/stat : 17979 (java) S 17961 17963 15316 0 -1 4202560 2703 0 0 0 45 1 0 0 15 0 19 0 902680637 10800713728 67700 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17980] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17980/stat : 17980 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680637 10800713728 67700 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17981] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17981/stat : 17981 (java) S 17961 17963 15316 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 902680637 10800713728 67700 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17982] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17982/stat : 17982 (java) S 17961 17963 15316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902680659 10800713728 67700 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1727.13
Current children cumulated vsize (KiB) 10547572

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 18095
/proc/meminfo: memFree=32002408/32950928 swapFree=67053884/67111528
[pid=17963] ppid=17961 vsize=10547572 CPUtime=1787.25 cores=0,2,4,6
/proc/17963/stat : 17963 (java) S 17961 17963 15316 0 -1 4202496 70713 0 1 0 178699 26 0 0 25 0 19 0 902680631 10800713728 67736 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17963/statm: 2636893 67736 2252 9 0 2627627 0
[pid=17963/tid=17965] ppid=17961 vsize=10547572 CPUtime=1760.84 cores=0,2,4,6
/proc/17963/task/17965/stat : 17965 (java) R 17961 17963 15316 0 -1 4202560 22008 0 1 0 176076 8 0 0 25 0 19 0 902680631 10800713728 67736 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 46912505793515 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17963/tid=17966] ppid=17961 vsize=10547572 CPUtime=0.77 cores=0,2,4,6
/proc/17963/task/17966/stat : 17966 (java) S 17961 17963 15316 0 -1 4202560 2348 0 0 0 77 0 0 0 16 0 19 0 902680633 10800713728 67736 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17967] ppid=17961 vsize=10547572 CPUtime=0.72 cores=0,2,4,6
/proc/17963/task/17967/stat : 17967 (java) S 17961 17963 15316 0 -1 4202560 2346 0 0 0 72 0 0 0 16 0 19 0 902680633 10800713728 67736 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17968] ppid=17961 vsize=10547572 CPUtime=0.75 cores=0,2,4,6
/proc/17963/task/17968/stat : 17968 (java) S 17961 17963 15316 0 -1 4202560 2623 0 0 0 75 0 0 0 16 0 19 0 902680633 10800713728 67736 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 0 0 0 0
[pid=17963/tid=17969] ppid=17961 vsize=10547572 CPUtime=0.77 cores=0,2,4,6
/proc/17963/task/17969/stat : 17969 (java) S 17961 17963 15316 0 -1 4202560 3296 0 0 0 77 0 0 0 15 0 19 0 902680633 10800713728 67736 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17970] ppid=17961 vsize=10547572 CPUtime=0.78 cores=0,2,4,6
/proc/17963/task/17970/stat : 17970 (java) S 17961 17963 15316 0 -1 4202560 1845 0 0 0 78 0 0 0 16 0 19 0 902680633 10800713728 67736 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17971] ppid=17961 vsize=10547572 CPUtime=0.78 cores=0,2,4,6
/proc/17963/task/17971/stat : 17971 (java) S 17961 17963 15316 0 -1 4202560 2640 0 0 0 78 0 0 0 15 0 19 0 902680633 10800713728 67736 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 0 0 0 0
[pid=17963/tid=17972] ppid=17961 vsize=10547572 CPUtime=0.75 cores=0,2,4,6
/proc/17963/task/17972/stat : 17972 (java) S 17961 17963 15316 0 -1 4202560 1247 0 0 0 75 0 0 0 16 0 19 0 902680633 10800713728 67736 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17973] ppid=17961 vsize=10547572 CPUtime=0.75 cores=0,2,4,6
/proc/17963/task/17973/stat : 17973 (java) S 17961 17963 15316 0 -1 4202560 2483 0 0 0 75 0 0 0 15 0 19 0 902680633 10800713728 67736 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17974] ppid=17961 vsize=10547572 CPUtime=19.23 cores=0,2,4,6
/proc/17963/task/17974/stat : 17974 (java) S 17961 17963 15316 0 -1 4202560 22057 0 0 0 1912 11 0 0 15 0 19 0 902680634 10800713728 67736 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 0 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17975] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17975/stat : 17975 (java) S 17961 17963 15316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902680635 10800713728 67736 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17976] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17976/stat : 17976 (java) S 17961 17963 15316 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902680635 10800713728 67736 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17977] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17977/stat : 17977 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680637 10800713728 67736 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512515505 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17978] ppid=17961 vsize=10547572 CPUtime=0.51 cores=0,2,4,6
/proc/17963/task/17978/stat : 17978 (java) S 17961 17963 15316 0 -1 4202560 3863 0 0 0 51 0 0 0 15 0 19 0 902680637 10800713728 67736 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 0 0 0 0
[pid=17963/tid=17979] ppid=17961 vsize=10547572 CPUtime=0.46 cores=0,2,4,6
/proc/17963/task/17979/stat : 17979 (java) S 17961 17963 15316 0 -1 4202560 2703 0 0 0 45 1 0 0 15 0 19 0 902680637 10800713728 67736 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17980] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17980/stat : 17980 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680637 10800713728 67736 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17981] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17981/stat : 17981 (java) S 17961 17963 15316 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 902680637 10800713728 67736 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17982] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17982/stat : 17982 (java) S 17961 17963 15316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902680659 10800713728 67736 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1787.25
Current children cumulated vsize (KiB) 10547572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 18096
/proc/meminfo: memFree=32002132/32950928 swapFree=67053884/67111528
[pid=17963] ppid=17961 vsize=10547572 CPUtime=1800.09 cores=0,2,4,6
/proc/17963/stat : 17963 (java) S 17961 17963 15316 0 -1 4202496 70727 0 1 0 179983 26 0 0 25 0 19 0 902680631 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17963/statm: 2636893 67747 2252 9 0 2627627 0
[pid=17963/tid=17965] ppid=17961 vsize=10547572 CPUtime=1773.49 cores=0,2,4,6
/proc/17963/task/17965/stat : 17965 (java) R 17961 17963 15316 0 -1 4202560 22011 0 1 0 177341 8 0 0 25 0 19 0 902680631 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 46912505625945 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17963/tid=17966] ppid=17961 vsize=10547572 CPUtime=0.77 cores=0,2,4,6
/proc/17963/task/17966/stat : 17966 (java) S 17961 17963 15316 0 -1 4202560 2348 0 0 0 77 0 0 0 15 0 19 0 902680633 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17967] ppid=17961 vsize=10547572 CPUtime=0.73 cores=0,2,4,6
/proc/17963/task/17967/stat : 17967 (java) S 17961 17963 15316 0 -1 4202560 2348 0 0 0 73 0 0 0 15 0 19 0 902680633 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17968] ppid=17961 vsize=10547572 CPUtime=0.75 cores=0,2,4,6
/proc/17963/task/17968/stat : 17968 (java) S 17961 17963 15316 0 -1 4202560 2623 0 0 0 75 0 0 0 15 0 19 0 902680633 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 0 0 0 0
[pid=17963/tid=17969] ppid=17961 vsize=10547572 CPUtime=0.78 cores=0,2,4,6
/proc/17963/task/17969/stat : 17969 (java) S 17961 17963 15316 0 -1 4202560 3299 0 0 0 78 0 0 0 16 0 19 0 902680633 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 0 0 0 0
[pid=17963/tid=17970] ppid=17961 vsize=10547572 CPUtime=0.79 cores=0,2,4,6
/proc/17963/task/17970/stat : 17970 (java) S 17961 17963 15316 0 -1 4202560 1850 0 0 0 79 0 0 0 15 0 19 0 902680633 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17971] ppid=17961 vsize=10547572 CPUtime=0.79 cores=0,2,4,6
/proc/17963/task/17971/stat : 17971 (java) S 17961 17963 15316 0 -1 4202560 2640 0 0 0 79 0 0 0 16 0 19 0 902680633 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17972] ppid=17961 vsize=10547572 CPUtime=0.76 cores=0,2,4,6
/proc/17963/task/17972/stat : 17972 (java) S 17961 17963 15316 0 -1 4202560 1248 0 0 0 76 0 0 0 16 0 19 0 902680633 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17973] ppid=17961 vsize=10547572 CPUtime=0.75 cores=0,2,4,6
/proc/17963/task/17973/stat : 17973 (java) S 17961 17963 15316 0 -1 4202560 2483 0 0 0 75 0 0 0 15 0 19 0 902680633 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17974] ppid=17961 vsize=10547572 CPUtime=19.38 cores=0,2,4,6
/proc/17963/task/17974/stat : 17974 (java) S 17961 17963 15316 0 -1 4202560 22057 0 0 0 1927 11 0 0 15 0 19 0 902680634 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 0 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17975] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17975/stat : 17975 (java) S 17961 17963 15316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902680635 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17976] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17976/stat : 17976 (java) S 17961 17963 15316 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902680635 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17977] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17977/stat : 17977 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680637 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512515505 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17978] ppid=17961 vsize=10547572 CPUtime=0.51 cores=0,2,4,6
/proc/17963/task/17978/stat : 17978 (java) S 17961 17963 15316 0 -1 4202560 3863 0 0 0 51 0 0 0 15 0 19 0 902680637 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 0 0 0 0
[pid=17963/tid=17979] ppid=17961 vsize=10547572 CPUtime=0.46 cores=0,2,4,6
/proc/17963/task/17979/stat : 17979 (java) S 17961 17963 15316 0 -1 4202560 2703 0 0 0 45 1 0 0 15 0 19 0 902680637 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17980] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17980/stat : 17980 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680637 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17981] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17981/stat : 17981 (java) S 17961 17963 15316 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 902680637 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17982] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17982/stat : 17982 (java) S 17961 17963 15316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902680659 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10547572

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

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

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 18096
/proc/meminfo: memFree=32002132/32950928 swapFree=67053884/67111528
[pid=17963] ppid=17961 vsize=10547572 CPUtime=1800.09 cores=0,2,4,6
/proc/17963/stat : 17963 (java) S 17961 17963 15316 0 -1 4202496 70727 0 1 0 179983 26 0 0 25 0 19 0 902680631 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17963/statm: 2636893 67747 2252 9 0 2627627 0
[pid=17963/tid=17965] ppid=17961 vsize=10547572 CPUtime=1773.49 cores=0,2,4,6
/proc/17963/task/17965/stat : 17965 (java) R 17961 17963 15316 0 -1 4202560 22011 0 1 0 177341 8 0 0 25 0 19 0 902680631 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 46912505625945 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17963/tid=17966] ppid=17961 vsize=10547572 CPUtime=0.77 cores=0,2,4,6
/proc/17963/task/17966/stat : 17966 (java) S 17961 17963 15316 0 -1 4202560 2348 0 0 0 77 0 0 0 15 0 19 0 902680633 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17967] ppid=17961 vsize=10547572 CPUtime=0.73 cores=0,2,4,6
/proc/17963/task/17967/stat : 17967 (java) S 17961 17963 15316 0 -1 4202560 2348 0 0 0 73 0 0 0 15 0 19 0 902680633 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17968] ppid=17961 vsize=10547572 CPUtime=0.75 cores=0,2,4,6
/proc/17963/task/17968/stat : 17968 (java) S 17961 17963 15316 0 -1 4202560 2623 0 0 0 75 0 0 0 15 0 19 0 902680633 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 0 0 0 0
[pid=17963/tid=17969] ppid=17961 vsize=10547572 CPUtime=0.78 cores=0,2,4,6
/proc/17963/task/17969/stat : 17969 (java) S 17961 17963 15316 0 -1 4202560 3299 0 0 0 78 0 0 0 16 0 19 0 902680633 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 0 0 0 0
[pid=17963/tid=17970] ppid=17961 vsize=10547572 CPUtime=0.79 cores=0,2,4,6
/proc/17963/task/17970/stat : 17970 (java) S 17961 17963 15316 0 -1 4202560 1850 0 0 0 79 0 0 0 15 0 19 0 902680633 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17971] ppid=17961 vsize=10547572 CPUtime=0.79 cores=0,2,4,6
/proc/17963/task/17971/stat : 17971 (java) S 17961 17963 15316 0 -1 4202560 2640 0 0 0 79 0 0 0 16 0 19 0 902680633 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 6 0 0 0
[pid=17963/tid=17972] ppid=17961 vsize=10547572 CPUtime=0.76 cores=0,2,4,6
/proc/17963/task/17972/stat : 17972 (java) S 17961 17963 15316 0 -1 4202560 1248 0 0 0 76 0 0 0 16 0 19 0 902680633 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17973] ppid=17961 vsize=10547572 CPUtime=0.75 cores=0,2,4,6
/proc/17963/task/17973/stat : 17973 (java) S 17961 17963 15316 0 -1 4202560 2483 0 0 0 75 0 0 0 15 0 19 0 902680633 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17974] ppid=17961 vsize=10547572 CPUtime=19.38 cores=0,2,4,6
/proc/17963/task/17974/stat : 17974 (java) S 17961 17963 15316 0 -1 4202560 22057 0 0 0 1927 11 0 0 15 0 19 0 902680634 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 0 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17975] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17975/stat : 17975 (java) S 17961 17963 15316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902680635 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17976] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17976/stat : 17976 (java) S 17961 17963 15316 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902680635 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17977] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17977/stat : 17977 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680637 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512515505 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17978] ppid=17961 vsize=10547572 CPUtime=0.51 cores=0,2,4,6
/proc/17963/task/17978/stat : 17978 (java) S 17961 17963 15316 0 -1 4202560 3863 0 0 0 51 0 0 0 15 0 19 0 902680637 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 0 0 0 0
[pid=17963/tid=17979] ppid=17961 vsize=10547572 CPUtime=0.46 cores=0,2,4,6
/proc/17963/task/17979/stat : 17979 (java) S 17961 17963 15316 0 -1 4202560 2703 0 0 0 45 1 0 0 15 0 19 0 902680637 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17980] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17980/stat : 17980 (java) S 17961 17963 15316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902680637 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512507801 0 4 0 16800975 18446604440839332864 0 0 -1 2 0 0 0
[pid=17963/tid=17981] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17981/stat : 17981 (java) S 17961 17963 15316 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 902680637 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
[pid=17963/tid=17982] ppid=17961 vsize=10547572 CPUtime=0 cores=0,2,4,6
/proc/17963/task/17982/stat : 17982 (java) S 17961 17963 15316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902680659 10800713728 67747 33554432000 1073741824 1073778376 140733625092112 18446744073709551615 254512508416 0 4 0 16800975 18446604440839332864 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10547572

Child status: 143
Real time (s): 1795.17
CPU time (s): 1800.21
CPU user time (s): 1799.93
CPU system time (s): 0.277957
CPU usage (%): 100.281
Max. virtual memory (cumulated for all children) (KiB): 10547572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.277957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70835
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= 47882
involuntary context switches= 20335

runsolver used 3.2755 second user time and 6.556 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-12 22:33:59
IDJOB=3492515
IDBENCH=79159
IDSOLVER=1982
FILE ID=node149/3492515-1307910839
RUNJOBID= node149-1307908141-17373
PBS_JOBID= 13559560
Free space on /tmp= 74060 MiB

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

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

MD5SUM BENCH= 4abf964a0a4662f4172f30dfa55a3bc2
RANDOM SEED=1316072890

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.806
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.806
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:      32384744 kB
Buffers:        123372 kB
Cached:         134872 kB
SwapCached:      22576 kB
Active:         279272 kB
Inactive:       100984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32384744 kB
SwapTotal:    67111528 kB
SwapFree:     67053884 kB
Dirty:             504 kB
Writeback:           0 kB
AnonPages:      119280 kB
Mapped:          18020 kB
Slab:           120652 kB
PageTables:       4684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10566044 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74060 MiB
End job on node149 at 2011-06-12 23:03:57