Trace number 3492710

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08OPTIMUM 365.299 362.987

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557362--soft-66-100-0.wbo
MD5SUMa633e631fdb9de9296374319dc47b460
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark105.273
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints899
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 46330
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46329
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 709
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		9996466904
0.06/0.09	c Max memory 		10048897024
0.06/0.09	c Total memory 		10048897024
0.06/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@13d4c61c
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-3492710-1307910539.wbo
0.10/0.11	c reading problem ... 
0.49/0.30	c ... done. Wall clock time 0.193s.
0.49/0.30	c #vars     1130
0.49/0.30	c #constraints  2707
0.49/0.30	c constraints type 
0.49/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2523
0.49/0.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 11
0.49/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 161
0.49/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.77/0.40	c SATISFIABLE
0.77/0.40	c OPTIMIZING...
0.77/0.40	c Got one! Elapsed wall clock time (in seconds):0.29
0.77/0.40	o 329
0.77/0.43	c Got one! Elapsed wall clock time (in seconds):0.319
0.77/0.43	o 316
0.77/0.46	c Got one! Elapsed wall clock time (in seconds):0.352
0.77/0.46	o 284
0.77/0.50	c Got one! Elapsed wall clock time (in seconds):0.388
0.77/0.50	o 273
1.07/0.53	c Got one! Elapsed wall clock time (in seconds):0.425
1.07/0.53	o 230
1.07/0.57	c Got one! Elapsed wall clock time (in seconds):0.46
1.07/0.57	o 203
1.34/0.60	c Got one! Elapsed wall clock time (in seconds):0.489
1.34/0.60	o 176
1.34/0.63	c Got one! Elapsed wall clock time (in seconds):0.518
1.34/0.63	o 154
1.34/0.66	c Got one! Elapsed wall clock time (in seconds):0.551
1.34/0.66	o 133
1.34/0.68	c Got one! Elapsed wall clock time (in seconds):0.568
1.34/0.68	o 121
1.57/0.85	c Got one! Elapsed wall clock time (in seconds):0.742
1.57/0.85	o 100
1.79/1.00	c Got one! Elapsed wall clock time (in seconds):0.895
1.79/1.00	o 92
2.00/1.22	c Got one! Elapsed wall clock time (in seconds):1.115
2.00/1.22	o 78
2.11/1.34	c cleaning 4486 clauses out of 8980 with flag 1000/8980
2.36/1.51	c Got one! Elapsed wall clock time (in seconds):1.403
2.36/1.51	o 77
2.36/1.58	c Got one! Elapsed wall clock time (in seconds):1.475
2.36/1.58	o 74
2.56/1.75	c cleaning 4844 clauses out of 9699 with flag 2002/14185
2.76/1.97	c Got one! Elapsed wall clock time (in seconds):1.864
2.76/1.97	o 73
2.86/2.03	c Got one! Elapsed wall clock time (in seconds):1.925
2.86/2.03	o 64
3.07/2.28	c cleaning 5835 clauses out of 11677 with flag 3000/21007
3.17/2.31	c Got one! Elapsed wall clock time (in seconds):2.205
3.17/2.31	o 60
3.44/2.58	c Got one! Elapsed wall clock time (in seconds):2.472
3.44/2.58	o 58
3.64/2.73	c cleaning 5919 clauses out of 11851 with flag 2002/27016
4.21/3.21	c cleaning 5964 clauses out of 11931 with flag 8001/33015
4.21/3.30	c Got one! Elapsed wall clock time (in seconds):3.19
4.21/3.30	o 56
4.51/3.56	c cleaning 5489 clauses out of 10991 with flag 4001/38039
4.91/3.99	c cleaning 5744 clauses out of 11502 with flag 10001/44039
5.31/4.37	c Got one! Elapsed wall clock time (in seconds):4.261
5.31/4.37	o 44
5.71/4.78	c cleaning 8034 clauses out of 16078 with flag 5001/54359
6.21/5.23	c cleaning 7017 clauses out of 14043 with flag 11000/60358
6.71/5.75	c cleaning 7010 clauses out of 14027 with flag 18001/67359
6.81/5.80	c Got one! Elapsed wall clock time (in seconds):5.691
6.81/5.80	o 43
7.11/6.16	c cleaning 6266 clauses out of 12545 with flag 5002/72887
7.63/6.66	c cleaning 6120 clauses out of 12279 with flag 11002/78887
8.12/7.18	c cleaning 6575 clauses out of 13159 with flag 18002/85887
8.73/7.78	c cleaning 7284 clauses out of 14582 with flag 26000/93885
9.42/8.42	c cleaning 8144 clauses out of 16298 with flag 35000/102885
10.32/9.32	c cleaning 9071 clauses out of 18155 with flag 45001/112886
11.13/10.18	c cleaning 9535 clauses out of 19084 with flag 55001/122886
11.93/10.97	c cleaning 9768 clauses out of 19548 with flag 65000/132885
12.73/11.76	c cleaning 9885 clauses out of 19781 with flag 75001/142886
13.43/12.44	c Got one! Elapsed wall clock time (in seconds):12.338
13.43/12.45	o 40
13.83/12.87	c cleaning 11737 clauses out of 23482 with flag 5001/156472
14.24/13.27	c cleaning 8866 clauses out of 17747 with flag 11003/162474
14.73/13.76	c cleaning 7927 clauses out of 15880 with flag 18002/169473
15.13/14.16	c Got one! Elapsed wall clock time (in seconds):14.049
15.13/14.16	o 35
15.53/14.57	c cleaning 9327 clauses out of 18660 with flag 5000/180180
15.93/14.95	c cleaning 7663 clauses out of 15334 with flag 11001/186181
16.34/15.37	c cleaning 7332 clauses out of 14672 with flag 18002/193182
16.83/15.85	c cleaning 7664 clauses out of 15338 with flag 26000/201180
17.44/16.42	c cleaning 8331 clauses out of 16674 with flag 35000/210180
18.03/17.03	c cleaning 9167 clauses out of 18343 with flag 45000/220180
18.73/17.75	c cleaning 9583 clauses out of 19176 with flag 55000/230180
19.33/18.38	c cleaning 9792 clauses out of 19594 with flag 65001/240181
20.03/19.04	c cleaning 9896 clauses out of 19803 with flag 75002/250182
20.74/19.71	c cleaning 9947 clauses out of 19907 with flag 85002/260182
21.54/20.50	c cleaning 9974 clauses out of 19959 with flag 95001/270181
22.24/21.22	c cleaning 9982 clauses out of 19985 with flag 105001/280181
22.84/21.88	c cleaning 9992 clauses out of 20005 with flag 115003/290183
23.54/22.53	c cleaning 10001 clauses out of 20011 with flag 125001/300181
23.74/22.73	c Got one! Elapsed wall clock time (in seconds):22.624
23.74/22.73	o 33
23.84/22.86	c cleaning 7555 clauses out of 15122 with flag 2000/305293
24.24/23.24	c cleaning 6777 clauses out of 13567 with flag 8000/311293
24.64/23.69	c cleaning 6891 clauses out of 13792 with flag 15002/318295
25.14/24.17	c cleaning 7447 clauses out of 14900 with flag 23001/326294
25.64/24.62	c Got one! Elapsed wall clock time (in seconds):24.51
25.64/24.62	o 31
26.04/25.04	c cleaning 9892 clauses out of 19791 with flag 5002/338632
26.44/25.42	c cleaning 7944 clauses out of 15898 with flag 11001/344631
26.84/25.84	c cleaning 7475 clauses out of 14953 with flag 18000/351630
26.96/25.93	c Got one! Elapsed wall clock time (in seconds):25.825
26.96/25.93	o 29
27.26/26.25	c cleaning 6582 clauses out of 13177 with flag 4000/357329
27.66/26.62	c cleaning 6286 clauses out of 12595 with flag 10000/363329
28.06/27.01	c cleaning 6653 clauses out of 13309 with flag 17000/370329
28.47/27.45	c cleaning 7314 clauses out of 14656 with flag 25000/378329
29.07/28.05	c cleaning 8151 clauses out of 16342 with flag 34000/387329
29.98/28.99	c cleaning 9086 clauses out of 18193 with flag 44002/397331
30.78/29.80	c cleaning 9538 clauses out of 19105 with flag 54000/407329
31.58/30.60	c cleaning 9775 clauses out of 19567 with flag 64000/417329
32.48/31.42	c cleaning 9891 clauses out of 19792 with flag 74000/427329
33.08/32.05	c cleaning 9947 clauses out of 19901 with flag 84000/437329
33.78/32.74	c cleaning 9975 clauses out of 19957 with flag 94003/447332
34.18/33.11	c Got one! Elapsed wall clock time (in seconds):32.999
34.18/33.11	o 19
34.58/33.53	c cleaning 10753 clauses out of 21509 with flag 5000/458859
34.98/33.90	c cleaning 8375 clauses out of 16757 with flag 11001/464860
35.38/34.31	c cleaning 7687 clauses out of 15382 with flag 18001/471860
35.78/34.74	c cleaning 7841 clauses out of 15696 with flag 26002/479861
36.29/35.22	c cleaning 8424 clauses out of 16853 with flag 35000/488859
36.89/35.81	c cleaning 9206 clauses out of 18432 with flag 45003/498862
37.49/36.41	c cleaning 9608 clauses out of 19225 with flag 55002/508861
37.99/36.98	c cleaning 9802 clauses out of 19616 with flag 65001/518860
38.59/37.56	c cleaning 9899 clauses out of 19813 with flag 75000/528859
39.19/38.14	c cleaning 9951 clauses out of 19915 with flag 85001/538860
39.79/38.72	c cleaning 9977 clauses out of 19964 with flag 95001/548860
40.39/39.32	c cleaning 9986 clauses out of 19986 with flag 105000/558859
40.89/39.87	c cleaning 9996 clauses out of 20003 with flag 115003/568862
41.49/40.45	c cleaning 9995 clauses out of 20006 with flag 125002/578861
42.09/41.04	c cleaning 9999 clauses out of 20012 with flag 135003/588862
42.69/41.62	c cleaning 9996 clauses out of 20010 with flag 145000/598859
43.30/42.23	c cleaning 10001 clauses out of 20014 with flag 155000/608859
43.90/42.88	c cleaning 10001 clauses out of 20014 with flag 165001/618860
44.50/43.49	c cleaning 10000 clauses out of 20012 with flag 175000/628859
44.70/43.68	c Got one! Elapsed wall clock time (in seconds):43.575
44.70/43.68	o 16
44.90/43.84	c cleaning 7644 clauses out of 15299 with flag 2000/634146
45.49/44.18	c cleaning 6824 clauses out of 13657 with flag 8002/640148
46.16/44.51	c cleaning 6912 clauses out of 13832 with flag 15001/647147
46.47/44.88	c cleaning 7456 clauses out of 14920 with flag 23001/655147
46.97/45.34	c cleaning 8225 clauses out of 16463 with flag 32000/664146
47.48/45.88	c cleaning 9112 clauses out of 18238 with flag 42000/674146
48.07/46.42	c cleaning 9555 clauses out of 19126 with flag 52000/684146
48.58/46.95	c cleaning 9779 clauses out of 19571 with flag 62000/694146
49.18/47.50	c cleaning 9889 clauses out of 19796 with flag 72004/704150
49.68/48.09	c cleaning 9944 clauses out of 19903 with flag 82000/714146
50.28/48.67	c cleaning 9977 clauses out of 19963 with flag 92004/724150
50.88/49.23	c cleaning 9982 clauses out of 19982 with flag 102000/734146
51.38/49.79	c cleaning 9999 clauses out of 20002 with flag 112002/744148
51.99/50.34	c cleaning 9997 clauses out of 20001 with flag 122000/754146
52.59/50.93	c cleaning 9998 clauses out of 20006 with flag 132002/764148
53.18/51.53	c cleaning 9999 clauses out of 20008 with flag 142002/774148
53.69/52.09	c cleaning 10000 clauses out of 20011 with flag 152004/784150
54.29/52.69	c cleaning 9999 clauses out of 20008 with flag 162001/794147
54.99/53.32	c cleaning 9999 clauses out of 20008 with flag 172000/804146
55.59/53.93	c cleaning 10001 clauses out of 20009 with flag 182000/814146
56.19/54.58	c cleaning 10001 clauses out of 20008 with flag 192000/824146
56.79/55.19	c cleaning 9996 clauses out of 20007 with flag 202000/834146
57.39/55.75	c cleaning 9996 clauses out of 20012 with flag 212001/844147
57.99/56.34	c cleaning 10002 clauses out of 20016 with flag 222001/854147
58.59/56.93	c cleaning 9998 clauses out of 20013 with flag 232000/864146
59.09/57.50	c cleaning 10003 clauses out of 20019 with flag 242004/874150
59.79/58.10	c cleaning 10005 clauses out of 20013 with flag 252001/884147
60.39/58.72	c cleaning 9996 clauses out of 20010 with flag 262003/894149
60.89/59.26	c cleaning 9996 clauses out of 20012 with flag 272001/904147
61.49/59.83	c cleaning 10001 clauses out of 20017 with flag 282002/914148
62.09/60.42	c cleaning 10001 clauses out of 20014 with flag 292000/924146
62.59/60.99	c cleaning 9998 clauses out of 20013 with flag 302000/934146
63.20/61.54	c cleaning 10000 clauses out of 20016 with flag 312001/944147
63.70/62.06	c cleaning 9997 clauses out of 20015 with flag 322000/954146
64.31/62.60	c cleaning 10005 clauses out of 20019 with flag 332001/964147
64.80/63.15	c cleaning 10001 clauses out of 20014 with flag 342001/974147
65.30/63.69	c cleaning 10000 clauses out of 20012 with flag 352000/984146
65.81/64.19	c cleaning 10003 clauses out of 20013 with flag 362001/994147
66.41/64.70	c cleaning 9996 clauses out of 20009 with flag 372000/1004146
66.81/65.19	c cleaning 10004 clauses out of 20017 with flag 382004/1014150
67.41/65.71	c cleaning 9998 clauses out of 20009 with flag 392000/1024146
67.91/66.28	c cleaning 10002 clauses out of 20013 with flag 402002/1034148
68.51/66.85	c cleaning 9997 clauses out of 20012 with flag 412003/1044149
69.01/67.36	c cleaning 10004 clauses out of 20012 with flag 422000/1054146
69.51/67.89	c cleaning 10001 clauses out of 20010 with flag 432002/1064148
70.11/68.40	c cleaning 9996 clauses out of 20008 with flag 442001/1074147
70.62/68.91	c cleaning 9998 clauses out of 20011 with flag 452000/1084146
71.12/69.42	c cleaning 10001 clauses out of 20014 with flag 462001/1094147
71.62/69.93	c cleaning 10003 clauses out of 20012 with flag 472000/1104146
72.13/70.45	c cleaning 9995 clauses out of 20009 with flag 482000/1114146
72.62/70.97	c cleaning 10001 clauses out of 20014 with flag 492000/1124146
73.13/71.49	c cleaning 9995 clauses out of 20014 with flag 502001/1134147
73.72/72.02	c cleaning 10003 clauses out of 20019 with flag 512001/1144147
74.22/72.54	c cleaning 10000 clauses out of 20016 with flag 522001/1154147
74.82/73.10	c cleaning 10002 clauses out of 20016 with flag 532001/1164147
75.33/73.67	c cleaning 10004 clauses out of 20013 with flag 542000/1174146
75.62/73.98	c Got one! Elapsed wall clock time (in seconds):73.876
75.62/73.98	o 8
76.02/74.35	c cleaning 10674 clauses out of 21353 with flag 5000/1185490
76.33/74.69	c cleaning 8327 clauses out of 16680 with flag 11001/1191491
76.73/75.07	c cleaning 7665 clauses out of 15353 with flag 18001/1198491
77.13/75.49	c cleaning 7835 clauses out of 15687 with flag 26000/1206490
77.63/75.98	c cleaning 8414 clauses out of 16852 with flag 35000/1215490
78.23/76.57	c cleaning 9216 clauses out of 18439 with flag 45001/1225491
78.83/77.13	c cleaning 9607 clauses out of 19223 with flag 55001/1235491
79.43/77.72	c cleaning 9802 clauses out of 19615 with flag 65000/1245490
80.03/78.32	c cleaning 9902 clauses out of 19815 with flag 75002/1255492
80.53/78.84	c cleaning 9949 clauses out of 19911 with flag 85000/1265490
81.03/79.33	c cleaning 9977 clauses out of 19965 with flag 95003/1275493
81.63/79.95	c cleaning 9985 clauses out of 19987 with flag 105002/1285492
82.23/80.51	c cleaning 9992 clauses out of 20001 with flag 115001/1295491
82.83/81.13	c cleaning 9995 clauses out of 20008 with flag 125000/1305490
83.53/81.88	c cleaning 10003 clauses out of 20017 with flag 135004/1315494
84.44/82.74	c cleaning 10002 clauses out of 20011 with flag 145001/1325491
85.24/83.59	c cleaning 9996 clauses out of 20009 with flag 155001/1335491
86.04/84.31	c cleaning 9998 clauses out of 20012 with flag 165000/1345490
86.74/85.05	c cleaning 9992 clauses out of 20017 with flag 175003/1355493
87.45/85.73	c cleaning 10004 clauses out of 20022 with flag 185000/1365490
88.05/86.38	c cleaning 9993 clauses out of 20019 with flag 195001/1375491
88.75/87.10	c cleaning 9999 clauses out of 20026 with flag 205001/1385491
89.55/87.87	c cleaning 10005 clauses out of 20027 with flag 215001/1395491
90.35/88.65	c cleaning 10007 clauses out of 20025 with flag 225004/1405494
91.06/89.38	c cleaning 10001 clauses out of 20015 with flag 235001/1415491
91.86/90.16	c cleaning 9999 clauses out of 20013 with flag 245000/1425490
92.46/90.75	c cleaning 10000 clauses out of 20014 with flag 255000/1435490
93.06/91.31	c cleaning 9999 clauses out of 20014 with flag 265000/1445490
93.56/91.82	c cleaning 10004 clauses out of 20015 with flag 275000/1455490
94.06/92.35	c cleaning 10001 clauses out of 20014 with flag 285003/1465493
94.66/92.91	c cleaning 10000 clauses out of 20011 with flag 295001/1475491
95.17/93.43	c cleaning 9999 clauses out of 20010 with flag 305000/1485490
95.76/94.00	c cleaning 9998 clauses out of 20013 with flag 315002/1495492
96.27/94.52	c cleaning 10003 clauses out of 20016 with flag 325003/1505493
96.76/95.06	c cleaning 9997 clauses out of 20010 with flag 335000/1515490
97.26/95.59	c cleaning 9994 clauses out of 20014 with flag 345001/1525491
97.77/96.09	c cleaning 10001 clauses out of 20019 with flag 355000/1535490
98.37/96.61	c cleaning 10000 clauses out of 20018 with flag 365000/1545490
98.87/97.13	c cleaning 10002 clauses out of 20021 with flag 375003/1555493
99.37/97.62	c cleaning 9998 clauses out of 20016 with flag 385000/1565490
99.87/98.11	c cleaning 10004 clauses out of 20019 with flag 395001/1575491
100.37/98.62	c cleaning 10002 clauses out of 20016 with flag 405002/1585492
100.87/99.16	c cleaning 9998 clauses out of 20012 with flag 415000/1595490
101.47/99.72	c cleaning 9995 clauses out of 20014 with flag 425000/1605490
101.97/100.26	c cleaning 10003 clauses out of 20020 with flag 435001/1615491
102.48/100.79	c cleaning 10006 clauses out of 20017 with flag 445001/1625491
103.07/101.30	c cleaning 10000 clauses out of 20012 with flag 455002/1635492
103.58/101.81	c cleaning 10001 clauses out of 20011 with flag 465001/1645491
104.08/102.34	c cleaning 10001 clauses out of 20009 with flag 475000/1655490
104.58/102.85	c cleaning 10001 clauses out of 20010 with flag 485002/1665492
105.08/103.36	c cleaning 10000 clauses out of 20007 with flag 495000/1675490
105.58/103.89	c cleaning 9998 clauses out of 20007 with flag 505000/1685490
106.19/104.44	c cleaning 10001 clauses out of 20009 with flag 515000/1695490
106.78/105.01	c cleaning 9998 clauses out of 20008 with flag 525000/1705490
107.29/105.54	c cleaning 9999 clauses out of 20012 with flag 535002/1715492
107.79/106.05	c cleaning 10000 clauses out of 20011 with flag 545000/1725490
108.29/106.57	c cleaning 9994 clauses out of 20012 with flag 555001/1735491
108.89/107.12	c cleaning 10006 clauses out of 20018 with flag 565001/1745491
109.39/107.66	c cleaning 9998 clauses out of 20012 with flag 575001/1755491
109.98/108.21	c cleaning 10001 clauses out of 20014 with flag 585001/1765491
110.49/108.77	c cleaning 10000 clauses out of 20012 with flag 595000/1775490
111.10/109.30	c cleaning 10000 clauses out of 20012 with flag 605000/1785490
111.60/109.87	c cleaning 10001 clauses out of 20013 with flag 615001/1795491
112.10/110.39	c cleaning 10003 clauses out of 20015 with flag 625004/1805494
112.70/110.91	c cleaning 10000 clauses out of 20008 with flag 635000/1815490
112.80/111.04	c Got one! Elapsed wall clock time (in seconds):110.936
112.80/111.04	o 7
113.00/111.24	c cleaning 7973 clauses out of 15950 with flag 3000/1821432
113.30/111.55	c cleaning 6983 clauses out of 13978 with flag 9001/1827433
113.70/111.93	c cleaning 6989 clauses out of 13995 with flag 16001/1834433
114.10/112.37	c cleaning 7496 clauses out of 15007 with flag 24002/1842434
114.60/112.87	c cleaning 8251 clauses out of 16510 with flag 33001/1851433
115.20/113.42	c cleaning 9120 clauses out of 18259 with flag 43001/1861433
115.80/114.06	c cleaning 9558 clauses out of 19139 with flag 53001/1871433
116.40/114.62	c cleaning 9788 clauses out of 19581 with flag 63001/1881433
116.90/115.14	c cleaning 9890 clauses out of 19792 with flag 73000/1891432
117.40/115.66	c cleaning 9944 clauses out of 19902 with flag 83000/1901432
117.90/116.14	c cleaning 9974 clauses out of 19959 with flag 93001/1911433
118.41/116.68	c cleaning 9987 clauses out of 19985 with flag 103001/1921433
119.00/117.22	c cleaning 9998 clauses out of 20003 with flag 113006/1931438
119.60/117.83	c cleaning 9992 clauses out of 19999 with flag 123000/1941432
120.10/118.39	c cleaning 9999 clauses out of 20008 with flag 133001/1951433
120.64/118.89	c cleaning 9998 clauses out of 20010 with flag 143002/1961434
121.24/119.46	c cleaning 10001 clauses out of 20010 with flag 153000/1971432
121.85/120.01	c cleaning 9978 clauses out of 20010 with flag 163001/1981433
122.45/120.60	c cleaning 10005 clauses out of 20032 with flag 173001/1991433
123.05/121.28	c cleaning 10007 clauses out of 20027 with flag 183001/2001433
123.75/121.98	c cleaning 10004 clauses out of 20020 with flag 193001/2011433
124.45/122.61	c cleaning 10002 clauses out of 20017 with flag 203002/2021434
125.06/123.27	c cleaning 9997 clauses out of 20014 with flag 213001/2031433
125.75/123.99	c cleaning 9996 clauses out of 20016 with flag 223000/2041432
126.65/124.84	c cleaning 10004 clauses out of 20021 with flag 233001/2051433
127.35/125.59	c cleaning 10000 clauses out of 20016 with flag 243000/2061432
128.15/126.33	c cleaning 9997 clauses out of 20016 with flag 253000/2071432
128.76/126.95	c cleaning 9995 clauses out of 20020 with flag 263001/2081433
129.36/127.54	c cleaning 10008 clauses out of 20024 with flag 273000/2091432
130.06/128.20	c cleaning 10000 clauses out of 20018 with flag 283002/2101434
130.66/128.81	c cleaning 9998 clauses out of 20018 with flag 293002/2111434
131.16/129.39	c cleaning 10001 clauses out of 20020 with flag 303002/2121434
131.86/130.03	c cleaning 9994 clauses out of 20018 with flag 313001/2131433
132.46/130.64	c cleaning 10007 clauses out of 20024 with flag 323001/2141433
133.06/131.24	c cleaning 9999 clauses out of 20016 with flag 333000/2151432
133.66/131.80	c cleaning 10008 clauses out of 20021 with flag 343004/2161436
134.16/132.37	c cleaning 9998 clauses out of 20009 with flag 353000/2171432
134.77/132.96	c cleaning 9983 clauses out of 20011 with flag 363000/2181432
135.37/133.57	c cleaning 10010 clauses out of 20028 with flag 373000/2191432
135.97/134.16	c cleaning 10005 clauses out of 20019 with flag 383001/2201433
136.57/134.73	c cleaning 10002 clauses out of 20013 with flag 393000/2211432
137.08/135.29	c cleaning 10001 clauses out of 20011 with flag 403000/2221432
137.67/135.84	c cleaning 9998 clauses out of 20011 with flag 413001/2231433
138.28/136.41	c cleaning 10002 clauses out of 20013 with flag 423001/2241433
138.77/136.94	c cleaning 10002 clauses out of 20011 with flag 433001/2251433
139.28/137.45	c cleaning 10000 clauses out of 20009 with flag 443001/2261433
139.78/137.94	c cleaning 9999 clauses out of 20008 with flag 453000/2271432
140.28/138.44	c cleaning 9998 clauses out of 20011 with flag 463002/2281434
140.78/138.93	c cleaning 10002 clauses out of 20012 with flag 473001/2291433
141.28/139.43	c cleaning 10003 clauses out of 20011 with flag 483002/2301434
141.78/139.96	c cleaning 9998 clauses out of 20008 with flag 493002/2311434
142.28/140.49	c cleaning 9996 clauses out of 20009 with flag 503001/2321433
142.88/141.04	c cleaning 10003 clauses out of 20015 with flag 513003/2331435
143.38/141.58	c cleaning 9997 clauses out of 20009 with flag 523000/2341432
143.98/142.12	c cleaning 9999 clauses out of 20014 with flag 533002/2351434
144.48/142.67	c cleaning 9999 clauses out of 20014 with flag 543001/2361433
145.08/143.20	c cleaning 9999 clauses out of 20016 with flag 553002/2371434
145.68/143.84	c cleaning 10002 clauses out of 20017 with flag 563002/2381434
146.18/144.37	c cleaning 10003 clauses out of 20013 with flag 573000/2391432
146.68/144.86	c cleaning 10001 clauses out of 20010 with flag 583000/2401432
147.28/145.40	c cleaning 9997 clauses out of 20009 with flag 593000/2411432
147.78/145.91	c cleaning 10000 clauses out of 20014 with flag 603002/2421434
148.29/146.47	c cleaning 10000 clauses out of 20015 with flag 613003/2431435
148.89/147.03	c cleaning 10001 clauses out of 20012 with flag 623000/2441432
149.39/147.56	c cleaning 10002 clauses out of 20013 with flag 633002/2451434
149.89/148.08	c cleaning 9998 clauses out of 20010 with flag 643001/2461433
150.40/148.56	c cleaning 10000 clauses out of 20011 with flag 653000/2471432
150.89/149.06	c cleaning 9997 clauses out of 20012 with flag 663001/2481433
151.41/149.56	c cleaning 10003 clauses out of 20014 with flag 673000/2491432
152.00/150.11	c cleaning 9999 clauses out of 20011 with flag 683000/2501432
152.51/150.66	c cleaning 10003 clauses out of 20013 with flag 693001/2511433
153.10/151.21	c cleaning 9999 clauses out of 20009 with flag 703000/2521432
153.61/151.73	c cleaning 9993 clauses out of 20010 with flag 713000/2531432
154.10/152.25	c cleaning 10005 clauses out of 20018 with flag 723001/2541433
154.60/152.75	c cleaning 9996 clauses out of 20012 with flag 733000/2551432
155.20/153.31	c cleaning 10000 clauses out of 20017 with flag 743001/2561433
155.71/153.89	c cleaning 10002 clauses out of 20017 with flag 753001/2571433
156.31/154.40	c cleaning 10000 clauses out of 20015 with flag 763001/2581433
156.81/154.93	c cleaning 10002 clauses out of 20015 with flag 773001/2591433
157.31/155.46	c cleaning 9998 clauses out of 20012 with flag 783000/2601432
157.81/155.99	c cleaning 10001 clauses out of 20014 with flag 793000/2611432
158.41/156.51	c cleaning 10003 clauses out of 20014 with flag 803001/2621433
158.91/157.04	c cleaning 10003 clauses out of 20011 with flag 813001/2631433
159.41/157.56	c cleaning 10001 clauses out of 20007 with flag 823000/2641432
159.91/158.09	c cleaning 9996 clauses out of 20007 with flag 833001/2651433
160.52/158.63	c cleaning 10002 clauses out of 20012 with flag 843002/2661434
161.02/159.17	c cleaning 9983 clauses out of 20009 with flag 853001/2671433
161.72/159.85	c cleaning 10009 clauses out of 20029 with flag 863004/2681436
162.32/160.40	c cleaning 9999 clauses out of 20016 with flag 873000/2691432
162.92/161.02	c cleaning 10001 clauses out of 20019 with flag 883002/2701434
163.42/161.58	c cleaning 9993 clauses out of 20016 with flag 893000/2711432
164.02/162.10	c cleaning 10002 clauses out of 20023 with flag 903000/2721432
164.42/162.59	c cleaning 10008 clauses out of 20023 with flag 913002/2731434
165.02/163.14	c cleaning 9997 clauses out of 20013 with flag 923000/2741432
165.52/163.67	c cleaning 9999 clauses out of 20016 with flag 933000/2751432
166.12/164.25	c cleaning 10002 clauses out of 20018 with flag 943001/2761433
166.62/164.78	c cleaning 10001 clauses out of 20015 with flag 953000/2771432
167.22/165.36	c cleaning 10003 clauses out of 20016 with flag 963002/2781434
167.83/165.96	c cleaning 9989 clauses out of 20011 with flag 973000/2791432
168.43/166.54	c cleaning 10002 clauses out of 20024 with flag 983002/2801434
168.93/167.07	c cleaning 10004 clauses out of 20022 with flag 993002/2811434
169.53/167.61	c cleaning 10000 clauses out of 20016 with flag 1003000/2821432
170.03/168.15	c cleaning 10001 clauses out of 20018 with flag 1013002/2831434
170.53/168.67	c cleaning 10004 clauses out of 20015 with flag 1023000/2841432
171.13/169.21	c cleaning 10002 clauses out of 20012 with flag 1033001/2851433
171.63/169.76	c cleaning 9994 clauses out of 20010 with flag 1043001/2861433
172.13/170.27	c cleaning 9997 clauses out of 20015 with flag 1053000/2871432
172.63/170.76	c cleaning 10005 clauses out of 20018 with flag 1063000/2881432
173.13/171.28	c cleaning 10002 clauses out of 20013 with flag 1073000/2891432
173.63/171.80	c cleaning 9996 clauses out of 20011 with flag 1083000/2901432
174.23/172.33	c cleaning 9999 clauses out of 20016 with flag 1093001/2911433
174.73/172.85	c cleaning 10000 clauses out of 20016 with flag 1103000/2921432
175.23/173.38	c cleaning 10003 clauses out of 20016 with flag 1113000/2931432
175.83/173.92	c cleaning 10000 clauses out of 20013 with flag 1123000/2941432
176.34/174.48	c cleaning 9999 clauses out of 20013 with flag 1133000/2951432
176.85/174.96	c cleaning 9999 clauses out of 20014 with flag 1143000/2961432
177.34/175.49	c cleaning 10001 clauses out of 20015 with flag 1153000/2971432
177.95/176.01	c cleaning 10001 clauses out of 20014 with flag 1163000/2981432
178.54/176.60	c cleaning 9996 clauses out of 20014 with flag 1173001/2991433
179.05/177.16	c cleaning 10000 clauses out of 20017 with flag 1183000/3001432
179.64/177.70	c cleaning 10004 clauses out of 20017 with flag 1193000/3011432
180.15/178.22	c cleaning 10003 clauses out of 20013 with flag 1203000/3021432
180.65/178.73	c cleaning 10002 clauses out of 20012 with flag 1213002/3031434
181.15/179.27	c cleaning 9999 clauses out of 20008 with flag 1223000/3041432
181.75/179.82	c cleaning 9998 clauses out of 20009 with flag 1233000/3051432
182.26/180.35	c cleaning 10000 clauses out of 20011 with flag 1243000/3061432
182.75/180.86	c cleaning 9999 clauses out of 20011 with flag 1253000/3071432
183.25/181.38	c cleaning 10000 clauses out of 20013 with flag 1263001/3081433
183.85/181.94	c cleaning 10003 clauses out of 20012 with flag 1273000/3091432
184.46/182.50	c cleaning 9999 clauses out of 20010 with flag 1283001/3101433
185.06/183.12	c cleaning 9996 clauses out of 20010 with flag 1293000/3111432
185.67/183.71	c cleaning 10005 clauses out of 20015 with flag 1303001/3121433
186.26/184.32	c cleaning 9996 clauses out of 20010 with flag 1313001/3131433
186.77/184.86	c cleaning 9995 clauses out of 20015 with flag 1323002/3141434
187.36/185.41	c cleaning 10004 clauses out of 20022 with flag 1333004/3151436
187.96/186.00	c cleaning 10002 clauses out of 20017 with flag 1343003/3161435
188.46/186.53	c cleaning 10000 clauses out of 20014 with flag 1353002/3171434
188.97/187.07	c cleaning 10000 clauses out of 20012 with flag 1363000/3181432
189.46/187.58	c cleaning 10000 clauses out of 20012 with flag 1373000/3191432
189.97/188.09	c cleaning 9997 clauses out of 20014 with flag 1383002/3201434
190.56/188.64	c cleaning 10004 clauses out of 20016 with flag 1393001/3211433
191.17/189.21	c cleaning 9997 clauses out of 20011 with flag 1403000/3221432
191.66/189.76	c cleaning 10003 clauses out of 20014 with flag 1413000/3231432
192.17/190.29	c cleaning 9999 clauses out of 20013 with flag 1423002/3241434
192.77/190.80	c cleaning 9996 clauses out of 20013 with flag 1433001/3251433
193.28/191.32	c cleaning 9999 clauses out of 20016 with flag 1443000/3261432
193.77/191.85	c cleaning 10004 clauses out of 20018 with flag 1453001/3271433
194.27/192.40	c cleaning 10000 clauses out of 20013 with flag 1463000/3281432
194.88/192.94	c cleaning 10003 clauses out of 20014 with flag 1473001/3291433
195.38/193.48	c cleaning 10004 clauses out of 20015 with flag 1483005/3301437
195.88/193.98	c cleaning 9999 clauses out of 20008 with flag 1493002/3311434
196.48/194.50	c cleaning 9997 clauses out of 20008 with flag 1503001/3321433
196.88/194.99	c cleaning 10003 clauses out of 20011 with flag 1513001/3331433
197.48/195.50	c cleaning 9997 clauses out of 20007 with flag 1523000/3341432
197.98/196.04	c cleaning 10000 clauses out of 20013 with flag 1533003/3351435
198.48/196.59	c cleaning 9998 clauses out of 20012 with flag 1543002/3361434
199.08/197.15	c cleaning 9999 clauses out of 20012 with flag 1553000/3371432
199.58/197.68	c cleaning 10000 clauses out of 20014 with flag 1563001/3381433
200.19/198.22	c cleaning 10000 clauses out of 20015 with flag 1573002/3391434
200.69/198.72	c cleaning 10003 clauses out of 20014 with flag 1583001/3401433
201.19/199.24	c cleaning 9997 clauses out of 20012 with flag 1593002/3411434
201.69/199.73	c cleaning 9996 clauses out of 20013 with flag 1603000/3421432
202.20/200.24	c cleaning 10004 clauses out of 20018 with flag 1613001/3431433
202.69/200.74	c cleaning 9999 clauses out of 20014 with flag 1623001/3441433
203.20/201.22	c cleaning 10001 clauses out of 20014 with flag 1633000/3451432
203.69/201.71	c cleaning 10001 clauses out of 20013 with flag 1643000/3461432
204.19/202.22	c cleaning 10001 clauses out of 20014 with flag 1653002/3471434
204.69/202.73	c cleaning 9999 clauses out of 20011 with flag 1663000/3481432
205.20/203.28	c cleaning 10000 clauses out of 20014 with flag 1673002/3491434
205.80/203.81	c cleaning 9996 clauses out of 20014 with flag 1683002/3501434
206.30/204.33	c cleaning 10000 clauses out of 20016 with flag 1693000/3511432
206.80/204.88	c cleaning 10004 clauses out of 20017 with flag 1703001/3521433
207.40/205.44	c cleaning 10000 clauses out of 20012 with flag 1713000/3531432
208.01/206.00	c cleaning 9986 clauses out of 20013 with flag 1723001/3541433
208.51/206.58	c cleaning 10005 clauses out of 20029 with flag 1733003/3551435
209.01/207.10	c cleaning 9998 clauses out of 20023 with flag 1743002/3561434
209.61/207.64	c cleaning 10006 clauses out of 20026 with flag 1753003/3571435
210.21/208.27	c cleaning 10001 clauses out of 20018 with flag 1763001/3581433
210.81/208.84	c cleaning 10004 clauses out of 20018 with flag 1773002/3591434
211.32/209.38	c cleaning 9999 clauses out of 20012 with flag 1783000/3601432
211.92/209.94	c cleaning 9998 clauses out of 20016 with flag 1793003/3611435
212.42/210.44	c cleaning 10000 clauses out of 20015 with flag 1803000/3621432
212.92/210.96	c cleaning 10003 clauses out of 20016 with flag 1813001/3631433
213.52/211.54	c cleaning 9996 clauses out of 20012 with flag 1823000/3641432
214.12/212.11	c cleaning 10003 clauses out of 20016 with flag 1833000/3651432
214.62/212.68	c cleaning 10003 clauses out of 20015 with flag 1843002/3661434
215.22/213.25	c cleaning 9987 clauses out of 20010 with flag 1853000/3671432
215.82/213.82	c cleaning 10006 clauses out of 20023 with flag 1863000/3681432
216.32/214.37	c cleaning 10001 clauses out of 20019 with flag 1873002/3691434
216.92/214.92	c cleaning 10000 clauses out of 20017 with flag 1883001/3701433
217.42/215.46	c cleaning 9995 clauses out of 20016 with flag 1893000/3711432
218.02/216.01	c cleaning 10006 clauses out of 20022 with flag 1903001/3721433
218.62/216.62	c cleaning 10006 clauses out of 20018 with flag 1913003/3731435
219.12/217.18	c cleaning 9994 clauses out of 20009 with flag 1923000/3741432
219.83/217.82	c cleaning 9999 clauses out of 20015 with flag 1933000/3751432
220.43/218.40	c cleaning 10002 clauses out of 20017 with flag 1943001/3761433
220.94/218.98	c cleaning 10001 clauses out of 20014 with flag 1953000/3771432
221.54/219.53	c cleaning 9999 clauses out of 20014 with flag 1963001/3781433
222.04/220.06	c cleaning 10001 clauses out of 20015 with flag 1973001/3791433
222.64/220.62	c cleaning 9990 clauses out of 20013 with flag 1983000/3801432
223.24/221.25	c cleaning 10007 clauses out of 20024 with flag 1993001/3811433
223.84/221.84	c cleaning 9996 clauses out of 20016 with flag 2003000/3821432
224.44/222.41	c cleaning 10003 clauses out of 20020 with flag 2013000/3831432
225.04/223.02	c cleaning 10002 clauses out of 20018 with flag 2023001/3841433
225.54/223.59	c cleaning 10004 clauses out of 20017 with flag 2033002/3851434
226.14/224.10	c cleaning 10000 clauses out of 20011 with flag 2043000/3861432
226.64/224.63	c cleaning 10001 clauses out of 20012 with flag 2053001/3871433
227.14/225.15	c cleaning 10000 clauses out of 20011 with flag 2063001/3881433
227.65/225.66	c cleaning 9995 clauses out of 20010 with flag 2073000/3891432
228.15/226.15	c cleaning 9999 clauses out of 20015 with flag 2083000/3901432
228.65/226.67	c cleaning 10005 clauses out of 20017 with flag 2093001/3911433
229.25/227.23	c cleaning 9998 clauses out of 20012 with flag 2103001/3921433
229.76/227.74	c cleaning 9998 clauses out of 20014 with flag 2113001/3931433
230.25/228.24	c cleaning 10004 clauses out of 20016 with flag 2123001/3941433
230.76/228.79	c cleaning 10005 clauses out of 20016 with flag 2133005/3951437
231.35/229.30	c cleaning 9994 clauses out of 20006 with flag 2143000/3961432
231.86/229.80	c cleaning 10002 clauses out of 20013 with flag 2153001/3971433
232.36/230.37	c cleaning 9994 clauses out of 20012 with flag 2163002/3981434
232.96/230.91	c cleaning 10001 clauses out of 20016 with flag 2173000/3991432
233.46/231.44	c cleaning 10003 clauses out of 20015 with flag 2183000/4001432
233.96/231.94	c cleaning 10002 clauses out of 20014 with flag 2193002/4011434
234.46/232.49	c cleaning 9996 clauses out of 20011 with flag 2203001/4021433
235.06/233.05	c cleaning 10001 clauses out of 20016 with flag 2213002/4031434
235.56/233.58	c cleaning 10000 clauses out of 20013 with flag 2223000/4041432
236.17/234.11	c cleaning 9996 clauses out of 20013 with flag 2233000/4051432
236.67/234.63	c cleaning 10005 clauses out of 20018 with flag 2243001/4061433
237.17/235.15	c cleaning 9998 clauses out of 20012 with flag 2253000/4071432
237.67/235.68	c cleaning 9998 clauses out of 20016 with flag 2263002/4081434
238.17/236.18	c cleaning 10001 clauses out of 20016 with flag 2273000/4091432
238.77/236.75	c cleaning 9999 clauses out of 20018 with flag 2283003/4101435
239.27/237.28	c cleaning 10005 clauses out of 20017 with flag 2293001/4111433
239.87/237.80	c cleaning 10002 clauses out of 20012 with flag 2303001/4121433
240.37/238.33	c cleaning 9997 clauses out of 20009 with flag 2313000/4131432
240.87/238.88	c cleaning 9996 clauses out of 20014 with flag 2323002/4141434
241.47/239.41	c cleaning 10000 clauses out of 20016 with flag 2333000/4151432
242.07/240.01	c cleaning 9996 clauses out of 20018 with flag 2343002/4161434
242.67/240.67	c cleaning 10004 clauses out of 20021 with flag 2353001/4171433
243.27/241.20	c cleaning 10002 clauses out of 20020 with flag 2363004/4181436
243.77/241.75	c cleaning 9996 clauses out of 20016 with flag 2373002/4191434
244.37/242.37	c cleaning 9992 clauses out of 20020 with flag 2383002/4201434
244.97/242.98	c cleaning 10008 clauses out of 20027 with flag 2393001/4211433
245.57/243.54	c cleaning 10008 clauses out of 20019 with flag 2403001/4221433
246.18/244.12	c cleaning 9999 clauses out of 20012 with flag 2413002/4231434
246.67/244.66	c cleaning 10002 clauses out of 20012 with flag 2423001/4241433
247.28/245.28	c cleaning 9992 clauses out of 20009 with flag 2433000/4251432
247.88/245.84	c cleaning 10005 clauses out of 20018 with flag 2443001/4261433
248.38/246.36	c cleaning 9999 clauses out of 20012 with flag 2453000/4271432
248.98/246.91	c cleaning 10000 clauses out of 20014 with flag 2463001/4281433
249.49/247.44	c cleaning 10001 clauses out of 20013 with flag 2473000/4291432
249.98/247.99	c cleaning 9997 clauses out of 20012 with flag 2483000/4301432
250.59/248.53	c cleaning 10004 clauses out of 20016 with flag 2493001/4311433
251.09/249.05	c cleaning 9997 clauses out of 20012 with flag 2503001/4321433
251.69/249.62	c cleaning 10003 clauses out of 20016 with flag 2513002/4331434
252.20/250.15	c cleaning 9999 clauses out of 20012 with flag 2523001/4341433
252.70/250.67	c cleaning 9996 clauses out of 20012 with flag 2533000/4351432
253.30/251.23	c cleaning 9997 clauses out of 20016 with flag 2543000/4361432
253.90/251.80	c cleaning 10007 clauses out of 20021 with flag 2553002/4371434
254.50/252.40	c cleaning 9997 clauses out of 20013 with flag 2563001/4381433
255.00/252.98	c cleaning 10003 clauses out of 20017 with flag 2573002/4391434
255.60/253.50	c cleaning 10002 clauses out of 20013 with flag 2583001/4401433
256.11/254.03	c cleaning 9999 clauses out of 20012 with flag 2593002/4411434
256.70/254.60	c cleaning 9998 clauses out of 20012 with flag 2603001/4421433
257.21/255.15	c cleaning 10000 clauses out of 20013 with flag 2613000/4431432
257.70/255.67	c cleaning 9999 clauses out of 20015 with flag 2623002/4441434
258.31/256.24	c cleaning 9999 clauses out of 20014 with flag 2633000/4451432
258.91/256.84	c cleaning 10001 clauses out of 20015 with flag 2643000/4461432
259.51/257.41	c cleaning 10005 clauses out of 20015 with flag 2653001/4471433
260.01/257.93	c cleaning 9994 clauses out of 20009 with flag 2663000/4481432
260.52/258.47	c cleaning 10003 clauses out of 20017 with flag 2673002/4491434
261.11/259.06	c cleaning 9991 clauses out of 20012 with flag 2683000/4501432
261.72/259.65	c cleaning 10003 clauses out of 20021 with flag 2693000/4511432
262.31/260.23	c cleaning 9995 clauses out of 20018 with flag 2703000/4521432
262.82/260.79	c cleaning 10009 clauses out of 20027 with flag 2713004/4531436
263.42/261.37	c cleaning 9998 clauses out of 20014 with flag 2723000/4541432
264.01/261.93	c cleaning 9996 clauses out of 20016 with flag 2733000/4551432
264.52/262.46	c cleaning 10004 clauses out of 20022 with flag 2743002/4561434
265.12/263.05	c cleaning 10000 clauses out of 20017 with flag 2753001/4571433
265.62/263.58	c cleaning 10005 clauses out of 20018 with flag 2763002/4581434
266.22/264.13	c cleaning 10001 clauses out of 20012 with flag 2773001/4591433
266.82/264.72	c cleaning 9999 clauses out of 20011 with flag 2783001/4601433
267.42/265.30	c cleaning 9998 clauses out of 20013 with flag 2793002/4611434
267.92/265.88	c cleaning 9993 clauses out of 20013 with flag 2803000/4621432
268.42/266.40	c cleaning 10007 clauses out of 20020 with flag 2813000/4631432
268.92/266.90	c cleaning 10003 clauses out of 20018 with flag 2823005/4641437
269.52/267.46	c cleaning 9998 clauses out of 20012 with flag 2833002/4651434
270.12/268.06	c cleaning 9997 clauses out of 20012 with flag 2843000/4661432
270.72/268.66	c cleaning 9998 clauses out of 20015 with flag 2853000/4671432
271.32/269.24	c cleaning 10001 clauses out of 20018 with flag 2863001/4681433
271.83/269.78	c cleaning 10005 clauses out of 20018 with flag 2873002/4691434
272.43/270.30	c cleaning 10000 clauses out of 20012 with flag 2883001/4701433
272.93/270.80	c cleaning 10000 clauses out of 20011 with flag 2893000/4711432
273.43/271.32	c cleaning 10002 clauses out of 20011 with flag 2903000/4721432
273.93/271.88	c cleaning 10001 clauses out of 20010 with flag 2913001/4731433
274.43/272.38	c cleaning 9996 clauses out of 20010 with flag 2923002/4741434
275.04/272.96	c cleaning 9991 clauses out of 20012 with flag 2933000/4751432
275.54/273.49	c cleaning 10006 clauses out of 20024 with flag 2943003/4761435
276.14/274.01	c cleaning 10004 clauses out of 20017 with flag 2953002/4771434
276.64/274.55	c cleaning 9998 clauses out of 20013 with flag 2963002/4781434
277.15/275.08	c cleaning 10003 clauses out of 20015 with flag 2973002/4791434
277.74/275.60	c cleaning 10000 clauses out of 20013 with flag 2983003/4801435
278.25/276.13	c cleaning 10002 clauses out of 20013 with flag 2993003/4811435
278.75/276.66	c cleaning 10000 clauses out of 20009 with flag 3003001/4821433
279.25/277.20	c cleaning 9999 clauses out of 20010 with flag 3013002/4831434
279.85/277.72	c cleaning 10000 clauses out of 20009 with flag 3023000/4841432
280.35/278.23	c cleaning 9998 clauses out of 20010 with flag 3033001/4851433
280.85/278.78	c cleaning 10001 clauses out of 20011 with flag 3043000/4861432
281.46/279.30	c cleaning 9998 clauses out of 20011 with flag 3053001/4871433
281.95/279.82	c cleaning 10002 clauses out of 20012 with flag 3063000/4881432
282.45/280.35	c cleaning 9999 clauses out of 20011 with flag 3073001/4891433
282.95/280.88	c cleaning 9997 clauses out of 20012 with flag 3083001/4901433
283.45/281.38	c cleaning 9999 clauses out of 20014 with flag 3093000/4911432
284.05/281.91	c cleaning 10004 clauses out of 20015 with flag 3103000/4921432
284.55/282.45	c cleaning 9997 clauses out of 20012 with flag 3113001/4931433
285.06/282.95	c cleaning 10002 clauses out of 20014 with flag 3123000/4941432
285.67/283.50	c cleaning 10004 clauses out of 20015 with flag 3133003/4951435
286.17/284.01	c cleaning 9998 clauses out of 20008 with flag 3143000/4961432
286.67/284.53	c cleaning 9996 clauses out of 20010 with flag 3153000/4971432
287.17/285.04	c cleaning 10008 clauses out of 20018 with flag 3163004/4981436
287.67/285.56	c cleaning 9993 clauses out of 20006 with flag 3173000/4991432
288.18/286.06	c cleaning 9999 clauses out of 20013 with flag 3183000/5001432
288.67/286.55	c cleaning 10002 clauses out of 20015 with flag 3193001/5011433
289.17/287.08	c cleaning 10002 clauses out of 20012 with flag 3203000/5021432
289.67/287.57	c cleaning 10001 clauses out of 20011 with flag 3213001/5031433
290.17/288.06	c cleaning 9994 clauses out of 20009 with flag 3223000/5041432
290.77/288.60	c cleaning 9989 clauses out of 20016 with flag 3233001/5051433
291.27/289.17	c cleaning 10008 clauses out of 20026 with flag 3243000/5061432
291.87/289.70	c cleaning 10004 clauses out of 20018 with flag 3253000/5071432
292.38/290.24	c cleaning 9999 clauses out of 20015 with flag 3263001/5081433
292.98/290.80	c cleaning 10003 clauses out of 20015 with flag 3273000/5091432
293.48/291.34	c cleaning 10001 clauses out of 20012 with flag 3283000/5101432
294.08/291.91	c cleaning 9999 clauses out of 20013 with flag 3293002/5111434
294.58/292.47	c cleaning 9994 clauses out of 20012 with flag 3303000/5121432
295.18/293.01	c cleaning 10002 clauses out of 20019 with flag 3313001/5131433
295.68/293.52	c cleaning 10003 clauses out of 20016 with flag 3323000/5141432
296.18/294.06	c cleaning 9994 clauses out of 20014 with flag 3333001/5151433
296.78/294.63	c cleaning 9998 clauses out of 20019 with flag 3343000/5161432
297.38/295.20	c cleaning 10008 clauses out of 20022 with flag 3353001/5171433
297.88/295.76	c cleaning 10000 clauses out of 20015 with flag 3363002/5181434
298.48/296.31	c cleaning 9995 clauses out of 20013 with flag 3373000/5191432
298.98/296.81	c cleaning 10005 clauses out of 20018 with flag 3383000/5201432
299.48/297.32	c cleaning 10002 clauses out of 20014 with flag 3393001/5211433
299.98/297.85	c cleaning 10002 clauses out of 20014 with flag 3403003/5221435
300.58/298.46	c cleaning 9993 clauses out of 20009 with flag 3413000/5231432
301.18/299.09	c cleaning 10003 clauses out of 20016 with flag 3423000/5241432
301.78/299.61	c cleaning 10000 clauses out of 20014 with flag 3433001/5251433
302.29/300.18	c cleaning 9996 clauses out of 20015 with flag 3443002/5261434
302.89/300.75	c cleaning 9999 clauses out of 20017 with flag 3453000/5271432
303.49/301.34	c cleaning 9998 clauses out of 20018 with flag 3463000/5281432
303.98/301.88	c cleaning 10006 clauses out of 20020 with flag 3473000/5291432
304.59/302.43	c cleaning 10000 clauses out of 20014 with flag 3483000/5301432
305.08/302.97	c cleaning 10000 clauses out of 20015 with flag 3493001/5311433
305.69/303.50	c cleaning 10001 clauses out of 20014 with flag 3503000/5321432
306.19/304.00	c cleaning 10003 clauses out of 20015 with flag 3513002/5331434
306.69/304.53	c cleaning 9997 clauses out of 20011 with flag 3523001/5341433
307.19/305.03	c cleaning 10001 clauses out of 20016 with flag 3533003/5351435
307.69/305.55	c cleaning 10004 clauses out of 20013 with flag 3543001/5361433
308.20/306.08	c cleaning 9999 clauses out of 20008 with flag 3553000/5371432
308.80/306.62	c cleaning 9998 clauses out of 20009 with flag 3563000/5381432
309.30/307.14	c cleaning 9996 clauses out of 20011 with flag 3573000/5391432
309.80/307.68	c cleaning 10003 clauses out of 20015 with flag 3583000/5401432
310.40/308.23	c cleaning 9999 clauses out of 20014 with flag 3593002/5411434
310.90/308.75	c cleaning 10002 clauses out of 20014 with flag 3603001/5421433
311.40/309.27	c cleaning 10000 clauses out of 20012 with flag 3613001/5431433
312.00/309.82	c cleaning 9999 clauses out of 20013 with flag 3623002/5441434
312.60/310.41	c cleaning 10003 clauses out of 20014 with flag 3633002/5451434
313.10/310.93	c cleaning 9999 clauses out of 20011 with flag 3643002/5461434
313.71/311.50	c cleaning 9998 clauses out of 20010 with flag 3653000/5471432
314.21/312.05	c cleaning 10003 clauses out of 20013 with flag 3663001/5481433
314.71/312.57	c cleaning 10000 clauses out of 20009 with flag 3673000/5491432
315.31/313.15	c cleaning 9996 clauses out of 20011 with flag 3683002/5501434
315.81/313.64	c cleaning 10002 clauses out of 20016 with flag 3693003/5511435
316.31/314.19	c cleaning 9993 clauses out of 20011 with flag 3703000/5521432
316.91/314.74	c cleaning 10004 clauses out of 20020 with flag 3713002/5531434
317.41/315.29	c cleaning 10000 clauses out of 20014 with flag 3723000/5541432
318.01/315.87	c cleaning 10003 clauses out of 20015 with flag 3733001/5551433
318.61/316.47	c cleaning 10001 clauses out of 20014 with flag 3743003/5561435
319.11/316.98	c cleaning 9998 clauses out of 20011 with flag 3753001/5571433
319.71/317.53	c cleaning 9999 clauses out of 20014 with flag 3763002/5581434
320.22/318.06	c cleaning 10003 clauses out of 20014 with flag 3773001/5591433
320.82/318.63	c cleaning 10000 clauses out of 20010 with flag 3783000/5601432
321.32/319.16	c cleaning 9998 clauses out of 20011 with flag 3793001/5611433
321.92/319.72	c cleaning 10003 clauses out of 20013 with flag 3803001/5621433
322.42/320.28	c cleaning 9998 clauses out of 20009 with flag 3813000/5631432
323.02/320.85	c cleaning 9994 clauses out of 20011 with flag 3823000/5641432
323.62/321.42	c cleaning 10004 clauses out of 20018 with flag 3833001/5651433
324.12/321.98	c cleaning 9998 clauses out of 20013 with flag 3843000/5661432
324.73/322.56	c cleaning 10004 clauses out of 20018 with flag 3853003/5671435
325.33/323.12	c cleaning 10000 clauses out of 20012 with flag 3863001/5681433
325.83/323.67	c cleaning 9995 clauses out of 20013 with flag 3873002/5691434
326.43/324.20	c cleaning 10001 clauses out of 20016 with flag 3883000/5701432
326.93/324.70	c cleaning 10000 clauses out of 20016 with flag 3893001/5711433
327.43/325.22	c cleaning 9998 clauses out of 20015 with flag 3903000/5721432
327.93/325.77	c cleaning 10006 clauses out of 20020 with flag 3913003/5731435
328.53/326.31	c cleaning 9993 clauses out of 20012 with flag 3923001/5741433
329.03/326.85	c cleaning 10002 clauses out of 20018 with flag 3933000/5751432
329.63/327.41	c cleaning 9997 clauses out of 20016 with flag 3943000/5761432
330.13/327.97	c cleaning 10000 clauses out of 20019 with flag 3953000/5771432
330.73/328.57	c cleaning 10005 clauses out of 20021 with flag 3963002/5781434
331.34/329.13	c cleaning 10001 clauses out of 20015 with flag 3973001/5791433
331.94/329.70	c cleaning 9999 clauses out of 20014 with flag 3983001/5801433
332.44/330.26	c cleaning 9999 clauses out of 20014 with flag 3993000/5811432
333.04/330.82	c cleaning 10005 clauses out of 20016 with flag 4003001/5821433
333.64/331.40	c cleaning 10000 clauses out of 20010 with flag 4013000/5831432
334.14/331.94	c cleaning 10001 clauses out of 20010 with flag 4023000/5841432
334.64/332.48	c cleaning 9997 clauses out of 20009 with flag 4033000/5851432
335.24/333.02	c cleaning 9992 clauses out of 20014 with flag 4043002/5861434
335.74/333.54	c cleaning 10005 clauses out of 20021 with flag 4053001/5871433
336.24/334.07	c cleaning 10001 clauses out of 20017 with flag 4063002/5881434
336.84/334.61	c cleaning 9999 clauses out of 20014 with flag 4073000/5891432
337.34/335.13	c cleaning 10002 clauses out of 20015 with flag 4083000/5901432
337.85/335.66	c cleaning 9991 clauses out of 20014 with flag 4093001/5911433
338.45/336.24	c cleaning 10006 clauses out of 20023 with flag 4103001/5921433
338.95/336.77	c cleaning 10003 clauses out of 20016 with flag 4113000/5931432
339.56/337.35	c cleaning 10000 clauses out of 20014 with flag 4123001/5941433
340.06/337.88	c cleaning 10002 clauses out of 20016 with flag 4133003/5951435
340.66/338.40	c cleaning 9997 clauses out of 20011 with flag 4143000/5961432
341.16/338.94	c cleaning 10001 clauses out of 20015 with flag 4153001/5971433
341.66/339.46	c cleaning 10003 clauses out of 20013 with flag 4163000/5981432
342.16/339.96	c cleaning 9996 clauses out of 20010 with flag 4173000/5991432
342.76/340.53	c cleaning 10001 clauses out of 20016 with flag 4183002/6001434
343.36/341.12	c cleaning 9999 clauses out of 20014 with flag 4193001/6011433
343.96/341.70	c cleaning 9997 clauses out of 20014 with flag 4203000/6021432
344.46/342.28	c cleaning 10003 clauses out of 20018 with flag 4213001/6031433
345.06/342.85	c cleaning 10004 clauses out of 20018 with flag 4223004/6041436
345.66/343.48	c cleaning 9993 clauses out of 20011 with flag 4233001/6051433
346.27/344.07	c cleaning 10005 clauses out of 20017 with flag 4243000/6061432
346.87/344.60	c cleaning 10000 clauses out of 20012 with flag 4253000/6071432
347.37/345.15	c cleaning 10000 clauses out of 20012 with flag 4263000/6081432
347.97/345.78	c cleaning 9987 clauses out of 20013 with flag 4273001/6091433
348.57/346.33	c cleaning 10009 clauses out of 20025 with flag 4283000/6101432
349.07/346.89	c cleaning 10003 clauses out of 20016 with flag 4293000/6111432
349.67/347.40	c cleaning 10002 clauses out of 20014 with flag 4303001/6121433
350.17/347.97	c cleaning 10002 clauses out of 20015 with flag 4313004/6131436
350.78/348.54	c cleaning 9997 clauses out of 20009 with flag 4323000/6141432
351.28/349.07	c cleaning 10002 clauses out of 20013 with flag 4333001/6151433
351.88/349.62	c cleaning 10004 clauses out of 20013 with flag 4343003/6161435
352.38/350.16	c cleaning 9991 clauses out of 20007 with flag 4353001/6171433
352.88/350.69	c cleaning 10003 clauses out of 20016 with flag 4363001/6181433
353.48/351.28	c cleaning 10003 clauses out of 20016 with flag 4373004/6191436
354.19/351.90	c cleaning 9994 clauses out of 20009 with flag 4383000/6201432
354.78/352.53	c cleaning 9996 clauses out of 20015 with flag 4393000/6211432
355.29/353.09	c cleaning 10001 clauses out of 20020 with flag 4403001/6221433
355.88/353.67	c cleaning 10008 clauses out of 20021 with flag 4413003/6231435
356.49/354.26	c cleaning 9998 clauses out of 20011 with flag 4423001/6241433
357.09/354.86	c cleaning 9999 clauses out of 20015 with flag 4433003/6251435
357.69/355.44	c cleaning 9993 clauses out of 20013 with flag 4443000/6261432
358.29/356.00	c cleaning 10004 clauses out of 20021 with flag 4453001/6271433
358.79/356.56	c cleaning 9999 clauses out of 20016 with flag 4463000/6281432
359.39/357.16	c cleaning 10003 clauses out of 20021 with flag 4473004/6291436
360.09/357.82	c cleaning 9996 clauses out of 20014 with flag 4483000/6301432
360.69/358.46	c cleaning 10005 clauses out of 20018 with flag 4493000/6311432
361.29/359.04	c cleaning 9998 clauses out of 20013 with flag 4503000/6321432
361.90/359.60	c cleaning 10004 clauses out of 20016 with flag 4513001/6331433
362.49/360.20	c cleaning 9999 clauses out of 20011 with flag 4523000/6341432
363.10/360.87	c cleaning 9996 clauses out of 20012 with flag 4533000/6351432
363.79/361.55	c cleaning 9993 clauses out of 20016 with flag 4543000/6361432
364.39/362.16	c cleaning 10007 clauses out of 20024 with flag 4553002/6371434
365.10/362.85	c cleaning 9997 clauses out of 20016 with flag 4563001/6381433
365.21/362.98	c starts		: 307
365.21/362.98	c conflicts		: 6383336
365.21/362.98	c decisions		: 10234673
365.21/362.98	c propagations		: 336053745
365.21/362.98	c inspects		: 3215440701
365.21/362.98	c shortcuts		: 0
365.21/362.98	c learnt literals	: 5
365.21/362.98	c learnt binary clauses	: 28
365.21/362.98	c learnt ternary clauses	: 1966
365.21/362.98	c learnt constraints	: 6383330
365.21/362.98	c ignored constraints	: 0
365.21/362.98	c root simplifications	: 0
365.21/362.98	c removed literals (reason simplification)	: 31386437
365.21/362.98	c reason swapping (by a shorter reason)	: 0
365.21/362.98	c Calls to reduceDB	: 652
365.21/362.98	c number of reductions to clauses (during analyze)	: 0
365.21/362.98	c number of learned constraints concerned by reduction	: 0
365.21/362.98	c number of learning phase by resolution	: 0
365.21/362.98	c number of learning phase by cutting planes	: 0
365.21/362.98	c speed (assignments/second)	: 1333901.2554925317
365.21/362.98	c non guided choices	4121
365.21/362.98	c learnt constraints type 
365.21/362.98	c constraints type 
365.21/362.98	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2523
365.21/362.98	c org.sat4j.minisat.constraints.card.MinWatchCard => 11
365.21/362.98	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 161
365.21/362.98	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
365.21/362.98	s OPTIMUM FOUND
365.21/362.98	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 
365.21/362.98	c objective function=7
365.21/362.98	c Total wall clock time (in seconds): 362.87

