Trace number 3459446

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0OPT60 362.352 361.156

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
MD5SUM8521955d0869ff4fe0390118a5fbc0f9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark60
Best CPU time to get the best result obtained on this benchmark0.051992
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 60
Optimality of the best value was proved YES
Number of variables696
Total number of constraints2096
Number of constraints which are clauses2072
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint29
Number of terms in the objective function 696
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 696
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 696
Number of bits of the biggest sum of numbers10
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.1.v20110525
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.18-164.el5
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		12995394264
0.08/0.10	c Max memory 		13063553024
0.08/0.10	c Total memory 		13063553024
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3459446-1307146634.opb
0.08/0.12	c reading problem ... 
0.24/0.29	c ... done. Wall clock time 0.166s.
0.24/0.29	c #vars     696
0.24/0.29	c #constraints  2096
0.24/0.29	c constraints type 
0.24/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1666
0.24/0.29	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
0.24/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 406
0.88/0.51	c SATISFIABLE
0.88/0.51	c OPTIMIZING...
0.88/0.51	c Got one! Elapsed wall clock time (in seconds):0.388
0.88/0.51	o 72
1.05/0.63	c cleaning 2678 clauses out of 5362 with flag 2000/5362
1.30/0.84	c Got one! Elapsed wall clock time (in seconds):0.714
1.30/0.84	o 70
1.30/0.85	c Got one! Elapsed wall clock time (in seconds):0.727
1.30/0.85	o 68
1.56/1.09	c cleaning 6699 clauses out of 13412 with flag 5001/16091
1.86/1.35	c cleaning 6356 clauses out of 12716 with flag 11004/22094
2.26/1.67	c cleaning 6675 clauses out of 13358 with flag 18002/29092
2.71/2.02	c cleaning 7335 clauses out of 14683 with flag 26002/37092
2.82/2.18	c Got one! Elapsed wall clock time (in seconds):2.062
2.82/2.18	o 66
2.93/2.29	c cleaning 6431 clauses out of 12865 with flag 2000/42610
3.21/2.59	c cleaning 6200 clauses out of 12435 with flag 8001/48611
3.42/2.71	c Got one! Elapsed wall clock time (in seconds):2.584
3.42/2.71	o 64
3.62/2.97	c cleaning 5873 clauses out of 11773 with flag 4000/54149
3.93/3.27	c cleaning 5934 clauses out of 11900 with flag 10000/60149
4.32/3.70	c cleaning 6465 clauses out of 12967 with flag 17001/67150
4.83/4.17	c cleaning 7237 clauses out of 14501 with flag 25000/75149
5.15/4.42	c Got one! Elapsed wall clock time (in seconds):4.299
5.15/4.42	o 62
5.15/4.49	c cleaning 6134 clauses out of 12289 with flag 1001/80174
5.63/4.93	c cleaning 6066 clauses out of 12155 with flag 7001/86174
5.93/5.28	c cleaning 6525 clauses out of 13088 with flag 14001/93174
6.43/5.76	c cleaning 7262 clauses out of 14563 with flag 22001/101174
7.03/6.31	c cleaning 8133 clauses out of 16300 with flag 31000/110173
7.63/6.96	c cleaning 9068 clauses out of 18168 with flag 41001/120174
8.23/7.58	c cleaning 9539 clauses out of 19100 with flag 51001/130174
8.83/8.18	c cleaning 9769 clauses out of 19560 with flag 61000/140173
9.44/8.81	c cleaning 9880 clauses out of 19791 with flag 71000/150173
10.14/9.48	c cleaning 9950 clauses out of 19913 with flag 81002/160175
10.85/10.12	c cleaning 9963 clauses out of 19960 with flag 91000/170173
11.45/10.75	c cleaning 9987 clauses out of 19997 with flag 101000/180173
12.05/11.37	c cleaning 10000 clauses out of 20011 with flag 111001/190174
12.76/12.04	c cleaning 9997 clauses out of 20011 with flag 121001/200174
13.45/12.70	c cleaning 9985 clauses out of 20013 with flag 131000/210173
14.05/13.37	c cleaning 9995 clauses out of 20028 with flag 141000/220173
14.75/14.06	c cleaning 9991 clauses out of 20033 with flag 151000/230173
15.45/14.77	c cleaning 10009 clauses out of 20043 with flag 161001/240174
16.25/15.55	c cleaning 10006 clauses out of 20033 with flag 171000/250173
16.95/16.22	c cleaning 9997 clauses out of 20027 with flag 181000/260173
17.65/16.91	c cleaning 9992 clauses out of 20030 with flag 191000/270173
18.26/17.59	c cleaning 9992 clauses out of 20038 with flag 201000/280173
18.96/18.23	c cleaning 10019 clauses out of 20047 with flag 211001/290174
19.66/18.91	c cleaning 10005 clauses out of 20027 with flag 221000/300173
20.26/19.57	c cleaning 9991 clauses out of 20022 with flag 231000/310173
20.96/20.27	c cleaning 9996 clauses out of 20031 with flag 241000/320173
21.68/20.97	c cleaning 9997 clauses out of 20035 with flag 251000/330173
22.46/21.72	c cleaning 9992 clauses out of 20038 with flag 261000/340173
23.16/22.41	c cleaning 10015 clauses out of 20046 with flag 271000/350173
23.88/23.15	c cleaning 9993 clauses out of 20032 with flag 281001/360174
24.56/23.88	c cleaning 10015 clauses out of 20042 with flag 291004/370177
25.36/24.64	c cleaning 9986 clauses out of 20024 with flag 301001/380174
26.08/25.33	c cleaning 9991 clauses out of 20037 with flag 311000/390173
26.76/26.04	c cleaning 10004 clauses out of 20047 with flag 321001/400174
27.47/26.78	c cleaning 10015 clauses out of 20042 with flag 331000/410173
28.18/27.47	c cleaning 9996 clauses out of 20027 with flag 341000/420173
28.87/28.13	c cleaning 10006 clauses out of 20033 with flag 351002/430175
29.57/28.82	c cleaning 10003 clauses out of 20025 with flag 361000/440173
30.27/29.55	c cleaning 10001 clauses out of 20021 with flag 371000/450173
30.97/30.24	c cleaning 9990 clauses out of 20022 with flag 381002/460175
31.67/30.90	c cleaning 9996 clauses out of 20031 with flag 391001/470174
32.37/31.63	c cleaning 9996 clauses out of 20035 with flag 401001/480174
33.07/32.36	c cleaning 10009 clauses out of 20040 with flag 411002/490175
33.68/33.00	c cleaning 10002 clauses out of 20027 with flag 421000/500173
34.47/33.75	c cleaning 9992 clauses out of 20025 with flag 431000/510173
35.17/34.49	c cleaning 10000 clauses out of 20034 with flag 441001/520174
35.88/35.18	c cleaning 10006 clauses out of 20033 with flag 451000/530173
36.68/35.93	c cleaning 9984 clauses out of 20027 with flag 461000/540173
37.48/36.73	c cleaning 10000 clauses out of 20044 with flag 471001/550174
38.20/37.44	c cleaning 9994 clauses out of 20043 with flag 481000/560173
38.98/38.22	c cleaning 10005 clauses out of 20051 with flag 491002/570175
39.68/38.94	c cleaning 10005 clauses out of 20045 with flag 501001/580174
40.42/39.67	c cleaning 10000 clauses out of 20039 with flag 511000/590173
41.20/40.43	c cleaning 10006 clauses out of 20039 with flag 521000/600173
41.90/41.17	c cleaning 10004 clauses out of 20033 with flag 531000/610173
42.70/41.91	c cleaning 9996 clauses out of 20029 with flag 541000/620173
43.40/42.64	c cleaning 9998 clauses out of 20034 with flag 551001/630174
44.10/43.36	c cleaning 10007 clauses out of 20035 with flag 561000/640173
44.82/44.04	c cleaning 10005 clauses out of 20030 with flag 571002/650175
45.50/44.77	c cleaning 9991 clauses out of 20023 with flag 581001/660174
46.20/45.49	c cleaning 9990 clauses out of 20033 with flag 591002/670175
46.91/46.21	c cleaning 10013 clauses out of 20041 with flag 601000/680173
47.70/46.91	c cleaning 9991 clauses out of 20029 with flag 611001/690174
48.40/47.62	c cleaning 9998 clauses out of 20038 with flag 621001/700174
49.11/48.35	c cleaning 9995 clauses out of 20039 with flag 631000/710173
49.90/49.10	c cleaning 10008 clauses out of 20045 with flag 641001/720174
50.61/49.81	c cleaning 10003 clauses out of 20037 with flag 651001/730174
51.31/50.54	c cleaning 9997 clauses out of 20033 with flag 661000/740173
52.01/51.24	c cleaning 9998 clauses out of 20037 with flag 671001/750174
52.71/51.98	c cleaning 10000 clauses out of 20040 with flag 681002/760175
53.51/52.74	c cleaning 10003 clauses out of 20038 with flag 691000/770173
54.21/53.49	c cleaning 9994 clauses out of 20035 with flag 701000/780173
55.01/54.24	c cleaning 10003 clauses out of 20040 with flag 711000/790173
55.71/54.96	c cleaning 10000 clauses out of 20037 with flag 721000/800173
56.51/55.71	c cleaning 10003 clauses out of 20037 with flag 731000/810173
57.22/56.42	c cleaning 9996 clauses out of 20034 with flag 741000/820173
57.92/57.20	c cleaning 10010 clauses out of 20038 with flag 751000/830173
58.72/57.95	c cleaning 10006 clauses out of 20029 with flag 761001/840174
59.52/58.70	c cleaning 9992 clauses out of 20022 with flag 771000/850173
60.13/59.42	c cleaning 10001 clauses out of 20030 with flag 781000/860173
60.92/60.17	c cleaning 10001 clauses out of 20029 with flag 791000/870173
61.62/60.86	c cleaning 10007 clauses out of 20027 with flag 801000/880173
62.33/61.58	c cleaning 9987 clauses out of 20020 with flag 811000/890173
63.02/62.28	c cleaning 9994 clauses out of 20034 with flag 821001/900174
63.73/62.97	c cleaning 9998 clauses out of 20040 with flag 831001/910174
64.43/63.70	c cleaning 10003 clauses out of 20041 with flag 841000/920173
65.23/64.45	c cleaning 9995 clauses out of 20038 with flag 851000/930173
66.02/65.23	c cleaning 10005 clauses out of 20045 with flag 861002/940175
66.73/65.94	c cleaning 9997 clauses out of 20038 with flag 871000/950173
67.43/66.62	c cleaning 10005 clauses out of 20043 with flag 881002/960175
68.13/67.32	c cleaning 10006 clauses out of 20038 with flag 891002/970175
68.83/68.01	c cleaning 10005 clauses out of 20031 with flag 901001/980174
69.43/68.70	c cleaning 9996 clauses out of 20025 with flag 911000/990173
70.23/69.41	c cleaning 10003 clauses out of 20029 with flag 921000/1000173
70.93/70.17	c cleaning 9997 clauses out of 20027 with flag 931001/1010174
71.73/70.96	c cleaning 9982 clauses out of 20030 with flag 941001/1020174
72.53/71.76	c cleaning 10010 clauses out of 20048 with flag 951001/1030174
73.23/72.49	c cleaning 9999 clauses out of 20037 with flag 961000/1040173
73.93/73.19	c cleaning 9997 clauses out of 20038 with flag 971000/1050173
74.73/73.90	c cleaning 9998 clauses out of 20041 with flag 981000/1060173
75.43/74.62	c cleaning 10006 clauses out of 20043 with flag 991000/1070173
76.13/75.35	c cleaning 9995 clauses out of 20038 with flag 1001001/1080174
76.83/76.08	c cleaning 10000 clauses out of 20043 with flag 1011001/1090174
77.53/76.75	c cleaning 10008 clauses out of 20043 with flag 1021001/1100174
78.23/77.48	c cleaning 10004 clauses out of 20035 with flag 1031001/1110174
79.03/78.28	c cleaning 10001 clauses out of 20030 with flag 1041000/1120173
79.83/79.00	c cleaning 9999 clauses out of 20030 with flag 1051001/1130174
80.53/79.75	c cleaning 10000 clauses out of 20030 with flag 1061000/1140173
81.23/80.47	c cleaning 9987 clauses out of 20030 with flag 1071000/1150173
82.03/81.20	c cleaning 9998 clauses out of 20044 with flag 1081001/1160174
82.74/81.92	c cleaning 10007 clauses out of 20045 with flag 1091000/1170173
83.44/82.68	c cleaning 10005 clauses out of 20039 with flag 1101001/1180174
84.24/83.43	c cleaning 9992 clauses out of 20034 with flag 1111001/1190174
84.94/84.18	c cleaning 9999 clauses out of 20041 with flag 1121000/1200173
85.74/84.93	c cleaning 9998 clauses out of 20043 with flag 1131001/1210174
86.44/85.65	c cleaning 10008 clauses out of 20045 with flag 1141001/1220174
87.24/86.41	c cleaning 9998 clauses out of 20035 with flag 1151000/1230173
87.94/87.14	c cleaning 9989 clauses out of 20038 with flag 1161001/1240174
88.65/87.89	c cleaning 9993 clauses out of 20048 with flag 1171000/1250173
89.45/88.63	c cleaning 9998 clauses out of 20055 with flag 1181000/1260173
90.15/89.37	c cleaning 10006 clauses out of 20058 with flag 1191001/1270174
90.85/90.10	c cleaning 10001 clauses out of 20050 with flag 1201000/1280173
91.65/90.83	c cleaning 10002 clauses out of 20050 with flag 1211001/1290174
92.35/91.55	c cleaning 10012 clauses out of 20050 with flag 1221003/1300176
93.16/92.36	c cleaning 9995 clauses out of 20035 with flag 1231000/1310173
93.96/93.13	c cleaning 9997 clauses out of 20040 with flag 1241000/1320173
94.66/93.85	c cleaning 9994 clauses out of 20043 with flag 1251000/1330173
95.36/94.59	c cleaning 10004 clauses out of 20049 with flag 1261000/1340173
96.16/95.34	c cleaning 10009 clauses out of 20046 with flag 1271001/1350174
96.86/96.09	c cleaning 9987 clauses out of 20036 with flag 1281000/1360173
97.68/96.85	c cleaning 10008 clauses out of 20050 with flag 1291001/1370174
98.36/97.57	c cleaning 9999 clauses out of 20042 with flag 1301001/1380174
99.06/98.25	c cleaning 10001 clauses out of 20042 with flag 1311000/1390173
99.77/98.97	c cleaning 9999 clauses out of 20043 with flag 1321002/1400175
100.56/99.70	c cleaning 10006 clauses out of 20043 with flag 1331001/1410174
101.26/100.44	c cleaning 10006 clauses out of 20036 with flag 1341000/1420173
101.97/101.18	c cleaning 10000 clauses out of 20030 with flag 1351000/1430173
102.76/101.91	c cleaning 9999 clauses out of 20030 with flag 1361000/1440173
103.46/102.69	c cleaning 9999 clauses out of 20032 with flag 1371001/1450174
104.28/103.48	c cleaning 10002 clauses out of 20032 with flag 1381000/1460173
105.06/104.23	c cleaning 9979 clauses out of 20030 with flag 1391000/1470173
105.76/104.97	c cleaning 9999 clauses out of 20052 with flag 1401001/1480174
106.49/105.67	c cleaning 10007 clauses out of 20052 with flag 1411000/1490173
107.27/106.44	c cleaning 10004 clauses out of 20046 with flag 1421002/1500175
108.07/107.26	c cleaning 9998 clauses out of 20040 with flag 1431000/1510173
108.86/108.06	c cleaning 10000 clauses out of 20042 with flag 1441000/1520173
109.56/108.76	c cleaning 10008 clauses out of 20043 with flag 1451001/1530174
110.26/109.50	c cleaning 10011 clauses out of 20033 with flag 1461000/1540173
111.06/110.24	c cleaning 9993 clauses out of 20022 with flag 1471000/1550173
111.76/111.01	c cleaning 9993 clauses out of 20030 with flag 1481001/1560174
112.67/111.81	c cleaning 10003 clauses out of 20037 with flag 1491001/1570174
113.38/112.56	c cleaning 10001 clauses out of 20033 with flag 1501000/1580173
114.09/113.31	c cleaning 10005 clauses out of 20033 with flag 1511001/1590174
114.88/114.05	c cleaning 9994 clauses out of 20028 with flag 1521001/1600174
115.68/114.83	c cleaning 10004 clauses out of 20034 with flag 1531001/1610174
116.48/115.60	c cleaning 10002 clauses out of 20029 with flag 1541000/1620173
117.18/116.35	c cleaning 9989 clauses out of 20028 with flag 1551001/1630174
117.88/117.05	c cleaning 10015 clauses out of 20037 with flag 1561000/1640173
118.68/117.82	c cleaning 9984 clauses out of 20022 with flag 1571000/1650173
118.68/117.87	c Got one! Elapsed wall clock time (in seconds):117.747
118.68/117.87	o 60
119.02/118.16	c cleaning 7706 clauses out of 15440 with flag 5002/1655575
119.42/118.52	c cleaning 6853 clauses out of 13732 with flag 11000/1661573
119.82/118.95	c cleaning 6929 clauses out of 13879 with flag 18000/1668573
120.32/119.46	c cleaning 7463 clauses out of 14950 with flag 26000/1676573
120.92/120.02	c cleaning 8239 clauses out of 16487 with flag 35000/1685573
121.53/120.64	c cleaning 9117 clauses out of 18248 with flag 45000/1695573
122.13/121.27	c cleaning 9559 clauses out of 19132 with flag 55001/1705574
122.83/121.92	c cleaning 9781 clauses out of 19572 with flag 65000/1715573
123.43/122.59	c cleaning 9883 clauses out of 19792 with flag 75001/1725574
124.15/123.29	c cleaning 9947 clauses out of 19909 with flag 85001/1735574
124.83/123.99	c cleaning 9964 clauses out of 19961 with flag 95000/1745573
125.63/124.70	c cleaning 9983 clauses out of 19997 with flag 105000/1755573
126.23/125.35	c cleaning 9994 clauses out of 20015 with flag 115001/1765574
126.93/126.02	c cleaning 9998 clauses out of 20020 with flag 125000/1775573
127.53/126.68	c cleaning 10005 clauses out of 20024 with flag 135002/1785575
128.23/127.34	c cleaning 10001 clauses out of 20018 with flag 145001/1795574
128.93/128.01	c cleaning 9992 clauses out of 20015 with flag 155000/1805573
129.66/128.73	c cleaning 10009 clauses out of 20023 with flag 165000/1815573
130.34/129.45	c cleaning 10003 clauses out of 20014 with flag 175000/1825573
131.14/130.20	c cleaning 9999 clauses out of 20012 with flag 185001/1835574
131.86/130.94	c cleaning 9991 clauses out of 20012 with flag 195000/1845573
132.54/131.63	c cleaning 9999 clauses out of 20021 with flag 205000/1855573
133.24/132.38	c cleaning 10000 clauses out of 20022 with flag 215000/1865573
134.06/133.14	c cleaning 9997 clauses out of 20022 with flag 225000/1875573
134.74/133.88	c cleaning 9991 clauses out of 20026 with flag 235001/1885574
135.44/134.57	c cleaning 10004 clauses out of 20035 with flag 245001/1895574
136.15/135.27	c cleaning 9998 clauses out of 20030 with flag 255000/1905573
136.84/135.96	c cleaning 10003 clauses out of 20032 with flag 265000/1915573
137.54/136.63	c cleaning 9996 clauses out of 20029 with flag 275000/1925573
138.24/137.34	c cleaning 10004 clauses out of 20033 with flag 285000/1935573
139.04/138.10	c cleaning 10000 clauses out of 20029 with flag 295000/1945573
139.74/138.87	c cleaning 9996 clauses out of 20029 with flag 305000/1955573
140.44/139.60	c cleaning 10007 clauses out of 20034 with flag 315001/1965574
141.25/140.35	c cleaning 9988 clauses out of 20027 with flag 325001/1975574
142.05/141.16	c cleaning 9997 clauses out of 20038 with flag 335000/1985573
142.87/141.93	c cleaning 10019 clauses out of 20041 with flag 345000/1995573
143.55/142.66	c cleaning 9993 clauses out of 20022 with flag 355000/2005573
144.35/143.40	c cleaning 10002 clauses out of 20029 with flag 365000/2015573
144.96/144.08	c cleaning 9988 clauses out of 20027 with flag 375000/2025573
145.65/144.79	c cleaning 10010 clauses out of 20041 with flag 385002/2035575
146.35/145.48	c cleaning 10002 clauses out of 20029 with flag 395000/2045573
147.05/146.19	c cleaning 9993 clauses out of 20027 with flag 405000/2055573
147.75/146.89	c cleaning 9991 clauses out of 20035 with flag 415001/2065574
148.55/147.65	c cleaning 10007 clauses out of 20043 with flag 425000/2075573
149.25/148.36	c cleaning 10002 clauses out of 20036 with flag 435000/2085573
149.95/149.07	c cleaning 10006 clauses out of 20034 with flag 445000/2095573
150.76/149.83	c cleaning 9997 clauses out of 20029 with flag 455001/2105574
151.46/150.61	c cleaning 9998 clauses out of 20031 with flag 465000/2115573
152.16/151.28	c cleaning 10004 clauses out of 20035 with flag 475002/2125575
152.86/151.96	c cleaning 10000 clauses out of 20029 with flag 485000/2135573
153.57/152.65	c cleaning 10003 clauses out of 20029 with flag 495000/2145573
154.27/153.38	c cleaning 9994 clauses out of 20026 with flag 505000/2155573
155.07/154.14	c cleaning 9997 clauses out of 20033 with flag 515001/2165574
155.77/154.84	c cleaning 10007 clauses out of 20035 with flag 525000/2175573
156.47/155.53	c cleaning 10001 clauses out of 20028 with flag 535000/2185573
157.07/156.18	c cleaning 9990 clauses out of 20028 with flag 545001/2195574
157.77/156.87	c cleaning 10006 clauses out of 20037 with flag 555000/2205573
158.47/157.58	c cleaning 10001 clauses out of 20032 with flag 565001/2215574
159.17/158.30	c cleaning 10001 clauses out of 20030 with flag 575000/2225573
159.98/159.05	c cleaning 9995 clauses out of 20029 with flag 585000/2235573
160.69/159.78	c cleaning 9998 clauses out of 20034 with flag 595000/2245573
161.39/160.51	c cleaning 10004 clauses out of 20036 with flag 605000/2255573
162.28/161.30	c cleaning 10002 clauses out of 20033 with flag 615001/2265574
162.99/162.06	c cleaning 9992 clauses out of 20030 with flag 625000/2275573
163.81/162.84	c cleaning 9997 clauses out of 20039 with flag 635001/2285574
164.59/163.61	c cleaning 10007 clauses out of 20042 with flag 645001/2295574
165.29/164.38	c cleaning 9994 clauses out of 20035 with flag 655001/2305574
166.09/165.17	c cleaning 9995 clauses out of 20040 with flag 665000/2315573
166.89/165.97	c cleaning 10015 clauses out of 20045 with flag 675000/2325573
167.69/166.78	c cleaning 9995 clauses out of 20031 with flag 685001/2335574
168.49/167.56	c cleaning 10000 clauses out of 20035 with flag 695000/2345573
169.19/168.29	c cleaning 10000 clauses out of 20035 with flag 705000/2355573
169.99/169.06	c cleaning 10004 clauses out of 20035 with flag 715000/2365573
170.79/169.81	c cleaning 10007 clauses out of 20031 with flag 725000/2375573
171.51/170.59	c cleaning 9989 clauses out of 20024 with flag 735000/2385573
172.29/171.36	c cleaning 9994 clauses out of 20035 with flag 745000/2395573
173.09/172.12	c cleaning 10009 clauses out of 20041 with flag 755000/2405573
173.79/172.87	c cleaning 9999 clauses out of 20032 with flag 765000/2415573
174.59/173.64	c cleaning 10004 clauses out of 20033 with flag 775000/2425573
175.39/174.40	c cleaning 9999 clauses out of 20030 with flag 785001/2435574
176.19/175.20	c cleaning 10001 clauses out of 20030 with flag 795000/2445573
176.89/175.96	c cleaning 9998 clauses out of 20030 with flag 805001/2455574
177.69/176.70	c cleaning 10006 clauses out of 20032 with flag 815001/2465574
178.39/177.42	c cleaning 9996 clauses out of 20025 with flag 825000/2475573
179.09/178.12	c cleaning 9997 clauses out of 20029 with flag 835000/2485573
179.79/178.84	c cleaning 10001 clauses out of 20032 with flag 845000/2495573
180.49/179.55	c cleaning 10004 clauses out of 20033 with flag 855002/2505575
181.20/180.28	c cleaning 9997 clauses out of 20029 with flag 865002/2515575
182.00/181.00	c cleaning 10001 clauses out of 20030 with flag 875000/2525573
182.70/181.75	c cleaning 10002 clauses out of 20029 with flag 885000/2535573
183.51/182.54	c cleaning 9998 clauses out of 20028 with flag 895001/2545574
184.20/183.27	c cleaning 9993 clauses out of 20030 with flag 905001/2555574
185.00/184.00	c cleaning 10001 clauses out of 20036 with flag 915000/2565573
185.60/184.72	c cleaning 10001 clauses out of 20037 with flag 925002/2575575
186.40/185.46	c cleaning 10002 clauses out of 20034 with flag 935000/2585573
187.20/186.22	c cleaning 10007 clauses out of 20033 with flag 945001/2595574
188.02/187.03	c cleaning 9995 clauses out of 20026 with flag 955001/2605574
188.80/187.84	c cleaning 9997 clauses out of 20030 with flag 965000/2615573
189.60/188.63	c cleaning 9997 clauses out of 20034 with flag 975001/2625574
190.40/189.42	c cleaning 10006 clauses out of 20038 with flag 985002/2635575
191.10/190.20	c cleaning 10001 clauses out of 20030 with flag 995000/2645573
191.90/190.93	c cleaning 9996 clauses out of 20029 with flag 1005000/2655573
192.60/191.65	c cleaning 10007 clauses out of 20033 with flag 1015000/2665573
193.41/192.42	c cleaning 9991 clauses out of 20026 with flag 1025000/2675573
194.10/193.18	c cleaning 10003 clauses out of 20035 with flag 1035000/2685573
194.90/193.92	c cleaning 10005 clauses out of 20035 with flag 1045003/2695576
195.61/194.64	c cleaning 9998 clauses out of 20027 with flag 1055000/2705573
196.30/195.35	c cleaning 9993 clauses out of 20029 with flag 1065000/2715573
197.10/196.10	c cleaning 10003 clauses out of 20038 with flag 1075002/2725575
197.81/196.90	c cleaning 10009 clauses out of 20033 with flag 1085000/2735573
198.60/197.69	c cleaning 9989 clauses out of 20024 with flag 1095000/2745573
199.40/198.46	c cleaning 10003 clauses out of 20037 with flag 1105002/2755575
200.20/199.20	c cleaning 9995 clauses out of 20032 with flag 1115000/2765573
200.90/199.97	c cleaning 9996 clauses out of 20037 with flag 1125000/2775573
201.71/200.72	c cleaning 10007 clauses out of 20042 with flag 1135001/2785574
202.41/201.47	c cleaning 10001 clauses out of 20034 with flag 1145000/2795573
203.21/202.23	c cleaning 10016 clauses out of 20034 with flag 1155001/2805574
203.91/202.96	c cleaning 9993 clauses out of 20017 with flag 1165000/2815573
204.71/203.71	c cleaning 9995 clauses out of 20024 with flag 1175000/2825573
205.41/204.45	c cleaning 10009 clauses out of 20029 with flag 1185000/2835573
206.11/205.16	c cleaning 9991 clauses out of 20021 with flag 1195001/2845574
206.91/205.92	c cleaning 9993 clauses out of 20030 with flag 1205001/2855574
207.61/206.70	c cleaning 10004 clauses out of 20036 with flag 1215000/2865573
208.52/207.50	c cleaning 10014 clauses out of 20032 with flag 1225000/2875573
209.22/208.23	c cleaning 9998 clauses out of 20017 with flag 1235000/2885573
209.92/209.00	c cleaning 10000 clauses out of 20019 with flag 1245000/2895573
210.71/209.71	c cleaning 9994 clauses out of 20019 with flag 1255000/2905573
211.41/210.48	c cleaning 9987 clauses out of 20025 with flag 1265000/2915573
212.12/211.21	c cleaning 9999 clauses out of 20038 with flag 1275000/2925573
212.92/211.93	c cleaning 10007 clauses out of 20039 with flag 1285000/2935573
213.72/212.72	c cleaning 10000 clauses out of 20034 with flag 1295002/2945575
214.44/213.48	c cleaning 9999 clauses out of 20032 with flag 1305000/2955573
215.22/214.26	c cleaning 9992 clauses out of 20034 with flag 1315001/2965574
216.02/215.01	c cleaning 9999 clauses out of 20041 with flag 1325000/2975573
216.72/215.74	c cleaning 10001 clauses out of 20042 with flag 1335000/2985573
217.42/216.49	c cleaning 9995 clauses out of 20041 with flag 1345000/2995573
218.22/217.25	c cleaning 9994 clauses out of 20046 with flag 1355000/3005573
218.92/217.98	c cleaning 10003 clauses out of 20053 with flag 1365001/3015574
219.72/218.73	c cleaning 10009 clauses out of 20049 with flag 1375000/3025573
220.42/219.48	c cleaning 10005 clauses out of 20040 with flag 1385000/3035573
221.12/220.19	c cleaning 10003 clauses out of 20036 with flag 1395001/3045574
221.92/220.95	c cleaning 9997 clauses out of 20032 with flag 1405000/3055573
222.63/221.69	c cleaning 9999 clauses out of 20035 with flag 1415000/3065573
223.43/222.44	c cleaning 9996 clauses out of 20036 with flag 1425000/3075573
224.13/223.19	c cleaning 10011 clauses out of 20041 with flag 1435001/3085574
224.83/223.89	c cleaning 10004 clauses out of 20029 with flag 1445000/3095573
225.63/224.64	c cleaning 10010 clauses out of 20025 with flag 1455000/3105573
226.33/225.34	c cleaning 9991 clauses out of 20016 with flag 1465001/3115574
227.03/226.08	c cleaning 9992 clauses out of 20024 with flag 1475000/3125573
227.84/226.82	c cleaning 9995 clauses out of 20033 with flag 1485001/3135574
228.64/227.62	c cleaning 10003 clauses out of 20037 with flag 1495000/3145573
229.34/228.34	c cleaning 9998 clauses out of 20034 with flag 1505000/3155573
230.04/229.08	c cleaning 10002 clauses out of 20036 with flag 1515000/3165573
230.74/229.79	c cleaning 9999 clauses out of 20034 with flag 1525000/3175573
231.54/230.52	c cleaning 10002 clauses out of 20036 with flag 1535001/3185574
232.24/231.29	c cleaning 10000 clauses out of 20034 with flag 1545001/3195574
233.05/232.05	c cleaning 9993 clauses out of 20033 with flag 1555000/3205573
233.74/232.78	c cleaning 9996 clauses out of 20040 with flag 1565000/3215573
234.54/233.51	c cleaning 10013 clauses out of 20044 with flag 1575000/3225573
235.14/234.22	c cleaning 10007 clauses out of 20031 with flag 1585000/3235573
235.94/234.93	c cleaning 10005 clauses out of 20024 with flag 1595000/3245573
236.64/235.66	c cleaning 9998 clauses out of 20019 with flag 1605000/3255573
237.34/236.40	c cleaning 9996 clauses out of 20020 with flag 1615000/3265573
238.04/237.09	c cleaning 9995 clauses out of 20024 with flag 1625000/3275573
238.74/237.79	c cleaning 10002 clauses out of 20030 with flag 1635001/3285574
239.54/238.51	c cleaning 9993 clauses out of 20027 with flag 1645000/3295573
240.24/239.24	c cleaning 9998 clauses out of 20035 with flag 1655001/3305574
240.94/239.99	c cleaning 9999 clauses out of 20036 with flag 1665000/3315573
241.74/240.71	c cleaning 10013 clauses out of 20038 with flag 1675001/3325574
242.44/241.44	c cleaning 10009 clauses out of 20024 with flag 1685000/3335573
243.14/242.16	c cleaning 9988 clauses out of 20015 with flag 1695000/3345573
243.94/242.91	c cleaning 9997 clauses out of 20028 with flag 1705001/3355574
244.64/243.62	c cleaning 10001 clauses out of 20029 with flag 1715000/3365573
245.34/244.34	c cleaning 10005 clauses out of 20031 with flag 1725003/3375576
246.04/245.08	c cleaning 9999 clauses out of 20023 with flag 1735000/3385573
246.84/245.82	c cleaning 9991 clauses out of 20025 with flag 1745001/3395574
247.54/246.57	c cleaning 10000 clauses out of 20033 with flag 1755000/3405573
248.34/247.32	c cleaning 9996 clauses out of 20035 with flag 1765002/3415575
249.05/248.06	c cleaning 10006 clauses out of 20038 with flag 1775001/3425574
249.75/248.77	c cleaning 10004 clauses out of 20031 with flag 1785000/3435573
250.55/249.52	c cleaning 10003 clauses out of 20029 with flag 1795002/3445575
251.24/250.28	c cleaning 9996 clauses out of 20026 with flag 1805002/3455575
252.05/251.03	c cleaning 9994 clauses out of 20029 with flag 1815001/3465574
252.75/251.77	c cleaning 10005 clauses out of 20035 with flag 1825001/3475574
253.55/252.51	c cleaning 9997 clauses out of 20030 with flag 1835001/3485574
254.25/253.21	c cleaning 10002 clauses out of 20032 with flag 1845000/3495573
254.95/253.94	c cleaning 9998 clauses out of 20030 with flag 1855000/3505573
255.65/254.70	c cleaning 9995 clauses out of 20032 with flag 1865000/3515573
256.45/255.50	c cleaning 9997 clauses out of 20037 with flag 1875000/3525573
257.25/256.23	c cleaning 10006 clauses out of 20041 with flag 1885001/3535574
257.95/256.96	c cleaning 10002 clauses out of 20035 with flag 1895001/3545574
258.65/257.68	c cleaning 9997 clauses out of 20033 with flag 1905001/3555574
259.35/258.38	c cleaning 10001 clauses out of 20035 with flag 1915000/3565573
260.15/259.15	c cleaning 10008 clauses out of 20036 with flag 1925002/3575575
260.95/259.92	c cleaning 10002 clauses out of 20027 with flag 1935001/3585574
261.66/260.69	c cleaning 10005 clauses out of 20025 with flag 1945001/3595574
262.45/261.46	c cleaning 9995 clauses out of 20019 with flag 1955000/3605573
263.25/262.22	c cleaning 9998 clauses out of 20025 with flag 1965001/3615574
263.97/262.98	c cleaning 10002 clauses out of 20026 with flag 1975000/3625573
264.75/263.73	c cleaning 10001 clauses out of 20025 with flag 1985001/3635574
265.46/264.49	c cleaning 9994 clauses out of 20024 with flag 1995001/3645574
266.26/265.21	c cleaning 9996 clauses out of 20029 with flag 2005000/3655573
266.96/265.96	c cleaning 10005 clauses out of 20034 with flag 2015001/3665574
267.77/266.71	c cleaning 10004 clauses out of 20029 with flag 2025001/3675574
268.57/267.51	c cleaning 9999 clauses out of 20025 with flag 2035001/3685574
269.27/268.26	c cleaning 10003 clauses out of 20026 with flag 2045001/3695574
270.07/269.02	c cleaning 10006 clauses out of 20023 with flag 2055001/3705574
270.77/269.73	c cleaning 9995 clauses out of 20017 with flag 2065001/3715574
271.47/270.47	c cleaning 9992 clauses out of 20022 with flag 2075001/3725574
272.27/271.23	c cleaning 10013 clauses out of 20030 with flag 2085001/3735574
272.97/271.94	c cleaning 9984 clauses out of 20016 with flag 2095000/3745573
273.67/272.67	c cleaning 10001 clauses out of 20032 with flag 2105000/3755573
274.47/273.43	c cleaning 9996 clauses out of 20031 with flag 2115000/3765573
275.27/274.20	c cleaning 10008 clauses out of 20035 with flag 2125000/3775573
275.97/274.94	c cleaning 9990 clauses out of 20027 with flag 2135000/3785573
276.77/275.71	c cleaning 10002 clauses out of 20037 with flag 2145000/3795573
277.47/276.49	c cleaning 10003 clauses out of 20035 with flag 2155000/3805573
278.37/277.31	c cleaning 10005 clauses out of 20034 with flag 2165002/3815575
279.17/278.10	c cleaning 10000 clauses out of 20027 with flag 2175000/3825573
279.87/278.83	c cleaning 9990 clauses out of 20027 with flag 2185000/3835573
280.67/279.61	c cleaning 10000 clauses out of 20038 with flag 2195001/3845574
281.37/280.35	c cleaning 10001 clauses out of 20037 with flag 2205000/3855573
282.17/281.10	c cleaning 9999 clauses out of 20036 with flag 2215000/3865573
282.87/281.87	c cleaning 9996 clauses out of 20037 with flag 2225000/3875573
283.68/282.63	c cleaning 10014 clauses out of 20043 with flag 2235002/3885575
284.38/283.39	c cleaning 10001 clauses out of 20028 with flag 2245001/3895574
285.18/284.13	c cleaning 9995 clauses out of 20027 with flag 2255001/3905574
285.89/284.88	c cleaning 9992 clauses out of 20032 with flag 2265001/3915574
286.58/285.56	c cleaning 10005 clauses out of 20039 with flag 2275000/3925573
287.28/286.28	c cleaning 9997 clauses out of 20035 with flag 2285001/3935574
287.98/287.01	c cleaning 10004 clauses out of 20039 with flag 2295002/3945575
288.78/287.70	c cleaning 10001 clauses out of 20033 with flag 2305000/3955573
289.48/288.43	c cleaning 10000 clauses out of 20032 with flag 2315000/3965573
290.19/289.17	c cleaning 10005 clauses out of 20033 with flag 2325001/3975574
290.89/289.87	c cleaning 9997 clauses out of 20029 with flag 2335002/3985575
291.69/290.61	c cleaning 10000 clauses out of 20031 with flag 2345001/3995574
292.39/291.33	c cleaning 10004 clauses out of 20031 with flag 2355001/4005574
293.09/292.07	c cleaning 10001 clauses out of 20026 with flag 2365000/4015573
293.89/292.82	c cleaning 9995 clauses out of 20026 with flag 2375001/4025574
294.59/293.61	c cleaning 10003 clauses out of 20032 with flag 2385002/4035575
295.39/294.37	c cleaning 9990 clauses out of 20028 with flag 2395001/4045574
296.19/295.11	c cleaning 10002 clauses out of 20038 with flag 2405001/4055574
296.89/295.83	c cleaning 9998 clauses out of 20035 with flag 2415000/4065573
297.59/296.56	c cleaning 9999 clauses out of 20037 with flag 2425000/4075573
298.29/297.30	c cleaning 10006 clauses out of 20039 with flag 2435001/4085574
299.10/298.08	c cleaning 10004 clauses out of 20032 with flag 2445000/4095573
299.89/298.89	c cleaning 9994 clauses out of 20028 with flag 2455000/4105573
300.69/299.67	c cleaning 9997 clauses out of 20034 with flag 2465000/4115573
301.49/300.41	c cleaning 10002 clauses out of 20037 with flag 2475000/4125573
302.19/301.12	c cleaning 10000 clauses out of 20037 with flag 2485002/4135575
302.89/301.83	c cleaning 9992 clauses out of 20035 with flag 2495000/4145573
303.63/302.57	c cleaning 9999 clauses out of 20044 with flag 2505001/4155574
304.31/303.27	c cleaning 9995 clauses out of 20044 with flag 2515000/4165573
305.01/303.98	c cleaning 10012 clauses out of 20050 with flag 2525001/4175574
305.83/304.73	c cleaning 9997 clauses out of 20037 with flag 2535000/4185573
306.51/305.49	c cleaning 10012 clauses out of 20041 with flag 2545001/4195574
307.31/306.28	c cleaning 9997 clauses out of 20028 with flag 2555000/4205573
308.11/307.02	c cleaning 9996 clauses out of 20031 with flag 2565000/4215573
308.81/307.79	c cleaning 10005 clauses out of 20035 with flag 2575000/4225573
309.61/308.58	c cleaning 10007 clauses out of 20030 with flag 2585000/4235573
310.41/309.33	c cleaning 9998 clauses out of 20024 with flag 2595001/4245574
311.11/310.06	c cleaning 9996 clauses out of 20025 with flag 2605000/4255573
311.81/310.78	c cleaning 9993 clauses out of 20029 with flag 2615000/4265573
312.62/311.51	c cleaning 10002 clauses out of 20036 with flag 2625000/4275573
313.32/312.26	c cleaning 9999 clauses out of 20035 with flag 2635001/4285574
314.11/313.01	c cleaning 9997 clauses out of 20035 with flag 2645000/4295573
314.92/313.81	c cleaning 10000 clauses out of 20038 with flag 2655000/4305573
315.62/314.60	c cleaning 10002 clauses out of 20038 with flag 2665000/4315573
316.42/315.34	c cleaning 9996 clauses out of 20037 with flag 2675001/4325574
317.12/316.07	c cleaning 10005 clauses out of 20040 with flag 2685000/4335573
317.83/316.78	c cleaning 9999 clauses out of 20035 with flag 2695000/4345573
318.62/317.56	c cleaning 10007 clauses out of 20036 with flag 2705000/4355573
319.42/318.31	c cleaning 9998 clauses out of 20029 with flag 2715000/4365573
320.14/319.05	c cleaning 9993 clauses out of 20031 with flag 2725000/4375573
320.82/319.75	c cleaning 10001 clauses out of 20039 with flag 2735001/4385574
321.52/320.49	c cleaning 10009 clauses out of 20037 with flag 2745000/4395573
322.23/321.22	c cleaning 9992 clauses out of 20028 with flag 2755000/4405573
323.02/321.95	c cleaning 10002 clauses out of 20037 with flag 2765001/4415574
323.82/322.71	c cleaning 10001 clauses out of 20035 with flag 2775001/4425574
324.56/323.47	c cleaning 10000 clauses out of 20034 with flag 2785001/4435574
325.33/324.24	c cleaning 10005 clauses out of 20033 with flag 2795000/4445573
326.04/324.91	c cleaning 9996 clauses out of 20028 with flag 2805000/4455573
326.76/325.69	c cleaning 10003 clauses out of 20032 with flag 2815000/4465573
327.54/326.43	c cleaning 10001 clauses out of 20031 with flag 2825002/4475575
328.24/327.16	c cleaning 9999 clauses out of 20029 with flag 2835001/4485574
329.04/327.93	c cleaning 9996 clauses out of 20030 with flag 2845001/4495574
329.84/328.72	c cleaning 10004 clauses out of 20033 with flag 2855000/4505573
330.54/329.49	c cleaning 9991 clauses out of 20030 with flag 2865001/4515574
331.34/330.22	c cleaning 10003 clauses out of 20039 with flag 2875001/4525574
332.04/330.97	c cleaning 10010 clauses out of 20035 with flag 2885000/4535573
332.84/331.74	c cleaning 9998 clauses out of 20026 with flag 2895001/4545574
333.54/332.49	c cleaning 9992 clauses out of 20027 with flag 2905000/4555573
334.35/333.23	c cleaning 10010 clauses out of 20035 with flag 2915000/4565573
335.14/334.04	c cleaning 10011 clauses out of 20025 with flag 2925000/4575573
335.94/334.81	c cleaning 9993 clauses out of 20015 with flag 2935001/4585574
336.66/335.59	c cleaning 9994 clauses out of 20021 with flag 2945000/4595573
337.44/336.33	c cleaning 9999 clauses out of 20028 with flag 2955001/4605574
338.15/337.03	c cleaning 9995 clauses out of 20028 with flag 2965000/4615573
338.88/337.75	c cleaning 10002 clauses out of 20033 with flag 2975000/4625573
339.56/338.48	c cleaning 9992 clauses out of 20031 with flag 2985000/4635573
340.36/339.23	c cleaning 10007 clauses out of 20039 with flag 2995000/4645573
341.08/339.97	c cleaning 9993 clauses out of 20032 with flag 3005000/4655573
341.76/340.68	c cleaning 10000 clauses out of 20041 with flag 3015002/4665575
342.56/341.40	c cleaning 10000 clauses out of 20039 with flag 3025000/4675573
343.28/342.13	c cleaning 9999 clauses out of 20040 with flag 3035001/4685574
343.96/342.86	c cleaning 10002 clauses out of 20040 with flag 3045000/4695573
344.76/343.64	c cleaning 10004 clauses out of 20039 with flag 3055001/4705574
345.56/344.41	c cleaning 10005 clauses out of 20034 with flag 3065000/4715573
346.26/345.17	c cleaning 10011 clauses out of 20030 with flag 3075001/4725574
347.06/345.94	c cleaning 9991 clauses out of 20017 with flag 3085000/4735573
347.76/346.66	c cleaning 10000 clauses out of 20027 with flag 3095001/4745574
348.56/347.40	c cleaning 9996 clauses out of 20027 with flag 3105001/4755574
349.16/348.08	c cleaning 9993 clauses out of 20030 with flag 3115000/4765573
349.89/348.78	c cleaning 10008 clauses out of 20038 with flag 3125001/4775574
350.67/349.50	c cleaning 9997 clauses out of 20030 with flag 3135001/4785574
351.37/350.21	c cleaning 9998 clauses out of 20032 with flag 3145000/4795573
352.09/350.94	c cleaning 9999 clauses out of 20034 with flag 3155000/4805573
352.77/351.66	c cleaning 10012 clauses out of 20035 with flag 3165000/4815573
353.47/352.36	c cleaning 9997 clauses out of 20023 with flag 3175000/4825573
354.29/353.14	c cleaning 9988 clauses out of 20026 with flag 3185000/4835573
355.07/353.93	c cleaning 10002 clauses out of 20039 with flag 3195001/4845574
355.87/354.70	c cleaning 10001 clauses out of 20036 with flag 3205000/4855573
356.57/355.47	c cleaning 10000 clauses out of 20035 with flag 3215000/4865573
357.37/356.20	c cleaning 10002 clauses out of 20035 with flag 3225000/4875573
358.08/356.93	c cleaning 10013 clauses out of 20033 with flag 3235000/4885573
358.78/357.66	c cleaning 9999 clauses out of 20020 with flag 3245000/4895573
359.48/358.38	c cleaning 10006 clauses out of 20020 with flag 3255000/4905573
360.18/359.02	c cleaning 9995 clauses out of 20013 with flag 3265000/4915573
360.79/359.69	c cleaning 9996 clauses out of 20018 with flag 3275000/4925573
361.48/360.33	c cleaning 9999 clauses out of 20021 with flag 3285000/4935573
362.09/360.99	c cleaning 10002 clauses out of 20021 with flag 3295001/4945574
362.29/361.14	c starts		: 260
362.29/361.14	c conflicts		: 4947850
362.29/361.14	c decisions		: 5257460
362.29/361.14	c propagations		: 291402751
362.29/361.14	c inspects		: 2078990898
362.29/361.14	c shortcuts		: 0
362.29/361.14	c learnt literals	: 32
362.29/361.14	c learnt binary clauses	: 306
362.29/361.14	c learnt ternary clauses	: 1370
362.29/361.14	c learnt constraints	: 4947817
362.29/361.14	c ignored constraints	: 0
362.29/361.14	c root simplifications	: 0
362.29/361.14	c removed literals (reason simplification)	: 93176064
362.29/361.14	c reason swapping (by a shorter reason)	: 0
362.29/361.14	c Calls to reduceDB	: 501
362.29/361.14	c number of reductions to clauses (during analyze)	: 0
362.29/361.14	c number of learned constraints concerned by reduction	: 0
362.29/361.14	c number of learning phase by resolution	: 0
362.29/361.14	c number of learning phase by cutting planes	: 0
362.29/361.14	c speed (assignments/second)	: 1197837.6275310966
362.29/361.14	c non guided choices	269
362.29/361.14	c learnt constraints type 
362.29/361.14	c constraints type 
362.29/361.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1666
362.29/361.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
362.29/361.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 406
362.29/361.14	s OPTIMUM FOUND
362.29/361.15	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 
362.29/361.15	c objective function=60
362.29/361.15	c Total wall clock time (in seconds): 361.025

