Trace number 3492596

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 353.744 351.336

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670167--soft-66-100-0.wbo
MD5SUM3458f76d1c0eafd16754e96da618f7a2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark82.2925
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 constraints925
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 46664
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46663
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 707
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.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.08	c version 2.3.1.v20110525
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.18-164.el5
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		9996466904
0.02/0.08	c Max memory 		10048897024
0.02/0.08	c Total memory 		10048897024
0.02/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3492596-1307910015.wbo
0.10/0.10	c reading problem ... 
0.27/0.30	c ... done. Wall clock time 0.193s.
0.27/0.30	c #vars     1156
0.27/0.30	c #constraints  2707
0.27/0.30	c constraints type 
0.27/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2517
0.27/0.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 14
0.27/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 167
0.27/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 9
0.50/0.39	c SATISFIABLE
0.50/0.39	c OPTIMIZING...
0.50/0.39	c Got one! Elapsed wall clock time (in seconds):0.285
0.50/0.39	o 322
0.75/0.43	c Got one! Elapsed wall clock time (in seconds):0.325
0.75/0.43	o 302
0.75/0.47	c Got one! Elapsed wall clock time (in seconds):0.363
0.75/0.47	o 212
1.06/0.50	c Got one! Elapsed wall clock time (in seconds):0.402
1.06/0.50	o 143
1.06/0.53	c Got one! Elapsed wall clock time (in seconds):0.425
1.06/0.53	o 126
1.31/0.61	c Got one! Elapsed wall clock time (in seconds):0.509
1.31/0.61	o 108
1.31/0.66	c Got one! Elapsed wall clock time (in seconds):0.561
1.31/0.66	o 100
1.42/0.70	c Got one! Elapsed wall clock time (in seconds):0.601
1.42/0.70	o 99
1.52/0.81	c Got one! Elapsed wall clock time (in seconds):0.708
1.52/0.81	o 98
1.63/0.96	c Got one! Elapsed wall clock time (in seconds):0.852
1.63/0.96	o 80
1.85/1.14	c Got one! Elapsed wall clock time (in seconds):1.036
1.85/1.14	o 73
1.97/1.25	c Got one! Elapsed wall clock time (in seconds):1.148
1.97/1.25	o 47
2.08/1.34	c Got one! Elapsed wall clock time (in seconds):1.239
2.08/1.34	o 44
2.19/1.48	c cleaning 4931 clauses out of 9869 with flag 1000/9869
2.32/1.56	c Got one! Elapsed wall clock time (in seconds):1.452
2.32/1.56	o 35
2.53/1.74	c Got one! Elapsed wall clock time (in seconds):1.636
2.53/1.74	o 32
2.73/1.97	c cleaning 5873 clauses out of 11751 with flag 3000/16682
2.84/2.09	c Got one! Elapsed wall clock time (in seconds):1.988
2.84/2.09	o 11
3.14/2.34	c cleaning 5467 clauses out of 10942 with flag 3000/21746
3.58/2.70	c cleaning 5735 clauses out of 11476 with flag 9001/27747
3.98/3.11	c cleaning 6367 clauses out of 12741 with flag 16001/34747
4.38/3.59	c cleaning 7183 clauses out of 14376 with flag 24003/42749
4.98/4.12	c cleaning 8093 clauses out of 16192 with flag 33002/51748
5.58/4.74	c cleaning 9043 clauses out of 18097 with flag 43000/61746
6.19/5.39	c cleaning 9514 clauses out of 19054 with flag 53000/71746
6.79/5.99	c cleaning 9764 clauses out of 19540 with flag 63000/81746
7.40/6.60	c cleaning 9883 clauses out of 19777 with flag 73001/91747
8.09/7.22	c cleaning 9942 clauses out of 19893 with flag 83000/101746
8.70/7.82	c cleaning 9966 clauses out of 19952 with flag 93001/111747
9.21/8.39	c cleaning 9990 clauses out of 19985 with flag 103000/121746
9.81/8.98	c cleaning 9991 clauses out of 19996 with flag 113001/131747
10.41/9.57	c cleaning 9993 clauses out of 20004 with flag 123000/141746
10.51/9.64	c Got one! Elapsed wall clock time (in seconds):9.535
10.51/9.64	o 10
10.81/9.90	c cleaning 7600 clauses out of 15218 with flag 4001/146953
11.11/10.25	c cleaning 6802 clauses out of 13618 with flag 10001/152953
11.51/10.62	c cleaning 6901 clauses out of 13815 with flag 17000/159952
11.92/11.02	c cleaning 7451 clauses out of 14915 with flag 25001/167953
12.41/11.55	c cleaning 8226 clauses out of 16463 with flag 34000/176952
12.92/12.08	c cleaning 9115 clauses out of 18237 with flag 44000/186952
13.51/12.61	c cleaning 9553 clauses out of 19122 with flag 54000/196952
14.02/13.18	c cleaning 9779 clauses out of 19570 with flag 64001/206953
14.62/13.72	c cleaning 9893 clauses out of 19793 with flag 74003/216955
15.12/14.27	c cleaning 9941 clauses out of 19898 with flag 84001/226953
15.72/14.81	c cleaning 9974 clauses out of 19958 with flag 94002/236954
16.22/15.34	c cleaning 9985 clauses out of 19985 with flag 104003/246955
16.22/15.35	c Got one! Elapsed wall clock time (in seconds):15.251
16.22/15.35	o 6
16.52/15.66	c cleaning 7490 clauses out of 15001 with flag 5000/251956
16.82/15.99	c cleaning 6745 clauses out of 13511 with flag 11000/257956
17.22/16.38	c cleaning 6878 clauses out of 13767 with flag 18001/264957
17.72/16.83	c cleaning 7441 clauses out of 14890 with flag 26002/272958
18.12/17.26	c cleaning 8215 clauses out of 16447 with flag 35000/281956
18.63/17.79	c cleaning 9114 clauses out of 18234 with flag 45002/291958
19.23/18.31	c cleaning 9556 clauses out of 19120 with flag 55002/301958
19.73/18.85	c cleaning 9777 clauses out of 19565 with flag 65003/311959
20.23/19.37	c cleaning 9887 clauses out of 19785 with flag 75000/321956
20.74/19.89	c cleaning 9938 clauses out of 19899 with flag 85001/331957
21.33/20.40	c cleaning 9972 clauses out of 19962 with flag 95002/341958
21.43/20.52	c Got one! Elapsed wall clock time (in seconds):20.418
21.43/20.52	o 3
21.63/20.71	c cleaning 7677 clauses out of 15364 with flag 3002/347332
21.93/21.06	c cleaning 6829 clauses out of 13685 with flag 9000/353330
22.33/21.43	c cleaning 6924 clauses out of 13857 with flag 16001/360331
22.73/21.87	c cleaning 7456 clauses out of 14932 with flag 24000/368330
23.23/22.33	c cleaning 8235 clauses out of 16476 with flag 33000/377330
23.73/22.85	c cleaning 9112 clauses out of 18244 with flag 43003/387333
24.23/23.36	c cleaning 9556 clauses out of 19129 with flag 53000/397330
24.84/23.91	c cleaning 9780 clauses out of 19574 with flag 63001/407331
25.34/24.45	c cleaning 9895 clauses out of 19794 with flag 73001/417331
25.84/24.99	c cleaning 9944 clauses out of 19900 with flag 83002/427332
26.34/25.48	c cleaning 9973 clauses out of 19955 with flag 93001/437331
26.86/25.97	c cleaning 9986 clauses out of 19981 with flag 103000/447330
27.36/26.49	c cleaning 9992 clauses out of 19995 with flag 113000/457330
27.96/27.03	c cleaning 9992 clauses out of 20003 with flag 123000/467330
28.46/27.55	c cleaning 10000 clauses out of 20011 with flag 133000/477330
28.66/27.74	c Got one! Elapsed wall clock time (in seconds):27.633
28.66/27.74	o 2
28.76/27.87	c cleaning 7906 clauses out of 15821 with flag 2000/483140
29.17/28.23	c cleaning 6950 clauses out of 13916 with flag 8001/489141
29.57/28.61	c cleaning 6976 clauses out of 13966 with flag 15001/496141
29.97/29.07	c cleaning 7484 clauses out of 14989 with flag 23000/504140
30.47/29.54	c cleaning 8248 clauses out of 16505 with flag 32000/513140
30.97/30.08	c cleaning 9122 clauses out of 18258 with flag 42001/523141
31.57/30.65	c cleaning 9559 clauses out of 19135 with flag 52000/533140
32.07/31.20	c cleaning 9785 clauses out of 19577 with flag 62001/543141
32.67/31.71	c cleaning 9893 clauses out of 19793 with flag 72002/553142
33.17/32.24	c cleaning 9944 clauses out of 19901 with flag 82003/563143
33.67/32.75	c cleaning 9974 clauses out of 19956 with flag 92002/573142
34.18/33.25	c cleaning 9978 clauses out of 19980 with flag 102000/583140
34.68/33.76	c cleaning 9992 clauses out of 20003 with flag 112001/593141
35.18/34.23	c cleaning 10000 clauses out of 20011 with flag 122001/603141
35.68/34.73	c cleaning 10002 clauses out of 20012 with flag 132002/613142
36.18/35.25	c cleaning 9997 clauses out of 20010 with flag 142002/623142
36.68/35.78	c cleaning 10003 clauses out of 20011 with flag 152000/633140
37.19/36.26	c cleaning 10001 clauses out of 20010 with flag 162002/643142
37.68/36.73	c cleaning 9997 clauses out of 20008 with flag 172001/653141
38.18/37.21	c cleaning 9999 clauses out of 20010 with flag 182000/663140
38.68/37.70	c cleaning 9994 clauses out of 20011 with flag 192000/673140
39.18/38.23	c cleaning 10000 clauses out of 20017 with flag 202000/683140
39.68/38.78	c cleaning 10004 clauses out of 20018 with flag 212001/693141
40.19/39.28	c cleaning 10000 clauses out of 20014 with flag 222001/703141
40.79/39.80	c cleaning 10002 clauses out of 20014 with flag 232001/713141
41.28/40.30	c cleaning 10002 clauses out of 20011 with flag 242000/723140
41.79/40.85	c cleaning 9995 clauses out of 20009 with flag 252000/733140
42.29/41.38	c cleaning 10002 clauses out of 20014 with flag 262000/743140
42.79/41.88	c cleaning 10004 clauses out of 20012 with flag 272000/753140
43.29/42.38	c cleaning 10001 clauses out of 20009 with flag 282001/763141
43.80/42.88	c cleaning 9998 clauses out of 20009 with flag 292002/773142
44.30/43.39	c cleaning 9998 clauses out of 20009 with flag 302000/783140
44.91/43.92	c cleaning 10005 clauses out of 20015 with flag 312004/793144
45.40/44.45	c cleaning 10000 clauses out of 20008 with flag 322002/803142
45.90/44.97	c cleaning 9998 clauses out of 20007 with flag 332001/813141
46.40/45.47	c cleaning 10000 clauses out of 20012 with flag 342004/823144
46.90/45.95	c cleaning 9996 clauses out of 20008 with flag 352000/833140
47.40/46.46	c cleaning 10004 clauses out of 20015 with flag 362003/843143
47.90/46.99	c cleaning 9998 clauses out of 20008 with flag 372000/853140
48.50/47.50	c cleaning 10003 clauses out of 20011 with flag 382001/863141
49.01/48.02	c cleaning 9998 clauses out of 20007 with flag 392000/873140
49.51/48.58	c cleaning 10003 clauses out of 20011 with flag 402002/883142
50.11/49.11	c cleaning 10003 clauses out of 20009 with flag 412003/893143
50.52/49.59	c cleaning 9996 clauses out of 20006 with flag 422003/903143
51.01/50.07	c cleaning 9998 clauses out of 20008 with flag 432001/913141
51.62/50.61	c cleaning 9999 clauses out of 20009 with flag 442000/923140
52.11/51.15	c cleaning 10005 clauses out of 20012 with flag 452002/933142
52.62/51.68	c cleaning 9993 clauses out of 20005 with flag 462000/943140
53.21/52.21	c cleaning 10003 clauses out of 20013 with flag 472001/953141
53.72/52.74	c cleaning 9997 clauses out of 20010 with flag 482001/963141
54.22/53.29	c cleaning 10000 clauses out of 20013 with flag 492001/973141
54.83/53.82	c cleaning 10001 clauses out of 20013 with flag 502001/983141
55.22/54.30	c cleaning 10003 clauses out of 20013 with flag 512002/993142
55.73/54.79	c cleaning 9999 clauses out of 20008 with flag 522000/1003140
56.33/55.38	c cleaning 9998 clauses out of 20010 with flag 532001/1013141
56.83/55.89	c cleaning 10002 clauses out of 20011 with flag 542000/1023140
57.43/56.43	c cleaning 10001 clauses out of 20011 with flag 552002/1033142
57.93/56.94	c cleaning 9996 clauses out of 20008 with flag 562000/1043140
58.43/57.48	c cleaning 10003 clauses out of 20013 with flag 572001/1053141
58.93/57.98	c cleaning 10000 clauses out of 20010 with flag 582001/1063141
59.53/58.50	c cleaning 10000 clauses out of 20012 with flag 592003/1073143
60.03/59.02	c cleaning 10000 clauses out of 20010 with flag 602001/1083141
60.53/59.55	c cleaning 9999 clauses out of 20010 with flag 612001/1093141
61.13/60.12	c cleaning 9998 clauses out of 20010 with flag 622000/1103140
61.64/60.66	c cleaning 10001 clauses out of 20012 with flag 632000/1113140
62.14/61.18	c cleaning 10001 clauses out of 20011 with flag 642000/1123140
62.64/61.64	c cleaning 10002 clauses out of 20012 with flag 652002/1133142
63.14/62.12	c cleaning 10001 clauses out of 20009 with flag 662001/1143141
63.64/62.63	c cleaning 9998 clauses out of 20009 with flag 672002/1153142
64.14/63.14	c cleaning 9997 clauses out of 20009 with flag 682000/1163140
64.64/63.62	c cleaning 10002 clauses out of 20014 with flag 692002/1173142
65.14/64.13	c cleaning 10001 clauses out of 20012 with flag 702002/1183142
65.64/64.64	c cleaning 9998 clauses out of 20009 with flag 712000/1193140
66.14/65.13	c cleaning 10000 clauses out of 20011 with flag 722000/1203140
66.64/65.63	c cleaning 9998 clauses out of 20014 with flag 732003/1213143
67.14/66.14	c cleaning 10000 clauses out of 20013 with flag 742000/1223140
67.64/66.64	c cleaning 10003 clauses out of 20013 with flag 752000/1233140
68.15/67.14	c cleaning 10002 clauses out of 20013 with flag 762003/1243143
68.65/67.68	c cleaning 9997 clauses out of 20008 with flag 772000/1253140
69.15/68.20	c cleaning 9999 clauses out of 20011 with flag 782000/1263140
69.74/68.73	c cleaning 9998 clauses out of 20012 with flag 792000/1273140
70.25/69.22	c cleaning 10003 clauses out of 20015 with flag 802001/1283141
70.74/69.74	c cleaning 9997 clauses out of 20011 with flag 812000/1293140
71.25/70.25	c cleaning 10003 clauses out of 20014 with flag 822000/1303140
71.75/70.75	c cleaning 10003 clauses out of 20012 with flag 832001/1313141
72.25/71.27	c cleaning 10000 clauses out of 20010 with flag 842002/1323142
72.75/71.79	c cleaning 10000 clauses out of 20008 with flag 852000/1333140
73.35/72.34	c cleaning 9998 clauses out of 20008 with flag 862000/1343140
73.85/72.83	c cleaning 10001 clauses out of 20011 with flag 872001/1353141
74.35/73.33	c cleaning 9997 clauses out of 20009 with flag 882000/1363140
74.85/73.81	c cleaning 10001 clauses out of 20012 with flag 892000/1373140
75.35/74.35	c cleaning 9998 clauses out of 20011 with flag 902000/1383140
75.86/74.84	c cleaning 9995 clauses out of 20014 with flag 912001/1393141
76.35/75.37	c cleaning 10001 clauses out of 20018 with flag 922000/1403140
76.86/75.89	c cleaning 10004 clauses out of 20017 with flag 932000/1413140
77.46/76.42	c cleaning 10000 clauses out of 20013 with flag 942000/1423140
77.96/76.97	c cleaning 9996 clauses out of 20017 with flag 952004/1433144
78.46/77.49	c cleaning 10001 clauses out of 20018 with flag 962001/1443141
79.06/78.04	c cleaning 10003 clauses out of 20017 with flag 972001/1453141
79.56/78.57	c cleaning 9999 clauses out of 20016 with flag 982003/1463143
80.17/79.14	c cleaning 10000 clauses out of 20015 with flag 992001/1473141
80.67/79.65	c cleaning 10002 clauses out of 20016 with flag 1002002/1483142
81.17/80.13	c cleaning 10001 clauses out of 20012 with flag 1012000/1493140
81.67/80.67	c cleaning 10004 clauses out of 20013 with flag 1022002/1503142
82.17/81.17	c cleaning 10001 clauses out of 20009 with flag 1032002/1513142
82.77/81.70	c cleaning 9997 clauses out of 20006 with flag 1042000/1523140
83.27/82.24	c cleaning 9999 clauses out of 20009 with flag 1052000/1533140
83.77/82.78	c cleaning 9993 clauses out of 20010 with flag 1062000/1543140
84.38/83.32	c cleaning 9997 clauses out of 20017 with flag 1072000/1553140
84.88/83.88	c cleaning 10002 clauses out of 20020 with flag 1082000/1563140
85.48/84.43	c cleaning 10002 clauses out of 20018 with flag 1092000/1573140
85.98/84.96	c cleaning 9998 clauses out of 20016 with flag 1102000/1583140
86.58/85.51	c cleaning 10007 clauses out of 20021 with flag 1112003/1593143
87.08/86.02	c cleaning 9999 clauses out of 20011 with flag 1122000/1603140
87.58/86.52	c cleaning 9997 clauses out of 20012 with flag 1132000/1613140
88.08/87.09	c cleaning 10000 clauses out of 20017 with flag 1142002/1623142
88.68/87.61	c cleaning 9997 clauses out of 20016 with flag 1152001/1633141
89.18/88.13	c cleaning 10001 clauses out of 20018 with flag 1162000/1643140
89.68/88.68	c cleaning 10005 clauses out of 20019 with flag 1172002/1653142
90.19/89.19	c cleaning 10000 clauses out of 20012 with flag 1182000/1663140
90.68/89.69	c cleaning 9998 clauses out of 20012 with flag 1192000/1673140
91.29/90.25	c cleaning 10002 clauses out of 20015 with flag 1202001/1683141
91.88/90.82	c cleaning 9998 clauses out of 20013 with flag 1212001/1693141
92.39/91.38	c cleaning 10003 clauses out of 20015 with flag 1222001/1703141
92.89/91.86	c cleaning 9999 clauses out of 20011 with flag 1232000/1713140
93.39/92.40	c cleaning 9996 clauses out of 20012 with flag 1242000/1723140
93.99/92.96	c cleaning 9997 clauses out of 20016 with flag 1252000/1733140
94.49/93.48	c cleaning 10003 clauses out of 20021 with flag 1262002/1743142
94.99/93.97	c cleaning 10004 clauses out of 20018 with flag 1272002/1753142
95.60/94.53	c cleaning 9999 clauses out of 20012 with flag 1282000/1763140
96.09/95.05	c cleaning 10003 clauses out of 20016 with flag 1292003/1773143
96.60/95.55	c cleaning 10003 clauses out of 20011 with flag 1302001/1783141
97.10/96.09	c cleaning 10000 clauses out of 20010 with flag 1312003/1793143
97.70/96.61	c cleaning 9997 clauses out of 20007 with flag 1322000/1803140
98.20/97.11	c cleaning 9998 clauses out of 20010 with flag 1332000/1813140
98.70/97.61	c cleaning 9997 clauses out of 20012 with flag 1342000/1823140
99.20/98.11	c cleaning 10002 clauses out of 20017 with flag 1352002/1833142
99.70/98.61	c cleaning 9999 clauses out of 20014 with flag 1362001/1843141
100.20/99.14	c cleaning 9999 clauses out of 20017 with flag 1372003/1853143
100.70/99.62	c cleaning 10002 clauses out of 20018 with flag 1382003/1863143
101.21/100.14	c cleaning 10001 clauses out of 20013 with flag 1392000/1873140
101.70/100.64	c cleaning 10003 clauses out of 20013 with flag 1402001/1883141
102.21/101.14	c cleaning 9993 clauses out of 20009 with flag 1412000/1893140
102.70/101.68	c cleaning 10003 clauses out of 20017 with flag 1422001/1903141
103.31/102.24	c cleaning 9994 clauses out of 20014 with flag 1432001/1913141
103.81/102.75	c cleaning 9997 clauses out of 20020 with flag 1442001/1923141
104.31/103.27	c cleaning 10006 clauses out of 20022 with flag 1452000/1933140
104.81/103.76	c cleaning 10002 clauses out of 20016 with flag 1462000/1943140
105.31/104.29	c cleaning 9998 clauses out of 20018 with flag 1472004/1953144
105.91/104.81	c cleaning 10005 clauses out of 20016 with flag 1482000/1963140
106.41/105.35	c cleaning 10002 clauses out of 20013 with flag 1492002/1973142
106.91/105.89	c cleaning 10002 clauses out of 20012 with flag 1502003/1983143
107.51/106.40	c cleaning 9993 clauses out of 20007 with flag 1512000/1993140
108.01/106.90	c cleaning 10001 clauses out of 20014 with flag 1522000/2003140
108.41/107.39	c cleaning 10001 clauses out of 20013 with flag 1532000/2013140
108.92/107.89	c cleaning 10003 clauses out of 20016 with flag 1542004/2023144
109.52/108.42	c cleaning 10005 clauses out of 20013 with flag 1552004/2033144
110.02/108.92	c cleaning 10002 clauses out of 20005 with flag 1562001/2043141
110.52/109.41	c cleaning 9996 clauses out of 20002 with flag 1572000/2053140
111.03/109.91	c cleaning 9992 clauses out of 20006 with flag 1582000/2063140
111.52/110.43	c cleaning 10002 clauses out of 20015 with flag 1592001/2073141
112.02/110.93	c cleaning 10000 clauses out of 20012 with flag 1602000/2083140
112.52/111.49	c cleaning 10000 clauses out of 20013 with flag 1612001/2093141
113.12/112.03	c cleaning 10002 clauses out of 20012 with flag 1622000/2103140
113.62/112.53	c cleaning 9998 clauses out of 20010 with flag 1632000/2113140
114.12/113.05	c cleaning 9999 clauses out of 20012 with flag 1642000/2123140
114.63/113.56	c cleaning 10000 clauses out of 20014 with flag 1652001/2133141
115.13/114.07	c cleaning 9997 clauses out of 20013 with flag 1662000/2143140
115.73/114.61	c cleaning 10000 clauses out of 20016 with flag 1672000/2153140
116.23/115.12	c cleaning 10003 clauses out of 20018 with flag 1682002/2163142
116.63/115.59	c cleaning 9999 clauses out of 20013 with flag 1692000/2173140
117.13/116.10	c cleaning 10004 clauses out of 20014 with flag 1702000/2183140
117.64/116.60	c cleaning 10001 clauses out of 20012 with flag 1712002/2193142
118.23/117.11	c cleaning 9998 clauses out of 20009 with flag 1722000/2203140
118.74/117.60	c cleaning 9998 clauses out of 20012 with flag 1732001/2213141
119.13/118.09	c cleaning 10004 clauses out of 20015 with flag 1742002/2223142
119.73/118.61	c cleaning 10001 clauses out of 20011 with flag 1752002/2233142
120.23/119.10	c cleaning 9997 clauses out of 20008 with flag 1762000/2243140
120.64/119.59	c cleaning 9998 clauses out of 20013 with flag 1772002/2253142
121.24/120.11	c cleaning 10003 clauses out of 20014 with flag 1782001/2263141
121.74/120.64	c cleaning 9991 clauses out of 20010 with flag 1792000/2273140
122.35/121.22	c cleaning 9997 clauses out of 20019 with flag 1802000/2283140
122.85/121.77	c cleaning 10005 clauses out of 20024 with flag 1812002/2293142
123.45/122.36	c cleaning 10004 clauses out of 20019 with flag 1822002/2303142
123.95/122.88	c cleaning 10000 clauses out of 20013 with flag 1832000/2313140
124.45/123.38	c cleaning 10000 clauses out of 20015 with flag 1842002/2323142
124.95/123.89	c cleaning 10000 clauses out of 20013 with flag 1852000/2333140
125.46/124.37	c cleaning 10003 clauses out of 20013 with flag 1862000/2343140
125.95/124.82	c cleaning 9996 clauses out of 20012 with flag 1872002/2353142
126.46/125.30	c cleaning 9996 clauses out of 20016 with flag 1882002/2363142
126.96/125.84	c cleaning 10002 clauses out of 20019 with flag 1892001/2373141
127.46/126.36	c cleaning 10001 clauses out of 20018 with flag 1902002/2383142
128.06/126.94	c cleaning 10001 clauses out of 20016 with flag 1912001/2393141
128.66/127.53	c cleaning 10000 clauses out of 20016 with flag 1922002/2403142
129.16/128.05	c cleaning 10003 clauses out of 20016 with flag 1932002/2413142
129.66/128.58	c cleaning 10004 clauses out of 20013 with flag 1942002/2423142
130.16/129.07	c cleaning 9998 clauses out of 20008 with flag 1952001/2433141
130.76/129.62	c cleaning 10001 clauses out of 20010 with flag 1962001/2443141
131.26/130.19	c cleaning 9995 clauses out of 20008 with flag 1972000/2453140
131.76/130.69	c cleaning 9999 clauses out of 20013 with flag 1982000/2463140
132.36/131.21	c cleaning 10003 clauses out of 20016 with flag 1992002/2473142
132.86/131.74	c cleaning 10003 clauses out of 20011 with flag 2002000/2483140
133.37/132.26	c cleaning 9988 clauses out of 20009 with flag 2012001/2493141
133.87/132.79	c cleaning 10003 clauses out of 20021 with flag 2022001/2503141
134.47/133.31	c cleaning 10002 clauses out of 20017 with flag 2032000/2513140
134.97/133.83	c cleaning 10001 clauses out of 20017 with flag 2042002/2523142
135.47/134.35	c cleaning 10000 clauses out of 20014 with flag 2052000/2533140
135.97/134.87	c cleaning 9993 clauses out of 20017 with flag 2062003/2543143
136.57/135.42	c cleaning 10007 clauses out of 20021 with flag 2072000/2553140
137.17/136.05	c cleaning 9997 clauses out of 20015 with flag 2082001/2563141
137.77/136.61	c cleaning 10001 clauses out of 20017 with flag 2092000/2573140
138.27/137.11	c cleaning 10002 clauses out of 20018 with flag 2102002/2583142
138.77/137.64	c cleaning 10000 clauses out of 20015 with flag 2112001/2593141
139.27/138.14	c cleaning 10000 clauses out of 20014 with flag 2122000/2603140
139.78/138.69	c cleaning 10002 clauses out of 20017 with flag 2132003/2613143
140.38/139.23	c cleaning 9997 clauses out of 20012 with flag 2142000/2623140
140.88/139.76	c cleaning 10003 clauses out of 20016 with flag 2152001/2633141
141.47/140.33	c cleaning 10001 clauses out of 20013 with flag 2162001/2643141
141.98/140.86	c cleaning 10000 clauses out of 20011 with flag 2172000/2653140
142.48/141.37	c cleaning 10002 clauses out of 20012 with flag 2182001/2663141
142.98/141.88	c cleaning 9999 clauses out of 20009 with flag 2192000/2673140
143.58/142.45	c cleaning 10002 clauses out of 20010 with flag 2202000/2683140
144.08/142.97	c cleaning 10001 clauses out of 20010 with flag 2212002/2693142
144.68/143.52	c cleaning 9996 clauses out of 20008 with flag 2222001/2703141
145.18/144.02	c cleaning 9999 clauses out of 20014 with flag 2232003/2713143
145.69/144.50	c cleaning 9996 clauses out of 20012 with flag 2242000/2723140
146.19/145.06	c cleaning 9995 clauses out of 20016 with flag 2252000/2733140
146.69/145.59	c cleaning 10004 clauses out of 20022 with flag 2262001/2743141
147.29/146.13	c cleaning 10001 clauses out of 20018 with flag 2272001/2753141
147.79/146.61	c cleaning 10002 clauses out of 20017 with flag 2282001/2763141
148.29/147.13	c cleaning 10005 clauses out of 20015 with flag 2292001/2773141
148.79/147.65	c cleaning 10002 clauses out of 20011 with flag 2302002/2783142
149.29/148.19	c cleaning 9997 clauses out of 20008 with flag 2312001/2793141
149.90/148.70	c cleaning 10003 clauses out of 20015 with flag 2322005/2803145
150.40/149.21	c cleaning 9997 clauses out of 20007 with flag 2332000/2813140
150.90/149.73	c cleaning 10002 clauses out of 20010 with flag 2342000/2823140
151.40/150.22	c cleaning 9996 clauses out of 20008 with flag 2352000/2833140
151.90/150.72	c cleaning 9998 clauses out of 20013 with flag 2362001/2843141
152.40/151.24	c cleaning 10002 clauses out of 20014 with flag 2372000/2853140
152.91/151.76	c cleaning 10001 clauses out of 20013 with flag 2382001/2863141
153.40/152.26	c cleaning 10000 clauses out of 20011 with flag 2392000/2873140
153.90/152.77	c cleaning 9999 clauses out of 20011 with flag 2402000/2883140
154.40/153.28	c cleaning 9996 clauses out of 20014 with flag 2412002/2893142
154.90/153.78	c cleaning 9998 clauses out of 20016 with flag 2422000/2903140
155.40/154.28	c cleaning 10006 clauses out of 20020 with flag 2432002/2913142
155.90/154.79	c cleaning 9999 clauses out of 20013 with flag 2442001/2923141
156.50/155.39	c cleaning 10002 clauses out of 20013 with flag 2452000/2933140
157.11/155.95	c cleaning 10001 clauses out of 20012 with flag 2462001/2943141
157.61/156.47	c cleaning 9995 clauses out of 20010 with flag 2472000/2953140
158.21/157.02	c cleaning 10002 clauses out of 20015 with flag 2482000/2963140
158.71/157.50	c cleaning 10004 clauses out of 20015 with flag 2492002/2973142
159.21/158.00	c cleaning 9997 clauses out of 20009 with flag 2502000/2983140
159.71/158.50	c cleaning 9998 clauses out of 20014 with flag 2512002/2993142
160.31/159.10	c cleaning 10001 clauses out of 20014 with flag 2522000/3003140
160.81/159.62	c cleaning 10003 clauses out of 20014 with flag 2532001/3013141
161.31/160.13	c cleaning 10003 clauses out of 20013 with flag 2542003/3023143
161.82/160.64	c cleaning 10001 clauses out of 20010 with flag 2552003/3033143
162.31/161.19	c cleaning 9991 clauses out of 20006 with flag 2562000/3043140
162.92/161.72	c cleaning 9997 clauses out of 20015 with flag 2572000/3053140
163.42/162.23	c cleaning 10007 clauses out of 20020 with flag 2582002/3063142
163.92/162.74	c cleaning 10002 clauses out of 20011 with flag 2592000/3073140
164.42/163.25	c cleaning 9996 clauses out of 20009 with flag 2602000/3083140
164.92/163.76	c cleaning 10004 clauses out of 20013 with flag 2612000/3093140
165.42/164.26	c cleaning 9996 clauses out of 20009 with flag 2622000/3103140
165.92/164.80	c cleaning 10000 clauses out of 20013 with flag 2632000/3113140
166.52/165.33	c cleaning 9994 clauses out of 20013 with flag 2642000/3123140
167.02/165.84	c cleaning 10004 clauses out of 20020 with flag 2652001/3133141
167.62/166.42	c cleaning 10003 clauses out of 20017 with flag 2662002/3143142
168.12/166.93	c cleaning 9999 clauses out of 20013 with flag 2672001/3153141
168.62/167.42	c cleaning 10001 clauses out of 20014 with flag 2682001/3163141
169.12/167.94	c cleaning 10003 clauses out of 20013 with flag 2692001/3173141
169.63/168.48	c cleaning 9998 clauses out of 20010 with flag 2702001/3183141
170.23/169.00	c cleaning 10001 clauses out of 20011 with flag 2712000/3193140
170.73/169.50	c cleaning 10002 clauses out of 20012 with flag 2722002/3203142
171.23/170.01	c cleaning 9997 clauses out of 20008 with flag 2732000/3213140
171.74/170.53	c cleaning 10000 clauses out of 20015 with flag 2742004/3223144
172.24/171.04	c cleaning 10000 clauses out of 20011 with flag 2752000/3233140
172.75/171.56	c cleaning 9999 clauses out of 20011 with flag 2762000/3243140
173.24/172.07	c cleaning 10000 clauses out of 20013 with flag 2772001/3253141
173.74/172.57	c cleaning 10000 clauses out of 20013 with flag 2782001/3263141
174.34/173.15	c cleaning 9998 clauses out of 20012 with flag 2792000/3273140
174.84/173.67	c cleaning 10003 clauses out of 20017 with flag 2802003/3283143
175.44/174.20	c cleaning 9998 clauses out of 20011 with flag 2812000/3293140
175.94/174.76	c cleaning 10000 clauses out of 20013 with flag 2822000/3303140
176.44/175.28	c cleaning 10003 clauses out of 20017 with flag 2832004/3313144
177.04/175.80	c cleaning 9997 clauses out of 20010 with flag 2842000/3323140
177.54/176.31	c cleaning 10000 clauses out of 20014 with flag 2852001/3333141
178.04/176.83	c cleaning 9998 clauses out of 20013 with flag 2862000/3343140
178.55/177.33	c cleaning 10004 clauses out of 20016 with flag 2872001/3353141
179.05/177.81	c cleaning 9998 clauses out of 20012 with flag 2882001/3363141
179.55/178.31	c cleaning 10004 clauses out of 20016 with flag 2892003/3373143
180.05/178.86	c cleaning 10001 clauses out of 20010 with flag 2902001/3383141
180.55/179.34	c cleaning 10003 clauses out of 20013 with flag 2912005/3393145
181.05/179.88	c cleaning 9995 clauses out of 20005 with flag 2922000/3403140
181.56/180.39	c cleaning 10001 clauses out of 20011 with flag 2932001/3413141
182.05/180.88	c cleaning 10001 clauses out of 20012 with flag 2942003/3423143
182.66/181.40	c cleaning 9995 clauses out of 20009 with flag 2952001/3433141
183.15/181.94	c cleaning 10001 clauses out of 20013 with flag 2962000/3443140
183.65/182.49	c cleaning 9999 clauses out of 20012 with flag 2972000/3453140
184.16/183.00	c cleaning 10000 clauses out of 20013 with flag 2982000/3463140
184.76/183.50	c cleaning 10001 clauses out of 20014 with flag 2992001/3473141
185.26/184.02	c cleaning 10001 clauses out of 20013 with flag 3002001/3483141
185.76/184.52	c cleaning 10000 clauses out of 20012 with flag 3012001/3493141
186.26/185.02	c cleaning 9997 clauses out of 20011 with flag 3022000/3503140
186.76/185.53	c cleaning 10003 clauses out of 20014 with flag 3032000/3513140
187.26/186.05	c cleaning 10001 clauses out of 20012 with flag 3042001/3523141
187.86/186.63	c cleaning 9991 clauses out of 20011 with flag 3052001/3533141
188.36/187.17	c cleaning 10005 clauses out of 20021 with flag 3062002/3543142
188.87/187.67	c cleaning 10003 clauses out of 20016 with flag 3072002/3553142
189.37/188.17	c cleaning 9995 clauses out of 20011 with flag 3082000/3563140
189.97/188.70	c cleaning 10001 clauses out of 20016 with flag 3092000/3573140
190.47/189.21	c cleaning 10002 clauses out of 20016 with flag 3102001/3583141
190.97/189.75	c cleaning 9998 clauses out of 20015 with flag 3112002/3593142
191.47/190.30	c cleaning 10003 clauses out of 20020 with flag 3122005/3603145
192.07/190.80	c cleaning 10000 clauses out of 20012 with flag 3132000/3613140
192.47/191.30	c cleaning 9996 clauses out of 20012 with flag 3142000/3623140
193.07/191.80	c cleaning 10003 clauses out of 20016 with flag 3152000/3633140
193.48/192.28	c cleaning 9998 clauses out of 20014 with flag 3162001/3643141
193.98/192.78	c cleaning 10000 clauses out of 20015 with flag 3172000/3653140
194.48/193.28	c cleaning 10002 clauses out of 20015 with flag 3182000/3663140
195.08/193.80	c cleaning 10003 clauses out of 20014 with flag 3192001/3673141
195.48/194.29	c cleaning 9998 clauses out of 20011 with flag 3202001/3683141
196.08/194.85	c cleaning 9994 clauses out of 20012 with flag 3212000/3693140
196.58/195.37	c cleaning 9999 clauses out of 20018 with flag 3222000/3703140
197.09/195.87	c cleaning 10002 clauses out of 20019 with flag 3232000/3713140
197.59/196.37	c cleaning 10004 clauses out of 20017 with flag 3242000/3723140
198.10/196.88	c cleaning 10000 clauses out of 20013 with flag 3252000/3733140
198.69/197.42	c cleaning 10001 clauses out of 20013 with flag 3262000/3743140
199.20/197.93	c cleaning 10001 clauses out of 20013 with flag 3272001/3753141
199.70/198.44	c cleaning 10000 clauses out of 20011 with flag 3282000/3763140
200.20/198.99	c cleaning 10003 clauses out of 20012 with flag 3292001/3773141
200.70/199.50	c cleaning 9999 clauses out of 20010 with flag 3302002/3783142
201.30/200.02	c cleaning 10001 clauses out of 20010 with flag 3312001/3793141
201.80/200.54	c cleaning 10000 clauses out of 20009 with flag 3322001/3803141
202.30/201.08	c cleaning 9999 clauses out of 20010 with flag 3332002/3813142
202.80/201.58	c cleaning 10001 clauses out of 20011 with flag 3342002/3823142
203.31/202.08	c cleaning 10000 clauses out of 20008 with flag 3352000/3833140
203.91/202.66	c cleaning 9995 clauses out of 20008 with flag 3362000/3843140
204.41/203.16	c cleaning 10000 clauses out of 20013 with flag 3372000/3853140
204.91/203.68	c cleaning 10005 clauses out of 20017 with flag 3382004/3863144
205.41/204.20	c cleaning 10000 clauses out of 20009 with flag 3392001/3873141
205.91/204.69	c cleaning 9993 clauses out of 20008 with flag 3402000/3883140
206.41/205.16	c cleaning 10001 clauses out of 20015 with flag 3412000/3893140
206.91/205.68	c cleaning 10001 clauses out of 20014 with flag 3422000/3903140
207.51/206.21	c cleaning 10001 clauses out of 20014 with flag 3432001/3913141
208.01/206.76	c cleaning 10003 clauses out of 20015 with flag 3442003/3923143
208.51/207.26	c cleaning 9999 clauses out of 20009 with flag 3452000/3933140
209.12/207.84	c cleaning 9998 clauses out of 20012 with flag 3462002/3943142
210.10/208.48	c cleaning 10001 clauses out of 20012 with flag 3472000/3953140
211.07/209.06	c cleaning 9996 clauses out of 20011 with flag 3482000/3963140
211.56/209.59	c cleaning 9998 clauses out of 20015 with flag 3492000/3973140
212.17/210.17	c cleaning 10000 clauses out of 20017 with flag 3502000/3983140
212.76/210.73	c cleaning 10003 clauses out of 20017 with flag 3512000/3993140
213.27/211.27	c cleaning 9997 clauses out of 20014 with flag 3522000/4003140
213.87/211.85	c cleaning 10005 clauses out of 20019 with flag 3532002/4013142
214.37/212.36	c cleaning 10003 clauses out of 20015 with flag 3542003/4023143
214.87/212.86	c cleaning 9998 clauses out of 20009 with flag 3552000/4033140
215.37/213.38	c cleaning 10002 clauses out of 20011 with flag 3562000/4043140
215.87/213.88	c cleaning 10001 clauses out of 20010 with flag 3572001/4053141
216.37/214.37	c cleaning 10000 clauses out of 20009 with flag 3582001/4063141
216.87/214.86	c cleaning 10002 clauses out of 20008 with flag 3592000/4073140
217.37/215.35	c cleaning 9996 clauses out of 20006 with flag 3602000/4083140
217.88/215.88	c cleaning 9997 clauses out of 20011 with flag 3612001/4093141
218.38/216.39	c cleaning 10001 clauses out of 20013 with flag 3622000/4103140
218.98/216.90	c cleaning 10000 clauses out of 20012 with flag 3632000/4113140
219.38/217.38	c cleaning 10003 clauses out of 20014 with flag 3642002/4123142
219.88/217.87	c cleaning 10000 clauses out of 20010 with flag 3652001/4133141
220.38/218.38	c cleaning 10001 clauses out of 20011 with flag 3662002/4143142
220.88/218.87	c cleaning 9996 clauses out of 20009 with flag 3672001/4153141
221.38/219.37	c cleaning 9999 clauses out of 20014 with flag 3682002/4163142
221.88/219.86	c cleaning 10000 clauses out of 20014 with flag 3692001/4173141
222.38/220.36	c cleaning 10000 clauses out of 20013 with flag 3702000/4183140
222.98/220.96	c cleaning 10004 clauses out of 20016 with flag 3712003/4193143
223.48/221.45	c cleaning 10001 clauses out of 20009 with flag 3722000/4203140
223.98/221.97	c cleaning 9999 clauses out of 20008 with flag 3732000/4213140
224.48/222.48	c cleaning 9996 clauses out of 20009 with flag 3742000/4223140
225.09/223.01	c cleaning 10003 clauses out of 20013 with flag 3752000/4233140
225.59/223.57	c cleaning 9995 clauses out of 20012 with flag 3762002/4243142
226.09/224.08	c cleaning 10003 clauses out of 20018 with flag 3772003/4253143
226.60/224.59	c cleaning 9997 clauses out of 20012 with flag 3782000/4263140
227.10/225.08	c cleaning 10000 clauses out of 20016 with flag 3792001/4273141
227.61/225.59	c cleaning 9998 clauses out of 20015 with flag 3802000/4283140
228.20/226.11	c cleaning 10003 clauses out of 20018 with flag 3812001/4293141
228.71/226.69	c cleaning 10000 clauses out of 20014 with flag 3822000/4303140
229.30/227.25	c cleaning 10002 clauses out of 20014 with flag 3832000/4313140
229.81/227.79	c cleaning 9999 clauses out of 20012 with flag 3842000/4323140
230.40/228.34	c cleaning 9999 clauses out of 20013 with flag 3852000/4333140
230.91/228.86	c cleaning 9999 clauses out of 20014 with flag 3862000/4343140
231.41/229.38	c cleaning 10004 clauses out of 20017 with flag 3872002/4353142
231.91/229.88	c cleaning 9996 clauses out of 20011 with flag 3882000/4363140
232.51/230.45	c cleaning 10001 clauses out of 20015 with flag 3892000/4373140
233.01/230.96	c cleaning 10002 clauses out of 20014 with flag 3902000/4383140
233.51/231.48	c cleaning 9988 clauses out of 20012 with flag 3912000/4393140
234.11/232.00	c cleaning 10007 clauses out of 20025 with flag 3922001/4403141
234.61/232.58	c cleaning 10001 clauses out of 20017 with flag 3932000/4413140
235.22/233.11	c cleaning 9995 clauses out of 20016 with flag 3942000/4423140
235.71/233.62	c cleaning 10006 clauses out of 20021 with flag 3952000/4433140
236.21/234.19	c cleaning 10006 clauses out of 20017 with flag 3962002/4443142
236.81/234.78	c cleaning 9998 clauses out of 20009 with flag 3972000/4453140
237.42/235.38	c cleaning 9995 clauses out of 20012 with flag 3982001/4463141
238.01/235.96	c cleaning 10004 clauses out of 20018 with flag 3992002/4473142
238.52/236.50	c cleaning 9999 clauses out of 20012 with flag 4002000/4483140
239.01/236.99	c cleaning 9999 clauses out of 20014 with flag 4012001/4493141
239.62/237.51	c cleaning 10004 clauses out of 20014 with flag 4022000/4503140
240.11/238.01	c cleaning 9999 clauses out of 20010 with flag 4032000/4513140
240.62/238.52	c cleaning 9997 clauses out of 20012 with flag 4042001/4523141
241.12/239.07	c cleaning 10000 clauses out of 20015 with flag 4052001/4533141
241.73/239.62	c cleaning 10003 clauses out of 20014 with flag 4062000/4543140
242.26/240.15	c cleaning 9998 clauses out of 20011 with flag 4072000/4553140
242.76/240.66	c cleaning 10000 clauses out of 20013 with flag 4082000/4563140
243.26/241.18	c cleaning 10002 clauses out of 20013 with flag 4092000/4573140
243.86/241.74	c cleaning 9995 clauses out of 20011 with flag 4102000/4583140
244.46/242.32	c cleaning 10002 clauses out of 20017 with flag 4112001/4593141
244.96/242.86	c cleaning 10003 clauses out of 20014 with flag 4122000/4603140
245.46/243.37	c cleaning 10003 clauses out of 20014 with flag 4132003/4613143
246.07/243.91	c cleaning 9998 clauses out of 20010 with flag 4142002/4623142
246.57/244.45	c cleaning 9998 clauses out of 20010 with flag 4152000/4633140
247.07/244.99	c cleaning 10000 clauses out of 20012 with flag 4162000/4643140
247.67/245.53	c cleaning 10003 clauses out of 20012 with flag 4172000/4653140
248.17/246.05	c cleaning 9998 clauses out of 20009 with flag 4182000/4663140
248.67/246.57	c cleaning 9997 clauses out of 20011 with flag 4192000/4673140
249.27/247.10	c cleaning 10002 clauses out of 20016 with flag 4202002/4683142
249.77/247.60	c cleaning 10001 clauses out of 20012 with flag 4212000/4693140
250.27/248.13	c cleaning 10002 clauses out of 20011 with flag 4222000/4703140
250.78/248.67	c cleaning 9999 clauses out of 20010 with flag 4232001/4713141
251.37/249.21	c cleaning 9997 clauses out of 20012 with flag 4242002/4723142
251.88/249.73	c cleaning 10000 clauses out of 20014 with flag 4252001/4733141
252.37/250.25	c cleaning 10002 clauses out of 20016 with flag 4262003/4743143
252.98/250.80	c cleaning 9990 clauses out of 20013 with flag 4272002/4753142
253.47/251.31	c cleaning 10007 clauses out of 20022 with flag 4282001/4763141
253.98/251.88	c cleaning 10000 clauses out of 20015 with flag 4292001/4773141
254.57/252.44	c cleaning 9999 clauses out of 20016 with flag 4302002/4783142
255.08/252.99	c cleaning 10004 clauses out of 20017 with flag 4312002/4793142
255.68/253.52	c cleaning 10000 clauses out of 20011 with flag 4322000/4803140
256.18/254.05	c cleaning 9999 clauses out of 20012 with flag 4332001/4813141
256.68/254.56	c cleaning 10001 clauses out of 20012 with flag 4342000/4823140
257.18/255.05	c cleaning 9997 clauses out of 20011 with flag 4352000/4833140
257.68/255.59	c cleaning 10002 clauses out of 20015 with flag 4362001/4843141
258.19/256.07	c cleaning 10000 clauses out of 20012 with flag 4372000/4853140
258.79/256.60	c cleaning 9991 clauses out of 20012 with flag 4382000/4863140
259.29/257.14	c cleaning 10007 clauses out of 20023 with flag 4392002/4873142
259.79/257.68	c cleaning 10002 clauses out of 20014 with flag 4402000/4883140
260.40/258.24	c cleaning 9999 clauses out of 20012 with flag 4412000/4893140
260.90/258.77	c cleaning 9998 clauses out of 20015 with flag 4422002/4903142
261.50/259.32	c cleaning 10001 clauses out of 20015 with flag 4432000/4913140
262.00/259.84	c cleaning 10001 clauses out of 20014 with flag 4442000/4923140
262.50/260.37	c cleaning 9995 clauses out of 20015 with flag 4452002/4933142
263.00/260.85	c cleaning 10005 clauses out of 20019 with flag 4462001/4943141
263.50/261.36	c cleaning 10004 clauses out of 20015 with flag 4472002/4953142
264.01/261.87	c cleaning 9998 clauses out of 20009 with flag 4482000/4963140
264.60/262.40	c cleaning 10002 clauses out of 20014 with flag 4492003/4973143
265.11/262.93	c cleaning 9999 clauses out of 20010 with flag 4502001/4983141
265.60/263.47	c cleaning 9998 clauses out of 20010 with flag 4512000/4993140
266.21/264.03	c cleaning 9999 clauses out of 20014 with flag 4522002/5003142
266.80/264.65	c cleaning 10001 clauses out of 20013 with flag 4532000/5013140
267.31/265.17	c cleaning 10002 clauses out of 20012 with flag 4542000/5023140
267.90/265.71	c cleaning 10000 clauses out of 20011 with flag 4552001/5033141
268.41/266.25	c cleaning 10001 clauses out of 20013 with flag 4562003/5043143
268.91/266.78	c cleaning 10000 clauses out of 20011 with flag 4572002/5053142
269.51/267.33	c cleaning 9999 clauses out of 20010 with flag 4582001/5063141
270.01/267.86	c cleaning 10003 clauses out of 20011 with flag 4592001/5073141
270.61/268.42	c cleaning 9999 clauses out of 20007 with flag 4602000/5083140
271.11/268.94	c cleaning 9995 clauses out of 20010 with flag 4612002/5093142
271.62/269.46	c cleaning 9999 clauses out of 20013 with flag 4622000/5103140
272.11/269.99	c cleaning 9999 clauses out of 20015 with flag 4632001/5113141
272.72/270.51	c cleaning 10003 clauses out of 20015 with flag 4642000/5123140
273.21/271.07	c cleaning 9999 clauses out of 20012 with flag 4652000/5133140
273.71/271.58	c cleaning 9999 clauses out of 20013 with flag 4662000/5143140
274.31/272.13	c cleaning 10004 clauses out of 20015 with flag 4672001/5153141
274.81/272.69	c cleaning 10002 clauses out of 20012 with flag 4682002/5163142
275.41/273.25	c cleaning 10001 clauses out of 20011 with flag 4692003/5173143
275.91/273.75	c cleaning 9994 clauses out of 20007 with flag 4702000/5183140
276.41/274.26	c cleaning 9996 clauses out of 20013 with flag 4712000/5193140
276.91/274.77	c cleaning 10003 clauses out of 20020 with flag 4722003/5203143
277.41/275.27	c cleaning 9999 clauses out of 20018 with flag 4732004/5213144
277.92/275.79	c cleaning 10003 clauses out of 20016 with flag 4742001/5223141
278.52/276.33	c cleaning 10000 clauses out of 20012 with flag 4752000/5233140
279.02/276.83	c cleaning 10003 clauses out of 20013 with flag 4762001/5243141
279.52/277.37	c cleaning 10001 clauses out of 20009 with flag 4772000/5253140
280.02/277.88	c cleaning 9999 clauses out of 20008 with flag 4782000/5263140
280.62/278.40	c cleaning 9999 clauses out of 20009 with flag 4792000/5273140
281.13/278.93	c cleaning 9999 clauses out of 20011 with flag 4802001/5283141
281.64/279.46	c cleaning 10002 clauses out of 20012 with flag 4812001/5293141
282.13/279.96	c cleaning 10002 clauses out of 20012 with flag 4822003/5303143
282.64/280.49	c cleaning 9998 clauses out of 20008 with flag 4832001/5313141
283.23/281.00	c cleaning 9997 clauses out of 20009 with flag 4842000/5323140
283.74/281.53	c cleaning 10002 clauses out of 20013 with flag 4852001/5333141
284.23/282.05	c cleaning 10000 clauses out of 20010 with flag 4862000/5343140
284.73/282.54	c cleaning 10000 clauses out of 20011 with flag 4872001/5353141
285.23/283.04	c cleaning 10002 clauses out of 20011 with flag 4882001/5363141
285.73/283.57	c cleaning 9998 clauses out of 20008 with flag 4892000/5373140
286.23/284.07	c cleaning 10002 clauses out of 20010 with flag 4902000/5383140
286.73/284.58	c cleaning 10001 clauses out of 20010 with flag 4912002/5393142
287.23/285.09	c cleaning 9998 clauses out of 20009 with flag 4922002/5403142
287.83/285.63	c cleaning 9993 clauses out of 20009 with flag 4932000/5413140
288.34/286.15	c cleaning 10006 clauses out of 20019 with flag 4942003/5423143
288.84/286.69	c cleaning 9997 clauses out of 20012 with flag 4952002/5433142
289.44/287.21	c cleaning 10005 clauses out of 20013 with flag 4962000/5443140
289.94/287.74	c cleaning 10000 clauses out of 20010 with flag 4972002/5453142
290.44/288.27	c cleaning 9997 clauses out of 20009 with flag 4982001/5463141
290.94/288.79	c cleaning 10003 clauses out of 20013 with flag 4992002/5473142
291.45/289.30	c cleaning 9997 clauses out of 20010 with flag 5002002/5483142
291.94/289.80	c cleaning 9999 clauses out of 20013 with flag 5012002/5493142
292.55/290.38	c cleaning 10001 clauses out of 20014 with flag 5022002/5503142
293.15/290.92	c cleaning 9996 clauses out of 20012 with flag 5032001/5513141
293.66/291.44	c cleaning 10001 clauses out of 20016 with flag 5042001/5523141
294.15/291.92	c cleaning 10005 clauses out of 20015 with flag 5052001/5533141
294.65/292.42	c cleaning 9997 clauses out of 20010 with flag 5062001/5543141
295.15/292.94	c cleaning 9997 clauses out of 20012 with flag 5072000/5553140
295.65/293.44	c cleaning 10002 clauses out of 20016 with flag 5082001/5563141
296.15/293.95	c cleaning 10001 clauses out of 20013 with flag 5092000/5573140
296.65/294.47	c cleaning 10002 clauses out of 20014 with flag 5102002/5583142
297.15/294.99	c cleaning 9997 clauses out of 20010 with flag 5112000/5593140
297.76/295.50	c cleaning 9996 clauses out of 20013 with flag 5122000/5603140
298.26/296.00	c cleaning 10004 clauses out of 20018 with flag 5132001/5613141
298.76/296.51	c cleaning 10003 clauses out of 20013 with flag 5142000/5623140
299.27/297.01	c cleaning 10001 clauses out of 20011 with flag 5152001/5633141
299.86/297.61	c cleaning 9998 clauses out of 20009 with flag 5162000/5643140
300.37/298.17	c cleaning 10000 clauses out of 20012 with flag 5172001/5653141
300.87/298.67	c cleaning 9998 clauses out of 20012 with flag 5182001/5663141
301.37/299.18	c cleaning 10001 clauses out of 20013 with flag 5192000/5673140
301.87/299.67	c cleaning 10003 clauses out of 20015 with flag 5202003/5683143
302.37/300.18	c cleaning 9995 clauses out of 20010 with flag 5212001/5693141
302.97/300.70	c cleaning 10005 clauses out of 20015 with flag 5222001/5703141
303.37/301.19	c cleaning 9999 clauses out of 20010 with flag 5232001/5713141
303.97/301.73	c cleaning 9996 clauses out of 20010 with flag 5242000/5723140
304.47/302.22	c cleaning 10003 clauses out of 20014 with flag 5252000/5733140
304.97/302.73	c cleaning 9999 clauses out of 20011 with flag 5262000/5743140
305.48/303.24	c cleaning 10001 clauses out of 20013 with flag 5272001/5753141
305.98/303.74	c cleaning 9999 clauses out of 20011 with flag 5282000/5763140
306.48/304.26	c cleaning 9999 clauses out of 20012 with flag 5292000/5773140
307.08/304.83	c cleaning 9994 clauses out of 20013 with flag 5302000/5783140
307.58/305.37	c cleaning 10006 clauses out of 20020 with flag 5312001/5793141
308.18/305.92	c cleaning 10000 clauses out of 20013 with flag 5322000/5803140
308.68/306.42	c cleaning 10004 clauses out of 20016 with flag 5332003/5813143
309.20/306.94	c cleaning 9999 clauses out of 20010 with flag 5342001/5823141
309.69/307.48	c cleaning 9999 clauses out of 20010 with flag 5352000/5833140
310.19/308.00	c cleaning 9998 clauses out of 20011 with flag 5362000/5843140
310.69/308.49	c cleaning 10001 clauses out of 20013 with flag 5372000/5853140
311.19/308.99	c cleaning 10003 clauses out of 20015 with flag 5382003/5863143
311.89/309.60	c cleaning 9997 clauses out of 20011 with flag 5392002/5873142
312.40/310.11	c cleaning 10002 clauses out of 20013 with flag 5402001/5883141
312.90/310.60	c cleaning 10001 clauses out of 20010 with flag 5412000/5893140
313.40/311.10	c cleaning 9999 clauses out of 20012 with flag 5422003/5903143
313.90/311.66	c cleaning 9990 clauses out of 20010 with flag 5432000/5913140
314.50/312.25	c cleaning 10002 clauses out of 20020 with flag 5442000/5923140
315.10/312.85	c cleaning 10006 clauses out of 20019 with flag 5452001/5933141
315.60/313.38	c cleaning 9996 clauses out of 20012 with flag 5462000/5943140
316.10/313.88	c cleaning 9996 clauses out of 20016 with flag 5472000/5953140
316.60/314.38	c cleaning 9994 clauses out of 20020 with flag 5482000/5963140
317.20/314.92	c cleaning 10001 clauses out of 20026 with flag 5492000/5973140
317.80/315.52	c cleaning 10001 clauses out of 20026 with flag 5502001/5983141
318.30/316.07	c cleaning 9970 clauses out of 20026 with flag 5512002/5993142
318.91/316.60	c cleaning 9990 clauses out of 20056 with flag 5522002/6003142
319.41/317.12	c cleaning 9988 clauses out of 20066 with flag 5532002/6013142
320.01/317.70	c cleaning 9994 clauses out of 20077 with flag 5542001/6023141
320.51/318.23	c cleaning 9974 clauses out of 20082 with flag 5552000/6033140
321.01/318.72	c cleaning 9965 clauses out of 20108 with flag 5562000/6043140
321.51/319.23	c cleaning 9991 clauses out of 20146 with flag 5572003/6053143
322.01/319.72	c cleaning 9993 clauses out of 20152 with flag 5582000/6063140
322.51/320.23	c cleaning 9989 clauses out of 20159 with flag 5592000/6073140
323.02/320.78	c cleaning 9990 clauses out of 20170 with flag 5602000/6083140
323.62/321.32	c cleaning 9990 clauses out of 20181 with flag 5612001/6093141
324.22/321.93	c cleaning 9996 clauses out of 20192 with flag 5622002/6103142
324.72/322.49	c cleaning 10009 clauses out of 20195 with flag 5632001/6113141
325.32/323.09	c cleaning 9993 clauses out of 20185 with flag 5642000/6123140
325.93/323.66	c cleaning 10005 clauses out of 20193 with flag 5652001/6133141
326.53/324.24	c cleaning 9992 clauses out of 20187 with flag 5662000/6143140
327.03/324.78	c cleaning 10006 clauses out of 20195 with flag 5672000/6153140
327.63/325.38	c cleaning 9986 clauses out of 20189 with flag 5682000/6163140
328.13/325.89	c cleaning 9993 clauses out of 20203 with flag 5692000/6173140
328.73/326.45	c cleaning 9997 clauses out of 20211 with flag 5702001/6183141
329.23/326.97	c cleaning 9968 clauses out of 20213 with flag 5712000/6193140
329.73/327.48	c cleaning 9980 clauses out of 20245 with flag 5722000/6203140
330.34/328.00	c cleaning 9987 clauses out of 20266 with flag 5732001/6213141
330.84/328.55	c cleaning 9999 clauses out of 20279 with flag 5742001/6223141
331.35/329.09	c cleaning 9983 clauses out of 20279 with flag 5752000/6233140
331.95/329.61	c cleaning 9988 clauses out of 20296 with flag 5762000/6243140
332.45/330.10	c cleaning 9995 clauses out of 20309 with flag 5772001/6253141
332.95/330.61	c cleaning 9997 clauses out of 20313 with flag 5782000/6263140
333.36/331.09	c cleaning 9998 clauses out of 20317 with flag 5792001/6273141
333.95/331.67	c cleaning 9988 clauses out of 20318 with flag 5802000/6283140
334.56/332.21	c cleaning 10008 clauses out of 20332 with flag 5812002/6293142
335.05/332.73	c cleaning 9992 clauses out of 20325 with flag 5822003/6303143
335.55/333.23	c cleaning 9977 clauses out of 20330 with flag 5832000/6313140
336.05/333.75	c cleaning 9988 clauses out of 20355 with flag 5842002/6323142
336.55/334.25	c cleaning 10006 clauses out of 20365 with flag 5852000/6333140
337.05/334.78	c cleaning 9997 clauses out of 20359 with flag 5862000/6343140
337.65/335.32	c cleaning 9991 clauses out of 20364 with flag 5872002/6353142
338.15/335.82	c cleaning 9988 clauses out of 20372 with flag 5882001/6363141
338.65/336.32	c cleaning 9992 clauses out of 20383 with flag 5892000/6373140
339.16/336.86	c cleaning 9988 clauses out of 20391 with flag 5902000/6383140
339.76/337.41	c cleaning 9999 clauses out of 20404 with flag 5912001/6393141
340.35/338.03	c cleaning 9989 clauses out of 20404 with flag 5922000/6403140
340.96/338.62	c cleaning 10018 clauses out of 20419 with flag 5932004/6413144
341.45/339.18	c cleaning 9987 clauses out of 20397 with flag 5942000/6423140
342.17/339.84	c cleaning 9994 clauses out of 20412 with flag 5952002/6433142
342.76/340.49	c cleaning 9996 clauses out of 20417 with flag 5962001/6443141
343.47/341.13	c cleaning 9993 clauses out of 20421 with flag 5972001/6453141
344.17/341.87	c cleaning 9987 clauses out of 20428 with flag 5982001/6463141
344.87/342.58	c cleaning 9995 clauses out of 20441 with flag 5992001/6473141
345.47/343.17	c cleaning 9954 clauses out of 20446 with flag 6002002/6483142
346.07/343.73	c cleaning 9981 clauses out of 20491 with flag 6012001/6493141
346.68/344.31	c cleaning 9973 clauses out of 20510 with flag 6022001/6503141
347.18/344.86	c cleaning 9972 clauses out of 20537 with flag 6032001/6513141
347.78/345.42	c cleaning 9976 clauses out of 20565 with flag 6042001/6523141
348.38/346.00	c cleaning 9973 clauses out of 20590 with flag 6052002/6533142
348.88/346.56	c cleaning 9977 clauses out of 20615 with flag 6062000/6543140
349.48/347.11	c cleaning 9967 clauses out of 20640 with flag 6072002/6553142
350.08/347.77	c cleaning 9996 clauses out of 20672 with flag 6082001/6563141
350.78/348.46	c cleaning 9971 clauses out of 20674 with flag 6092000/6573140
351.38/349.08	c cleaning 9980 clauses out of 20703 with flag 6102000/6583140
351.98/349.69	c cleaning 10003 clauses out of 20724 with flag 6112001/6593141
352.68/350.33	c cleaning 9983 clauses out of 20720 with flag 6122001/6603141
353.29/350.98	c cleaning 9921 clauses out of 20735 with flag 6132000/6613140
353.69/351.32	c starts		: 296
353.69/351.32	c conflicts		: 6618412
353.69/351.32	c decisions		: 9824906
353.69/351.32	c propagations		: 334735284
353.69/351.32	c inspects		: 3317352389
353.69/351.32	c shortcuts		: 0
353.69/351.32	c learnt literals	: 8
353.69/351.32	c learnt binary clauses	: 55
353.69/351.32	c learnt ternary clauses	: 1166
353.69/351.32	c learnt constraints	: 6618403
353.69/351.32	c ignored constraints	: 0
353.69/351.32	c root simplifications	: 0
353.69/351.32	c removed literals (reason simplification)	: 35033226
353.69/351.32	c reason swapping (by a shorter reason)	: 0
353.69/351.32	c Calls to reduceDB	: 669
353.69/351.32	c number of reductions to clauses (during analyze)	: 0
353.69/351.32	c number of learned constraints concerned by reduction	: 0
353.69/351.32	c number of learning phase by resolution	: 0
353.69/351.32	c number of learning phase by cutting planes	: 0
353.69/351.32	c speed (assignments/second)	: 1034452.1998720592
353.69/351.32	c non guided choices	2898
353.69/351.32	c learnt constraints type 
353.69/351.32	c constraints type 
353.69/351.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2517
353.69/351.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 14
353.69/351.32	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 167
353.69/351.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 9
353.69/351.32	s OPTIMUM FOUND
353.69/351.33	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 
353.69/351.33	c objective function=2
353.69/351.33	c Total wall clock time (in seconds): 351.222