Verifier Data 

OK	7

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 2/196 27671
/proc/meminfo: memFree=1917152/32951124 swapFree=67063272/67111528
[pid=27671] ppid=27669 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/27671/stat : 27671 (java) R 27669 27671 25773 0 -1 4202496 953 0 0 0 0 0 0 0 25 0 1 0 902652015 23580672 695 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232330929640 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27671/statm: 5757 695 512 9 0 124 0

[startup+0.0688889 s]
/proc/loadavg: 2.00 2.00 1.91 2/196 27671
/proc/meminfo: memFree=1917152/32951124 swapFree=67063272/67111528
[pid=27671] ppid=27669 vsize=10538476 CPUtime=0.06 cores=0,2,4,6
/proc/27671/stat : 27671 (java) S 27669 27671 25773 0 -1 4202496 11759 0 1 0 4 2 0 0 25 0 18 0 902652015 10791399424 11454 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27671/statm: 2634619 11455 1742 9 0 2625353 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538476

[startup+0.10091 s]
/proc/loadavg: 2.00 2.00 1.91 2/196 27671
/proc/meminfo: memFree=1917152/32951124 swapFree=67063272/67111528
[pid=27671] ppid=27669 vsize=10540288 CPUtime=0.1 cores=0,2,4,6
/proc/27671/stat : 27671 (java) S 27669 27671 25773 0 -1 4202496 13087 0 1 0 8 2 0 0 25 0 18 0 902652015 10793254912 12744 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27671/statm: 2635072 12746 2093 9 0 2625806 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540288

