Trace number 3492185

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.19 1794.95

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMe57b036b50f33fe5c7ba72826e4a4d5e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.294954
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3280
Total number of constraints162
Number of soft constraints54
Number of constraints which are clauses82
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 constraint41
Top cost 2556
Min constraint cost 1
Max constraint cost 87
Sum of constraints costs 2555
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.03/0.29	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.29	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.29	c See www.sat4j.org for details.
0.03/0.29	c version 2.3.1.v20110525
0.03/0.29	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.29	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.29	c java.vm.version	19.1-b02
0.03/0.29	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.29	c sun.arch.data.model	64
0.03/0.29	c java.version		1.6.0_24
0.03/0.29	c os.name		Linux
0.03/0.29	c os.version		2.6.18-164.el5
0.03/0.29	c os.arch		amd64
0.03/0.29	c Free memory 		9996466904
0.03/0.29	c Max memory 		10048897024
0.03/0.29	c Total memory 		10048897024
0.03/0.29	c Number of processors 	8
0.12/0.32	c Pseudo Boolean Optimization
0.12/0.32	c --- Begin Solver configuration ---
0.12/0.32	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.12/0.32	c Learn all clauses as in MiniSAT
0.12/0.32	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.32	c Expensive reason simplification
0.12/0.32	c Armin Biere (Picosat) restarts strategy
0.12/0.32	c Glucose learned constraints deletion strategy
0.12/0.32	c timeout=2147483s
0.12/0.32	c DB Simplification allowed=false
0.12/0.32	c --- End Solver configuration ---
0.12/0.32	c solving HOME/instance-3492185-1307908222.wbo
0.12/0.32	c reading problem ... 
0.26/0.46	c ... done. Wall clock time 0.139s.
0.26/0.46	c #vars     3334
0.26/0.46	c #constraints  162
0.26/0.46	c constraints type 
0.26/0.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 82
0.26/0.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 56
0.26/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 24
0.76/0.62	c SATISFIABLE
0.76/0.62	c OPTIMIZING...
0.76/0.62	c Got one! Elapsed wall clock time (in seconds):0.299
0.76/0.62	o 187
0.76/0.66	c Got one! Elapsed wall clock time (in seconds):0.336
0.76/0.66	o 113
0.97/0.73	c Got one! Elapsed wall clock time (in seconds):0.412
0.97/0.73	o 111
1.08/0.87	c Got one! Elapsed wall clock time (in seconds):0.549
1.08/0.87	o 109
1.30/1.02	c Got one! Elapsed wall clock time (in seconds):0.702
1.30/1.02	o 107
1.61/1.30	c Got one! Elapsed wall clock time (in seconds):0.978
1.61/1.30	o 106
1.91/1.67	c cleaning 3578 clauses out of 7173 with flag 2000/7173
2.04/1.70	c Got one! Elapsed wall clock time (in seconds):1.379
2.04/1.70	o 90
2.34/2.00	c Got one! Elapsed wall clock time (in seconds):1.678
2.34/2.00	o 85
3.07/2.76	c cleaning 4801 clauses out of 9642 with flag 4004/13220
3.17/2.80	c Got one! Elapsed wall clock time (in seconds):2.476
3.17/2.80	o 82
3.27/2.93	c Got one! Elapsed wall clock time (in seconds):2.61
3.27/2.93	o 63
4.08/3.74	c Got one! Elapsed wall clock time (in seconds):3.414
4.08/3.74	o 54
4.38/4.03	c cleaning 5470 clauses out of 10948 with flag 1000/19327
5.30/4.96	c Got one! Elapsed wall clock time (in seconds):4.635
5.30/4.96	o 45
5.80/5.44	c cleaning 5563 clauses out of 11149 with flag 2003/24998
7.05/6.62	c cleaning 5740 clauses out of 11583 with flag 8000/30995
7.35/6.96	c Got one! Elapsed wall clock time (in seconds):6.632
7.35/6.96	o 39
7.85/7.46	c Got one! Elapsed wall clock time (in seconds):7.133
7.85/7.46	o 37
8.45/8.04	c cleaning 6172 clauses out of 12399 with flag 2001/37551
10.06/9.62	c cleaning 6065 clauses out of 12227 with flag 8001/43551
10.06/9.66	c Got one! Elapsed wall clock time (in seconds):9.339
10.06/9.66	o 25
11.76/11.35	c cleaning 5641 clauses out of 11291 with flag 5001/48680
11.97/11.58	c Got one! Elapsed wall clock time (in seconds):11.254
11.97/11.58	o 23
12.77/12.31	c cleaning 5358 clauses out of 10826 with flag 4000/53856
12.97/12.51	c Got one! Elapsed wall clock time (in seconds):12.186
12.97/12.51	o 15
14.17/13.72	c cleaning 5654 clauses out of 11339 with flag 5008/59727
15.88/15.42	c cleaning 5824 clauses out of 11679 with flag 11002/65721
17.48/17.03	c cleaning 6386 clauses out of 12853 with flag 18000/72719
18.29/17.82	c Got one! Elapsed wall clock time (in seconds):17.497
18.29/17.82	o 12
18.79/18.37	c cleaning 6123 clauses out of 12299 with flag 3000/78551
19.20/18.74	c Got one! Elapsed wall clock time (in seconds):18.414
19.20/18.74	o 8
20.00/19.52	c cleaning 6046 clauses out of 12131 with flag 4000/84506
21.31/20.84	c cleaning 5985 clauses out of 12085 with flag 10000/90506
23.11/22.66	c cleaning 6459 clauses out of 13100 with flag 17000/97506
25.21/24.75	c cleaning 7291 clauses out of 14642 with flag 25001/105507
28.52/28.06	c cleaning 8155 clauses out of 16350 with flag 34000/114506
28.62/28.19	c Got one! Elapsed wall clock time (in seconds):27.866
28.62/28.19	o 4
29.62/29.15	c cleaning 6848 clauses out of 13817 with flag 5000/120128
30.93/30.42	c cleaning 6449 clauses out of 12969 with flag 11000/126128
32.64/32.16	c cleaning 6722 clauses out of 13520 with flag 18000/133128
34.65/34.11	c cleaning 7373 clauses out of 14798 with flag 26000/141128
38.05/37.54	c cleaning 8191 clauses out of 16426 with flag 35001/150129
41.35/40.80	c cleaning 9104 clauses out of 18236 with flag 45002/160130
45.36/44.81	c cleaning 9553 clauses out of 19132 with flag 55002/170130
47.78/47.28	c cleaning 9767 clauses out of 19578 with flag 65001/180129
50.09/49.59	c cleaning 9869 clauses out of 19811 with flag 75001/190129
53.09/52.50	c cleaning 9933 clauses out of 19941 with flag 85000/200128
56.40/55.80	c cleaning 9957 clauses out of 20008 with flag 95000/210128
59.30/58.71	c cleaning 9988 clauses out of 20052 with flag 105001/220129
62.51/61.93	c cleaning 9993 clauses out of 20064 with flag 115001/230129
65.72/65.13	c cleaning 10004 clauses out of 20072 with flag 125002/240130
69.63/69.05	c cleaning 9980 clauses out of 20069 with flag 135003/250131
73.34/72.74	c cleaning 9992 clauses out of 20087 with flag 145001/260129
75.95/75.35	c cleaning 9926 clauses out of 20095 with flag 155001/270129
78.57/77.93	c cleaning 10016 clauses out of 20168 with flag 165000/280128
81.58/80.99	c cleaning 10006 clauses out of 20154 with flag 175002/290130
85.09/84.45	c cleaning 10030 clauses out of 20146 with flag 185000/300128
88.60/87.92	c cleaning 10012 clauses out of 20117 with flag 195001/310129
91.71/91.07	c cleaning 10037 clauses out of 20105 with flag 205001/320129
95.12/94.50	c cleaning 10015 clauses out of 20068 with flag 215001/330129
98.32/97.65	c cleaning 10010 clauses out of 20052 with flag 225000/340128
101.03/100.34	c cleaning 9986 clauses out of 20042 with flag 235000/350128
104.04/103.36	c cleaning 9987 clauses out of 20058 with flag 245002/360130
106.84/106.18	c cleaning 9995 clauses out of 20069 with flag 255000/370128
109.76/109.09	c cleaning 9990 clauses out of 20074 with flag 265000/380128
112.88/112.15	c cleaning 10010 clauses out of 20084 with flag 275000/390128
114.99/114.30	c cleaning 10009 clauses out of 20074 with flag 285000/400128
117.50/116.72	c cleaning 9979 clauses out of 20066 with flag 295001/410129
120.12/119.39	c cleaning 9984 clauses out of 20086 with flag 305000/420128
123.23/122.43	c cleaning 10009 clauses out of 20102 with flag 315000/430128
126.94/126.14	c cleaning 9987 clauses out of 20093 with flag 325000/440128
130.15/129.35	c cleaning 10007 clauses out of 20106 with flag 335000/450128
134.16/133.40	c cleaning 10002 clauses out of 20099 with flag 345000/460128
138.38/137.53	c cleaning 9995 clauses out of 20097 with flag 355000/470128
142.39/141.53	c cleaning 10005 clauses out of 20103 with flag 365001/480129
147.22/146.32	c cleaning 10020 clauses out of 20100 with flag 375003/490131
149.62/148.77	c cleaning 9993 clauses out of 20077 with flag 385000/500128
152.83/151.99	c cleaning 10008 clauses out of 20087 with flag 395003/510131
155.84/154.98	c cleaning 9985 clauses out of 20076 with flag 405000/520128
158.16/157.30	c cleaning 10002 clauses out of 20094 with flag 415003/530131
160.97/160.02	c cleaning 10011 clauses out of 20092 with flag 425003/540131
164.29/163.37	c cleaning 10008 clauses out of 20078 with flag 435000/550128
167.30/166.38	c cleaning 10000 clauses out of 20071 with flag 445001/560129
170.21/169.28	c cleaning 10008 clauses out of 20074 with flag 455004/570132
173.32/172.40	c cleaning 9995 clauses out of 20062 with flag 465000/580128
176.23/175.28	c cleaning 10001 clauses out of 20069 with flag 475002/590130
178.54/177.54	c cleaning 9980 clauses out of 20066 with flag 485000/600128
181.36/180.39	c cleaning 10000 clauses out of 20089 with flag 495003/610131
183.57/182.55	c cleaning 9983 clauses out of 20086 with flag 505000/620128
185.78/184.78	c cleaning 9978 clauses out of 20103 with flag 515000/630128
190.19/189.16	c cleaning 9965 clauses out of 20125 with flag 525000/640128
195.30/194.20	c cleaning 10029 clauses out of 20162 with flag 535002/650130
199.31/198.28	c cleaning 10017 clauses out of 20131 with flag 545000/660128
205.43/204.39	c cleaning 10003 clauses out of 20114 with flag 555000/670128
209.34/208.23	c cleaning 10021 clauses out of 20112 with flag 565001/680129
213.46/212.37	c cleaning 9999 clauses out of 20093 with flag 575003/690131
217.57/216.44	c cleaning 10014 clauses out of 20092 with flag 585001/700129
221.19/220.07	c cleaning 10005 clauses out of 20080 with flag 595003/710131
224.30/223.18	c cleaning 9984 clauses out of 20073 with flag 605001/720129
228.01/226.88	c cleaning 9986 clauses out of 20092 with flag 615004/730132
232.43/231.20	c cleaning 10013 clauses out of 20104 with flag 625002/740130
235.85/234.62	c cleaning 10004 clauses out of 20089 with flag 635000/750128
239.97/238.79	c cleaning 10003 clauses out of 20089 with flag 645004/760132
244.39/243.18	c cleaning 9990 clauses out of 20082 with flag 655000/770128
247.51/246.28	c cleaning 10007 clauses out of 20096 with flag 665004/780132
250.11/248.88	c cleaning 10021 clauses out of 20085 with flag 675000/790128
253.23/251.93	c cleaning 10012 clauses out of 20064 with flag 685000/800128
256.32/255.09	c cleaning 10007 clauses out of 20055 with flag 695003/810131
259.43/258.16	c cleaning 10004 clauses out of 20048 with flag 705003/820131
262.44/261.11	c cleaning 9999 clauses out of 20041 with flag 715000/830128
265.85/264.52	c cleaning 10002 clauses out of 20043 with flag 725001/840129
268.95/267.64	c cleaning 10004 clauses out of 20047 with flag 735007/850135
272.46/271.13	c cleaning 9999 clauses out of 20038 with flag 745002/860130
275.57/274.22	c cleaning 9993 clauses out of 20037 with flag 755000/870128
278.77/277.48	c cleaning 10001 clauses out of 20044 with flag 765000/880128
280.98/279.65	c cleaning 9988 clauses out of 20043 with flag 775000/890128
283.79/282.48	c cleaning 9986 clauses out of 20055 with flag 785000/900128
286.30/284.97	c cleaning 9980 clauses out of 20070 with flag 795001/910129
289.81/288.48	c cleaning 9987 clauses out of 20089 with flag 805000/920128
292.62/291.23	c cleaning 9953 clauses out of 20102 with flag 815000/930128
297.33/295.98	c cleaning 9997 clauses out of 20149 with flag 825000/940128
300.74/299.30	c cleaning 10021 clauses out of 20152 with flag 835000/950128
304.05/302.63	c cleaning 10011 clauses out of 20131 with flag 845000/960128
307.56/306.18	c cleaning 10007 clauses out of 20123 with flag 855003/970131
311.07/309.65	c cleaning 10043 clauses out of 20115 with flag 865002/980130
314.98/313.53	c cleaning 10009 clauses out of 20070 with flag 875000/990128
318.69/317.23	c cleaning 10007 clauses out of 20064 with flag 885003/1000131
322.70/321.29	c cleaning 10012 clauses out of 20057 with flag 895003/1010131
326.01/324.53	c cleaning 10000 clauses out of 20043 with flag 905001/1020129
330.71/329.26	c cleaning 9988 clauses out of 20044 with flag 915002/1030130
334.64/333.20	c cleaning 10010 clauses out of 20055 with flag 925001/1040129
338.95/337.47	c cleaning 9994 clauses out of 20044 with flag 935000/1050128
342.86/341.35	c cleaning 9984 clauses out of 20051 with flag 945001/1060129
347.28/345.73	c cleaning 10011 clauses out of 20066 with flag 955000/1070128
352.40/350.82	c cleaning 9992 clauses out of 20055 with flag 965000/1080128
357.11/355.57	c cleaning 9780 clauses out of 20064 with flag 975001/1090129
364.33/362.78	c cleaning 9857 clauses out of 20283 with flag 985000/1100128
371.26/369.66	c cleaning 9944 clauses out of 20429 with flag 995003/1110131
379.17/377.60	c cleaning 9911 clauses out of 20482 with flag 1005000/1120128
383.89/382.20	c cleaning 10000 clauses out of 20571 with flag 1015000/1130128
389.61/387.92	c cleaning 9994 clauses out of 20573 with flag 1025002/1140130
393.93/392.25	c cleaning 9995 clauses out of 20577 with flag 1035000/1150128
398.04/396.39	c cleaning 9997 clauses out of 20582 with flag 1045000/1160128
403.26/401.52	c cleaning 10005 clauses out of 20589 with flag 1055004/1170132
406.87/405.14	c cleaning 10038 clauses out of 20583 with flag 1065003/1180131
410.08/408.36	c cleaning 10011 clauses out of 20542 with flag 1075000/1190128
413.69/411.91	c cleaning 10001 clauses out of 20538 with flag 1085007/1200135
416.91/415.19	c cleaning 10006 clauses out of 20533 with flag 1095003/1210131
420.12/418.39	c cleaning 10000 clauses out of 20525 with flag 1105001/1220129
423.84/422.01	c cleaning 9998 clauses out of 20526 with flag 1115002/1230130
427.05/425.24	c cleaning 10006 clauses out of 20527 with flag 1125001/1240129
430.27/428.49	c cleaning 10000 clauses out of 20520 with flag 1135000/1250128
433.88/432.04	c cleaning 10004 clauses out of 20521 with flag 1145001/1260129
437.59/435.75	c cleaning 9995 clauses out of 20517 with flag 1155001/1270129
440.90/439.02	c cleaning 9990 clauses out of 20523 with flag 1165002/1280130
444.62/442.73	c cleaning 10006 clauses out of 20532 with flag 1175001/1290129
448.23/446.39	c cleaning 9989 clauses out of 20527 with flag 1185002/1300130
451.45/449.59	c cleaning 10007 clauses out of 20537 with flag 1195001/1310129
454.66/452.76	c cleaning 9998 clauses out of 20536 with flag 1205007/1320135
457.37/455.41	c cleaning 10214 clauses out of 20532 with flag 1215001/1330129
460.48/458.55	c cleaning 10113 clauses out of 20320 with flag 1225003/1340131
464.38/462.44	c cleaning 9963 clauses out of 20206 with flag 1235002/1350130
467.59/465.69	c cleaning 9927 clauses out of 20242 with flag 1245001/1360129
471.61/469.61	c cleaning 10015 clauses out of 20315 with flag 1255001/1370129
478.02/476.03	c cleaning 9994 clauses out of 20301 with flag 1265002/1380130
482.44/480.49	c cleaning 10026 clauses out of 20307 with flag 1275002/1390130
486.05/484.04	c cleaning 10009 clauses out of 20279 with flag 1285000/1400128
490.16/488.17	c cleaning 10006 clauses out of 20270 with flag 1295000/1410128
493.17/491.17	c cleaning 10092 clauses out of 20264 with flag 1305000/1420128
496.38/494.35	c cleaning 10044 clauses out of 20174 with flag 1315002/1430130
499.59/497.53	c cleaning 10021 clauses out of 20129 with flag 1325001/1440129
502.69/500.66	c cleaning 10010 clauses out of 20107 with flag 1335000/1450128
505.50/503.48	c cleaning 10034 clauses out of 20098 with flag 1345001/1460129
509.02/506.97	c cleaning 10019 clauses out of 20064 with flag 1355001/1470129
511.23/509.17	c cleaning 10006 clauses out of 20044 with flag 1365000/1480128
514.24/512.15	c cleaning 10007 clauses out of 20040 with flag 1375002/1490130
517.55/515.42	c cleaning 10003 clauses out of 20036 with flag 1385005/1500133
520.76/518.67	c cleaning 9997 clauses out of 20030 with flag 1395002/1510130
523.77/521.65	c cleaning 9998 clauses out of 20031 with flag 1405000/1520128
526.48/524.30	c cleaning 9979 clauses out of 20035 with flag 1415002/1530130
529.39/527.22	c cleaning 9990 clauses out of 20054 with flag 1425000/1540128
532.30/530.17	c cleaning 9996 clauses out of 20065 with flag 1435001/1550129
535.30/533.19	c cleaning 9997 clauses out of 20069 with flag 1445001/1560129
538.30/536.14	c cleaning 9998 clauses out of 20072 with flag 1455001/1570129
541.41/539.29	c cleaning 9999 clauses out of 20074 with flag 1465001/1580129
544.42/542.21	c cleaning 10000 clauses out of 20078 with flag 1475004/1590132
547.42/545.20	c cleaning 10001 clauses out of 20075 with flag 1485001/1600129
550.42/548.23	c cleaning 9999 clauses out of 20073 with flag 1495000/1610128
553.23/551.04	c cleaning 10001 clauses out of 20075 with flag 1505001/1620129
556.03/553.84	c cleaning 10019 clauses out of 20074 with flag 1515001/1630129
559.55/557.32	c cleaning 10007 clauses out of 20054 with flag 1525000/1640128
562.55/560.34	c cleaning 10007 clauses out of 20047 with flag 1535000/1650128
565.06/562.81	c cleaning 9987 clauses out of 20041 with flag 1545001/1660129
568.26/566.02	c cleaning 9987 clauses out of 20054 with flag 1555001/1670129
572.08/569.84	c cleaning 9984 clauses out of 20068 with flag 1565002/1680130
575.99/573.72	c cleaning 10023 clauses out of 20083 with flag 1575001/1690129
580.10/577.81	c cleaning 10007 clauses out of 20059 with flag 1585000/1700128
583.32/581.09	c cleaning 10000 clauses out of 20052 with flag 1595000/1710128
586.82/584.56	c cleaning 10002 clauses out of 20053 with flag 1605001/1720129
590.23/587.99	c cleaning 10000 clauses out of 20052 with flag 1615002/1730130
594.05/591.75	c cleaning 9995 clauses out of 20050 with flag 1625000/1740128
597.56/595.25	c cleaning 10006 clauses out of 20059 with flag 1635004/1750132
600.66/598.38	c cleaning 9997 clauses out of 20049 with flag 1645000/1760128
603.77/601.46	c cleaning 10006 clauses out of 20053 with flag 1655001/1770129
606.97/604.62	c cleaning 10000 clauses out of 20047 with flag 1665001/1780129
610.28/607.95	c cleaning 10001 clauses out of 20046 with flag 1675000/1790128
613.79/611.46	c cleaning 10002 clauses out of 20046 with flag 1685001/1800129
617.40/615.07	c cleaning 10000 clauses out of 20043 with flag 1695000/1810128
621.00/618.60	c cleaning 10000 clauses out of 20044 with flag 1705001/1820129
624.72/622.37	c cleaning 10000 clauses out of 20043 with flag 1715000/1830128
628.33/625.95	c cleaning 10003 clauses out of 20046 with flag 1725003/1840131
632.42/630.04	c cleaning 9996 clauses out of 20040 with flag 1735000/1850128
636.33/633.98	c cleaning 10003 clauses out of 20046 with flag 1745002/1860130
640.24/637.86	c cleaning 10001 clauses out of 20044 with flag 1755003/1870131
643.54/641.20	c cleaning 9997 clauses out of 20040 with flag 1765000/1880128
647.14/644.74	c cleaning 9994 clauses out of 20044 with flag 1775001/1890129
650.65/648.21	c cleaning 10002 clauses out of 20049 with flag 1785000/1900128
654.05/651.68	c cleaning 9998 clauses out of 20048 with flag 1795001/1910129
657.46/655.09	c cleaning 10000 clauses out of 20051 with flag 1805002/1920130
661.16/658.73	c cleaning 10002 clauses out of 20050 with flag 1815001/1930129
664.67/662.29	c cleaning 9998 clauses out of 20047 with flag 1825000/1940128
668.28/665.83	c cleaning 10001 clauses out of 20050 with flag 1835001/1950129
671.78/669.31	c cleaning 10003 clauses out of 20049 with flag 1845001/1960129
675.69/673.21	c cleaning 10001 clauses out of 20045 with flag 1855000/1970128
679.29/676.89	c cleaning 10000 clauses out of 20049 with flag 1865005/1980133
682.79/680.39	c cleaning 9999 clauses out of 20045 with flag 1875001/1990129
685.19/682.71	c cleaning 9942 clauses out of 20046 with flag 1885001/2000129
687.60/685.17	c cleaning 9944 clauses out of 20105 with flag 1895002/2010130
690.22/687.75	c cleaning 10038 clauses out of 20160 with flag 1905001/2020129
693.03/690.58	c cleaning 10016 clauses out of 20123 with flag 1915002/2030130
696.83/694.36	c cleaning 10007 clauses out of 20108 with flag 1925003/2040131
700.45/697.94	c cleaning 10027 clauses out of 20100 with flag 1935002/2050130
702.26/699.77	c cleaning 10006 clauses out of 20071 with flag 1945000/2060128
704.46/701.96	c cleaning 10003 clauses out of 20068 with flag 1955003/2070131
706.17/703.68	c cleaning 10006 clauses out of 20065 with flag 1965003/2080131
709.69/707.17	c cleaning 9990 clauses out of 20057 with flag 1975001/2090129
713.30/710.71	c cleaning 10006 clauses out of 20068 with flag 1985002/2100130
717.01/714.42	c cleaning 9984 clauses out of 20060 with flag 1995000/2110128
721.02/718.46	c cleaning 10004 clauses out of 20076 with flag 2005000/2120128
724.13/721.52	c cleaning 9993 clauses out of 20076 with flag 2015004/2130132
728.33/725.78	c cleaning 9994 clauses out of 20079 with flag 2025000/2140128
732.74/730.15	c cleaning 9997 clauses out of 20085 with flag 2035000/2150128
737.36/734.75	c cleaning 9999 clauses out of 20090 with flag 2045002/2160130
741.88/739.23	c cleaning 9997 clauses out of 20089 with flag 2055000/2170128
746.48/743.87	c cleaning 10003 clauses out of 20095 with flag 2065003/2180131
750.49/747.84	c cleaning 10027 clauses out of 20090 with flag 2075001/2190129
753.20/750.58	c cleaning 10012 clauses out of 20064 with flag 2085002/2200130
756.01/753.32	c cleaning 9988 clauses out of 20050 with flag 2095000/2210128
758.82/756.11	c cleaning 10017 clauses out of 20064 with flag 2105002/2220130
761.23/758.56	c cleaning 9999 clauses out of 20045 with flag 2115000/2230128
763.74/761.02	c cleaning 10003 clauses out of 20047 with flag 2125001/2240129
766.35/763.65	c cleaning 9999 clauses out of 20043 with flag 2135000/2250128
769.16/766.45	c cleaning 9999 clauses out of 20045 with flag 2145001/2260129
771.57/768.90	c cleaning 10003 clauses out of 20046 with flag 2155001/2270129
774.08/771.35	c cleaning 9994 clauses out of 20043 with flag 2165001/2280129
776.28/773.53	c cleaning 9959 clauses out of 20048 with flag 2175000/2290128
779.89/777.12	c cleaning 10013 clauses out of 20089 with flag 2185000/2300128
783.81/781.02	c cleaning 9980 clauses out of 20079 with flag 2195003/2310131
788.02/785.20	c cleaning 10014 clauses out of 20098 with flag 2205002/2320130
792.13/789.32	c cleaning 9970 clauses out of 20084 with flag 2215002/2330130
795.84/793.03	c cleaning 10026 clauses out of 20113 with flag 2225001/2340129
799.26/796.45	c cleaning 9998 clauses out of 20087 with flag 2235001/2350129
804.16/801.31	c cleaning 9987 clauses out of 20089 with flag 2245001/2360129
807.27/804.49	c cleaning 9979 clauses out of 20102 with flag 2255001/2370129
810.79/807.95	c cleaning 9981 clauses out of 20124 with flag 2265002/2380130
814.30/811.49	c cleaning 9977 clauses out of 20142 with flag 2275001/2390129
817.71/814.86	c cleaning 10029 clauses out of 20165 with flag 2285001/2400129
821.41/818.53	c cleaning 10023 clauses out of 20135 with flag 2295000/2410128
824.32/821.49	c cleaning 9980 clauses out of 20112 with flag 2305000/2420128
828.23/825.34	c cleaning 10013 clauses out of 20132 with flag 2315000/2430128
832.14/829.28	c cleaning 9990 clauses out of 20119 with flag 2325000/2440128
838.95/836.09	c cleaning 10005 clauses out of 20131 with flag 2335002/2450130
842.66/839.80	c cleaning 10017 clauses out of 20124 with flag 2345000/2460128
846.87/843.96	c cleaning 10015 clauses out of 20107 with flag 2355000/2470128
850.68/847.79	c cleaning 10006 clauses out of 20093 with flag 2365001/2480129
854.58/851.69	c cleaning 9991 clauses out of 20087 with flag 2375001/2490129
858.09/855.19	c cleaning 10008 clauses out of 20095 with flag 2385000/2500128
862.01/859.02	c cleaning 9989 clauses out of 20087 with flag 2395000/2510128
866.61/863.60	c cleaning 10008 clauses out of 20099 with flag 2405001/2520129
871.12/868.17	c cleaning 9991 clauses out of 20090 with flag 2415000/2530128
876.03/873.04	c cleaning 10015 clauses out of 20102 with flag 2425003/2540131
880.34/877.37	c cleaning 9994 clauses out of 20084 with flag 2435000/2550128
884.15/881.17	c cleaning 9969 clauses out of 20090 with flag 2445000/2560128
887.85/884.88	c cleaning 9983 clauses out of 20123 with flag 2455002/2570130
892.26/889.20	c cleaning 10012 clauses out of 20138 with flag 2465000/2580128
895.56/892.54	c cleaning 10010 clauses out of 20128 with flag 2475002/2590130
899.28/896.25	c cleaning 10006 clauses out of 20117 with flag 2485001/2600129
902.39/899.33	c cleaning 10005 clauses out of 20113 with flag 2495003/2610131
905.21/902.10	c cleaning 10005 clauses out of 20107 with flag 2505002/2620130
908.33/905.28	c cleaning 10007 clauses out of 20100 with flag 2515000/2630128
911.74/908.67	c cleaning 9995 clauses out of 20094 with flag 2525001/2640129
915.25/912.12	c cleaning 9983 clauses out of 20100 with flag 2535002/2650130
918.06/914.91	c cleaning 10017 clauses out of 20116 with flag 2545001/2660129
920.97/917.82	c cleaning 10010 clauses out of 20099 with flag 2555001/2670129
924.19/921.07	c cleaning 9983 clauses out of 20089 with flag 2565001/2680129
927.50/924.30	c cleaning 10010 clauses out of 20107 with flag 2575002/2690130
930.31/927.19	c cleaning 9994 clauses out of 20097 with flag 2585002/2700130
933.13/929.93	c cleaning 10008 clauses out of 20102 with flag 2595001/2710129
936.24/933.06	c cleaning 10005 clauses out of 20094 with flag 2605001/2720129
939.25/936.04	c cleaning 9983 clauses out of 20089 with flag 2615001/2730129
942.25/939.00	c cleaning 9996 clauses out of 20105 with flag 2625000/2740128
945.56/942.37	c cleaning 10008 clauses out of 20109 with flag 2635000/2750128
948.47/945.24	c cleaning 9989 clauses out of 20104 with flag 2645003/2760131
951.08/947.88	c cleaning 10016 clauses out of 20115 with flag 2655003/2770131
953.98/950.73	c cleaning 10007 clauses out of 20096 with flag 2665000/2780128
957.19/953.97	c cleaning 9990 clauses out of 20089 with flag 2675000/2790128
960.00/956.72	c cleaning 10007 clauses out of 20101 with flag 2685002/2800130
963.30/960.08	c cleaning 9990 clauses out of 20093 with flag 2695001/2810129
966.60/963.35	c cleaning 10002 clauses out of 20103 with flag 2705001/2820129
969.91/966.65	c cleaning 10009 clauses out of 20101 with flag 2715001/2830129
973.22/969.98	c cleaning 10000 clauses out of 20091 with flag 2725000/2840128
976.33/973.04	c cleaning 9992 clauses out of 20091 with flag 2735000/2850128
979.64/976.39	c cleaning 9983 clauses out of 20099 with flag 2745000/2860128
982.85/979.51	c cleaning 10006 clauses out of 20117 with flag 2755001/2870129
986.06/982.79	c cleaning 10014 clauses out of 20110 with flag 2765000/2880128
989.16/985.85	c cleaning 10004 clauses out of 20096 with flag 2775000/2890128
992.47/989.19	c cleaning 9995 clauses out of 20092 with flag 2785000/2900128
995.77/992.46	c cleaning 10001 clauses out of 20097 with flag 2795000/2910128
998.68/995.37	c cleaning 9999 clauses out of 20097 with flag 2805001/2920129
1001.78/998.44	c cleaning 9993 clauses out of 20105 with flag 2815008/2930136
1005.19/1001.87	c cleaning 10008 clauses out of 20113 with flag 2825009/2940137
1009.20/1005.83	c cleaning 10009 clauses out of 20098 with flag 2835002/2950130
1012.51/1009.11	c cleaning 10000 clauses out of 20088 with flag 2845001/2960129
1015.83/1012.47	c cleaning 10004 clauses out of 20093 with flag 2855006/2970134
1018.84/1015.47	c cleaning 9996 clauses out of 20083 with flag 2865000/2980128
1022.15/1018.70	c cleaning 9917 clauses out of 20087 with flag 2875000/2990128
1025.37/1021.95	c cleaning 10017 clauses out of 20170 with flag 2885000/3000128
1027.77/1024.35	c cleaning 10012 clauses out of 20153 with flag 2895000/3010128
1030.28/1026.89	c cleaning 9996 clauses out of 20142 with flag 2905001/3020129
1033.30/1029.81	c cleaning 9933 clauses out of 20145 with flag 2915000/3030128
1038.80/1035.35	c cleaning 9966 clauses out of 20213 with flag 2925001/3040129
1044.12/1040.65	c cleaning 10038 clauses out of 20247 with flag 2935001/3050129
1047.33/1043.89	c cleaning 10019 clauses out of 20209 with flag 2945001/3060129
1050.53/1047.09	c cleaning 10012 clauses out of 20190 with flag 2955001/3070129
1052.94/1049.49	c cleaning 10075 clauses out of 20177 with flag 2965000/3080128
1055.54/1052.01	c cleaning 10036 clauses out of 20102 with flag 2975000/3090128
1058.04/1054.55	c cleaning 10022 clauses out of 20069 with flag 2985003/3100131
1060.25/1056.73	c cleaning 10010 clauses out of 20046 with flag 2995002/3110130
1062.55/1059.09	c cleaning 9996 clauses out of 20036 with flag 3005002/3120130
1065.17/1061.61	c cleaning 9985 clauses out of 20040 with flag 3015002/3130130
1068.38/1064.88	c cleaning 9990 clauses out of 20056 with flag 3025003/3140131
1071.59/1068.09	c cleaning 10003 clauses out of 20064 with flag 3035001/3150129
1074.80/1071.28	c cleaning 10005 clauses out of 20065 with flag 3045005/3160133
1077.81/1074.27	c cleaning 9999 clauses out of 20057 with flag 3055002/3170130
1080.93/1077.39	c cleaning 9994 clauses out of 20056 with flag 3065000/3180128
1083.54/1079.98	c cleaning 10006 clauses out of 20062 with flag 3075000/3190128
1086.45/1082.81	c cleaning 10000 clauses out of 20056 with flag 3085000/3200128
1089.45/1085.88	c cleaning 10001 clauses out of 20057 with flag 3095001/3210129
1093.16/1089.53	c cleaning 10000 clauses out of 20055 with flag 3105000/3220128
1096.67/1093.04	c cleaning 10003 clauses out of 20055 with flag 3115000/3230128
1099.98/1096.39	c cleaning 10003 clauses out of 20053 with flag 3125001/3240129
1103.69/1100.02	c cleaning 9999 clauses out of 20050 with flag 3135001/3250129
1107.59/1103.95	c cleaning 10000 clauses out of 20050 with flag 3145000/3260128
1111.89/1108.21	c cleaning 10000 clauses out of 20053 with flag 3155003/3270131
1116.30/1112.67	c cleaning 9998 clauses out of 20052 with flag 3165002/3280130
1119.30/1115.69	c cleaning 9999 clauses out of 20052 with flag 3175000/3290128
1122.11/1118.47	c cleaning 10008 clauses out of 20055 with flag 3185002/3300130
1125.02/1121.39	c cleaning 10004 clauses out of 20046 with flag 3195001/3310129
1127.53/1123.88	c cleaning 10003 clauses out of 20044 with flag 3205003/3320131
1130.64/1126.94	c cleaning 10005 clauses out of 20038 with flag 3215000/3330128
1133.75/1130.02	c cleaning 10004 clauses out of 20034 with flag 3225001/3340129
1136.96/1133.22	c cleaning 10001 clauses out of 20030 with flag 3235001/3350129
1140.28/1136.51	c cleaning 9996 clauses out of 20028 with flag 3245000/3360128
1143.40/1139.62	c cleaning 10007 clauses out of 20034 with flag 3255002/3370130
1146.39/1142.62	c cleaning 9996 clauses out of 20029 with flag 3265004/3380132
1149.50/1145.75	c cleaning 9998 clauses out of 20033 with flag 3275004/3390132
1152.50/1148.78	c cleaning 10001 clauses out of 20031 with flag 3285000/3400128
1155.01/1151.21	c cleaning 10003 clauses out of 20033 with flag 3295003/3410131
1157.52/1153.78	c cleaning 9999 clauses out of 20031 with flag 3305004/3420132
1160.33/1156.52	c cleaning 9996 clauses out of 20028 with flag 3315000/3430128
1163.14/1159.31	c cleaning 9999 clauses out of 20032 with flag 3325000/3440128
1166.64/1162.85	c cleaning 9998 clauses out of 20034 with flag 3335001/3450129
1169.85/1166.09	c cleaning 10000 clauses out of 20037 with flag 3345002/3460130
1172.95/1169.19	c cleaning 9998 clauses out of 20037 with flag 3355002/3470130
1176.15/1172.31	c cleaning 10002 clauses out of 20041 with flag 3365004/3480132
1179.25/1175.43	c cleaning 10003 clauses out of 20038 with flag 3375003/3490131
1182.36/1178.55	c cleaning 9999 clauses out of 20033 with flag 3385001/3500129
1185.76/1181.97	c cleaning 10001 clauses out of 20035 with flag 3395002/3510130
1189.67/1185.84	c cleaning 9998 clauses out of 20034 with flag 3405002/3520130
1192.88/1189.10	c cleaning 10000 clauses out of 20037 with flag 3415003/3530131
1196.18/1192.33	c cleaning 9996 clauses out of 20034 with flag 3425000/3540128
1199.59/1195.73	c cleaning 10000 clauses out of 20038 with flag 3435000/3550128
1202.89/1199.05	c cleaning 10000 clauses out of 20040 with flag 3445002/3560130
1206.69/1202.85	c cleaning 9997 clauses out of 20038 with flag 3455000/3570128
1210.19/1206.31	c cleaning 10004 clauses out of 20041 with flag 3465000/3580128
1213.30/1209.44	c cleaning 9998 clauses out of 20038 with flag 3475001/3590129
1216.90/1213.06	c cleaning 10004 clauses out of 20042 with flag 3485003/3600131
1220.41/1216.59	c cleaning 9996 clauses out of 20035 with flag 3495000/3610128
1223.91/1220.08	c cleaning 9999 clauses out of 20042 with flag 3505003/3620131
1227.62/1223.74	c cleaning 10002 clauses out of 20042 with flag 3515002/3630130
1231.12/1227.27	c cleaning 10000 clauses out of 20040 with flag 3525002/3640130
1234.62/1230.75	c cleaning 9997 clauses out of 20038 with flag 3535000/3650128
1237.22/1233.38	c cleaning 10003 clauses out of 20041 with flag 3545000/3660128
1240.24/1236.34	c cleaning 9995 clauses out of 20038 with flag 3555000/3670128
1243.35/1239.48	c cleaning 10013 clauses out of 20045 with flag 3565002/3680130
1246.25/1242.36	c cleaning 9995 clauses out of 20030 with flag 3575000/3690128
1249.27/1245.31	c cleaning 10007 clauses out of 20035 with flag 3585000/3700128
1252.57/1248.65	c cleaning 9999 clauses out of 20029 with flag 3595001/3710129
1255.39/1251.43	c cleaning 10000 clauses out of 20030 with flag 3605001/3720129
1258.30/1254.35	c cleaning 10002 clauses out of 20030 with flag 3615001/3730129
1261.32/1257.40	c cleaning 9992 clauses out of 20027 with flag 3625000/3740128
1264.32/1260.34	c cleaning 10007 clauses out of 20035 with flag 3635000/3750128
1267.12/1263.16	c cleaning 10000 clauses out of 20028 with flag 3645000/3760128
1270.33/1266.31	c cleaning 10001 clauses out of 20028 with flag 3655000/3770128
1273.35/1269.38	c cleaning 9998 clauses out of 20029 with flag 3665002/3780130
1276.15/1272.12	c cleaning 10002 clauses out of 20031 with flag 3675002/3790130
1278.66/1274.68	c cleaning 9997 clauses out of 20029 with flag 3685002/3800130
1281.17/1277.18	c cleaning 10009 clauses out of 20037 with flag 3695007/3810135
1283.87/1279.85	c cleaning 9992 clauses out of 20022 with flag 3705001/3820129
1286.98/1282.97	c cleaning 10007 clauses out of 20032 with flag 3715003/3830131
1290.29/1286.20	c cleaning 9993 clauses out of 20023 with flag 3725001/3840129
1293.50/1289.42	c cleaning 9999 clauses out of 20033 with flag 3735004/3850132
1296.91/1292.88	c cleaning 9999 clauses out of 20031 with flag 3745001/3860129
1299.82/1295.79	c cleaning 9999 clauses out of 20031 with flag 3755000/3870128
1302.82/1298.77	c cleaning 9998 clauses out of 20032 with flag 3765000/3880128
1305.83/1301.77	c cleaning 10008 clauses out of 20035 with flag 3775001/3890129
1308.83/1304.70	c cleaning 10000 clauses out of 20027 with flag 3785001/3900129
1311.83/1307.76	c cleaning 9992 clauses out of 20026 with flag 3795000/3910128
1315.24/1311.13	c cleaning 10005 clauses out of 20034 with flag 3805000/3920128
1318.25/1314.12	c cleaning 10002 clauses out of 20029 with flag 3815000/3930128
1321.35/1317.23	c cleaning 9998 clauses out of 20027 with flag 3825000/3940128
1324.36/1320.29	c cleaning 9997 clauses out of 20030 with flag 3835001/3950129
1327.58/1323.47	c cleaning 9995 clauses out of 20032 with flag 3845000/3960128
1330.58/1326.45	c cleaning 10007 clauses out of 20038 with flag 3855001/3970129
1333.88/1329.76	c cleaning 10000 clauses out of 20030 with flag 3865000/3980128
1336.59/1332.49	c cleaning 9990 clauses out of 20031 with flag 3875001/3990129
1340.00/1335.80	c cleaning 9991 clauses out of 20040 with flag 3885000/4000128
1342.91/1338.75	c cleaning 9986 clauses out of 20053 with flag 3895004/4010132
1346.92/1342.77	c cleaning 9937 clauses out of 20063 with flag 3905000/4020128
1350.33/1346.13	c cleaning 10011 clauses out of 20129 with flag 3915003/4030131
1353.34/1349.18	c cleaning 10010 clauses out of 20121 with flag 3925006/4040134
1356.55/1352.35	c cleaning 9985 clauses out of 20108 with flag 3935003/4050131
1360.56/1356.31	c cleaning 10016 clauses out of 20120 with flag 3945000/4060128
1364.17/1359.97	c cleaning 9994 clauses out of 20104 with flag 3955000/4070128
1368.68/1364.40	c cleaning 9998 clauses out of 20112 with flag 3965002/4080130
1372.89/1368.60	c cleaning 10019 clauses out of 20117 with flag 3975005/4090133
1376.51/1372.29	c cleaning 10002 clauses out of 20093 with flag 3985000/4100128
1379.92/1375.67	c cleaning 9990 clauses out of 20092 with flag 3995001/4110129
1383.23/1378.97	c cleaning 10006 clauses out of 20102 with flag 4005001/4120129
1387.23/1382.91	c cleaning 9982 clauses out of 20096 with flag 4015001/4130129
1391.45/1387.12	c cleaning 10018 clauses out of 20113 with flag 4025000/4140128
1395.46/1391.12	c cleaning 10009 clauses out of 20096 with flag 4035001/4150129
1398.76/1394.44	c cleaning 9991 clauses out of 20086 with flag 4045000/4160128
1402.07/1397.72	c cleaning 10007 clauses out of 20095 with flag 4055000/4170128
1405.27/1400.94	c cleaning 9976 clauses out of 20090 with flag 4065002/4180130
1408.57/1404.29	c cleaning 10009 clauses out of 20113 with flag 4075001/4190129
1411.79/1407.45	c cleaning 9996 clauses out of 20103 with flag 4085000/4200128
1415.70/1411.39	c cleaning 9996 clauses out of 20108 with flag 4095001/4210129
1419.59/1415.28	c cleaning 9987 clauses out of 20113 with flag 4105002/4220130
1424.50/1420.17	c cleaning 10015 clauses out of 20124 with flag 4115000/4230128
1428.20/1423.86	c cleaning 10007 clauses out of 20109 with flag 4125000/4240128
1432.12/1427.77	c cleaning 9975 clauses out of 20102 with flag 4135000/4250128
1435.32/1430.92	c cleaning 10023 clauses out of 20128 with flag 4145001/4260129
1440.03/1435.69	c cleaning 9994 clauses out of 20106 with flag 4155002/4270130
1444.54/1440.12	c cleaning 10004 clauses out of 20111 with flag 4165001/4280129
1448.15/1443.73	c cleaning 10013 clauses out of 20107 with flag 4175001/4290129
1451.55/1447.13	c cleaning 10006 clauses out of 20098 with flag 4185005/4300133
1454.85/1450.42	c cleaning 9986 clauses out of 20087 with flag 4195000/4310128
1458.06/1453.66	c cleaning 10015 clauses out of 20102 with flag 4205001/4320129
1461.56/1457.16	c cleaning 9994 clauses out of 20088 with flag 4215002/4330130
1464.78/1460.38	c cleaning 9992 clauses out of 20092 with flag 4225000/4340128
1468.68/1464.20	c cleaning 9997 clauses out of 20100 with flag 4235000/4350128
1471.99/1467.55	c cleaning 10012 clauses out of 20103 with flag 4245000/4360128
1476.00/1471.55	c cleaning 9985 clauses out of 20093 with flag 4255002/4370130
1479.61/1475.14	c cleaning 9991 clauses out of 20108 with flag 4265002/4380130
1483.31/1478.82	c cleaning 9997 clauses out of 20117 with flag 4275002/4390130
1486.72/1482.29	c cleaning 10006 clauses out of 20118 with flag 4285000/4400128
1490.12/1485.70	c cleaning 10006 clauses out of 20113 with flag 4295001/4410129
1497.02/1492.55	c cleaning 10000 clauses out of 20108 with flag 4305002/4420130
1500.63/1496.18	c cleaning 9969 clauses out of 20106 with flag 4315000/4430128
1504.44/1499.91	c cleaning 10003 clauses out of 20140 with flag 4325003/4440131
1507.85/1503.39	c cleaning 10015 clauses out of 20139 with flag 4335005/4450133
1511.25/1506.74	c cleaning 10004 clauses out of 20120 with flag 4345001/4460129
1514.65/1510.15	c cleaning 10018 clauses out of 20116 with flag 4355001/4470129
1518.16/1513.69	c cleaning 9986 clauses out of 20098 with flag 4365001/4480129
1520.66/1516.14	c cleaning 10018 clauses out of 20111 with flag 4375000/4490128
1522.58/1518.06	c cleaning 10026 clauses out of 20093 with flag 4385000/4500128
1524.98/1520.44	c cleaning 10003 clauses out of 20072 with flag 4395005/4510133
1527.89/1523.37	c cleaning 9995 clauses out of 20067 with flag 4405003/4520131
1530.60/1526.09	c cleaning 10001 clauses out of 20070 with flag 4415001/4530129
1534.21/1529.63	c cleaning 9995 clauses out of 20069 with flag 4425001/4540129
1537.12/1532.58	c cleaning 10007 clauses out of 20073 with flag 4435000/4550128
1540.43/1535.82	c cleaning 10006 clauses out of 20068 with flag 4445002/4560130
1544.74/1540.15	c cleaning 10015 clauses out of 20069 with flag 4455009/4570137
1547.26/1542.68	c cleaning 9988 clauses out of 20045 with flag 4465000/4580128
1550.27/1545.61	c cleaning 9993 clauses out of 20057 with flag 4475000/4590128
1553.57/1548.94	c cleaning 9997 clauses out of 20067 with flag 4485003/4600131
1556.98/1552.37	c cleaning 9996 clauses out of 20069 with flag 4495002/4610130
1559.78/1555.16	c cleaning 10023 clauses out of 20073 with flag 4505002/4620130
1563.09/1558.41	c cleaning 10012 clauses out of 20050 with flag 4515002/4630130
1565.89/1561.20	c cleaning 10005 clauses out of 20037 with flag 4525001/4640129
1569.10/1564.45	c cleaning 10002 clauses out of 20032 with flag 4535001/4650129
1572.12/1567.43	c cleaning 10000 clauses out of 20029 with flag 4545000/4660128
1575.22/1570.53	c cleaning 10001 clauses out of 20030 with flag 4555001/4670129
1578.13/1573.49	c cleaning 10002 clauses out of 20030 with flag 4565002/4680130
1581.43/1576.77	c cleaning 9968 clauses out of 20027 with flag 4575001/4690129
1585.24/1580.58	c cleaning 9982 clauses out of 20058 with flag 4585000/4700128
1589.85/1585.15	c cleaning 9962 clauses out of 20076 with flag 4595000/4710128
1593.16/1588.44	c cleaning 10012 clauses out of 20123 with flag 4605009/4720137
1597.37/1592.70	c cleaning 10002 clauses out of 20102 with flag 4615000/4730128
1601.67/1596.95	c cleaning 9981 clauses out of 20103 with flag 4625003/4740131
1606.38/1601.62	c cleaning 9994 clauses out of 20119 with flag 4635000/4750128
1611.28/1606.54	c cleaning 9982 clauses out of 20125 with flag 4645000/4760128
1614.39/1609.69	c cleaning 9990 clauses out of 20144 with flag 4655001/4770129
1617.50/1612.70	c cleaning 9997 clauses out of 20155 with flag 4665002/4780130
1620.80/1616.01	c cleaning 10065 clauses out of 20156 with flag 4675000/4790128
1624.02/1619.23	c cleaning 10036 clauses out of 20093 with flag 4685002/4800130
1627.63/1622.81	c cleaning 10010 clauses out of 20055 with flag 4695000/4810128
1630.94/1626.18	c cleaning 10008 clauses out of 20045 with flag 4705000/4820128
1634.44/1629.69	c cleaning 10006 clauses out of 20037 with flag 4715000/4830128
1638.06/1633.24	c cleaning 10006 clauses out of 20031 with flag 4725000/4840128
1641.58/1636.75	c cleaning 9998 clauses out of 20025 with flag 4735000/4850128
1645.09/1640.24	c cleaning 9999 clauses out of 20027 with flag 4745000/4860128
1648.60/1643.72	c cleaning 9992 clauses out of 20036 with flag 4755008/4870136
1652.10/1647.24	c cleaning 10006 clauses out of 20036 with flag 4765000/4880128
1655.61/1650.76	c cleaning 9995 clauses out of 20030 with flag 4775000/4890128
1658.92/1654.09	c cleaning 10006 clauses out of 20035 with flag 4785000/4900128
1663.03/1658.19	c cleaning 9996 clauses out of 20030 with flag 4795001/4910129
1668.15/1663.24	c cleaning 10004 clauses out of 20033 with flag 4805000/4920128
1671.66/1666.79	c cleaning 9993 clauses out of 20029 with flag 4815000/4930128
1675.66/1670.77	c cleaning 9994 clauses out of 20036 with flag 4825000/4940128
1679.08/1674.19	c cleaning 9996 clauses out of 20044 with flag 4835002/4950130
1682.58/1677.69	c cleaning 9997 clauses out of 20046 with flag 4845000/4960128
1689.18/1684.25	c cleaning 9994 clauses out of 20049 with flag 4855000/4970128
1695.40/1690.49	c cleaning 9999 clauses out of 20057 with flag 4865002/4980130
1699.70/1694.73	c cleaning 10004 clauses out of 20056 with flag 4875000/4990128
1703.21/1698.29	c cleaning 10002 clauses out of 20054 with flag 4885002/5000130
1706.62/1701.65	c cleaning 10002 clauses out of 20053 with flag 4895003/5010131
1710.22/1705.27	c cleaning 10001 clauses out of 20050 with flag 4905002/5020130
1713.83/1708.82	c cleaning 10002 clauses out of 20050 with flag 4915003/5030131
1717.53/1712.53	c cleaning 10000 clauses out of 20047 with flag 4925002/5040130
1721.45/1716.42	c cleaning 10000 clauses out of 20045 with flag 4935000/5050128
1725.26/1720.20	c cleaning 10002 clauses out of 20048 with flag 4945003/5060131
1729.16/1724.13	c cleaning 9998 clauses out of 20044 with flag 4955001/5070129
1732.77/1727.73	c cleaning 10001 clauses out of 20046 with flag 4965001/5080129
1736.27/1731.30	c cleaning 9996 clauses out of 20044 with flag 4975000/5090128
1739.98/1734.97	c cleaning 10000 clauses out of 20050 with flag 4985002/5100130
1743.68/1738.65	c cleaning 10001 clauses out of 20048 with flag 4995000/5110128
1747.58/1742.54	c cleaning 10001 clauses out of 20048 with flag 5005001/5120129
1751.59/1746.51	c cleaning 10001 clauses out of 20046 with flag 5015000/5130128
1755.20/1750.18	c cleaning 10003 clauses out of 20047 with flag 5025002/5140130
1759.09/1754.00	c cleaning 10004 clauses out of 20042 with flag 5035000/5150128
1763.50/1758.44	c cleaning 9999 clauses out of 20040 with flag 5045002/5160130
1766.91/1761.85	c cleaning 9985 clauses out of 20039 with flag 5055000/5170128
1770.91/1765.87	c cleaning 10018 clauses out of 20055 with flag 5065001/5180129
1774.93/1769.87	c cleaning 10004 clauses out of 20037 with flag 5075001/5190129
1780.13/1775.05	c cleaning 9991 clauses out of 20035 with flag 5085003/5200131
1784.34/1779.23	c cleaning 10013 clauses out of 20043 with flag 5095002/5210130
1788.35/1783.27	c cleaning 10000 clauses out of 20029 with flag 5105001/5220129
1792.46/1787.39	c cleaning 10004 clauses out of 20035 with flag 5115007/5230135
1796.08/1790.95	c cleaning 9996 clauses out of 20026 with flag 5125002/5240130
1799.59/1794.49	c cleaning 10000 clauses out of 20028 with flag 5135000/5250128
1800.10/1794.91	c starts		: 294
1800.10/1794.91	c conflicts		: 5251609
1800.10/1794.91	c decisions		: 7900996
1800.10/1794.91	c propagations		: 148737733
1800.10/1794.91	c inspects		: 7590975997
1800.10/1794.91	c shortcuts		: 0
1800.10/1794.91	c learnt literals	: 0
1800.10/1794.91	c learnt binary clauses	: 0
1800.10/1794.91	c learnt ternary clauses	: 0
1800.10/1794.91	c learnt constraints	: 5251609
1800.10/1794.91	c ignored constraints	: 0
1800.10/1794.91	c root simplifications	: 0
1800.10/1794.91	c removed literals (reason simplification)	: 29297272
1800.10/1794.91	c reason swapping (by a shorter reason)	: 0
1800.10/1794.91	c Calls to reduceDB	: 533
1800.10/1794.91	c number of reductions to clauses (during analyze)	: 0
1800.10/1794.91	c number of learned constraints concerned by reduction	: 0
1800.10/1794.91	c number of learning phase by resolution	: 0
1800.10/1794.91	c number of learning phase by cutting planes	: 0
1800.10/1794.91	c speed (assignments/second)	: 84188.54296261664
1800.10/1794.91	c non guided choices	313626
1800.10/1794.92	c learnt constraints type 
1800.10/1794.92	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 11533
1800.10/1794.92	c constraints type 
1800.10/1794.92	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 82
1800.10/1794.92	c org.sat4j.minisat.constraints.card.MinWatchCard => 56
1800.10/1794.92	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 25
1800.10/1794.92	s SATISFIABLE
1800.10/1794.93	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 
1800.10/1794.93	c objective function=4
1800.10/1794.93	c Total wall clock time (in seconds): 1794.61