Verifier Data 

OK	60

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459446-1307146634/watcher-3459446-1307146634 -o /tmp/evaluation-result-3459446-1307146634/solver-3459446-1307146634 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459446-1307146634.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.02 1.48 1.78 3/557 5312
/proc/meminfo: memFree=28720092/32951124 swapFree=34426104/67111528
[pid=5312] ppid=5308 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/5312/stat : 5312 (java) R 5308 5312 3728 0 -1 4202496 539 0 0 0 0 0 0 0 17 0 1 0 904894035 23580672 283 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224279963413 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5312/statm: 5757 295 227 9 0 124 0
[pid=5312/tid=5314] ppid=5308 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 2356 0 1 0 0 0 0 0 17 0 2 0 904894035 13833195520 3172 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224284619835 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0508179 s]
/proc/loadavg: 1.02 1.48 1.78 3/557 5312
/proc/meminfo: memFree=28720092/32951124 swapFree=34426104/67111528
[pid=5312] ppid=5308 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 13587 0 1 0 2 1 0 0 17 0 13 0 904894035 13874667520 13286 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/5312/statm: 3387370 13286 1633 9 0 3378118 0
[pid=5312/tid=5314] ppid=5308 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 12447 0 1 0 2 1 0 0 20 0 13 0 904894035 13874667520 13287 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 47812805401539 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480