[startup+0.300866 s]
/proc/loadavg: 2.00 2.00 1.91 2/196 27671
/proc/meminfo: memFree=1917152/32951124 swapFree=67063272/67111528
[pid=27671] ppid=27669 vsize=10543532 CPUtime=0.49 cores=0,2,4,6
/proc/27671/stat : 27671 (java) S 27669 27671 25773 0 -1 4202496 16210 0 1 0 47 2 0 0 25 0 18 0 902652015 10796576768 15514 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27671/statm: 2635883 15514 2201 9 0 2626617 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10543532

[startup+0.700753 s]
/proc/loadavg: 2.00 2.00 1.91 2/196 27671
/proc/meminfo: memFree=1917152/32951124 swapFree=67063272/67111528
[pid=27671] ppid=27669 vsize=10550172 CPUtime=1.47 cores=0,2,4,6
/proc/27671/stat : 27671 (java) S 27669 27671 25773 0 -1 4202496 22256 0 1 0 144 3 0 0 25 0 19 0 902652015 10803376128 19029 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27671/statm: 2637543 19029 2225 9 0 2628277 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10550172

[startup+1.50062 s]
/proc/loadavg: 2.00 2.00 1.91 3/215 27690
/proc/meminfo: memFree=1848268/32951124 swapFree=67063272/67111528
[pid=27671] ppid=27669 vsize=10550172 CPUtime=2.36 cores=0,2,4,6
/proc/27671/stat : 27671 (java) S 27669 27671 25773 0 -1 4202496 24072 0 1 0 232 4 0 0 25 0 19 0 902652015 10803376128 20707 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27671/statm: 2637543 20707 2253 9 0 2628277 0
[pid=27671/tid=27673] ppid=27669 vsize=10550172 CPUtime=1.47 cores=0,2,4,6
/proc/27671/task/27673/stat : 27673 (java) R 27669 27671 25773 0 -1 4202560 14879 0 1 0 145 2 0 0 20 0 19 0 902652016 10803376128 20707 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 46912505721805 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27671/tid=27674] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27674/stat : 27674 (java) S 27669 27671 25773 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902652018 10803376128 20707 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27675] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27675/stat : 27675 (java) S 27669 27671 25773 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902652018 10803376128 20707 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27676] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27676/stat : 27676 (java) S 27669 27671 25773 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902652018 10803376128 20707 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27677] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27677/stat : 27677 (java) S 27669 27671 25773 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902652018 10803376128 20707 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27678] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27678/stat : 27678 (java) S 27669 27671 25773 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902652018 10803376128 20707 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27679] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27679/stat : 27679 (java) S 27669 27671 25773 0 -1 4202560 103 0 0 0 0 0 0 0 18 0 19 0 902652018 10803376128 20707 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27680] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27680/stat : 27680 (java) S 27669 27671 25773 0 -1 4202560 180 0 0 0 0 0 0 0 18 0 19 0 902652018 10803376128 20707 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27681] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27681/stat : 27681 (java) S 27669 27671 25773 0 -1 4202560 191 0 0 0 0 0 0 0 18 0 19 0 902652018 10803376128 20707 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27682] ppid=27669 vsize=10550172 CPUtime=0.01 cores=0,2,4,6
/proc/27671/task/27682/stat : 27682 (java) S 27669 27671 25773 0 -1 4202560 489 0 0 0 1 0 0 0 16 0 19 0 902652019 10803376128 20707 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 0 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27683] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27683/stat : 27683 (java) S 27669 27671 25773 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902652019 10803376128 20707 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27684] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27684/stat : 27684 (java) S 27669 27671 25773 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902652019 10803376128 20707 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27685] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27685/stat : 27685 (java) S 27669 27671 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652021 10803376128 20707 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347716017 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27686] ppid=27669 vsize=10550172 CPUtime=0.43 cores=0,2,4,6
/proc/27671/task/27686/stat : 27686 (java) S 27669 27671 25773 0 -1 4202560 3728 0 0 0 43 0 0 0 16 0 19 0 902652021 10803376128 20707 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27687] ppid=27669 vsize=10550172 CPUtime=0.43 cores=0,2,4,6
/proc/27671/task/27687/stat : 27687 (java) S 27669 27671 25773 0 -1 4202560 3328 0 0 0 42 1 0 0 15 0 19 0 902652021 10803376128 20707 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27688] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27688/stat : 27688 (java) S 27669 27671 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652021 10803376128 20707 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27689] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27689/stat : 27689 (java) S 27669 27671 25773 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902652021 10803376128 20707 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27690] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27690/stat : 27690 (java) S 27669 27671 25773 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902652047 10803376128 20707 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 10550172

