Trace number 3492718

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 387.101 384.775

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900563250--soft-33-100-0.wbo
MD5SUM4dbce9c855a469b24d5770190ca01b65
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark79.151
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 constraints1783
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 90636
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90635
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 665
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.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		9996466904
0.04/0.09	c Max memory 		10048897024
0.04/0.09	c Total memory 		10048897024
0.04/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@761a626f
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3492718-1307910547.wbo
0.11/0.11	c reading problem ... 
0.44/0.33	c ... done. Wall clock time 0.214s.
0.44/0.33	c #vars     2014
0.44/0.33	c #constraints  2707
0.44/0.33	c constraints type 
0.44/0.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2597
0.44/0.33	c org.sat4j.minisat.constraints.card.MinWatchCard => 11
0.44/0.33	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 87
0.44/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.73/0.45	c SATISFIABLE
0.73/0.45	c OPTIMIZING...
0.73/0.45	c Got one! Elapsed wall clock time (in seconds):0.337
0.73/0.45	o 474
1.01/0.50	c Got one! Elapsed wall clock time (in seconds):0.388
1.01/0.50	o 445
1.01/0.53	c Got one! Elapsed wall clock time (in seconds):0.422
1.01/0.53	o 427
1.01/0.55	c Got one! Elapsed wall clock time (in seconds):0.443
1.01/0.55	o 411
1.01/0.57	c Got one! Elapsed wall clock time (in seconds):0.464
1.01/0.57	o 410
1.31/0.60	c Got one! Elapsed wall clock time (in seconds):0.486
1.31/0.60	o 298
1.31/0.61	c Got one! Elapsed wall clock time (in seconds):0.5
1.31/0.61	o 294
1.31/0.63	c Got one! Elapsed wall clock time (in seconds):0.518
1.31/0.63	o 264
1.31/0.65	c Got one! Elapsed wall clock time (in seconds):0.542
1.31/0.65	o 245
1.31/0.69	c Got one! Elapsed wall clock time (in seconds):0.575
1.31/0.69	o 231
1.48/0.70	c Got one! Elapsed wall clock time (in seconds):0.587
1.48/0.70	o 151
1.48/0.72	c Got one! Elapsed wall clock time (in seconds):0.607
1.48/0.72	o 89
1.48/0.75	c Got one! Elapsed wall clock time (in seconds):0.638
1.48/0.75	o 87
1.58/0.81	c Got one! Elapsed wall clock time (in seconds):0.696
1.58/0.81	o 86
1.58/0.88	c Got one! Elapsed wall clock time (in seconds):0.764
1.58/0.88	o 46
1.68/0.93	c Got one! Elapsed wall clock time (in seconds):0.818
1.68/0.93	o 43
1.79/1.07	c Got one! Elapsed wall clock time (in seconds):0.958
1.79/1.07	o 33
1.89/1.16	c Got one! Elapsed wall clock time (in seconds):1.049
1.89/1.16	o 21
2.08/1.30	c Got one! Elapsed wall clock time (in seconds):1.19
2.08/1.30	o 20
2.29/1.51	c Got one! Elapsed wall clock time (in seconds):1.396
2.29/1.51	o 13
2.39/1.60	c Got one! Elapsed wall clock time (in seconds):1.494
2.39/1.60	o 12
2.51/1.78	c Got one! Elapsed wall clock time (in seconds):1.667
2.51/1.78	o 6
2.71/1.93	c cleaning 6254 clauses out of 12510 with flag 1001/12510
3.04/2.27	c Got one! Elapsed wall clock time (in seconds):2.161
3.04/2.27	o 5
3.14/2.38	c cleaning 5941 clauses out of 11892 with flag 1000/18146
3.44/2.63	c Got one! Elapsed wall clock time (in seconds):2.524
3.44/2.63	o 3
3.64/2.80	c cleaning 5681 clauses out of 11370 with flag 2001/23565
4.09/3.21	c cleaning 5842 clauses out of 11688 with flag 8000/29564
4.49/3.68	c cleaning 6415 clauses out of 12846 with flag 15000/36564
5.09/4.24	c cleaning 7208 clauses out of 14434 with flag 23003/44567
5.20/4.31	c Got one! Elapsed wall clock time (in seconds):4.203
5.20/4.31	o 2
5.49/4.63	c cleaning 6134 clauses out of 12283 with flag 4000/49624
5.89/5.04	c cleaning 6065 clauses out of 12150 with flag 10001/55625
6.30/5.49	c cleaning 6537 clauses out of 13085 with flag 17001/62625
6.90/6.01	c cleaning 7263 clauses out of 14547 with flag 25000/70624
7.50/6.69	c cleaning 8139 clauses out of 16286 with flag 34002/79626
8.30/7.43	c cleaning 9070 clauses out of 18146 with flag 44001/89625
9.00/8.18	c cleaning 9534 clauses out of 19075 with flag 54000/99624
9.80/8.93	c cleaning 9764 clauses out of 19542 with flag 64001/109625
10.51/9.67	c cleaning 9884 clauses out of 19777 with flag 74000/119624
11.31/10.46	c cleaning 9940 clauses out of 19894 with flag 84001/129625
12.11/11.25	c cleaning 9971 clauses out of 19956 with flag 94003/139627
12.82/11.98	c cleaning 9983 clauses out of 19982 with flag 104000/149624
13.52/12.69	c cleaning 9990 clauses out of 19999 with flag 114000/159624
14.32/13.42	c cleaning 9994 clauses out of 20009 with flag 124000/169624
15.02/14.16	c cleaning 10001 clauses out of 20016 with flag 134001/179625
15.72/14.85	c cleaning 10004 clauses out of 20015 with flag 144001/189625
16.42/15.56	c cleaning 10000 clauses out of 20014 with flag 154004/199628
17.13/16.28	c cleaning 10003 clauses out of 20012 with flag 164002/209626
17.83/16.94	c cleaning 9990 clauses out of 20010 with flag 174003/219627
18.43/17.60	c cleaning 10005 clauses out of 20018 with flag 184001/229625
19.13/18.23	c cleaning 10000 clauses out of 20012 with flag 194000/239624
19.73/18.88	c cleaning 10003 clauses out of 20012 with flag 204000/249624
20.43/19.51	c cleaning 10000 clauses out of 20010 with flag 214001/259625
21.04/20.13	c cleaning 10000 clauses out of 20010 with flag 224001/269625
21.64/20.75	c cleaning 9999 clauses out of 20012 with flag 234003/279627
22.24/21.37	c cleaning 9999 clauses out of 20012 with flag 244002/289626
22.84/21.94	c cleaning 10002 clauses out of 20013 with flag 254002/299626
23.44/22.54	c cleaning 9999 clauses out of 20010 with flag 264001/309625
23.95/23.08	c cleaning 9994 clauses out of 20010 with flag 274000/319624
24.54/23.62	c cleaning 10006 clauses out of 20019 with flag 284003/329627
25.05/24.12	c cleaning 10000 clauses out of 20010 with flag 294000/339624
25.55/24.64	c cleaning 9996 clauses out of 20010 with flag 304000/349624
26.05/25.14	c cleaning 9999 clauses out of 20015 with flag 314001/359625
26.55/25.62	c cleaning 10002 clauses out of 20017 with flag 324002/369626
27.05/26.10	c cleaning 10002 clauses out of 20013 with flag 334000/379624
27.55/26.60	c cleaning 9995 clauses out of 20011 with flag 344000/389624
28.05/27.12	c cleaning 9997 clauses out of 20016 with flag 354000/399624
28.57/27.64	c cleaning 10007 clauses out of 20020 with flag 364001/409625
29.07/28.15	c cleaning 9997 clauses out of 20012 with flag 374000/419624
29.58/28.68	c cleaning 10002 clauses out of 20017 with flag 384002/429626
30.17/29.20	c cleaning 10004 clauses out of 20014 with flag 394001/439625
30.68/29.74	c cleaning 9995 clauses out of 20009 with flag 404000/449624
31.18/30.29	c cleaning 10000 clauses out of 20017 with flag 414003/459627
31.68/30.80	c cleaning 9997 clauses out of 20015 with flag 424001/469625
32.28/31.33	c cleaning 10005 clauses out of 20020 with flag 434003/479627
32.78/31.82	c cleaning 10002 clauses out of 20014 with flag 444002/489626
33.28/32.32	c cleaning 9996 clauses out of 20010 with flag 454000/499624
33.78/32.82	c cleaning 10003 clauses out of 20014 with flag 464000/509624
34.28/33.35	c cleaning 10000 clauses out of 20012 with flag 474001/519625
34.88/33.90	c cleaning 10001 clauses out of 20011 with flag 484000/529624
35.39/34.47	c cleaning 10001 clauses out of 20012 with flag 494002/539626
36.29/35.02	c cleaning 10000 clauses out of 20010 with flag 504001/549625
37.16/35.60	c cleaning 9995 clauses out of 20009 with flag 514000/559624
37.66/36.18	c cleaning 9995 clauses out of 20014 with flag 524000/569624
38.26/36.77	c cleaning 10001 clauses out of 20021 with flag 534002/579626
38.88/37.39	c cleaning 10005 clauses out of 20018 with flag 544000/589624
39.47/37.94	c cleaning 10005 clauses out of 20013 with flag 554000/599624
40.08/38.51	c cleaning 9999 clauses out of 20008 with flag 564000/609624
40.67/39.13	c cleaning 9997 clauses out of 20009 with flag 574000/619624
41.27/39.76	c cleaning 10001 clauses out of 20013 with flag 584001/629625
41.88/40.33	c cleaning 9998 clauses out of 20013 with flag 594002/639626
42.39/40.87	c cleaning 9998 clauses out of 20014 with flag 604001/649625
42.89/41.36	c cleaning 10006 clauses out of 20017 with flag 614002/659626
43.39/41.88	c cleaning 10002 clauses out of 20013 with flag 624004/669628
43.99/42.41	c cleaning 9998 clauses out of 20008 with flag 634001/679625
44.49/42.94	c cleaning 9999 clauses out of 20010 with flag 644001/689625
44.99/43.44	c cleaning 10002 clauses out of 20014 with flag 654004/699628
45.49/43.99	c cleaning 9997 clauses out of 20008 with flag 664000/709624
45.99/44.49	c cleaning 10002 clauses out of 20011 with flag 674000/719624
46.49/44.97	c cleaning 9995 clauses out of 20010 with flag 684001/729625
46.59/45.04	c Got one! Elapsed wall clock time (in seconds):44.924
46.59/45.04	o 1
46.79/45.29	c cleaning 7563 clauses out of 15137 with flag 4002/734747
47.19/45.61	c cleaning 6775 clauses out of 13573 with flag 10001/740746
47.59/46.00	c cleaning 6894 clauses out of 13797 with flag 17000/747745
47.99/46.43	c cleaning 7450 clauses out of 14907 with flag 25004/755749
48.49/46.93	c cleaning 8214 clauses out of 16454 with flag 34001/764746
49.09/47.58	c cleaning 9114 clauses out of 18242 with flag 44003/774748
49.80/48.24	c cleaning 9557 clauses out of 19126 with flag 54001/784746
50.50/48.90	c cleaning 9780 clauses out of 19568 with flag 64000/794745
51.10/49.51	c cleaning 9883 clauses out of 19790 with flag 74002/804747
51.70/50.15	c cleaning 9947 clauses out of 19907 with flag 84002/814747
52.40/50.80	c cleaning 9972 clauses out of 19961 with flag 94003/824748
53.00/51.49	c cleaning 9989 clauses out of 19987 with flag 104001/834746
53.70/52.15	c cleaning 9995 clauses out of 19997 with flag 114000/844745
54.31/52.73	c cleaning 9995 clauses out of 20002 with flag 124000/854745
55.01/53.43	c cleaning 9976 clauses out of 20007 with flag 134000/864745
55.61/54.03	c cleaning 10011 clauses out of 20032 with flag 144001/874746
56.21/54.66	c cleaning 10007 clauses out of 20021 with flag 154001/884746
56.81/55.29	c cleaning 9996 clauses out of 20013 with flag 164000/894745
57.41/55.88	c cleaning 10006 clauses out of 20017 with flag 174000/904745
58.01/56.44	c cleaning 10005 clauses out of 20011 with flag 184000/914745
58.52/56.94	c cleaning 9998 clauses out of 20007 with flag 194001/924746
59.02/57.45	c cleaning 10000 clauses out of 20008 with flag 204000/934745
59.52/57.98	c cleaning 9999 clauses out of 20009 with flag 214001/944746
60.02/58.49	c cleaning 9996 clauses out of 20010 with flag 224001/954746
60.62/59.00	c cleaning 9999 clauses out of 20014 with flag 234001/964746
61.12/59.51	c cleaning 10004 clauses out of 20014 with flag 244000/974745
61.62/60.02	c cleaning 10002 clauses out of 20012 with flag 254002/984747
62.13/60.54	c cleaning 9993 clauses out of 20008 with flag 264000/994745
62.62/61.06	c cleaning 10000 clauses out of 20015 with flag 274000/1004745
63.23/61.62	c cleaning 9994 clauses out of 20018 with flag 284003/1014748
63.73/62.15	c cleaning 10006 clauses out of 20022 with flag 294001/1024746
64.23/62.64	c cleaning 10000 clauses out of 20015 with flag 304000/1034745
64.73/63.16	c cleaning 10003 clauses out of 20016 with flag 314001/1044746
65.23/63.70	c cleaning 10001 clauses out of 20012 with flag 324000/1054745
65.73/64.19	c cleaning 9995 clauses out of 20012 with flag 334001/1064746
66.44/64.80	c cleaning 10004 clauses out of 20016 with flag 344000/1074745
66.94/65.34	c cleaning 10002 clauses out of 20013 with flag 354001/1084746
67.45/65.85	c cleaning 10000 clauses out of 20010 with flag 364000/1094745
67.95/66.34	c cleaning 9995 clauses out of 20010 with flag 374000/1104745
68.45/66.84	c cleaning 10001 clauses out of 20016 with flag 384001/1114746
68.95/67.33	c cleaning 10000 clauses out of 20015 with flag 394001/1124746
69.45/67.83	c cleaning 9999 clauses out of 20015 with flag 404001/1134746
69.95/68.32	c cleaning 10004 clauses out of 20017 with flag 414002/1144747
70.45/68.80	c cleaning 10001 clauses out of 20011 with flag 424000/1154745
70.96/69.32	c cleaning 9993 clauses out of 20010 with flag 434000/1164745
71.36/69.79	c cleaning 10002 clauses out of 20018 with flag 444001/1174746
71.96/70.34	c cleaning 10003 clauses out of 20015 with flag 454000/1184745
72.46/70.83	c cleaning 9998 clauses out of 20012 with flag 464000/1194745
72.96/71.32	c cleaning 10003 clauses out of 20014 with flag 474000/1204745
73.46/71.81	c cleaning 9997 clauses out of 20011 with flag 484000/1214745
73.96/72.32	c cleaning 10001 clauses out of 20014 with flag 494000/1224745
74.46/72.88	c cleaning 10002 clauses out of 20014 with flag 504001/1234746
74.96/73.38	c cleaning 10002 clauses out of 20011 with flag 514000/1244745
75.56/73.91	c cleaning 9998 clauses out of 20010 with flag 524001/1254746
76.06/74.42	c cleaning 9997 clauses out of 20011 with flag 534000/1264745
76.56/74.93	c cleaning 10003 clauses out of 20015 with flag 544001/1274746
77.07/75.42	c cleaning 9999 clauses out of 20011 with flag 554000/1284745
77.47/75.90	c cleaning 9999 clauses out of 20012 with flag 564000/1294745
78.07/76.43	c cleaning 9994 clauses out of 20013 with flag 574000/1304745
78.57/76.98	c cleaning 9998 clauses out of 20021 with flag 584002/1314747
79.16/77.51	c cleaning 10008 clauses out of 20023 with flag 594002/1324747
79.67/78.07	c cleaning 9997 clauses out of 20013 with flag 604000/1334745
80.26/78.66	c cleaning 10005 clauses out of 20016 with flag 614000/1344745
80.87/79.22	c cleaning 10002 clauses out of 20013 with flag 624002/1354747
81.37/79.77	c cleaning 10001 clauses out of 20010 with flag 634001/1364746
81.97/80.34	c cleaning 9993 clauses out of 20009 with flag 644001/1374746
82.47/80.88	c cleaning 9998 clauses out of 20017 with flag 654002/1384747
82.97/81.39	c cleaning 10003 clauses out of 20018 with flag 664001/1394746
83.57/81.96	c cleaning 10002 clauses out of 20017 with flag 674003/1404748
84.08/82.47	c cleaning 10000 clauses out of 20013 with flag 684001/1414746
84.68/83.01	c cleaning 10005 clauses out of 20013 with flag 694001/1424746
85.18/83.55	c cleaning 9996 clauses out of 20008 with flag 704001/1434746
85.68/84.07	c cleaning 10003 clauses out of 20013 with flag 714002/1444747
86.18/84.59	c cleaning 10001 clauses out of 20008 with flag 724000/1454745
86.68/85.09	c cleaning 9998 clauses out of 20008 with flag 734001/1464746
87.28/85.64	c cleaning 10000 clauses out of 20009 with flag 744000/1474745
87.78/86.17	c cleaning 10000 clauses out of 20012 with flag 754003/1484748
88.28/86.69	c cleaning 9998 clauses out of 20009 with flag 764000/1494745
88.78/87.18	c cleaning 10001 clauses out of 20011 with flag 774000/1504745
89.38/87.72	c cleaning 9993 clauses out of 20010 with flag 784000/1514745
89.88/88.25	c cleaning 10000 clauses out of 20018 with flag 794001/1524746
90.38/88.77	c cleaning 10000 clauses out of 20017 with flag 804000/1534745
90.99/89.32	c cleaning 10001 clauses out of 20018 with flag 814001/1544746
91.49/89.84	c cleaning 10004 clauses out of 20017 with flag 824001/1554746
91.99/90.34	c cleaning 10003 clauses out of 20014 with flag 834002/1564747
92.49/90.89	c cleaning 9996 clauses out of 20011 with flag 844002/1574747
93.09/91.40	c cleaning 10003 clauses out of 20015 with flag 854002/1584747
93.60/91.93	c cleaning 10000 clauses out of 20011 with flag 864001/1594746
94.10/92.46	c cleaning 9998 clauses out of 20011 with flag 874001/1604746
94.70/93.00	c cleaning 9995 clauses out of 20012 with flag 884000/1614745
95.20/93.56	c cleaning 10002 clauses out of 20018 with flag 894001/1624746
95.70/94.08	c cleaning 10003 clauses out of 20016 with flag 904001/1634746
96.30/94.60	c cleaning 9998 clauses out of 20012 with flag 914000/1644745
96.70/95.08	c cleaning 10002 clauses out of 20015 with flag 924001/1654746
97.31/95.60	c cleaning 10004 clauses out of 20014 with flag 934002/1664747
97.81/96.17	c cleaning 10001 clauses out of 20009 with flag 944001/1674746
98.31/96.69	c cleaning 9998 clauses out of 20007 with flag 954000/1684745
98.91/97.23	c cleaning 9999 clauses out of 20011 with flag 964002/1694747
99.41/97.79	c cleaning 9995 clauses out of 20010 with flag 974000/1704745
100.01/98.33	c cleaning 9999 clauses out of 20017 with flag 984002/1714747
100.61/98.92	c cleaning 10002 clauses out of 20017 with flag 994001/1724746
101.11/99.44	c cleaning 9999 clauses out of 20015 with flag 1004001/1734746
101.62/99.99	c cleaning 10001 clauses out of 20015 with flag 1014000/1744745
102.22/100.53	c cleaning 10000 clauses out of 20015 with flag 1024001/1754746
102.72/101.04	c cleaning 10001 clauses out of 20017 with flag 1034003/1764748
103.32/101.66	c cleaning 10000 clauses out of 20014 with flag 1044001/1774746
103.83/102.19	c cleaning 10005 clauses out of 20013 with flag 1054000/1784745
104.43/102.71	c cleaning 9998 clauses out of 20008 with flag 1064000/1794745
104.93/103.21	c cleaning 9996 clauses out of 20010 with flag 1074000/1804745
105.43/103.72	c cleaning 10002 clauses out of 20016 with flag 1084002/1814747
105.93/104.21	c cleaning 10003 clauses out of 20013 with flag 1094001/1824746
106.43/104.73	c cleaning 9994 clauses out of 20009 with flag 1104000/1834745
107.03/105.30	c cleaning 10000 clauses out of 20016 with flag 1114001/1844746
107.53/105.85	c cleaning 10005 clauses out of 20015 with flag 1124000/1854745
108.03/106.38	c cleaning 9999 clauses out of 20010 with flag 1134000/1864745
108.63/106.90	c cleaning 9996 clauses out of 20011 with flag 1144000/1874745
109.13/107.47	c cleaning 9993 clauses out of 20016 with flag 1154001/1884746
109.64/107.99	c cleaning 10007 clauses out of 20022 with flag 1164000/1894745
110.24/108.51	c cleaning 9993 clauses out of 20015 with flag 1174000/1904745
110.73/109.02	c cleaning 10004 clauses out of 20023 with flag 1184001/1914746
111.24/109.55	c cleaning 10000 clauses out of 20019 with flag 1194001/1924746
111.84/110.15	c cleaning 9996 clauses out of 20020 with flag 1204002/1934747
112.34/110.67	c cleaning 10005 clauses out of 20023 with flag 1214001/1944746
112.84/111.18	c cleaning 9998 clauses out of 20017 with flag 1224000/1954745
113.44/111.71	c cleaning 10004 clauses out of 20020 with flag 1234001/1964746
113.94/112.24	c cleaning 10005 clauses out of 20016 with flag 1244001/1974746
114.44/112.75	c cleaning 10002 clauses out of 20011 with flag 1254001/1984746
115.05/113.31	c cleaning 9998 clauses out of 20011 with flag 1264003/1994748
115.54/113.86	c cleaning 9997 clauses out of 20011 with flag 1274001/2004746
116.04/114.35	c cleaning 10001 clauses out of 20017 with flag 1284004/2014749
116.54/114.88	c cleaning 10003 clauses out of 20015 with flag 1294003/2024748
117.04/115.36	c cleaning 10002 clauses out of 20009 with flag 1304000/2034745
117.54/115.87	c cleaning 9994 clauses out of 20007 with flag 1314000/2044745
118.04/116.39	c cleaning 10003 clauses out of 20014 with flag 1324001/2054746
118.54/116.88	c cleaning 9999 clauses out of 20011 with flag 1334001/2064746
119.04/117.38	c cleaning 10000 clauses out of 20012 with flag 1344001/2074746
119.55/117.89	c cleaning 9997 clauses out of 20011 with flag 1354000/2084745
120.05/118.39	c cleaning 10002 clauses out of 20014 with flag 1364000/2094745
120.65/118.95	c cleaning 9997 clauses out of 20014 with flag 1374002/2104747
121.15/119.45	c cleaning 10004 clauses out of 20016 with flag 1384001/2114746
121.66/119.98	c cleaning 10000 clauses out of 20011 with flag 1394000/2124745
122.25/120.53	c cleaning 9999 clauses out of 20011 with flag 1404000/2134745
122.76/121.05	c cleaning 9999 clauses out of 20013 with flag 1414001/2144746
123.25/121.53	c cleaning 10004 clauses out of 20014 with flag 1424001/2154746
123.76/122.05	c cleaning 10000 clauses out of 20012 with flag 1434003/2164748
124.25/122.55	c cleaning 9995 clauses out of 20009 with flag 1444000/2174745
124.75/123.05	c cleaning 10001 clauses out of 20015 with flag 1454001/2184746
125.36/123.60	c cleaning 10003 clauses out of 20016 with flag 1464003/2194748
125.87/124.11	c cleaning 10005 clauses out of 20015 with flag 1474005/2204750
126.37/124.63	c cleaning 9996 clauses out of 20006 with flag 1484001/2214746
126.87/125.12	c cleaning 10001 clauses out of 20010 with flag 1494001/2224746
127.37/125.62	c cleaning 10001 clauses out of 20010 with flag 1504002/2234747
127.87/126.18	c cleaning 9996 clauses out of 20008 with flag 1514001/2244746
128.37/126.69	c cleaning 10001 clauses out of 20011 with flag 1524000/2254745
128.88/127.18	c cleaning 9999 clauses out of 20012 with flag 1534002/2264747
129.47/127.73	c cleaning 9997 clauses out of 20011 with flag 1544000/2274745
129.98/128.23	c cleaning 10001 clauses out of 20014 with flag 1554000/2284745
130.48/128.79	c cleaning 10004 clauses out of 20015 with flag 1564002/2294747
131.08/129.32	c cleaning 9999 clauses out of 20009 with flag 1574000/2304745
131.58/129.82	c cleaning 9999 clauses out of 20012 with flag 1584002/2314747
132.08/130.32	c cleaning 9999 clauses out of 20011 with flag 1594000/2324745
132.58/130.86	c cleaning 9999 clauses out of 20012 with flag 1604000/2334745
133.08/131.37	c cleaning 9994 clauses out of 20014 with flag 1614001/2344746
133.69/131.93	c cleaning 10004 clauses out of 20021 with flag 1624002/2354747
134.18/132.45	c cleaning 10002 clauses out of 20018 with flag 1634003/2364748
134.68/132.97	c cleaning 10002 clauses out of 20015 with flag 1644002/2374747
135.18/133.47	c cleaning 10001 clauses out of 20014 with flag 1654003/2384748
135.68/133.97	c cleaning 10002 clauses out of 20013 with flag 1664003/2394748
136.18/134.48	c cleaning 10000 clauses out of 20010 with flag 1674002/2404747
136.68/134.98	c cleaning 9995 clauses out of 20008 with flag 1684000/2414745
137.29/135.51	c cleaning 10004 clauses out of 20015 with flag 1694002/2424747
137.79/136.04	c cleaning 9998 clauses out of 20009 with flag 1704000/2434745
138.29/136.56	c cleaning 10002 clauses out of 20012 with flag 1714001/2444746
138.89/137.10	c cleaning 9996 clauses out of 20010 with flag 1724001/2454746
139.39/137.66	c cleaning 9999 clauses out of 20014 with flag 1734001/2464746
139.89/138.19	c cleaning 10002 clauses out of 20015 with flag 1744001/2474746
140.49/138.76	c cleaning 9993 clauses out of 20012 with flag 1754000/2484745
140.99/139.27	c cleaning 10001 clauses out of 20019 with flag 1764000/2494745
141.59/139.84	c cleaning 9997 clauses out of 20019 with flag 1774001/2504746
142.09/140.38	c cleaning 10001 clauses out of 20021 with flag 1784000/2514745
142.69/140.94	c cleaning 10004 clauses out of 20020 with flag 1794000/2524745
143.19/141.46	c cleaning 10000 clauses out of 20017 with flag 1804001/2534746
143.70/141.98	c cleaning 10001 clauses out of 20018 with flag 1814002/2544747
144.29/142.57	c cleaning 9999 clauses out of 20015 with flag 1824000/2554745
144.90/143.11	c cleaning 9996 clauses out of 20017 with flag 1834001/2564746
145.40/143.66	c cleaning 10008 clauses out of 20022 with flag 1844002/2574747
146.00/144.21	c cleaning 10003 clauses out of 20012 with flag 1854000/2584745
146.50/144.72	c cleaning 9997 clauses out of 20009 with flag 1864000/2594745
147.01/145.24	c cleaning 10003 clauses out of 20013 with flag 1874001/2604746
147.50/145.73	c cleaning 9996 clauses out of 20010 with flag 1884001/2614746
148.01/146.27	c cleaning 10002 clauses out of 20013 with flag 1894000/2624745
148.51/146.77	c cleaning 10000 clauses out of 20011 with flag 1904000/2634745
149.01/147.29	c cleaning 9997 clauses out of 20013 with flag 1914002/2644747
149.61/147.89	c cleaning 10002 clauses out of 20014 with flag 1924000/2654745
150.11/148.38	c cleaning 9998 clauses out of 20015 with flag 1934003/2664748
150.61/148.89	c cleaning 9997 clauses out of 20014 with flag 1944000/2674745
151.11/149.37	c cleaning 10005 clauses out of 20018 with flag 1954001/2684746
151.71/149.90	c cleaning 9996 clauses out of 20012 with flag 1964000/2694745
152.11/150.39	c cleaning 10003 clauses out of 20016 with flag 1974000/2704745
152.71/150.92	c cleaning 10003 clauses out of 20016 with flag 1984003/2714748
153.21/151.49	c cleaning 9998 clauses out of 20011 with flag 1994001/2724746
153.81/152.07	c cleaning 10001 clauses out of 20012 with flag 2004000/2734745
154.41/152.63	c cleaning 9992 clauses out of 20011 with flag 2014000/2744745
154.91/153.13	c cleaning 10004 clauses out of 20020 with flag 2024001/2754746
155.41/153.68	c cleaning 10004 clauses out of 20018 with flag 2034003/2764748
156.01/154.25	c cleaning 9998 clauses out of 20013 with flag 2044002/2774747
156.62/154.81	c cleaning 10003 clauses out of 20015 with flag 2054002/2784747
157.12/155.34	c cleaning 9989 clauses out of 20010 with flag 2064000/2794745
157.72/155.91	c cleaning 10003 clauses out of 20024 with flag 2074003/2804748
158.22/156.44	c cleaning 10001 clauses out of 20018 with flag 2084000/2814745
158.82/157.00	c cleaning 10000 clauses out of 20020 with flag 2094003/2824748
159.32/157.52	c cleaning 10004 clauses out of 20018 with flag 2104001/2834746
159.82/158.07	c cleaning 9999 clauses out of 20014 with flag 2114001/2844746
160.42/158.60	c cleaning 10004 clauses out of 20015 with flag 2124001/2854746
160.92/159.12	c cleaning 9999 clauses out of 20013 with flag 2134003/2864748
161.42/159.65	c cleaning 9997 clauses out of 20012 with flag 2144001/2874746
162.02/160.20	c cleaning 9994 clauses out of 20014 with flag 2154000/2884745
162.53/160.78	c cleaning 10001 clauses out of 20020 with flag 2164000/2894745
163.23/161.40	c cleaning 10001 clauses out of 20023 with flag 2174004/2904749
163.83/162.04	c cleaning 10006 clauses out of 20019 with flag 2184001/2914746
164.53/162.74	c cleaning 9995 clauses out of 20013 with flag 2194001/2924746
165.23/163.41	c cleaning 10003 clauses out of 20019 with flag 2204002/2934747
165.83/164.07	c cleaning 10004 clauses out of 20014 with flag 2214000/2944745
166.33/164.59	c cleaning 9999 clauses out of 20012 with flag 2224002/2954747
166.94/165.15	c cleaning 9998 clauses out of 20011 with flag 2234000/2964745
167.44/165.69	c cleaning 9999 clauses out of 20014 with flag 2244001/2974746
168.03/166.21	c cleaning 9995 clauses out of 20014 with flag 2254000/2984745
168.54/166.73	c cleaning 10004 clauses out of 20020 with flag 2264001/2994746
169.04/167.25	c cleaning 10006 clauses out of 20021 with flag 2274006/3004751
169.54/167.77	c cleaning 9998 clauses out of 20009 with flag 2284000/3014745
170.15/168.31	c cleaning 10000 clauses out of 20012 with flag 2294001/3024746
170.64/168.86	c cleaning 9988 clauses out of 20011 with flag 2304000/3034745
171.15/169.40	c cleaning 10010 clauses out of 20025 with flag 2314002/3044747
171.75/169.93	c cleaning 10001 clauses out of 20013 with flag 2324000/3054745
172.25/170.48	c cleaning 10001 clauses out of 20014 with flag 2334002/3064747
172.85/171.00	c cleaning 10002 clauses out of 20013 with flag 2344002/3074747
173.35/171.55	c cleaning 10001 clauses out of 20014 with flag 2354005/3084750
173.85/172.06	c cleaning 9995 clauses out of 20008 with flag 2364000/3094745
174.35/172.57	c cleaning 10003 clauses out of 20013 with flag 2374000/3104745
174.85/173.08	c cleaning 9997 clauses out of 20010 with flag 2384000/3114745
175.45/173.62	c cleaning 10001 clauses out of 20013 with flag 2394000/3124745
175.95/174.12	c cleaning 9995 clauses out of 20013 with flag 2404001/3134746
176.45/174.62	c cleaning 9999 clauses out of 20018 with flag 2414001/3144746
176.96/175.11	c cleaning 10007 clauses out of 20018 with flag 2424000/3154745
177.46/175.61	c cleaning 10000 clauses out of 20011 with flag 2434000/3164745
177.96/176.15	c cleaning 10001 clauses out of 20011 with flag 2444000/3174745
178.46/176.67	c cleaning 10002 clauses out of 20012 with flag 2454002/3184747
178.97/177.18	c cleaning 9996 clauses out of 20010 with flag 2464002/3194747
179.46/177.68	c cleaning 9997 clauses out of 20012 with flag 2474000/3204745
180.06/178.21	c cleaning 10000 clauses out of 20018 with flag 2484003/3214748
180.56/178.78	c cleaning 10001 clauses out of 20015 with flag 2494000/3224745
181.17/179.32	c cleaning 9997 clauses out of 20014 with flag 2504000/3234745
181.66/179.83	c cleaning 10001 clauses out of 20018 with flag 2514001/3244746
182.17/180.36	c cleaning 9998 clauses out of 20017 with flag 2524001/3254746
182.77/180.90	c cleaning 10003 clauses out of 20020 with flag 2534002/3264747
183.17/181.39	c cleaning 10000 clauses out of 20016 with flag 2544001/3274746
183.77/181.93	c cleaning 10003 clauses out of 20018 with flag 2554003/3284748
184.27/182.46	c cleaning 9997 clauses out of 20012 with flag 2564000/3294745
184.87/183.01	c cleaning 9996 clauses out of 20015 with flag 2574000/3304745
185.37/183.55	c cleaning 10005 clauses out of 20019 with flag 2584000/3314745
185.97/184.10	c cleaning 9998 clauses out of 20014 with flag 2594000/3324745
186.47/184.67	c cleaning 10003 clauses out of 20016 with flag 2604000/3334745
187.07/185.22	c cleaning 10001 clauses out of 20014 with flag 2614001/3344746
187.57/185.75	c cleaning 10003 clauses out of 20013 with flag 2624001/3354746
188.07/186.29	c cleaning 9998 clauses out of 20009 with flag 2634000/3364745
188.67/186.84	c cleaning 9998 clauses out of 20011 with flag 2644000/3374745
189.17/187.37	c cleaning 10004 clauses out of 20017 with flag 2654004/3384749
189.77/187.93	c cleaning 9999 clauses out of 20009 with flag 2664000/3394745
190.27/188.47	c cleaning 10002 clauses out of 20012 with flag 2674002/3404747
190.78/188.98	c cleaning 9998 clauses out of 20009 with flag 2684001/3414746
191.28/189.49	c cleaning 10000 clauses out of 20012 with flag 2694002/3424747
191.88/190.04	c cleaning 9999 clauses out of 20010 with flag 2704000/3434745
192.38/190.56	c cleaning 10001 clauses out of 20011 with flag 2714000/3444745
192.88/191.09	c cleaning 9997 clauses out of 20010 with flag 2724000/3454745
193.48/191.66	c cleaning 9997 clauses out of 20013 with flag 2734000/3464745
193.98/192.19	c cleaning 10003 clauses out of 20017 with flag 2744001/3474746
194.58/192.73	c cleaning 10002 clauses out of 20013 with flag 2754000/3484745
195.08/193.26	c cleaning 9999 clauses out of 20011 with flag 2764000/3494745
195.59/193.79	c cleaning 10004 clauses out of 20015 with flag 2774003/3504748
196.19/194.33	c cleaning 10002 clauses out of 20011 with flag 2784003/3514748
196.80/194.91	c cleaning 9989 clauses out of 20006 with flag 2794000/3524745
197.30/195.47	c cleaning 10007 clauses out of 20020 with flag 2804003/3534748
197.80/195.99	c cleaning 9996 clauses out of 20011 with flag 2814001/3544746
198.40/196.55	c cleaning 9998 clauses out of 20014 with flag 2824000/3554745
198.90/197.09	c cleaning 10002 clauses out of 20016 with flag 2834000/3564745
199.50/197.60	c cleaning 10002 clauses out of 20015 with flag 2844001/3574746
200.00/198.13	c cleaning 10000 clauses out of 20012 with flag 2854000/3584745
200.50/198.65	c cleaning 10002 clauses out of 20013 with flag 2864001/3594746
201.10/199.20	c cleaning 10000 clauses out of 20011 with flag 2874001/3604746
201.60/199.72	c cleaning 9998 clauses out of 20011 with flag 2884001/3614746
202.11/200.25	c cleaning 9997 clauses out of 20013 with flag 2894001/3624746
202.60/200.76	c cleaning 10004 clauses out of 20015 with flag 2904000/3634745
203.11/201.27	c cleaning 10001 clauses out of 20013 with flag 2914002/3644747
203.61/201.78	c cleaning 10001 clauses out of 20010 with flag 2924000/3654745
204.21/202.36	c cleaning 9999 clauses out of 20010 with flag 2934001/3664746
204.81/202.97	c cleaning 10004 clauses out of 20011 with flag 2944001/3674746
205.42/203.51	c cleaning 10001 clauses out of 20007 with flag 2954001/3684746
205.91/204.02	c cleaning 9998 clauses out of 20006 with flag 2964001/3694746
206.42/204.53	c cleaning 9999 clauses out of 20008 with flag 2974001/3704746
206.91/205.03	c cleaning 9996 clauses out of 20009 with flag 2984001/3714746
207.51/205.61	c cleaning 10001 clauses out of 20015 with flag 2994003/3724748
208.11/206.21	c cleaning 9998 clauses out of 20011 with flag 3004000/3734745
208.62/206.71	c cleaning 10001 clauses out of 20015 with flag 3014002/3744747
209.11/207.23	c cleaning 10001 clauses out of 20014 with flag 3024002/3754747
209.61/207.75	c cleaning 9999 clauses out of 20012 with flag 3034001/3764746
210.22/208.32	c cleaning 10002 clauses out of 20013 with flag 3044001/3774746
210.73/208.83	c cleaning 9997 clauses out of 20011 with flag 3054001/3784746
211.33/209.43	c cleaning 10000 clauses out of 20014 with flag 3064001/3794746
211.83/209.96	c cleaning 9995 clauses out of 20016 with flag 3074003/3804748
212.33/210.49	c cleaning 10003 clauses out of 20019 with flag 3084001/3814746
212.93/211.02	c cleaning 10002 clauses out of 20015 with flag 3094000/3824745
213.43/211.53	c cleaning 10000 clauses out of 20015 with flag 3104002/3834747
214.03/212.10	c cleaning 9997 clauses out of 20013 with flag 3114000/3844745
214.53/212.70	c cleaning 9998 clauses out of 20017 with flag 3124001/3854746
215.13/213.30	c cleaning 10004 clauses out of 20020 with flag 3134002/3864747
215.83/213.92	c cleaning 9996 clauses out of 20017 with flag 3144003/3874748
216.34/214.47	c cleaning 10004 clauses out of 20020 with flag 3154002/3884747
216.93/215.01	c cleaning 10004 clauses out of 20014 with flag 3164000/3894745
217.44/215.51	c cleaning 9998 clauses out of 20011 with flag 3174001/3904746
217.93/216.05	c cleaning 9999 clauses out of 20012 with flag 3184000/3914745
218.54/216.61	c cleaning 10002 clauses out of 20016 with flag 3194003/3924748
219.04/217.13	c cleaning 10002 clauses out of 20012 with flag 3204001/3934746
219.54/217.69	c cleaning 9999 clauses out of 20009 with flag 3214000/3944745
220.14/218.21	c cleaning 9997 clauses out of 20012 with flag 3224002/3954747
220.64/218.74	c cleaning 10002 clauses out of 20014 with flag 3234001/3964746
221.14/219.29	c cleaning 9998 clauses out of 20011 with flag 3244000/3974745
221.74/219.85	c cleaning 10002 clauses out of 20014 with flag 3254001/3984746
222.24/220.39	c cleaning 10002 clauses out of 20015 with flag 3264004/3994749
222.84/220.99	c cleaning 9996 clauses out of 20011 with flag 3274002/4004747
223.44/221.54	c cleaning 10003 clauses out of 20013 with flag 3284000/4014745
224.06/222.13	c cleaning 10002 clauses out of 20013 with flag 3294003/4024748
224.55/222.67	c cleaning 9994 clauses out of 20008 with flag 3304000/4034745
225.16/223.24	c cleaning 10000 clauses out of 20016 with flag 3314002/4044747
225.76/223.82	c cleaning 10004 clauses out of 20014 with flag 3324000/4054745
226.26/224.40	c cleaning 10002 clauses out of 20010 with flag 3334000/4064745
226.86/224.99	c cleaning 9997 clauses out of 20010 with flag 3344002/4074747
227.47/225.52	c cleaning 10001 clauses out of 20013 with flag 3354002/4084747
227.96/226.06	c cleaning 9997 clauses out of 20011 with flag 3364001/4094746
228.47/226.59	c cleaning 10002 clauses out of 20014 with flag 3374001/4104746
229.06/227.14	c cleaning 10001 clauses out of 20013 with flag 3384002/4114747
229.67/227.77	c cleaning 9993 clauses out of 20011 with flag 3394001/4124746
230.26/228.35	c cleaning 10004 clauses out of 20018 with flag 3404001/4134746
230.77/228.89	c cleaning 10004 clauses out of 20013 with flag 3414000/4144745
231.36/229.42	c cleaning 9999 clauses out of 20012 with flag 3424003/4154748
231.87/229.96	c cleaning 10000 clauses out of 20010 with flag 3434000/4164745
232.37/230.48	c cleaning 10000 clauses out of 20010 with flag 3444000/4174745
232.97/231.01	c cleaning 9995 clauses out of 20010 with flag 3454000/4184745
233.47/231.50	c cleaning 10003 clauses out of 20019 with flag 3464004/4194749
233.97/232.04	c cleaning 9997 clauses out of 20012 with flag 3474000/4204745
234.57/232.67	c cleaning 9999 clauses out of 20015 with flag 3484000/4214745
235.18/233.25	c cleaning 10000 clauses out of 20017 with flag 3494001/4224746
235.77/233.80	c cleaning 10000 clauses out of 20017 with flag 3504001/4234746
236.38/234.46	c cleaning 10002 clauses out of 20016 with flag 3514000/4244745
237.08/235.14	c cleaning 9998 clauses out of 20015 with flag 3524001/4254746
237.78/235.84	c cleaning 10001 clauses out of 20018 with flag 3534002/4264747
238.48/236.56	c cleaning 9990 clauses out of 20016 with flag 3544001/4274746
239.07/237.13	c cleaning 10007 clauses out of 20026 with flag 3554001/4284746
239.58/237.66	c cleaning 10000 clauses out of 20019 with flag 3564001/4294746
240.17/238.22	c cleaning 10001 clauses out of 20018 with flag 3574000/4304745
240.68/238.79	c cleaning 10005 clauses out of 20019 with flag 3584002/4314747
241.27/239.31	c cleaning 10002 clauses out of 20012 with flag 3594000/4324745
241.79/239.86	c cleaning 10000 clauses out of 20011 with flag 3604001/4334746
242.39/240.47	c cleaning 9998 clauses out of 20012 with flag 3614002/4344747
242.98/241.00	c cleaning 9999 clauses out of 20014 with flag 3624002/4354747
243.49/241.52	c cleaning 9999 clauses out of 20013 with flag 3634000/4364745
243.99/242.08	c cleaning 10003 clauses out of 20017 with flag 3644003/4374748
244.69/242.70	c cleaning 9997 clauses out of 20012 with flag 3654001/4384746
245.19/243.28	c cleaning 10000 clauses out of 20015 with flag 3664001/4394746
245.89/243.98	c cleaning 10002 clauses out of 20016 with flag 3674002/4404747
246.49/244.52	c cleaning 9999 clauses out of 20012 with flag 3684000/4414745
247.09/245.11	c cleaning 9994 clauses out of 20013 with flag 3694000/4424745
247.69/245.71	c cleaning 10005 clauses out of 20022 with flag 3704003/4434748
248.19/246.25	c cleaning 9991 clauses out of 20015 with flag 3714001/4444746
248.79/246.80	c cleaning 10000 clauses out of 20023 with flag 3724000/4454745
249.29/247.36	c cleaning 10001 clauses out of 20023 with flag 3734000/4464745
249.99/248.02	c cleaning 10002 clauses out of 20022 with flag 3744000/4474745
250.50/248.55	c cleaning 10002 clauses out of 20020 with flag 3754000/4484745
251.00/249.04	c cleaning 10005 clauses out of 20021 with flag 3764003/4494748
251.50/249.58	c cleaning 9998 clauses out of 20014 with flag 3774001/4504746
252.10/250.15	c cleaning 9995 clauses out of 20015 with flag 3784000/4514745
252.61/250.67	c cleaning 10008 clauses out of 20021 with flag 3794001/4524746
253.11/251.18	c cleaning 10000 clauses out of 20012 with flag 3804000/4534745
253.61/251.69	c cleaning 9999 clauses out of 20013 with flag 3814001/4544746
254.11/252.19	c cleaning 10003 clauses out of 20014 with flag 3824001/4554746
254.71/252.78	c cleaning 10004 clauses out of 20011 with flag 3834001/4564746
255.31/253.31	c cleaning 9995 clauses out of 20007 with flag 3844001/4574746
255.81/253.85	c cleaning 10000 clauses out of 20011 with flag 3854000/4584745
256.31/254.35	c cleaning 10001 clauses out of 20011 with flag 3864000/4594745
256.81/254.84	c cleaning 9999 clauses out of 20012 with flag 3874002/4604747
257.31/255.35	c cleaning 10000 clauses out of 20013 with flag 3884002/4614747
257.82/255.87	c cleaning 9999 clauses out of 20011 with flag 3894000/4624745
258.42/256.40	c cleaning 10003 clauses out of 20013 with flag 3904001/4634746
258.92/256.93	c cleaning 10001 clauses out of 20009 with flag 3914000/4644745
259.42/257.47	c cleaning 9998 clauses out of 20008 with flag 3924000/4654745
259.92/257.96	c cleaning 9999 clauses out of 20011 with flag 3934001/4664746
260.53/258.53	c cleaning 10000 clauses out of 20012 with flag 3944001/4674746
261.02/259.06	c cleaning 10001 clauses out of 20011 with flag 3954000/4684745
261.53/259.60	c cleaning 10003 clauses out of 20011 with flag 3964001/4694746
262.13/260.12	c cleaning 9997 clauses out of 20009 with flag 3974002/4704747
262.64/260.65	c cleaning 9996 clauses out of 20012 with flag 3984002/4714747
263.23/261.21	c cleaning 10001 clauses out of 20014 with flag 3994000/4724745
263.74/261.74	c cleaning 10003 clauses out of 20013 with flag 4004000/4734745
264.23/262.29	c cleaning 9992 clauses out of 20011 with flag 4014001/4744746
264.84/262.84	c cleaning 10002 clauses out of 20018 with flag 4024000/4754745
265.33/263.34	c cleaning 9998 clauses out of 20016 with flag 4034000/4764745
265.83/263.86	c cleaning 10004 clauses out of 20019 with flag 4044001/4774746
266.44/264.41	c cleaning 9999 clauses out of 20014 with flag 4054000/4784745
266.94/264.98	c cleaning 9998 clauses out of 20017 with flag 4064002/4794747
267.54/265.54	c cleaning 9997 clauses out of 20017 with flag 4074000/4804745
268.14/266.11	c cleaning 10003 clauses out of 20020 with flag 4084000/4814745
268.64/266.64	c cleaning 10003 clauses out of 20018 with flag 4094001/4824746
269.14/267.19	c cleaning 10002 clauses out of 20014 with flag 4104000/4834745
269.74/267.75	c cleaning 9999 clauses out of 20012 with flag 4114000/4844745
270.34/268.32	c cleaning 10000 clauses out of 20013 with flag 4124000/4854745
270.84/268.87	c cleaning 10001 clauses out of 20015 with flag 4134002/4864747
271.45/269.45	c cleaning 9993 clauses out of 20013 with flag 4144001/4874746
272.04/270.02	c cleaning 9998 clauses out of 20019 with flag 4154000/4884745
272.68/270.62	c cleaning 10004 clauses out of 20021 with flag 4164000/4894745
273.28/271.23	c cleaning 10000 clauses out of 20018 with flag 4174001/4904746
273.88/271.81	c cleaning 10001 clauses out of 20017 with flag 4184000/4914745
274.48/272.42	c cleaning 9999 clauses out of 20016 with flag 4194000/4924745
275.08/273.04	c cleaning 9998 clauses out of 20017 with flag 4204000/4934745
275.68/273.64	c cleaning 9997 clauses out of 20021 with flag 4214002/4944747
276.28/274.21	c cleaning 10010 clauses out of 20027 with flag 4224005/4954750
276.88/274.84	c cleaning 9999 clauses out of 20012 with flag 4234000/4964745
277.48/275.43	c cleaning 10004 clauses out of 20015 with flag 4244002/4974747
278.09/276.03	c cleaning 9996 clauses out of 20011 with flag 4254002/4984747
278.78/276.72	c cleaning 9998 clauses out of 20013 with flag 4264000/4994745
279.38/277.33	c cleaning 10003 clauses out of 20017 with flag 4274002/5004747
279.98/277.94	c cleaning 10000 clauses out of 20013 with flag 4284001/5014746
280.59/278.50	c cleaning 10003 clauses out of 20014 with flag 4294002/5024747
281.19/279.13	c cleaning 9991 clauses out of 20010 with flag 4304001/5034746
281.80/279.75	c cleaning 10001 clauses out of 20018 with flag 4314000/5044745
282.40/280.40	c cleaning 10001 clauses out of 20018 with flag 4324001/5054746
283.00/280.99	c cleaning 10004 clauses out of 20018 with flag 4334002/5064747
283.60/281.56	c cleaning 9999 clauses out of 20012 with flag 4344000/5074745
284.20/282.17	c cleaning 10001 clauses out of 20015 with flag 4354002/5084747
284.81/282.77	c cleaning 10001 clauses out of 20014 with flag 4364002/5094747
285.40/283.34	c cleaning 9999 clauses out of 20012 with flag 4374001/5104746
285.91/283.90	c cleaning 9991 clauses out of 20014 with flag 4384002/5114747
286.50/284.49	c cleaning 10007 clauses out of 20023 with flag 4394002/5124747
287.11/285.09	c cleaning 10002 clauses out of 20014 with flag 4404000/5134745
287.71/285.69	c cleaning 9999 clauses out of 20013 with flag 4414001/5144746
288.31/286.26	c cleaning 9999 clauses out of 20013 with flag 4424000/5154745
288.91/286.89	c cleaning 9999 clauses out of 20014 with flag 4434000/5164745
289.61/287.52	c cleaning 10005 clauses out of 20016 with flag 4444001/5174746
290.11/288.09	c cleaning 9999 clauses out of 20010 with flag 4454000/5184745
290.71/288.65	c cleaning 9993 clauses out of 20011 with flag 4464000/5194745
291.32/289.27	c cleaning 10007 clauses out of 20021 with flag 4474003/5204748
291.91/289.88	c cleaning 10001 clauses out of 20011 with flag 4484000/5214745
292.52/290.48	c cleaning 9996 clauses out of 20010 with flag 4494000/5224745
293.11/291.06	c cleaning 10002 clauses out of 20015 with flag 4504001/5234746
293.71/291.67	c cleaning 9996 clauses out of 20013 with flag 4514001/5244746
294.31/292.29	c cleaning 10003 clauses out of 20016 with flag 4524000/5254745
295.11/293.02	c cleaning 9991 clauses out of 20013 with flag 4534000/5264745
295.72/293.64	c cleaning 10003 clauses out of 20022 with flag 4544000/5274745
296.31/294.29	c cleaning 10004 clauses out of 20019 with flag 4554000/5284745
297.02/294.92	c cleaning 10001 clauses out of 20015 with flag 4564000/5294745
297.62/295.54	c cleaning 10003 clauses out of 20015 with flag 4574001/5304746
298.22/296.16	c cleaning 9999 clauses out of 20011 with flag 4584000/5314745
298.92/296.82	c cleaning 9997 clauses out of 20016 with flag 4594004/5324749
299.62/297.51	c cleaning 10004 clauses out of 20016 with flag 4604001/5334746
300.23/298.15	c cleaning 9999 clauses out of 20011 with flag 4614000/5344745
301.02/298.91	c cleaning 10000 clauses out of 20012 with flag 4624000/5354745
301.62/299.52	c cleaning 9998 clauses out of 20012 with flag 4634000/5364745
302.23/300.11	c cleaning 10005 clauses out of 20015 with flag 4644001/5374746
302.83/300.73	c cleaning 9994 clauses out of 20010 with flag 4654001/5384746
303.53/301.48	c cleaning 9996 clauses out of 20015 with flag 4664000/5394745
304.23/302.14	c cleaning 9997 clauses out of 20020 with flag 4674001/5404746
304.83/302.75	c cleaning 10004 clauses out of 20025 with flag 4684003/5414748
305.53/303.42	c cleaning 10003 clauses out of 20018 with flag 4694000/5424745
306.13/304.00	c cleaning 10001 clauses out of 20015 with flag 4704000/5434745
306.74/304.62	c cleaning 9999 clauses out of 20019 with flag 4714005/5444750
307.33/305.24	c cleaning 9997 clauses out of 20017 with flag 4724002/5454747
308.03/305.98	c cleaning 9987 clauses out of 20018 with flag 4734000/5464745
308.74/306.65	c cleaning 10010 clauses out of 20031 with flag 4744000/5474745
309.35/307.25	c cleaning 10001 clauses out of 20021 with flag 4754000/5484745
309.95/307.85	c cleaning 10003 clauses out of 20020 with flag 4764000/5494745
310.55/308.48	c cleaning 10005 clauses out of 20018 with flag 4774001/5504746
311.16/309.10	c cleaning 10001 clauses out of 20012 with flag 4784000/5514745
311.85/309.77	c cleaning 9995 clauses out of 20012 with flag 4794001/5524746
312.46/310.39	c cleaning 10005 clauses out of 20018 with flag 4804002/5534747
313.16/311.01	c cleaning 9996 clauses out of 20011 with flag 4814000/5544745
313.76/311.63	c cleaning 10001 clauses out of 20017 with flag 4824002/5554747
314.36/312.26	c cleaning 10002 clauses out of 20014 with flag 4834000/5564745
315.06/312.94	c cleaning 9998 clauses out of 20012 with flag 4844000/5574745
315.67/313.50	c cleaning 10000 clauses out of 20016 with flag 4854002/5584747
316.27/314.10	c cleaning 10004 clauses out of 20015 with flag 4864001/5594746
316.87/314.71	c cleaning 9994 clauses out of 20010 with flag 4874000/5604745
317.47/315.36	c cleaning 9993 clauses out of 20016 with flag 4884000/5614745
318.07/315.98	c cleaning 10005 clauses out of 20023 with flag 4894000/5624745
318.77/316.62	c cleaning 10005 clauses out of 20018 with flag 4904000/5634745
319.27/317.20	c cleaning 10001 clauses out of 20013 with flag 4914000/5644745
319.87/317.78	c cleaning 10001 clauses out of 20014 with flag 4924002/5654747
320.57/318.41	c cleaning 9997 clauses out of 20012 with flag 4934001/5664746
321.18/319.07	c cleaning 9998 clauses out of 20017 with flag 4944003/5674748
321.88/319.72	c cleaning 9999 clauses out of 20016 with flag 4954000/5684745
322.48/320.39	c cleaning 9999 clauses out of 20017 with flag 4964000/5694745
323.18/321.03	c cleaning 10006 clauses out of 20019 with flag 4974001/5704746
323.78/321.68	c cleaning 10002 clauses out of 20012 with flag 4984000/5714745
324.39/322.29	c cleaning 9999 clauses out of 20010 with flag 4994000/5724745
324.98/322.89	c cleaning 10003 clauses out of 20014 with flag 5004003/5734748
325.68/323.52	c cleaning 10000 clauses out of 20008 with flag 5014000/5744745
326.38/324.21	c cleaning 10001 clauses out of 20009 with flag 5024001/5754746
326.99/324.81	c cleaning 9996 clauses out of 20007 with flag 5034000/5764745
327.59/325.47	c cleaning 9998 clauses out of 20013 with flag 5044002/5774747
328.29/326.12	c cleaning 9997 clauses out of 20016 with flag 5054003/5784748
328.89/326.77	c cleaning 10000 clauses out of 20018 with flag 5064002/5794747
329.59/327.48	c cleaning 9994 clauses out of 20017 with flag 5074001/5804746
330.29/328.14	c cleaning 10001 clauses out of 20022 with flag 5084000/5814745
331.00/328.85	c cleaning 9994 clauses out of 20024 with flag 5094003/5824748
331.69/329.59	c cleaning 10000 clauses out of 20028 with flag 5104001/5834746
332.49/330.31	c cleaning 10001 clauses out of 20028 with flag 5114001/5844746
333.30/331.10	c cleaning 10010 clauses out of 20031 with flag 5124005/5854750
333.90/331.74	c cleaning 10004 clauses out of 20017 with flag 5134001/5864746
334.50/332.37	c cleaning 9999 clauses out of 20013 with flag 5144001/5874746
335.20/333.01	c cleaning 10000 clauses out of 20014 with flag 5154001/5884746
335.80/333.66	c cleaning 10004 clauses out of 20014 with flag 5164001/5894746
336.51/334.30	c cleaning 9995 clauses out of 20009 with flag 5174000/5904745
337.10/334.94	c cleaning 10003 clauses out of 20014 with flag 5184000/5914745
337.81/335.61	c cleaning 9995 clauses out of 20013 with flag 5194002/5924747
338.41/336.20	c cleaning 9998 clauses out of 20016 with flag 5204000/5934745
338.92/336.78	c cleaning 10006 clauses out of 20019 with flag 5214001/5944746
339.52/337.38	c cleaning 9998 clauses out of 20012 with flag 5224000/5954745
340.22/338.02	c cleaning 10000 clauses out of 20015 with flag 5234001/5964746
340.82/338.65	c cleaning 9988 clauses out of 20014 with flag 5244000/5974745
341.42/339.30	c cleaning 10004 clauses out of 20027 with flag 5254001/5984746
342.03/339.88	c cleaning 10009 clauses out of 20022 with flag 5264000/5994745
342.62/340.47	c cleaning 10002 clauses out of 20014 with flag 5274001/6004746
343.32/341.10	c cleaning 9996 clauses out of 20011 with flag 5284000/6014745
344.03/341.83	c cleaning 9993 clauses out of 20015 with flag 5294000/6024745
344.63/342.46	c cleaning 10007 clauses out of 20029 with flag 5304007/6034752
345.23/343.04	c cleaning 10004 clauses out of 20015 with flag 5314000/6044745
345.93/343.72	c cleaning 9998 clauses out of 20011 with flag 5324000/6054745
346.54/344.37	c cleaning 10002 clauses out of 20013 with flag 5334000/6064745
347.24/345.01	c cleaning 10000 clauses out of 20011 with flag 5344000/6074745
347.84/345.65	c cleaning 9999 clauses out of 20011 with flag 5354000/6084745
348.54/346.30	c cleaning 10000 clauses out of 20012 with flag 5364000/6094745
349.24/347.01	c cleaning 9998 clauses out of 20016 with flag 5374004/6104749
349.94/347.75	c cleaning 10004 clauses out of 20015 with flag 5384001/6114746
350.64/348.45	c cleaning 9997 clauses out of 20015 with flag 5394005/6124750
351.24/349.06	c cleaning 9997 clauses out of 20014 with flag 5404001/6134746
351.85/349.69	c cleaning 9998 clauses out of 20016 with flag 5414000/6144745
352.45/350.29	c cleaning 10002 clauses out of 20018 with flag 5424000/6154745
353.16/350.93	c cleaning 10004 clauses out of 20017 with flag 5434001/6164746
353.75/351.56	c cleaning 10001 clauses out of 20013 with flag 5444001/6174746
354.35/352.16	c cleaning 9996 clauses out of 20013 with flag 5454002/6184747
355.05/352.82	c cleaning 10002 clauses out of 20018 with flag 5464003/6194748
355.65/353.44	c cleaning 9998 clauses out of 20013 with flag 5474000/6204745
356.26/354.06	c cleaning 10005 clauses out of 20017 with flag 5484002/6214747
356.86/354.70	c cleaning 10001 clauses out of 20012 with flag 5494002/6224747
357.46/355.27	c cleaning 9996 clauses out of 20009 with flag 5504000/6234745
358.16/355.96	c cleaning 10000 clauses out of 20014 with flag 5514001/6244746
358.76/356.58	c cleaning 9996 clauses out of 20013 with flag 5524000/6254745
359.36/357.19	c cleaning 10003 clauses out of 20017 with flag 5534000/6264745
360.06/357.81	c cleaning 9998 clauses out of 20016 with flag 5544002/6274747
360.66/358.41	c cleaning 10003 clauses out of 20019 with flag 5554003/6284748
361.26/359.02	c cleaning 9998 clauses out of 20013 with flag 5564000/6294745
361.87/359.65	c cleaning 9999 clauses out of 20015 with flag 5574000/6304745
362.47/360.27	c cleaning 10003 clauses out of 20017 with flag 5584001/6314746
363.17/360.91	c cleaning 9997 clauses out of 20014 with flag 5594001/6324746
363.77/361.53	c cleaning 10005 clauses out of 20017 with flag 5604001/6334746
364.37/362.18	c cleaning 10000 clauses out of 20011 with flag 5614000/6344745
364.97/362.79	c cleaning 9999 clauses out of 20011 with flag 5624000/6354745
365.67/363.46	c cleaning 9999 clauses out of 20016 with flag 5634004/6364749
366.38/364.13	c cleaning 10002 clauses out of 20014 with flag 5644001/6374746
366.98/364.77	c cleaning 9995 clauses out of 20011 with flag 5654000/6384745
367.58/365.37	c cleaning 10003 clauses out of 20017 with flag 5664001/6394746
368.28/366.04	c cleaning 10003 clauses out of 20014 with flag 5674001/6404746
368.88/366.66	c cleaning 9998 clauses out of 20011 with flag 5684001/6414746
369.48/367.30	c cleaning 10000 clauses out of 20015 with flag 5694003/6424748
370.08/367.90	c cleaning 10004 clauses out of 20014 with flag 5704002/6434747
370.78/368.51	c cleaning 9999 clauses out of 20009 with flag 5714001/6444746
371.38/369.12	c cleaning 10002 clauses out of 20012 with flag 5724003/6454748
371.98/369.76	c cleaning 9993 clauses out of 20008 with flag 5734001/6464746
372.69/370.45	c cleaning 10000 clauses out of 20016 with flag 5744002/6474747
373.39/371.10	c cleaning 10002 clauses out of 20014 with flag 5754000/6484745
373.89/371.70	c cleaning 9998 clauses out of 20014 with flag 5764002/6494747
374.59/372.33	c cleaning 10004 clauses out of 20015 with flag 5774001/6504746
375.19/372.98	c cleaning 9997 clauses out of 20010 with flag 5784000/6514745
375.90/373.62	c cleaning 10001 clauses out of 20013 with flag 5794000/6524745
376.50/374.23	c cleaning 10004 clauses out of 20014 with flag 5804002/6534747
377.00/374.78	c cleaning 9998 clauses out of 20008 with flag 5814000/6544745
377.60/375.37	c cleaning 10003 clauses out of 20011 with flag 5824001/6554746
378.30/376.01	c cleaning 9995 clauses out of 20007 with flag 5834000/6564745
378.90/376.65	c cleaning 10000 clauses out of 20014 with flag 5844002/6574747
379.61/377.37	c cleaning 9998 clauses out of 20014 with flag 5854002/6584747
380.40/378.14	c cleaning 9996 clauses out of 20015 with flag 5864001/6594746
381.10/378.85	c cleaning 10001 clauses out of 20018 with flag 5874001/6604746
381.81/379.51	c cleaning 10000 clauses out of 20019 with flag 5884003/6614748
382.51/380.28	c cleaning 9995 clauses out of 20016 with flag 5894000/6624745
383.31/381.00	c cleaning 9996 clauses out of 20021 with flag 5904000/6634745
384.02/381.76	c cleaning 10009 clauses out of 20025 with flag 5914000/6644745
384.81/382.53	c cleaning 10003 clauses out of 20016 with flag 5924000/6654745
385.51/383.23	c cleaning 10001 clauses out of 20013 with flag 5934000/6664745
386.31/384.07	c cleaning 10003 clauses out of 20016 with flag 5944004/6674749
387.01/384.76	c starts		: 302
387.01/384.76	c conflicts		: 6683871
387.01/384.76	c decisions		: 9976304
387.01/384.76	c propagations		: 325616862
387.01/384.76	c inspects		: 3676962713
387.01/384.76	c shortcuts		: 0
387.01/384.76	c learnt literals	: 7
387.01/384.76	c learnt binary clauses	: 32
387.01/384.76	c learnt ternary clauses	: 1279
387.01/384.76	c learnt constraints	: 6683863
387.01/384.76	c ignored constraints	: 0
387.01/384.76	c root simplifications	: 0
387.01/384.76	c removed literals (reason simplification)	: 37613902
387.01/384.76	c reason swapping (by a shorter reason)	: 0
387.01/384.76	c Calls to reduceDB	: 672
387.01/384.76	c number of reductions to clauses (during analyze)	: 0
387.01/384.76	c number of learned constraints concerned by reduction	: 0
387.01/384.76	c number of learning phase by resolution	: 0
387.01/384.76	c number of learning phase by cutting planes	: 0
387.01/384.76	c speed (assignments/second)	: 958466.2449555085
387.01/384.76	c non guided choices	3156
387.01/384.76	c learnt constraints type 
387.01/384.76	c constraints type 
387.01/384.76	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2597
387.01/384.76	c org.sat4j.minisat.constraints.card.MinWatchCard => 11
387.01/384.76	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 87
387.01/384.76	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
387.01/384.76	s OPTIMUM FOUND
387.01/384.76	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 
387.01/384.76	c objective function=1
387.01/384.76	c Total wall clock time (in seconds): 384.653

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 1.99 3/195 16013
/proc/meminfo: memFree=3171640/32950928 swapFree=67056212/67111528
[pid=16013] ppid=16011 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/16013/stat : 16013 (java) R 16011 16013 11872 0 -1 4202496 735 0 0 0 0 0 0 0 25 0 1 0 981285332 23580672 479 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256410429205 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16013/statm: 5757 493 372 9 0 124 0