[startup+0.100774 s]
/proc/loadavg: 1.02 1.48 1.78 3/557 5312
/proc/meminfo: memFree=28720092/32951124 swapFree=34426104/67111528
[pid=5312] ppid=5308 vsize=13621372 CPUtime=0.08 cores=1,3,5,7
/proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 15106 0 1 0 7 1 0 0 17 0 18 0 904894035 13948284928 14803 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5312/statm: 3405343 14810 2018 9 0 3396077 0
[pid=5312/tid=5314] ppid=5308 vsize=13621372 CPUtime=0.07 cores=1,3,5,7
/proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 13436 0 1 0 6 1 0 0 18 0 18 0 904894035 13948284928 14811 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224284921701 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13621372

[startup+0.300741 s]
/proc/loadavg: 1.02 1.48 1.78 3/557 5312
/proc/meminfo: memFree=28720092/32951124 swapFree=34426104/67111528
[pid=5312] ppid=5308 vsize=13624656 CPUtime=0.46 cores=1,3,5,7
/proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 18259 0 1 0 44 2 0 0 17 0 19 0 904894035 13951647744 17690 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5312/statm: 3406164 17690 2208 9 0 3396898 0
[pid=5312/tid=5314] ppid=5308 vsize=13624656 CPUtime=0.27 cores=1,3,5,7
/proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 15282 0 1 0 26 1 0 0 19 0 19 0 904894035 13951647744 17690 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 46912505175300 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13624656

