Trace number 3492574

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08OPTIMUM 275.057 272.864

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584219--soft-66-100-0.wbo
MD5SUM318d96c5cecc5e1278f112ac94857622
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark28.4437
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints904
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 44120
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 44119
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.1.v20110525
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		9996466904
0.00/0.08	c Max memory 		10048897024
0.00/0.08	c Total memory 		10048897024
0.00/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3492574-1307909992.wbo
0.10/0.10	c reading problem ... 
0.27/0.30	c ... done. Wall clock time 0.193s.
0.27/0.30	c #vars     1135
0.27/0.30	c #constraints  2707
0.27/0.30	c constraints type 
0.27/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2520
0.27/0.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 18
0.27/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 164
0.27/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 5
0.76/0.40	c SATISFIABLE
0.76/0.40	c OPTIMIZING...
0.76/0.40	c Got one! Elapsed wall clock time (in seconds):0.296
0.76/0.40	o 194
0.76/0.43	c Got one! Elapsed wall clock time (in seconds):0.324
0.76/0.43	o 172
0.76/0.47	c Got one! Elapsed wall clock time (in seconds):0.361
0.76/0.47	o 128
1.06/0.55	c Got one! Elapsed wall clock time (in seconds):0.447
1.06/0.55	o 116
1.28/0.63	c Got one! Elapsed wall clock time (in seconds):0.521
1.28/0.63	o 115
1.41/0.71	c Got one! Elapsed wall clock time (in seconds):0.608
1.41/0.71	o 114
1.41/0.78	c Got one! Elapsed wall clock time (in seconds):0.675
1.41/0.78	o 111
1.53/0.83	c Got one! Elapsed wall clock time (in seconds):0.722
1.53/0.83	o 67
1.63/0.92	c Got one! Elapsed wall clock time (in seconds):0.812
1.63/0.92	o 66
1.74/1.03	c Got one! Elapsed wall clock time (in seconds):0.93
1.74/1.03	o 59
1.96/1.20	c Got one! Elapsed wall clock time (in seconds):1.095
1.96/1.20	o 49
2.08/1.33	c cleaning 4955 clauses out of 9916 with flag 1004/9916
2.52/1.76	c cleaning 5477 clauses out of 10959 with flag 7002/15914
2.73/1.96	c Got one! Elapsed wall clock time (in seconds):1.859
2.73/1.96	o 46
2.94/2.12	c cleaning 5457 clauses out of 10924 with flag 2001/21356
2.94/2.17	c Got one! Elapsed wall clock time (in seconds):2.067
2.94/2.17	o 45
3.39/2.50	c cleaning 5561 clauses out of 11130 with flag 5000/27019
3.59/2.74	c Got one! Elapsed wall clock time (in seconds):2.633
3.59/2.74	o 31
3.69/2.89	c cleaning 5626 clauses out of 11257 with flag 2002/32707
4.10/3.24	c Got one! Elapsed wall clock time (in seconds):3.133
4.10/3.24	o 24
4.49/3.60	c cleaning 8000 clauses out of 16011 with flag 5001/43087
4.80/3.95	c cleaning 7003 clauses out of 14012 with flag 11002/49088
4.90/4.06	c Got one! Elapsed wall clock time (in seconds):3.953
4.90/4.06	o 20
5.20/4.34	c cleaning 6487 clauses out of 12982 with flag 4002/55061
5.50/4.67	c cleaning 6241 clauses out of 12493 with flag 10000/61059
5.91/5.04	c cleaning 6619 clauses out of 13252 with flag 17000/68059
6.01/5.16	c Got one! Elapsed wall clock time (in seconds):5.054
6.01/5.16	o 14
6.21/5.36	c cleaning 5846 clauses out of 11705 with flag 3000/73131
6.51/5.68	c cleaning 5922 clauses out of 11859 with flag 9000/79131
6.91/6.01	c cleaning 6468 clauses out of 12938 with flag 16001/86132
7.31/6.44	c cleaning 7228 clauses out of 14469 with flag 24000/94131
7.81/6.90	c Got one! Elapsed wall clock time (in seconds):6.799
7.81/6.90	o 13
8.21/7.35	c cleaning 10146 clauses out of 20297 with flag 5002/107187
8.62/7.74	c cleaning 8071 clauses out of 16149 with flag 11000/113185
9.01/8.14	c cleaning 7535 clauses out of 15080 with flag 18002/120187
9.42/8.55	c cleaning 7769 clauses out of 15544 with flag 26001/128186
9.92/9.02	c cleaning 8382 clauses out of 16776 with flag 35002/137187
10.42/9.59	c cleaning 9187 clauses out of 18396 with flag 45004/147189
11.03/10.13	c cleaning 9599 clauses out of 19205 with flag 55000/157185
11.53/10.67	c cleaning 9795 clauses out of 19606 with flag 65000/167185
12.13/11.25	c cleaning 9898 clauses out of 19812 with flag 75001/177186
12.63/11.78	c cleaning 9952 clauses out of 19913 with flag 85000/187185
13.23/12.31	c cleaning 9975 clauses out of 19961 with flag 95000/197185
13.73/12.84	c cleaning 9988 clauses out of 19988 with flag 105002/207187
14.23/13.38	c cleaning 9996 clauses out of 19998 with flag 115000/217185
14.83/13.96	c cleaning 9995 clauses out of 20003 with flag 125001/227186
15.43/14.51	c cleaning 9999 clauses out of 20007 with flag 135000/237185
15.94/15.00	c cleaning 10000 clauses out of 20012 with flag 145004/247189
16.44/15.53	c cleaning 10001 clauses out of 20008 with flag 155000/257185
17.04/16.11	c cleaning 9995 clauses out of 20008 with flag 165001/267186
17.54/16.68	c cleaning 10002 clauses out of 20013 with flag 175001/277186
18.04/17.19	c cleaning 9998 clauses out of 20010 with flag 185000/287185
18.64/17.71	c cleaning 10000 clauses out of 20014 with flag 195002/297187
19.14/18.25	c cleaning 10001 clauses out of 20012 with flag 205000/307185
19.74/18.83	c cleaning 10001 clauses out of 20013 with flag 215002/317187
20.34/19.42	c cleaning 9999 clauses out of 20011 with flag 225001/327186
20.84/19.93	c cleaning 10001 clauses out of 20013 with flag 235002/337187
21.34/20.49	c cleaning 9992 clauses out of 20010 with flag 245000/347185
21.85/20.97	c cleaning 9999 clauses out of 20018 with flag 255000/357185
22.54/21.61	c cleaning 9999 clauses out of 20020 with flag 265001/367186
23.04/22.12	c cleaning 10003 clauses out of 20020 with flag 275000/377185
23.54/22.66	c cleaning 10003 clauses out of 20017 with flag 285000/387185
24.05/23.19	c cleaning 9998 clauses out of 20014 with flag 295000/397185
24.65/23.77	c cleaning 10004 clauses out of 20017 with flag 305001/407186
25.15/24.27	c cleaning 9999 clauses out of 20013 with flag 315001/417186
25.75/24.82	c cleaning 10004 clauses out of 20016 with flag 325003/427188
26.26/25.35	c cleaning 10001 clauses out of 20011 with flag 335002/437187
26.76/25.90	c cleaning 10001 clauses out of 20009 with flag 345001/447186
27.48/26.51	c cleaning 9998 clauses out of 20008 with flag 355001/457186
27.98/27.06	c cleaning 10001 clauses out of 20011 with flag 365002/467187
28.48/27.59	c cleaning 9998 clauses out of 20009 with flag 375001/477186
29.08/28.12	c cleaning 9997 clauses out of 20010 with flag 385000/487185
29.59/28.68	c cleaning 10003 clauses out of 20014 with flag 395001/497186
30.18/29.20	c cleaning 10004 clauses out of 20013 with flag 405003/507188
30.69/29.71	c cleaning 9993 clauses out of 20006 with flag 415000/517185
31.18/30.23	c cleaning 10000 clauses out of 20013 with flag 425000/527185
31.69/30.76	c cleaning 10002 clauses out of 20013 with flag 435000/537185
32.19/31.26	c cleaning 10003 clauses out of 20012 with flag 445001/547186
32.80/31.81	c cleaning 9999 clauses out of 20009 with flag 455001/557186
33.29/32.31	c cleaning 10003 clauses out of 20011 with flag 465002/567187
33.79/32.82	c cleaning 9998 clauses out of 20010 with flag 475004/577189
34.29/33.34	c cleaning 10002 clauses out of 20009 with flag 485001/587186
34.79/33.84	c cleaning 9991 clauses out of 20008 with flag 495002/597187
35.29/34.37	c cleaning 10004 clauses out of 20016 with flag 505001/607186
35.79/34.89	c cleaning 9999 clauses out of 20011 with flag 515000/617185
36.39/35.43	c cleaning 10001 clauses out of 20013 with flag 525001/627186
36.89/35.93	c cleaning 10003 clauses out of 20011 with flag 535000/637185
37.39/36.46	c cleaning 10001 clauses out of 20011 with flag 545003/647188
37.90/36.98	c cleaning 9996 clauses out of 20007 with flag 555000/657185
38.40/37.48	c cleaning 9996 clauses out of 20011 with flag 565000/667185
39.00/38.02	c cleaning 10003 clauses out of 20015 with flag 575000/677185
39.50/38.55	c cleaning 9998 clauses out of 20012 with flag 585000/687185
40.00/39.06	c cleaning 10000 clauses out of 20015 with flag 595001/697186
40.51/39.55	c cleaning 10002 clauses out of 20015 with flag 605001/707186
41.00/40.05	c cleaning 10004 clauses out of 20014 with flag 615002/717187
41.50/40.54	c cleaning 10000 clauses out of 20009 with flag 625001/727186
42.00/41.08	c cleaning 9996 clauses out of 20009 with flag 635001/737186
42.60/41.63	c cleaning 10002 clauses out of 20014 with flag 645002/747187
43.10/42.16	c cleaning 9998 clauses out of 20010 with flag 655000/757185
43.60/42.68	c cleaning 9997 clauses out of 20012 with flag 665000/767185
44.10/43.19	c cleaning 10000 clauses out of 20017 with flag 675002/777187
44.70/43.75	c cleaning 10003 clauses out of 20017 with flag 685002/787187
45.20/44.26	c cleaning 9999 clauses out of 20012 with flag 695000/797185
45.70/44.76	c cleaning 9998 clauses out of 20015 with flag 705002/807187
46.20/45.26	c cleaning 9999 clauses out of 20016 with flag 715001/817186
46.80/45.82	c cleaning 10005 clauses out of 20020 with flag 725004/827189
47.40/46.40	c cleaning 9994 clauses out of 20012 with flag 735001/837186
47.91/46.94	c cleaning 10000 clauses out of 20018 with flag 745001/847186
48.41/47.44	c cleaning 10005 clauses out of 20020 with flag 755003/857188
48.91/47.97	c cleaning 10000 clauses out of 20012 with flag 765000/867185
49.41/48.47	c cleaning 10000 clauses out of 20012 with flag 775000/877185
49.91/48.99	c cleaning 9995 clauses out of 20012 with flag 785000/887185
50.52/49.51	c cleaning 10002 clauses out of 20019 with flag 795002/897187
51.01/50.01	c cleaning 9999 clauses out of 20015 with flag 805000/907185
51.52/50.52	c cleaning 10004 clauses out of 20016 with flag 815000/917185
52.01/51.02	c cleaning 9998 clauses out of 20012 with flag 825000/927185
52.51/51.56	c cleaning 10002 clauses out of 20015 with flag 835001/937186
53.11/52.10	c cleaning 10003 clauses out of 20015 with flag 845003/947188
53.61/52.62	c cleaning 9997 clauses out of 20010 with flag 855001/957186
54.21/53.21	c cleaning 9996 clauses out of 20013 with flag 865001/967186
54.71/53.75	c cleaning 10004 clauses out of 20017 with flag 875001/977186
55.22/54.25	c cleaning 10004 clauses out of 20017 with flag 885005/987190
55.72/54.76	c cleaning 9997 clauses out of 20008 with flag 895000/997185
56.22/55.29	c cleaning 10003 clauses out of 20012 with flag 905001/1007186
56.82/55.81	c cleaning 10001 clauses out of 20011 with flag 915003/1017188
57.32/56.35	c cleaning 9997 clauses out of 20007 with flag 925000/1027185
57.82/56.89	c cleaning 9999 clauses out of 20012 with flag 935002/1037187
58.42/57.44	c cleaning 10001 clauses out of 20013 with flag 945002/1047187
58.92/57.97	c cleaning 9999 clauses out of 20010 with flag 955000/1057185
59.52/58.51	c cleaning 10002 clauses out of 20015 with flag 965004/1067189
60.02/59.06	c cleaning 10000 clauses out of 20010 with flag 975001/1077186
60.62/59.65	c cleaning 9994 clauses out of 20010 with flag 985001/1087186
61.12/60.16	c cleaning 10001 clauses out of 20015 with flag 995000/1097185
61.62/60.68	c cleaning 10003 clauses out of 20014 with flag 1005000/1107185
61.72/60.79	c Got one! Elapsed wall clock time (in seconds):60.689
61.72/60.79	o 9
61.92/60.99	c cleaning 7557 clauses out of 15123 with flag 3001/1112297
62.32/61.34	c cleaning 6775 clauses out of 13565 with flag 9000/1118296
62.72/61.75	c cleaning 6891 clauses out of 13790 with flag 16000/1125296
63.22/62.21	c cleaning 7440 clauses out of 14899 with flag 24000/1133296
63.73/62.73	c cleaning 8217 clauses out of 16460 with flag 33001/1142297
64.33/63.34	c cleaning 9118 clauses out of 18242 with flag 43000/1152296
64.93/63.98	c cleaning 9555 clauses out of 19124 with flag 53000/1162296
65.63/64.62	c cleaning 9782 clauses out of 19572 with flag 63003/1172299
66.23/65.26	c cleaning 9886 clauses out of 19787 with flag 73000/1182296
66.83/65.87	c cleaning 9944 clauses out of 19901 with flag 83000/1192296
67.43/66.46	c cleaning 9972 clauses out of 19957 with flag 93000/1202296
67.93/66.99	c cleaning 9983 clauses out of 19985 with flag 103000/1212296
68.54/67.53	c cleaning 9990 clauses out of 20002 with flag 113000/1222296
69.04/68.07	c cleaning 9997 clauses out of 20012 with flag 123000/1232296
69.54/68.59	c cleaning 10003 clauses out of 20016 with flag 133001/1242297
70.04/69.09	c cleaning 9997 clauses out of 20014 with flag 143002/1252298
70.54/69.58	c cleaning 10000 clauses out of 20018 with flag 153003/1262299
71.15/70.12	c cleaning 9997 clauses out of 20015 with flag 163000/1272296
71.65/70.68	c cleaning 10000 clauses out of 20018 with flag 173000/1282296
72.25/71.21	c cleaning 10005 clauses out of 20019 with flag 183001/1292297
72.75/71.75	c cleaning 9998 clauses out of 20013 with flag 193000/1302296
73.25/72.30	c cleaning 10002 clauses out of 20015 with flag 203000/1312296
73.85/72.86	c cleaning 10004 clauses out of 20016 with flag 213003/1322299
74.45/73.45	c cleaning 10000 clauses out of 20009 with flag 223000/1332296
74.95/73.95	c cleaning 10000 clauses out of 20011 with flag 233002/1342298
75.55/74.51	c cleaning 9998 clauses out of 20009 with flag 243000/1352296
76.05/75.04	c cleaning 10003 clauses out of 20013 with flag 253002/1362298
76.65/75.60	c cleaning 10001 clauses out of 20009 with flag 263001/1372297
77.15/76.17	c cleaning 9995 clauses out of 20008 with flag 273001/1382297
77.75/76.76	c cleaning 9999 clauses out of 20012 with flag 283000/1392296
78.35/77.34	c cleaning 9998 clauses out of 20014 with flag 293001/1402297
78.85/77.88	c cleaning 10003 clauses out of 20017 with flag 303002/1412298
79.35/78.39	c cleaning 9999 clauses out of 20012 with flag 313000/1422296
79.95/78.91	c cleaning 9994 clauses out of 20013 with flag 323000/1432296
80.45/79.42	c cleaning 10004 clauses out of 20023 with flag 333004/1442300
80.96/79.99	c cleaning 10000 clauses out of 20017 with flag 343002/1452298
81.56/80.51	c cleaning 10006 clauses out of 20017 with flag 353002/1462298
82.06/81.00	c cleaning 10003 clauses out of 20011 with flag 363002/1472298
82.56/81.53	c cleaning 9993 clauses out of 20006 with flag 373000/1482296
83.06/82.05	c cleaning 10000 clauses out of 20013 with flag 383000/1492296
83.57/82.59	c cleaning 9998 clauses out of 20014 with flag 393001/1502297
84.06/83.09	c cleaning 10005 clauses out of 20015 with flag 403000/1512296
84.67/83.61	c cleaning 9997 clauses out of 20010 with flag 413000/1522296
85.16/84.17	c cleaning 9999 clauses out of 20013 with flag 423000/1532296
85.77/84.76	c cleaning 9998 clauses out of 20014 with flag 433000/1542296
86.27/85.29	c cleaning 10005 clauses out of 20017 with flag 443001/1552297
86.87/85.81	c cleaning 10002 clauses out of 20011 with flag 453000/1562296
87.38/86.38	c cleaning 9997 clauses out of 20010 with flag 463001/1572297
87.98/86.94	c cleaning 9998 clauses out of 20013 with flag 473001/1582297
88.48/87.48	c cleaning 10004 clauses out of 20016 with flag 483002/1592298
88.99/88.00	c cleaning 9999 clauses out of 20012 with flag 493002/1602298
89.58/88.52	c cleaning 10002 clauses out of 20015 with flag 503004/1612300
90.09/89.03	c cleaning 10000 clauses out of 20009 with flag 513000/1622296
90.59/89.54	c cleaning 10002 clauses out of 20010 with flag 523001/1632297
91.08/90.07	c cleaning 9999 clauses out of 20009 with flag 533002/1642298
91.69/90.61	c cleaning 10002 clauses out of 20009 with flag 543001/1652297
92.19/91.11	c cleaning 10000 clauses out of 20007 with flag 553001/1662297
92.69/91.62	c cleaning 10000 clauses out of 20008 with flag 563002/1672298
93.19/92.13	c cleaning 9998 clauses out of 20006 with flag 573000/1682296
93.69/92.63	c cleaning 9997 clauses out of 20008 with flag 583000/1692296
94.19/93.14	c cleaning 10000 clauses out of 20012 with flag 593001/1702297
94.69/93.64	c cleaning 9993 clauses out of 20011 with flag 603000/1712296
95.19/94.15	c cleaning 10000 clauses out of 20018 with flag 613000/1722296
95.70/94.69	c cleaning 10006 clauses out of 20021 with flag 623003/1732299
96.29/95.21	c cleaning 10001 clauses out of 20013 with flag 633001/1742297
96.80/95.74	c cleaning 9999 clauses out of 20012 with flag 643001/1752297
97.39/96.37	c cleaning 10000 clauses out of 20012 with flag 653000/1762296
97.99/96.91	c cleaning 10003 clauses out of 20013 with flag 663001/1772297
98.49/97.44	c cleaning 10000 clauses out of 20009 with flag 673000/1782296
99.09/98.01	c cleaning 9998 clauses out of 20010 with flag 683001/1792297
99.60/98.55	c cleaning 9999 clauses out of 20015 with flag 693004/1802300
100.11/99.09	c cleaning 9997 clauses out of 20014 with flag 703002/1812298
100.70/99.66	c cleaning 10005 clauses out of 20016 with flag 713001/1822297
101.31/100.21	c cleaning 10001 clauses out of 20010 with flag 723000/1832296
101.81/100.73	c cleaning 9998 clauses out of 20011 with flag 733002/1842298
102.41/101.30	c cleaning 10001 clauses out of 20015 with flag 743004/1852300
102.91/101.84	c cleaning 9997 clauses out of 20010 with flag 753000/1862296
103.41/102.40	c cleaning 9997 clauses out of 20015 with flag 763002/1872298
104.01/102.98	c cleaning 10004 clauses out of 20016 with flag 773000/1882296
104.61/103.55	c cleaning 9990 clauses out of 20014 with flag 783002/1892298
105.21/104.15	c cleaning 9999 clauses out of 20023 with flag 793001/1902297
105.82/104.72	c cleaning 10001 clauses out of 20023 with flag 803000/1912296
106.32/105.29	c cleaning 9998 clauses out of 20023 with flag 813001/1922297
106.92/105.82	c cleaning 10007 clauses out of 20024 with flag 823000/1932296
107.52/106.40	c cleaning 10002 clauses out of 20018 with flag 833001/1942297
108.12/107.01	c cleaning 10003 clauses out of 20015 with flag 843000/1952296
108.72/107.60	c cleaning 10002 clauses out of 20014 with flag 853002/1962298
109.22/108.16	c cleaning 10002 clauses out of 20012 with flag 863002/1972298
109.82/108.76	c cleaning 9992 clauses out of 20008 with flag 873000/1982296
110.42/109.33	c cleaning 10005 clauses out of 20017 with flag 883001/1992297
110.92/109.84	c cleaning 10000 clauses out of 20012 with flag 893001/2002297
111.53/110.42	c cleaning 9991 clauses out of 20011 with flag 903000/2012296
112.13/111.00	c cleaning 10006 clauses out of 20021 with flag 913001/2022297
112.63/111.50	c cleaning 10000 clauses out of 20015 with flag 923001/2032297
113.13/112.02	c cleaning 9999 clauses out of 20014 with flag 933000/2042296
113.63/112.56	c cleaning 9996 clauses out of 20015 with flag 943000/2052296
114.13/113.09	c cleaning 10001 clauses out of 20019 with flag 953000/2062296
114.73/113.62	c cleaning 10006 clauses out of 20019 with flag 963001/2072297
115.23/114.11	c cleaning 10003 clauses out of 20012 with flag 973000/2082296
115.73/114.61	c cleaning 10003 clauses out of 20011 with flag 983002/2092298
116.23/115.12	c cleaning 9996 clauses out of 20006 with flag 993000/2102296
116.73/115.65	c cleaning 9998 clauses out of 20012 with flag 1003002/2112298
117.23/116.16	c cleaning 9996 clauses out of 20012 with flag 1013000/2122296
117.74/116.68	c cleaning 9999 clauses out of 20017 with flag 1023001/2132297
118.34/117.20	c cleaning 10005 clauses out of 20019 with flag 1033002/2142298
118.84/117.74	c cleaning 10000 clauses out of 20012 with flag 1043000/2152296
119.44/118.32	c cleaning 10001 clauses out of 20013 with flag 1053001/2162297
119.95/118.87	c cleaning 10000 clauses out of 20011 with flag 1063000/2172296
120.54/119.42	c cleaning 10000 clauses out of 20013 with flag 1073002/2182298
121.05/119.99	c cleaning 9997 clauses out of 20013 with flag 1083002/2192298
121.65/120.59	c cleaning 10004 clauses out of 20015 with flag 1093001/2202297
122.25/121.13	c cleaning 10000 clauses out of 20010 with flag 1103000/2212296
122.75/121.67	c cleaning 9998 clauses out of 20012 with flag 1113002/2222298
122.96/121.87	c Got one! Elapsed wall clock time (in seconds):121.763
122.96/121.87	o 5
123.06/121.93	c cleaning 7694 clauses out of 15396 with flag 1002/2227680
123.46/122.31	c cleaning 6843 clauses out of 13700 with flag 7000/2233678
123.86/122.74	c cleaning 6923 clauses out of 13857 with flag 14000/2240678
124.36/123.21	c cleaning 7463 clauses out of 14934 with flag 22000/2248678
124.86/123.73	c cleaning 8227 clauses out of 16473 with flag 31002/2257680
125.46/124.32	c cleaning 9116 clauses out of 18245 with flag 41001/2267679
126.06/124.91	c cleaning 9556 clauses out of 19129 with flag 51001/2277679
126.66/125.54	c cleaning 9779 clauses out of 19572 with flag 61000/2287678
127.26/126.15	c cleaning 9889 clauses out of 19793 with flag 71000/2297678
127.86/126.74	c cleaning 9948 clauses out of 19904 with flag 81000/2307678
128.36/127.29	c cleaning 9972 clauses out of 19957 with flag 91001/2317679
128.97/127.83	c cleaning 9987 clauses out of 19985 with flag 101001/2327679
129.47/128.36	c cleaning 9993 clauses out of 20000 with flag 111003/2337681
129.97/128.86	c cleaning 9994 clauses out of 20005 with flag 121001/2347679
130.47/129.39	c cleaning 10001 clauses out of 20014 with flag 131004/2357682
131.07/129.97	c cleaning 9996 clauses out of 20011 with flag 141002/2367680
131.57/130.49	c cleaning 10003 clauses out of 20016 with flag 151003/2377681
132.08/130.97	c cleaning 9999 clauses out of 20010 with flag 161000/2387678
132.58/131.48	c cleaning 10002 clauses out of 20013 with flag 171002/2397680
133.18/132.01	c cleaning 10002 clauses out of 20009 with flag 181000/2407678
133.68/132.53	c cleaning 9999 clauses out of 20009 with flag 191002/2417680
134.19/133.05	c cleaning 9995 clauses out of 20008 with flag 201000/2427678
134.68/133.56	c cleaning 10003 clauses out of 20014 with flag 211001/2437679
135.18/134.07	c cleaning 10003 clauses out of 20014 with flag 221004/2447682
135.68/134.57	c cleaning 10000 clauses out of 20009 with flag 231002/2457680
136.28/135.10	c cleaning 9999 clauses out of 20007 with flag 241000/2467678
136.79/135.60	c cleaning 9998 clauses out of 20009 with flag 251001/2477679
137.28/136.15	c cleaning 10000 clauses out of 20010 with flag 261000/2487678
137.78/136.66	c cleaning 10001 clauses out of 20012 with flag 271002/2497680
138.29/137.18	c cleaning 10000 clauses out of 20010 with flag 281001/2507679
138.79/137.69	c cleaning 9999 clauses out of 20009 with flag 291000/2517678
139.39/138.22	c cleaning 9996 clauses out of 20010 with flag 301000/2527678
139.89/138.78	c cleaning 9992 clauses out of 20017 with flag 311003/2537681
140.49/139.33	c cleaning 9993 clauses out of 20022 with flag 321000/2547678
141.00/139.87	c cleaning 10006 clauses out of 20030 with flag 331001/2557679
141.60/140.41	c cleaning 10006 clauses out of 20025 with flag 341002/2567680
142.10/140.93	c cleaning 10001 clauses out of 20018 with flag 351001/2577679
142.60/141.45	c cleaning 10001 clauses out of 20018 with flag 361002/2587680
143.11/141.98	c cleaning 9995 clauses out of 20015 with flag 371000/2597678
143.71/142.51	c cleaning 10006 clauses out of 20023 with flag 381003/2607681
144.21/143.05	c cleaning 9997 clauses out of 20015 with flag 391001/2617679
144.81/143.61	c cleaning 10003 clauses out of 20017 with flag 401000/2627678
145.31/144.14	c cleaning 10000 clauses out of 20014 with flag 411000/2637678
145.91/144.72	c cleaning 9992 clauses out of 20014 with flag 421000/2647678
146.42/145.26	c cleaning 10008 clauses out of 20023 with flag 431001/2657679
147.01/145.87	c cleaning 9995 clauses out of 20014 with flag 441000/2667678
147.61/146.41	c cleaning 9998 clauses out of 20019 with flag 451000/2677678
148.12/146.92	c cleaning 10003 clauses out of 20022 with flag 461001/2687679
148.62/147.42	c cleaning 10009 clauses out of 20023 with flag 471005/2697683
149.12/147.91	c cleaning 10001 clauses out of 20011 with flag 481002/2707680
149.52/148.39	c cleaning 9997 clauses out of 20010 with flag 491002/2717680
150.02/148.87	c cleaning 9994 clauses out of 20012 with flag 501001/2727679
150.52/149.33	c cleaning 10004 clauses out of 20018 with flag 511001/2737679
151.02/149.82	c cleaning 9997 clauses out of 20013 with flag 521000/2747678
151.52/150.30	c cleaning 10000 clauses out of 20016 with flag 531000/2757678
152.02/150.81	c cleaning 9997 clauses out of 20016 with flag 541000/2767678
152.52/151.33	c cleaning 10003 clauses out of 20025 with flag 551006/2777684
153.03/151.84	c cleaning 10002 clauses out of 20019 with flag 561003/2787681
153.52/152.34	c cleaning 10001 clauses out of 20015 with flag 571001/2797679
154.03/152.86	c cleaning 10000 clauses out of 20013 with flag 581000/2807678
154.52/153.39	c cleaning 10002 clauses out of 20014 with flag 591001/2817679
155.02/153.89	c cleaning 9998 clauses out of 20012 with flag 601001/2827679
155.52/154.38	c cleaning 10000 clauses out of 20014 with flag 611001/2837679
156.02/154.86	c cleaning 9999 clauses out of 20013 with flag 621000/2847678
156.63/155.40	c cleaning 10000 clauses out of 20015 with flag 631001/2857679
157.03/155.89	c cleaning 10005 clauses out of 20016 with flag 641002/2867680
157.63/156.44	c cleaning 9994 clauses out of 20010 with flag 651001/2877679
158.13/156.96	c cleaning 10002 clauses out of 20015 with flag 661000/2887678
158.63/157.47	c cleaning 10000 clauses out of 20015 with flag 671002/2897680
159.13/157.98	c cleaning 10000 clauses out of 20013 with flag 681000/2907678
159.73/158.58	c cleaning 10001 clauses out of 20013 with flag 691000/2917678
160.33/159.12	c cleaning 9998 clauses out of 20013 with flag 701001/2927679
160.83/159.62	c cleaning 9999 clauses out of 20014 with flag 711000/2937678
161.33/160.13	c cleaning 10002 clauses out of 20015 with flag 721000/2947678
161.84/160.67	c cleaning 9998 clauses out of 20013 with flag 731000/2957678
162.43/161.20	c cleaning 10002 clauses out of 20017 with flag 741002/2967680
162.94/161.77	c cleaning 10002 clauses out of 20014 with flag 751001/2977679
163.53/162.37	c cleaning 10000 clauses out of 20011 with flag 761000/2987678
164.14/162.98	c cleaning 9998 clauses out of 20011 with flag 771000/2997678
164.75/163.53	c cleaning 10002 clauses out of 20014 with flag 781001/3007679
165.25/164.02	c cleaning 10000 clauses out of 20012 with flag 791001/3017679
165.75/164.53	c cleaning 9999 clauses out of 20012 with flag 801001/3027679
166.25/165.07	c cleaning 10001 clauses out of 20013 with flag 811001/3037679
166.75/165.57	c cleaning 10003 clauses out of 20012 with flag 821001/3047679
167.25/166.07	c cleaning 9995 clauses out of 20009 with flag 831001/3057679
167.75/166.59	c cleaning 10005 clauses out of 20013 with flag 841000/3067678
168.25/167.09	c cleaning 9999 clauses out of 20009 with flag 851001/3077679
168.85/167.61	c cleaning 10000 clauses out of 20009 with flag 861000/3087678
169.35/168.14	c cleaning 9998 clauses out of 20009 with flag 871000/3097678
169.85/168.64	c cleaning 9997 clauses out of 20011 with flag 881000/3107678
170.35/169.18	c cleaning 10004 clauses out of 20014 with flag 891000/3117678
170.95/169.76	c cleaning 9994 clauses out of 20011 with flag 901001/3127679
171.56/170.30	c cleaning 10002 clauses out of 20018 with flag 911002/3137680
172.06/170.88	c cleaning 9994 clauses out of 20015 with flag 921001/3147679
172.66/171.43	c cleaning 9994 clauses out of 20021 with flag 931001/3157679
173.16/171.97	c cleaning 10008 clauses out of 20026 with flag 941000/3167678
173.66/172.48	c cleaning 10002 clauses out of 20018 with flag 951000/3177678
174.26/173.01	c cleaning 9999 clauses out of 20016 with flag 961000/3187678
174.76/173.53	c cleaning 10005 clauses out of 20019 with flag 971002/3197680
175.26/174.07	c cleaning 10000 clauses out of 20012 with flag 981000/3207678
175.77/174.58	c cleaning 9994 clauses out of 20012 with flag 991000/3217678
176.37/175.13	c cleaning 10004 clauses out of 20018 with flag 1001000/3227678
176.87/175.68	c cleaning 10005 clauses out of 20017 with flag 1011003/3237681
177.37/176.19	c cleaning 9998 clauses out of 20009 with flag 1021000/3247678
177.97/176.77	c cleaning 9999 clauses out of 20011 with flag 1031000/3257678
178.57/177.30	c cleaning 10000 clauses out of 20012 with flag 1041000/3267678
179.07/177.87	c cleaning 10004 clauses out of 20013 with flag 1051001/3277679
179.57/178.38	c cleaning 9993 clauses out of 20009 with flag 1061001/3287679
180.17/178.92	c cleaning 10006 clauses out of 20019 with flag 1071004/3297682
180.78/179.52	c cleaning 9998 clauses out of 20011 with flag 1081002/3307680
181.28/180.09	c cleaning 10003 clauses out of 20013 with flag 1091002/3317680
181.88/180.61	c cleaning 9992 clauses out of 20008 with flag 1101000/3327678
182.38/181.10	c cleaning 10000 clauses out of 20020 with flag 1111004/3337682
182.79/181.57	c cleaning 10000 clauses out of 20016 with flag 1121000/3347678
183.29/182.04	c cleaning 10003 clauses out of 20017 with flag 1131001/3357679
183.79/182.52	c cleaning 10002 clauses out of 20013 with flag 1141000/3367678
184.29/183.03	c cleaning 10002 clauses out of 20013 with flag 1151002/3377680
184.79/183.55	c cleaning 9997 clauses out of 20010 with flag 1161001/3387679
185.29/184.07	c cleaning 10000 clauses out of 20012 with flag 1171000/3397678
185.78/184.58	c cleaning 9998 clauses out of 20012 with flag 1181000/3407678
186.29/185.06	c cleaning 10004 clauses out of 20015 with flag 1191001/3417679
186.79/185.57	c cleaning 9997 clauses out of 20010 with flag 1201000/3427678
186.99/185.75	c Got one! Elapsed wall clock time (in seconds):185.642
186.99/185.75	o 3
187.09/185.87	c cleaning 7981 clauses out of 15971 with flag 2003/3433636
187.49/186.25	c cleaning 6989 clauses out of 13988 with flag 8001/3439634
187.89/186.68	c cleaning 6995 clauses out of 13998 with flag 15000/3446633
188.40/187.16	c cleaning 7498 clauses out of 15005 with flag 23002/3454635
188.90/187.69	c cleaning 8248 clauses out of 16507 with flag 32002/3463635
189.50/188.28	c cleaning 9119 clauses out of 18258 with flag 42001/3473634
190.21/188.91	c cleaning 9564 clauses out of 19139 with flag 52001/3483634
190.81/189.56	c cleaning 9779 clauses out of 19575 with flag 62001/3493634
191.41/190.19	c cleaning 9891 clauses out of 19796 with flag 72001/3503634
192.01/190.77	c cleaning 9942 clauses out of 19905 with flag 82001/3513634
192.62/191.39	c cleaning 9964 clauses out of 19963 with flag 92001/3523634
193.33/192.03	c cleaning 9993 clauses out of 20001 with flag 102003/3533636
194.23/192.62	c cleaning 9996 clauses out of 20005 with flag 112000/3543633
195.08/193.15	c cleaning 10001 clauses out of 20009 with flag 122000/3553633
195.68/193.71	c cleaning 10000 clauses out of 20008 with flag 132000/3563633
196.18/194.24	c cleaning 9991 clauses out of 20008 with flag 142000/3573633
196.68/194.76	c cleaning 10000 clauses out of 20017 with flag 152000/3583633
197.19/195.27	c cleaning 10004 clauses out of 20017 with flag 162000/3593633
197.79/195.84	c cleaning 10001 clauses out of 20017 with flag 172004/3603637
198.29/196.36	c cleaning 10001 clauses out of 20015 with flag 182003/3613636
198.80/196.88	c cleaning 10002 clauses out of 20012 with flag 192001/3623634
199.29/197.38	c cleaning 10000 clauses out of 20010 with flag 202001/3633634
199.79/197.89	c cleaning 9995 clauses out of 20010 with flag 212001/3643634
200.39/198.42	c cleaning 10004 clauses out of 20017 with flag 222003/3653636
200.89/198.93	c cleaning 9999 clauses out of 20011 with flag 232001/3663634
201.39/199.47	c cleaning 9999 clauses out of 20011 with flag 242000/3673633
201.90/199.99	c cleaning 9999 clauses out of 20012 with flag 252000/3683633
202.40/200.47	c cleaning 10002 clauses out of 20013 with flag 262000/3693633
202.90/200.98	c cleaning 9996 clauses out of 20011 with flag 272000/3703633
203.41/201.46	c cleaning 9998 clauses out of 20015 with flag 282000/3713633
203.91/201.95	c cleaning 10005 clauses out of 20017 with flag 292000/3723633
204.41/202.46	c cleaning 9997 clauses out of 20013 with flag 302001/3733634
204.91/202.95	c cleaning 10003 clauses out of 20018 with flag 312003/3743636
205.42/203.46	c cleaning 10001 clauses out of 20013 with flag 322001/3753634
206.01/204.01	c cleaning 10000 clauses out of 20011 with flag 332000/3763633
206.52/204.52	c cleaning 10004 clauses out of 20013 with flag 342002/3773635
207.02/205.02	c cleaning 9994 clauses out of 20008 with flag 352001/3783634
207.52/205.54	c cleaning 9999 clauses out of 20014 with flag 362001/3793634
208.02/206.04	c cleaning 10004 clauses out of 20016 with flag 372002/3803635
208.52/206.56	c cleaning 10003 clauses out of 20011 with flag 382001/3813634
209.02/207.03	c cleaning 9993 clauses out of 20007 with flag 392000/3823633
209.62/207.60	c cleaning 10002 clauses out of 20014 with flag 402000/3833633
210.12/208.10	c cleaning 10002 clauses out of 20012 with flag 412000/3843633
210.62/208.60	c cleaning 9998 clauses out of 20011 with flag 422001/3853634
211.03/209.09	c cleaning 10002 clauses out of 20014 with flag 432002/3863635
211.62/209.61	c cleaning 9997 clauses out of 20010 with flag 442000/3873633
212.13/210.12	c cleaning 10004 clauses out of 20014 with flag 452001/3883634
212.62/210.63	c cleaning 9997 clauses out of 20009 with flag 462000/3893633
213.13/211.15	c cleaning 10000 clauses out of 20012 with flag 472000/3903633
213.62/211.66	c cleaning 10005 clauses out of 20014 with flag 482002/3913635
214.23/212.23	c cleaning 9996 clauses out of 20007 with flag 492000/3923633
214.73/212.72	c cleaning 9997 clauses out of 20014 with flag 502003/3933636
215.23/213.25	c cleaning 10003 clauses out of 20016 with flag 512002/3943635
215.73/213.77	c cleaning 10003 clauses out of 20013 with flag 522002/3953635
216.23/214.28	c cleaning 9996 clauses out of 20008 with flag 532000/3963633
216.83/214.80	c cleaning 9998 clauses out of 20012 with flag 542000/3973633
217.33/215.35	c cleaning 10004 clauses out of 20020 with flag 552006/3983639
217.93/215.93	c cleaning 9995 clauses out of 20011 with flag 562001/3993634
218.53/216.58	c cleaning 9996 clauses out of 20016 with flag 572001/4003634
219.23/217.20	c cleaning 9999 clauses out of 20019 with flag 582000/4013633
219.84/217.83	c cleaning 9999 clauses out of 20022 with flag 592002/4023635
220.34/218.34	c cleaning 10002 clauses out of 20023 with flag 602002/4033635
220.94/218.91	c cleaning 10005 clauses out of 20019 with flag 612000/4043633
221.54/219.51	c cleaning 9996 clauses out of 20014 with flag 622000/4053633
222.05/220.10	c cleaning 10006 clauses out of 20022 with flag 632004/4063637
222.64/220.69	c cleaning 10002 clauses out of 20013 with flag 642001/4073634
223.25/221.22	c cleaning 9997 clauses out of 20011 with flag 652001/4083634
223.75/221.79	c cleaning 9998 clauses out of 20014 with flag 662001/4093634
224.35/222.38	c cleaning 10002 clauses out of 20016 with flag 672001/4103634
224.95/222.93	c cleaning 9990 clauses out of 20013 with flag 682000/4113633
225.45/223.46	c cleaning 10004 clauses out of 20023 with flag 692000/4123633
226.05/224.04	c cleaning 10010 clauses out of 20019 with flag 702000/4133633
226.55/224.56	c cleaning 9998 clauses out of 20010 with flag 712001/4143634
227.05/225.08	c cleaning 9997 clauses out of 20011 with flag 722000/4153633
227.56/225.59	c cleaning 9995 clauses out of 20014 with flag 732000/4163633
228.05/226.09	c cleaning 10005 clauses out of 20020 with flag 742001/4173634
228.56/226.57	c cleaning 10000 clauses out of 20015 with flag 752001/4183634
229.06/227.06	c cleaning 10003 clauses out of 20015 with flag 762001/4193634
229.56/227.53	c cleaning 9997 clauses out of 20011 with flag 772000/4203633
230.06/228.04	c cleaning 10001 clauses out of 20015 with flag 782001/4213634
230.56/228.53	c cleaning 10004 clauses out of 20021 with flag 792008/4223641
231.16/229.10	c cleaning 9999 clauses out of 20009 with flag 802000/4233633
231.66/229.61	c cleaning 10003 clauses out of 20010 with flag 812000/4243633
232.06/230.08	c cleaning 9994 clauses out of 20009 with flag 822002/4253635
232.57/230.59	c cleaning 9993 clauses out of 20014 with flag 832001/4263634
233.07/231.08	c cleaning 10001 clauses out of 20020 with flag 842000/4273633
233.67/231.61	c cleaning 10007 clauses out of 20022 with flag 852003/4283636
234.17/232.18	c cleaning 10001 clauses out of 20013 with flag 862001/4293634
234.67/232.68	c cleaning 9995 clauses out of 20011 with flag 872000/4303633
235.18/233.15	c cleaning 9996 clauses out of 20017 with flag 882001/4313634
235.67/233.66	c cleaning 10000 clauses out of 20020 with flag 892000/4323633
236.28/234.21	c cleaning 10004 clauses out of 20021 with flag 902001/4333634
236.77/234.76	c cleaning 10004 clauses out of 20018 with flag 912002/4343635
237.28/235.30	c cleaning 9991 clauses out of 20013 with flag 922001/4353634
237.88/235.82	c cleaning 10004 clauses out of 20023 with flag 932002/4363635
238.38/236.33	c cleaning 10003 clauses out of 20020 with flag 942003/4373636
238.88/236.87	c cleaning 10003 clauses out of 20017 with flag 952003/4383636
239.38/237.39	c cleaning 10000 clauses out of 20013 with flag 962002/4393635
239.98/237.94	c cleaning 10001 clauses out of 20012 with flag 972001/4403634
240.48/238.47	c cleaning 10001 clauses out of 20014 with flag 982004/4413637
240.98/238.98	c cleaning 9999 clauses out of 20009 with flag 992000/4423633
241.58/239.50	c cleaning 9999 clauses out of 20010 with flag 1002000/4433633
242.08/240.02	c cleaning 10000 clauses out of 20011 with flag 1012000/4443633
242.58/240.55	c cleaning 9996 clauses out of 20011 with flag 1022000/4453633
243.09/241.09	c cleaning 10004 clauses out of 20016 with flag 1032001/4463634
243.59/241.59	c cleaning 10001 clauses out of 20011 with flag 1042000/4473633
244.09/242.09	c cleaning 9998 clauses out of 20010 with flag 1052000/4483633
244.69/242.62	c cleaning 10001 clauses out of 20013 with flag 1062001/4493634
245.19/243.15	c cleaning 9999 clauses out of 20011 with flag 1072000/4503633
245.79/243.76	c cleaning 10001 clauses out of 20012 with flag 1082000/4513633
246.29/244.25	c cleaning 10004 clauses out of 20016 with flag 1092005/4523638
246.79/244.78	c cleaning 9995 clauses out of 20009 with flag 1102002/4533635
247.29/245.29	c cleaning 10003 clauses out of 20013 with flag 1112001/4543634
247.89/245.81	c cleaning 10001 clauses out of 20010 with flag 1122001/4553634
248.29/246.28	c cleaning 10002 clauses out of 20009 with flag 1132001/4563634
248.80/246.79	c cleaning 10002 clauses out of 20007 with flag 1142001/4573634
249.40/247.30	c cleaning 9997 clauses out of 20004 with flag 1152000/4583633
249.90/247.85	c cleaning 9999 clauses out of 20008 with flag 1162001/4593634
250.39/248.33	c cleaning 10001 clauses out of 20009 with flag 1172001/4603634
250.89/248.86	c cleaning 9999 clauses out of 20009 with flag 1182002/4613635
251.40/249.39	c cleaning 9997 clauses out of 20008 with flag 1192000/4623633
251.99/249.95	c cleaning 10004 clauses out of 20013 with flag 1202002/4633635
252.49/250.49	c cleaning 9993 clauses out of 20008 with flag 1212001/4643634
253.10/251.04	c cleaning 10000 clauses out of 20014 with flag 1222000/4653633
253.60/251.56	c cleaning 10002 clauses out of 20016 with flag 1232002/4663635
254.10/252.07	c cleaning 10002 clauses out of 20014 with flag 1242002/4673635
254.60/252.59	c cleaning 9995 clauses out of 20010 with flag 1252000/4683633
255.20/253.10	c cleaning 10000 clauses out of 20015 with flag 1262000/4693633
255.70/253.61	c cleaning 9999 clauses out of 20015 with flag 1272000/4703633
256.21/254.16	c cleaning 9997 clauses out of 20017 with flag 1282001/4713634
256.80/254.70	c cleaning 10007 clauses out of 20019 with flag 1292000/4723633
257.31/255.27	c cleaning 10004 clauses out of 20012 with flag 1302000/4733633
257.91/255.84	c cleaning 9997 clauses out of 20009 with flag 1312001/4743634
258.51/256.45	c cleaning 9997 clauses out of 20012 with flag 1322001/4753634
259.11/257.02	c cleaning 10004 clauses out of 20015 with flag 1332001/4763634
259.61/257.59	c cleaning 10000 clauses out of 20010 with flag 1342000/4773633
260.22/258.14	c cleaning 9994 clauses out of 20010 with flag 1352000/4783633
260.72/258.66	c cleaning 10003 clauses out of 20016 with flag 1362000/4793633
261.22/259.19	c cleaning 10005 clauses out of 20015 with flag 1372002/4803635
261.82/259.76	c cleaning 9998 clauses out of 20010 with flag 1382002/4813635
262.42/260.36	c cleaning 10000 clauses out of 20013 with flag 1392003/4823636
262.92/260.89	c cleaning 10001 clauses out of 20013 with flag 1402003/4833636
263.52/261.41	c cleaning 9994 clauses out of 20009 with flag 1412000/4843633
264.02/261.93	c cleaning 10000 clauses out of 20015 with flag 1422000/4853633
264.52/262.47	c cleaning 10003 clauses out of 20015 with flag 1432000/4863633
265.12/263.05	c cleaning 10001 clauses out of 20013 with flag 1442001/4873634
265.72/263.62	c cleaning 10001 clauses out of 20011 with flag 1452000/4883633
266.23/264.16	c cleaning 9997 clauses out of 20012 with flag 1462002/4893635
266.83/264.73	c cleaning 10001 clauses out of 20013 with flag 1472000/4903633
267.33/265.28	c cleaning 9995 clauses out of 20013 with flag 1482001/4913634
267.93/265.89	c cleaning 10004 clauses out of 20018 with flag 1492001/4923634
268.53/266.47	c cleaning 9992 clauses out of 20014 with flag 1502001/4933634
269.13/267.04	c cleaning 10001 clauses out of 20023 with flag 1512002/4943635
269.63/267.59	c cleaning 10006 clauses out of 20020 with flag 1522000/4953633
270.23/268.14	c cleaning 10000 clauses out of 20016 with flag 1532002/4963635
270.84/268.72	c cleaning 10001 clauses out of 20014 with flag 1542000/4973633
271.34/269.27	c cleaning 10003 clauses out of 20018 with flag 1552005/4983638
271.94/269.84	c cleaning 9986 clauses out of 20010 with flag 1562000/4993633
272.44/270.39	c cleaning 10006 clauses out of 20025 with flag 1572001/5003634
273.04/270.98	c cleaning 10008 clauses out of 20021 with flag 1582003/5013636
273.67/271.58	c cleaning 9999 clauses out of 20010 with flag 1592001/5023634
274.28/272.16	c cleaning 10000 clauses out of 20009 with flag 1602000/5033633
274.89/272.80	c cleaning 9997 clauses out of 20008 with flag 1612000/5043633
274.99/272.85	c starts		: 293
274.99/272.85	c conflicts		: 5044307
274.99/272.85	c decisions		: 7825348
274.99/272.85	c propagations		: 255159713
274.99/272.85	c inspects		: 2516216360
274.99/272.85	c shortcuts		: 0
274.99/272.85	c learnt literals	: 6
274.99/272.85	c learnt binary clauses	: 46
274.99/272.85	c learnt ternary clauses	: 1093
274.99/272.85	c learnt constraints	: 5044300
274.99/272.85	c ignored constraints	: 0
274.99/272.85	c root simplifications	: 0
274.99/272.85	c removed literals (reason simplification)	: 25086055
274.99/272.85	c reason swapping (by a shorter reason)	: 0
274.99/272.85	c Calls to reduceDB	: 514
274.99/272.85	c number of reductions to clauses (during analyze)	: 0
274.99/272.85	c number of learned constraints concerned by reduction	: 0
274.99/272.85	c number of learning phase by resolution	: 0
274.99/272.85	c number of learning phase by cutting planes	: 0
274.99/272.85	c speed (assignments/second)	: 2929301.2306844536
274.99/272.85	c non guided choices	2886
274.99/272.85	c learnt constraints type 
274.99/272.85	c constraints type 
274.99/272.85	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2520
274.99/272.85	c org.sat4j.minisat.constraints.card.MinWatchCard => 18
274.99/272.85	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 164
274.99/272.85	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 5
274.99/272.85	s OPTIMUM FOUND
274.99/272.85	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 
274.99/272.85	c objective function=3
274.99/272.85	c Total wall clock time (in seconds): 272.749

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 1.98 1.97 1.89 4/195 14338
/proc/meminfo: memFree=1208668/32951124 swapFree=67051728/67111528
[pid=14338] ppid=14336 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/14338/stat : 14338 (java) R 14336 14338 12190 0 -1 4202496 976 0 0 0 0 0 0 0 25 0 1 0 902597179 23580672 718 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 47638911385599 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14338/statm: 5757 729 535 9 0 124 0