[startup+0.0606231 s]
/proc/loadavg: 2.00 2.01 1.99 3/195 16013
/proc/meminfo: memFree=3171640/32950928 swapFree=67056212/67111528
[pid=16013] ppid=16011 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/16013/stat : 16013 (java) S 16011 16013 11872 0 -1 4202496 11542 0 1 0 3 1 0 0 25 0 13 0 981285332 10718838784 11238 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427194341 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/16013/statm: 2616904 11239 1691 9 0 2607652 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616

[startup+0.104639 s]
/proc/loadavg: 2.00 2.01 1.99 3/195 16013
/proc/meminfo: memFree=3171640/32950928 swapFree=67056212/67111528
[pid=16013] ppid=16011 vsize=10540828 CPUtime=0.11 cores=0,2,4,6
/proc/16013/stat : 16013 (java) S 16011 16013 11872 0 -1 4202496 13081 0 1 0 9 2 0 0 25 0 18 0 981285332 10793807872 12777 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16013/statm: 2635207 12778 2092 9 0 2625941 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540828

[startup+0.300589 s]
/proc/loadavg: 2.00 2.01 1.99 3/195 16013
/proc/meminfo: memFree=3171640/32950928 swapFree=67056212/67111528
[pid=16013] ppid=16011 vsize=10541852 CPUtime=0.44 cores=0,2,4,6
/proc/16013/stat : 16013 (java) S 16011 16013 11872 0 -1 4202496 15279 0 1 0 42 2 0 0 25 0 18 0 981285332 10794856448 14916 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16013/statm: 2635463 14917 2200 9 0 2626197 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10541852