[startup+3.10131 s]
/proc/loadavg: 2.00 2.00 1.91 3/215 27690
/proc/meminfo: memFree=1840928/32951124 swapFree=67063272/67111528
[pid=27671] ppid=27669 vsize=10550172 CPUtime=4.11 cores=0,2,4,6
/proc/27671/stat : 27671 (java) S 27669 27671 25773 0 -1 4202496 27416 0 1 0 406 5 0 0 25 0 19 0 902652015 10803376128 21229 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27671/statm: 2637543 21229 2253 9 0 2628277 0
[pid=27671/tid=27673] ppid=27669 vsize=10550172 CPUtime=3.02 cores=0,2,4,6
/proc/27671/task/27673/stat : 27673 (java) R 27669 27671 25773 0 -1 4202560 14882 0 1 0 300 2 0 0 25 0 19 0 902652016 10803376128 21229 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 46912505724412 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27671/tid=27674] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27674/stat : 27674 (java) S 27669 27671 25773 0 -1 4202560 217 0 0 0 0 0 0 0 16 0 19 0 902652018 10803376128 21229 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27675] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27675/stat : 27675 (java) S 27669 27671 25773 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902652018 10803376128 21229 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27676] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27676/stat : 27676 (java) S 27669 27671 25773 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 902652018 10803376128 21229 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27677] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27677/stat : 27677 (java) S 27669 27671 25773 0 -1 4202560 28 0 0 0 0 0 0 0 16 0 19 0 902652018 10803376128 21229 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27678] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27678/stat : 27678 (java) S 27669 27671 25773 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 902652018 10803376128 21229 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27679] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27679/stat : 27679 (java) S 27669 27671 25773 0 -1 4202560 103 0 0 0 0 0 0 0 16 0 19 0 902652018 10803376128 21229 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27680] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27680/stat : 27680 (java) S 27669 27671 25773 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 19 0 902652018 10803376128 21229 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27681] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27681/stat : 27681 (java) S 27669 27671 25773 0 -1 4202560 193 0 0 0 0 0 0 0 15 0 19 0 902652018 10803376128 21229 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27682] ppid=27669 vsize=10550172 CPUtime=0.05 cores=0,2,4,6
/proc/27671/task/27682/stat : 27682 (java) S 27669 27671 25773 0 -1 4202560 670 0 0 0 5 0 0 0 15 0 19 0 902652019 10803376128 21229 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 0 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27683] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27683/stat : 27683 (java) S 27669 27671 25773 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902652019 10803376128 21229 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27684] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27684/stat : 27684 (java) S 27669 27671 25773 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902652019 10803376128 21229 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27685] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27685/stat : 27685 (java) S 27669 27671 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652021 10803376128 21229 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347716017 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27686] ppid=27669 vsize=10550172 CPUtime=0.43 cores=0,2,4,6
/proc/27671/task/27686/stat : 27686 (java) S 27669 27671 25773 0 -1 4202560 3730 0 0 0 43 0 0 0 15 0 19 0 902652021 10803376128 21229 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27687] ppid=27669 vsize=10550172 CPUtime=0.56 cores=0,2,4,6
/proc/27671/task/27687/stat : 27687 (java) S 27669 27671 25773 0 -1 4202560 6164 0 0 0 55 1 0 0 15 0 19 0 902652021 10803376128 21229 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27688] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27688/stat : 27688 (java) S 27669 27671 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652021 10803376128 21229 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27689] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27689/stat : 27689 (java) S 27669 27671 25773 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902652021 10803376128 21229 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27690] ppid=27669 vsize=10550172 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27690/stat : 27690 (java) S 27669 27671 25773 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902652047 10803376128 21229 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 10550172