[startup+0.0939761 s]
/proc/loadavg: 1.98 1.97 1.89 4/195 14338
/proc/meminfo: memFree=1208668/32951124 swapFree=67051728/67111528
[pid=14338] ppid=14336 vsize=10539816 CPUtime=0.09 cores=1,3,5,7
/proc/14338/stat : 14338 (java) S 14336 14338 12190 0 -1 4202496 12988 0 1 0 8 1 0 0 25 0 18 0 902597179 10792771584 12668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/14338/statm: 2634954 12670 2092 9 0 2625688 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539816

[startup+0.101007 s]
/proc/loadavg: 1.98 1.97 1.89 4/195 14338
/proc/meminfo: memFree=1208668/32951124 swapFree=67051728/67111528
[pid=14338] ppid=14336 vsize=10539948 CPUtime=0.1 cores=1,3,5,7
/proc/14338/stat : 14338 (java) S 14336 14338 12190 0 -1 4202496 13083 0 1 0 9 1 0 0 25 0 18 0 902597179 10792906752 12763 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/14338/statm: 2634987 12763 2092 9 0 2625721 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539948

[startup+0.305978 s]
/proc/loadavg: 1.98 1.97 1.89 4/195 14338
/proc/meminfo: memFree=1208668/32951124 swapFree=67051728/67111528
[pid=14338] ppid=14336 vsize=10540740 CPUtime=0.5 cores=1,3,5,7
/proc/14338/stat : 14338 (java) S 14336 14338 12190 0 -1 4202496 16588 0 1 0 49 1 0 0 25 0 18 0 902597179 10793717760 15515 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/14338/statm: 2635185 15515 2209 9 0 2625919 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10540740

