Trace number 3458411

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0OPT-7 322.56 320.718

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_3.opb
MD5SUMe70f8e0da8fa345ba6e82dce1b0133d2
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7
Best CPU time to get the best result obtained on this benchmark9.70052
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7
Optimality of the best value was proved YES
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)2952
Sum of products size (including duplicates)5904
Number of different products1476
Sum of products size2952

Quality of the solution as a function of time


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

Solver Data 

0.02/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.09	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		12995394264
0.02/0.09	c Max memory 		13063553024
0.02/0.09	c Total memory 		13063553024
0.02/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458411-1307161263.opb
0.10/0.11	c reading problem ... 
0.41/0.35	c ... done. Wall clock time 0.237s.
0.41/0.35	c #vars     1576
0.41/0.35	c #constraints  3104
0.41/0.35	c constraints type 
0.41/0.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1476
0.41/0.35	c org.sat4j.minisat.constraints.card.MinWatchCard => 102
0.41/0.35	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50
0.41/0.35	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1476
0.79/0.53	c SATISFIABLE
0.79/0.53	c OPTIMIZING...
0.79/0.53	c Got one! Elapsed wall clock time (in seconds):0.414
0.79/0.53	o -4
0.93/0.69	c Got one! Elapsed wall clock time (in seconds):0.574
0.93/0.69	o -5
1.27/0.99	c cleaning 3108 clauses out of 6215 with flag 4003/6215
1.84/1.43	c cleaning 4543 clauses out of 9104 with flag 10000/12212
2.53/1.86	c cleaning 5774 clauses out of 11561 with flag 17000/19212
3.31/2.28	c Got one! Elapsed wall clock time (in seconds):2.164
3.31/2.28	o -6
3.84/2.71	c cleaning 9110 clauses out of 18300 with flag 5000/31725
4.25/3.12	c cleaning 7591 clauses out of 15190 with flag 11000/37725
4.65/3.52	c cleaning 7296 clauses out of 14600 with flag 18001/44726
5.05/3.97	c cleaning 7642 clauses out of 15303 with flag 26000/52725
5.57/4.49	c cleaning 8329 clauses out of 16662 with flag 35001/61726
6.15/5.07	c cleaning 9166 clauses out of 18333 with flag 45001/71726
6.75/5.64	c cleaning 9569 clauses out of 19166 with flag 55000/81725
7.46/6.31	c cleaning 9762 clauses out of 19597 with flag 65000/91725
7.96/6.85	c cleaning 9911 clauses out of 19835 with flag 75000/101725
8.66/7.50	c cleaning 9949 clauses out of 19924 with flag 85000/111725
9.27/8.10	c cleaning 9974 clauses out of 19975 with flag 95000/121725
9.77/8.67	c cleaning 9988 clauses out of 20002 with flag 105001/131726
10.47/9.35	c cleaning 9999 clauses out of 20013 with flag 115000/141725
11.17/10.00	c cleaning 10002 clauses out of 20014 with flag 125000/151725
11.67/10.55	c cleaning 9999 clauses out of 20012 with flag 135000/161725
12.29/11.10	c cleaning 10002 clauses out of 20013 with flag 145000/171725
12.99/11.80	c cleaning 10001 clauses out of 20011 with flag 155000/181725
13.59/12.47	c cleaning 9994 clauses out of 20010 with flag 165000/191725
14.31/13.13	c cleaning 10002 clauses out of 20016 with flag 175000/201725
14.90/13.70	c cleaning 10005 clauses out of 20015 with flag 185001/211726
15.60/14.42	c cleaning 10000 clauses out of 20009 with flag 195000/221725
16.10/14.94	c cleaning 9990 clauses out of 20009 with flag 205000/231725
16.80/15.62	c cleaning 9999 clauses out of 20019 with flag 215000/241725
17.30/16.18	c cleaning 9997 clauses out of 20020 with flag 225000/251725
17.90/16.77	c cleaning 10000 clauses out of 20023 with flag 235000/261725
18.50/17.32	c cleaning 10006 clauses out of 20023 with flag 245000/271725
19.10/17.95	c cleaning 10006 clauses out of 20018 with flag 255001/281726
19.70/18.58	c cleaning 9995 clauses out of 20011 with flag 265000/291725
20.30/19.19	c cleaning 9999 clauses out of 20016 with flag 275000/301725
20.92/19.77	c cleaning 10000 clauses out of 20017 with flag 285000/311725
21.50/20.32	c cleaning 9996 clauses out of 20017 with flag 295000/321725
22.12/20.92	c cleaning 10010 clauses out of 20024 with flag 305003/331728
22.70/21.53	c cleaning 9996 clauses out of 20011 with flag 315000/341725
23.30/22.10	c cleaning 10006 clauses out of 20017 with flag 325002/351727
23.80/22.64	c cleaning 10000 clauses out of 20009 with flag 335000/361725
24.41/23.26	c cleaning 9997 clauses out of 20011 with flag 345002/371727
25.02/23.85	c cleaning 9998 clauses out of 20012 with flag 355000/381725
25.62/24.45	c cleaning 10004 clauses out of 20014 with flag 365000/391725
26.22/25.04	c cleaning 9997 clauses out of 20010 with flag 375000/401725
26.82/25.62	c cleaning 9999 clauses out of 20014 with flag 385001/411726
27.42/26.21	c cleaning 10000 clauses out of 20014 with flag 395000/421725
28.02/26.83	c cleaning 9998 clauses out of 20014 with flag 405000/431725
28.64/27.42	c cleaning 9995 clauses out of 20016 with flag 415000/441725
29.23/28.02	c cleaning 10008 clauses out of 20022 with flag 425001/451726
29.85/28.63	c cleaning 9993 clauses out of 20013 with flag 435000/461725
30.43/29.28	c cleaning 9996 clauses out of 20020 with flag 445000/471725
31.13/29.92	c cleaning 10004 clauses out of 20028 with flag 455004/481729
31.73/30.52	c cleaning 10001 clauses out of 20020 with flag 465000/491725
32.33/31.10	c cleaning 9993 clauses out of 20019 with flag 475000/501725
32.83/31.69	c cleaning 10000 clauses out of 20026 with flag 485000/511725
33.43/32.26	c cleaning 10000 clauses out of 20026 with flag 495000/521725
34.03/32.85	c cleaning 10001 clauses out of 20026 with flag 505000/531725
34.63/33.41	c cleaning 10001 clauses out of 20025 with flag 515000/541725
35.13/34.02	c cleaning 10000 clauses out of 20024 with flag 525000/551725
35.83/34.64	c cleaning 9997 clauses out of 20024 with flag 535000/561725
36.45/35.28	c cleaning 9997 clauses out of 20027 with flag 545000/571725
37.03/35.88	c cleaning 10001 clauses out of 20031 with flag 555001/581726
37.73/36.51	c cleaning 9998 clauses out of 20029 with flag 565000/591725
38.33/37.11	c cleaning 10012 clauses out of 20031 with flag 575000/601725
38.83/37.64	c cleaning 9983 clauses out of 20020 with flag 585001/611726
39.43/38.24	c cleaning 9998 clauses out of 20036 with flag 595000/621725
40.06/38.89	c cleaning 10013 clauses out of 20038 with flag 605000/631725
40.66/39.48	c cleaning 10010 clauses out of 20026 with flag 615001/641726
41.26/40.08	c cleaning 9994 clauses out of 20016 with flag 625001/651726
41.87/40.71	c cleaning 9998 clauses out of 20021 with flag 635000/661725
42.55/41.34	c cleaning 10005 clauses out of 20023 with flag 645000/671725
43.16/41.98	c cleaning 9999 clauses out of 20018 with flag 655000/681725
43.86/42.62	c cleaning 9999 clauses out of 20020 with flag 665001/691726
44.46/43.23	c cleaning 9996 clauses out of 20020 with flag 675000/701725
45.06/43.81	c cleaning 9994 clauses out of 20025 with flag 685001/711726
45.66/44.40	c cleaning 9994 clauses out of 20030 with flag 695000/721725
46.16/44.97	c cleaning 10006 clauses out of 20036 with flag 705000/731725
46.77/45.55	c cleaning 9992 clauses out of 20031 with flag 715001/741726
47.38/46.13	c cleaning 10002 clauses out of 20038 with flag 725000/751725
47.97/46.70	c cleaning 10002 clauses out of 20036 with flag 735000/761725
48.49/47.30	c cleaning 10008 clauses out of 20037 with flag 745003/771728
49.17/47.91	c cleaning 10000 clauses out of 20026 with flag 755000/781725
49.77/48.51	c cleaning 9997 clauses out of 20026 with flag 765000/791725
50.27/49.08	c cleaning 10001 clauses out of 20029 with flag 775000/801725
50.87/49.64	c cleaning 10008 clauses out of 20030 with flag 785002/811727
51.47/50.21	c cleaning 9980 clauses out of 20020 with flag 795000/821725
52.07/50.83	c cleaning 9996 clauses out of 20040 with flag 805000/831725
52.67/51.41	c cleaning 9997 clauses out of 20045 with flag 815001/841726
53.17/51.97	c cleaning 10012 clauses out of 20048 with flag 825001/851726
53.87/52.60	c cleaning 10000 clauses out of 20035 with flag 835000/861725
54.48/53.29	c cleaning 9996 clauses out of 20035 with flag 845000/871725
55.20/53.94	c cleaning 10004 clauses out of 20039 with flag 855000/881725
55.78/54.55	c cleaning 10004 clauses out of 20037 with flag 865002/891727
56.48/55.29	c cleaning 10009 clauses out of 20034 with flag 875003/901728
57.18/55.91	c cleaning 10004 clauses out of 20022 with flag 885000/911725
57.68/56.49	c cleaning 10001 clauses out of 20018 with flag 895000/921725
58.28/57.06	c cleaning 9996 clauses out of 20017 with flag 905000/931725
58.88/57.63	c cleaning 10004 clauses out of 20024 with flag 915003/941728
59.50/58.26	c cleaning 9995 clauses out of 20017 with flag 925000/951725
60.18/58.94	c cleaning 9995 clauses out of 20022 with flag 935000/961725
60.78/59.53	c cleaning 10000 clauses out of 20027 with flag 945000/971725
61.49/60.21	c cleaning 10003 clauses out of 20027 with flag 955000/981725
62.09/60.82	c cleaning 10002 clauses out of 20025 with flag 965001/991726
62.69/61.49	c cleaning 10002 clauses out of 20023 with flag 975001/1001726
63.39/62.14	c cleaning 9993 clauses out of 20020 with flag 985000/1011725
64.01/62.75	c cleaning 10003 clauses out of 20027 with flag 995000/1021725
64.59/63.33	c cleaning 9998 clauses out of 20024 with flag 1005000/1031725
65.11/63.88	c cleaning 10003 clauses out of 20026 with flag 1015000/1041725
65.70/64.45	c cleaning 9998 clauses out of 20023 with flag 1025000/1051725
66.30/65.10	c cleaning 9991 clauses out of 20025 with flag 1035000/1061725
67.00/65.74	c cleaning 10003 clauses out of 20034 with flag 1045000/1071725
67.60/66.32	c cleaning 10004 clauses out of 20031 with flag 1055000/1081725
68.21/66.91	c cleaning 10000 clauses out of 20028 with flag 1065001/1091726
68.71/67.48	c cleaning 10001 clauses out of 20027 with flag 1075000/1101725
69.31/68.08	c cleaning 9990 clauses out of 20026 with flag 1085000/1111725
69.91/68.68	c cleaning 10009 clauses out of 20036 with flag 1095000/1121725
70.63/69.33	c cleaning 10001 clauses out of 20027 with flag 1105000/1131725
71.22/69.96	c cleaning 9993 clauses out of 20026 with flag 1115000/1141725
71.92/70.61	c cleaning 10002 clauses out of 20033 with flag 1125000/1151725
72.52/71.22	c cleaning 9997 clauses out of 20031 with flag 1135000/1161725
73.12/71.86	c cleaning 10003 clauses out of 20034 with flag 1145000/1171725
73.72/72.41	c cleaning 9991 clauses out of 20031 with flag 1155000/1181725
74.22/72.93	c cleaning 10007 clauses out of 20040 with flag 1165000/1191725
74.72/73.49	c cleaning 9989 clauses out of 20034 with flag 1175001/1201726
75.32/74.05	c cleaning 10008 clauses out of 20044 with flag 1185000/1211725
75.92/74.63	c cleaning 10006 clauses out of 20036 with flag 1195000/1221725
76.53/75.20	c cleaning 10004 clauses out of 20031 with flag 1205001/1231726
76.83/75.50	c Got one! Elapsed wall clock time (in seconds):75.391
76.83/75.50	o -7
77.03/75.78	c cleaning 10503 clauses out of 21033 with flag 5000/1242732
77.43/76.12	c cleaning 8262 clauses out of 16534 with flag 11004/1248736
77.83/76.50	c cleaning 7625 clauses out of 15268 with flag 18000/1255732
78.25/76.93	c cleaning 7813 clauses out of 15644 with flag 26001/1263733
78.63/77.37	c cleaning 8406 clauses out of 16830 with flag 35000/1272732
79.23/77.93	c cleaning 9204 clauses out of 18427 with flag 45003/1282735
79.83/78.53	c cleaning 9601 clauses out of 19222 with flag 55002/1292734
80.45/79.21	c cleaning 9802 clauses out of 19619 with flag 65000/1302732
81.13/79.84	c cleaning 9905 clauses out of 19817 with flag 75000/1312732
81.83/80.56	c cleaning 9953 clauses out of 19914 with flag 85002/1322734
82.53/81.20	c cleaning 9977 clauses out of 19960 with flag 95001/1332733
83.03/81.79	c cleaning 9989 clauses out of 19981 with flag 105000/1342732
83.64/82.42	c cleaning 9980 clauses out of 19992 with flag 115000/1352732
84.24/82.99	c cleaning 10003 clauses out of 20013 with flag 125001/1362733
84.86/83.55	c cleaning 9992 clauses out of 20009 with flag 135000/1372732
85.34/84.05	c cleaning 9994 clauses out of 20017 with flag 145000/1382732
85.97/84.68	c cleaning 10003 clauses out of 20023 with flag 155000/1392732
86.55/85.21	c cleaning 10009 clauses out of 20025 with flag 165005/1402737
87.07/85.75	c cleaning 9991 clauses out of 20011 with flag 175000/1412732
87.55/86.24	c cleaning 9994 clauses out of 20021 with flag 185001/1422733
88.05/86.73	c cleaning 9996 clauses out of 20026 with flag 195000/1432732
88.65/87.37	c cleaning 9988 clauses out of 20030 with flag 205000/1442732
89.38/88.02	c cleaning 9981 clauses out of 20042 with flag 215000/1452732
89.96/88.63	c cleaning 10017 clauses out of 20062 with flag 225001/1462733
90.48/89.20	c cleaning 10002 clauses out of 20045 with flag 235001/1472733
91.16/89.88	c cleaning 10012 clauses out of 20043 with flag 245001/1482733
91.76/90.45	c cleaning 10008 clauses out of 20030 with flag 255000/1492732
92.36/91.03	c cleaning 10001 clauses out of 20022 with flag 265000/1502732
92.96/91.68	c cleaning 9992 clauses out of 20021 with flag 275000/1512732
93.56/92.23	c cleaning 10007 clauses out of 20029 with flag 285000/1522732
94.27/92.90	c cleaning 9980 clauses out of 20022 with flag 295000/1532732
94.89/93.58	c cleaning 10012 clauses out of 20042 with flag 305000/1542732
95.47/94.12	c cleaning 10002 clauses out of 20030 with flag 315000/1552732
95.99/94.69	c cleaning 10005 clauses out of 20028 with flag 325000/1562732
96.57/95.24	c cleaning 10002 clauses out of 20023 with flag 335000/1572732
97.17/95.82	c cleaning 9997 clauses out of 20021 with flag 345000/1582732
97.67/96.34	c cleaning 9999 clauses out of 20024 with flag 355000/1592732
98.27/96.98	c cleaning 9991 clauses out of 20025 with flag 365000/1602732
98.87/97.58	c cleaning 10003 clauses out of 20034 with flag 375000/1612732
99.48/98.17	c cleaning 9995 clauses out of 20031 with flag 385000/1622732
100.08/98.76	c cleaning 9997 clauses out of 20036 with flag 395000/1632732
100.78/99.44	c cleaning 10011 clauses out of 20040 with flag 405001/1642733
101.40/100.11	c cleaning 10001 clauses out of 20028 with flag 415000/1652732
102.18/100.80	c cleaning 10003 clauses out of 20027 with flag 425000/1662732
102.78/101.42	c cleaning 10002 clauses out of 20025 with flag 435001/1672733
103.48/102.13	c cleaning 10009 clauses out of 20023 with flag 445001/1682733
104.08/102.77	c cleaning 9979 clauses out of 20013 with flag 455000/1692732
104.70/103.37	c cleaning 10007 clauses out of 20034 with flag 465001/1702733
105.29/103.98	c cleaning 9999 clauses out of 20026 with flag 475000/1712732
105.81/104.50	c cleaning 9983 clauses out of 20027 with flag 485000/1722732
106.39/105.07	c cleaning 10010 clauses out of 20044 with flag 495000/1732732
106.91/105.59	c cleaning 9998 clauses out of 20034 with flag 505000/1742732
107.39/106.10	c cleaning 9994 clauses out of 20036 with flag 515000/1752732
108.01/106.65	c cleaning 10002 clauses out of 20045 with flag 525003/1762735
108.49/107.16	c cleaning 10004 clauses out of 20041 with flag 535001/1772733
109.11/107.73	c cleaning 9998 clauses out of 20036 with flag 545000/1782732
109.60/108.25	c cleaning 10016 clauses out of 20039 with flag 555001/1792733
110.21/108.86	c cleaning 9989 clauses out of 20026 with flag 565004/1802736
110.80/109.41	c cleaning 10000 clauses out of 20033 with flag 575000/1812732
111.31/109.94	c cleaning 9994 clauses out of 20035 with flag 585002/1822734
111.90/110.52	c cleaning 9998 clauses out of 20039 with flag 595000/1832732
112.42/111.09	c cleaning 10011 clauses out of 20041 with flag 605000/1842732
113.00/111.62	c cleaning 10001 clauses out of 20030 with flag 615000/1852732
113.62/112.22	c cleaning 10009 clauses out of 20030 with flag 625001/1862733
114.10/112.72	c cleaning 9992 clauses out of 20020 with flag 635000/1872732
114.62/113.28	c cleaning 9995 clauses out of 20028 with flag 645000/1882732
115.21/113.83	c cleaning 10001 clauses out of 20033 with flag 655000/1892732
115.83/114.48	c cleaning 9997 clauses out of 20032 with flag 665000/1902732
116.51/115.10	c cleaning 9994 clauses out of 20035 with flag 675000/1912732
117.11/115.73	c cleaning 10002 clauses out of 20043 with flag 685002/1922734
117.71/116.39	c cleaning 10007 clauses out of 20040 with flag 695001/1932733
118.31/116.98	c cleaning 10006 clauses out of 20032 with flag 705000/1942732
118.91/117.58	c cleaning 10000 clauses out of 20026 with flag 715000/1952732
119.61/118.20	c cleaning 9992 clauses out of 20026 with flag 725000/1962732
120.23/118.85	c cleaning 10007 clauses out of 20034 with flag 735000/1972732
120.81/119.47	c cleaning 10005 clauses out of 20028 with flag 745001/1982733
121.52/120.13	c cleaning 10009 clauses out of 20025 with flag 755003/1992735
122.12/120.79	c cleaning 9993 clauses out of 20013 with flag 765000/2002732
122.73/121.39	c cleaning 9989 clauses out of 20021 with flag 775001/2012733
123.45/122.06	c cleaning 10007 clauses out of 20031 with flag 785000/2022732
124.03/122.66	c cleaning 9998 clauses out of 20024 with flag 795000/2032732
124.73/123.33	c cleaning 10006 clauses out of 20026 with flag 805000/2042732
125.33/123.94	c cleaning 9994 clauses out of 20020 with flag 815000/2052732
126.03/124.60	c cleaning 9996 clauses out of 20026 with flag 825000/2062732
126.53/125.20	c cleaning 9998 clauses out of 20032 with flag 835002/2072734
127.23/125.87	c cleaning 9994 clauses out of 20032 with flag 845000/2082732
127.85/126.51	c cleaning 10004 clauses out of 20038 with flag 855000/2092732
128.53/127.18	c cleaning 10001 clauses out of 20034 with flag 865000/2102732
129.23/127.84	c cleaning 9991 clauses out of 20034 with flag 875001/2112733
129.83/128.49	c cleaning 10013 clauses out of 20043 with flag 885001/2122733
130.54/129.10	c cleaning 9984 clauses out of 20029 with flag 895000/2132732
131.04/129.66	c cleaning 9993 clauses out of 20045 with flag 905000/2142732
131.74/130.32	c cleaning 10016 clauses out of 20052 with flag 915000/2152732
132.36/130.97	c cleaning 10009 clauses out of 20036 with flag 925000/2162732
132.94/131.52	c cleaning 10001 clauses out of 20027 with flag 935000/2172732
133.46/132.08	c cleaning 10001 clauses out of 20026 with flag 945000/2182732
134.04/132.61	c cleaning 10001 clauses out of 20025 with flag 955000/2192732
134.64/133.21	c cleaning 10008 clauses out of 20024 with flag 965000/2202732
135.14/133.72	c cleaning 9983 clauses out of 20016 with flag 975000/2212732
135.66/134.29	c cleaning 9998 clauses out of 20033 with flag 985000/2222732
136.24/134.88	c cleaning 10005 clauses out of 20036 with flag 995001/2232733
136.84/135.49	c cleaning 9997 clauses out of 20030 with flag 1005000/2242732
137.44/136.01	c cleaning 10010 clauses out of 20033 with flag 1015000/2252732
138.04/136.60	c cleaning 9992 clauses out of 20023 with flag 1025000/2262732
138.54/137.16	c cleaning 10008 clauses out of 20031 with flag 1035000/2272732
139.15/137.71	c cleaning 9999 clauses out of 20024 with flag 1045001/2282733
139.75/138.36	c cleaning 9995 clauses out of 20024 with flag 1055000/2292732
140.35/138.99	c cleaning 9994 clauses out of 20030 with flag 1065001/2302733
140.95/139.54	c cleaning 9993 clauses out of 20035 with flag 1075000/2312732
141.45/140.02	c cleaning 10011 clauses out of 20044 with flag 1085002/2322734
141.95/140.52	c cleaning 9997 clauses out of 20031 with flag 1095000/2332732
142.45/141.06	c cleaning 9994 clauses out of 20034 with flag 1105000/2342732
142.95/141.59	c cleaning 10006 clauses out of 20040 with flag 1115000/2352732
143.55/142.10	c cleaning 9998 clauses out of 20034 with flag 1125000/2362732
144.05/142.62	c cleaning 10007 clauses out of 20037 with flag 1135001/2372733
144.56/143.15	c cleaning 9998 clauses out of 20029 with flag 1145000/2382732
145.15/143.72	c cleaning 9996 clauses out of 20032 with flag 1155001/2392733
145.66/144.28	c cleaning 10000 clauses out of 20038 with flag 1165003/2402735
146.27/144.87	c cleaning 9998 clauses out of 20035 with flag 1175000/2412732
146.77/145.38	c cleaning 9999 clauses out of 20038 with flag 1185001/2422733
147.37/145.93	c cleaning 10002 clauses out of 20038 with flag 1195000/2432732
147.97/146.50	c cleaning 10002 clauses out of 20037 with flag 1205001/2442733
148.47/147.07	c cleaning 10002 clauses out of 20035 with flag 1215001/2452733
149.07/147.64	c cleaning 9989 clauses out of 20032 with flag 1225000/2462732
149.67/148.25	c cleaning 10013 clauses out of 20043 with flag 1235000/2472732
150.17/148.77	c cleaning 9995 clauses out of 20030 with flag 1245000/2482732
150.87/149.42	c cleaning 9992 clauses out of 20036 with flag 1255001/2492733
151.37/149.94	c cleaning 10011 clauses out of 20044 with flag 1265001/2502733
151.87/150.48	c cleaning 10000 clauses out of 20032 with flag 1275000/2512732
152.37/150.96	c cleaning 10002 clauses out of 20033 with flag 1285001/2522733
152.97/151.52	c cleaning 9996 clauses out of 20030 with flag 1295000/2532732
153.47/152.04	c cleaning 9998 clauses out of 20034 with flag 1305000/2542732
153.98/152.55	c cleaning 9996 clauses out of 20036 with flag 1315000/2552732
154.48/153.09	c cleaning 9990 clauses out of 20041 with flag 1325001/2562733
155.08/153.62	c cleaning 10004 clauses out of 20050 with flag 1335000/2572732
155.58/154.15	c cleaning 10003 clauses out of 20046 with flag 1345000/2582732
156.08/154.68	c cleaning 9999 clauses out of 20043 with flag 1355000/2592732
156.68/155.26	c cleaning 10000 clauses out of 20044 with flag 1365000/2602732
157.28/155.80	c cleaning 10004 clauses out of 20044 with flag 1375000/2612732
157.88/156.42	c cleaning 9992 clauses out of 20040 with flag 1385000/2622732
158.48/157.06	c cleaning 10013 clauses out of 20048 with flag 1395000/2632732
159.09/157.67	c cleaning 10004 clauses out of 20036 with flag 1405001/2642733
159.70/158.29	c cleaning 9993 clauses out of 20032 with flag 1415001/2652733
160.40/158.94	c cleaning 10001 clauses out of 20038 with flag 1425000/2662732
160.91/159.47	c cleaning 10004 clauses out of 20037 with flag 1435000/2672732
161.50/160.06	c cleaning 10004 clauses out of 20034 with flag 1445001/2682733
162.02/160.57	c cleaning 9992 clauses out of 20030 with flag 1455001/2692733
162.60/161.15	c cleaning 10005 clauses out of 20037 with flag 1465000/2702732
163.22/161.72	c cleaning 9993 clauses out of 20032 with flag 1475000/2712732
163.70/162.23	c cleaning 10005 clauses out of 20040 with flag 1485001/2722733
164.32/162.86	c cleaning 9994 clauses out of 20035 with flag 1495001/2732733
164.90/163.48	c cleaning 10003 clauses out of 20040 with flag 1505000/2742732
165.50/164.09	c cleaning 10004 clauses out of 20037 with flag 1515000/2752732
166.10/164.69	c cleaning 10000 clauses out of 20034 with flag 1525001/2762733
166.80/165.30	c cleaning 9994 clauses out of 20033 with flag 1535000/2772732
167.30/165.86	c cleaning 9994 clauses out of 20039 with flag 1545000/2782732
167.90/166.48	c cleaning 9987 clauses out of 20045 with flag 1555000/2792732
168.51/167.08	c cleaning 10002 clauses out of 20058 with flag 1565000/2802732
169.21/167.78	c cleaning 10006 clauses out of 20056 with flag 1575000/2812732
169.91/168.42	c cleaning 10004 clauses out of 20050 with flag 1585000/2822732
170.41/169.00	c cleaning 10005 clauses out of 20046 with flag 1595000/2832732
171.01/169.59	c cleaning 9982 clauses out of 20041 with flag 1605000/2842732
171.71/170.21	c cleaning 10012 clauses out of 20059 with flag 1615000/2852732
172.31/170.84	c cleaning 10012 clauses out of 20048 with flag 1625001/2862733
172.91/171.42	c cleaning 10007 clauses out of 20035 with flag 1635000/2872732
173.51/172.01	c cleaning 10003 clauses out of 20028 with flag 1645000/2882732
174.02/172.57	c cleaning 9995 clauses out of 20025 with flag 1655000/2892732
174.62/173.17	c cleaning 9994 clauses out of 20032 with flag 1665002/2902734
175.24/173.72	c cleaning 10003 clauses out of 20036 with flag 1675000/2912732
175.73/174.29	c cleaning 10006 clauses out of 20035 with flag 1685002/2922734
176.45/174.94	c cleaning 10000 clauses out of 20028 with flag 1695001/2932733
176.93/175.48	c cleaning 9987 clauses out of 20027 with flag 1705000/2942732
177.55/176.02	c cleaning 9996 clauses out of 20040 with flag 1715000/2952732
178.03/176.56	c cleaning 10004 clauses out of 20044 with flag 1725000/2962732
178.54/177.07	c cleaning 9998 clauses out of 20041 with flag 1735001/2972733
179.03/177.59	c cleaning 9999 clauses out of 20042 with flag 1745000/2982732
179.53/178.06	c cleaning 9995 clauses out of 20043 with flag 1755000/2992732
180.13/178.63	c cleaning 9999 clauses out of 20048 with flag 1765000/3002732
180.63/179.20	c cleaning 9998 clauses out of 20049 with flag 1775000/3012732
181.34/179.84	c cleaning 10008 clauses out of 20052 with flag 1785001/3022733
181.96/180.48	c cleaning 10007 clauses out of 20044 with flag 1795001/3032733
182.65/181.14	c cleaning 9989 clauses out of 20036 with flag 1805000/3042732
183.25/181.77	c cleaning 10004 clauses out of 20047 with flag 1815000/3052732
183.95/182.43	c cleaning 9999 clauses out of 20043 with flag 1825000/3062732
184.55/183.08	c cleaning 10006 clauses out of 20044 with flag 1835000/3072732
185.27/183.75	c cleaning 10008 clauses out of 20038 with flag 1845000/3082732
185.85/184.38	c cleaning 9985 clauses out of 20030 with flag 1855000/3092732
186.55/185.09	c cleaning 10004 clauses out of 20044 with flag 1865000/3102732
187.05/185.56	c cleaning 10005 clauses out of 20040 with flag 1875000/3112732
187.65/186.13	c cleaning 9996 clauses out of 20035 with flag 1885000/3122732
188.15/186.70	c cleaning 10011 clauses out of 20040 with flag 1895001/3132733
188.75/187.26	c cleaning 9995 clauses out of 20028 with flag 1905000/3142732
189.35/187.81	c cleaning 10008 clauses out of 20033 with flag 1915000/3152732
189.75/188.29	c cleaning 9998 clauses out of 20027 with flag 1925002/3162734
190.26/188.79	c cleaning 9984 clauses out of 20027 with flag 1935000/3172732
190.78/189.30	c cleaning 10015 clauses out of 20043 with flag 1945000/3182732
191.36/189.80	c cleaning 9990 clauses out of 20028 with flag 1955000/3192732
191.78/190.31	c cleaning 10000 clauses out of 20038 with flag 1965000/3202732
192.37/190.82	c cleaning 9996 clauses out of 20038 with flag 1975000/3212732
192.77/191.31	c cleaning 9989 clauses out of 20042 with flag 1985000/3222732
193.37/191.84	c cleaning 9994 clauses out of 20053 with flag 1995000/3232732
193.87/192.38	c cleaning 9999 clauses out of 20059 with flag 2005000/3242732
194.47/192.97	c cleaning 9990 clauses out of 20060 with flag 2015000/3252732
195.08/193.58	c cleaning 10016 clauses out of 20070 with flag 2025000/3262732
195.77/194.20	c cleaning 10021 clauses out of 20056 with flag 2035002/3272734
196.37/194.83	c cleaning 10004 clauses out of 20035 with flag 2045002/3282734
197.07/195.50	c cleaning 10008 clauses out of 20031 with flag 2055002/3292734
197.67/196.19	c cleaning 10004 clauses out of 20020 with flag 2065000/3302732
198.29/196.78	c cleaning 9993 clauses out of 20016 with flag 2075000/3312732
198.79/197.28	c cleaning 10001 clauses out of 20024 with flag 2085001/3322733
199.39/197.86	c cleaning 9996 clauses out of 20025 with flag 2095003/3332735
199.99/198.40	c cleaning 10002 clauses out of 20027 with flag 2105001/3342733
200.50/198.91	c cleaning 10003 clauses out of 20024 with flag 2115000/3352732
201.00/199.45	c cleaning 10000 clauses out of 20022 with flag 2125001/3362733
201.50/199.96	c cleaning 9993 clauses out of 20021 with flag 2135000/3372732
202.01/200.47	c cleaning 10000 clauses out of 20028 with flag 2145000/3382732
202.51/200.99	c cleaning 9994 clauses out of 20028 with flag 2155000/3392732
203.11/201.51	c cleaning 9994 clauses out of 20034 with flag 2165000/3402732
203.61/202.02	c cleaning 9993 clauses out of 20040 with flag 2175000/3412732
204.21/202.62	c cleaning 10012 clauses out of 20047 with flag 2185000/3422732
204.71/203.16	c cleaning 10011 clauses out of 20040 with flag 2195005/3432737
205.31/203.73	c cleaning 9989 clauses out of 20024 with flag 2205000/3442732
205.91/204.36	c cleaning 9999 clauses out of 20035 with flag 2215000/3452732
206.51/204.98	c cleaning 9990 clauses out of 20036 with flag 2225000/3462732
207.23/205.68	c cleaning 10011 clauses out of 20046 with flag 2235000/3472732
207.91/206.35	c cleaning 10003 clauses out of 20035 with flag 2245000/3482732
208.61/207.00	c cleaning 9989 clauses out of 20032 with flag 2255000/3492732
209.21/207.61	c cleaning 10012 clauses out of 20043 with flag 2265000/3502732
209.71/208.17	c cleaning 10008 clauses out of 20031 with flag 2275000/3512732
210.31/208.76	c cleaning 10006 clauses out of 20027 with flag 2285004/3522736
211.01/209.46	c cleaning 9995 clauses out of 20017 with flag 2295000/3532732
211.63/210.11	c cleaning 10006 clauses out of 20023 with flag 2305001/3542733
212.31/210.77	c cleaning 9994 clauses out of 20017 with flag 2315001/3552733
213.01/211.41	c cleaning 10004 clauses out of 20022 with flag 2325000/3562732
213.51/211.94	c cleaning 9990 clauses out of 20018 with flag 2335000/3572732
214.01/212.48	c cleaning 10003 clauses out of 20028 with flag 2345000/3582732
214.61/213.02	c cleaning 9999 clauses out of 20025 with flag 2355000/3592732
215.11/213.55	c cleaning 9990 clauses out of 20026 with flag 2365000/3602732
215.71/214.10	c cleaning 10001 clauses out of 20036 with flag 2375000/3612732
216.22/214.65	c cleaning 10000 clauses out of 20035 with flag 2385000/3622732
216.72/215.18	c cleaning 9992 clauses out of 20035 with flag 2395000/3632732
217.32/215.76	c cleaning 10017 clauses out of 20043 with flag 2405000/3642732
217.93/216.34	c cleaning 9985 clauses out of 20026 with flag 2415000/3652732
218.53/216.95	c cleaning 9990 clauses out of 20041 with flag 2425000/3662732
219.13/217.56	c cleaning 10017 clauses out of 20052 with flag 2435001/3672733
219.73/218.16	c cleaning 10000 clauses out of 20034 with flag 2445000/3682732
220.24/218.69	c cleaning 10007 clauses out of 20034 with flag 2455000/3692732
220.84/219.22	c cleaning 9993 clauses out of 20027 with flag 2465000/3702732
221.34/219.78	c cleaning 10008 clauses out of 20034 with flag 2475000/3712732
221.94/220.38	c cleaning 9997 clauses out of 20026 with flag 2485000/3722732
222.54/220.95	c cleaning 10002 clauses out of 20029 with flag 2495000/3732732
223.04/221.49	c cleaning 10005 clauses out of 20027 with flag 2505000/3742732
223.64/222.05	c cleaning 10006 clauses out of 20022 with flag 2515000/3752732
224.24/222.61	c cleaning 9994 clauses out of 20016 with flag 2525000/3762732
224.74/223.17	c cleaning 9994 clauses out of 20022 with flag 2535000/3772732
225.24/223.70	c cleaning 9997 clauses out of 20028 with flag 2545000/3782732
225.84/224.23	c cleaning 10010 clauses out of 20032 with flag 2555001/3792733
226.34/224.76	c cleaning 9999 clauses out of 20021 with flag 2565000/3802732
226.84/225.27	c cleaning 9997 clauses out of 20022 with flag 2575000/3812732
227.35/225.76	c cleaning 9991 clauses out of 20026 with flag 2585001/3822733
227.85/226.26	c cleaning 9998 clauses out of 20034 with flag 2595000/3832732
228.45/226.86	c cleaning 10005 clauses out of 20039 with flag 2605003/3842735
228.95/227.37	c cleaning 9999 clauses out of 20031 with flag 2615000/3852732
229.55/227.91	c cleaning 9980 clauses out of 20032 with flag 2625000/3862732
230.05/228.43	c cleaning 9998 clauses out of 20052 with flag 2635000/3872732
230.65/229.02	c cleaning 10006 clauses out of 20054 with flag 2645000/3882732
231.25/229.63	c cleaning 10007 clauses out of 20049 with flag 2655001/3892733
231.85/230.26	c cleaning 10008 clauses out of 20043 with flag 2665002/3902734
232.57/230.92	c cleaning 10010 clauses out of 20033 with flag 2675001/3912733
233.06/231.46	c cleaning 10002 clauses out of 20024 with flag 2685002/3922734
233.56/232.01	c cleaning 9975 clauses out of 20020 with flag 2695000/3932732
234.16/232.54	c cleaning 10012 clauses out of 20045 with flag 2705000/3942732
234.78/233.13	c cleaning 10003 clauses out of 20033 with flag 2715000/3952732
235.26/233.67	c cleaning 9990 clauses out of 20030 with flag 2725000/3962732
235.88/234.24	c cleaning 10002 clauses out of 20040 with flag 2735000/3972732
236.37/234.74	c cleaning 9998 clauses out of 20038 with flag 2745000/3982732
236.87/235.24	c cleaning 10004 clauses out of 20040 with flag 2755000/3992732
237.37/235.75	c cleaning 9995 clauses out of 20036 with flag 2765000/4002732
237.97/236.36	c cleaning 10004 clauses out of 20041 with flag 2775000/4012732
238.57/236.92	c cleaning 10005 clauses out of 20037 with flag 2785000/4022732
239.08/237.45	c cleaning 10006 clauses out of 20033 with flag 2795001/4032733
239.58/237.97	c cleaning 9997 clauses out of 20026 with flag 2805000/4042732
240.08/238.47	c cleaning 9999 clauses out of 20030 with flag 2815001/4052733
240.58/238.93	c cleaning 9994 clauses out of 20035 with flag 2825005/4062737
241.08/239.45	c cleaning 9995 clauses out of 20037 with flag 2835001/4072733
241.68/240.08	c cleaning 9989 clauses out of 20041 with flag 2845000/4082732
242.28/240.68	c cleaning 9990 clauses out of 20052 with flag 2855000/4092732
242.98/241.30	c cleaning 10013 clauses out of 20062 with flag 2865000/4102732
243.60/241.94	c cleaning 10008 clauses out of 20049 with flag 2875000/4112732
244.18/242.50	c cleaning 10008 clauses out of 20040 with flag 2885000/4122732
244.70/243.02	c cleaning 10000 clauses out of 20032 with flag 2895000/4132732
245.19/243.51	c cleaning 9992 clauses out of 20033 with flag 2905001/4142733
245.69/244.00	c cleaning 9999 clauses out of 20040 with flag 2915000/4152732
246.19/244.50	c cleaning 10001 clauses out of 20041 with flag 2925000/4162732
246.69/245.04	c cleaning 9994 clauses out of 20042 with flag 2935002/4172734
247.29/245.60	c cleaning 9999 clauses out of 20046 with flag 2945000/4182732
247.79/246.16	c cleaning 9997 clauses out of 20047 with flag 2955000/4192732
248.39/246.72	c cleaning 10004 clauses out of 20050 with flag 2965000/4202732
248.89/247.29	c cleaning 9997 clauses out of 20046 with flag 2975000/4212732
249.49/247.86	c cleaning 9995 clauses out of 20049 with flag 2985000/4222732
250.09/248.46	c cleaning 10012 clauses out of 20055 with flag 2995001/4232733
250.69/249.09	c cleaning 9998 clauses out of 20042 with flag 3005000/4242732
251.31/249.68	c cleaning 10010 clauses out of 20044 with flag 3015000/4252732
251.89/250.24	c cleaning 10006 clauses out of 20035 with flag 3025001/4262733
252.51/250.86	c cleaning 9998 clauses out of 20028 with flag 3035000/4272732
253.09/251.43	c cleaning 10003 clauses out of 20030 with flag 3045000/4282732
253.61/251.99	c cleaning 9998 clauses out of 20027 with flag 3055000/4292732
254.20/252.58	c cleaning 10000 clauses out of 20029 with flag 3065000/4302732
254.81/253.12	c cleaning 9995 clauses out of 20029 with flag 3075000/4312732
255.31/253.65	c cleaning 9995 clauses out of 20035 with flag 3085001/4322733
255.82/254.14	c cleaning 10000 clauses out of 20040 with flag 3095001/4332733
256.31/254.64	c cleaning 9988 clauses out of 20039 with flag 3105000/4342732
256.92/255.25	c cleaning 10002 clauses out of 20052 with flag 3115001/4352733
257.61/255.99	c cleaning 10021 clauses out of 20051 with flag 3125002/4362734
258.31/256.61	c cleaning 10004 clauses out of 20027 with flag 3135000/4372732
258.81/257.13	c cleaning 9994 clauses out of 20024 with flag 3145001/4382733
259.31/257.63	c cleaning 9994 clauses out of 20029 with flag 3155000/4392732
259.81/258.18	c cleaning 9998 clauses out of 20036 with flag 3165001/4402733
260.41/258.73	c cleaning 10007 clauses out of 20038 with flag 3175001/4412733
260.91/259.26	c cleaning 10001 clauses out of 20033 with flag 3185003/4422735
261.51/259.89	c cleaning 9986 clauses out of 20029 with flag 3195000/4432732
262.11/260.49	c cleaning 10012 clauses out of 20043 with flag 3205000/4442732
262.71/261.07	c cleaning 10008 clauses out of 20031 with flag 3215000/4452732
263.31/261.61	c cleaning 9995 clauses out of 20023 with flag 3225000/4462732
263.81/262.15	c cleaning 9984 clauses out of 20028 with flag 3235000/4472732
264.41/262.71	c cleaning 9990 clauses out of 20044 with flag 3245000/4482732
264.91/263.29	c cleaning 9995 clauses out of 20054 with flag 3255000/4492732
265.51/263.86	c cleaning 10013 clauses out of 20061 with flag 3265002/4502734
266.21/264.52	c cleaning 10009 clauses out of 20047 with flag 3275001/4512733
266.84/265.14	c cleaning 10006 clauses out of 20037 with flag 3285000/4522732
267.32/265.65	c cleaning 10006 clauses out of 20032 with flag 3295001/4532733
267.83/266.17	c cleaning 10003 clauses out of 20025 with flag 3305000/4542732
268.42/266.74	c cleaning 10005 clauses out of 20023 with flag 3315001/4552733
268.94/267.24	c cleaning 9994 clauses out of 20018 with flag 3325001/4562733
269.42/267.74	c cleaning 9991 clauses out of 20023 with flag 3335000/4572732
269.92/268.25	c cleaning 9995 clauses out of 20033 with flag 3345001/4582733
270.42/268.77	c cleaning 10003 clauses out of 20038 with flag 3355001/4592733
271.02/269.30	c cleaning 9999 clauses out of 20036 with flag 3365002/4602734
271.52/269.80	c cleaning 9992 clauses out of 20036 with flag 3375001/4612733
272.02/270.32	c cleaning 10001 clauses out of 20045 with flag 3385002/4622734
272.52/270.81	c cleaning 9995 clauses out of 20042 with flag 3395000/4632732
273.12/271.41	c cleaning 10012 clauses out of 20048 with flag 3405001/4642733
273.63/271.98	c cleaning 9995 clauses out of 20035 with flag 3415000/4652732
274.23/272.59	c cleaning 10011 clauses out of 20040 with flag 3425000/4662732
274.83/273.17	c cleaning 10002 clauses out of 20028 with flag 3435000/4672732
275.44/273.72	c cleaning 10006 clauses out of 20029 with flag 3445003/4682735
275.94/274.24	c cleaning 9996 clauses out of 20021 with flag 3455001/4692733
276.44/274.76	c cleaning 9998 clauses out of 20024 with flag 3465000/4702732
276.94/275.28	c cleaning 9990 clauses out of 20026 with flag 3475000/4712732
277.54/275.84	c cleaning 10007 clauses out of 20036 with flag 3485000/4722732
278.04/276.37	c cleaning 10004 clauses out of 20030 with flag 3495001/4732733
278.54/276.88	c cleaning 9976 clauses out of 20025 with flag 3505000/4742732
279.14/277.48	c cleaning 10001 clauses out of 20051 with flag 3515002/4752734
279.74/278.09	c cleaning 10022 clauses out of 20051 with flag 3525003/4762735
280.25/278.59	c cleaning 9989 clauses out of 20027 with flag 3535001/4772733
280.85/279.15	c cleaning 10004 clauses out of 20037 with flag 3545000/4782732
281.35/279.69	c cleaning 9993 clauses out of 20033 with flag 3555000/4792732
281.95/280.25	c cleaning 10010 clauses out of 20040 with flag 3565000/4802732
282.45/280.78	c cleaning 9993 clauses out of 20030 with flag 3575000/4812732
283.05/281.30	c cleaning 9990 clauses out of 20038 with flag 3585001/4822733
283.55/281.81	c cleaning 9998 clauses out of 20048 with flag 3595001/4832733
284.05/282.33	c cleaning 10002 clauses out of 20049 with flag 3605000/4842732
284.66/282.92	c cleaning 10015 clauses out of 20047 with flag 3615000/4852732
285.16/283.47	c cleaning 9987 clauses out of 20032 with flag 3625000/4862732
285.66/283.96	c cleaning 10005 clauses out of 20045 with flag 3635000/4872732
286.36/284.60	c cleaning 10016 clauses out of 20043 with flag 3645003/4882735
286.86/285.16	c cleaning 9999 clauses out of 20025 with flag 3655001/4892733
287.46/285.72	c cleaning 10001 clauses out of 20025 with flag 3665000/4902732
287.96/286.28	c cleaning 9999 clauses out of 20024 with flag 3675000/4912732
288.66/286.90	c cleaning 10000 clauses out of 20027 with flag 3685002/4922734
289.16/287.48	c cleaning 10003 clauses out of 20025 with flag 3695000/4932732
289.76/288.04	c cleaning 9990 clauses out of 20022 with flag 3705000/4942732
290.26/288.58	c cleaning 9983 clauses out of 20032 with flag 3715000/4952732
290.77/289.06	c cleaning 10006 clauses out of 20049 with flag 3725000/4962732
291.47/289.70	c cleaning 10001 clauses out of 20043 with flag 3735000/4972732
291.97/290.21	c cleaning 10001 clauses out of 20042 with flag 3745000/4982732
292.47/290.73	c cleaning 10011 clauses out of 20043 with flag 3755002/4992734
292.97/291.29	c cleaning 9997 clauses out of 20030 with flag 3765000/5002732
293.57/291.85	c cleaning 9991 clauses out of 20033 with flag 3775000/5012732
294.17/292.41	c cleaning 10000 clauses out of 20042 with flag 3785000/5022732
294.67/292.95	c cleaning 10002 clauses out of 20042 with flag 3795000/5032732
295.17/293.48	c cleaning 9995 clauses out of 20040 with flag 3805000/5042732
295.78/294.01	c cleaning 10007 clauses out of 20045 with flag 3815000/5052732
296.28/294.52	c cleaning 10001 clauses out of 20041 with flag 3825003/5062735
296.78/295.02	c cleaning 9994 clauses out of 20038 with flag 3835001/5072733
297.29/295.54	c cleaning 9996 clauses out of 20045 with flag 3845002/5082734
297.89/296.11	c cleaning 9997 clauses out of 20047 with flag 3855000/5092732
298.49/296.72	c cleaning 10014 clauses out of 20049 with flag 3865000/5102732
298.99/297.25	c cleaning 10004 clauses out of 20036 with flag 3875001/5112733
299.49/297.76	c cleaning 10001 clauses out of 20031 with flag 3885000/5122732
299.99/298.26	c cleaning 10003 clauses out of 20032 with flag 3895002/5132734
300.69/298.90	c cleaning 9993 clauses out of 20028 with flag 3905001/5142733
301.29/299.52	c cleaning 9996 clauses out of 20034 with flag 3915000/5152732
301.89/300.10	c cleaning 10010 clauses out of 20038 with flag 3925000/5162732
302.39/300.62	c cleaning 9997 clauses out of 20028 with flag 3935000/5172732
302.99/301.22	c cleaning 10003 clauses out of 20031 with flag 3945000/5182732
303.49/301.75	c cleaning 10004 clauses out of 20030 with flag 3955002/5192734
304.09/302.30	c cleaning 9992 clauses out of 20024 with flag 3965000/5202732
304.59/302.84	c cleaning 9993 clauses out of 20032 with flag 3975000/5212732
305.09/303.36	c cleaning 9999 clauses out of 20039 with flag 3985000/5222732
305.70/303.94	c cleaning 9999 clauses out of 20041 with flag 3995001/5232733
306.20/304.49	c cleaning 10004 clauses out of 20041 with flag 4005000/5242732
306.80/305.01	c cleaning 10003 clauses out of 20037 with flag 4015000/5252732
307.30/305.57	c cleaning 10000 clauses out of 20035 with flag 4025001/5262733
307.80/306.08	c cleaning 10000 clauses out of 20035 with flag 4035001/5272733
308.41/306.62	c cleaning 9991 clauses out of 20034 with flag 4045000/5282732
309.01/307.26	c cleaning 10012 clauses out of 20044 with flag 4055001/5292733
309.61/307.82	c cleaning 10000 clauses out of 20031 with flag 4065000/5302732
310.11/308.33	c cleaning 9996 clauses out of 20031 with flag 4075000/5312732
310.61/308.86	c cleaning 10005 clauses out of 20035 with flag 4085000/5322732
311.11/309.38	c cleaning 9992 clauses out of 20031 with flag 4095001/5332733
311.71/309.96	c cleaning 10008 clauses out of 20041 with flag 4105003/5342735
312.31/310.50	c cleaning 9992 clauses out of 20030 with flag 4115000/5352732
312.81/311.03	c cleaning 10001 clauses out of 20039 with flag 4125001/5362733
313.31/311.55	c cleaning 10001 clauses out of 20039 with flag 4135002/5372734
313.91/312.12	c cleaning 9987 clauses out of 20036 with flag 4145000/5382732
314.41/312.68	c cleaning 10014 clauses out of 20051 with flag 4155002/5392734
315.02/313.23	c cleaning 9995 clauses out of 20036 with flag 4165001/5402733
315.61/313.82	c cleaning 9999 clauses out of 20040 with flag 4175000/5412732
316.21/314.40	c cleaning 10001 clauses out of 20041 with flag 4185000/5422732
316.71/314.91	c cleaning 9997 clauses out of 20040 with flag 4195000/5432732
317.22/315.46	c cleaning 9994 clauses out of 20044 with flag 4205001/5442733
317.72/315.99	c cleaning 9988 clauses out of 20049 with flag 4215000/5452732
318.33/316.53	c cleaning 10004 clauses out of 20061 with flag 4225000/5462732
318.83/317.08	c cleaning 9997 clauses out of 20057 with flag 4235000/5472732
319.43/317.62	c cleaning 10000 clauses out of 20061 with flag 4245001/5482733
320.23/318.42	c cleaning 10009 clauses out of 20060 with flag 4255000/5492732
320.93/319.11	c cleaning 10010 clauses out of 20051 with flag 4265000/5502732
321.73/319.91	c cleaning 9999 clauses out of 20041 with flag 4275000/5512732
322.53/320.71	c starts		: 257
322.53/320.71	c conflicts		: 5522015
322.53/320.71	c decisions		: 6617965
322.53/320.71	c propagations		: 159528735
322.53/320.71	c inspects		: 2634282672
322.53/320.71	c shortcuts		: 0
322.53/320.71	c learnt literals	: 22
322.53/320.71	c learnt binary clauses	: 224
322.53/320.71	c learnt ternary clauses	: 158506
322.53/320.71	c learnt constraints	: 5521992
322.53/320.71	c ignored constraints	: 0
322.53/320.71	c root simplifications	: 0
322.53/320.71	c removed literals (reason simplification)	: 210370767
322.53/320.71	c reason swapping (by a shorter reason)	: 0
322.53/320.71	c Calls to reduceDB	: 554
322.53/320.71	c number of reductions to clauses (during analyze)	: 0
322.53/320.71	c number of learned constraints concerned by reduction	: 0
322.53/320.71	c number of learning phase by resolution	: 0
322.53/320.71	c number of learning phase by cutting planes	: 0
322.53/320.71	c speed (assignments/second)	: 650595.9731488882
322.53/320.71	c non guided choices	0
322.53/320.71	c learnt constraints type 
322.53/320.71	c constraints type 
322.53/320.71	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1476
322.53/320.71	c org.sat4j.minisat.constraints.card.MinWatchCard => 102
322.53/320.71	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50
322.53/320.71	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1476
322.53/320.71	s OPTIMUM FOUND
322.53/320.71	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 
322.53/320.71	c objective function=-7
322.53/320.71	c Total wall clock time (in seconds): 320.595

