Trace number 3458430

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-6 478.57 475.974

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_1.opb
MD5SUMe0d3a2bf2cd2b7e4b27d7033a7686e76
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-6
Best CPU time to get the best result obtained on this benchmark14.5558
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -6
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)2996
Sum of products size (including duplicates)5992
Number of different products1498
Sum of products size2996

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-3458430-1307644568.opb
0.10/0.11	c reading problem ... 
0.37/0.34	c ... done. Wall clock time 0.228s.
0.37/0.34	c #vars     1598
0.37/0.34	c #constraints  3148
0.37/0.34	c constraints type 
0.37/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1498
0.37/0.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 102
0.37/0.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50
0.37/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1498
0.79/0.52	c SATISFIABLE
0.79/0.52	c OPTIMIZING...
0.79/0.52	c Got one! Elapsed wall clock time (in seconds):0.405
0.79/0.52	o -4
1.05/0.71	c Got one! Elapsed wall clock time (in seconds):0.593
1.05/0.71	o -5
1.29/0.95	c cleaning 2821 clauses out of 5642 with flag 3000/5642
2.05/1.43	c cleaning 4411 clauses out of 8821 with flag 9000/11642
2.56/1.96	c cleaning 5688 clauses out of 11410 with flag 16000/18642
3.26/2.61	c cleaning 6861 clauses out of 13722 with flag 24000/26642
3.92/3.27	c cleaning 7926 clauses out of 15861 with flag 33000/35642
4.62/3.98	c cleaning 8966 clauses out of 17935 with flag 43000/45642
5.42/4.77	c cleaning 9475 clauses out of 18969 with flag 53000/55642
5.72/5.05	c Got one! Elapsed wall clock time (in seconds):4.94
5.72/5.05	o -6
5.85/5.14	c cleaning 7284 clauses out of 14575 with flag 1000/60723
6.26/5.53	c cleaning 6642 clauses out of 13291 with flag 7000/66723
6.66/5.99	c cleaning 6821 clauses out of 13650 with flag 14001/73724
7.16/6.49	c cleaning 7407 clauses out of 14828 with flag 22000/81723
7.76/7.08	c cleaning 8211 clauses out of 16421 with flag 31000/90723
8.47/7.75	c cleaning 9094 clauses out of 18210 with flag 41000/100723
9.16/8.47	c cleaning 9546 clauses out of 19116 with flag 51000/110723
9.87/9.20	c cleaning 9768 clauses out of 19570 with flag 61000/120723
10.58/9.80	c cleaning 9897 clauses out of 19802 with flag 71000/130723
11.27/10.50	c cleaning 9938 clauses out of 19905 with flag 81000/140723
11.98/11.30	c cleaning 9979 clauses out of 19968 with flag 91001/150724
13.11/11.92	c cleaning 9988 clauses out of 19989 with flag 101001/160724
14.10/12.53	c cleaning 10000 clauses out of 20002 with flag 111002/170725
14.70/13.18	c cleaning 9996 clauses out of 20000 with flag 121000/180723
15.41/13.89	c cleaning 9992 clauses out of 20005 with flag 131001/190724
16.23/14.67	c cleaning 10004 clauses out of 20014 with flag 141002/200725
16.93/15.35	c cleaning 9991 clauses out of 20008 with flag 151000/210723
17.53/15.99	c cleaning 10006 clauses out of 20017 with flag 161000/220723
18.23/16.61	c cleaning 9998 clauses out of 20011 with flag 171000/230723
18.83/17.22	c cleaning 10001 clauses out of 20013 with flag 181000/240723
19.43/17.85	c cleaning 9992 clauses out of 20012 with flag 191000/250723
20.13/18.53	c cleaning 10004 clauses out of 20020 with flag 201000/260723
20.84/19.22	c cleaning 9984 clauses out of 20016 with flag 211000/270723
21.45/19.87	c cleaning 10001 clauses out of 20032 with flag 221000/280723
22.15/20.56	c cleaning 10007 clauses out of 20031 with flag 231000/290723
22.85/21.25	c cleaning 9998 clauses out of 20024 with flag 241000/300723
23.55/21.96	c cleaning 10002 clauses out of 20027 with flag 251001/310724
24.26/22.61	c cleaning 10006 clauses out of 20024 with flag 261000/320723
24.86/23.28	c cleaning 9996 clauses out of 20018 with flag 271000/330723
25.56/23.95	c cleaning 10004 clauses out of 20022 with flag 281000/340723
26.16/24.54	c cleaning 10001 clauses out of 20022 with flag 291004/350727
26.76/25.17	c cleaning 10000 clauses out of 20017 with flag 301000/360723
27.36/25.79	c cleaning 10000 clauses out of 20017 with flag 311000/370723
27.97/26.37	c cleaning 9997 clauses out of 20017 with flag 321000/380723
28.56/26.97	c cleaning 10003 clauses out of 20023 with flag 331003/390726
29.27/27.60	c cleaning 10000 clauses out of 20017 with flag 341000/400723
29.87/28.27	c cleaning 9996 clauses out of 20018 with flag 351001/410724
30.57/28.93	c cleaning 9997 clauses out of 20021 with flag 361000/420723
31.17/29.57	c cleaning 10000 clauses out of 20024 with flag 371000/430723
31.77/30.18	c cleaning 10003 clauses out of 20024 with flag 381000/440723
32.48/30.87	c cleaning 9994 clauses out of 20021 with flag 391000/450723
33.17/31.56	c cleaning 10006 clauses out of 20027 with flag 401000/460723
33.87/32.27	c cleaning 9989 clauses out of 20021 with flag 411000/470723
34.47/32.87	c cleaning 10003 clauses out of 20032 with flag 421000/480723
35.17/33.54	c cleaning 9995 clauses out of 20029 with flag 431000/490723
35.87/34.24	c cleaning 10000 clauses out of 20034 with flag 441000/500723
36.57/34.93	c cleaning 9997 clauses out of 20034 with flag 451000/510723
37.28/35.66	c cleaning 10006 clauses out of 20037 with flag 461000/520723
37.98/36.36	c cleaning 10004 clauses out of 20031 with flag 471000/530723
38.67/37.09	c cleaning 10001 clauses out of 20028 with flag 481001/540724
39.48/37.86	c cleaning 9999 clauses out of 20026 with flag 491000/550723
40.28/38.62	c cleaning 10001 clauses out of 20027 with flag 501000/560723
41.08/39.46	c cleaning 10002 clauses out of 20026 with flag 511000/570723
41.88/40.22	c cleaning 9997 clauses out of 20024 with flag 521000/580723
42.58/40.91	c cleaning 9987 clauses out of 20027 with flag 531000/590723
43.29/41.65	c cleaning 10006 clauses out of 20040 with flag 541000/600723
43.99/42.34	c cleaning 10011 clauses out of 20036 with flag 551002/610725
44.69/43.09	c cleaning 9990 clauses out of 20023 with flag 561000/620723
45.41/43.79	c cleaning 10010 clauses out of 20033 with flag 571000/630723
46.21/44.51	c cleaning 9982 clauses out of 20023 with flag 581000/640723
46.91/45.27	c cleaning 10008 clauses out of 20041 with flag 591000/650723
47.71/46.07	c cleaning 10007 clauses out of 20033 with flag 601000/660723
48.52/46.86	c cleaning 9996 clauses out of 20026 with flag 611000/670723
49.32/47.63	c cleaning 9995 clauses out of 20030 with flag 621000/680723
50.02/48.33	c cleaning 10008 clauses out of 20035 with flag 631000/690723
50.72/49.03	c cleaning 10003 clauses out of 20027 with flag 641000/700723
51.42/49.77	c cleaning 10008 clauses out of 20025 with flag 651001/710724
52.23/50.53	c cleaning 10003 clauses out of 20017 with flag 661001/720724
52.93/51.26	c cleaning 9993 clauses out of 20013 with flag 671000/730723
53.63/52.00	c cleaning 10002 clauses out of 20020 with flag 681000/740723
54.33/52.70	c cleaning 10003 clauses out of 20019 with flag 691001/750724
55.04/53.38	c cleaning 9998 clauses out of 20015 with flag 701000/760723
55.84/54.16	c cleaning 9997 clauses out of 20017 with flag 711000/770723
56.64/54.90	c cleaning 9989 clauses out of 20020 with flag 721000/780723
57.44/55.71	c cleaning 9996 clauses out of 20031 with flag 731000/790723
58.14/56.44	c cleaning 9998 clauses out of 20035 with flag 741000/800723
58.85/57.18	c cleaning 10009 clauses out of 20038 with flag 751001/810724
59.64/57.94	c cleaning 10001 clauses out of 20028 with flag 761000/820723
60.35/58.60	c cleaning 9997 clauses out of 20027 with flag 771000/830723
61.05/59.31	c cleaning 9996 clauses out of 20030 with flag 781000/840723
61.74/60.07	c cleaning 9995 clauses out of 20034 with flag 791000/850723
62.45/60.77	c cleaning 9997 clauses out of 20039 with flag 801000/860723
63.15/61.50	c cleaning 10006 clauses out of 20042 with flag 811000/870723
63.95/62.27	c cleaning 10003 clauses out of 20037 with flag 821001/880724
64.75/63.07	c cleaning 10007 clauses out of 20033 with flag 831000/890723
65.55/63.80	c cleaning 10000 clauses out of 20026 with flag 841000/900723
66.25/64.51	c cleaning 10007 clauses out of 20026 with flag 851000/910723
66.95/65.23	c cleaning 10005 clauses out of 20019 with flag 861000/920723
67.65/65.93	c cleaning 9994 clauses out of 20014 with flag 871000/930723
68.35/66.61	c cleaning 9982 clauses out of 20020 with flag 881000/940723
69.05/67.30	c cleaning 10006 clauses out of 20038 with flag 891000/950723
69.75/68.01	c cleaning 10003 clauses out of 20032 with flag 901000/960723
70.55/68.83	c cleaning 10003 clauses out of 20029 with flag 911000/970723
71.35/69.64	c cleaning 10000 clauses out of 20028 with flag 921002/980725
72.06/70.33	c cleaning 9994 clauses out of 20026 with flag 931000/990723
72.76/71.08	c cleaning 10002 clauses out of 20033 with flag 941001/1000724
73.56/71.83	c cleaning 9996 clauses out of 20030 with flag 951000/1010723
74.37/72.61	c cleaning 10001 clauses out of 20034 with flag 961000/1020723
75.06/73.39	c cleaning 10000 clauses out of 20033 with flag 971000/1030723
75.76/74.07	c cleaning 10000 clauses out of 20033 with flag 981000/1040723
76.67/74.90	c cleaning 10005 clauses out of 20033 with flag 991000/1050723
77.47/75.72	c cleaning 9995 clauses out of 20031 with flag 1001003/1060726
78.27/76.54	c cleaning 9998 clauses out of 20033 with flag 1011000/1070723
79.07/77.31	c cleaning 10001 clauses out of 20035 with flag 1021000/1080723
79.88/78.13	c cleaning 10001 clauses out of 20035 with flag 1031001/1090724
80.57/78.90	c cleaning 10007 clauses out of 20033 with flag 1041000/1100723
81.47/79.72	c cleaning 9998 clauses out of 20026 with flag 1051000/1110723
82.18/80.49	c cleaning 9996 clauses out of 20028 with flag 1061000/1120723
83.08/81.31	c cleaning 10009 clauses out of 20032 with flag 1071000/1130723
83.88/82.18	c cleaning 10000 clauses out of 20023 with flag 1081000/1140723
84.78/83.06	c cleaning 9998 clauses out of 20024 with flag 1091001/1150724
85.59/83.83	c cleaning 9988 clauses out of 20026 with flag 1101001/1160724
86.39/84.64	c cleaning 9994 clauses out of 20037 with flag 1111000/1170723
87.19/85.43	c cleaning 9986 clauses out of 20043 with flag 1121000/1180723
87.79/86.08	c cleaning 10023 clauses out of 20058 with flag 1131001/1190724
88.39/86.67	c cleaning 10000 clauses out of 20034 with flag 1141000/1200723
89.09/87.35	c cleaning 10005 clauses out of 20034 with flag 1151000/1210723
89.80/88.06	c cleaning 10000 clauses out of 20029 with flag 1161000/1220723
90.50/88.73	c cleaning 10002 clauses out of 20030 with flag 1171001/1230724
91.20/89.43	c cleaning 9999 clauses out of 20028 with flag 1181001/1240724
91.91/90.19	c cleaning 9998 clauses out of 20028 with flag 1191000/1250723
92.60/90.85	c cleaning 10001 clauses out of 20030 with flag 1201000/1260723
93.20/91.44	c cleaning 9994 clauses out of 20029 with flag 1211000/1270723
93.90/92.10	c cleaning 9990 clauses out of 20035 with flag 1221000/1280723
94.50/92.76	c cleaning 10004 clauses out of 20045 with flag 1231000/1290723
95.21/93.50	c cleaning 10007 clauses out of 20041 with flag 1241000/1300723
95.91/94.11	c cleaning 10003 clauses out of 20034 with flag 1251000/1310723
96.51/94.78	c cleaning 10000 clauses out of 20032 with flag 1261001/1320724
97.21/95.42	c cleaning 10006 clauses out of 20032 with flag 1271001/1330724
97.81/96.03	c cleaning 10001 clauses out of 20025 with flag 1281000/1340723
98.41/96.67	c cleaning 10002 clauses out of 20024 with flag 1291000/1350723
99.11/97.33	c cleaning 10004 clauses out of 20023 with flag 1301001/1360724
99.72/97.97	c cleaning 10001 clauses out of 20020 with flag 1311002/1370725
100.41/98.64	c cleaning 9992 clauses out of 20018 with flag 1321001/1380724
101.02/99.24	c cleaning 10004 clauses out of 20025 with flag 1331000/1390723
101.62/99.88	c cleaning 9994 clauses out of 20021 with flag 1341000/1400723
102.33/100.51	c cleaning 10008 clauses out of 20029 with flag 1351002/1410725
102.93/101.15	c cleaning 10004 clauses out of 20019 with flag 1361000/1420723
103.63/101.83	c cleaning 9990 clauses out of 20015 with flag 1371000/1430723
104.23/102.42	c cleaning 9996 clauses out of 20025 with flag 1381000/1440723
104.83/103.01	c cleaning 9998 clauses out of 20029 with flag 1391000/1450723
105.53/103.70	c cleaning 10011 clauses out of 20031 with flag 1401000/1460723
106.24/104.41	c cleaning 9994 clauses out of 20020 with flag 1411000/1470723
106.83/105.09	c cleaning 9975 clauses out of 20026 with flag 1421000/1480723
107.54/105.70	c cleaning 10001 clauses out of 20051 with flag 1431000/1490723
108.14/106.35	c cleaning 10018 clauses out of 20051 with flag 1441001/1500724
108.74/106.97	c cleaning 9996 clauses out of 20032 with flag 1451000/1510723
109.44/107.70	c cleaning 9999 clauses out of 20037 with flag 1461001/1520724
110.14/108.40	c cleaning 10003 clauses out of 20037 with flag 1471000/1530723
110.84/109.00	c cleaning 10010 clauses out of 20034 with flag 1481000/1540723
111.44/109.67	c cleaning 9980 clauses out of 20024 with flag 1491000/1550723
112.14/110.31	c cleaning 10011 clauses out of 20044 with flag 1501000/1560723
112.74/110.91	c cleaning 9988 clauses out of 20033 with flag 1511000/1570723
113.34/111.54	c cleaning 10013 clauses out of 20048 with flag 1521003/1580726
114.05/112.22	c cleaning 10004 clauses out of 20033 with flag 1531001/1590724
114.54/112.78	c cleaning 10001 clauses out of 20029 with flag 1541001/1600724
115.15/113.39	c cleaning 9999 clauses out of 20027 with flag 1551000/1610723
115.85/114.00	c cleaning 9998 clauses out of 20028 with flag 1561000/1620723
116.45/114.65	c cleaning 10001 clauses out of 20030 with flag 1571000/1630723
117.15/115.31	c cleaning 10000 clauses out of 20029 with flag 1581000/1640723
117.75/115.98	c cleaning 9990 clauses out of 20029 with flag 1591000/1650723
118.46/116.61	c cleaning 10002 clauses out of 20039 with flag 1601000/1660723
119.05/117.22	c cleaning 10001 clauses out of 20037 with flag 1611000/1670723
119.65/117.88	c cleaning 9996 clauses out of 20036 with flag 1621000/1680723
120.26/118.46	c cleaning 10003 clauses out of 20040 with flag 1631000/1690723
121.07/119.20	c cleaning 10010 clauses out of 20040 with flag 1641003/1700726
121.77/119.92	c cleaning 9992 clauses out of 20027 with flag 1651000/1710723
122.47/120.60	c cleaning 10003 clauses out of 20035 with flag 1661000/1720723
123.17/121.33	c cleaning 9989 clauses out of 20032 with flag 1671000/1730723
123.77/122.00	c cleaning 10005 clauses out of 20044 with flag 1681001/1740724
124.58/122.74	c cleaning 10000 clauses out of 20039 with flag 1691001/1750724
125.28/123.49	c cleaning 10003 clauses out of 20039 with flag 1701001/1760724
126.08/124.29	c cleaning 9996 clauses out of 20035 with flag 1711000/1770723
126.88/125.03	c cleaning 10003 clauses out of 20039 with flag 1721000/1780723
127.48/125.65	c cleaning 10005 clauses out of 20036 with flag 1731000/1790723
128.08/126.24	c cleaning 10008 clauses out of 20032 with flag 1741001/1800724
128.68/126.83	c cleaning 9991 clauses out of 20025 with flag 1751002/1810725
129.28/127.44	c cleaning 10001 clauses out of 20032 with flag 1761000/1820723
129.98/128.14	c cleaning 10003 clauses out of 20032 with flag 1771001/1830724
130.68/128.81	c cleaning 9994 clauses out of 20028 with flag 1781000/1840723
131.29/129.49	c cleaning 9999 clauses out of 20034 with flag 1791000/1850723
131.98/130.20	c cleaning 10000 clauses out of 20035 with flag 1801000/1860723
132.69/130.88	c cleaning 10002 clauses out of 20036 with flag 1811001/1870724
133.49/131.61	c cleaning 10007 clauses out of 20035 with flag 1821002/1880725
134.09/132.27	c cleaning 9998 clauses out of 20026 with flag 1831000/1890723
134.79/132.98	c cleaning 9998 clauses out of 20028 with flag 1841000/1900723
135.59/133.75	c cleaning 10001 clauses out of 20030 with flag 1851000/1910723
136.39/134.55	c cleaning 9993 clauses out of 20029 with flag 1861000/1920723
137.10/135.26	c cleaning 9988 clauses out of 20036 with flag 1871000/1930723
137.89/136.02	c cleaning 10009 clauses out of 20049 with flag 1881001/1940724
138.59/136.71	c cleaning 9993 clauses out of 20039 with flag 1891000/1950723
139.19/137.38	c cleaning 10006 clauses out of 20046 with flag 1901000/1960723
139.99/138.12	c cleaning 9996 clauses out of 20041 with flag 1911001/1970724
140.69/138.84	c cleaning 10018 clauses out of 20043 with flag 1921000/1980723
141.30/139.43	c cleaning 10002 clauses out of 20025 with flag 1931000/1990723
142.00/140.13	c cleaning 9989 clauses out of 20023 with flag 1941000/2000723
142.80/140.90	c cleaning 10010 clauses out of 20034 with flag 1951000/2010723
143.40/141.55	c cleaning 10000 clauses out of 20025 with flag 1961001/2020724
144.10/142.24	c cleaning 9984 clauses out of 20026 with flag 1971002/2030725
144.81/142.94	c cleaning 10003 clauses out of 20040 with flag 1981000/2040723
145.50/143.63	c cleaning 10012 clauses out of 20037 with flag 1991000/2050723
146.10/144.25	c cleaning 10004 clauses out of 20025 with flag 2001000/2060723
146.91/145.06	c cleaning 9987 clauses out of 20021 with flag 2011000/2070723
147.71/145.89	c cleaning 10002 clauses out of 20034 with flag 2021000/2080723
148.61/146.72	c cleaning 10008 clauses out of 20035 with flag 2031003/2090726
149.32/147.49	c cleaning 9995 clauses out of 20025 with flag 2041001/2100724
150.11/148.24	c cleaning 9996 clauses out of 20030 with flag 2051001/2110724
150.91/149.07	c cleaning 10006 clauses out of 20035 with flag 2061002/2120725
151.71/149.84	c cleaning 10002 clauses out of 20027 with flag 2071000/2130723
152.42/150.59	c cleaning 9991 clauses out of 20025 with flag 2081000/2140723
153.22/151.30	c cleaning 10005 clauses out of 20035 with flag 2091001/2150724
153.92/152.02	c cleaning 9997 clauses out of 20029 with flag 2101000/2160723
154.62/152.73	c cleaning 9992 clauses out of 20032 with flag 2111000/2170723
155.32/153.42	c cleaning 10010 clauses out of 20042 with flag 2121002/2180725
155.93/154.08	c cleaning 9984 clauses out of 20030 with flag 2131000/2190723
156.72/154.83	c cleaning 10010 clauses out of 20046 with flag 2141000/2200723
157.32/155.49	c cleaning 10004 clauses out of 20037 with flag 2151001/2210724
157.92/156.10	c cleaning 10011 clauses out of 20032 with flag 2161000/2220723
158.63/156.74	c cleaning 9988 clauses out of 20021 with flag 2171000/2230723
159.24/157.37	c cleaning 10013 clauses out of 20033 with flag 2181000/2240723
159.83/158.00	c cleaning 9988 clauses out of 20020 with flag 2191000/2250723
160.43/158.55	c cleaning 10017 clauses out of 20035 with flag 2201003/2260726
161.03/159.17	c cleaning 9998 clauses out of 20015 with flag 2211000/2270723
161.73/159.85	c cleaning 10001 clauses out of 20019 with flag 2221002/2280725
162.34/160.48	c cleaning 9998 clauses out of 20016 with flag 2231000/2290723
163.04/161.18	c cleaning 9991 clauses out of 20018 with flag 2241000/2300723
163.74/161.80	c cleaning 10005 clauses out of 20031 with flag 2251004/2310727
164.34/162.49	c cleaning 9996 clauses out of 20022 with flag 2261000/2320723
165.04/163.19	c cleaning 9997 clauses out of 20027 with flag 2271001/2330724
165.64/163.78	c cleaning 10006 clauses out of 20029 with flag 2281000/2340723
166.34/164.47	c cleaning 10003 clauses out of 20023 with flag 2291000/2350723
167.05/165.15	c cleaning 10004 clauses out of 20020 with flag 2301000/2360723
167.75/165.81	c cleaning 9996 clauses out of 20016 with flag 2311000/2370723
168.45/166.51	c cleaning 9998 clauses out of 20021 with flag 2321001/2380724
169.15/167.27	c cleaning 10002 clauses out of 20022 with flag 2331000/2390723
169.85/167.98	c cleaning 9999 clauses out of 20020 with flag 2341000/2400723
170.65/168.75	c cleaning 9995 clauses out of 20021 with flag 2351000/2410723
171.35/169.47	c cleaning 10003 clauses out of 20027 with flag 2361001/2420724
172.05/170.12	c cleaning 9988 clauses out of 20025 with flag 2371002/2430725
172.65/170.79	c cleaning 10007 clauses out of 20035 with flag 2381000/2440723
173.35/171.45	c cleaning 9991 clauses out of 20028 with flag 2391000/2450723
173.95/172.09	c cleaning 10007 clauses out of 20039 with flag 2401002/2460725
174.66/172.78	c cleaning 9993 clauses out of 20030 with flag 2411000/2470723
175.36/173.44	c cleaning 10005 clauses out of 20037 with flag 2421000/2480723
176.06/174.13	c cleaning 9984 clauses out of 20032 with flag 2431000/2490723
176.76/174.82	c cleaning 10007 clauses out of 20048 with flag 2441000/2500723
177.46/175.51	c cleaning 10001 clauses out of 20041 with flag 2451000/2510723
178.16/176.25	c cleaning 10009 clauses out of 20040 with flag 2461000/2520723
178.96/177.04	c cleaning 9997 clauses out of 20031 with flag 2471000/2530723
179.76/177.80	c cleaning 10002 clauses out of 20034 with flag 2481000/2540723
180.46/178.52	c cleaning 9994 clauses out of 20032 with flag 2491000/2550723
181.27/179.31	c cleaning 10007 clauses out of 20038 with flag 2501000/2560723
181.96/180.04	c cleaning 10003 clauses out of 20034 with flag 2511003/2570726
182.76/180.84	c cleaning 10005 clauses out of 20031 with flag 2521003/2580726
183.56/181.61	c cleaning 10003 clauses out of 20023 with flag 2531000/2590723
184.36/182.45	c cleaning 10007 clauses out of 20021 with flag 2541001/2600724
185.17/183.26	c cleaning 9992 clauses out of 20013 with flag 2551000/2610723
185.97/184.03	c cleaning 9998 clauses out of 20021 with flag 2561000/2620723
186.77/184.84	c cleaning 10000 clauses out of 20023 with flag 2571000/2630723
187.57/185.60	c cleaning 9994 clauses out of 20023 with flag 2581000/2640723
188.27/186.33	c cleaning 10007 clauses out of 20029 with flag 2591000/2650723
188.98/187.06	c cleaning 9984 clauses out of 20022 with flag 2601000/2660723
189.67/187.75	c cleaning 10007 clauses out of 20038 with flag 2611000/2670723
190.37/188.46	c cleaning 10005 clauses out of 20031 with flag 2621000/2680723
191.18/189.21	c cleaning 9993 clauses out of 20026 with flag 2631000/2690723
191.88/189.99	c cleaning 10003 clauses out of 20033 with flag 2641000/2700723
192.69/190.72	c cleaning 10006 clauses out of 20030 with flag 2651000/2710723
193.29/191.35	c cleaning 9995 clauses out of 20024 with flag 2661000/2720723
193.99/192.00	c cleaning 9997 clauses out of 20030 with flag 2671001/2730724
194.59/192.64	c cleaning 10001 clauses out of 20033 with flag 2681001/2740724
195.19/193.27	c cleaning 9999 clauses out of 20031 with flag 2691000/2750723
195.89/193.97	c cleaning 9993 clauses out of 20032 with flag 2701000/2760723
196.60/194.70	c cleaning 9987 clauses out of 20040 with flag 2711001/2770724
197.39/195.40	c cleaning 10015 clauses out of 20054 with flag 2721002/2780725
198.09/196.14	c cleaning 10000 clauses out of 20037 with flag 2731000/2790723
198.90/196.92	c cleaning 10003 clauses out of 20037 with flag 2741000/2800723
199.60/197.61	c cleaning 9991 clauses out of 20034 with flag 2751000/2810723
200.30/198.37	c cleaning 10003 clauses out of 20045 with flag 2761002/2820725
201.00/199.07	c cleaning 10006 clauses out of 20040 with flag 2771000/2830723
201.80/199.82	c cleaning 9999 clauses out of 20034 with flag 2781000/2840723
202.60/200.64	c cleaning 10006 clauses out of 20035 with flag 2791000/2850723
203.40/201.47	c cleaning 10001 clauses out of 20029 with flag 2801000/2860723
204.20/202.25	c cleaning 10000 clauses out of 20028 with flag 2811000/2870723
205.00/203.01	c cleaning 10006 clauses out of 20028 with flag 2821000/2880723
205.71/203.78	c cleaning 9994 clauses out of 20022 with flag 2831000/2890723
206.41/204.46	c cleaning 9999 clauses out of 20030 with flag 2841002/2900725
207.11/205.11	c cleaning 10002 clauses out of 20030 with flag 2851001/2910724
207.72/205.79	c cleaning 10001 clauses out of 20027 with flag 2861000/2920723
208.41/206.45	c cleaning 9987 clauses out of 20026 with flag 2871000/2930723
209.11/207.13	c cleaning 9997 clauses out of 20039 with flag 2881000/2940723
209.71/207.79	c cleaning 9990 clauses out of 20042 with flag 2891000/2950723
210.51/208.52	c cleaning 10005 clauses out of 20052 with flag 2901000/2960723
211.21/209.26	c cleaning 10002 clauses out of 20047 with flag 2911000/2970723
211.91/209.94	c cleaning 10004 clauses out of 20046 with flag 2921001/2980724
212.61/210.66	c cleaning 10004 clauses out of 20041 with flag 2931000/2990723
213.32/211.37	c cleaning 10006 clauses out of 20038 with flag 2941001/3000724
214.02/212.06	c cleaning 9997 clauses out of 20032 with flag 2951001/3010724
214.82/212.84	c cleaning 10007 clauses out of 20039 with flag 2961005/3020728
215.62/213.60	c cleaning 9990 clauses out of 20027 with flag 2971000/3030723
216.32/214.33	c cleaning 10005 clauses out of 20037 with flag 2981000/3040723
217.02/215.04	c cleaning 9994 clauses out of 20032 with flag 2991000/3050723
217.72/215.74	c cleaning 9999 clauses out of 20039 with flag 3001001/3060724
218.43/216.44	c cleaning 10000 clauses out of 20039 with flag 3011000/3070723
219.23/217.23	c cleaning 10006 clauses out of 20040 with flag 3021001/3080724
219.93/217.96	c cleaning 9995 clauses out of 20033 with flag 3031000/3090723
220.73/218.74	c cleaning 10000 clauses out of 20040 with flag 3041002/3100725
221.53/219.51	c cleaning 10013 clauses out of 20038 with flag 3051000/3110723
222.23/220.23	c cleaning 9999 clauses out of 20025 with flag 3061000/3120723
223.04/221.08	c cleaning 9991 clauses out of 20026 with flag 3071000/3130723
223.93/221.90	c cleaning 10001 clauses out of 20035 with flag 3081000/3140723
224.73/222.75	c cleaning 10003 clauses out of 20033 with flag 3091000/3150723
225.43/223.46	c cleaning 9989 clauses out of 20030 with flag 3101000/3160723
226.14/224.16	c cleaning 9994 clauses out of 20041 with flag 3111000/3170723
226.94/224.90	c cleaning 9995 clauses out of 20047 with flag 3121000/3180723
227.64/225.64	c cleaning 10020 clauses out of 20055 with flag 3131003/3190726
228.24/226.24	c cleaning 9999 clauses out of 20032 with flag 3141000/3200723
228.95/226.98	c cleaning 9992 clauses out of 20033 with flag 3151000/3210723
229.65/227.65	c cleaning 10005 clauses out of 20041 with flag 3161000/3220723
230.45/228.45	c cleaning 10001 clauses out of 20036 with flag 3171000/3230723
231.25/229.23	c cleaning 10007 clauses out of 20035 with flag 3181000/3240723
231.95/229.96	c cleaning 9993 clauses out of 20028 with flag 3191000/3250723
232.65/230.70	c cleaning 9998 clauses out of 20036 with flag 3201001/3260724
233.45/231.47	c cleaning 10003 clauses out of 20038 with flag 3211001/3270724
234.25/232.27	c cleaning 10003 clauses out of 20034 with flag 3221000/3280723
235.06/233.10	c cleaning 10008 clauses out of 20031 with flag 3231000/3290723
235.86/233.82	c cleaning 10005 clauses out of 20024 with flag 3241001/3300724
236.46/234.46	c cleaning 9988 clauses out of 20018 with flag 3251000/3310723
237.16/235.16	c cleaning 9999 clauses out of 20030 with flag 3261000/3320723
237.96/235.93	c cleaning 9991 clauses out of 20031 with flag 3271000/3330723
238.66/236.64	c cleaning 10010 clauses out of 20042 with flag 3281002/3340725
239.47/237.40	c cleaning 10006 clauses out of 20032 with flag 3291002/3350725
240.17/238.11	c cleaning 9996 clauses out of 20025 with flag 3301001/3360724
240.87/238.83	c cleaning 9992 clauses out of 20028 with flag 3311000/3370723
241.57/239.57	c cleaning 9995 clauses out of 20037 with flag 3321001/3380724
242.27/240.29	c cleaning 10000 clauses out of 20042 with flag 3331001/3390724
243.08/241.01	c cleaning 10004 clauses out of 20041 with flag 3341000/3400723
243.87/241.83	c cleaning 10011 clauses out of 20037 with flag 3351000/3410723
244.68/242.62	c cleaning 9994 clauses out of 20026 with flag 3361000/3420723
245.48/243.42	c cleaning 10001 clauses out of 20032 with flag 3371000/3430723
246.08/244.09	c cleaning 10009 clauses out of 20031 with flag 3381000/3440723
246.78/244.72	c cleaning 9995 clauses out of 20022 with flag 3391000/3450723
247.48/245.43	c cleaning 9995 clauses out of 20027 with flag 3401000/3460723
248.08/246.10	c cleaning 9996 clauses out of 20032 with flag 3411000/3470723
248.88/246.85	c cleaning 10002 clauses out of 20037 with flag 3421001/3480724
249.59/247.54	c cleaning 10015 clauses out of 20034 with flag 3431000/3490723
250.28/248.20	c cleaning 10004 clauses out of 20021 with flag 3441002/3500725
250.98/248.90	c cleaning 10001 clauses out of 20016 with flag 3451001/3510724
251.70/249.65	c cleaning 10001 clauses out of 20014 with flag 3461000/3520723
252.50/250.41	c cleaning 9989 clauses out of 20013 with flag 3471000/3530723
253.20/251.12	c cleaning 9990 clauses out of 20024 with flag 3481000/3540723
253.80/251.79	c cleaning 10008 clauses out of 20034 with flag 3491000/3550723
254.50/252.45	c cleaning 9996 clauses out of 20026 with flag 3501000/3560723
255.11/253.08	c cleaning 10015 clauses out of 20031 with flag 3511001/3570724
255.91/253.84	c cleaning 9996 clauses out of 20015 with flag 3521000/3580723
256.61/254.52	c cleaning 10003 clauses out of 20019 with flag 3531000/3590723
257.21/255.17	c cleaning 10002 clauses out of 20017 with flag 3541001/3600724
258.01/255.92	c cleaning 9994 clauses out of 20014 with flag 3551000/3610723
258.71/256.66	c cleaning 9992 clauses out of 20020 with flag 3561000/3620723
259.41/257.40	c cleaning 9996 clauses out of 20028 with flag 3571000/3630723
260.21/258.15	c cleaning 9998 clauses out of 20032 with flag 3581000/3640723
260.91/258.86	c cleaning 10001 clauses out of 20034 with flag 3591000/3650723
261.72/259.63	c cleaning 10004 clauses out of 20033 with flag 3601000/3660723
262.51/260.41	c cleaning 9995 clauses out of 20030 with flag 3611001/3670724
263.21/261.16	c cleaning 10005 clauses out of 20034 with flag 3621000/3680723
263.92/261.90	c cleaning 10005 clauses out of 20030 with flag 3631001/3690724
264.61/262.58	c cleaning 9995 clauses out of 20024 with flag 3641000/3700723
265.32/263.25	c cleaning 10002 clauses out of 20029 with flag 3651000/3710723
266.02/263.95	c cleaning 10002 clauses out of 20028 with flag 3661001/3720724
266.72/264.69	c cleaning 9993 clauses out of 20025 with flag 3671000/3730723
267.52/265.43	c cleaning 9993 clauses out of 20032 with flag 3681000/3740723
268.23/266.18	c cleaning 10005 clauses out of 20039 with flag 3691000/3750723
268.92/266.89	c cleaning 10006 clauses out of 20034 with flag 3701000/3760723
269.73/267.62	c cleaning 9997 clauses out of 20028 with flag 3711000/3770723
270.44/268.34	c cleaning 10004 clauses out of 20034 with flag 3721003/3780726
271.13/269.03	c cleaning 10002 clauses out of 20029 with flag 3731002/3790725
271.94/269.83	c cleaning 10005 clauses out of 20026 with flag 3741001/3800724
272.64/270.59	c cleaning 10001 clauses out of 20020 with flag 3751001/3810724
273.34/271.26	c cleaning 10000 clauses out of 20018 with flag 3761000/3820723
274.04/271.92	c cleaning 10002 clauses out of 20018 with flag 3771000/3830723
274.64/272.55	c cleaning 9996 clauses out of 20019 with flag 3781003/3840726
275.24/273.19	c cleaning 9997 clauses out of 20020 with flag 3791000/3850723
276.05/273.91	c cleaning 9993 clauses out of 20023 with flag 3801000/3860723
276.74/274.62	c cleaning 9983 clauses out of 20030 with flag 3811000/3870723
277.45/275.33	c cleaning 10013 clauses out of 20047 with flag 3821000/3880723
278.15/276.06	c cleaning 10001 clauses out of 20035 with flag 3831001/3890724
278.85/276.76	c cleaning 9993 clauses out of 20035 with flag 3841002/3900725
279.55/277.46	c cleaning 10007 clauses out of 20041 with flag 3851001/3910724
280.35/278.21	c cleaning 10000 clauses out of 20033 with flag 3861000/3920723
280.95/278.88	c cleaning 10003 clauses out of 20034 with flag 3871001/3930724
281.56/279.46	c cleaning 10006 clauses out of 20031 with flag 3881001/3940724
282.15/280.08	c cleaning 9995 clauses out of 20024 with flag 3891000/3950723
282.75/280.65	c cleaning 10006 clauses out of 20030 with flag 3901001/3960724
283.35/281.26	c cleaning 10001 clauses out of 20024 with flag 3911001/3970724
283.95/281.89	c cleaning 9997 clauses out of 20022 with flag 3921000/3980723
284.65/282.52	c cleaning 10002 clauses out of 20025 with flag 3931000/3990723
285.15/283.09	c cleaning 9995 clauses out of 20026 with flag 3941003/4000726
285.76/283.68	c cleaning 9993 clauses out of 20028 with flag 3951000/4010723
286.36/284.26	c cleaning 9997 clauses out of 20035 with flag 3961000/4020723
286.96/284.89	c cleaning 9994 clauses out of 20038 with flag 3971000/4030723
287.66/285.52	c cleaning 10002 clauses out of 20044 with flag 3981000/4040723
288.26/286.18	c cleaning 9993 clauses out of 20042 with flag 3991000/4050723
288.96/286.86	c cleaning 10001 clauses out of 20049 with flag 4001000/4060723
289.76/287.60	c cleaning 10007 clauses out of 20048 with flag 4011000/4070723
290.37/288.26	c cleaning 10007 clauses out of 20041 with flag 4021000/4080723
291.06/288.98	c cleaning 9996 clauses out of 20035 with flag 4031001/4090724
291.86/289.70	c cleaning 10005 clauses out of 20038 with flag 4041000/4100723
292.47/290.33	c cleaning 9999 clauses out of 20034 with flag 4051001/4110724
293.19/291.04	c cleaning 10012 clauses out of 20035 with flag 4061002/4120725
293.80/291.66	c cleaning 10002 clauses out of 20021 with flag 4071000/4130723
294.40/292.29	c cleaning 9996 clauses out of 20019 with flag 4081000/4140723
295.10/292.98	c cleaning 9994 clauses out of 20023 with flag 4091000/4150723
295.91/293.74	c cleaning 10001 clauses out of 20030 with flag 4101001/4160724
296.60/294.46	c cleaning 9999 clauses out of 20028 with flag 4111000/4170723
297.30/295.17	c cleaning 9993 clauses out of 20032 with flag 4121003/4180726
298.01/295.89	c cleaning 10006 clauses out of 20036 with flag 4131000/4190723
298.71/296.59	c cleaning 9990 clauses out of 20031 with flag 4141001/4200724
299.51/297.30	c cleaning 10006 clauses out of 20040 with flag 4151000/4210723
300.11/297.99	c cleaning 10004 clauses out of 20034 with flag 4161000/4220723
300.81/298.60	c cleaning 9994 clauses out of 20030 with flag 4171000/4230723
301.42/299.22	c cleaning 9998 clauses out of 20036 with flag 4181000/4240723
302.01/299.88	c cleaning 10002 clauses out of 20039 with flag 4191001/4250724
302.81/300.65	c cleaning 10003 clauses out of 20037 with flag 4201001/4260724
303.62/301.41	c cleaning 10002 clauses out of 20033 with flag 4211000/4270723
304.32/302.17	c cleaning 9986 clauses out of 20031 with flag 4221000/4280723
305.22/303.00	c cleaning 10005 clauses out of 20045 with flag 4231000/4290723
305.92/303.76	c cleaning 10006 clauses out of 20040 with flag 4241000/4300723
306.62/304.45	c cleaning 9997 clauses out of 20034 with flag 4251000/4310723
307.32/305.13	c cleaning 10001 clauses out of 20037 with flag 4261000/4320723
308.03/305.82	c cleaning 9996 clauses out of 20036 with flag 4271000/4330723
308.72/306.51	c cleaning 10007 clauses out of 20040 with flag 4281000/4340723
309.42/307.23	c cleaning 9996 clauses out of 20034 with flag 4291001/4350724
310.13/307.99	c cleaning 9987 clauses out of 20038 with flag 4301001/4360724
310.83/308.67	c cleaning 10004 clauses out of 20051 with flag 4311001/4370724
311.53/309.32	c cleaning 10009 clauses out of 20046 with flag 4321000/4380723
312.13/309.92	c cleaning 9993 clauses out of 20037 with flag 4331000/4390723
312.83/310.60	c cleaning 10006 clauses out of 20046 with flag 4341002/4400725
313.54/311.30	c cleaning 10007 clauses out of 20038 with flag 4351000/4410723
314.13/311.98	c cleaning 9998 clauses out of 20031 with flag 4361000/4420723
314.83/312.69	c cleaning 9995 clauses out of 20033 with flag 4371000/4430723
315.54/313.35	c cleaning 10007 clauses out of 20039 with flag 4381001/4440724
316.24/314.04	c cleaning 10000 clauses out of 20031 with flag 4391000/4450723
316.94/314.70	c cleaning 9996 clauses out of 20031 with flag 4401000/4460723
317.64/315.43	c cleaning 9987 clauses out of 20036 with flag 4411001/4470724
318.24/316.09	c cleaning 10008 clauses out of 20048 with flag 4421000/4480723
318.95/316.80	c cleaning 10001 clauses out of 20043 with flag 4431003/4490726
319.65/317.49	c cleaning 10001 clauses out of 20040 with flag 4441001/4500724
320.35/318.12	c cleaning 10001 clauses out of 20038 with flag 4451000/4510723
320.95/318.77	c cleaning 10005 clauses out of 20037 with flag 4461000/4520723
321.65/319.40	c cleaning 10000 clauses out of 20033 with flag 4471001/4530724
322.25/320.03	c cleaning 9995 clauses out of 20033 with flag 4481001/4540724
322.85/320.67	c cleaning 9993 clauses out of 20038 with flag 4491001/4550724
323.55/321.30	c cleaning 10002 clauses out of 20044 with flag 4501000/4560723
324.05/321.88	c cleaning 10001 clauses out of 20042 with flag 4511000/4570723
324.85/322.61	c cleaning 9999 clauses out of 20042 with flag 4521001/4580724
325.45/323.26	c cleaning 10001 clauses out of 20042 with flag 4531000/4590723
326.25/324.02	c cleaning 10003 clauses out of 20041 with flag 4541000/4600723
326.96/324.78	c cleaning 9998 clauses out of 20038 with flag 4551000/4610723
327.76/325.54	c cleaning 9996 clauses out of 20042 with flag 4561002/4620725
328.56/326.34	c cleaning 10015 clauses out of 20047 with flag 4571003/4630726
329.26/327.09	c cleaning 9990 clauses out of 20030 with flag 4581001/4640724
330.07/327.83	c cleaning 10014 clauses out of 20039 with flag 4591001/4650724
330.57/328.38	c cleaning 9999 clauses out of 20025 with flag 4601001/4660724
331.27/329.02	c cleaning 9994 clauses out of 20025 with flag 4611000/4670723
331.87/329.63	c cleaning 10003 clauses out of 20032 with flag 4621001/4680724
332.57/330.38	c cleaning 10000 clauses out of 20028 with flag 4631000/4690723
333.38/331.11	c cleaning 10005 clauses out of 20029 with flag 4641001/4700724
334.08/331.85	c cleaning 10002 clauses out of 20023 with flag 4651000/4710723
334.88/332.60	c cleaning 9992 clauses out of 20023 with flag 4661002/4720725
335.59/333.31	c cleaning 10001 clauses out of 20029 with flag 4671000/4730723
336.19/333.99	c cleaning 9993 clauses out of 20028 with flag 4681000/4740723
336.89/334.69	c cleaning 10011 clauses out of 20035 with flag 4691000/4750723
337.59/335.37	c cleaning 9994 clauses out of 20024 with flag 4701000/4760723
338.39/336.10	c cleaning 10006 clauses out of 20031 with flag 4711001/4770724
339.09/336.83	c cleaning 9988 clauses out of 20024 with flag 4721000/4780723
339.80/337.60	c cleaning 10006 clauses out of 20036 with flag 4731000/4790723
340.60/338.34	c cleaning 10009 clauses out of 20031 with flag 4741001/4800724
341.31/339.05	c cleaning 9996 clauses out of 20023 with flag 4751002/4810725
342.11/339.81	c cleaning 9998 clauses out of 20025 with flag 4761000/4820723
342.71/340.45	c cleaning 10005 clauses out of 20027 with flag 4771000/4830723
343.41/341.16	c cleaning 9996 clauses out of 20022 with flag 4781000/4840723
344.11/341.83	c cleaning 9992 clauses out of 20026 with flag 4791000/4850723
344.81/342.56	c cleaning 10002 clauses out of 20034 with flag 4801000/4860723
345.52/343.26	c cleaning 9991 clauses out of 20032 with flag 4811000/4870723
346.22/343.97	c cleaning 10002 clauses out of 20043 with flag 4821002/4880725
346.92/344.65	c cleaning 10007 clauses out of 20039 with flag 4831000/4890723
347.62/345.37	c cleaning 10003 clauses out of 20032 with flag 4841000/4900723
348.32/346.09	c cleaning 9995 clauses out of 20029 with flag 4851000/4910723
349.02/346.78	c cleaning 10008 clauses out of 20034 with flag 4861000/4920723
349.72/347.44	c cleaning 9996 clauses out of 20026 with flag 4871000/4930723
350.32/348.06	c cleaning 9995 clauses out of 20030 with flag 4881000/4940723
350.93/348.63	c cleaning 10000 clauses out of 20036 with flag 4891001/4950724
351.52/349.25	c cleaning 10008 clauses out of 20037 with flag 4901002/4960725
352.13/349.84	c cleaning 9987 clauses out of 20027 with flag 4911000/4970723
352.73/350.42	c cleaning 10001 clauses out of 20042 with flag 4921002/4980725
353.43/351.13	c cleaning 10010 clauses out of 20039 with flag 4931000/4990723
354.03/351.77	c cleaning 9996 clauses out of 20029 with flag 4941000/5000723
354.63/352.37	c cleaning 10008 clauses out of 20034 with flag 4951001/5010724
355.33/353.04	c cleaning 9994 clauses out of 20025 with flag 4961000/5020723
356.03/353.71	c cleaning 10005 clauses out of 20031 with flag 4971000/5030723
356.63/354.35	c cleaning 9994 clauses out of 20026 with flag 4981000/5040723
357.23/354.96	c cleaning 10001 clauses out of 20032 with flag 4991000/5050723
357.83/355.56	c cleaning 9996 clauses out of 20032 with flag 5001001/5060724
358.54/356.23	c cleaning 10000 clauses out of 20036 with flag 5011001/5070724
359.25/356.91	c cleaning 9998 clauses out of 20035 with flag 5021000/5080723
359.85/357.54	c cleaning 9998 clauses out of 20037 with flag 5031000/5090723
360.55/358.20	c cleaning 9984 clauses out of 20040 with flag 5041001/5100724
361.25/358.90	c cleaning 10011 clauses out of 20055 with flag 5051000/5110723
361.96/359.62	c cleaning 10013 clauses out of 20045 with flag 5061001/5120724
362.65/360.35	c cleaning 9992 clauses out of 20031 with flag 5071000/5130723
363.35/361.02	c cleaning 10009 clauses out of 20041 with flag 5081003/5140726
363.96/361.66	c cleaning 10003 clauses out of 20029 with flag 5091000/5150723
364.56/362.27	c cleaning 10001 clauses out of 20026 with flag 5101000/5160723
365.16/362.90	c cleaning 9991 clauses out of 20026 with flag 5111001/5170724
365.77/363.47	c cleaning 9993 clauses out of 20034 with flag 5121000/5180723
366.37/364.06	c cleaning 10003 clauses out of 20042 with flag 5131001/5190724
367.07/364.72	c cleaning 9990 clauses out of 20038 with flag 5141000/5200723
367.67/365.34	c cleaning 9995 clauses out of 20048 with flag 5151000/5210723
368.37/366.03	c cleaning 10005 clauses out of 20053 with flag 5161000/5220723
368.97/366.70	c cleaning 9996 clauses out of 20048 with flag 5171000/5230723
369.67/367.38	c cleaning 10002 clauses out of 20052 with flag 5181000/5240723
370.47/368.12	c cleaning 10016 clauses out of 20050 with flag 5191000/5250723
371.07/368.71	c cleaning 9997 clauses out of 20034 with flag 5201000/5260723
371.67/369.36	c cleaning 9994 clauses out of 20038 with flag 5211001/5270724
372.27/369.95	c cleaning 10005 clauses out of 20043 with flag 5221000/5280723
372.98/370.64	c cleaning 9996 clauses out of 20038 with flag 5231000/5290723
373.57/371.26	c cleaning 10009 clauses out of 20042 with flag 5241000/5300723
374.18/371.88	c cleaning 10000 clauses out of 20033 with flag 5251000/5310723
374.88/372.52	c cleaning 9999 clauses out of 20033 with flag 5261000/5320723
375.48/373.11	c cleaning 9992 clauses out of 20034 with flag 5271000/5330723
375.98/373.66	c cleaning 9997 clauses out of 20043 with flag 5281001/5340724
376.58/374.27	c cleaning 10004 clauses out of 20045 with flag 5291000/5350723
377.28/374.94	c cleaning 9998 clauses out of 20042 with flag 5301001/5360724
377.88/375.55	c cleaning 9999 clauses out of 20043 with flag 5311000/5370723
378.48/376.19	c cleaning 10002 clauses out of 20044 with flag 5321000/5380723
379.18/376.85	c cleaning 10000 clauses out of 20045 with flag 5331003/5390726
379.88/377.60	c cleaning 10013 clauses out of 20042 with flag 5341000/5400723
380.69/378.32	c cleaning 9994 clauses out of 20029 with flag 5351000/5410723
381.39/379.02	c cleaning 10012 clauses out of 20035 with flag 5361000/5420723
381.99/379.66	c cleaning 9993 clauses out of 20023 with flag 5371000/5430723
382.59/380.26	c cleaning 10010 clauses out of 20031 with flag 5381001/5440724
383.29/380.94	c cleaning 9989 clauses out of 20021 with flag 5391001/5450724
383.89/381.50	c cleaning 10006 clauses out of 20035 with flag 5401004/5460727
384.40/382.08	c cleaning 9999 clauses out of 20025 with flag 5411000/5470723
385.00/382.65	c cleaning 9993 clauses out of 20026 with flag 5421000/5480723
385.61/383.23	c cleaning 9992 clauses out of 20034 with flag 5431001/5490724
386.21/383.84	c cleaning 9997 clauses out of 20041 with flag 5441000/5500723
386.91/384.50	c cleaning 9989 clauses out of 20044 with flag 5451000/5510723
387.51/385.14	c cleaning 10003 clauses out of 20056 with flag 5461001/5520724
388.21/385.83	c cleaning 10015 clauses out of 20052 with flag 5471000/5530723
388.91/386.53	c cleaning 10011 clauses out of 20037 with flag 5481000/5540723
389.51/387.19	c cleaning 9999 clauses out of 20026 with flag 5491000/5550723
390.21/387.83	c cleaning 10004 clauses out of 20029 with flag 5501002/5560725
390.81/388.49	c cleaning 9999 clauses out of 20023 with flag 5511000/5570723
391.51/389.13	c cleaning 10004 clauses out of 20025 with flag 5521001/5580724
392.01/389.69	c cleaning 9998 clauses out of 20020 with flag 5531000/5590723
392.71/390.30	c cleaning 9994 clauses out of 20022 with flag 5541000/5600723
393.21/390.85	c cleaning 9994 clauses out of 20028 with flag 5551000/5610723
393.71/391.36	c cleaning 9991 clauses out of 20034 with flag 5561000/5620723
394.42/392.01	c cleaning 10004 clauses out of 20044 with flag 5571001/5630724
395.02/392.66	c cleaning 10017 clauses out of 20041 with flag 5581002/5640725
395.71/393.30	c cleaning 9994 clauses out of 20022 with flag 5591000/5650723
396.32/393.90	c cleaning 10008 clauses out of 20028 with flag 5601000/5660723
396.92/394.53	c cleaning 10001 clauses out of 20020 with flag 5611000/5670723
397.62/395.20	c cleaning 9983 clauses out of 20019 with flag 5621000/5680723
398.22/395.81	c cleaning 10002 clauses out of 20036 with flag 5631000/5690723
398.82/396.41	c cleaning 10007 clauses out of 20035 with flag 5641001/5700724
399.43/397.01	c cleaning 9982 clauses out of 20027 with flag 5651000/5710723
400.12/397.76	c cleaning 10013 clauses out of 20044 with flag 5661000/5720723
400.83/398.49	c cleaning 10007 clauses out of 20031 with flag 5671000/5730723
401.53/399.11	c cleaning 10001 clauses out of 20024 with flag 5681000/5740723
402.03/399.69	c cleaning 9993 clauses out of 20023 with flag 5691000/5750723
402.63/400.28	c cleaning 9998 clauses out of 20031 with flag 5701001/5760724
403.23/400.89	c cleaning 10007 clauses out of 20032 with flag 5711000/5770723
403.84/401.45	c cleaning 10002 clauses out of 20026 with flag 5721001/5780724
404.44/402.08	c cleaning 10002 clauses out of 20025 with flag 5731002/5790725
405.14/402.76	c cleaning 9984 clauses out of 20021 with flag 5741000/5800723
405.84/403.48	c cleaning 10004 clauses out of 20037 with flag 5751000/5810723
406.64/404.22	c cleaning 9987 clauses out of 20033 with flag 5761000/5820723
407.34/404.93	c cleaning 10013 clauses out of 20045 with flag 5771000/5830723
407.94/405.54	c cleaning 10004 clauses out of 20032 with flag 5781000/5840723
408.54/406.16	c cleaning 9999 clauses out of 20028 with flag 5791000/5850723
409.15/406.79	c cleaning 10004 clauses out of 20029 with flag 5801000/5860723
409.75/407.37	c cleaning 10001 clauses out of 20025 with flag 5811000/5870723
410.45/408.01	c cleaning 9996 clauses out of 20025 with flag 5821001/5880724
411.05/408.61	c cleaning 9998 clauses out of 20031 with flag 5831003/5890726
411.75/409.33	c cleaning 10010 clauses out of 20031 with flag 5841001/5900724
412.45/410.07	c cleaning 9997 clauses out of 20020 with flag 5851000/5910723
413.16/410.79	c cleaning 9996 clauses out of 20024 with flag 5861001/5920724
413.87/411.49	c cleaning 10002 clauses out of 20027 with flag 5871000/5930723
414.56/412.20	c cleaning 9994 clauses out of 20025 with flag 5881000/5940723
415.26/412.85	c cleaning 10005 clauses out of 20031 with flag 5891000/5950723
415.86/413.49	c cleaning 10009 clauses out of 20028 with flag 5901002/5960725
416.67/414.21	c cleaning 9997 clauses out of 20017 with flag 5911000/5970723
417.27/414.87	c cleaning 9996 clauses out of 20020 with flag 5921000/5980723
417.97/415.51	c cleaning 9995 clauses out of 20024 with flag 5931000/5990723
418.57/416.18	c cleaning 9996 clauses out of 20029 with flag 5941000/6000723
419.29/416.88	c cleaning 10006 clauses out of 20033 with flag 5951000/6010723
419.98/417.54	c cleaning 9999 clauses out of 20027 with flag 5961000/6020723
420.68/418.23	c cleaning 9994 clauses out of 20028 with flag 5971000/6030723
421.28/418.86	c cleaning 10006 clauses out of 20034 with flag 5981000/6040723
421.98/419.56	c cleaning 10002 clauses out of 20030 with flag 5991002/6050725
422.69/420.23	c cleaning 9991 clauses out of 20026 with flag 6001000/6060723
423.29/420.86	c cleaning 9996 clauses out of 20036 with flag 6011001/6070724
423.99/421.54	c cleaning 9996 clauses out of 20040 with flag 6021001/6080724
424.68/422.27	c cleaning 10012 clauses out of 20042 with flag 6031000/6090723
425.38/422.91	c cleaning 9994 clauses out of 20030 with flag 6041000/6100723
425.99/423.55	c cleaning 9992 clauses out of 20036 with flag 6051000/6110723
426.69/424.24	c cleaning 9991 clauses out of 20044 with flag 6061000/6120723
427.39/424.98	c cleaning 10024 clauses out of 20059 with flag 6071006/6130729
428.19/425.73	c cleaning 9992 clauses out of 20029 with flag 6081000/6140723
428.89/426.46	c cleaning 9997 clauses out of 20038 with flag 6091001/6150724
429.69/427.23	c cleaning 10002 clauses out of 20041 with flag 6101001/6160724
430.30/427.90	c cleaning 10005 clauses out of 20038 with flag 6111000/6170723
430.99/428.53	c cleaning 10003 clauses out of 20033 with flag 6121000/6180723
431.59/429.14	c cleaning 10002 clauses out of 20030 with flag 6131000/6190723
432.20/429.76	c cleaning 9992 clauses out of 20028 with flag 6141000/6200723
432.80/430.39	c cleaning 10006 clauses out of 20036 with flag 6151000/6210723
433.41/430.99	c cleaning 9993 clauses out of 20032 with flag 6161002/6220725
434.21/431.74	c cleaning 10007 clauses out of 20039 with flag 6171002/6230725
434.91/432.42	c cleaning 10002 clauses out of 20030 with flag 6181000/6240723
435.61/433.11	c cleaning 9993 clauses out of 20028 with flag 6191000/6250723
436.31/433.80	c cleaning 9994 clauses out of 20036 with flag 6201001/6260724
436.81/434.38	c cleaning 10004 clauses out of 20043 with flag 6211002/6270725
437.51/435.09	c cleaning 9979 clauses out of 20037 with flag 6221000/6280723
438.31/435.81	c cleaning 10006 clauses out of 20058 with flag 6231001/6290724
438.92/436.49	c cleaning 10004 clauses out of 20051 with flag 6241000/6300723
439.62/437.14	c cleaning 10009 clauses out of 20047 with flag 6251000/6310723
440.22/437.70	c cleaning 9993 clauses out of 20038 with flag 6261000/6320723
440.82/438.32	c cleaning 9996 clauses out of 20045 with flag 6271000/6330723
441.52/439.06	c cleaning 9998 clauses out of 20049 with flag 6281000/6340723
442.32/439.82	c cleaning 9999 clauses out of 20054 with flag 6291003/6350726
443.02/440.59	c cleaning 10003 clauses out of 20052 with flag 6301000/6360723
443.72/441.23	c cleaning 10009 clauses out of 20049 with flag 6311000/6370723
444.42/441.99	c cleaning 10004 clauses out of 20041 with flag 6321001/6380724
445.22/442.72	c cleaning 9986 clauses out of 20036 with flag 6331000/6390723
445.83/443.36	c cleaning 9981 clauses out of 20050 with flag 6341000/6400723
446.52/444.06	c cleaning 10013 clauses out of 20069 with flag 6351000/6410723
447.22/444.75	c cleaning 9995 clauses out of 20056 with flag 6361000/6420723
447.82/445.33	c cleaning 9998 clauses out of 20061 with flag 6371000/6430723
448.52/446.07	c cleaning 9959 clauses out of 20064 with flag 6381001/6440724
449.23/446.78	c cleaning 9982 clauses out of 20104 with flag 6391000/6450723
449.93/447.45	c cleaning 9985 clauses out of 20122 with flag 6401000/6460723
450.53/448.09	c cleaning 9961 clauses out of 20137 with flag 6411000/6470723
451.24/448.77	c cleaning 9979 clauses out of 20176 with flag 6421000/6480723
451.83/449.34	c cleaning 9983 clauses out of 20197 with flag 6431000/6490723
452.54/450.06	c cleaning 9993 clauses out of 20214 with flag 6441000/6500723
453.24/450.71	c cleaning 9964 clauses out of 20222 with flag 6451001/6510724
453.84/451.34	c cleaning 10000 clauses out of 20258 with flag 6461001/6520724
454.65/452.13	c cleaning 9964 clauses out of 20258 with flag 6471001/6530724
455.34/452.84	c cleaning 9934 clauses out of 20292 with flag 6481000/6540723
456.05/453.54	c cleaning 9969 clauses out of 20358 with flag 6491000/6550723
456.65/454.19	c cleaning 9979 clauses out of 20391 with flag 6501002/6560725
457.35/454.85	c cleaning 9987 clauses out of 20410 with flag 6511000/6570723
457.95/455.44	c cleaning 9984 clauses out of 20427 with flag 6521004/6580727
458.55/456.02	c cleaning 10002 clauses out of 20442 with flag 6531003/6590726
459.25/456.79	c cleaning 9985 clauses out of 20437 with flag 6541000/6600723
460.05/457.58	c cleaning 9995 clauses out of 20454 with flag 6551002/6610725
460.85/458.33	c cleaning 9984 clauses out of 20457 with flag 6561000/6620723
461.55/459.04	c cleaning 9988 clauses out of 20473 with flag 6571000/6630723
462.15/459.66	c cleaning 9998 clauses out of 20485 with flag 6581000/6640723
462.75/460.28	c cleaning 9981 clauses out of 20487 with flag 6591000/6650723
463.46/460.98	c cleaning 9991 clauses out of 20506 with flag 6601000/6660723
464.25/461.71	c cleaning 9980 clauses out of 20515 with flag 6611000/6670723
464.86/462.31	c cleaning 9991 clauses out of 20535 with flag 6621000/6680723
465.56/463.06	c cleaning 9984 clauses out of 20546 with flag 6631002/6690725
466.26/463.76	c cleaning 10000 clauses out of 20562 with flag 6641002/6700725
466.96/464.48	c cleaning 9955 clauses out of 20560 with flag 6651000/6710723
467.66/465.14	c cleaning 10001 clauses out of 20605 with flag 6661000/6720723
468.26/465.78	c cleaning 9969 clauses out of 20604 with flag 6671000/6730723
468.97/466.42	c cleaning 9977 clauses out of 20635 with flag 6681000/6740723
469.67/467.14	c cleaning 9993 clauses out of 20658 with flag 6691000/6750723
470.37/467.81	c cleaning 9981 clauses out of 20665 with flag 6701000/6760723
470.98/468.44	c cleaning 9988 clauses out of 20685 with flag 6711001/6770724
471.68/469.13	c cleaning 9980 clauses out of 20696 with flag 6721000/6780723
472.29/469.77	c cleaning 9983 clauses out of 20716 with flag 6731000/6790723
472.98/470.44	c cleaning 9997 clauses out of 20734 with flag 6741001/6800724
473.69/471.13	c cleaning 9985 clauses out of 20737 with flag 6751001/6810724
474.39/471.83	c cleaning 9998 clauses out of 20752 with flag 6761001/6820724
475.09/472.51	c cleaning 9978 clauses out of 20753 with flag 6771000/6830723
475.69/473.16	c cleaning 9995 clauses out of 20777 with flag 6781002/6840725
476.49/473.94	c cleaning 9976 clauses out of 20780 with flag 6791000/6850723
477.39/474.85	c cleaning 9965 clauses out of 20804 with flag 6801000/6860723
478.19/475.68	c cleaning 9911 clauses out of 20832 with flag 6811000/6870723
478.49/475.96	c starts		: 277
478.49/475.96	c conflicts		: 6873834
478.49/475.96	c decisions		: 8427051
478.49/475.96	c propagations		: 207747993
478.49/475.96	c inspects		: 3452399782
478.49/475.96	c shortcuts		: 0
478.49/475.96	c learnt literals	: 38
478.49/475.96	c learnt binary clauses	: 451
478.49/475.96	c learnt ternary clauses	: 212065
478.49/475.96	c learnt constraints	: 6873795
478.49/475.96	c ignored constraints	: 0
478.49/475.96	c root simplifications	: 0
478.49/475.96	c removed literals (reason simplification)	: 261663791
478.49/475.96	c reason swapping (by a shorter reason)	: 0
478.49/475.96	c Calls to reduceDB	: 690
478.49/475.96	c number of reductions to clauses (during analyze)	: 0
478.49/475.96	c number of learned constraints concerned by reduction	: 0
478.49/475.96	c number of learning phase by resolution	: 0
478.49/475.96	c number of learning phase by cutting planes	: 0
478.49/475.96	c speed (assignments/second)	: 441163.776865594
478.49/475.96	c non guided choices	0
478.49/475.96	c learnt constraints type 
478.49/475.96	c constraints type 
478.49/475.96	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1498
478.49/475.96	c org.sat4j.minisat.constraints.card.MinWatchCard => 102
478.49/475.96	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50
478.49/475.96	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1498
478.49/475.96	s OPTIMUM FOUND
478.49/475.96	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 
478.49/475.96	c objective function=-6
478.49/475.96	c Total wall clock time (in seconds): 475.85