[startup+0.700709 s]
/proc/loadavg: 1.02 1.48 1.78 3/557 5312
/proc/meminfo: memFree=28720092/32951124 swapFree=34426104/67111528
[pid=5312] ppid=5308 vsize=13625100 CPUtime=1.19 cores=1,3,5,7
/proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 21464 0 1 0 117 2 0 0 17 0 19 0 904894035 13952102400 19007 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5312/statm: 3406275 19007 2252 9 0 3397009 0
[pid=5312/tid=5314] ppid=5308 vsize=13625100 CPUtime=0.65 cores=1,3,5,7
/proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 15570 0 1 0 64 1 0 0 19 0 19 0 904894035 13952102400 19007 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 46912505665076 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 13625100

[startup+1.50157 s]
/proc/loadavg: 1.02 1.48 1.78 4/595 5350
/proc/meminfo: memFree=28581172/32951124 swapFree=34426104/67111528
[pid=5312] ppid=5308 vsize=13625240 CPUtime=2.16 cores=1,3,5,7
/proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 24324 0 1 0 213 3 0 0 17 0 19 0 904894035 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5312/statm: 3406310 20767 2252 9 0 3397044 0
[pid=5312/tid=5314] ppid=5308 vsize=13625240 CPUtime=1.42 cores=1,3,5,7
/proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 15576 0 1 0 141 1 0 0 20 0 19 0 904894035 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 46912505622468 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5312/tid=5317] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5317/stat : 5317 (java) S 5308 5312 3728 0 -1 4202560 267 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5318] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5318/stat : 5318 (java) S 5308 5312 3728 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5320] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5320/stat : 5320 (java) S 5308 5312 3728 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5322] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5322/stat : 5322 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5324] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5324/stat : 5324 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5326] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5326/stat : 5326 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5328] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5328/stat : 5328 (java) S 5308 5312 3728 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5330] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5330/stat : 5330 (java) S 5308 5312 3728 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 904894038 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5334] ppid=5308 vsize=13625240 CPUtime=0.04 cores=1,3,5,7
/proc/5312/task/5334/stat : 5334 (java) S 5308 5312 3728 0 -1 4202560 534 0 0 0 4 0 0 0 16 0 19 0 904894039 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 0 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5335] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5335/stat : 5335 (java) S 5308 5312 3728 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5337] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5337/stat : 5337 (java) S 5308 5312 3728 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5339] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5339/stat : 5339 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 904894042 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296749489 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5340] ppid=5308 vsize=13625240 CPUtime=0.38 cores=1,3,5,7
/proc/5312/task/5340/stat : 5340 (java) S 5308 5312 3728 0 -1 4202560 4675 0 0 0 37 1 0 0 15 0 19 0 904894042 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0
[pid=5312/tid=5343] ppid=5308 vsize=13625240 CPUtime=0.29 cores=1,3,5,7
/proc/5312/task/5343/stat : 5343 (java) S 5308 5312 3728 0 -1 4202560 1788 0 0 0 29 0 0 0 15 0 19 0 904894042 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5344] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5344/stat : 5344 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 904894042 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5347] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5347/stat : 5347 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904894042 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5349] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5349/stat : 5349 (java) S 5308 5312 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904894065 13952245760 20767 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 13625240