Verifier Data 

OK	2

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-3492596-1307910015/watcher-3492596-1307910015 -o /tmp/evaluation-result-3492596-1307910015/solver-3492596-1307910015 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492596-1307910015.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.02 1.99 1.92 2/195 20102
/proc/meminfo: memFree=7978784/32951124 swapFree=67049472/67111528
[pid=20102] ppid=20100 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/20102/stat : 20102 (java) S 20100 20102 18184 0 -1 4202496 1241 0 0 0 0 0 0 0 25 0 2 0 981232144 31268864 959 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/20102/statm: 7635 959 732 9 0 386 0
[pid=20102/tid=20103] ppid=20100 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20103/stat : 20103 (java) R 20100 20102 18184 0 -1 4202560 125 0 0 0 0 0 0 0 25 0 2 0 981232145 31272960 959 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224284925755 0 0 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.033506 s]
/proc/loadavg: 2.02 1.99 1.92 2/195 20102
/proc/meminfo: memFree=7978784/32951124 swapFree=67049472/67111528
[pid=20102] ppid=20100 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/20102/stat : 20102 (java) S 20100 20102 18184 0 -1 4202496 10999 0 1 0 1 1 0 0 25 0 11 0 981232144 10716594176 10696 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/20102/statm: 2616356 10698 1610 9 0 2607104 0
[pid=20102/tid=20103] ppid=20100 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/20102/task/20103/stat : 20103 (java) R 20100 20102 18184 0 -1 4202560 9876 0 1 0 1 1 0 0 25 0 11 0 981232145 10716594176 10699 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296752587 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424