Verifier Data 

OK	-7

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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

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


[startup+0 s]
/proc/loadavg: 1.95 2.00 2.00 2/511 24606
/proc/meminfo: memFree=21760092/32951124 swapFree=62999000/67111528
[pid=24606] ppid=24603 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 5226 0 1 0 0 0 0 0 22 0 2 0 808541870 13850947584 4928 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/24606/statm: 3381579 4942 917 9 0 3372735 0
[pid=24606/tid=24607] ppid=24603 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 5344 0 1 0 0 0 0 0 23 0 2 0 808541871 13850947584 6160 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264726099003 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0340549 s]
/proc/loadavg: 1.95 2.00 2.00 2/511 24606
/proc/meminfo: memFree=21760092/32951124 swapFree=62999000/67111528
[pid=24606] ppid=24603 vsize=13537012 CPUtime=0.02 cores=1,3,5,7
/proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 13179 0 1 0 1 1 0 0 22 0 10 0 808541870 13861900288 12878 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/24606/statm: 3384253 12879 1512 9 0 3375001 0
[pid=24606/tid=24607] ppid=24603 vsize=13537012 CPUtime=0.01 cores=1,3,5,7
/proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 12059 0 1 0 0 1 0 0 25 0 10 0 808541871 13861900288 12880 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 47586906588696 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13537012