Verifier Data 

OK	4

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 1.06 1.57 1.80 3/173 29974
/proc/meminfo: memFree=1560376/32951124 swapFree=67064576/67111528
[pid=29974] ppid=29969 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/29974/stat : 29974 (java) R 29969 29974 28722 0 -1 4202496 225 0 2 0 0 0 0 0 18 0 1 0 883237836 9318400 162 33554432000 1073741824 1073778376 140736198022912 18446744073709551615 264726405111 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29974/statm: 2275 165 125 9 0 67 0

[startup+0.079855 s]
/proc/loadavg: 1.06 1.57 1.80 3/173 29974
/proc/meminfo: memFree=1560376/32951124 swapFree=67064576/67111528
[pid=29974] ppid=29969 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/29974/stat : 29974 (java) D 29969 29974 28722 0 -1 4202496 999 0 49 0 0 0 0 0 17 0 1 0 883237836 23580672 790 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 47504213415888 0 0 4096 0 18446744071562234166 0 0 17 6 0 0 6
/proc/29974/statm: 5757 790 586 9 0 124 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23028

[startup+0.100863 s]
/proc/loadavg: 1.06 1.57 1.80 3/173 29974
/proc/meminfo: memFree=1560376/32951124 swapFree=67064576/67111528
[pid=29974] ppid=29969 vsize=28384 CPUtime=0 cores=0,2,4,6
/proc/29974/stat : 29974 (java) S 29969 29974 28722 0 -1 4202496 1124 0 56 0 0 0 0 0 17 0 2 0 883237836 29065216 906 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738207717 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 7
/proc/29974/statm: 7096 906 688 9 0 381 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28384