Verifier Data 

OK	-6

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-3458430-1307644568/watcher-3458430-1307644568 -o /tmp/evaluation-result-3458430-1307644568/solver-3458430-1307644568 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458430-1307644568.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 3039
/proc/meminfo: memFree=31354340/32951124 swapFree=67060628/67111528
[pid=3039] ppid=3037 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/3039/stat : 3039 (java) S 3037 3039 787 0 -1 4202496 426 0 0 0 0 0 0 0 25 0 1 0 876057213 9318400 172 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253635935879 0 2147483391 4096 0 18446744071699199166 0 0 17 2 0 0 0
/proc/3039/statm: 2275 172 132 9 0 67 0

[startup+0.027724 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 3039
/proc/meminfo: memFree=31354340/32951124 swapFree=67060628/67111528
[pid=3039] ppid=3037 vsize=13527508 CPUtime=0.02 cores=0,2,4,6
/proc/3039/stat : 3039 (java) S 3037 3039 787 0 -1 4202496 12343 0 1 0 1 1 0 0 25 0 3 0 876057213 13852168192 12045 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/3039/statm: 3381877 12045 928 9 0 3373033 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13527508

[startup+0.100803 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 3039
/proc/meminfo: memFree=31354340/32951124 swapFree=67060628/67111528
[pid=3039] ppid=3037 vsize=13622052 CPUtime=0.1 cores=0,2,4,6
/proc/3039/stat : 3039 (java) S 3037 3039 787 0 -1 4202496 15519 0 1 0 8 2 0 0 25 0 18 0 876057213 13948981248 15185 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3039/statm: 3405513 15186 2093 9 0 3396247 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622052

[startup+0.307809 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 3039
/proc/meminfo: memFree=31354340/32951124 swapFree=67060628/67111528
[pid=3039] ppid=3037 vsize=13625496 CPUtime=0.37 cores=0,2,4,6
/proc/3039/stat : 3039 (java) S 3037 3039 787 0 -1 4202496 18048 0 1 0 35 2 0 0 25 0 18 0 876057213 13952507904 17481 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3039/statm: 3406374 17481 2196 9 0 3397108 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 13625496

[startup+0.700749 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 3039
/proc/meminfo: memFree=31354340/32951124 swapFree=67060628/67111528
[pid=3039] ppid=3037 vsize=13626332 CPUtime=1.05 cores=0,2,4,6
/proc/3039/stat : 3039 (java) S 3037 3039 787 0 -1 4202496 19683 0 1 0 102 3 0 0 25 0 19 0 876057213 13953363968 18682 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3039/statm: 3406583 18682 2230 9 0 3397317 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 13626332

[startup+1.50157 s]
/proc/loadavg: 2.00 2.00 2.00 4/211 3058
/proc/meminfo: memFree=31269028/32951124 swapFree=67060628/67111528
[pid=3039] ppid=3037 vsize=13626200 CPUtime=2.16 cores=0,2,4,6
/proc/3039/stat : 3039 (java) S 3037 3039 787 0 -1 4202496 30017 0 1 0 212 4 0 0 25 0 19 0 876057213 13953228800 25555 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3039/statm: 3406550 25555 2264 9 0 3397284 0
[pid=3039/tid=3041] ppid=3037 vsize=13626200 CPUtime=1.4 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (java) R 3037 3039 787 0 -1 4202560 15887 0 1 0 138 2 0 0 25 0 19 0 876057213 13953228800 25555 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 46912505614749 0 4 0 16800975 0 0 0 -1 2 0 0 4
[pid=3039/tid=3042] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (java) S 3037 3039 787 0 -1 4202560 318 0 0 0 0 0 0 0 16 0 19 0 876057215 13953228800 25555 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 6 0 0 0
[pid=3039/tid=3043] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3043/stat : 3043 (java) S 3037 3039 787 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 25555 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 6 0 0 0
[pid=3039/tid=3044] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3044/stat : 3044 (java) S 3037 3039 787 0 -1 4202560 101 0 0 0 0 0 0 0 16 0 19 0 876057215 13953228800 25555 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 4 0 0 0
[pid=3039/tid=3045] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3045/stat : 3045 (java) S 3037 3039 787 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 25555 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3046] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3046/stat : 3046 (java) S 3037 3039 787 0 -1 4202560 164 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 25555 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3047] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3047/stat : 3047 (java) S 3037 3039 787 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 25555 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 4 0 0 0
[pid=3039/tid=3048] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3048/stat : 3048 (java) S 3037 3039 787 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 25555 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3049] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3049/stat : 3049 (java) S 3037 3039 787 0 -1 4202560 202 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 25555 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 4 0 0 0
[pid=3039/tid=3050] ppid=3037 vsize=13626200 CPUtime=0.03 cores=0,2,4,6
/proc/3039/task/3050/stat : 3050 (java) S 3037 3039 787 0 -1 4202560 664 0 0 0 3 0 0 0 16 0 19 0 876057217 13953228800 25555 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 0 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3051] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3051/stat : 3051 (java) S 3037 3039 787 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 876057217 13953228800 25555 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3052] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3052/stat : 3052 (java) S 3037 3039 787 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 876057217 13953228800 25555 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3053] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3053/stat : 3053 (java) S 3037 3039 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876057219 13953228800 25555 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652683185 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3054] ppid=3037 vsize=13626200 CPUtime=0.29 cores=0,2,4,6
/proc/3039/task/3054/stat : 3054 (java) S 3037 3039 787 0 -1 4202560 1608 0 0 0 29 0 0 0 18 0 19 0 876057219 13953228800 25555 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3055] ppid=3037 vsize=13626200 CPUtime=0.4 cores=0,2,4,6
/proc/3039/task/3055/stat : 3055 (java) S 3037 3039 787 0 -1 4202560 9818 0 0 0 39 1 0 0 16 0 19 0 876057219 13953228800 25555 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 4 0 0 0
[pid=3039/tid=3056] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3056/stat : 3056 (java) S 3037 3039 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876057219 13953228800 25555 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3057] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3057/stat : 3057 (java) S 3037 3039 787 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 876057219 13953228800 25555 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3058] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3058/stat : 3058 (java) S 3037 3039 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 876057248 13953228800 25555 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 13626200