[startup+0.101066 s]
/proc/loadavg: 1.95 2.00 2.00 2/511 24606
/proc/meminfo: memFree=21760092/32951124 swapFree=62999000/67111528
[pid=24606] ppid=24603 vsize=13622396 CPUtime=0.1 cores=1,3,5,7
/proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 15508 0 1 0 8 2 0 0 22 0 18 0 808541870 13949333504 15175 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24606/statm: 3405599 15177 2092 9 0 3396333 0
[pid=24606/tid=24607] ppid=24603 vsize=13622396 CPUtime=0.08 cores=1,3,5,7
/proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 13564 0 1 0 6 2 0 0 18 0 18 0 808541871 13949333504 15177 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 47586903523333 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622396

[startup+0.310804 s]
/proc/loadavg: 1.95 2.00 2.00 2/511 24606
/proc/meminfo: memFree=21760092/32951124 swapFree=62999000/67111528
[pid=24606] ppid=24603 vsize=13625468 CPUtime=0.41 cores=1,3,5,7
/proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 18390 0 1 0 39 2 0 0 22 0 18 0 808541870 13952479232 17924 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24606/statm: 3406367 17924 2213 9 0 3397101 0
[pid=24606/tid=24607] ppid=24603 vsize=13625468 CPUtime=0.26 cores=1,3,5,7
/proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 15059 0 1 0 24 2 0 0 18 0 18 0 808541871 13952479232 17924 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 46912505539721 0 4 0 16800975 0 0 0 -1 3 0 0 5
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 13625468