[startup+0.700903 s]
/proc/loadavg: 1.98 1.97 1.89 4/195 14338
/proc/meminfo: memFree=1208668/32951124 swapFree=67051728/67111528
[pid=14338] ppid=14336 vsize=10545620 CPUtime=1.41 cores=1,3,5,7
/proc/14338/stat : 14338 (java) S 14336 14338 12190 0 -1 4202496 22037 0 1 0 139 2 0 0 25 0 19 0 902597179 10798714880 18605 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/14338/statm: 2636405 18605 2224 9 0 2627139 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 10545620

[startup+1.50077 s]
/proc/loadavg: 1.98 1.97 1.89 3/214 14357
/proc/meminfo: memFree=1138280/32951124 swapFree=67051728/67111528
[pid=14338] ppid=14336 vsize=10545620 CPUtime=2.32 cores=1,3,5,7
/proc/14338/stat : 14338 (java) S 14336 14338 12190 0 -1 4202496 24107 0 1 0 230 2 0 0 25 0 19 0 902597179 10798714880 20668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/14338/statm: 2636405 20668 2252 9 0 2627139 0
[pid=14338/tid=14340] ppid=14336 vsize=10545620 CPUtime=1.46 cores=1,3,5,7
/proc/14338/task/14340/stat : 14340 (java) R 14336 14338 12190 0 -1 4202560 14767 0 1 0 145 1 0 0 20 0 19 0 902597180 10798714880 20668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 46912505710510 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14338/tid=14341] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14341/stat : 14341 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902597182 10798714880 20668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14342] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14342/stat : 14342 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902597182 10798714880 20668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14343] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14343/stat : 14343 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902597182 10798714880 20668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14344] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14344/stat : 14344 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902597182 10798714880 20668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14345] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14345/stat : 14345 (java) S 14336 14338 12190 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 902597182 10798714880 20668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 5 0 0 0
[pid=14338/tid=14346] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14346/stat : 14346 (java) S 14336 14338 12190 0 -1 4202560 92 0 0 0 0 0 0 0 18 0 19 0 902597182 10798714880 20668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14347] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14347/stat : 14347 (java) S 14336 14338 12190 0 -1 4202560 211 0 0 0 0 0 0 0 18 0 19 0 902597182 10798714880 20668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14348] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14348/stat : 14348 (java) S 14336 14338 12190 0 -1 4202560 213 0 0 0 0 0 0 0 18 0 19 0 902597182 10798714880 20668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14349] ppid=14336 vsize=10545620 CPUtime=0.01 cores=1,3,5,7
/proc/14338/task/14349/stat : 14349 (java) S 14336 14338 12190 0 -1 4202560 522 0 0 0 1 0 0 0 15 0 19 0 902597183 10798714880 20668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 0 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14350] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14350/stat : 14350 (java) S 14336 14338 12190 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902597183 10798714880 20668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14351] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14351/stat : 14351 (java) S 14336 14338 12190 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902597183 10798714880 20668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14352] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14352/stat : 14352 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902597185 10798714880 20668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134537649 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14353] ppid=14336 vsize=10545620 CPUtime=0.41 cores=1,3,5,7
/proc/14338/task/14353/stat : 14353 (java) S 14336 14338 12190 0 -1 4202560 4793 0 0 0 41 0 0 0 19 0 19 0 902597185 10798714880 20668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14354] ppid=14336 vsize=10545620 CPUtime=0.41 cores=1,3,5,7
/proc/14338/task/14354/stat : 14354 (java) S 14336 14338 12190 0 -1 4202560 2344 0 0 0 41 0 0 0 15 0 19 0 902597185 10798714880 20668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 5 0 0 0
[pid=14338/tid=14355] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14355/stat : 14355 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902597185 10798714880 20668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14356] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14356/stat : 14356 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902597185 10798714880 20668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14357] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14357/stat : 14357 (java) S 14336 14338 12190 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902597211 10798714880 20668 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10545620