[startup+3.10131 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 3058
/proc/meminfo: memFree=31259684/32951124 swapFree=67060628/67111528
[pid=3039] ppid=3037 vsize=13626200 CPUtime=3.81 cores=0,2,4,6
/proc/3039/stat : 3039 (java) S 3037 3039 787 0 -1 4202496 30319 0 1 0 377 4 0 0 25 0 19 0 876057213 13953228800 25855 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3039/statm: 3406550 25855 2264 9 0 3397284 0
[pid=3039/tid=3041] ppid=3037 vsize=13626200 CPUtime=2.96 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (java) R 3037 3039 787 0 -1 4202560 15889 0 1 0 294 2 0 0 25 0 19 0 876057213 13953228800 25855 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 46912505574907 0 4 0 16800975 0 0 0 -1 2 0 0 4
[pid=3039/tid=3042] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (java) S 3037 3039 787 0 -1 4202560 318 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 25855 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 6 0 0 0
[pid=3039/tid=3043] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3043/stat : 3043 (java) S 3037 3039 787 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 25855 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 6 0 0 0
[pid=3039/tid=3044] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3044/stat : 3044 (java) S 3037 3039 787 0 -1 4202560 102 0 0 0 0 0 0 0 16 0 19 0 876057215 13953228800 25855 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 4 0 0 0
[pid=3039/tid=3045] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3045/stat : 3045 (java) S 3037 3039 787 0 -1 4202560 122 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 25855 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3046] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3046/stat : 3046 (java) S 3037 3039 787 0 -1 4202560 223 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 25855 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3047] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3047/stat : 3047 (java) S 3037 3039 787 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 25855 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 4 0 0 0
[pid=3039/tid=3048] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3048/stat : 3048 (java) S 3037 3039 787 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 25855 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3049] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3049/stat : 3049 (java) S 3037 3039 787 0 -1 4202560 202 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 25855 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 4 0 0 0
[pid=3039/tid=3050] ppid=3037 vsize=13626200 CPUtime=0.06 cores=0,2,4,6
/proc/3039/task/3050/stat : 3050 (java) S 3037 3039 787 0 -1 4202560 809 0 0 0 6 0 0 0 16 0 19 0 876057217 13953228800 25855 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 0 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3051] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3051/stat : 3051 (java) S 3037 3039 787 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 876057217 13953228800 25855 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3052] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3052/stat : 3052 (java) S 3037 3039 787 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 876057217 13953228800 25855 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3053] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3053/stat : 3053 (java) S 3037 3039 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876057219 13953228800 25855 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652683185 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3054] ppid=3037 vsize=13626200 CPUtime=0.3 cores=0,2,4,6
/proc/3039/task/3054/stat : 3054 (java) S 3037 3039 787 0 -1 4202560 1608 0 0 0 30 0 0 0 15 0 19 0 876057219 13953228800 25855 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3055] ppid=3037 vsize=13626200 CPUtime=0.44 cores=0,2,4,6
/proc/3039/task/3055/stat : 3055 (java) S 3037 3039 787 0 -1 4202560 9856 0 0 0 43 1 0 0 15 0 19 0 876057219 13953228800 25855 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 4 0 0 0
[pid=3039/tid=3056] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3056/stat : 3056 (java) S 3037 3039 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876057219 13953228800 25855 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3057] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3057/stat : 3057 (java) S 3037 3039 787 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 876057219 13953228800 25855 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3058] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3058/stat : 3058 (java) S 3037 3039 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 876057248 13953228800 25855 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 13626200