[startup+0.700536 s]
/proc/loadavg: 2.00 2.01 1.99 3/195 16013
/proc/meminfo: memFree=3171640/32950928 swapFree=67056212/67111528
[pid=16013] ppid=16011 vsize=10545952 CPUtime=1.48 cores=0,2,4,6
/proc/16013/stat : 16013 (java) S 16011 16013 11872 0 -1 4202496 19882 0 1 0 144 4 0 0 25 0 19 0 981285332 10799054848 18718 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16013/statm: 2636488 18718 2225 9 0 2627222 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10545952

[startup+1.50138 s]
/proc/loadavg: 2.00 2.01 1.99 3/214 16032
/proc/meminfo: memFree=3101392/32950928 swapFree=67056212/67111528
[pid=16013] ppid=16011 vsize=10545952 CPUtime=2.29 cores=0,2,4,6
/proc/16013/stat : 16013 (java) S 16011 16013 11872 0 -1 4202496 21767 0 1 0 225 4 0 0 25 0 19 0 981285332 10799054848 20602 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16013/statm: 2636488 20602 2227 9 0 2627222 0
[pid=16013/tid=16015] ppid=16011 vsize=10545952 CPUtime=1.48 cores=0,2,4,6
/proc/16013/task/16015/stat : 16015 (java) R 16011 16013 11872 0 -1 4202560 16937 0 1 0 145 3 0 0 25 0 19 0 981285333 10799054848 20602 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 46912505689996 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16013/tid=16016] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16016/stat : 16016 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981285335 10799054848 20602 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16017] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16017/stat : 16017 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981285335 10799054848 20602 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16018] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16018/stat : 16018 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981285335 10799054848 20602 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16019] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16019/stat : 16019 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981285335 10799054848 20602 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16020] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16020/stat : 16020 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981285335 10799054848 20602 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16021] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16021/stat : 16021 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981285335 10799054848 20602 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16022] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16022/stat : 16022 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981285335 10799054848 20602 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16023] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16023/stat : 16023 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981285335 10799054848 20602 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16024] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16024/stat : 16024 (java) S 16011 16013 11872 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 981285336 10799054848 20602 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 0 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16025] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16025/stat : 16025 (java) S 16011 16013 11872 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 981285336 10799054848 20602 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16026] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16026/stat : 16026 (java) S 16011 16013 11872 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981285336 10799054848 20602 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16027] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16027/stat : 16027 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981285338 10799054848 20602 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427215281 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16028] ppid=16011 vsize=10545952 CPUtime=0.41 cores=0,2,4,6
/proc/16013/task/16028/stat : 16028 (java) S 16011 16013 11872 0 -1 4202560 1700 0 0 0 41 0 0 0 17 0 19 0 981285338 10799054848 20602 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16029] ppid=16011 vsize=10545952 CPUtime=0.37 cores=0,2,4,6
/proc/16013/task/16029/stat : 16029 (java) S 16011 16013 11872 0 -1 4202560 1969 0 0 0 37 0 0 0 15 0 19 0 981285338 10799054848 20602 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16030] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16030/stat : 16030 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981285338 10799054848 20602 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16031] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16031/stat : 16031 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981285338 10799054848 20602 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16032] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16032/stat : 16032 (java) S 16011 16013 11872 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981285368 10799054848 20602 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10545952