[startup+3.10143 s]
/proc/loadavg: 1.98 1.97 1.89 3/214 14357
/proc/meminfo: memFree=1129988/32951124 swapFree=67051728/67111528
[pid=14338] ppid=14336 vsize=10545620 CPUtime=3.99 cores=1,3,5,7
/proc/14338/stat : 14338 (java) S 14336 14338 12190 0 -1 4202496 24576 0 1 0 397 2 0 0 25 0 19 0 902597179 10798714880 21133 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/14338/statm: 2636405 21133 2252 9 0 2627139 0
[pid=14338/tid=14340] ppid=14336 vsize=10545620 CPUtime=3 cores=1,3,5,7
/proc/14338/task/14340/stat : 14340 (java) R 14336 14338 12190 0 -1 4202560 14771 0 1 0 299 1 0 0 25 0 19 0 902597180 10798714880 21133 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 46912505654887 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14338/tid=14341] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14341/stat : 14341 (java) S 14336 14338 12190 0 -1 4202560 183 0 0 0 0 0 0 0 15 0 19 0 902597182 10798714880 21133 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14342] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14342/stat : 14342 (java) S 14336 14338 12190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 902597182 10798714880 21133 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14343] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14343/stat : 14343 (java) S 14336 14338 12190 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 902597182 10798714880 21133 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14344] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14344/stat : 14344 (java) S 14336 14338 12190 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 902597182 10798714880 21133 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 5 0 0 0
[pid=14338/tid=14345] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14345/stat : 14345 (java) S 14336 14338 12190 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 902597182 10798714880 21133 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 5 0 0 0
[pid=14338/tid=14346] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14346/stat : 14346 (java) S 14336 14338 12190 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 902597182 10798714880 21133 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14347] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14347/stat : 14347 (java) S 14336 14338 12190 0 -1 4202560 211 0 0 0 0 0 0 0 16 0 19 0 902597182 10798714880 21133 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 5 0 0 0
[pid=14338/tid=14348] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14348/stat : 14348 (java) S 14336 14338 12190 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 19 0 902597182 10798714880 21133 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14349] ppid=14336 vsize=10545620 CPUtime=0.06 cores=1,3,5,7
/proc/14338/task/14349/stat : 14349 (java) S 14336 14338 12190 0 -1 4202560 696 0 0 0 6 0 0 0 15 0 19 0 902597183 10798714880 21133 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 0 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14350] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14350/stat : 14350 (java) S 14336 14338 12190 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902597183 10798714880 21133 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14351] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14351/stat : 14351 (java) S 14336 14338 12190 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902597183 10798714880 21133 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14352] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14352/stat : 14352 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902597185 10798714880 21133 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134537649 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14353] ppid=14336 vsize=10545620 CPUtime=0.47 cores=1,3,5,7
/proc/14338/task/14353/stat : 14353 (java) S 14336 14338 12190 0 -1 4202560 4828 0 0 0 47 0 0 0 15 0 19 0 902597185 10798714880 21133 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14354] ppid=14336 vsize=10545620 CPUtime=0.42 cores=1,3,5,7
/proc/14338/task/14354/stat : 14354 (java) S 14336 14338 12190 0 -1 4202560 2344 0 0 0 42 0 0 0 15 0 19 0 902597185 10798714880 21133 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 5 0 0 0
[pid=14338/tid=14355] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14355/stat : 14355 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902597185 10798714880 21133 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14356] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14356/stat : 14356 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902597185 10798714880 21133 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14357] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14357/stat : 14357 (java) S 14336 14338 12190 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902597211 10798714880 21133 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 10545620