[startup+6.30081 s]
/proc/loadavg: 2.00 2.00 1.91 3/215 27690
/proc/meminfo: memFree=1838816/32951124 swapFree=67063272/67111528
[pid=27671] ppid=27669 vsize=10548176 CPUtime=7.31 cores=0,2,4,6
/proc/27671/stat : 27671 (java) S 27669 27671 25773 0 -1 4202496 27738 0 1 0 726 5 0 0 25 0 19 0 902652015 10801332224 20944 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27671/statm: 2637044 20944 2253 9 0 2627778 0
[pid=27671/tid=27673] ppid=27669 vsize=10548176 CPUtime=6.11 cores=0,2,4,6
/proc/27671/task/27673/stat : 27673 (java) R 27669 27671 25773 0 -1 4202560 14890 0 1 0 609 2 0 0 25 0 19 0 902652016 10801332224 20944 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 46912505657032 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27671/tid=27674] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27674/stat : 27674 (java) S 27669 27671 25773 0 -1 4202560 217 0 0 0 0 0 0 0 16 0 19 0 902652018 10801332224 20944 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27675] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27675/stat : 27675 (java) S 27669 27671 25773 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 902652018 10801332224 20944 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27676] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27676/stat : 27676 (java) S 27669 27671 25773 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 902652018 10801332224 20944 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27677] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27677/stat : 27677 (java) S 27669 27671 25773 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 902652018 10801332224 20944 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27678] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27678/stat : 27678 (java) S 27669 27671 25773 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 19 0 902652018 10801332224 20944 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27679] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27679/stat : 27679 (java) S 27669 27671 25773 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 902652018 10801332224 20944 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27680] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27680/stat : 27680 (java) S 27669 27671 25773 0 -1 4202560 197 0 0 0 0 0 0 0 16 0 19 0 902652018 10801332224 20944 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27681] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27681/stat : 27681 (java) S 27669 27671 25773 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 19 0 902652018 10801332224 20944 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27682] ppid=27669 vsize=10548176 CPUtime=0.14 cores=0,2,4,6
/proc/27671/task/27682/stat : 27682 (java) S 27669 27671 25773 0 -1 4202560 737 0 0 0 14 0 0 0 15 0 19 0 902652019 10801332224 20944 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 0 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27683] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27683/stat : 27683 (java) S 27669 27671 25773 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902652019 10801332224 20944 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27684] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27684/stat : 27684 (java) S 27669 27671 25773 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902652019 10801332224 20944 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27685] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27685/stat : 27685 (java) S 27669 27671 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652021 10801332224 20944 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347716017 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27686] ppid=27669 vsize=10548176 CPUtime=0.43 cores=0,2,4,6
/proc/27671/task/27686/stat : 27686 (java) S 27669 27671 25773 0 -1 4202560 3730 0 0 0 43 0 0 0 15 0 19 0 902652021 10801332224 20944 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27687] ppid=27669 vsize=10548176 CPUtime=0.56 cores=0,2,4,6
/proc/27671/task/27687/stat : 27687 (java) S 27669 27671 25773 0 -1 4202560 6164 0 0 0 55 1 0 0 15 0 19 0 902652021 10801332224 20944 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27688] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27688/stat : 27688 (java) S 27669 27671 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652021 10801332224 20944 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27689] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27689/stat : 27689 (java) S 27669 27671 25773 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902652021 10801332224 20944 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27690] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27690/stat : 27690 (java) S 27669 27671 25773 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902652047 10801332224 20944 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.31
Current children cumulated vsize (KiB) 10548176