[startup+3.10109 s]
/proc/loadavg: 2.00 2.01 1.99 3/214 16032
/proc/meminfo: memFree=3088864/32950928 swapFree=67056212/67111528
[pid=16013] ppid=16011 vsize=10545952 CPUtime=3.99 cores=0,2,4,6
/proc/16013/stat : 16013 (java) S 16011 16013 11872 0 -1 4202496 24577 0 1 0 395 4 0 0 25 0 19 0 981285332 10799054848 23403 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16013/statm: 2636488 23403 2253 9 0 2627222 0
[pid=16013/tid=16015] ppid=16011 vsize=10545952 CPUtime=3.03 cores=0,2,4,6
/proc/16013/task/16015/stat : 16015 (java) R 16011 16013 11872 0 -1 4202560 17642 0 1 0 300 3 0 0 25 0 19 0 981285333 10799054848 23403 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 46912505710347 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16013/tid=16016] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16016/stat : 16016 (java) S 16011 16013 11872 0 -1 4202560 258 0 0 0 0 0 0 0 15 0 19 0 981285335 10799054848 23403 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16017] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16017/stat : 16017 (java) S 16011 16013 11872 0 -1 4202560 275 0 0 0 0 0 0 0 15 0 19 0 981285335 10799054848 23403 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16018] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16018/stat : 16018 (java) S 16011 16013 11872 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 19 0 981285335 10799054848 23403 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16013/tid=16019] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16019/stat : 16019 (java) S 16011 16013 11872 0 -1 4202560 175 0 0 0 0 0 0 0 15 0 19 0 981285335 10799054848 23403 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16020] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16020/stat : 16020 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981285335 10799054848 23403 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16021] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16021/stat : 16021 (java) S 16011 16013 11872 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981285335 10799054848 23403 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16022] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16022/stat : 16022 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981285335 10799054848 23403 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16013/tid=16023] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16023/stat : 16023 (java) S 16011 16013 11872 0 -1 4202560 131 0 0 0 0 0 0 0 15 0 19 0 981285335 10799054848 23403 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16013/tid=16024] ppid=16011 vsize=10545952 CPUtime=0.04 cores=0,2,4,6
/proc/16013/task/16024/stat : 16024 (java) S 16011 16013 11872 0 -1 4202560 976 0 0 0 4 0 0 0 16 0 19 0 981285336 10799054848 23403 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 0 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16025] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16025/stat : 16025 (java) S 16011 16013 11872 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981285336 10799054848 23403 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16026] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16026/stat : 16026 (java) S 16011 16013 11872 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981285336 10799054848 23403 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16027] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16027/stat : 16027 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981285338 10799054848 23403 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427215281 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16028] ppid=16011 vsize=10545952 CPUtime=0.48 cores=0,2,4,6
/proc/16013/task/16028/stat : 16028 (java) S 16011 16013 11872 0 -1 4202560 1782 0 0 0 48 0 0 0 15 0 19 0 981285338 10799054848 23403 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16029] ppid=16011 vsize=10545952 CPUtime=0.4 cores=0,2,4,6
/proc/16013/task/16029/stat : 16029 (java) S 16011 16013 11872 0 -1 4202560 1979 0 0 0 40 0 0 0 15 0 19 0 981285338 10799054848 23403 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16030] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16030/stat : 16030 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981285338 10799054848 23403 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16031] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16031/stat : 16031 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981285338 10799054848 23403 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16032] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16032/stat : 16032 (java) S 16011 16013 11872 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981285368 10799054848 23403 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 10545952