[startup+6.30089 s]
/proc/loadavg: 1.98 1.97 1.89 3/214 14357
/proc/meminfo: memFree=1127500/32951124 swapFree=67051728/67111528
[pid=14338] ppid=14336 vsize=10545620 CPUtime=7.21 cores=1,3,5,7
/proc/14338/stat : 14338 (java) S 14336 14338 12190 0 -1 4202496 24958 0 1 0 719 2 0 0 25 0 19 0 902597179 10798714880 21410 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/14338/statm: 2636405 21410 2252 9 0 2627139 0
[pid=14338/tid=14340] ppid=14336 vsize=10545620 CPUtime=6.08 cores=1,3,5,7
/proc/14338/task/14340/stat : 14340 (java) R 14336 14338 12190 0 -1 4202560 14780 0 1 0 607 1 0 0 25 0 19 0 902597180 10798714880 21410 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 46912505680878 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14338/tid=14341] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14341/stat : 14341 (java) S 14336 14338 12190 0 -1 4202560 183 0 0 0 0 0 0 0 15 0 19 0 902597182 10798714880 21410 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 5 0 0 0
[pid=14338/tid=14342] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14342/stat : 14342 (java) S 14336 14338 12190 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 902597182 10798714880 21410 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14343] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14343/stat : 14343 (java) S 14336 14338 12190 0 -1 4202560 68 0 0 0 0 0 0 0 16 0 19 0 902597182 10798714880 21410 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14344] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14344/stat : 14344 (java) S 14336 14338 12190 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902597182 10798714880 21410 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 5 0 0 0
[pid=14338/tid=14345] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14345/stat : 14345 (java) S 14336 14338 12190 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 19 0 902597182 10798714880 21410 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14346] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14346/stat : 14346 (java) S 14336 14338 12190 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 902597182 10798714880 21410 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14347] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14347/stat : 14347 (java) S 14336 14338 12190 0 -1 4202560 281 0 0 0 0 0 0 0 15 0 19 0 902597182 10798714880 21410 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14348] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14348/stat : 14348 (java) S 14336 14338 12190 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 19 0 902597182 10798714880 21410 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14349] ppid=14336 vsize=10545620 CPUtime=0.17 cores=1,3,5,7
/proc/14338/task/14349/stat : 14349 (java) S 14336 14338 12190 0 -1 4202560 770 0 0 0 17 0 0 0 16 0 19 0 902597183 10798714880 21410 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 0 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14350] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14350/stat : 14350 (java) S 14336 14338 12190 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902597183 10798714880 21410 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14351] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14351/stat : 14351 (java) S 14336 14338 12190 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902597183 10798714880 21410 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14352] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14352/stat : 14352 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902597185 10798714880 21410 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134537649 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14353] ppid=14336 vsize=10545620 CPUtime=0.48 cores=1,3,5,7
/proc/14338/task/14353/stat : 14353 (java) S 14336 14338 12190 0 -1 4202560 4829 0 0 0 48 0 0 0 15 0 19 0 902597185 10798714880 21410 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14354] ppid=14336 vsize=10545620 CPUtime=0.42 cores=1,3,5,7
/proc/14338/task/14354/stat : 14354 (java) S 14336 14338 12190 0 -1 4202560 2344 0 0 0 42 0 0 0 15 0 19 0 902597185 10798714880 21410 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 5 0 0 0
[pid=14338/tid=14355] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14355/stat : 14355 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902597185 10798714880 21410 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14356] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14356/stat : 14356 (java) R 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902597185 10798714880 21410 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14338/tid=14357] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14357/stat : 14357 (java) S 14336 14338 12190 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902597211 10798714880 21410 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.21
Current children cumulated vsize (KiB) 10545620