[startup+12.7006 s]

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

/proc/27671/task/27674/stat : 27674 (java) S 27669 27671 25773 0 -1 4202560 235 0 0 0 19 0 0 0 15 0 19 0 902652018 10801332224 26194 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27675] ppid=27669 vsize=10548176 CPUtime=0.22 cores=0,2,4,6
/proc/27671/task/27675/stat : 27675 (java) S 27669 27671 25773 0 -1 4202560 78 0 0 0 22 0 0 0 15 0 19 0 902652018 10801332224 26194 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27676] ppid=27669 vsize=10548176 CPUtime=0.19 cores=0,2,4,6
/proc/27671/task/27676/stat : 27676 (java) S 27669 27671 25773 0 -1 4202560 49 0 0 0 19 0 0 0 16 0 19 0 902652018 10801332224 26194 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27677] ppid=27669 vsize=10548176 CPUtime=0.21 cores=0,2,4,6
/proc/27671/task/27677/stat : 27677 (java) S 27669 27671 25773 0 -1 4202560 44 0 0 0 21 0 0 0 15 0 19 0 902652018 10801332224 26194 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27678] ppid=27669 vsize=10548176 CPUtime=0.19 cores=0,2,4,6
/proc/27671/task/27678/stat : 27678 (java) S 27669 27671 25773 0 -1 4202560 127 0 0 0 19 0 0 0 15 0 19 0 902652018 10801332224 26194 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27679] ppid=27669 vsize=10548176 CPUtime=0.21 cores=0,2,4,6
/proc/27671/task/27679/stat : 27679 (java) S 27669 27671 25773 0 -1 4202560 225 0 0 0 21 0 0 0 15 0 19 0 902652018 10801332224 26194 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27680] ppid=27669 vsize=10548176 CPUtime=0.18 cores=0,2,4,6
/proc/27671/task/27680/stat : 27680 (java) S 27669 27671 25773 0 -1 4202560 215 0 0 0 18 0 0 0 15 0 19 0 902652018 10801332224 26194 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27681] ppid=27669 vsize=10548176 CPUtime=0.19 cores=0,2,4,6
/proc/27671/task/27681/stat : 27681 (java) S 27669 27671 25773 0 -1 4202560 208 0 0 0 19 0 0 0 15 0 19 0 902652018 10801332224 26194 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27682] ppid=27669 vsize=10548176 CPUtime=11.34 cores=0,2,4,6
/proc/27671/task/27682/stat : 27682 (java) S 27669 27671 25773 0 -1 4202560 1699 0 0 0 1125 9 0 0 15 0 19 0 902652019 10801332224 26194 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 0 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27683] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27683/stat : 27683 (java) S 27669 27671 25773 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902652019 10801332224 26194 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27684] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27684/stat : 27684 (java) S 27669 27671 25773 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902652019 10801332224 26194 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27685] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27685/stat : 27685 (java) S 27669 27671 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652021 10801332224 26194 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347716017 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27686] ppid=27669 vsize=10548176 CPUtime=0.48 cores=0,2,4,6
/proc/27671/task/27686/stat : 27686 (java) S 27669 27671 25773 0 -1 4202560 3732 0 0 0 48 0 0 0 15 0 19 0 902652021 10801332224 26194 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27687] ppid=27669 vsize=10548176 CPUtime=1.16 cores=0,2,4,6
/proc/27671/task/27687/stat : 27687 (java) S 27669 27671 25773 0 -1 4202560 14995 0 0 0 114 2 0 0 15 0 19 0 902652021 10801332224 26194 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27688] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27688/stat : 27688 (java) S 27669 27671 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652021 10801332224 26194 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27689] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27689/stat : 27689 (java) S 27669 27671 25773 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 902652021 10801332224 26194 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27690] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27690/stat : 27690 (java) S 27669 27671 25773 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902652047 10801332224 26194 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 363.79
Current children cumulated vsize (KiB) 10548176