[startup+0.100491 s]
/proc/loadavg: 2.02 1.99 1.92 2/195 20102
/proc/meminfo: memFree=7978784/32951124 swapFree=67049472/67111528
[pid=20102] ppid=20100 vsize=10539988 CPUtime=0.1 cores=1,3,5,7
/proc/20102/stat : 20102 (java) S 20100 20102 18184 0 -1 4202496 13113 0 1 0 9 1 0 0 25 0 18 0 981232144 10792947712 12772 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20102/statm: 2634997 12772 2092 9 0 2625731 0
[pid=20102/tid=20103] ppid=20100 vsize=10539988 CPUtime=0.08 cores=1,3,5,7
/proc/20102/task/20103/stat : 20103 (java) R 20100 20102 18184 0 -1 4202560 11168 0 1 0 7 1 0 0 18 0 18 0 981232145 10792947712 12772 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296752587 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539988

[startup+0.305452 s]
/proc/loadavg: 2.02 1.99 1.92 2/195 20102
/proc/meminfo: memFree=7978784/32951124 swapFree=67049472/67111528
[pid=20102] ppid=20100 vsize=10540868 CPUtime=0.5 cores=1,3,5,7
/proc/20102/stat : 20102 (java) S 20100 20102 18184 0 -1 4202496 16528 0 1 0 48 2 0 0 25 0 18 0 981232144 10793848832 15482 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20102/statm: 2635217 15482 2209 9 0 2625951 0
[pid=20102/tid=20103] ppid=20100 vsize=10540868 CPUtime=0.29 cores=1,3,5,7
/proc/20102/task/20103/stat : 20103 (java) R 20100 20102 18184 0 -1 4202560 13154 0 1 0 27 2 0 0 18 0 18 0 981232145 10793848832 15482 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 46912505216563 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10540868