[startup+0.300749 s]
/proc/loadavg: 1.06 1.57 1.80 3/173 29974
/proc/meminfo: memFree=1560376/32951124 swapFree=67064576/67111528
[pid=29974] ppid=29969 vsize=10540208 CPUtime=0.12 cores=0,2,4,6
/proc/29974/stat : 29974 (java) S 29969 29974 28722 0 -1 4202496 12779 0 113 0 10 2 0 0 17 0 18 0 883237836 10793172992 12585 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/29974/statm: 2635052 12585 2092 9 0 2625786 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540208

[startup+0.700766 s]
/proc/loadavg: 1.06 1.57 1.80 3/173 29974
/proc/meminfo: memFree=1560376/32951124 swapFree=67064576/67111528
[pid=29974] ppid=29969 vsize=10544308 CPUtime=0.97 cores=0,2,4,6
/proc/29974/stat : 29974 (java) S 29969 29974 28722 0 -1 4202496 18052 0 113 0 94 3 0 0 17 0 19 0 883237836 10797371392 16497 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/29974/statm: 2636077 16497 2227 9 0 2626811 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 10544308

[startup+1.50161 s]
/proc/loadavg: 1.06 1.57 1.80 4/211 30012
/proc/meminfo: memFree=1425092/32951124 swapFree=67064576/67111528
[pid=29974] ppid=29969 vsize=10544308 CPUtime=1.81 cores=0,2,4,6
/proc/29974/stat : 29974 (java) S 29969 29974 28722 0 -1 4202496 20320 0 113 0 178 3 0 0 17 0 19 0 883237836 10797371392 18764 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/29974/statm: 2636077 18764 2227 9 0 2626811 0
[pid=29974/tid=29978] ppid=29969 vsize=10544308 CPUtime=1.28 cores=0,2,4,6
/proc/29974/task/29978/stat : 29978 (java) R 29969 29974 28722 0 -1 4202560 15636 0 56 0 126 2 0 0 20 0 19 0 883237845 10797371392 18764 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 47504218635091 0 4 0 16800975 0 0 0 -1 2 0 0 9
[pid=29974/tid=29979] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29979/stat : 29979 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883237850 10797371392 18764 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29980] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29980/stat : 29980 (java) S 29969 29974 28722 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 883237850 10797371392 18764 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29981] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29981/stat : 29981 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883237850 10797371392 18764 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29982] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29982/stat : 29982 (java) S 29969 29974 28722 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 883237850 10797371392 18764 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29983] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29983/stat : 29983 (java) S 29969 29974 28722 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 883237850 10797371392 18764 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 4 0 0 0
[pid=29974/tid=29984] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29984/stat : 29984 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883237850 10797371392 18764 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 4 0 0 0
[pid=29974/tid=29985] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29985/stat : 29985 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883237850 10797371392 18764 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29986] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29986/stat : 29986 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883237850 10797371392 18764 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29995] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29995/stat : 29995 (java) S 29969 29974 28722 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 883237853 10797371392 18764 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 0 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29997] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29997/stat : 29997 (java) S 29969 29974 28722 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 883237855 10797371392 18764 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29999] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29999/stat : 29999 (java) S 29969 29974 28722 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 883237855 10797371392 18764 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30002] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30002/stat : 30002 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883237860 10797371392 18764 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738228657 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30004] ppid=29969 vsize=10544308 CPUtime=0.28 cores=0,2,4,6
/proc/29974/task/30004/stat : 30004 (java) S 29969 29974 28722 0 -1 4202560 1414 0 0 0 28 0 0 0 16 0 19 0 883237860 10797371392 18764 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 4 0 0 0
[pid=29974/tid=30006] ppid=29969 vsize=10544308 CPUtime=0.23 cores=0,2,4,6
/proc/29974/task/30006/stat : 30006 (java) S 29969 29974 28722 0 -1 4202560 2159 0 2 0 23 0 0 0 16 0 19 0 883237860 10797371392 18764 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30008] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30008/stat : 30008 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883237860 10797371392 18764 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30010] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30010/stat : 30010 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883237860 10797371392 18765 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 4 0 16800975 18446604440279315712 0 0 -1 0 0 0 0
[pid=29974/tid=30011] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30011/stat : 30011 (java) S 29969 29974 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883237884 10797371392 18765 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 10544308