[startup+362.301 s]
/proc/loadavg: 2.11 2.08 1.96 3/215 27700
/proc/meminfo: memFree=1815972/32951124 swapFree=67063272/67111528
[pid=27671] ppid=27669 vsize=10548176 CPUtime=364.6 cores=0,2,4,6
/proc/27671/stat : 27671 (java) S 27669 27671 25773 0 -1 4202496 38309 0 1 0 36441 19 0 0 25 0 19 0 902652015 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27671/statm: 2637044 26195 2255 9 0 2627778 0
[pid=27671/tid=27673] ppid=27669 vsize=10548176 CPUtime=349.9 cores=0,2,4,6
/proc/27671/task/27673/stat : 27673 (java) R 27669 27671 25773 0 -1 4202560 15530 0 1 0 34987 3 0 0 25 0 19 0 902652016 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 46912505709978 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27671/tid=27674] ppid=27669 vsize=10548176 CPUtime=0.19 cores=0,2,4,6
/proc/27671/task/27674/stat : 27674 (java) S 27669 27671 25773 0 -1 4202560 235 0 0 0 19 0 0 0 15 0 19 0 902652018 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27675] ppid=27669 vsize=10548176 CPUtime=0.22 cores=0,2,4,6
/proc/27671/task/27675/stat : 27675 (java) S 27669 27671 25773 0 -1 4202560 78 0 0 0 22 0 0 0 15 0 19 0 902652018 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27676] ppid=27669 vsize=10548176 CPUtime=0.19 cores=0,2,4,6
/proc/27671/task/27676/stat : 27676 (java) S 27669 27671 25773 0 -1 4202560 49 0 0 0 19 0 0 0 15 0 19 0 902652018 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27677] ppid=27669 vsize=10548176 CPUtime=0.21 cores=0,2,4,6
/proc/27671/task/27677/stat : 27677 (java) S 27669 27671 25773 0 -1 4202560 44 0 0 0 21 0 0 0 15 0 19 0 902652018 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27678] ppid=27669 vsize=10548176 CPUtime=0.19 cores=0,2,4,6
/proc/27671/task/27678/stat : 27678 (java) S 27669 27671 25773 0 -1 4202560 127 0 0 0 19 0 0 0 16 0 19 0 902652018 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27679] ppid=27669 vsize=10548176 CPUtime=0.21 cores=0,2,4,6
/proc/27671/task/27679/stat : 27679 (java) S 27669 27671 25773 0 -1 4202560 225 0 0 0 21 0 0 0 15 0 19 0 902652018 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27680] ppid=27669 vsize=10548176 CPUtime=0.18 cores=0,2,4,6
/proc/27671/task/27680/stat : 27680 (java) S 27669 27671 25773 0 -1 4202560 215 0 0 0 18 0 0 0 15 0 19 0 902652018 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27681] ppid=27669 vsize=10548176 CPUtime=0.19 cores=0,2,4,6
/proc/27671/task/27681/stat : 27681 (java) S 27669 27671 25773 0 -1 4202560 208 0 0 0 19 0 0 0 15 0 19 0 902652018 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27682] ppid=27669 vsize=10548176 CPUtime=11.38 cores=0,2,4,6
/proc/27671/task/27682/stat : 27682 (java) S 27669 27671 25773 0 -1 4202560 1699 0 0 0 1129 9 0 0 15 0 19 0 902652019 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 0 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27683] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27683/stat : 27683 (java) S 27669 27671 25773 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902652019 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27684] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27684/stat : 27684 (java) S 27669 27671 25773 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902652019 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27685] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27685/stat : 27685 (java) S 27669 27671 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652021 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347716017 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27686] ppid=27669 vsize=10548176 CPUtime=0.48 cores=0,2,4,6
/proc/27671/task/27686/stat : 27686 (java) S 27669 27671 25773 0 -1 4202560 3732 0 0 0 48 0 0 0 15 0 19 0 902652021 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27687] ppid=27669 vsize=10548176 CPUtime=1.16 cores=0,2,4,6
/proc/27671/task/27687/stat : 27687 (java) S 27669 27671 25773 0 -1 4202560 14995 0 0 0 114 2 0 0 15 0 19 0 902652021 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27688] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27688/stat : 27688 (java) S 27669 27671 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652021 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27689] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27689/stat : 27689 (java) S 27669 27671 25773 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 902652021 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27690] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27690/stat : 27690 (java) S 27669 27671 25773 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902652047 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 364.6
Current children cumulated vsize (KiB) 10548176