[startup+6.30072 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 3058
/proc/meminfo: memFree=31257200/32951124 swapFree=67060628/67111528
[pid=3039] ppid=3037 vsize=13626200 CPUtime=7.06 cores=0,2,4,6
/proc/3039/stat : 3039 (java) S 3037 3039 787 0 -1 4202496 30853 0 1 0 701 5 0 0 25 0 19 0 876057213 13953228800 26171 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3039/statm: 3406550 26171 2264 9 0 3397284 0
[pid=3039/tid=3041] ppid=3037 vsize=13626200 CPUtime=6.05 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (java) R 3037 3039 787 0 -1 4202560 15896 0 1 0 603 2 0 0 25 0 19 0 876057213 13953228800 26171 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 46912505639286 0 4 0 16800975 0 0 0 -1 2 0 0 4
[pid=3039/tid=3042] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (java) S 3037 3039 787 0 -1 4202560 320 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 26171 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 6 0 0 0
[pid=3039/tid=3043] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3043/stat : 3043 (java) S 3037 3039 787 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 26171 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 4 0 0 0
[pid=3039/tid=3044] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3044/stat : 3044 (java) S 3037 3039 787 0 -1 4202560 106 0 0 0 0 0 0 0 16 0 19 0 876057215 13953228800 26171 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 6 0 0 0
[pid=3039/tid=3045] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3045/stat : 3045 (java) S 3037 3039 787 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 26171 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 6 0 0 0
[pid=3039/tid=3046] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3046/stat : 3046 (java) S 3037 3039 787 0 -1 4202560 223 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 26171 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3047] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3047/stat : 3047 (java) S 3037 3039 787 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 26171 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 4 0 0 0
[pid=3039/tid=3048] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3048/stat : 3048 (java) S 3037 3039 787 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 26171 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3049] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3049/stat : 3049 (java) S 3037 3039 787 0 -1 4202560 208 0 0 0 0 0 0 0 15 0 19 0 876057215 13953228800 26171 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3050] ppid=3037 vsize=13626200 CPUtime=0.17 cores=0,2,4,6
/proc/3039/task/3050/stat : 3050 (java) S 3037 3039 787 0 -1 4202560 1316 0 0 0 17 0 0 0 16 0 19 0 876057217 13953228800 26171 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 0 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3051] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3051/stat : 3051 (java) S 3037 3039 787 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 876057217 13953228800 26171 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3052] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3052/stat : 3052 (java) S 3037 3039 787 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 876057217 13953228800 26171 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3053] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3053/stat : 3053 (java) S 3037 3039 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876057219 13953228800 26171 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652683185 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3054] ppid=3037 vsize=13626200 CPUtime=0.31 cores=0,2,4,6
/proc/3039/task/3054/stat : 3054 (java) S 3037 3039 787 0 -1 4202560 1608 0 0 0 31 0 0 0 15 0 19 0 876057219 13953228800 26171 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3055] ppid=3037 vsize=13626200 CPUtime=0.46 cores=0,2,4,6
/proc/3039/task/3055/stat : 3055 (java) S 3037 3039 787 0 -1 4202560 9856 0 0 0 45 1 0 0 16 0 19 0 876057219 13953228800 26171 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 4 0 0 0
[pid=3039/tid=3056] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3056/stat : 3056 (java) S 3037 3039 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876057219 13953228800 26171 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3057] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3057/stat : 3057 (java) S 3037 3039 787 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 876057219 13953228800 26171 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 4 0 16800975 18446604453935254208 0 0 -1 6 0 0 0
[pid=3039/tid=3058] ppid=3037 vsize=13626200 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3058/stat : 3058 (java) S 3037 3039 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 876057248 13953228800 26171 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 13626200