[startup+6.30146 s]
/proc/loadavg: 2.00 2.01 1.99 3/214 16032
/proc/meminfo: memFree=3086128/32950928 swapFree=67056212/67111528
[pid=16013] ppid=16011 vsize=10545952 CPUtime=7.2 cores=0,2,4,6
/proc/16013/stat : 16013 (java) S 16011 16013 11872 0 -1 4202496 24598 0 1 0 716 4 0 0 25 0 19 0 981285332 10799054848 23408 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16013/statm: 2636488 23408 2253 9 0 2627222 0
[pid=16013/tid=16015] ppid=16011 vsize=10545952 CPUtime=6.11 cores=0,2,4,6
/proc/16013/task/16015/stat : 16015 (java) R 16011 16013 11872 0 -1 4202560 17650 0 1 0 608 3 0 0 25 0 19 0 981285333 10799054848 23408 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 46912505660415 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16013/tid=16016] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16016/stat : 16016 (java) S 16011 16013 11872 0 -1 4202560 260 0 0 0 0 0 0 0 15 0 19 0 981285335 10799054848 23408 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16017] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16017/stat : 16017 (java) S 16011 16013 11872 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 19 0 981285335 10799054848 23408 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16013/tid=16018] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16018/stat : 16018 (java) S 16011 16013 11872 0 -1 4202560 202 0 0 0 0 0 0 0 15 0 19 0 981285335 10799054848 23408 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16019] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16019/stat : 16019 (java) S 16011 16013 11872 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 19 0 981285335 10799054848 23408 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16020] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16020/stat : 16020 (java) S 16011 16013 11872 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981285335 10799054848 23408 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16021] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16021/stat : 16021 (java) S 16011 16013 11872 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 981285335 10799054848 23408 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16022] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16022/stat : 16022 (java) S 16011 16013 11872 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 981285335 10799054848 23408 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16013/tid=16023] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16023/stat : 16023 (java) S 16011 16013 11872 0 -1 4202560 131 0 0 0 0 0 0 0 15 0 19 0 981285335 10799054848 23408 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16024] ppid=16011 vsize=10545952 CPUtime=0.15 cores=0,2,4,6
/proc/16013/task/16024/stat : 16024 (java) S 16011 16013 11872 0 -1 4202560 976 0 0 0 15 0 0 0 16 0 19 0 981285336 10799054848 23408 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 0 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16025] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16025/stat : 16025 (java) S 16011 16013 11872 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981285336 10799054848 23408 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16026] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16026/stat : 16026 (java) S 16011 16013 11872 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981285336 10799054848 23408 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16027] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16027/stat : 16027 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981285338 10799054848 23408 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427215281 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16028] ppid=16011 vsize=10545952 CPUtime=0.48 cores=0,2,4,6
/proc/16013/task/16028/stat : 16028 (java) S 16011 16013 11872 0 -1 4202560 1782 0 0 0 48 0 0 0 15 0 19 0 981285338 10799054848 23408 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16029] ppid=16011 vsize=10545952 CPUtime=0.4 cores=0,2,4,6
/proc/16013/task/16029/stat : 16029 (java) S 16011 16013 11872 0 -1 4202560 1979 0 0 0 40 0 0 0 15 0 19 0 981285338 10799054848 23408 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16030] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16030/stat : 16030 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981285338 10799054848 23408 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16031] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16031/stat : 16031 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981285338 10799054848 23408 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16032] ppid=16011 vsize=10545952 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16032/stat : 16032 (java) S 16011 16013 11872 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981285368 10799054848 23408 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.2
Current children cumulated vsize (KiB) 10545952