[startup+3.10131 s]
/proc/loadavg: 1.18 1.51 1.79 4/595 5350
/proc/meminfo: memFree=28570260/32951124 swapFree=34426104/67111528
[pid=5312] ppid=5308 vsize=13625240 CPUtime=3.82 cores=1,3,5,7
/proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 24469 0 1 0 378 4 0 0 17 0 19 0 904894035 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5312/statm: 3406310 20907 2252 9 0 3397044 0
[pid=5312/tid=5314] ppid=5308 vsize=13625240 CPUtime=2.94 cores=1,3,5,7
/proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 15582 0 1 0 293 1 0 0 24 0 19 0 904894035 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 46912505615904 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5312/tid=5317] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5317/stat : 5317 (java) S 5308 5312 3728 0 -1 4202560 270 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5318] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5318/stat : 5318 (java) S 5308 5312 3728 0 -1 4202560 206 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5320] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5320/stat : 5320 (java) S 5308 5312 3728 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5322] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5322/stat : 5322 (java) S 5308 5312 3728 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5324] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5324/stat : 5324 (java) S 5308 5312 3728 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5326] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5326/stat : 5326 (java) S 5308 5312 3728 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5328] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5328/stat : 5328 (java) S 5308 5312 3728 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5330] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5330/stat : 5330 (java) S 5308 5312 3728 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5334] ppid=5308 vsize=13625240 CPUtime=0.11 cores=1,3,5,7
/proc/5312/task/5334/stat : 5334 (java) S 5308 5312 3728 0 -1 4202560 582 0 0 0 11 0 0 0 16 0 19 0 904894039 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 0 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5335] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5335/stat : 5335 (java) S 5308 5312 3728 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5337] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5337/stat : 5337 (java) S 5308 5312 3728 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5339] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5339/stat : 5339 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 904894042 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296749489 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5340] ppid=5308 vsize=13625240 CPUtime=0.43 cores=1,3,5,7
/proc/5312/task/5340/stat : 5340 (java) S 5308 5312 3728 0 -1 4202560 4757 0 0 0 42 1 0 0 15 0 19 0 904894042 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0
[pid=5312/tid=5343] ppid=5308 vsize=13625240 CPUtime=0.29 cores=1,3,5,7
/proc/5312/task/5343/stat : 5343 (java) S 5308 5312 3728 0 -1 4202560 1788 0 0 0 29 0 0 0 15 0 19 0 904894042 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5344] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5344/stat : 5344 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 904894042 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5347] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5347/stat : 5347 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904894042 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5349] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5349/stat : 5349 (java) S 5308 5312 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904894065 13952245760 20907 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 13625240