[startup+12.7016 s]

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

/proc/3039/task/3042/stat : 3042 (java) S 3037 3039 787 0 -1 4202560 353 0 0 0 20 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 6 0 0 0
[pid=3039/tid=3043] ppid=3037 vsize=13639872 CPUtime=0.22 cores=0,2,4,6
/proc/3039/task/3043/stat : 3043 (java) S 3037 3039 787 0 -1 4202560 62 0 0 0 22 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3044] ppid=3037 vsize=13639872 CPUtime=0.24 cores=0,2,4,6
/proc/3039/task/3044/stat : 3044 (java) S 3037 3039 787 0 -1 4202560 155 0 0 0 24 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3045] ppid=3037 vsize=13639872 CPUtime=0.22 cores=0,2,4,6
/proc/3039/task/3045/stat : 3045 (java) S 3037 3039 787 0 -1 4202560 155 0 0 0 22 0 0 0 16 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 6 0 0 0
[pid=3039/tid=3046] ppid=3037 vsize=13639872 CPUtime=0.21 cores=0,2,4,6
/proc/3039/task/3046/stat : 3046 (java) S 3037 3039 787 0 -1 4202560 255 0 0 0 21 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3047] ppid=3037 vsize=13639872 CPUtime=0.22 cores=0,2,4,6
/proc/3039/task/3047/stat : 3047 (java) S 3037 3039 787 0 -1 4202560 46 0 0 0 22 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3048] ppid=3037 vsize=13639872 CPUtime=0.24 cores=0,2,4,6
/proc/3039/task/3048/stat : 3048 (java) S 3037 3039 787 0 -1 4202560 40 0 0 0 24 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3049] ppid=3037 vsize=13639872 CPUtime=0.26 cores=0,2,4,6
/proc/3039/task/3049/stat : 3049 (java) S 3037 3039 787 0 -1 4202560 266 0 0 0 26 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3050] ppid=3037 vsize=13639872 CPUtime=13.87 cores=0,2,4,6
/proc/3039/task/3050/stat : 3050 (java) S 3037 3039 787 0 -1 4202560 1671 0 0 0 1377 10 0 0 15 0 19 0 876057217 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 0 0 16800975 18446604453935254208 0 0 -1 4 0 0 0
[pid=3039/tid=3051] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3051/stat : 3051 (java) S 3037 3039 787 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 876057217 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3052] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3052/stat : 3052 (java) S 3037 3039 787 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 876057217 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3053] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3053/stat : 3053 (java) S 3037 3039 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652683185 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3054] ppid=3037 vsize=13639872 CPUtime=1.14 cores=0,2,4,6
/proc/3039/task/3054/stat : 3054 (java) S 3037 3039 787 0 -1 4202560 7973 0 0 0 114 0 0 0 15 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3055] ppid=3037 vsize=13639872 CPUtime=0.55 cores=0,2,4,6
/proc/3039/task/3055/stat : 3055 (java) S 3037 3039 787 0 -1 4202560 9867 0 0 0 54 1 0 0 15 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 4 0 0 0
[pid=3039/tid=3056] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3056/stat : 3056 (java) S 3037 3039 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3057] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3057/stat : 3057 (java) S 3037 3039 787 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3058] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3058/stat : 3058 (java) S 3037 3039 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 876057248 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 476.09
Current children cumulated vsize (KiB) 13639872