[startup+0.700939 s]
/proc/loadavg: 1.95 2.00 2.00 2/511 24606
/proc/meminfo: memFree=21760092/32951124 swapFree=62999000/67111528
[pid=24606] ppid=24603 vsize=13626496 CPUtime=1.04 cores=1,3,5,7
/proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 19984 0 1 0 101 3 0 0 22 0 19 0 808541870 13953531904 18985 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24606/statm: 3406624 18985 2230 9 0 3397358 0
[pid=24606/tid=24607] ppid=24603 vsize=13626496 CPUtime=0.62 cores=1,3,5,7
/proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 15638 0 1 0 60 2 0 0 19 0 19 0 808541871 13953531904 18985 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 46912505619229 0 4 0 16800975 0 0 0 -1 3 0 0 5
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 13626496

[startup+1.50078 s]
/proc/loadavg: 1.95 2.00 2.00 3/550 24653
/proc/meminfo: memFree=21293360/32951124 swapFree=62999000/67111528
[pid=24606] ppid=24603 vsize=13626496 CPUtime=2.02 cores=1,3,5,7
/proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 27053 0 1 0 198 4 0 0 22 0 19 0 808541870 13953531904 23857 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24606/statm: 3406624 23858 2264 9 0 3397358 0
[pid=24606/tid=24607] ppid=24603 vsize=13626496 CPUtime=1.38 cores=1,3,5,7
/proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 15881 0 1 0 136 2 0 0 20 0 19 0 808541871 13953531904 23858 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 46912505602717 0 4 0 16800975 0 0 0 -1 3 0 0 5
[pid=24606/tid=24609] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24609/stat : 24609 (java) S 24603 24606 20485 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 23858 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24611] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24611/stat : 24611 (java) S 24603 24606 20485 0 -1 4202560 134 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 23858 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24612] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24612/stat : 24612 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 808541873 13953531904 23858 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24613] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24613/stat : 24613 (java) S 24603 24606 20485 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 23858 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24615] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24615/stat : 24615 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 23858 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24616] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24616/stat : 24616 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 808541873 13953531904 23859 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24617] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24617/stat : 24617 (java) S 24603 24606 20485 0 -1 4202560 192 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 23859 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24618] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24618/stat : 24618 (java) S 24603 24606 20485 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 23859 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24619] ppid=24603 vsize=13626496 CPUtime=0.02 cores=1,3,5,7
/proc/24606/task/24619/stat : 24619 (java) S 24603 24606 20485 0 -1 4202560 664 0 0 0 2 0 0 0 16 0 19 0 808541874 13953531904 23859 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 0 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24620] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24620/stat : 24620 (java) S 24603 24606 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 23859 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24621] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24621/stat : 24621 (java) S 24603 24606 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 23859 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24622] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24622/stat : 24622 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808541877 13953531904 23859 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738228657 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24623] ppid=24603 vsize=13626496 CPUtime=0.26 cores=1,3,5,7
/proc/24606/task/24623/stat : 24623 (java) S 24603 24606 20485 0 -1 4202560 1278 0 0 0 26 0 0 0 15 0 19 0 808541877 13953531904 23859 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24624] ppid=24603 vsize=13626496 CPUtime=0.31 cores=1,3,5,7
/proc/24606/task/24624/stat : 24624 (java) R 24603 24606 20485 0 -1 4202560 7287 0 0 0 31 0 0 0 15 0 19 0 808541877 13953531904 23860 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264726096470 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24606/tid=24625] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24625/stat : 24625 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 808541877 13953531904 23860 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24626] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24626/stat : 24626 (java) S 24603 24606 20485 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 808541877 13953531904 23860 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24653] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24653/stat : 24653 (java) S 24603 24606 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808541906 13953531904 23860 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 13626496