[startup+0.700391 s]
/proc/loadavg: 2.02 1.99 1.92 2/195 20102
/proc/meminfo: memFree=7978784/32951124 swapFree=67049472/67111528
[pid=20102] ppid=20100 vsize=10544700 CPUtime=1.42 cores=1,3,5,7
/proc/20102/stat : 20102 (java) S 20100 20102 18184 0 -1 4202496 21486 0 1 0 139 3 0 0 25 0 19 0 981232144 10797772800 18636 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20102/statm: 2636175 18636 2224 9 0 2626909 0
[pid=20102/tid=20103] ppid=20100 vsize=10544700 CPUtime=0.69 cores=1,3,5,7
/proc/20102/task/20103/stat : 20103 (java) R 20100 20102 18184 0 -1 4202560 13941 0 1 0 67 2 0 0 19 0 19 0 981232145 10797772800 18636 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 46912505708597 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 10544700

[startup+1.50126 s]
/proc/loadavg: 2.02 1.99 1.92 3/214 20121
/proc/meminfo: memFree=7910916/32951124 swapFree=67049472/67111528
[pid=20102] ppid=20100 vsize=10544700 CPUtime=2.32 cores=1,3,5,7
/proc/20102/stat : 20102 (java) S 20100 20102 18184 0 -1 4202496 23706 0 1 0 229 3 0 0 25 0 19 0 981232144 10797772800 20851 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20102/statm: 2636175 20851 2252 9 0 2626909 0
[pid=20102/tid=20103] ppid=20100 vsize=10544700 CPUtime=1.47 cores=1,3,5,7
/proc/20102/task/20103/stat : 20103 (java) R 20100 20102 18184 0 -1 4202560 15037 0 1 0 145 2 0 0 21 0 19 0 981232145 10797772800 20851 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 46912505642490 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20102/tid=20105] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20105/stat : 20105 (java) S 20100 20102 18184 0 -1 4202560 315 0 0 0 0 0 0 0 18 0 19 0 981232146 10797772800 20851 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20106] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20106/stat : 20106 (java) S 20100 20102 18184 0 -1 4202560 183 0 0 0 0 0 0 0 18 0 19 0 981232146 10797772800 20851 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20107] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20107/stat : 20107 (java) S 20100 20102 18184 0 -1 4202560 55 0 0 0 0 0 0 0 18 0 19 0 981232146 10797772800 20851 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20108] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20108/stat : 20108 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981232146 10797772800 20851 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20109] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20109/stat : 20109 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981232146 10797772800 20851 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20110] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20110/stat : 20110 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981232146 10797772800 20851 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20111] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20111/stat : 20111 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981232146 10797772800 20851 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20112] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20112/stat : 20112 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 981232146 10797772800 20851 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20113] ppid=20100 vsize=10544700 CPUtime=0.01 cores=1,3,5,7
/proc/20102/task/20113/stat : 20113 (java) S 20100 20102 18184 0 -1 4202560 553 0 0 0 1 0 0 0 16 0 19 0 981232147 10797772800 20851 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296742400 0 0 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20114] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20114/stat : 20114 (java) S 20100 20102 18184 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981232148 10797772800 20851 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20115] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20115/stat : 20115 (java) S 20100 20102 18184 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981232148 10797772800 20851 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20116] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20116/stat : 20116 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981232150 10797772800 20851 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296749489 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20117] ppid=20100 vsize=10544700 CPUtime=0.43 cores=1,3,5,7
/proc/20102/task/20117/stat : 20117 (java) S 20100 20102 18184 0 -1 4202560 4842 0 0 0 43 0 0 0 17 0 19 0 981232150 10797772800 20851 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20118] ppid=20100 vsize=10544700 CPUtime=0.38 cores=1,3,5,7
/proc/20102/task/20118/stat : 20118 (java) S 20100 20102 18184 0 -1 4202560 1564 0 0 0 38 0 0 0 15 0 19 0 981232150 10797772800 20851 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20119] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20119/stat : 20119 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981232150 10797772800 20851 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20120] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20120/stat : 20120 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981232150 10797772800 20851 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20121] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20121/stat : 20121 (java) S 20100 20102 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981232176 10797772800 20851 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10544700