[startup+475.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 3070
/proc/meminfo: memFree=31105484/32951124 swapFree=67060628/67111528
[pid=3039] ppid=3037 vsize=13639872 CPUtime=477.69 cores=0,2,4,6
/proc/3039/stat : 3039 (java) S 3037 3039 787 0 -1 4202496 38595 0 1 0 47749 20 0 0 25 0 19 0 876057213 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3039/statm: 3409968 30266 2267 9 0 3400702 0
[pid=3039/tid=3041] ppid=3037 vsize=13639872 CPUtime=460.16 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (java) R 3037 3039 787 0 -1 4202560 16577 0 1 0 46012 4 0 0 18 0 19 0 876057213 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 46912505614657 0 4 0 16800975 0 0 0 -1 4 0 0 4
[pid=3039/tid=3042] ppid=3037 vsize=13639872 CPUtime=0.2 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (java) S 3037 3039 787 0 -1 4202560 353 0 0 0 20 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 6 0 0 0
[pid=3039/tid=3043] ppid=3037 vsize=13639872 CPUtime=0.22 cores=0,2,4,6
/proc/3039/task/3043/stat : 3043 (java) S 3037 3039 787 0 -1 4202560 62 0 0 0 22 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3044] ppid=3037 vsize=13639872 CPUtime=0.25 cores=0,2,4,6
/proc/3039/task/3044/stat : 3044 (java) S 3037 3039 787 0 -1 4202560 155 0 0 0 25 0 0 0 16 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3045] ppid=3037 vsize=13639872 CPUtime=0.22 cores=0,2,4,6
/proc/3039/task/3045/stat : 3045 (java) S 3037 3039 787 0 -1 4202560 155 0 0 0 22 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 6 0 0 0
[pid=3039/tid=3046] ppid=3037 vsize=13639872 CPUtime=0.21 cores=0,2,4,6
/proc/3039/task/3046/stat : 3046 (java) S 3037 3039 787 0 -1 4202560 255 0 0 0 21 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3047] ppid=3037 vsize=13639872 CPUtime=0.22 cores=0,2,4,6
/proc/3039/task/3047/stat : 3047 (java) S 3037 3039 787 0 -1 4202560 46 0 0 0 22 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 6 0 0 0
[pid=3039/tid=3048] ppid=3037 vsize=13639872 CPUtime=0.24 cores=0,2,4,6
/proc/3039/task/3048/stat : 3048 (java) S 3037 3039 787 0 -1 4202560 40 0 0 0 24 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3049] ppid=3037 vsize=13639872 CPUtime=0.26 cores=0,2,4,6
/proc/3039/task/3049/stat : 3049 (java) S 3037 3039 787 0 -1 4202560 266 0 0 0 26 0 0 0 16 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3050] ppid=3037 vsize=13639872 CPUtime=13.91 cores=0,2,4,6
/proc/3039/task/3050/stat : 3050 (java) S 3037 3039 787 0 -1 4202560 1671 0 0 0 1381 10 0 0 15 0 19 0 876057217 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 0 0 16800975 18446604453935254208 0 0 -1 4 0 0 0
[pid=3039/tid=3051] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3051/stat : 3051 (java) S 3037 3039 787 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 876057217 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3052] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3052/stat : 3052 (java) S 3037 3039 787 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 876057217 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3053] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3053/stat : 3053 (java) S 3037 3039 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652683185 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3054] ppid=3037 vsize=13639872 CPUtime=1.14 cores=0,2,4,6
/proc/3039/task/3054/stat : 3054 (java) S 3037 3039 787 0 -1 4202560 7974 0 0 0 114 0 0 0 15 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3055] ppid=3037 vsize=13639872 CPUtime=0.55 cores=0,2,4,6
/proc/3039/task/3055/stat : 3055 (java) S 3037 3039 787 0 -1 4202560 9867 0 0 0 54 1 0 0 15 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 4 0 0 0
[pid=3039/tid=3056] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3056/stat : 3056 (java) S 3037 3039 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3057] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3057/stat : 3057 (java) S 3037 3039 787 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3058] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3058/stat : 3058 (java) S 3037 3039 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 876057248 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 477.69
Current children cumulated vsize (KiB) 13639872