[startup+3.10147 s]
/proc/loadavg: 2.03 2.01 2.00 4/551 24654
/proc/meminfo: memFree=20472224/32951124 swapFree=62999000/67111528
[pid=24606] ppid=24603 vsize=13626496 CPUtime=4.25 cores=1,3,5,7
/proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 32382 0 1 0 420 5 0 0 22 0 19 0 808541870 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24606/statm: 3406624 26201 2264 9 0 3397358 0
[pid=24606/tid=24607] ppid=24603 vsize=13626496 CPUtime=2.93 cores=1,3,5,7
/proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 15884 0 1 0 291 2 0 0 25 0 19 0 808541871 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 46912505602334 0 4 0 16800975 0 0 0 -1 3 0 0 5
[pid=24606/tid=24609] ppid=24603 vsize=13626496 CPUtime=0.01 cores=1,3,5,7
/proc/24606/task/24609/stat : 24609 (java) S 24603 24606 20485 0 -1 4202560 203 0 0 0 1 0 0 0 15 0 19 0 808541873 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24611] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24611/stat : 24611 (java) S 24603 24606 20485 0 -1 4202560 291 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24612] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24612/stat : 24612 (java) S 24603 24606 20485 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24613] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24613/stat : 24613 (java) S 24603 24606 20485 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24615] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24615/stat : 24615 (java) S 24603 24606 20485 0 -1 4202560 141 0 0 0 0 0 0 0 16 0 19 0 808541873 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24616] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24616/stat : 24616 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24617] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24617/stat : 24617 (java) S 24603 24606 20485 0 -1 4202560 192 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24618] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24618/stat : 24618 (java) S 24603 24606 20485 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24619] ppid=24603 vsize=13626496 CPUtime=0.06 cores=1,3,5,7
/proc/24606/task/24619/stat : 24619 (java) S 24603 24606 20485 0 -1 4202560 855 0 0 0 6 0 0 0 16 0 19 0 808541874 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 0 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24620] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24620/stat : 24620 (java) S 24603 24606 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24621] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24621/stat : 24621 (java) S 24603 24606 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24622] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24622/stat : 24622 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808541877 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738228657 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24623] ppid=24603 vsize=13626496 CPUtime=0.34 cores=1,3,5,7
/proc/24606/task/24623/stat : 24623 (java) S 24603 24606 20485 0 -1 4202560 1279 0 0 0 34 0 0 0 15 0 19 0 808541877 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24624] ppid=24603 vsize=13626496 CPUtime=0.86 cores=1,3,5,7
/proc/24606/task/24624/stat : 24624 (java) S 24603 24606 20485 0 -1 4202560 12088 0 0 0 85 1 0 0 15 0 19 0 808541877 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24625] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24625/stat : 24625 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 808541877 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24626] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24626/stat : 24626 (java) S 24603 24606 20485 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 808541877 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24653] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24653/stat : 24653 (java) S 24603 24606 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808541906 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 13626496