[startup+3.10132 s]
/proc/loadavg: 1.14 1.58 1.80 4/211 30012
/proc/meminfo: memFree=1392320/32951124 swapFree=67064576/67111528
[pid=29974] ppid=29969 vsize=10544308 CPUtime=3.47 cores=0,2,4,6
/proc/29974/stat : 29974 (java) S 29969 29974 28722 0 -1 4202496 25514 0 113 0 344 3 0 0 17 0 19 0 883237836 10797371392 23857 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/29974/statm: 2636077 23857 2252 9 0 2626811 0
[pid=29974/tid=29978] ppid=29969 vsize=10544308 CPUtime=2.84 cores=0,2,4,6
/proc/29974/task/29978/stat : 29978 (java) R 29969 29974 28722 0 -1 4202560 15999 0 56 0 282 2 0 0 25 0 19 0 883237845 10797371392 23857 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 46912505635805 0 4 0 16800975 0 0 0 -1 2 0 0 9
[pid=29974/tid=29979] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29979/stat : 29979 (java) S 29969 29974 28722 0 -1 4202560 690 0 0 0 0 0 0 0 18 0 19 0 883237850 10797371392 23857 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29980] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29980/stat : 29980 (java) S 29969 29974 28722 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 883237850 10797371392 23857 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29981] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29981/stat : 29981 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883237850 10797371392 23857 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 4 0 0 0
[pid=29974/tid=29982] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29982/stat : 29982 (java) S 29969 29974 28722 0 -1 4202560 1020 0 0 0 0 0 0 0 18 0 19 0 883237850 10797371392 23857 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 4 0 0 0
[pid=29974/tid=29983] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29983/stat : 29983 (java) S 29969 29974 28722 0 -1 4202560 180 0 0 0 0 0 0 0 15 0 19 0 883237850 10797371392 23857 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 4 0 0 0
[pid=29974/tid=29984] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29984/stat : 29984 (java) S 29969 29974 28722 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 19 0 883237850 10797371392 23857 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 0 0 0 0
[pid=29974/tid=29985] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29985/stat : 29985 (java) S 29969 29974 28722 0 -1 4202560 618 0 0 0 0 0 0 0 15 0 19 0 883237850 10797371392 23857 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29986] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29986/stat : 29986 (java) S 29969 29974 28722 0 -1 4202560 180 0 0 0 0 0 0 0 18 0 19 0 883237850 10797371392 23857 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 0 0 0 0
[pid=29974/tid=29995] ppid=29969 vsize=10544308 CPUtime=0.03 cores=0,2,4,6
/proc/29974/task/29995/stat : 29995 (java) S 29969 29974 28722 0 -1 4202560 1836 0 0 0 3 0 0 0 16 0 19 0 883237853 10797371392 23857 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 0 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29997] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29997/stat : 29997 (java) S 29969 29974 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883237855 10797371392 23857 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29999] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29999/stat : 29999 (java) S 29969 29974 28722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883237855 10797371392 23857 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30002] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30002/stat : 30002 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883237860 10797371392 23857 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738228657 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30004] ppid=29969 vsize=10544308 CPUtime=0.31 cores=0,2,4,6
/proc/29974/task/30004/stat : 30004 (java) S 29969 29974 28722 0 -1 4202560 1422 0 0 0 31 0 0 0 16 0 19 0 883237860 10797371392 23857 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 4 0 0 0
[pid=29974/tid=30006] ppid=29969 vsize=10544308 CPUtime=0.26 cores=0,2,4,6
/proc/29974/task/30006/stat : 30006 (java) S 29969 29974 28722 0 -1 4202560 2257 0 2 0 26 0 0 0 15 0 19 0 883237860 10797371392 23857 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30008] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30008/stat : 30008 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883237860 10797371392 23857 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30010] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30010/stat : 30010 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883237860 10797371392 23857 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 4 0 16800975 18446604440279315712 0 0 -1 0 0 0 0
[pid=29974/tid=30011] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30011/stat : 30011 (java) S 29969 29974 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883237884 10797371392 23857 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 10544308