[startup+475.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 3070
/proc/meminfo: memFree=31105484/32951124 swapFree=67060628/67111528
[pid=3039] ppid=3037 vsize=13639872 CPUtime=478.09 cores=0,2,4,6
/proc/3039/stat : 3039 (java) S 3037 3039 787 0 -1 4202496 38595 0 1 0 47789 20 0 0 25 0 19 0 876057213 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3039/statm: 3409968 30266 2267 9 0 3400702 0
[pid=3039/tid=3041] ppid=3037 vsize=13639872 CPUtime=460.55 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (java) R 3037 3039 787 0 -1 4202560 16577 0 1 0 46051 4 0 0 18 0 19 0 876057213 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 46912505574807 0 4 0 16800975 0 0 0 -1 4 0 0 4
[pid=3039/tid=3042] ppid=3037 vsize=13639872 CPUtime=0.2 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (java) S 3037 3039 787 0 -1 4202560 353 0 0 0 20 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 6 0 0 0
[pid=3039/tid=3043] ppid=3037 vsize=13639872 CPUtime=0.22 cores=0,2,4,6
/proc/3039/task/3043/stat : 3043 (java) S 3037 3039 787 0 -1 4202560 62 0 0 0 22 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3044] ppid=3037 vsize=13639872 CPUtime=0.25 cores=0,2,4,6
/proc/3039/task/3044/stat : 3044 (java) S 3037 3039 787 0 -1 4202560 155 0 0 0 25 0 0 0 16 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3045] ppid=3037 vsize=13639872 CPUtime=0.22 cores=0,2,4,6
/proc/3039/task/3045/stat : 3045 (java) S 3037 3039 787 0 -1 4202560 155 0 0 0 22 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 6 0 0 0
[pid=3039/tid=3046] ppid=3037 vsize=13639872 CPUtime=0.21 cores=0,2,4,6
/proc/3039/task/3046/stat : 3046 (java) S 3037 3039 787 0 -1 4202560 255 0 0 0 21 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3047] ppid=3037 vsize=13639872 CPUtime=0.22 cores=0,2,4,6
/proc/3039/task/3047/stat : 3047 (java) S 3037 3039 787 0 -1 4202560 46 0 0 0 22 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 6 0 0 0
[pid=3039/tid=3048] ppid=3037 vsize=13639872 CPUtime=0.24 cores=0,2,4,6
/proc/3039/task/3048/stat : 3048 (java) S 3037 3039 787 0 -1 4202560 40 0 0 0 24 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3049] ppid=3037 vsize=13639872 CPUtime=0.26 cores=0,2,4,6
/proc/3039/task/3049/stat : 3049 (java) S 3037 3039 787 0 -1 4202560 266 0 0 0 26 0 0 0 16 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3050] ppid=3037 vsize=13639872 CPUtime=13.91 cores=0,2,4,6
/proc/3039/task/3050/stat : 3050 (java) S 3037 3039 787 0 -1 4202560 1671 0 0 0 1381 10 0 0 15 0 19 0 876057217 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 0 0 16800975 18446604453935254208 0 0 -1 4 0 0 0
[pid=3039/tid=3051] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3051/stat : 3051 (java) S 3037 3039 787 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 876057217 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3052] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3052/stat : 3052 (java) S 3037 3039 787 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 876057217 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3053] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3053/stat : 3053 (java) S 3037 3039 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652683185 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3054] ppid=3037 vsize=13639872 CPUtime=1.14 cores=0,2,4,6
/proc/3039/task/3054/stat : 3054 (java) S 3037 3039 787 0 -1 4202560 7974 0 0 0 114 0 0 0 15 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3055] ppid=3037 vsize=13639872 CPUtime=0.55 cores=0,2,4,6
/proc/3039/task/3055/stat : 3055 (java) S 3037 3039 787 0 -1 4202560 9867 0 0 0 54 1 0 0 15 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 4 0 0 0
[pid=3039/tid=3056] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3056/stat : 3056 (java) S 3037 3039 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3057] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3057/stat : 3057 (java) S 3037 3039 787 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3058] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3058/stat : 3058 (java) S 3037 3039 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 876057248 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 478.09
Current children cumulated vsize (KiB) 13639872