[startup+6.30087 s]
/proc/loadavg: 2.03 2.01 2.00 3/551 24655
/proc/meminfo: memFree=20471392/32951124 swapFree=62999000/67111528
[pid=24606] ppid=24603 vsize=13626496 CPUtime=7.46 cores=1,3,5,7
/proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 32541 0 1 0 741 5 0 0 22 0 19 0 808541870 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24606/statm: 3406624 26193 2264 9 0 3397358 0
[pid=24606/tid=24607] ppid=24603 vsize=13626496 CPUtime=6.01 cores=1,3,5,7
/proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 15891 0 1 0 599 2 0 0 25 0 19 0 808541871 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 46912505830704 0 4 0 16800975 0 0 0 -1 3 0 0 5
[pid=24606/tid=24609] ppid=24603 vsize=13626496 CPUtime=0.01 cores=1,3,5,7
/proc/24606/task/24609/stat : 24609 (java) S 24603 24606 20485 0 -1 4202560 204 0 0 0 1 0 0 0 15 0 19 0 808541873 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24611] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24611/stat : 24611 (java) S 24603 24606 20485 0 -1 4202560 292 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24612] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24612/stat : 24612 (java) S 24603 24606 20485 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24613] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24613/stat : 24613 (java) S 24603 24606 20485 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24615] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24615/stat : 24615 (java) S 24603 24606 20485 0 -1 4202560 143 0 0 0 0 0 0 0 16 0 19 0 808541873 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24616] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24616/stat : 24616 (java) S 24603 24606 20485 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24617] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24617/stat : 24617 (java) S 24603 24606 20485 0 -1 4202560 194 0 0 0 0 0 0 0 16 0 19 0 808541873 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24618] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24618/stat : 24618 (java) S 24603 24606 20485 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24619] ppid=24603 vsize=13626496 CPUtime=0.17 cores=1,3,5,7
/proc/24606/task/24619/stat : 24619 (java) S 24603 24606 20485 0 -1 4202560 993 0 0 0 17 0 0 0 16 0 19 0 808541874 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 0 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24620] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24620/stat : 24620 (java) S 24603 24606 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24621] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24621/stat : 24621 (java) S 24603 24606 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24622] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24622/stat : 24622 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808541877 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738228657 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24623] ppid=24603 vsize=13626496 CPUtime=0.35 cores=1,3,5,7
/proc/24606/task/24623/stat : 24623 (java) S 24603 24606 20485 0 -1 4202560 1279 0 0 0 35 0 0 0 15 0 19 0 808541877 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24624] ppid=24603 vsize=13626496 CPUtime=0.86 cores=1,3,5,7
/proc/24606/task/24624/stat : 24624 (java) S 24603 24606 20485 0 -1 4202560 12088 0 0 0 85 1 0 0 15 0 19 0 808541877 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0

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