[startup+12.7012 s]

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

/proc/16013/task/16016/stat : 16016 (java) S 16011 16013 11872 0 -1 4202560 279 0 0 0 23 0 0 0 15 0 19 0 981285335 10821742592 29485 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16017] ppid=16011 vsize=10568108 CPUtime=0.21 cores=0,2,4,6
/proc/16013/task/16017/stat : 16017 (java) S 16011 16013 11872 0 -1 4202560 292 0 0 0 21 0 0 0 15 0 19 0 981285335 10821742592 29485 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16018] ppid=16011 vsize=10568108 CPUtime=0.23 cores=0,2,4,6
/proc/16013/task/16018/stat : 16018 (java) S 16011 16013 11872 0 -1 4202560 227 0 0 0 23 0 0 0 15 0 19 0 981285335 10821742592 29485 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16019] ppid=16011 vsize=10568108 CPUtime=0.24 cores=0,2,4,6
/proc/16013/task/16019/stat : 16019 (java) S 16011 16013 11872 0 -1 4202560 211 0 0 0 24 0 0 0 15 0 19 0 981285335 10821742592 29485 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16020] ppid=16011 vsize=10568108 CPUtime=0.19 cores=0,2,4,6
/proc/16013/task/16020/stat : 16020 (java) S 16011 16013 11872 0 -1 4202560 20 0 0 0 19 0 0 0 15 0 19 0 981285335 10821742592 29485 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16013/tid=16021] ppid=16011 vsize=10568108 CPUtime=0.22 cores=0,2,4,6
/proc/16013/task/16021/stat : 16021 (java) S 16011 16013 11872 0 -1 4202560 24 0 0 0 22 0 0 0 15 0 19 0 981285335 10821742592 29485 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16022] ppid=16011 vsize=10568108 CPUtime=0.22 cores=0,2,4,6
/proc/16013/task/16022/stat : 16022 (java) S 16011 16013 11872 0 -1 4202560 37 0 0 0 22 0 0 0 16 0 19 0 981285335 10821742592 29485 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16013/tid=16023] ppid=16011 vsize=10568108 CPUtime=0.22 cores=0,2,4,6
/proc/16013/task/16023/stat : 16023 (java) S 16011 16013 11872 0 -1 4202560 166 0 0 0 22 0 0 0 15 0 19 0 981285335 10821742592 29485 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16024] ppid=16011 vsize=10568108 CPUtime=11.6 cores=0,2,4,6
/proc/16013/task/16024/stat : 16024 (java) S 16011 16013 11872 0 -1 4202560 1734 0 0 0 1147 13 0 0 15 0 19 0 981285336 10821742592 29485 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 0 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16025] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16025/stat : 16025 (java) S 16011 16013 11872 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981285336 10821742592 29485 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16026] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16026/stat : 16026 (java) S 16011 16013 11872 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981285336 10821742592 29485 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16027] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16027/stat : 16027 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981285338 10821742592 29485 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427215281 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16028] ppid=16011 vsize=10568108 CPUtime=1.08 cores=0,2,4,6
/proc/16013/task/16028/stat : 16028 (java) S 16011 16013 11872 0 -1 4202560 9568 0 0 0 107 1 0 0 15 0 19 0 981285338 10821742592 29485 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16029] ppid=16011 vsize=10568108 CPUtime=0.46 cores=0,2,4,6
/proc/16013/task/16029/stat : 16029 (java) S 16011 16013 11872 0 -1 4202560 2032 0 0 0 46 0 0 0 15 0 19 0 981285338 10821742592 29485 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16030] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16030/stat : 16030 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981285338 10821742592 29485 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16031] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16031/stat : 16031 (java) S 16011 16013 11872 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 981285338 10821742592 29485 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16032] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16032/stat : 16032 (java) S 16011 16013 11872 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981285368 10821742592 29485 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 384.61
Current children cumulated vsize (KiB) 10568108