[startup+6.30071 s]
/proc/loadavg: 1.14 1.58 1.80 4/211 30013
/proc/meminfo: memFree=1354096/32951124 swapFree=67064576/67111528
[pid=29974] ppid=29969 vsize=10544308 CPUtime=6.74 cores=0,2,4,6
/proc/29974/stat : 29974 (java) S 29969 29974 28722 0 -1 4202496 27099 0 113 0 670 4 0 0 17 0 19 0 883237836 10797371392 25273 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/29974/statm: 2636077 25273 2252 9 0 2626811 0
[pid=29974/tid=29978] ppid=29969 vsize=10544308 CPUtime=5.99 cores=0,2,4,6
/proc/29974/task/29978/stat : 29978 (java) R 29969 29974 28722 0 -1 4202560 16002 0 56 0 597 2 0 0 25 0 19 0 883237845 10797371392 25273 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 46912505635858 0 4 0 16800975 0 0 0 -1 2 0 0 9
[pid=29974/tid=29979] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29979/stat : 29979 (java) S 29969 29974 28722 0 -1 4202560 690 0 0 0 0 0 0 0 15 0 19 0 883237850 10797371392 25273 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29980] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29980/stat : 29980 (java) S 29969 29974 28722 0 -1 4202560 190 0 0 0 0 0 0 0 15 0 19 0 883237850 10797371392 25273 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29981] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29981/stat : 29981 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883237850 10797371392 25273 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 4 0 0 0
[pid=29974/tid=29982] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29982/stat : 29982 (java) S 29969 29974 28722 0 -1 4202560 1052 0 0 0 0 0 0 0 16 0 19 0 883237850 10797371392 25273 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 4 0 0 0
[pid=29974/tid=29983] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29983/stat : 29983 (java) S 29969 29974 28722 0 -1 4202560 432 0 0 0 0 0 0 0 15 0 19 0 883237850 10797371392 25273 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 0 0 0 0
[pid=29974/tid=29984] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29984/stat : 29984 (java) S 29969 29974 28722 0 -1 4202560 467 0 0 0 0 0 0 0 15 0 19 0 883237850 10797371392 25273 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 0 0 0 0
[pid=29974/tid=29985] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29985/stat : 29985 (java) S 29969 29974 28722 0 -1 4202560 633 0 0 0 0 0 0 0 16 0 19 0 883237850 10797371392 25273 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29986] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29986/stat : 29986 (java) S 29969 29974 28722 0 -1 4202560 180 0 0 0 0 0 0 0 15 0 19 0 883237850 10797371392 25273 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 0 0 0 0
[pid=29974/tid=29995] ppid=29969 vsize=10544308 CPUtime=0.06 cores=0,2,4,6
/proc/29974/task/29995/stat : 29995 (java) S 29969 29974 28722 0 -1 4202560 2506 0 0 0 6 0 0 0 16 0 19 0 883237853 10797371392 25273 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 0 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29997] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29997/stat : 29997 (java) S 29969 29974 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883237855 10797371392 25273 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29999] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29999/stat : 29999 (java) S 29969 29974 28722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883237855 10797371392 25273 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30002] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30002/stat : 30002 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883237860 10797371392 25273 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738228657 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30004] ppid=29969 vsize=10544308 CPUtime=0.36 cores=0,2,4,6
/proc/29974/task/30004/stat : 30004 (java) S 29969 29974 28722 0 -1 4202560 1592 0 0 0 36 0 0 0 15 0 19 0 883237860 10797371392 25273 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 4 0 0 0
[pid=29974/tid=30006] ppid=29969 vsize=10544308 CPUtime=0.27 cores=0,2,4,6
/proc/29974/task/30006/stat : 30006 (java) S 29969 29974 28722 0 -1 4202560 2257 0 2 0 27 0 0 0 15 0 19 0 883237860 10797371392 25273 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30008] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30008/stat : 30008 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883237860 10797371392 25273 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30010] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30010/stat : 30010 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883237860 10797371392 25273 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 4 0 16800975 18446604440279315712 0 0 -1 0 0 0 0
[pid=29974/tid=30011] ppid=29969 vsize=10544308 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30011/stat : 30011 (java) S 29969 29974 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883237884 10797371392 25273 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 10544308