/proc/24606/task/24609/stat : 24609 (java) S 24603 24606 20485 0 -1 4202560 226 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24611] ppid=24603 vsize=13626496 CPUtime=0.14 cores=1,3,5,7
/proc/24606/task/24611/stat : 24611 (java) S 24603 24606 20485 0 -1 4202560 299 0 0 0 14 0 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24612] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7
/proc/24606/task/24612/stat : 24612 (java) S 24603 24606 20485 0 -1 4202560 55 0 0 0 15 1 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24613] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7
/proc/24606/task/24613/stat : 24613 (java) S 24603 24606 20485 0 -1 4202560 128 0 0 0 16 0 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 5 0 0 0
[pid=24606/tid=24615] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7
/proc/24606/task/24615/stat : 24615 (java) S 24603 24606 20485 0 -1 4202560 162 0 0 0 16 0 0 0 16 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24616] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7
/proc/24606/task/24616/stat : 24616 (java) S 24603 24606 20485 0 -1 4202560 26 0 0 0 16 0 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24617] ppid=24603 vsize=13626496 CPUtime=0.17 cores=1,3,5,7
/proc/24606/task/24617/stat : 24617 (java) S 24603 24606 20485 0 -1 4202560 219 0 0 0 16 1 0 0 16 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24618] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7
/proc/24606/task/24618/stat : 24618 (java) S 24603 24606 20485 0 -1 4202560 187 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24619] ppid=24603 vsize=13626496 CPUtime=10.7 cores=1,3,5,7
/proc/24606/task/24619/stat : 24619 (java) S 24603 24606 20485 0 -1 4202560 1537 0 0 0 1059 11 0 0 16 0 19 0 808541874 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 0 0 16800975 18446604457920004480 0 0 -1 5 0 0 0
[pid=24606/tid=24620] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24620/stat : 24620 (java) S 24603 24606 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24621] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24621/stat : 24621 (java) S 24603 24606 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24622] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24622/stat : 24622 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738228657 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24623] ppid=24603 vsize=13626496 CPUtime=0.36 cores=1,3,5,7
/proc/24606/task/24623/stat : 24623 (java) S 24603 24606 20485 0 -1 4202560 1279 0 0 0 36 0 0 0 15 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24624] ppid=24603 vsize=13626496 CPUtime=0.92 cores=1,3,5,7
/proc/24606/task/24624/stat : 24624 (java) S 24603 24606 20485 0 -1 4202560 12096 0 0 0 91 1 0 0 15 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24625] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24625/stat : 24625 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24626] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24626/stat : 24626 (java) S 24603 24606 20485 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24653] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24653/stat : 24653 (java) S 24603 24606 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808541906 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 320.13
Current children cumulated vsize (KiB) 13626496