[startup+383.907 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 16099
/proc/meminfo: memFree=2986236/32950928 swapFree=67056212/67111528
[pid=16013] ppid=16011 vsize=10568108 CPUtime=386.22 cores=0,2,4,6
/proc/16013/stat : 16013 (java) S 16011 16013 11872 0 -1 4202496 34077 0 1 0 38599 23 0 0 25 0 19 0 981285332 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16013/statm: 2642027 29488 2255 9 0 2632761 0
[pid=16013/tid=16015] ppid=16011 vsize=10568108 CPUtime=371.18 cores=0,2,4,6
/proc/16013/task/16015/stat : 16015 (java) R 16011 16013 11872 0 -1 4202560 18311 0 1 0 37114 4 0 0 25 0 19 0 981285333 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 46912505733351 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16013/tid=16016] ppid=16011 vsize=10568108 CPUtime=0.23 cores=0,2,4,6
/proc/16013/task/16016/stat : 16016 (java) S 16011 16013 11872 0 -1 4202560 279 0 0 0 23 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16017] ppid=16011 vsize=10568108 CPUtime=0.21 cores=0,2,4,6
/proc/16013/task/16017/stat : 16017 (java) S 16011 16013 11872 0 -1 4202560 292 0 0 0 21 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16018] ppid=16011 vsize=10568108 CPUtime=0.23 cores=0,2,4,6
/proc/16013/task/16018/stat : 16018 (java) S 16011 16013 11872 0 -1 4202560 228 0 0 0 23 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16019] ppid=16011 vsize=10568108 CPUtime=0.24 cores=0,2,4,6
/proc/16013/task/16019/stat : 16019 (java) S 16011 16013 11872 0 -1 4202560 211 0 0 0 24 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16020] ppid=16011 vsize=10568108 CPUtime=0.19 cores=0,2,4,6
/proc/16013/task/16020/stat : 16020 (java) S 16011 16013 11872 0 -1 4202560 20 0 0 0 19 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16013/tid=16021] ppid=16011 vsize=10568108 CPUtime=0.22 cores=0,2,4,6
/proc/16013/task/16021/stat : 16021 (java) S 16011 16013 11872 0 -1 4202560 24 0 0 0 22 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16022] ppid=16011 vsize=10568108 CPUtime=0.22 cores=0,2,4,6
/proc/16013/task/16022/stat : 16022 (java) S 16011 16013 11872 0 -1 4202560 37 0 0 0 22 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16013/tid=16023] ppid=16011 vsize=10568108 CPUtime=0.22 cores=0,2,4,6
/proc/16013/task/16023/stat : 16023 (java) S 16011 16013 11872 0 -1 4202560 166 0 0 0 22 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16024] ppid=16011 vsize=10568108 CPUtime=11.63 cores=0,2,4,6
/proc/16013/task/16024/stat : 16024 (java) S 16011 16013 11872 0 -1 4202560 1736 0 0 0 1150 13 0 0 15 0 19 0 981285336 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 0 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16025] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16025/stat : 16025 (java) S 16011 16013 11872 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981285336 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16026] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16026/stat : 16026 (java) S 16011 16013 11872 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981285336 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16027] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16027/stat : 16027 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981285338 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427215281 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16028] ppid=16011 vsize=10568108 CPUtime=1.08 cores=0,2,4,6
/proc/16013/task/16028/stat : 16028 (java) S 16011 16013 11872 0 -1 4202560 9568 0 0 0 107 1 0 0 15 0 19 0 981285338 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16029] ppid=16011 vsize=10568108 CPUtime=0.46 cores=0,2,4,6
/proc/16013/task/16029/stat : 16029 (java) S 16011 16013 11872 0 -1 4202560 2032 0 0 0 46 0 0 0 15 0 19 0 981285338 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16030] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16030/stat : 16030 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981285338 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16031] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16031/stat : 16031 (java) S 16011 16013 11872 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 981285338 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16032] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16032/stat : 16032 (java) S 16011 16013 11872 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981285368 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 386.22
Current children cumulated vsize (KiB) 10568108