[startup+475.901 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 3070
/proc/meminfo: memFree=31105484/32951124 swapFree=67060628/67111528
[pid=3039] ppid=3037 vsize=13639872 CPUtime=478.49 cores=0,2,4,6
/proc/3039/stat : 3039 (java) S 3037 3039 787 0 -1 4202496 38596 0 1 0 47829 20 0 0 25 0 19 0 876057213 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3039/statm: 3409968 30266 2267 9 0 3400702 0
[pid=3039/tid=3041] ppid=3037 vsize=13639872 CPUtime=460.93 cores=0,2,4,6
/proc/3039/task/3041/stat : 3041 (java) R 3037 3039 787 0 -1 4202560 16578 0 1 0 46089 4 0 0 18 0 19 0 876057213 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 46912505614403 0 4 0 16800975 0 0 0 -1 4 0 0 4
[pid=3039/tid=3042] ppid=3037 vsize=13639872 CPUtime=0.2 cores=0,2,4,6
/proc/3039/task/3042/stat : 3042 (java) S 3037 3039 787 0 -1 4202560 353 0 0 0 20 0 0 0 16 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 6 0 0 0
[pid=3039/tid=3043] ppid=3037 vsize=13639872 CPUtime=0.22 cores=0,2,4,6
/proc/3039/task/3043/stat : 3043 (java) S 3037 3039 787 0 -1 4202560 62 0 0 0 22 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3044] ppid=3037 vsize=13639872 CPUtime=0.25 cores=0,2,4,6
/proc/3039/task/3044/stat : 3044 (java) S 3037 3039 787 0 -1 4202560 155 0 0 0 25 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3045] ppid=3037 vsize=13639872 CPUtime=0.22 cores=0,2,4,6
/proc/3039/task/3045/stat : 3045 (java) S 3037 3039 787 0 -1 4202560 155 0 0 0 22 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3046] ppid=3037 vsize=13639872 CPUtime=0.21 cores=0,2,4,6
/proc/3039/task/3046/stat : 3046 (java) S 3037 3039 787 0 -1 4202560 255 0 0 0 21 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3047] ppid=3037 vsize=13639872 CPUtime=0.22 cores=0,2,4,6
/proc/3039/task/3047/stat : 3047 (java) S 3037 3039 787 0 -1 4202560 46 0 0 0 22 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 6 0 0 0
[pid=3039/tid=3048] ppid=3037 vsize=13639872 CPUtime=0.24 cores=0,2,4,6
/proc/3039/task/3048/stat : 3048 (java) S 3037 3039 787 0 -1 4202560 40 0 0 0 24 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3049] ppid=3037 vsize=13639872 CPUtime=0.26 cores=0,2,4,6
/proc/3039/task/3049/stat : 3049 (java) S 3037 3039 787 0 -1 4202560 266 0 0 0 26 0 0 0 15 0 19 0 876057215 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3050] ppid=3037 vsize=13639872 CPUtime=13.93 cores=0,2,4,6
/proc/3039/task/3050/stat : 3050 (java) S 3037 3039 787 0 -1 4202560 1671 0 0 0 1383 10 0 0 16 0 19 0 876057217 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 0 0 16800975 18446604453935254208 0 0 -1 4 0 0 0
[pid=3039/tid=3051] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3051/stat : 3051 (java) S 3037 3039 787 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 876057217 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3052] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3052/stat : 3052 (java) S 3037 3039 787 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 876057217 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3053] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3053/stat : 3053 (java) S 3037 3039 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652683185 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3054] ppid=3037 vsize=13639872 CPUtime=1.14 cores=0,2,4,6
/proc/3039/task/3054/stat : 3054 (java) S 3037 3039 787 0 -1 4202560 7974 0 0 0 114 0 0 0 15 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
[pid=3039/tid=3055] ppid=3037 vsize=13639872 CPUtime=0.55 cores=0,2,4,6
/proc/3039/task/3055/stat : 3055 (java) S 3037 3039 787 0 -1 4202560 9867 0 0 0 54 1 0 0 15 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 4 0 0 0
[pid=3039/tid=3056] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3056/stat : 3056 (java) S 3037 3039 787 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652675481 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3057] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3057/stat : 3057 (java) S 3037 3039 787 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 876057219 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 4 0 16800975 18446604453935254208 0 0 -1 2 0 0 0
[pid=3039/tid=3058] ppid=3037 vsize=13639872 CPUtime=0 cores=0,2,4,6
/proc/3039/task/3058/stat : 3058 (java) S 3037 3039 787 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 876057248 13967228928 30266 33554432000 1073741824 1073778376 140737359400720 18446744073709551615 253652676096 0 4 0 16800975 18446604453935254208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 478.49
Current children cumulated vsize (KiB) 13639872

Child status: 30
Real time (s): 475.974
CPU time (s): 478.57
CPU user time (s): 478.359
CPU system time (s): 0.210967
CPU usage (%): 100.546
Max. virtual memory (cumulated for all children) (KiB): 13644952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 478.359
system time used= 0.210967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38620
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= 29230
involuntary context switches= 11181

runsolver used 0.877866 second user time and 1.75873 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-09 20:36:08
IDJOB=3458430
IDBENCH=48250
IDSOLVER=1952
FILE ID=node106/3458430-1307644568
RUNJOBID= node106-1307633281-806
PBS_JOBID= 13549385
Free space on /tmp= 74124 MiB

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

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

MD5SUM BENCH= e0d3a2bf2cd2b7e4b27d7033a7686e76
RANDOM SEED=1591047943

node106.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.830
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.66
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.830
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	: 5226.20
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.830
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.75
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.830
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.82
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.830
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.74
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.830
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.830
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.830
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31354636 kB
Buffers:         40928 kB
Cached:          97268 kB
SwapCached:      12404 kB
Active:        1359668 kB
Inactive:        81624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31354636 kB
SwapTotal:    67111528 kB
SwapFree:     67060628 kB
Dirty:             492 kB
Writeback:           0 kB
AnonPages:     1301404 kB
Mapped:          18444 kB
Slab:            88764 kB
PageTables:       6524 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 13624456 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= 74124 MiB
End job on node106 at 2011-06-09 20:44:04