[startup+319.901 s]
/proc/loadavg: 2.03 2.04 2.00 3/551 24667
/proc/meminfo: memFree=20316312/32951124 swapFree=62999000/67111528
[pid=24606] ppid=24603 vsize=13626496 CPUtime=321.73 cores=1,3,5,7
/proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 33818 0 1 0 32151 22 0 0 22 0 19 0 808541870 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24606/statm: 3406624 25017 2266 9 0 3397358 0
[pid=24606/tid=24607] ppid=24603 vsize=13626496 CPUtime=308.35 cores=1,3,5,7
/proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 16434 0 1 0 30832 3 0 0 25 0 19 0 808541871 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 46912505988720 0 4 0 16800975 0 0 0 -1 5 0 0 5
[pid=24606/tid=24609] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7
/proc/24606/task/24609/stat : 24609 (java) S 24603 24606 20485 0 -1 4202560 226 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24611] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7
/proc/24606/task/24611/stat : 24611 (java) S 24603 24606 20485 0 -1 4202560 299 0 0 0 15 0 0 0 16 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24612] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7
/proc/24606/task/24612/stat : 24612 (java) S 24603 24606 20485 0 -1 4202560 55 0 0 0 15 1 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24613] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7
/proc/24606/task/24613/stat : 24613 (java) S 24603 24606 20485 0 -1 4202560 128 0 0 0 16 0 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24615] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7
/proc/24606/task/24615/stat : 24615 (java) S 24603 24606 20485 0 -1 4202560 162 0 0 0 16 0 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24616] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7
/proc/24606/task/24616/stat : 24616 (java) S 24603 24606 20485 0 -1 4202560 26 0 0 0 16 0 0 0 16 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24617] ppid=24603 vsize=13626496 CPUtime=0.17 cores=1,3,5,7
/proc/24606/task/24617/stat : 24617 (java) S 24603 24606 20485 0 -1 4202560 219 0 0 0 16 1 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24618] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7
/proc/24606/task/24618/stat : 24618 (java) S 24603 24606 20485 0 -1 4202560 187 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24619] ppid=24603 vsize=13626496 CPUtime=10.74 cores=1,3,5,7
/proc/24606/task/24619/stat : 24619 (java) S 24603 24606 20485 0 -1 4202560 1537 0 0 0 1063 11 0 0 16 0 19 0 808541874 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 0 0 16800975 18446604457920004480 0 0 -1 5 0 0 0
[pid=24606/tid=24620] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24620/stat : 24620 (java) S 24603 24606 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24621] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24621/stat : 24621 (java) S 24603 24606 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24622] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24622/stat : 24622 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738228657 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24623] ppid=24603 vsize=13626496 CPUtime=0.36 cores=1,3,5,7
/proc/24606/task/24623/stat : 24623 (java) S 24603 24606 20485 0 -1 4202560 1279 0 0 0 36 0 0 0 15 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24624] ppid=24603 vsize=13626496 CPUtime=0.92 cores=1,3,5,7
/proc/24606/task/24624/stat : 24624 (java) S 24603 24606 20485 0 -1 4202560 12096 0 0 0 91 1 0 0 15 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24625] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24625/stat : 24625 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24626] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24626/stat : 24626 (java) S 24603 24606 20485 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24653] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24653/stat : 24653 (java) S 24603 24606 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808541906 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 321.73
Current children cumulated vsize (KiB) 13626496

[startup+320.302 s]
/proc/loadavg: 2.03 2.04 2.00 3/551 24667
/proc/meminfo: memFree=20316312/32951124 swapFree=62999000/67111528
[pid=24606] ppid=24603 vsize=13626496 CPUtime=322.13 cores=1,3,5,7
/proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 33822 0 1 0 32191 22 0 0 22 0 19 0 808541870 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24606/statm: 3406624 25020 2266 9 0 3397358 0
[pid=24606/tid=24607] ppid=24603 vsize=13626496 CPUtime=308.73 cores=1,3,5,7
/proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 16435 0 1 0 30870 3 0 0 25 0 19 0 808541871 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 46912505609954 0 4 0 16800975 0 0 0 -1 5 0 0 5
[pid=24606/tid=24609] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7
/proc/24606/task/24609/stat : 24609 (java) S 24603 24606 20485 0 -1 4202560 226 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24611] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7
/proc/24606/task/24611/stat : 24611 (java) S 24603 24606 20485 0 -1 4202560 299 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24612] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7
/proc/24606/task/24612/stat : 24612 (java) S 24603 24606 20485 0 -1 4202560 55 0 0 0 15 1 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24613] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7
/proc/24606/task/24613/stat : 24613 (java) S 24603 24606 20485 0 -1 4202560 128 0 0 0 16 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24615] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7
/proc/24606/task/24615/stat : 24615 (java) S 24603 24606 20485 0 -1 4202560 165 0 0 0 16 0 0 0 16 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24616] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7
/proc/24606/task/24616/stat : 24616 (java) S 24603 24606 20485 0 -1 4202560 26 0 0 0 16 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24617] ppid=24603 vsize=13626496 CPUtime=0.17 cores=1,3,5,7
/proc/24606/task/24617/stat : 24617 (java) S 24603 24606 20485 0 -1 4202560 219 0 0 0 16 1 0 0 16 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24618] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7
/proc/24606/task/24618/stat : 24618 (java) S 24603 24606 20485 0 -1 4202560 187 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24619] ppid=24603 vsize=13626496 CPUtime=10.75 cores=1,3,5,7
/proc/24606/task/24619/stat : 24619 (java) S 24603 24606 20485 0 -1 4202560 1537 0 0 0 1064 11 0 0 16 0 19 0 808541874 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 0 0 16800975 18446604457920004480 0 0 -1 5 0 0 0
[pid=24606/tid=24620] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24620/stat : 24620 (java) S 24603 24606 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24621] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24621/stat : 24621 (java) S 24603 24606 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24622] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24622/stat : 24622 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738228657 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24623] ppid=24603 vsize=13626496 CPUtime=0.36 cores=1,3,5,7
/proc/24606/task/24623/stat : 24623 (java) S 24603 24606 20485 0 -1 4202560 1279 0 0 0 36 0 0 0 15 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24624] ppid=24603 vsize=13626496 CPUtime=0.92 cores=1,3,5,7
/proc/24606/task/24624/stat : 24624 (java) S 24603 24606 20485 0 -1 4202560 12096 0 0 0 91 1 0 0 15 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24625] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24625/stat : 24625 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24626] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24626/stat : 24626 (java) S 24603 24606 20485 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24653] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24653/stat : 24653 (java) S 24603 24606 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808541906 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 322.13
Current children cumulated vsize (KiB) 13626496

[startup+320.701 s]
/proc/loadavg: 2.03 2.04 2.00 3/551 24667
/proc/meminfo: memFree=20316312/32951124 swapFree=62999000/67111528
[pid=24606] ppid=24603 vsize=13626496 CPUtime=322.53 cores=1,3,5,7
/proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 33822 0 1 0 32231 22 0 0 22 0 19 0 808541870 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24606/statm: 3406624 25020 2266 9 0 3397358 0
[pid=24606/tid=24607] ppid=24603 vsize=13626496 CPUtime=309.13 cores=1,3,5,7
/proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 16435 0 1 0 30910 3 0 0 25 0 19 0 808541871 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 46912505830751 0 4 0 16800975 0 0 0 -1 5 0 0 5
[pid=24606/tid=24609] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7
/proc/24606/task/24609/stat : 24609 (java) S 24603 24606 20485 0 -1 4202560 226 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24611] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7
/proc/24606/task/24611/stat : 24611 (java) S 24603 24606 20485 0 -1 4202560 299 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24612] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7
/proc/24606/task/24612/stat : 24612 (java) S 24603 24606 20485 0 -1 4202560 55 0 0 0 15 1 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24613] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7
/proc/24606/task/24613/stat : 24613 (java) S 24603 24606 20485 0 -1 4202560 128 0 0 0 16 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24615] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7
/proc/24606/task/24615/stat : 24615 (java) S 24603 24606 20485 0 -1 4202560 165 0 0 0 16 0 0 0 16 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24616] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7
/proc/24606/task/24616/stat : 24616 (java) S 24603 24606 20485 0 -1 4202560 26 0 0 0 16 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24617] ppid=24603 vsize=13626496 CPUtime=0.17 cores=1,3,5,7
/proc/24606/task/24617/stat : 24617 (java) S 24603 24606 20485 0 -1 4202560 219 0 0 0 16 1 0 0 16 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24618] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7
/proc/24606/task/24618/stat : 24618 (java) S 24603 24606 20485 0 -1 4202560 187 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24619] ppid=24603 vsize=13626496 CPUtime=10.75 cores=1,3,5,7
/proc/24606/task/24619/stat : 24619 (java) S 24603 24606 20485 0 -1 4202560 1537 0 0 0 1064 11 0 0 16 0 19 0 808541874 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 0 0 16800975 18446604457920004480 0 0 -1 5 0 0 0
[pid=24606/tid=24620] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24620/stat : 24620 (java) S 24603 24606 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24621] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24621/stat : 24621 (java) S 24603 24606 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24622] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24622/stat : 24622 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738228657 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24623] ppid=24603 vsize=13626496 CPUtime=0.36 cores=1,3,5,7
/proc/24606/task/24623/stat : 24623 (java) S 24603 24606 20485 0 -1 4202560 1279 0 0 0 36 0 0 0 15 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24624] ppid=24603 vsize=13626496 CPUtime=0.92 cores=1,3,5,7
/proc/24606/task/24624/stat : 24624 (java) S 24603 24606 20485 0 -1 4202560 12096 0 0 0 91 1 0 0 15 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0
[pid=24606/tid=24625] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24625/stat : 24625 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0
[pid=24606/tid=24626] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24626/stat : 24626 (java) S 24603 24606 20485 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
[pid=24606/tid=24653] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7
/proc/24606/task/24653/stat : 24653 (java) S 24603 24606 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808541906 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 322.53
Current children cumulated vsize (KiB) 13626496

Child status: 30
Real time (s): 320.718
CPU time (s): 322.56
CPU user time (s): 322.333
CPU system time (s): 0.226965
CPU usage (%): 100.574
Max. virtual memory (cumulated for all children) (KiB): 13626496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 322.333
system time used= 0.226965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33849
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= 23168
involuntary context switches= 9954

runsolver used 1.62775 second user time and 3.9424 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-04 06:21:03
IDJOB=3458411
IDBENCH=48231
IDSOLVER=1952
FILE ID=node141/3458411-1307161263
RUNJOBID= node141-1307161263-24591
PBS_JOBID= 13508775
Free space on /tmp= 73908 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_3.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458411-1307161263/watcher-3458411-1307161263 -o /tmp/evaluation-result-3458411-1307161263/solver-3458411-1307161263 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458411-1307161263.opb

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

MD5SUM BENCH= e70f8e0da8fa345ba6e82dce1b0133d2
RANDOM SEED=807397065

node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21760992 kB
Buffers:        278040 kB
Cached:         659952 kB
SwapCached:       8848 kB
Active:       10349768 kB
Inactive:       575172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21760992 kB
SwapTotal:    67111528 kB
SwapFree:     62999000 kB
Dirty:             608 kB
Writeback:           0 kB
AnonPages:     9985040 kB
Mapped:          25176 kB
Slab:           125376 kB
PageTables:      70028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 150651392 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73904 MiB
End job on node141 at 2011-06-04 06:26:23