[startup+384.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 16099
/proc/meminfo: memFree=2986236/32950928 swapFree=67056212/67111528
[pid=16013] ppid=16011 vsize=10568108 CPUtime=386.61 cores=0,2,4,6
/proc/16013/stat : 16013 (java) S 16011 16013 11872 0 -1 4202496 34078 0 1 0 38638 23 0 0 25 0 19 0 981285332 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16013/statm: 2642027 29488 2255 9 0 2632761 0
[pid=16013/tid=16015] ppid=16011 vsize=10568108 CPUtime=371.57 cores=0,2,4,6
/proc/16013/task/16015/stat : 16015 (java) R 16011 16013 11872 0 -1 4202560 18312 0 1 0 37152 5 0 0 25 0 19 0 981285333 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 46912505690072 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16013/tid=16016] ppid=16011 vsize=10568108 CPUtime=0.23 cores=0,2,4,6
/proc/16013/task/16016/stat : 16016 (java) S 16011 16013 11872 0 -1 4202560 279 0 0 0 23 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16017] ppid=16011 vsize=10568108 CPUtime=0.21 cores=0,2,4,6
/proc/16013/task/16017/stat : 16017 (java) S 16011 16013 11872 0 -1 4202560 292 0 0 0 21 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16018] ppid=16011 vsize=10568108 CPUtime=0.23 cores=0,2,4,6
/proc/16013/task/16018/stat : 16018 (java) S 16011 16013 11872 0 -1 4202560 228 0 0 0 23 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16019] ppid=16011 vsize=10568108 CPUtime=0.24 cores=0,2,4,6
/proc/16013/task/16019/stat : 16019 (java) S 16011 16013 11872 0 -1 4202560 211 0 0 0 24 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16020] ppid=16011 vsize=10568108 CPUtime=0.19 cores=0,2,4,6
/proc/16013/task/16020/stat : 16020 (java) S 16011 16013 11872 0 -1 4202560 20 0 0 0 19 0 0 0 16 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16013/tid=16021] ppid=16011 vsize=10568108 CPUtime=0.23 cores=0,2,4,6
/proc/16013/task/16021/stat : 16021 (java) S 16011 16013 11872 0 -1 4202560 24 0 0 0 23 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16022] ppid=16011 vsize=10568108 CPUtime=0.22 cores=0,2,4,6
/proc/16013/task/16022/stat : 16022 (java) S 16011 16013 11872 0 -1 4202560 37 0 0 0 22 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16013/tid=16023] ppid=16011 vsize=10568108 CPUtime=0.22 cores=0,2,4,6
/proc/16013/task/16023/stat : 16023 (java) S 16011 16013 11872 0 -1 4202560 166 0 0 0 22 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16024] ppid=16011 vsize=10568108 CPUtime=11.65 cores=0,2,4,6
/proc/16013/task/16024/stat : 16024 (java) S 16011 16013 11872 0 -1 4202560 1736 0 0 0 1152 13 0 0 15 0 19 0 981285336 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 0 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16025] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16025/stat : 16025 (java) S 16011 16013 11872 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981285336 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16026] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16026/stat : 16026 (java) S 16011 16013 11872 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981285336 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16027] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16027/stat : 16027 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981285338 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427215281 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16028] ppid=16011 vsize=10568108 CPUtime=1.08 cores=0,2,4,6
/proc/16013/task/16028/stat : 16028 (java) S 16011 16013 11872 0 -1 4202560 9568 0 0 0 107 1 0 0 15 0 19 0 981285338 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16029] ppid=16011 vsize=10568108 CPUtime=0.46 cores=0,2,4,6
/proc/16013/task/16029/stat : 16029 (java) S 16011 16013 11872 0 -1 4202560 2032 0 0 0 46 0 0 0 15 0 19 0 981285338 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16030] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16030/stat : 16030 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981285338 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16031] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16031/stat : 16031 (java) S 16011 16013 11872 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 981285338 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16032] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16032/stat : 16032 (java) S 16011 16013 11872 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981285368 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 386.61
Current children cumulated vsize (KiB) 10568108

[startup+384.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 16099
/proc/meminfo: memFree=2986236/32950928 swapFree=67056212/67111528
[pid=16013] ppid=16011 vsize=10568108 CPUtime=387.01 cores=0,2,4,6
/proc/16013/stat : 16013 (java) S 16011 16013 11872 0 -1 4202496 34078 0 1 0 38678 23 0 0 25 0 19 0 981285332 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16013/statm: 2642027 29488 2255 9 0 2632761 0
[pid=16013/tid=16015] ppid=16011 vsize=10568108 CPUtime=371.97 cores=0,2,4,6
/proc/16013/task/16015/stat : 16015 (java) R 16011 16013 11872 0 -1 4202560 18312 0 1 0 37192 5 0 0 25 0 19 0 981285333 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 46912505784484 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16013/tid=16016] ppid=16011 vsize=10568108 CPUtime=0.23 cores=0,2,4,6
/proc/16013/task/16016/stat : 16016 (java) S 16011 16013 11872 0 -1 4202560 279 0 0 0 23 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16017] ppid=16011 vsize=10568108 CPUtime=0.21 cores=0,2,4,6
/proc/16013/task/16017/stat : 16017 (java) S 16011 16013 11872 0 -1 4202560 292 0 0 0 21 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16018] ppid=16011 vsize=10568108 CPUtime=0.23 cores=0,2,4,6
/proc/16013/task/16018/stat : 16018 (java) S 16011 16013 11872 0 -1 4202560 228 0 0 0 23 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16019] ppid=16011 vsize=10568108 CPUtime=0.24 cores=0,2,4,6
/proc/16013/task/16019/stat : 16019 (java) S 16011 16013 11872 0 -1 4202560 211 0 0 0 24 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16020] ppid=16011 vsize=10568108 CPUtime=0.19 cores=0,2,4,6
/proc/16013/task/16020/stat : 16020 (java) S 16011 16013 11872 0 -1 4202560 20 0 0 0 19 0 0 0 16 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16013/tid=16021] ppid=16011 vsize=10568108 CPUtime=0.23 cores=0,2,4,6
/proc/16013/task/16021/stat : 16021 (java) S 16011 16013 11872 0 -1 4202560 24 0 0 0 23 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16022] ppid=16011 vsize=10568108 CPUtime=0.22 cores=0,2,4,6
/proc/16013/task/16022/stat : 16022 (java) S 16011 16013 11872 0 -1 4202560 37 0 0 0 22 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
[pid=16013/tid=16023] ppid=16011 vsize=10568108 CPUtime=0.22 cores=0,2,4,6
/proc/16013/task/16023/stat : 16023 (java) S 16011 16013 11872 0 -1 4202560 166 0 0 0 22 0 0 0 15 0 19 0 981285335 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16024] ppid=16011 vsize=10568108 CPUtime=11.65 cores=0,2,4,6
/proc/16013/task/16024/stat : 16024 (java) S 16011 16013 11872 0 -1 4202560 1736 0 0 0 1152 13 0 0 15 0 19 0 981285336 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 0 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16025] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16025/stat : 16025 (java) S 16011 16013 11872 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981285336 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16026] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16026/stat : 16026 (java) S 16011 16013 11872 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981285336 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16027] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16027/stat : 16027 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981285338 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427215281 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16028] ppid=16011 vsize=10568108 CPUtime=1.08 cores=0,2,4,6
/proc/16013/task/16028/stat : 16028 (java) S 16011 16013 11872 0 -1 4202560 9568 0 0 0 107 1 0 0 15 0 19 0 981285338 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16029] ppid=16011 vsize=10568108 CPUtime=0.46 cores=0,2,4,6
/proc/16013/task/16029/stat : 16029 (java) S 16011 16013 11872 0 -1 4202560 2032 0 0 0 46 0 0 0 15 0 19 0 981285338 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 4 0 0 0
[pid=16013/tid=16030] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16030/stat : 16030 (java) S 16011 16013 11872 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981285338 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427207577 0 4 0 16800975 18446604453969590976 0 0 -1 2 0 0 0
[pid=16013/tid=16031] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16031/stat : 16031 (java) S 16011 16013 11872 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 981285338 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 0 0 0 0
[pid=16013/tid=16032] ppid=16011 vsize=10568108 CPUtime=0 cores=0,2,4,6
/proc/16013/task/16032/stat : 16032 (java) S 16011 16013 11872 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981285368 10821742592 29488 33554432000 1073741824 1073778376 140735028174016 18446744073709551615 256427208192 0 4 0 16800975 18446604453969590976 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 387.01
Current children cumulated vsize (KiB) 10568108

Child status: 30
Real time (s): 384.775
CPU time (s): 387.101
CPU user time (s): 386.859
CPU system time (s): 0.241963
CPU usage (%): 100.605
Max. virtual memory (cumulated for all children) (KiB): 10568108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 386.859
system time used= 0.241963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34099
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= 25135
involuntary context switches= 12674

runsolver used 0.739887 second user time and 1.36479 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-12 22:29:07
IDJOB=3492718
IDBENCH=78973
IDSOLVER=1982
FILE ID=node115/3492718-1307910547
RUNJOBID= node115-1307908016-15259
PBS_JOBID= 13559590
Free space on /var/tmp= 2884 MiB

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

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

MD5SUM BENCH= 4dbce9c855a469b24d5770190ca01b65
RANDOM SEED=223137153

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       3172168 kB
Buffers:         62952 kB
Cached:       28695536 kB
SwapCached:       9240 kB
Active:       13830404 kB
Inactive:     15038268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       3172168 kB
SwapTotal:    67111528 kB
SwapFree:     67056212 kB
Dirty:             572 kB
Writeback:           4 kB
AnonPages:      107688 kB
Mapped:          21584 kB
Slab:           845352 kB
PageTables:       5032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10574228 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2884 MiB
End job on node115 at 2011-06-12 22:35:31