[startup+12.7015 s]

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

[pid=29974/tid=29984] ppid=29969 vsize=10543432 CPUtime=0.84 cores=0,2,4,6
/proc/29974/task/29984/stat : 29984 (java) S 29969 29974 28722 0 -1 4202560 3117 0 0 0 84 0 0 0 16 0 19 0 883237850 10796474368 63395 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29985] ppid=29969 vsize=10543432 CPUtime=0.91 cores=0,2,4,6
/proc/29974/task/29985/stat : 29985 (java) S 29969 29974 28722 0 -1 4202560 3857 0 0 0 91 0 0 0 16 0 19 0 883237850 10796474368 63395 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 0 0 0 0
[pid=29974/tid=29986] ppid=29969 vsize=10543432 CPUtime=0.82 cores=0,2,4,6
/proc/29974/task/29986/stat : 29986 (java) S 29969 29974 28722 0 -1 4202560 1157 0 0 0 82 0 0 0 15 0 19 0 883237850 10796474368 63395 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29995] ppid=29969 vsize=10543432 CPUtime=20.73 cores=0,2,4,6
/proc/29974/task/29995/stat : 29995 (java) S 29969 29974 28722 0 -1 4202560 19312 0 0 0 2064 9 0 0 15 0 19 0 883237853 10796474368 63395 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 0 0 16800975 18446604440279315712 0 0 -1 4 0 0 0
[pid=29974/tid=29997] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29997/stat : 29997 (java) S 29969 29974 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883237855 10796474368 63395 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29999] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29999/stat : 29999 (java) S 29969 29974 28722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883237855 10796474368 63395 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30002] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30002/stat : 30002 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883237860 10796474368 63395 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738228657 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30004] ppid=29969 vsize=10543432 CPUtime=0.38 cores=0,2,4,6
/proc/29974/task/30004/stat : 30004 (java) S 29969 29974 28722 0 -1 4202560 1788 0 0 0 38 0 0 0 15 0 19 0 883237860 10796474368 63395 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 4 0 0 0
[pid=29974/tid=30006] ppid=29969 vsize=10543432 CPUtime=0.27 cores=0,2,4,6
/proc/29974/task/30006/stat : 30006 (java) S 29969 29974 28722 0 -1 4202560 2257 0 2 0 27 0 0 0 15 0 19 0 883237860 10796474368 63395 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30008] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30008/stat : 30008 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883237860 10796474368 63395 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30010] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30010/stat : 30010 (java) S 29969 29974 28722 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 883237860 10796474368 63395 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 4 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=30011] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30011/stat : 30011 (java) S 29969 29974 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883237884 10796474368 63395 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1727.36
Current children cumulated vsize (KiB) 10543432

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/211 30069
/proc/meminfo: memFree=1041660/32951124 swapFree=67064576/67111528
[pid=29974] ppid=29969 vsize=10543432 CPUtime=1787.45 cores=0,2,4,6
/proc/29974/stat : 29974 (java) S 29969 29974 28722 0 -1 4202496 66416 0 113 0 178721 24 0 0 17 0 19 0 883237836 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/29974/statm: 2635858 63401 2253 9 0 2626592 0
[pid=29974/tid=29978] ppid=29969 vsize=10543432 CPUtime=1758.24 cores=0,2,4,6
/proc/29974/task/29978/stat : 29978 (java) R 29969 29974 28722 0 -1 4202560 22103 0 56 0 175818 6 0 0 25 0 19 0 883237845 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 46912505611488 0 4 0 16800975 0 0 0 -1 2 0 0 9
[pid=29974/tid=29979] ppid=29969 vsize=10543432 CPUtime=0.86 cores=0,2,4,6
/proc/29974/task/29979/stat : 29979 (java) S 29969 29974 28722 0 -1 4202560 1957 0 0 0 86 0 0 0 16 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29980] ppid=29969 vsize=10543432 CPUtime=0.87 cores=0,2,4,6
/proc/29974/task/29980/stat : 29980 (java) S 29969 29974 28722 0 -1 4202560 2508 0 0 0 87 0 0 0 16 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29981] ppid=29969 vsize=10543432 CPUtime=0.89 cores=0,2,4,6
/proc/29974/task/29981/stat : 29981 (java) S 29969 29974 28722 0 -1 4202560 1514 0 0 0 89 0 0 0 15 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29982] ppid=29969 vsize=10543432 CPUtime=0.86 cores=0,2,4,6
/proc/29974/task/29982/stat : 29982 (java) S 29969 29974 28722 0 -1 4202560 2697 0 0 0 86 0 0 0 15 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29983] ppid=29969 vsize=10543432 CPUtime=0.82 cores=0,2,4,6
/proc/29974/task/29983/stat : 29983 (java) S 29969 29974 28722 0 -1 4202560 2945 0 0 0 82 0 0 0 15 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 0 0 0 0
[pid=29974/tid=29984] ppid=29969 vsize=10543432 CPUtime=0.86 cores=0,2,4,6
/proc/29974/task/29984/stat : 29984 (java) S 29969 29974 28722 0 -1 4202560 3117 0 0 0 86 0 0 0 16 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 0 0 0 0
[pid=29974/tid=29985] ppid=29969 vsize=10543432 CPUtime=0.92 cores=0,2,4,6
/proc/29974/task/29985/stat : 29985 (java) S 29969 29974 28722 0 -1 4202560 3860 0 0 0 92 0 0 0 15 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29986] ppid=29969 vsize=10543432 CPUtime=0.84 cores=0,2,4,6
/proc/29974/task/29986/stat : 29986 (java) S 29969 29974 28722 0 -1 4202560 1157 0 0 0 84 0 0 0 15 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29995] ppid=29969 vsize=10543432 CPUtime=21.49 cores=0,2,4,6
/proc/29974/task/29995/stat : 29995 (java) S 29969 29974 28722 0 -1 4202560 19314 0 0 0 2139 10 0 0 15 0 19 0 883237853 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 0 0 16800975 18446604440279315712 0 0 -1 4 0 0 0
[pid=29974/tid=29997] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29997/stat : 29997 (java) S 29969 29974 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883237855 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29999] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29999/stat : 29999 (java) S 29969 29974 28722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883237855 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30002] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30002/stat : 30002 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883237860 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738228657 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30004] ppid=29969 vsize=10543432 CPUtime=0.38 cores=0,2,4,6
/proc/29974/task/30004/stat : 30004 (java) S 29969 29974 28722 0 -1 4202560 1788 0 0 0 38 0 0 0 15 0 19 0 883237860 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 4 0 0 0
[pid=29974/tid=30006] ppid=29969 vsize=10543432 CPUtime=0.27 cores=0,2,4,6
/proc/29974/task/30006/stat : 30006 (java) S 29969 29974 28722 0 -1 4202560 2257 0 2 0 27 0 0 0 15 0 19 0 883237860 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30008] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30008/stat : 30008 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883237860 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30010] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30010/stat : 30010 (java) S 29969 29974 28722 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 883237860 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 4 0 16800975 18446604440279315712 0 0 -1 0 0 0 0
[pid=29974/tid=30011] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30011/stat : 30011 (java) S 29969 29974 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883237884 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1787.45
Current children cumulated vsize (KiB) 10543432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.9 s]
/proc/loadavg: 2.00 2.00 1.92 3/211 30069
/proc/meminfo: memFree=1039912/32951124 swapFree=67064576/67111528
[pid=29974] ppid=29969 vsize=10543432 CPUtime=1800.1 cores=0,2,4,6
/proc/29974/stat : 29974 (java) S 29969 29974 28722 0 -1 4202496 66424 0 113 0 179986 24 0 0 17 0 19 0 883237836 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/29974/statm: 2635858 63401 2253 9 0 2626592 0
[pid=29974/tid=29978] ppid=29969 vsize=10543432 CPUtime=1770.63 cores=0,2,4,6
/proc/29974/task/29978/stat : 29978 (java) R 29969 29974 28722 0 -1 4202560 22107 0 56 0 177057 6 0 0 18 0 19 0 883237845 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 46912505635736 0 4 0 16800975 0 0 0 -1 2 0 0 9
[pid=29974/tid=29979] ppid=29969 vsize=10543432 CPUtime=0.87 cores=0,2,4,6
/proc/29974/task/29979/stat : 29979 (java) S 29969 29974 28722 0 -1 4202560 1957 0 0 0 87 0 0 0 16 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29980] ppid=29969 vsize=10543432 CPUtime=0.87 cores=0,2,4,6
/proc/29974/task/29980/stat : 29980 (java) S 29969 29974 28722 0 -1 4202560 2508 0 0 0 87 0 0 0 15 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29981] ppid=29969 vsize=10543432 CPUtime=0.9 cores=0,2,4,6
/proc/29974/task/29981/stat : 29981 (java) S 29969 29974 28722 0 -1 4202560 1514 0 0 0 90 0 0 0 15 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29982] ppid=29969 vsize=10543432 CPUtime=0.86 cores=0,2,4,6
/proc/29974/task/29982/stat : 29982 (java) S 29969 29974 28722 0 -1 4202560 2697 0 0 0 86 0 0 0 16 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 0 0 0 0
[pid=29974/tid=29983] ppid=29969 vsize=10543432 CPUtime=0.83 cores=0,2,4,6
/proc/29974/task/29983/stat : 29983 (java) S 29969 29974 28722 0 -1 4202560 2945 0 0 0 83 0 0 0 15 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 0 0 0 0
[pid=29974/tid=29984] ppid=29969 vsize=10543432 CPUtime=0.88 cores=0,2,4,6
/proc/29974/task/29984/stat : 29984 (java) S 29969 29974 28722 0 -1 4202560 3117 0 0 0 88 0 0 0 16 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29985] ppid=29969 vsize=10543432 CPUtime=0.93 cores=0,2,4,6
/proc/29974/task/29985/stat : 29985 (java) S 29969 29974 28722 0 -1 4202560 3860 0 0 0 93 0 0 0 15 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29986] ppid=29969 vsize=10543432 CPUtime=0.85 cores=0,2,4,6
/proc/29974/task/29986/stat : 29986 (java) S 29969 29974 28722 0 -1 4202560 1157 0 0 0 85 0 0 0 15 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29995] ppid=29969 vsize=10543432 CPUtime=21.69 cores=0,2,4,6
/proc/29974/task/29995/stat : 29995 (java) S 29969 29974 28722 0 -1 4202560 19316 0 0 0 2159 10 0 0 15 0 19 0 883237853 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 0 0 16800975 18446604440279315712 0 0 -1 4 0 0 0
[pid=29974/tid=29997] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29997/stat : 29997 (java) S 29969 29974 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883237855 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29999] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29999/stat : 29999 (java) S 29969 29974 28722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883237855 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30002] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30002/stat : 30002 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883237860 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738228657 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30004] ppid=29969 vsize=10543432 CPUtime=0.38 cores=0,2,4,6
/proc/29974/task/30004/stat : 30004 (java) S 29969 29974 28722 0 -1 4202560 1788 0 0 0 38 0 0 0 15 0 19 0 883237860 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 4 0 0 0
[pid=29974/tid=30006] ppid=29969 vsize=10543432 CPUtime=0.27 cores=0,2,4,6
/proc/29974/task/30006/stat : 30006 (java) S 29969 29974 28722 0 -1 4202560 2257 0 2 0 27 0 0 0 15 0 19 0 883237860 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30008] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30008/stat : 30008 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883237860 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30010] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30010/stat : 30010 (java) S 29969 29974 28722 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 883237860 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 4 0 16800975 18446604440279315712 0 0 -1 0 0 0 0
[pid=29974/tid=30011] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30011/stat : 30011 (java) S 29969 29974 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883237884 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10543432

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

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