[startup+3.10099 s]
/proc/loadavg: 2.02 1.99 1.92 3/214 20121
/proc/meminfo: memFree=7900996/32951124 swapFree=67049472/67111528
[pid=20102] ppid=20100 vsize=10544700 CPUtime=3.98 cores=1,3,5,7
/proc/20102/stat : 20102 (java) S 20100 20102 18184 0 -1 4202496 24250 0 1 0 395 3 0 0 25 0 19 0 981232144 10797772800 21392 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20102/statm: 2636175 21392 2252 9 0 2626909 0
[pid=20102/tid=20103] ppid=20100 vsize=10544700 CPUtime=3.01 cores=1,3,5,7
/proc/20102/task/20103/stat : 20103 (java) R 20100 20102 18184 0 -1 4202560 15040 0 1 0 299 2 0 0 19 0 19 0 981232145 10797772800 21392 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 46912505674518 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20102/tid=20105] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20105/stat : 20105 (java) S 20100 20102 18184 0 -1 4202560 315 0 0 0 0 0 0 0 15 0 19 0 981232146 10797772800 21392 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20106] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20106/stat : 20106 (java) S 20100 20102 18184 0 -1 4202560 183 0 0 0 0 0 0 0 15 0 19 0 981232146 10797772800 21392 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20107] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20107/stat : 20107 (java) S 20100 20102 18184 0 -1 4202560 57 0 0 0 0 0 0 0 16 0 19 0 981232146 10797772800 21392 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20108] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20108/stat : 20108 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981232146 10797772800 21392 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20109] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20109/stat : 20109 (java) S 20100 20102 18184 0 -1 4202560 159 0 0 0 0 0 0 0 16 0 19 0 981232146 10797772800 21392 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20110] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20110/stat : 20110 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981232146 10797772800 21392 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20111] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20111/stat : 20111 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 981232146 10797772800 21392 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20112] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20112/stat : 20112 (java) S 20100 20102 18184 0 -1 4202560 179 0 0 0 0 0 0 0 15 0 19 0 981232146 10797772800 21392 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20113] ppid=20100 vsize=10544700 CPUtime=0.05 cores=1,3,5,7
/proc/20102/task/20113/stat : 20113 (java) S 20100 20102 18184 0 -1 4202560 742 0 0 0 5 0 0 0 16 0 19 0 981232147 10797772800 21392 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296742400 0 0 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20114] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20114/stat : 20114 (java) S 20100 20102 18184 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981232148 10797772800 21392 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20115] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20115/stat : 20115 (java) S 20100 20102 18184 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981232148 10797772800 21392 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20116] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20116/stat : 20116 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981232150 10797772800 21392 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296749489 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20117] ppid=20100 vsize=10544700 CPUtime=0.48 cores=1,3,5,7
/proc/20102/task/20117/stat : 20117 (java) S 20100 20102 18184 0 -1 4202560 4854 0 0 0 48 0 0 0 15 0 19 0 981232150 10797772800 21392 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20118] ppid=20100 vsize=10544700 CPUtime=0.4 cores=1,3,5,7
/proc/20102/task/20118/stat : 20118 (java) S 20100 20102 18184 0 -1 4202560 1566 0 0 0 40 0 0 0 15 0 19 0 981232150 10797772800 21392 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20119] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20119/stat : 20119 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981232150 10797772800 21392 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20120] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20120/stat : 20120 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981232150 10797772800 21392 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20121] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20121/stat : 20121 (java) S 20100 20102 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981232176 10797772800 21392 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 10544700