[startup+6.30077 s]
/proc/loadavg: 1.18 1.51 1.79 4/595 5350
/proc/meminfo: memFree=28568468/32951124 swapFree=34426104/67111528
[pid=5312] ppid=5308 vsize=13625240 CPUtime=7.03 cores=1,3,5,7
/proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 24493 0 1 0 699 4 0 0 17 0 19 0 904894035 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5312/statm: 3406310 20923 2252 9 0 3397044 0
[pid=5312/tid=5314] ppid=5308 vsize=13625240 CPUtime=6.03 cores=1,3,5,7
/proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 15590 0 1 0 602 1 0 0 25 0 19 0 904894035 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 46912505649377 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5312/tid=5317] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5317/stat : 5317 (java) S 5308 5312 3728 0 -1 4202560 270 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5318] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5318/stat : 5318 (java) S 5308 5312 3728 0 -1 4202560 206 0 0 0 0 0 0 0 16 0 19 0 904894038 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5320] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5320/stat : 5320 (java) S 5308 5312 3728 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5322] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5322/stat : 5322 (java) S 5308 5312 3728 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5324] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5324/stat : 5324 (java) S 5308 5312 3728 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5326] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5326/stat : 5326 (java) S 5308 5312 3728 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5328] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5328/stat : 5328 (java) S 5308 5312 3728 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5330] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5330/stat : 5330 (java) S 5308 5312 3728 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 904894038 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5334] ppid=5308 vsize=13625240 CPUtime=0.21 cores=1,3,5,7
/proc/5312/task/5334/stat : 5334 (java) S 5308 5312 3728 0 -1 4202560 593 0 0 0 21 0 0 0 16 0 19 0 904894039 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 0 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5335] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5335/stat : 5335 (java) S 5308 5312 3728 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5337] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5337/stat : 5337 (java) S 5308 5312 3728 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5339] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5339/stat : 5339 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 904894042 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296749489 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5340] ppid=5308 vsize=13625240 CPUtime=0.44 cores=1,3,5,7
/proc/5312/task/5340/stat : 5340 (java) S 5308 5312 3728 0 -1 4202560 4757 0 0 0 43 1 0 0 15 0 19 0 904894042 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0
[pid=5312/tid=5343] ppid=5308 vsize=13625240 CPUtime=0.29 cores=1,3,5,7
/proc/5312/task/5343/stat : 5343 (java) S 5308 5312 3728 0 -1 4202560 1788 0 0 0 29 0 0 0 15 0 19 0 904894042 13952245760 20923 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0

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