[startup+362.701 s]
/proc/loadavg: 2.11 2.08 1.96 3/215 27700
/proc/meminfo: memFree=1815972/32951124 swapFree=67063272/67111528
[pid=27671] ppid=27669 vsize=10548176 CPUtime=365 cores=0,2,4,6
/proc/27671/stat : 27671 (java) S 27669 27671 25773 0 -1 4202496 38310 0 1 0 36481 19 0 0 25 0 19 0 902652015 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27671/statm: 2637044 26195 2255 9 0 2627778 0
[pid=27671/tid=27673] ppid=27669 vsize=10548176 CPUtime=350.3 cores=0,2,4,6
/proc/27671/task/27673/stat : 27673 (java) R 27669 27671 25773 0 -1 4202560 15530 0 1 0 35027 3 0 0 25 0 19 0 902652016 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 46912505734176 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27671/tid=27674] ppid=27669 vsize=10548176 CPUtime=0.19 cores=0,2,4,6
/proc/27671/task/27674/stat : 27674 (java) S 27669 27671 25773 0 -1 4202560 235 0 0 0 19 0 0 0 15 0 19 0 902652018 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27675] ppid=27669 vsize=10548176 CPUtime=0.22 cores=0,2,4,6
/proc/27671/task/27675/stat : 27675 (java) S 27669 27671 25773 0 -1 4202560 78 0 0 0 22 0 0 0 15 0 19 0 902652018 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27676] ppid=27669 vsize=10548176 CPUtime=0.19 cores=0,2,4,6
/proc/27671/task/27676/stat : 27676 (java) S 27669 27671 25773 0 -1 4202560 49 0 0 0 19 0 0 0 15 0 19 0 902652018 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27677] ppid=27669 vsize=10548176 CPUtime=0.21 cores=0,2,4,6
/proc/27671/task/27677/stat : 27677 (java) S 27669 27671 25773 0 -1 4202560 44 0 0 0 21 0 0 0 15 0 19 0 902652018 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27678] ppid=27669 vsize=10548176 CPUtime=0.19 cores=0,2,4,6
/proc/27671/task/27678/stat : 27678 (java) S 27669 27671 25773 0 -1 4202560 127 0 0 0 19 0 0 0 16 0 19 0 902652018 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27679] ppid=27669 vsize=10548176 CPUtime=0.21 cores=0,2,4,6
/proc/27671/task/27679/stat : 27679 (java) S 27669 27671 25773 0 -1 4202560 225 0 0 0 21 0 0 0 15 0 19 0 902652018 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27680] ppid=27669 vsize=10548176 CPUtime=0.18 cores=0,2,4,6
/proc/27671/task/27680/stat : 27680 (java) S 27669 27671 25773 0 -1 4202560 215 0 0 0 18 0 0 0 15 0 19 0 902652018 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27681] ppid=27669 vsize=10548176 CPUtime=0.19 cores=0,2,4,6
/proc/27671/task/27681/stat : 27681 (java) S 27669 27671 25773 0 -1 4202560 208 0 0 0 19 0 0 0 15 0 19 0 902652018 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27682] ppid=27669 vsize=10548176 CPUtime=11.38 cores=0,2,4,6
/proc/27671/task/27682/stat : 27682 (java) S 27669 27671 25773 0 -1 4202560 1699 0 0 0 1129 9 0 0 15 0 19 0 902652019 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 0 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27683] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27683/stat : 27683 (java) S 27669 27671 25773 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902652019 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27684] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27684/stat : 27684 (java) S 27669 27671 25773 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902652019 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27685] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27685/stat : 27685 (java) S 27669 27671 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652021 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347716017 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27686] ppid=27669 vsize=10548176 CPUtime=0.49 cores=0,2,4,6
/proc/27671/task/27686/stat : 27686 (java) S 27669 27671 25773 0 -1 4202560 3733 0 0 0 49 0 0 0 15 0 19 0 902652021 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27687] ppid=27669 vsize=10548176 CPUtime=1.16 cores=0,2,4,6
/proc/27671/task/27687/stat : 27687 (java) S 27669 27671 25773 0 -1 4202560 14995 0 0 0 114 2 0 0 15 0 19 0 902652021 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27688] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27688/stat : 27688 (java) S 27669 27671 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652021 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27689] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27689/stat : 27689 (java) S 27669 27671 25773 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 902652021 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27690] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27690/stat : 27690 (java) S 27669 27671 25773 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902652047 10801332224 26195 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 365
Current children cumulated vsize (KiB) 10548176

[startup+362.901 s]
/proc/loadavg: 2.11 2.08 1.96 3/215 27700
/proc/meminfo: memFree=1816092/32951124 swapFree=67063272/67111528
[pid=27671] ppid=27669 vsize=10548176 CPUtime=365.21 cores=0,2,4,6
/proc/27671/stat : 27671 (java) S 27669 27671 25773 0 -1 4202496 38313 0 1 0 36502 19 0 0 25 0 19 0 902652015 10801332224 26197 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27671/statm: 2637044 26197 2255 9 0 2627778 0
[pid=27671/tid=27673] ppid=27669 vsize=10548176 CPUtime=350.49 cores=0,2,4,6
/proc/27671/task/27673/stat : 27673 (java) R 27669 27671 25773 0 -1 4202560 15531 0 1 0 35046 3 0 0 25 0 19 0 902652016 10801332224 26197 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 46912505641421 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27671/tid=27674] ppid=27669 vsize=10548176 CPUtime=0.19 cores=0,2,4,6
/proc/27671/task/27674/stat : 27674 (java) S 27669 27671 25773 0 -1 4202560 235 0 0 0 19 0 0 0 15 0 19 0 902652018 10801332224 26197 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27675] ppid=27669 vsize=10548176 CPUtime=0.22 cores=0,2,4,6
/proc/27671/task/27675/stat : 27675 (java) S 27669 27671 25773 0 -1 4202560 78 0 0 0 22 0 0 0 15 0 19 0 902652018 10801332224 26197 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27676] ppid=27669 vsize=10548176 CPUtime=0.19 cores=0,2,4,6
/proc/27671/task/27676/stat : 27676 (java) S 27669 27671 25773 0 -1 4202560 51 0 0 0 19 0 0 0 15 0 19 0 902652018 10801332224 26197 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27677] ppid=27669 vsize=10548176 CPUtime=0.21 cores=0,2,4,6
/proc/27671/task/27677/stat : 27677 (java) S 27669 27671 25773 0 -1 4202560 44 0 0 0 21 0 0 0 15 0 19 0 902652018 10801332224 26197 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27678] ppid=27669 vsize=10548176 CPUtime=0.19 cores=0,2,4,6
/proc/27671/task/27678/stat : 27678 (java) S 27669 27671 25773 0 -1 4202560 127 0 0 0 19 0 0 0 15 0 19 0 902652018 10801332224 26197 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27679] ppid=27669 vsize=10548176 CPUtime=0.21 cores=0,2,4,6
/proc/27671/task/27679/stat : 27679 (java) S 27669 27671 25773 0 -1 4202560 225 0 0 0 21 0 0 0 15 0 19 0 902652018 10801332224 26197 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27680] ppid=27669 vsize=10548176 CPUtime=0.18 cores=0,2,4,6
/proc/27671/task/27680/stat : 27680 (java) S 27669 27671 25773 0 -1 4202560 215 0 0 0 18 0 0 0 15 0 19 0 902652018 10801332224 26197 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27681] ppid=27669 vsize=10548176 CPUtime=0.19 cores=0,2,4,6
/proc/27671/task/27681/stat : 27681 (java) S 27669 27671 25773 0 -1 4202560 208 0 0 0 19 0 0 0 15 0 19 0 902652018 10801332224 26197 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
[pid=27671/tid=27682] ppid=27669 vsize=10548176 CPUtime=11.4 cores=0,2,4,6
/proc/27671/task/27682/stat : 27682 (java) S 27669 27671 25773 0 -1 4202560 1699 0 0 0 1131 9 0 0 15 0 19 0 902652019 10801332224 26197 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 0 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27683] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27683/stat : 27683 (java) S 27669 27671 25773 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902652019 10801332224 26197 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27684] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27684/stat : 27684 (java) S 27669 27671 25773 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902652019 10801332224 26197 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27685] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27685/stat : 27685 (java) S 27669 27671 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652021 10801332224 26197 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347716017 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27686] ppid=27669 vsize=10548176 CPUtime=0.49 cores=0,2,4,6
/proc/27671/task/27686/stat : 27686 (java) S 27669 27671 25773 0 -1 4202560 3733 0 0 0 49 0 0 0 15 0 19 0 902652021 10801332224 26197 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 0 0 0 0
[pid=27671/tid=27687] ppid=27669 vsize=10548176 CPUtime=1.16 cores=0,2,4,6
/proc/27671/task/27687/stat : 27687 (java) S 27669 27671 25773 0 -1 4202560 14995 0 0 0 114 2 0 0 15 0 19 0 902652021 10801332224 26197 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27688] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27688/stat : 27688 (java) S 27669 27671 25773 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902652021 10801332224 26197 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708313 0 4 0 16800975 18446604453811759296 0 0 -1 2 0 0 0
[pid=27671/tid=27689] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27689/stat : 27689 (java) S 27669 27671 25773 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 902652021 10801332224 26197 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 4 0 16800975 18446604453811759296 0 0 -1 4 0 0 0
[pid=27671/tid=27690] ppid=27669 vsize=10548176 CPUtime=0 cores=0,2,4,6
/proc/27671/task/27690/stat : 27690 (java) S 27669 27671 25773 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902652047 10801332224 26197 33554432000 1073741824 1073778376 140733599506816 18446744073709551615 232347708928 0 4 0 16800975 18446604453811759296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 365.21
Current children cumulated vsize (KiB) 10548176

Child status: 30
Real time (s): 362.987
CPU time (s): 365.299
CPU user time (s): 365.098
CPU system time (s): 0.201969
CPU usage (%): 100.637
Max. virtual memory (cumulated for all children) (KiB): 10550172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 365.097
system time used= 0.201969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38334
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= 24205
involuntary context switches= 11991

runsolver used 0.663899 second user time and 1.34579 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-12 22:28:59
IDJOB=3492710
IDBENCH=78969
IDSOLVER=1982
FILE ID=node132/3492710-1307910539
RUNJOBID= node132-1307908309-27379
PBS_JOBID= 13559574
Free space on /tmp= 13344 MiB

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

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

MD5SUM BENCH= a633e631fdb9de9296374319dc47b460
RANDOM SEED=631755137

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1917440 kB
Buffers:         71004 kB
Cached:       29907984 kB
SwapCached:       9516 kB
Active:       15424468 kB
Inactive:     14668332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1917440 kB
SwapTotal:    67111528 kB
SwapFree:     67063272 kB
Dirty:             516 kB
Writeback:           0 kB
AnonPages:      111964 kB
Mapped:          17664 kB
Slab:           877788 kB
PageTables:       4308 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10538152 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 13344 MiB
End job on node132 at 2011-06-12 22:35:02