[startup+12.7008 s]

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

/proc/14338/task/14341/stat : 14341 (java) S 14336 14338 12190 0 -1 4202560 196 0 0 0 16 0 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14342] ppid=14336 vsize=10545620 CPUtime=0.14 cores=1,3,5,7
/proc/14338/task/14342/stat : 14342 (java) S 14336 14338 12190 0 -1 4202560 21 0 0 0 14 0 0 0 16 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14343] ppid=14336 vsize=10545620 CPUtime=0.14 cores=1,3,5,7
/proc/14338/task/14343/stat : 14343 (java) S 14336 14338 12190 0 -1 4202560 87 0 0 0 14 0 0 0 16 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14344] ppid=14336 vsize=10545620 CPUtime=0.13 cores=1,3,5,7
/proc/14338/task/14344/stat : 14344 (java) S 14336 14338 12190 0 -1 4202560 24 0 0 0 13 0 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14345] ppid=14336 vsize=10545620 CPUtime=0.13 cores=1,3,5,7
/proc/14338/task/14345/stat : 14345 (java) S 14336 14338 12190 0 -1 4202560 165 0 0 0 13 0 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14346] ppid=14336 vsize=10545620 CPUtime=0.13 cores=1,3,5,7
/proc/14338/task/14346/stat : 14346 (java) S 14336 14338 12190 0 -1 4202560 187 0 0 0 13 0 0 0 16 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14347] ppid=14336 vsize=10545620 CPUtime=0.15 cores=1,3,5,7
/proc/14338/task/14347/stat : 14347 (java) S 14336 14338 12190 0 -1 4202560 304 0 0 0 14 1 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14348] ppid=14336 vsize=10545620 CPUtime=0.11 cores=1,3,5,7
/proc/14338/task/14348/stat : 14348 (java) S 14336 14338 12190 0 -1 4202560 236 0 0 0 11 0 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14349] ppid=14336 vsize=10545620 CPUtime=8.11 cores=1,3,5,7
/proc/14338/task/14349/stat : 14349 (java) S 14336 14338 12190 0 -1 4202560 1538 0 0 0 804 7 0 0 15 0 19 0 902597183 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 0 0 16800975 18446604457211714368 0 0 -1 5 0 0 0
[pid=14338/tid=14350] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14350/stat : 14350 (java) S 14336 14338 12190 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902597183 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14351] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14351/stat : 14351 (java) S 14336 14338 12190 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902597183 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14352] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14352/stat : 14352 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134537649 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14353] ppid=14336 vsize=10545620 CPUtime=1.16 cores=1,3,5,7
/proc/14338/task/14353/stat : 14353 (java) S 14336 14338 12190 0 -1 4202560 12722 0 0 0 115 1 0 0 15 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14354] ppid=14336 vsize=10545620 CPUtime=0.47 cores=1,3,5,7
/proc/14338/task/14354/stat : 14354 (java) S 14336 14338 12190 0 -1 4202560 2346 0 0 0 47 0 0 0 15 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 5 0 0 0
[pid=14338/tid=14355] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14355/stat : 14355 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14356] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14356/stat : 14356 (java) S 14336 14338 12190 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14357] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14357/stat : 14357 (java) S 14336 14338 12190 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902597211 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 274.08
Current children cumulated vsize (KiB) 10545620