[startup+1794.9 s]
/proc/loadavg: 2.00 2.00 1.92 3/211 30069
/proc/meminfo: memFree=1039912/32951124 swapFree=67064576/67111528
[pid=29974] ppid=29969 vsize=10543432 CPUtime=1800.1 cores=0,2,4,6
/proc/29974/stat : 29974 (java) S 29969 29974 28722 0 -1 4202496 66424 0 113 0 179986 24 0 0 17 0 19 0 883237836 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 7
/proc/29974/statm: 2635858 63401 2253 9 0 2626592 0
[pid=29974/tid=29978] ppid=29969 vsize=10543432 CPUtime=1770.63 cores=0,2,4,6
/proc/29974/task/29978/stat : 29978 (java) R 29969 29974 28722 0 -1 4202560 22107 0 56 0 177057 6 0 0 18 0 19 0 883237845 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 46912505635736 0 4 0 16800975 0 0 0 -1 2 0 0 9
[pid=29974/tid=29979] ppid=29969 vsize=10543432 CPUtime=0.87 cores=0,2,4,6
/proc/29974/task/29979/stat : 29979 (java) S 29969 29974 28722 0 -1 4202560 1957 0 0 0 87 0 0 0 16 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29980] ppid=29969 vsize=10543432 CPUtime=0.87 cores=0,2,4,6
/proc/29974/task/29980/stat : 29980 (java) S 29969 29974 28722 0 -1 4202560 2508 0 0 0 87 0 0 0 15 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29981] ppid=29969 vsize=10543432 CPUtime=0.9 cores=0,2,4,6
/proc/29974/task/29981/stat : 29981 (java) S 29969 29974 28722 0 -1 4202560 1514 0 0 0 90 0 0 0 15 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29982] ppid=29969 vsize=10543432 CPUtime=0.86 cores=0,2,4,6
/proc/29974/task/29982/stat : 29982 (java) S 29969 29974 28722 0 -1 4202560 2697 0 0 0 86 0 0 0 16 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 0 0 0 0
[pid=29974/tid=29983] ppid=29969 vsize=10543432 CPUtime=0.83 cores=0,2,4,6
/proc/29974/task/29983/stat : 29983 (java) S 29969 29974 28722 0 -1 4202560 2945 0 0 0 83 0 0 0 15 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 0 0 0 0
[pid=29974/tid=29984] ppid=29969 vsize=10543432 CPUtime=0.88 cores=0,2,4,6
/proc/29974/task/29984/stat : 29984 (java) S 29969 29974 28722 0 -1 4202560 3117 0 0 0 88 0 0 0 16 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29985] ppid=29969 vsize=10543432 CPUtime=0.93 cores=0,2,4,6
/proc/29974/task/29985/stat : 29985 (java) S 29969 29974 28722 0 -1 4202560 3860 0 0 0 93 0 0 0 15 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29986] ppid=29969 vsize=10543432 CPUtime=0.85 cores=0,2,4,6
/proc/29974/task/29986/stat : 29986 (java) S 29969 29974 28722 0 -1 4202560 1157 0 0 0 85 0 0 0 15 0 19 0 883237850 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=29995] ppid=29969 vsize=10543432 CPUtime=21.69 cores=0,2,4,6
/proc/29974/task/29995/stat : 29995 (java) S 29969 29974 28722 0 -1 4202560 19316 0 0 0 2159 10 0 0 15 0 19 0 883237853 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 0 0 16800975 18446604440279315712 0 0 -1 4 0 0 0
[pid=29974/tid=29997] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29997/stat : 29997 (java) S 29969 29974 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883237855 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 2 0 0 0
[pid=29974/tid=29999] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/29999/stat : 29999 (java) S 29969 29974 28722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883237855 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30002] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30002/stat : 30002 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883237860 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738228657 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30004] ppid=29969 vsize=10543432 CPUtime=0.38 cores=0,2,4,6
/proc/29974/task/30004/stat : 30004 (java) S 29969 29974 28722 0 -1 4202560 1788 0 0 0 38 0 0 0 15 0 19 0 883237860 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 4 0 0 0
[pid=29974/tid=30006] ppid=29969 vsize=10543432 CPUtime=0.27 cores=0,2,4,6
/proc/29974/task/30006/stat : 30006 (java) S 29969 29974 28722 0 -1 4202560 2257 0 2 0 27 0 0 0 15 0 19 0 883237860 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30008] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30008/stat : 30008 (java) S 29969 29974 28722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883237860 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738220953 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
[pid=29974/tid=30010] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30010/stat : 30010 (java) S 29969 29974 28722 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 883237860 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 4 0 16800975 18446604440279315712 0 0 -1 0 0 0 0
[pid=29974/tid=30011] ppid=29969 vsize=10543432 CPUtime=0 cores=0,2,4,6
/proc/29974/task/30011/stat : 30011 (java) S 29969 29974 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883237884 10796474368 63401 33554432000 1073741824 1073778376 140735828296512 18446744073709551615 264738221568 0 4 0 16800975 18446604440279315712 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10543432