/proc/5312/task/5317/stat : 5317 (java) S 5308 5312 3728 0 -1 4202560 287 0 0 0 15 0 0 0 15 0 19 0 904894038 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5318] ppid=5308 vsize=13625240 CPUtime=0.15 cores=1,3,5,7
/proc/5312/task/5318/stat : 5318 (java) S 5308 5312 3728 0 -1 4202560 225 0 0 0 15 0 0 0 16 0 19 0 904894038 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5320] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7
/proc/5312/task/5320/stat : 5320 (java) S 5308 5312 3728 0 -1 4202560 43 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5322] ppid=5308 vsize=13625240 CPUtime=0.14 cores=1,3,5,7
/proc/5312/task/5322/stat : 5322 (java) S 5308 5312 3728 0 -1 4202560 67 0 0 0 14 0 0 0 16 0 19 0 904894038 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5324] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7
/proc/5312/task/5324/stat : 5324 (java) S 5308 5312 3728 0 -1 4202560 23 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0
[pid=5312/tid=5326] ppid=5308 vsize=13625240 CPUtime=0.14 cores=1,3,5,7
/proc/5312/task/5326/stat : 5326 (java) S 5308 5312 3728 0 -1 4202560 36 0 0 0 14 0 0 0 15 0 19 0 904894038 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0
[pid=5312/tid=5328] ppid=5308 vsize=13625240 CPUtime=0.12 cores=1,3,5,7
/proc/5312/task/5328/stat : 5328 (java) S 5308 5312 3728 0 -1 4202560 126 0 0 0 12 0 0 0 15 0 19 0 904894038 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5330] ppid=5308 vsize=13625240 CPUtime=0.11 cores=1,3,5,7
/proc/5312/task/5330/stat : 5330 (java) S 5308 5312 3728 0 -1 4202560 15 0 0 0 11 0 0 0 15 0 19 0 904894038 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5334] ppid=5308 vsize=13625240 CPUtime=8.02 cores=1,3,5,7
/proc/5312/task/5334/stat : 5334 (java) S 5308 5312 3728 0 -1 4202560 1190 0 0 0 794 8 0 0 15 0 19 0 904894039 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 0 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5335] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5335/stat : 5335 (java) S 5308 5312 3728 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5337] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5337/stat : 5337 (java) S 5308 5312 3728 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5339] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5339/stat : 5339 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 904894042 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296749489 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5340] ppid=5308 vsize=13625240 CPUtime=0.49 cores=1,3,5,7
/proc/5312/task/5340/stat : 5340 (java) S 5308 5312 3728 0 -1 4202560 4838 0 0 0 48 1 0 0 15 0 19 0 904894042 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0
[pid=5312/tid=5343] ppid=5308 vsize=13625240 CPUtime=0.31 cores=1,3,5,7
/proc/5312/task/5343/stat : 5343 (java) S 5308 5312 3728 0 -1 4202560 1788 0 0 0 31 0 0 0 15 0 19 0 904894042 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5344] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5344/stat : 5344 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 904894042 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5347] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5347/stat : 5347 (java) S 5308 5312 3728 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 904894042 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5349] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5349/stat : 5349 (java) S 5308 5312 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904894065 13952245760 20480 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 359.48
Current children cumulated vsize (KiB) 13625240

[startup+359.901 s]
/proc/loadavg: 2.31 1.94 1.87 3/595 5406
/proc/meminfo: memFree=28506936/32951124 swapFree=34426104/67111528
[pid=5312] ppid=5308 vsize=13625240 CPUtime=361.08 cores=1,3,5,7
/proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 25888 0 1 0 36092 16 0 0 17 0 19 0 904894035 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5312/statm: 3406310 20486 2253 9 0 3397044 0
[pid=5312/tid=5314] ppid=5308 vsize=13625240 CPUtime=351.03 cores=1,3,5,7
/proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 16073 0 1 0 35101 2 0 0 25 0 19 0 904894035 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 46912505764825 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5312/tid=5317] ppid=5308 vsize=13625240 CPUtime=0.15 cores=1,3,5,7
/proc/5312/task/5317/stat : 5317 (java) S 5308 5312 3728 0 -1 4202560 287 0 0 0 15 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5318] ppid=5308 vsize=13625240 CPUtime=0.15 cores=1,3,5,7
/proc/5312/task/5318/stat : 5318 (java) S 5308 5312 3728 0 -1 4202560 225 0 0 0 15 0 0 0 16 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5320] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7
/proc/5312/task/5320/stat : 5320 (java) S 5308 5312 3728 0 -1 4202560 43 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5322] ppid=5308 vsize=13625240 CPUtime=0.14 cores=1,3,5,7
/proc/5312/task/5322/stat : 5322 (java) S 5308 5312 3728 0 -1 4202560 67 0 0 0 14 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5324] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7
/proc/5312/task/5324/stat : 5324 (java) S 5308 5312 3728 0 -1 4202560 23 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0
[pid=5312/tid=5326] ppid=5308 vsize=13625240 CPUtime=0.14 cores=1,3,5,7
/proc/5312/task/5326/stat : 5326 (java) S 5308 5312 3728 0 -1 4202560 36 0 0 0 14 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0
[pid=5312/tid=5328] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7
/proc/5312/task/5328/stat : 5328 (java) S 5308 5312 3728 0 -1 4202560 126 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5330] ppid=5308 vsize=13625240 CPUtime=0.11 cores=1,3,5,7
/proc/5312/task/5330/stat : 5330 (java) S 5308 5312 3728 0 -1 4202560 15 0 0 0 11 0 0 0 16 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5334] ppid=5308 vsize=13625240 CPUtime=8.07 cores=1,3,5,7
/proc/5312/task/5334/stat : 5334 (java) S 5308 5312 3728 0 -1 4202560 1196 0 0 0 799 8 0 0 15 0 19 0 904894039 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 0 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5335] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5335/stat : 5335 (java) S 5308 5312 3728 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5337] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5337/stat : 5337 (java) S 5308 5312 3728 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5339] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5339/stat : 5339 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296749489 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5340] ppid=5308 vsize=13625240 CPUtime=0.49 cores=1,3,5,7
/proc/5312/task/5340/stat : 5340 (java) S 5308 5312 3728 0 -1 4202560 4838 0 0 0 48 1 0 0 15 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0
[pid=5312/tid=5343] ppid=5308 vsize=13625240 CPUtime=0.31 cores=1,3,5,7
/proc/5312/task/5343/stat : 5343 (java) S 5308 5312 3728 0 -1 4202560 1788 0 0 0 31 0 0 0 15 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5344] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5344/stat : 5344 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5347] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5347/stat : 5347 (java) S 5308 5312 3728 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5349] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5349/stat : 5349 (java) S 5308 5312 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904894065 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 361.08
Current children cumulated vsize (KiB) 13625240