[startup+6.30145 s]
/proc/loadavg: 2.02 1.99 1.92 3/214 20121
/proc/meminfo: memFree=7902224/32951124 swapFree=67049472/67111528
[pid=20102] ppid=20100 vsize=10544700 CPUtime=7.19 cores=1,3,5,7
/proc/20102/stat : 20102 (java) S 20100 20102 18184 0 -1 4202496 24373 0 1 0 716 3 0 0 25 0 19 0 981232144 10797772800 20868 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20102/statm: 2636175 20868 2252 9 0 2626909 0
[pid=20102/tid=20103] ppid=20100 vsize=10544700 CPUtime=6.12 cores=1,3,5,7
/proc/20102/task/20103/stat : 20103 (java) R 20100 20102 18184 0 -1 4202560 15047 0 1 0 610 2 0 0 25 0 19 0 981232145 10797772800 20868 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 46912505658707 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20102/tid=20105] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20105/stat : 20105 (java) S 20100 20102 18184 0 -1 4202560 317 0 0 0 0 0 0 0 15 0 19 0 981232146 10797772800 20868 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20106] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20106/stat : 20106 (java) S 20100 20102 18184 0 -1 4202560 183 0 0 0 0 0 0 0 15 0 19 0 981232146 10797772800 20868 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20107] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20107/stat : 20107 (java) S 20100 20102 18184 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 19 0 981232146 10797772800 20868 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20108] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20108/stat : 20108 (java) S 20100 20102 18184 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 981232146 10797772800 20868 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20109] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20109/stat : 20109 (java) S 20100 20102 18184 0 -1 4202560 161 0 0 0 0 0 0 0 15 0 19 0 981232146 10797772800 20868 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20110] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20110/stat : 20110 (java) S 20100 20102 18184 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 981232146 10797772800 20868 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20111] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20111/stat : 20111 (java) S 20100 20102 18184 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 981232146 10797772800 20868 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20112] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20112/stat : 20112 (java) S 20100 20102 18184 0 -1 4202560 179 0 0 0 0 0 0 0 15 0 19 0 981232146 10797772800 20868 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20113] ppid=20100 vsize=10544700 CPUtime=0.14 cores=1,3,5,7
/proc/20102/task/20113/stat : 20113 (java) S 20100 20102 18184 0 -1 4202560 845 0 0 0 14 0 0 0 16 0 19 0 981232147 10797772800 20868 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296742400 0 0 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20114] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20114/stat : 20114 (java) S 20100 20102 18184 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981232148 10797772800 20868 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20115] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20115/stat : 20115 (java) S 20100 20102 18184 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981232148 10797772800 20868 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20116] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20116/stat : 20116 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981232150 10797772800 20868 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296749489 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20117] ppid=20100 vsize=10544700 CPUtime=0.49 cores=1,3,5,7
/proc/20102/task/20117/stat : 20117 (java) S 20100 20102 18184 0 -1 4202560 4854 0 0 0 49 0 0 0 15 0 19 0 981232150 10797772800 20868 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20118] ppid=20100 vsize=10544700 CPUtime=0.4 cores=1,3,5,7
/proc/20102/task/20118/stat : 20118 (java) S 20100 20102 18184 0 -1 4202560 1566 0 0 0 40 0 0 0 15 0 19 0 981232150 10797772800 20868 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0

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