[startup+272.301 s]
/proc/loadavg: 2.02 2.01 1.91 4/214 14421
/proc/meminfo: memFree=1097184/32951124 swapFree=67051728/67111528
[pid=14338] ppid=14336 vsize=10545620 CPUtime=274.48 cores=1,3,5,7
/proc/14338/stat : 14338 (java) S 14336 14338 12190 0 -1 4202496 34279 0 1 0 27430 18 0 0 25 0 19 0 902597179 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/14338/statm: 2636405 24227 2254 9 0 2627139 0
[pid=14338/tid=14340] ppid=14336 vsize=10545620 CPUtime=263.49 cores=1,3,5,7
/proc/14338/task/14340/stat : 14340 (java) R 14336 14338 12190 0 -1 4202560 15282 0 1 0 26347 2 0 0 21 0 19 0 902597180 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 46912505662268 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14338/tid=14341] ppid=14336 vsize=10545620 CPUtime=0.16 cores=1,3,5,7
/proc/14338/task/14341/stat : 14341 (java) S 14336 14338 12190 0 -1 4202560 196 0 0 0 16 0 0 0 16 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14342] ppid=14336 vsize=10545620 CPUtime=0.14 cores=1,3,5,7
/proc/14338/task/14342/stat : 14342 (java) S 14336 14338 12190 0 -1 4202560 21 0 0 0 14 0 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14343] ppid=14336 vsize=10545620 CPUtime=0.14 cores=1,3,5,7
/proc/14338/task/14343/stat : 14343 (java) S 14336 14338 12190 0 -1 4202560 87 0 0 0 14 0 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14344] ppid=14336 vsize=10545620 CPUtime=0.13 cores=1,3,5,7
/proc/14338/task/14344/stat : 14344 (java) S 14336 14338 12190 0 -1 4202560 24 0 0 0 13 0 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14345] ppid=14336 vsize=10545620 CPUtime=0.13 cores=1,3,5,7
/proc/14338/task/14345/stat : 14345 (java) S 14336 14338 12190 0 -1 4202560 165 0 0 0 13 0 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14346] ppid=14336 vsize=10545620 CPUtime=0.13 cores=1,3,5,7
/proc/14338/task/14346/stat : 14346 (java) S 14336 14338 12190 0 -1 4202560 187 0 0 0 13 0 0 0 16 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14347] ppid=14336 vsize=10545620 CPUtime=0.15 cores=1,3,5,7
/proc/14338/task/14347/stat : 14347 (java) S 14336 14338 12190 0 -1 4202560 304 0 0 0 14 1 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14348] ppid=14336 vsize=10545620 CPUtime=0.11 cores=1,3,5,7
/proc/14338/task/14348/stat : 14348 (java) S 14336 14338 12190 0 -1 4202560 236 0 0 0 11 0 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14349] ppid=14336 vsize=10545620 CPUtime=8.13 cores=1,3,5,7
/proc/14338/task/14349/stat : 14349 (java) S 14336 14338 12190 0 -1 4202560 1538 0 0 0 806 7 0 0 15 0 19 0 902597183 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 0 0 16800975 18446604457211714368 0 0 -1 5 0 0 0
[pid=14338/tid=14350] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14350/stat : 14350 (java) S 14336 14338 12190 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902597183 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14351] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14351/stat : 14351 (java) S 14336 14338 12190 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902597183 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14352] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14352/stat : 14352 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134537649 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14353] ppid=14336 vsize=10545620 CPUtime=1.16 cores=1,3,5,7
/proc/14338/task/14353/stat : 14353 (java) S 14336 14338 12190 0 -1 4202560 12722 0 0 0 115 1 0 0 15 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14354] ppid=14336 vsize=10545620 CPUtime=0.47 cores=1,3,5,7
/proc/14338/task/14354/stat : 14354 (java) S 14336 14338 12190 0 -1 4202560 2346 0 0 0 47 0 0 0 16 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 5 0 0 0
[pid=14338/tid=14355] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14355/stat : 14355 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14356] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14356/stat : 14356 (java) S 14336 14338 12190 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14357] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14357/stat : 14357 (java) S 14336 14338 12190 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902597211 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 274.48
Current children cumulated vsize (KiB) 10545620