[startup+360.701 s]
/proc/loadavg: 2.31 1.94 1.87 3/595 5406
/proc/meminfo: memFree=28506936/32951124 swapFree=34426104/67111528
[pid=5312] ppid=5308 vsize=13625240 CPUtime=361.9 cores=1,3,5,7
/proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 25889 0 1 0 36173 17 0 0 17 0 19 0 904894035 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5312/statm: 3406310 20486 2253 9 0 3397044 0
[pid=5312/tid=5314] ppid=5308 vsize=13625240 CPUtime=351.84 cores=1,3,5,7
/proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 16074 0 1 0 35182 2 0 0 25 0 19 0 904894035 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 46912505624813 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5312/tid=5317] ppid=5308 vsize=13625240 CPUtime=0.15 cores=1,3,5,7
/proc/5312/task/5317/stat : 5317 (java) S 5308 5312 3728 0 -1 4202560 287 0 0 0 15 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5318] ppid=5308 vsize=13625240 CPUtime=0.15 cores=1,3,5,7
/proc/5312/task/5318/stat : 5318 (java) S 5308 5312 3728 0 -1 4202560 225 0 0 0 15 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5320] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7
/proc/5312/task/5320/stat : 5320 (java) S 5308 5312 3728 0 -1 4202560 43 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5322] ppid=5308 vsize=13625240 CPUtime=0.14 cores=1,3,5,7
/proc/5312/task/5322/stat : 5322 (java) S 5308 5312 3728 0 -1 4202560 67 0 0 0 14 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5324] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7
/proc/5312/task/5324/stat : 5324 (java) S 5308 5312 3728 0 -1 4202560 23 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0
[pid=5312/tid=5326] ppid=5308 vsize=13625240 CPUtime=0.14 cores=1,3,5,7
/proc/5312/task/5326/stat : 5326 (java) S 5308 5312 3728 0 -1 4202560 36 0 0 0 14 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0
[pid=5312/tid=5328] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7
/proc/5312/task/5328/stat : 5328 (java) S 5308 5312 3728 0 -1 4202560 126 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5330] ppid=5308 vsize=13625240 CPUtime=0.11 cores=1,3,5,7
/proc/5312/task/5330/stat : 5330 (java) S 5308 5312 3728 0 -1 4202560 15 0 0 0 11 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5334] ppid=5308 vsize=13625240 CPUtime=8.08 cores=1,3,5,7
/proc/5312/task/5334/stat : 5334 (java) S 5308 5312 3728 0 -1 4202560 1196 0 0 0 800 8 0 0 15 0 19 0 904894039 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 0 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5335] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5335/stat : 5335 (java) S 5308 5312 3728 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5337] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5337/stat : 5337 (java) S 5308 5312 3728 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5339] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5339/stat : 5339 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296749489 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5340] ppid=5308 vsize=13625240 CPUtime=0.49 cores=1,3,5,7
/proc/5312/task/5340/stat : 5340 (java) S 5308 5312 3728 0 -1 4202560 4838 0 0 0 48 1 0 0 15 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0
[pid=5312/tid=5343] ppid=5308 vsize=13625240 CPUtime=0.31 cores=1,3,5,7
/proc/5312/task/5343/stat : 5343 (java) S 5308 5312 3728 0 -1 4202560 1788 0 0 0 31 0 0 0 15 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5344] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5344/stat : 5344 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5347] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5347/stat : 5347 (java) R 5308 5312 3728 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5312/tid=5349] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5349/stat : 5349 (java) S 5308 5312 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904894065 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 361.9
Current children cumulated vsize (KiB) 13625240

[startup+361.102 s]
/proc/loadavg: 2.31 1.94 1.87 3/595 5406
/proc/meminfo: memFree=28506936/32951124 swapFree=34426104/67111528
[pid=5312] ppid=5308 vsize=13625240 CPUtime=362.29 cores=1,3,5,7
/proc/5312/stat : 5312 (java) S 5308 5312 3728 0 -1 4202496 25890 0 1 0 36212 17 0 0 17 0 19 0 904894035 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5312/statm: 3406310 20486 2253 9 0 3397044 0
[pid=5312/tid=5314] ppid=5308 vsize=13625240 CPUtime=352.2 cores=1,3,5,7
/proc/5312/task/5314/stat : 5314 (java) R 5308 5312 3728 0 -1 4202560 16075 0 1 0 35218 2 0 0 25 0 19 0 904894035 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 46912505656142 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5312/tid=5317] ppid=5308 vsize=13625240 CPUtime=0.15 cores=1,3,5,7
/proc/5312/task/5317/stat : 5317 (java) S 5308 5312 3728 0 -1 4202560 287 0 0 0 15 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5318] ppid=5308 vsize=13625240 CPUtime=0.15 cores=1,3,5,7
/proc/5312/task/5318/stat : 5318 (java) S 5308 5312 3728 0 -1 4202560 225 0 0 0 15 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5320] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7
/proc/5312/task/5320/stat : 5320 (java) S 5308 5312 3728 0 -1 4202560 43 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5322] ppid=5308 vsize=13625240 CPUtime=0.14 cores=1,3,5,7
/proc/5312/task/5322/stat : 5322 (java) S 5308 5312 3728 0 -1 4202560 67 0 0 0 14 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5324] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7
/proc/5312/task/5324/stat : 5324 (java) S 5308 5312 3728 0 -1 4202560 23 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0
[pid=5312/tid=5326] ppid=5308 vsize=13625240 CPUtime=0.14 cores=1,3,5,7
/proc/5312/task/5326/stat : 5326 (java) S 5308 5312 3728 0 -1 4202560 36 0 0 0 14 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0
[pid=5312/tid=5328] ppid=5308 vsize=13625240 CPUtime=0.13 cores=1,3,5,7
/proc/5312/task/5328/stat : 5328 (java) S 5308 5312 3728 0 -1 4202560 126 0 0 0 13 0 0 0 15 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 1 0 0 0
[pid=5312/tid=5330] ppid=5308 vsize=13625240 CPUtime=0.11 cores=1,3,5,7
/proc/5312/task/5330/stat : 5330 (java) S 5308 5312 3728 0 -1 4202560 15 0 0 0 11 0 0 0 16 0 19 0 904894038 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5334] ppid=5308 vsize=13625240 CPUtime=8.1 cores=1,3,5,7
/proc/5312/task/5334/stat : 5334 (java) S 5308 5312 3728 0 -1 4202560 1196 0 0 0 802 8 0 0 15 0 19 0 904894039 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 0 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5335] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5335/stat : 5335 (java) S 5308 5312 3728 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5337] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5337/stat : 5337 (java) S 5308 5312 3728 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 904894040 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5339] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5339/stat : 5339 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296749489 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5340] ppid=5308 vsize=13625240 CPUtime=0.49 cores=1,3,5,7
/proc/5312/task/5340/stat : 5340 (java) S 5308 5312 3728 0 -1 4202560 4838 0 0 0 48 1 0 0 15 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 5 0 0 0
[pid=5312/tid=5343] ppid=5308 vsize=13625240 CPUtime=0.31 cores=1,3,5,7
/proc/5312/task/5343/stat : 5343 (java) S 5308 5312 3728 0 -1 4202560 1788 0 0 0 31 0 0 0 15 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5344] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5344/stat : 5344 (java) S 5308 5312 3728 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296741785 0 4 0 16800975 18446604470983619840 0 0 -1 3 0 0 0
[pid=5312/tid=5347] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5347/stat : 5347 (java) S 5308 5312 3728 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 904894042 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
[pid=5312/tid=5349] ppid=5308 vsize=13625240 CPUtime=0 cores=1,3,5,7
/proc/5312/task/5349/stat : 5349 (java) S 5308 5312 3728 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904894065 13952245760 20486 33554432000 1073741824 1073778376 140733560584752 18446744073709551615 224296742400 0 4 0 16800975 18446604470983619840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 362.29
Current children cumulated vsize (KiB) 13625240

Child status: 30
Real time (s): 361.156
CPU time (s): 362.352
CPU user time (s): 362.175
CPU system time (s): 0.176973
CPU usage (%): 100.331
Max. virtual memory (cumulated for all children) (KiB): 13625472

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

runsolver used 2.05969 second user time and 4.96225 second system time

The end

Launcher Data 

Begin job on node118 at 2011-06-04 02:17:14
IDJOB=3459446
IDBENCH=2028
IDSOLVER=1952
FILE ID=node118/3459446-1307146634
RUNJOBID= node118-1307146634-5294
PBS_JOBID= 13508798
Free space on /tmp= 73752 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459446-1307146634/watcher-3459446-1307146634 -o /tmp/evaluation-result-3459446-1307146634/solver-3459446-1307146634 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459446-1307146634.opb

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

MD5SUM BENCH= 8521955d0869ff4fe0390118a5fbc0f9
RANDOM SEED=313081734

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28720272 kB
Buffers:        318744 kB
Cached:        2013544 kB
SwapCached:      56168 kB
Active:         862332 kB
Inactive:      3030652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28720272 kB
SwapTotal:    67111528 kB
SwapFree:     34426104 kB
Dirty:             828 kB
Writeback:           0 kB
AnonPages:     1518020 kB
Mapped:          14384 kB
Slab:           150716 kB
PageTables:     114780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 183775616 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73748 MiB
End job on node118 at 2011-06-04 02:23:15