/proc/20102/task/20105/stat : 20105 (java) S 20100 20102 18184 0 -1 4202560 334 0 0 0 18 0 0 0 16 0 19 0 981232146 10797772800 24506 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20106] ppid=20100 vsize=10544700 CPUtime=0.17 cores=1,3,5,7
/proc/20102/task/20106/stat : 20106 (java) S 20100 20102 18184 0 -1 4202560 203 0 0 0 17 0 0 0 15 0 19 0 981232146 10797772800 24506 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20107] ppid=20100 vsize=10544700 CPUtime=0.18 cores=1,3,5,7
/proc/20102/task/20107/stat : 20107 (java) S 20100 20102 18184 0 -1 4202560 78 0 0 0 18 0 0 0 15 0 19 0 981232146 10797772800 24506 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20108] ppid=20100 vsize=10544700 CPUtime=0.19 cores=1,3,5,7
/proc/20102/task/20108/stat : 20108 (java) S 20100 20102 18184 0 -1 4202560 26 0 0 0 18 1 0 0 15 0 19 0 981232146 10797772800 24506 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20109] ppid=20100 vsize=10544700 CPUtime=0.18 cores=1,3,5,7
/proc/20102/task/20109/stat : 20109 (java) S 20100 20102 18184 0 -1 4202560 170 0 0 0 18 0 0 0 15 0 19 0 981232146 10797772800 24506 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20110] ppid=20100 vsize=10544700 CPUtime=0.19 cores=1,3,5,7
/proc/20102/task/20110/stat : 20110 (java) S 20100 20102 18184 0 -1 4202560 29 0 0 0 19 0 0 0 15 0 19 0 981232146 10797772800 24506 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20111] ppid=20100 vsize=10544700 CPUtime=0.17 cores=1,3,5,7
/proc/20102/task/20111/stat : 20111 (java) S 20100 20102 18184 0 -1 4202560 19 0 0 0 17 0 0 0 16 0 19 0 981232146 10797772800 24506 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20112] ppid=20100 vsize=10544700 CPUtime=0.17 cores=1,3,5,7
/proc/20102/task/20112/stat : 20112 (java) S 20100 20102 18184 0 -1 4202560 197 0 0 0 17 0 0 0 15 0 19 0 981232146 10797772800 24506 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20113] ppid=20100 vsize=10544700 CPUtime=10.58 cores=1,3,5,7
/proc/20102/task/20113/stat : 20113 (java) S 20100 20102 18184 0 -1 4202560 1588 0 0 0 1050 8 0 0 15 0 19 0 981232147 10797772800 24506 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296742400 0 0 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20114] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20114/stat : 20114 (java) S 20100 20102 18184 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981232148 10797772800 24506 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20115] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20115/stat : 20115 (java) S 20100 20102 18184 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981232148 10797772800 24506 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20116] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20116/stat : 20116 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981232150 10797772800 24506 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296749489 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20117] ppid=20100 vsize=10544700 CPUtime=1.24 cores=1,3,5,7
/proc/20102/task/20117/stat : 20117 (java) S 20100 20102 18184 0 -1 4202560 15596 0 0 0 123 1 0 0 15 0 19 0 981232150 10797772800 24506 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20118] ppid=20100 vsize=10544700 CPUtime=0.44 cores=1,3,5,7
/proc/20102/task/20118/stat : 20118 (java) S 20100 20102 18184 0 -1 4202560 1570 0 0 0 44 0 0 0 15 0 19 0 981232150 10797772800 24506 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20119] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20119/stat : 20119 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981232150 10797772800 24506 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20120] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20120/stat : 20120 (java) S 20100 20102 18184 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 981232150 10797772800 24506 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20121] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20121/stat : 20121 (java) S 20100 20102 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981232176 10797772800 24506 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 351.08
Current children cumulated vsize (KiB) 10544700