Child status: 143
Real time (s): 1794.95
CPU time (s): 1800.19
CPU user time (s): 1799.93
CPU system time (s): 0.25796
CPU usage (%): 100.292
Max. virtual memory (cumulated for all children) (KiB): 10544592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.25796
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66517
page faults= 113
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51743
involuntary context switches= 20649

runsolver used 3.07653 second user time and 6.69098 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-12 21:50:22
IDJOB=3492185
IDBENCH=78674
IDSOLVER=1982
FILE ID=node141/3492185-1307908222
RUNJOBID= node141-1307908222-29947
PBS_JOBID= 13559567
Free space on /var/tmp= 2912 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492185-1307908222/watcher-3492185-1307908222 -o /var/tmp/evaluation-result-3492185-1307908222/solver-3492185-1307908222 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492185-1307908222.wbo

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

MD5SUM BENCH= e57b036b50f33fe5c7ba72826e4a4d5e
RANDOM SEED=718379557

node141.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	: 5362.96
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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:     32951124 kB
MemFree:       1561108 kB
Buffers:         57816 kB
Cached:       30367164 kB
SwapCached:       8816 kB
Active:       15186568 kB
Inactive:     15255296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1561108 kB
SwapTotal:    67111528 kB
SwapFree:     67064576 kB
Dirty:             812 kB
Writeback:           0 kB
AnonPages:       14888 kB
Mapped:           9492 kB
Slab:           884748 kB
PageTables:       4768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   154808 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2912 MiB
End job on node141 at 2011-06-12 22:20:19