[startup+272.701 s]
/proc/loadavg: 2.02 2.01 1.91 3/214 14421
/proc/meminfo: memFree=1097184/32951124 swapFree=67051728/67111528
[pid=14338] ppid=14336 vsize=10545620 CPUtime=274.89 cores=1,3,5,7
/proc/14338/stat : 14338 (java) S 14336 14338 12190 0 -1 4202496 34279 0 1 0 27471 18 0 0 25 0 19 0 902597179 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/14338/statm: 2636405 24227 2254 9 0 2627139 0
[pid=14338/tid=14340] ppid=14336 vsize=10545620 CPUtime=263.89 cores=1,3,5,7
/proc/14338/task/14340/stat : 14340 (java) R 14336 14338 12190 0 -1 4202560 15282 0 1 0 26387 2 0 0 23 0 19 0 902597180 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 46912505644746 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14338/tid=14341] ppid=14336 vsize=10545620 CPUtime=0.16 cores=1,3,5,7
/proc/14338/task/14341/stat : 14341 (java) S 14336 14338 12190 0 -1 4202560 196 0 0 0 16 0 0 0 16 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14342] ppid=14336 vsize=10545620 CPUtime=0.14 cores=1,3,5,7
/proc/14338/task/14342/stat : 14342 (java) S 14336 14338 12190 0 -1 4202560 21 0 0 0 14 0 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14343] ppid=14336 vsize=10545620 CPUtime=0.14 cores=1,3,5,7
/proc/14338/task/14343/stat : 14343 (java) S 14336 14338 12190 0 -1 4202560 87 0 0 0 14 0 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14344] ppid=14336 vsize=10545620 CPUtime=0.13 cores=1,3,5,7
/proc/14338/task/14344/stat : 14344 (java) S 14336 14338 12190 0 -1 4202560 24 0 0 0 13 0 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14345] ppid=14336 vsize=10545620 CPUtime=0.13 cores=1,3,5,7
/proc/14338/task/14345/stat : 14345 (java) S 14336 14338 12190 0 -1 4202560 165 0 0 0 13 0 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14346] ppid=14336 vsize=10545620 CPUtime=0.13 cores=1,3,5,7
/proc/14338/task/14346/stat : 14346 (java) S 14336 14338 12190 0 -1 4202560 187 0 0 0 13 0 0 0 16 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14347] ppid=14336 vsize=10545620 CPUtime=0.15 cores=1,3,5,7
/proc/14338/task/14347/stat : 14347 (java) S 14336 14338 12190 0 -1 4202560 304 0 0 0 14 1 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14348] ppid=14336 vsize=10545620 CPUtime=0.11 cores=1,3,5,7
/proc/14338/task/14348/stat : 14348 (java) S 14336 14338 12190 0 -1 4202560 236 0 0 0 11 0 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14349] ppid=14336 vsize=10545620 CPUtime=8.13 cores=1,3,5,7
/proc/14338/task/14349/stat : 14349 (java) S 14336 14338 12190 0 -1 4202560 1538 0 0 0 806 7 0 0 15 0 19 0 902597183 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 0 0 16800975 18446604457211714368 0 0 -1 5 0 0 0
[pid=14338/tid=14350] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14350/stat : 14350 (java) S 14336 14338 12190 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902597183 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14351] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14351/stat : 14351 (java) S 14336 14338 12190 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902597183 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14352] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14352/stat : 14352 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134537649 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14353] ppid=14336 vsize=10545620 CPUtime=1.16 cores=1,3,5,7
/proc/14338/task/14353/stat : 14353 (java) S 14336 14338 12190 0 -1 4202560 12722 0 0 0 115 1 0 0 15 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14354] ppid=14336 vsize=10545620 CPUtime=0.47 cores=1,3,5,7
/proc/14338/task/14354/stat : 14354 (java) S 14336 14338 12190 0 -1 4202560 2346 0 0 0 47 0 0 0 16 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 5 0 0 0
[pid=14338/tid=14355] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14355/stat : 14355 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14356] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14356/stat : 14356 (java) S 14336 14338 12190 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14357] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14357/stat : 14357 (java) S 14336 14338 12190 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902597211 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 274.89
Current children cumulated vsize (KiB) 10545620

[startup+272.807 s]
/proc/loadavg: 2.02 2.01 1.91 3/214 14421
/proc/meminfo: memFree=1097184/32951124 swapFree=67051728/67111528
[pid=14338] ppid=14336 vsize=10545620 CPUtime=274.99 cores=1,3,5,7
/proc/14338/stat : 14338 (java) S 14336 14338 12190 0 -1 4202496 34279 0 1 0 27481 18 0 0 25 0 19 0 902597179 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/14338/statm: 2636405 24227 2254 9 0 2627139 0
[pid=14338/tid=14340] ppid=14336 vsize=10545620 CPUtime=263.99 cores=1,3,5,7
/proc/14338/task/14340/stat : 14340 (java) S 14336 14338 12190 0 -1 4202560 15282 0 1 0 26397 2 0 0 23 0 19 0 902597180 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14341] ppid=14336 vsize=10545620 CPUtime=0.16 cores=1,3,5,7
/proc/14338/task/14341/stat : 14341 (java) S 14336 14338 12190 0 -1 4202560 196 0 0 0 16 0 0 0 16 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14342] ppid=14336 vsize=10545620 CPUtime=0.14 cores=1,3,5,7
/proc/14338/task/14342/stat : 14342 (java) S 14336 14338 12190 0 -1 4202560 21 0 0 0 14 0 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14343] ppid=14336 vsize=10545620 CPUtime=0.14 cores=1,3,5,7
/proc/14338/task/14343/stat : 14343 (java) S 14336 14338 12190 0 -1 4202560 87 0 0 0 14 0 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14344] ppid=14336 vsize=10545620 CPUtime=0.13 cores=1,3,5,7
/proc/14338/task/14344/stat : 14344 (java) S 14336 14338 12190 0 -1 4202560 24 0 0 0 13 0 0 0 16 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14345] ppid=14336 vsize=10545620 CPUtime=0.13 cores=1,3,5,7
/proc/14338/task/14345/stat : 14345 (java) S 14336 14338 12190 0 -1 4202560 165 0 0 0 13 0 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14346] ppid=14336 vsize=10545620 CPUtime=0.13 cores=1,3,5,7
/proc/14338/task/14346/stat : 14346 (java) S 14336 14338 12190 0 -1 4202560 187 0 0 0 13 0 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14347] ppid=14336 vsize=10545620 CPUtime=0.15 cores=1,3,5,7
/proc/14338/task/14347/stat : 14347 (java) S 14336 14338 12190 0 -1 4202560 304 0 0 0 14 1 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14348] ppid=14336 vsize=10545620 CPUtime=0.11 cores=1,3,5,7
/proc/14338/task/14348/stat : 14348 (java) S 14336 14338 12190 0 -1 4202560 236 0 0 0 11 0 0 0 15 0 19 0 902597182 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14349] ppid=14336 vsize=10545620 CPUtime=8.13 cores=1,3,5,7
/proc/14338/task/14349/stat : 14349 (java) R 14336 14338 12190 0 -1 4202560 1538 0 0 0 806 7 0 0 15 0 19 0 902597183 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 47638909549808 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=14338/tid=14350] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14350/stat : 14350 (java) S 14336 14338 12190 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902597183 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14351] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14351/stat : 14351 (java) S 14336 14338 12190 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902597183 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
[pid=14338/tid=14352] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14352/stat : 14352 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134537649 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14353] ppid=14336 vsize=10545620 CPUtime=1.16 cores=1,3,5,7
/proc/14338/task/14353/stat : 14353 (java) S 14336 14338 12190 0 -1 4202560 12722 0 0 0 115 1 0 0 15 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14354] ppid=14336 vsize=10545620 CPUtime=0.47 cores=1,3,5,7
/proc/14338/task/14354/stat : 14354 (java) S 14336 14338 12190 0 -1 4202560 2346 0 0 0 47 0 0 0 16 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 5 0 0 0
[pid=14338/tid=14355] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14355/stat : 14355 (java) S 14336 14338 12190 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134529945 0 4 0 16800975 18446604457211714368 0 0 -1 1 0 0 0
[pid=14338/tid=14356] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14356/stat : 14356 (java) S 14336 14338 12190 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 902597185 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 4 0 16800975 18446604457211714368 0 0 -1 3 0 0 0
[pid=14338/tid=14357] ppid=14336 vsize=10545620 CPUtime=0 cores=1,3,5,7
/proc/14338/task/14357/stat : 14357 (java) S 14336 14338 12190 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902597211 10798714880 24227 33554432000 1073741824 1073778376 140735226183136 18446744073709551615 228134530560 0 4 0 16800975 18446604457211714368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 274.99
Current children cumulated vsize (KiB) 10545620

Child status: 30
Real time (s): 272.864
CPU time (s): 275.057
CPU user time (s): 274.869
CPU system time (s): 0.187971
CPU usage (%): 100.804
Max. virtual memory (cumulated for all children) (KiB): 10545620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 274.869
system time used= 0.187971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34309
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= 19673
involuntary context switches= 9782

runsolver used 0.430934 second user time and 1.08583 second system time

The end

Launcher Data 

Begin job on node138 at 2011-06-12 22:19:52
IDJOB=3492574
IDBENCH=78901
IDSOLVER=1982
FILE ID=node138/3492574-1307909992
RUNJOBID= node138-1307908076-13713
PBS_JOBID= 13559517
Free space on /var/tmp= 2896 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584219--soft-66-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492574-1307909992/watcher-3492574-1307909992 -o /var/tmp/evaluation-result-3492574-1307909992/solver-3492574-1307909992 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492574-1307909992.wbo

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

MD5SUM BENCH= 318d96c5cecc5e1278f112ac94857622
RANDOM SEED=579668143

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1209188 kB
Buffers:         69716 kB
Cached:       30624416 kB
SwapCached:      13084 kB
Active:       16104580 kB
Inactive:     14679852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1209188 kB
SwapTotal:    67111528 kB
SwapFree:     67051728 kB
Dirty:            1072 kB
Writeback:           0 kB
AnonPages:       87720 kB
Mapped:          17516 kB
Slab:           894676 kB
PageTables:       4932 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10549940 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2896 MiB
End job on node138 at 2011-06-12 22:24:25