[startup+350.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 20131
/proc/meminfo: memFree=7881052/32951124 swapFree=67049472/67111528
[pid=20102] ppid=20100 vsize=10544700 CPUtime=352.68 cores=1,3,5,7
/proc/20102/stat : 20102 (java) S 20100 20102 18184 0 -1 4202496 36695 0 1 0 35247 21 0 0 25 0 19 0 981232144 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20102/statm: 2636175 24512 2254 9 0 2626909 0
[pid=20102/tid=20103] ppid=20100 vsize=10544700 CPUtime=338.82 cores=1,3,5,7
/proc/20102/task/20103/stat : 20103 (java) R 20100 20102 18184 0 -1 4202560 15705 0 1 0 33877 5 0 0 25 0 19 0 981232145 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 46912505659243 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20102/tid=20105] ppid=20100 vsize=10544700 CPUtime=0.18 cores=1,3,5,7
/proc/20102/task/20105/stat : 20105 (java) S 20100 20102 18184 0 -1 4202560 334 0 0 0 18 0 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20106] ppid=20100 vsize=10544700 CPUtime=0.17 cores=1,3,5,7
/proc/20102/task/20106/stat : 20106 (java) S 20100 20102 18184 0 -1 4202560 203 0 0 0 17 0 0 0 16 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20107] ppid=20100 vsize=10544700 CPUtime=0.18 cores=1,3,5,7
/proc/20102/task/20107/stat : 20107 (java) S 20100 20102 18184 0 -1 4202560 81 0 0 0 18 0 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20108] ppid=20100 vsize=10544700 CPUtime=0.19 cores=1,3,5,7
/proc/20102/task/20108/stat : 20108 (java) S 20100 20102 18184 0 -1 4202560 26 0 0 0 18 1 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20109] ppid=20100 vsize=10544700 CPUtime=0.18 cores=1,3,5,7
/proc/20102/task/20109/stat : 20109 (java) S 20100 20102 18184 0 -1 4202560 170 0 0 0 18 0 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20110] ppid=20100 vsize=10544700 CPUtime=0.19 cores=1,3,5,7
/proc/20102/task/20110/stat : 20110 (java) S 20100 20102 18184 0 -1 4202560 29 0 0 0 19 0 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20111] ppid=20100 vsize=10544700 CPUtime=0.18 cores=1,3,5,7
/proc/20102/task/20111/stat : 20111 (java) S 20100 20102 18184 0 -1 4202560 19 0 0 0 18 0 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20112] ppid=20100 vsize=10544700 CPUtime=0.17 cores=1,3,5,7
/proc/20102/task/20112/stat : 20112 (java) S 20100 20102 18184 0 -1 4202560 197 0 0 0 17 0 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20113] ppid=20100 vsize=10544700 CPUtime=10.61 cores=1,3,5,7
/proc/20102/task/20113/stat : 20113 (java) S 20100 20102 18184 0 -1 4202560 1592 0 0 0 1053 8 0 0 15 0 19 0 981232147 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296742400 0 0 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20114] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20114/stat : 20114 (java) S 20100 20102 18184 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981232148 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20115] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20115/stat : 20115 (java) S 20100 20102 18184 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981232148 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20116] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20116/stat : 20116 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981232150 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296749489 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20117] ppid=20100 vsize=10544700 CPUtime=1.24 cores=1,3,5,7
/proc/20102/task/20117/stat : 20117 (java) S 20100 20102 18184 0 -1 4202560 15598 0 0 0 123 1 0 0 15 0 19 0 981232150 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20118] ppid=20100 vsize=10544700 CPUtime=0.44 cores=1,3,5,7
/proc/20102/task/20118/stat : 20118 (java) S 20100 20102 18184 0 -1 4202560 1570 0 0 0 44 0 0 0 15 0 19 0 981232150 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20119] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20119/stat : 20119 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981232150 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20120] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20120/stat : 20120 (java) S 20100 20102 18184 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 981232150 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20121] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20121/stat : 20121 (java) S 20100 20102 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981232176 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 352.68
Current children cumulated vsize (KiB) 10544700

[startup+351.101 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 20131
/proc/meminfo: memFree=7881052/32951124 swapFree=67049472/67111528
[pid=20102] ppid=20100 vsize=10544700 CPUtime=353.49 cores=1,3,5,7
/proc/20102/stat : 20102 (java) S 20100 20102 18184 0 -1 4202496 36697 0 1 0 35328 21 0 0 25 0 19 0 981232144 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20102/statm: 2636175 24512 2254 9 0 2626909 0
[pid=20102/tid=20103] ppid=20100 vsize=10544700 CPUtime=339.58 cores=1,3,5,7
/proc/20102/task/20103/stat : 20103 (java) R 20100 20102 18184 0 -1 4202560 15707 0 1 0 33953 5 0 0 25 0 19 0 981232145 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 46912505659054 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20102/tid=20105] ppid=20100 vsize=10544700 CPUtime=0.18 cores=1,3,5,7
/proc/20102/task/20105/stat : 20105 (java) S 20100 20102 18184 0 -1 4202560 334 0 0 0 18 0 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20106] ppid=20100 vsize=10544700 CPUtime=0.17 cores=1,3,5,7
/proc/20102/task/20106/stat : 20106 (java) S 20100 20102 18184 0 -1 4202560 203 0 0 0 17 0 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20107] ppid=20100 vsize=10544700 CPUtime=0.18 cores=1,3,5,7
/proc/20102/task/20107/stat : 20107 (java) S 20100 20102 18184 0 -1 4202560 81 0 0 0 18 0 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20108] ppid=20100 vsize=10544700 CPUtime=0.19 cores=1,3,5,7
/proc/20102/task/20108/stat : 20108 (java) S 20100 20102 18184 0 -1 4202560 26 0 0 0 18 1 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20109] ppid=20100 vsize=10544700 CPUtime=0.18 cores=1,3,5,7
/proc/20102/task/20109/stat : 20109 (java) S 20100 20102 18184 0 -1 4202560 170 0 0 0 18 0 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20110] ppid=20100 vsize=10544700 CPUtime=0.19 cores=1,3,5,7
/proc/20102/task/20110/stat : 20110 (java) S 20100 20102 18184 0 -1 4202560 29 0 0 0 19 0 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20111] ppid=20100 vsize=10544700 CPUtime=0.18 cores=1,3,5,7
/proc/20102/task/20111/stat : 20111 (java) S 20100 20102 18184 0 -1 4202560 19 0 0 0 18 0 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20112] ppid=20100 vsize=10544700 CPUtime=0.17 cores=1,3,5,7
/proc/20102/task/20112/stat : 20112 (java) S 20100 20102 18184 0 -1 4202560 197 0 0 0 17 0 0 0 16 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20113] ppid=20100 vsize=10544700 CPUtime=10.65 cores=1,3,5,7
/proc/20102/task/20113/stat : 20113 (java) S 20100 20102 18184 0 -1 4202560 1592 0 0 0 1057 8 0 0 15 0 19 0 981232147 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296742400 0 0 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20114] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20114/stat : 20114 (java) S 20100 20102 18184 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981232148 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20115] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20115/stat : 20115 (java) S 20100 20102 18184 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981232148 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20116] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20116/stat : 20116 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981232150 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296749489 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20117] ppid=20100 vsize=10544700 CPUtime=1.25 cores=1,3,5,7
/proc/20102/task/20117/stat : 20117 (java) S 20100 20102 18184 0 -1 4202560 15598 0 0 0 124 1 0 0 15 0 19 0 981232150 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20118] ppid=20100 vsize=10544700 CPUtime=0.44 cores=1,3,5,7
/proc/20102/task/20118/stat : 20118 (java) S 20100 20102 18184 0 -1 4202560 1570 0 0 0 44 0 0 0 15 0 19 0 981232150 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20119] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20119/stat : 20119 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981232150 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20120] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20120/stat : 20120 (java) S 20100 20102 18184 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 981232150 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20121] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20121/stat : 20121 (java) S 20100 20102 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981232176 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 353.49
Current children cumulated vsize (KiB) 10544700

[startup+351.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 20131
/proc/meminfo: memFree=7881052/32951124 swapFree=67049472/67111528
[pid=20102] ppid=20100 vsize=10544700 CPUtime=353.69 cores=1,3,5,7
/proc/20102/stat : 20102 (java) S 20100 20102 18184 0 -1 4202496 36697 0 1 0 35348 21 0 0 25 0 19 0 981232144 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20102/statm: 2636175 24512 2254 9 0 2626909 0
[pid=20102/tid=20103] ppid=20100 vsize=10544700 CPUtime=339.78 cores=1,3,5,7
/proc/20102/task/20103/stat : 20103 (java) R 20100 20102 18184 0 -1 4202560 15707 0 1 0 33973 5 0 0 25 0 19 0 981232145 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 46912505642504 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20102/tid=20105] ppid=20100 vsize=10544700 CPUtime=0.18 cores=1,3,5,7
/proc/20102/task/20105/stat : 20105 (java) S 20100 20102 18184 0 -1 4202560 334 0 0 0 18 0 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20106] ppid=20100 vsize=10544700 CPUtime=0.17 cores=1,3,5,7
/proc/20102/task/20106/stat : 20106 (java) S 20100 20102 18184 0 -1 4202560 203 0 0 0 17 0 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20107] ppid=20100 vsize=10544700 CPUtime=0.18 cores=1,3,5,7
/proc/20102/task/20107/stat : 20107 (java) S 20100 20102 18184 0 -1 4202560 81 0 0 0 18 0 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20108] ppid=20100 vsize=10544700 CPUtime=0.19 cores=1,3,5,7
/proc/20102/task/20108/stat : 20108 (java) S 20100 20102 18184 0 -1 4202560 26 0 0 0 18 1 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20109] ppid=20100 vsize=10544700 CPUtime=0.18 cores=1,3,5,7
/proc/20102/task/20109/stat : 20109 (java) S 20100 20102 18184 0 -1 4202560 170 0 0 0 18 0 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20110] ppid=20100 vsize=10544700 CPUtime=0.19 cores=1,3,5,7
/proc/20102/task/20110/stat : 20110 (java) S 20100 20102 18184 0 -1 4202560 29 0 0 0 19 0 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20111] ppid=20100 vsize=10544700 CPUtime=0.18 cores=1,3,5,7
/proc/20102/task/20111/stat : 20111 (java) S 20100 20102 18184 0 -1 4202560 19 0 0 0 18 0 0 0 15 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20112] ppid=20100 vsize=10544700 CPUtime=0.17 cores=1,3,5,7
/proc/20102/task/20112/stat : 20112 (java) S 20100 20102 18184 0 -1 4202560 197 0 0 0 17 0 0 0 16 0 19 0 981232146 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20113] ppid=20100 vsize=10544700 CPUtime=10.65 cores=1,3,5,7
/proc/20102/task/20113/stat : 20113 (java) S 20100 20102 18184 0 -1 4202560 1592 0 0 0 1057 8 0 0 15 0 19 0 981232147 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296742400 0 0 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20114] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20114/stat : 20114 (java) S 20100 20102 18184 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981232148 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20115] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20115/stat : 20115 (java) S 20100 20102 18184 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 981232148 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20116] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20116/stat : 20116 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981232150 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296749489 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20117] ppid=20100 vsize=10544700 CPUtime=1.25 cores=1,3,5,7
/proc/20102/task/20117/stat : 20117 (java) S 20100 20102 18184 0 -1 4202560 15598 0 0 0 124 1 0 0 15 0 19 0 981232150 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
[pid=20102/tid=20118] ppid=20100 vsize=10544700 CPUtime=0.44 cores=1,3,5,7
/proc/20102/task/20118/stat : 20118 (java) S 20100 20102 18184 0 -1 4202560 1570 0 0 0 44 0 0 0 15 0 19 0 981232150 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 5 0 0 0
[pid=20102/tid=20119] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20119/stat : 20119 (java) S 20100 20102 18184 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981232150 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296741785 0 4 0 16800975 18446604471117111744 0 0 -1 1 0 0 0
[pid=20102/tid=20120] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20120/stat : 20120 (java) S 20100 20102 18184 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 981232150 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 3 0 0 0
[pid=20102/tid=20121] ppid=20100 vsize=10544700 CPUtime=0 cores=1,3,5,7
/proc/20102/task/20121/stat : 20121 (java) S 20100 20102 18184 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981232176 10797772800 24512 33554432000 1073741824 1073778376 140736369286912 18446744073709551615 224296742400 0 4 0 16800975 18446604471117111744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 353.69
Current children cumulated vsize (KiB) 10544700

Child status: 30
Real time (s): 351.336
CPU time (s): 353.744
CPU user time (s): 353.521
CPU system time (s): 0.222966
CPU usage (%): 100.685
Max. virtual memory (cumulated for all children) (KiB): 10544700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 353.521
system time used= 0.222966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36716
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= 25669
involuntary context switches= 13098

runsolver used 0.581911 second user time and 1.35879 second system time

The end

Launcher Data 

Begin job on node118 at 2011-06-12 22:20:15
IDJOB=3492596
IDBENCH=78912
IDSOLVER=1982
FILE ID=node118/3492596-1307910015
RUNJOBID= node118-1307908120-19538
PBS_JOBID= 13559604
Free space on /tmp= 18216 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670167--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-3492596-1307910015/watcher-3492596-1307910015 -o /tmp/evaluation-result-3492596-1307910015/solver-3492596-1307910015 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492596-1307910015.wbo

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

MD5SUM BENCH= 3458f76d1c0eafd16754e96da618f7a2
RANDOM SEED=1022105261

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       7979320 kB
Buffers:         71076 kB
Cached:       24011860 kB
SwapCached:      14020 kB
Active:        8961016 kB
Inactive:     15218464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       7979320 kB
SwapTotal:    67111528 kB
SwapFree:     67049472 kB
Dirty:             832 kB
Writeback:           0 kB
AnonPages:       95148 kB
Mapped:          17500 kB
Slab:           727440 kB
PageTables:       4672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10556192 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 18216 MiB
End job on node118 at 2011-06-12 22:26:06