Trace number 3492559

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 391.678 389.466

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo
MD5SUMaf1f4aa986dfaf7d995a788abb35be25
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark45.2941
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 constraints961
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 46411
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46410
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 737
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		9996466904
0.06/0.09	c Max memory 		10048897024
0.06/0.09	c Total memory 		10048897024
0.06/0.09	c Number of processors 	8
0.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@38540408
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-3492559-1307909963.wbo
0.11/0.11	c reading problem ... 
0.48/0.30	c ... done. Wall clock time 0.193s.
0.48/0.30	c #vars     1192
0.48/0.30	c #constraints  2707
0.48/0.30	c constraints type 
0.48/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2538
0.48/0.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 15
0.48/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 146
0.48/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 8
0.48/0.39	c SATISFIABLE
0.48/0.39	c OPTIMIZING...
0.48/0.39	c Got one! Elapsed wall clock time (in seconds):0.285
0.48/0.39	o 214
0.76/0.44	c Got one! Elapsed wall clock time (in seconds):0.336
0.76/0.44	o 175
0.76/0.48	c Got one! Elapsed wall clock time (in seconds):0.379
0.76/0.49	o 114
1.06/0.57	c Got one! Elapsed wall clock time (in seconds):0.459
1.06/0.57	o 113
1.27/0.62	c Got one! Elapsed wall clock time (in seconds):0.511
1.27/0.62	o 67
1.43/0.76	c Got one! Elapsed wall clock time (in seconds):0.652
1.43/0.76	o 62
1.86/1.11	c cleaning 3609 clauses out of 7219 with flag 4000/7219
1.86/1.14	c Got one! Elapsed wall clock time (in seconds):1.038
1.86/1.14	o 59
2.06/1.31	c Got one! Elapsed wall clock time (in seconds):1.204
2.06/1.31	o 57
2.28/1.55	c cleaning 4683 clauses out of 9370 with flag 3000/12979
2.38/1.66	c Got one! Elapsed wall clock time (in seconds):1.553
2.38/1.66	o 50
2.69/1.95	c cleaning 5051 clauses out of 10110 with flag 4000/18402
3.01/2.27	c Got one! Elapsed wall clock time (in seconds):2.164
3.01/2.27	o 48
3.12/2.35	c cleaning 5276 clauses out of 10557 with flag 1002/23900
3.56/2.74	c cleaning 5635 clauses out of 11280 with flag 7001/29899
3.66/2.83	c Got one! Elapsed wall clock time (in seconds):2.724
3.66/2.83	o 40
3.98/3.11	c cleaning 5416 clauses out of 10839 with flag 4000/35093
4.38/3.51	c cleaning 5701 clauses out of 11423 with flag 10000/41093
4.38/3.56	c Got one! Elapsed wall clock time (in seconds):3.452
4.38/3.56	o 34
4.80/3.91	c cleaning 5598 clauses out of 11208 with flag 5001/46579
5.00/4.15	c Got one! Elapsed wall clock time (in seconds):4.044
5.00/4.15	o 33
5.11/4.29	c cleaning 5604 clauses out of 11216 with flag 2000/52185
5.51/4.67	c cleaning 5799 clauses out of 11612 with flag 8000/58185
5.81/4.98	c Got one! Elapsed wall clock time (in seconds):4.873
5.81/4.98	o 26
6.21/5.39	c cleaning 8130 clauses out of 16265 with flag 5000/68637
6.81/5.90	c cleaning 7060 clauses out of 14135 with flag 11000/74637
7.21/6.37	c cleaning 7030 clauses out of 14076 with flag 18001/81638
7.71/6.82	c cleaning 7518 clauses out of 15046 with flag 26001/89638
8.22/7.36	c cleaning 8258 clauses out of 16527 with flag 35000/98637
8.82/7.96	c cleaning 9130 clauses out of 18272 with flag 45003/108640
9.42/8.59	c cleaning 9567 clauses out of 19141 with flag 55002/118639
10.12/9.23	c cleaning 9779 clauses out of 19573 with flag 65001/128638
10.73/9.83	c cleaning 9889 clauses out of 19793 with flag 75000/138637
11.33/10.41	c cleaning 9947 clauses out of 19904 with flag 85000/148637
11.84/10.97	c cleaning 9973 clauses out of 19959 with flag 95002/158639
12.43/11.55	c cleaning 9986 clauses out of 19986 with flag 105002/168639
13.04/12.15	c cleaning 9994 clauses out of 20001 with flag 115003/178640
13.53/12.68	c cleaning 9996 clauses out of 20004 with flag 125000/188637
14.14/13.23	c cleaning 10000 clauses out of 20008 with flag 135000/198637
14.64/13.79	c cleaning 9994 clauses out of 20008 with flag 145000/208637
15.24/14.36	c cleaning 10004 clauses out of 20015 with flag 155001/218638
15.84/14.96	c cleaning 9997 clauses out of 20010 with flag 165000/228637
15.94/15.05	c Got one! Elapsed wall clock time (in seconds):14.948
15.94/15.05	o 25
16.24/15.32	c cleaning 7873 clauses out of 15753 with flag 4001/234377
16.64/15.71	c cleaning 6935 clauses out of 13882 with flag 10003/240379
17.04/16.10	c cleaning 6967 clauses out of 13944 with flag 17000/247376
17.44/16.51	c cleaning 7488 clauses out of 14979 with flag 25002/255378
17.84/16.98	c cleaning 8240 clauses out of 16489 with flag 34000/264376
18.45/17.55	c cleaning 9123 clauses out of 18251 with flag 44002/274378
18.94/18.08	c cleaning 9554 clauses out of 19126 with flag 54000/284376
19.55/18.62	c cleaning 9784 clauses out of 19573 with flag 64001/294377
20.15/19.21	c cleaning 9888 clauses out of 19788 with flag 74000/304376
20.75/19.81	c cleaning 9942 clauses out of 19900 with flag 84000/314376
21.35/20.42	c cleaning 9971 clauses out of 19959 with flag 94001/324377
21.95/21.04	c cleaning 9991 clauses out of 19987 with flag 104000/334376
22.45/21.54	c Got one! Elapsed wall clock time (in seconds):21.437
22.45/21.54	o 19
22.85/21.97	c cleaning 11949 clauses out of 23908 with flag 5004/348288
23.25/22.35	c cleaning 8973 clauses out of 17956 with flag 11001/354285
23.65/22.76	c cleaning 7983 clauses out of 15985 with flag 18003/361287
24.15/23.20	c cleaning 7995 clauses out of 16001 with flag 26002/369286
24.66/23.71	c cleaning 8495 clauses out of 17004 with flag 35000/378284
25.26/24.30	c cleaning 9248 clauses out of 18509 with flag 45000/388284
25.76/24.84	c cleaning 9628 clauses out of 19261 with flag 55000/398284
26.36/25.42	c cleaning 9810 clauses out of 19633 with flag 65000/408284
26.86/25.96	c cleaning 9907 clauses out of 19823 with flag 75000/418284
27.06/26.20	c Got one! Elapsed wall clock time (in seconds):26.09
27.06/26.20	o 12
27.16/26.26	c cleaning 7881 clauses out of 15772 with flag 1002/424140
27.46/26.60	c cleaning 6940 clauses out of 13889 with flag 7000/430138
27.86/26.95	c cleaning 6971 clauses out of 13951 with flag 14002/437140
28.28/27.36	c cleaning 7487 clauses out of 14978 with flag 22000/445138
28.79/27.83	c cleaning 8241 clauses out of 16491 with flag 31000/454138
29.29/28.35	c cleaning 9119 clauses out of 18250 with flag 41000/464138
29.79/28.89	c cleaning 9559 clauses out of 19131 with flag 51000/474138
30.39/29.42	c cleaning 9783 clauses out of 19576 with flag 61004/484142
30.89/29.93	c cleaning 9886 clauses out of 19789 with flag 71000/494138
31.39/30.46	c cleaning 9946 clauses out of 19903 with flag 81000/504138
31.89/30.97	c cleaning 9968 clauses out of 19958 with flag 91001/514139
32.39/31.48	c cleaning 9991 clauses out of 19989 with flag 101000/524138
32.90/31.99	c cleaning 9993 clauses out of 19998 with flag 111000/534138
33.39/32.48	c cleaning 9996 clauses out of 20006 with flag 121001/544139
33.89/32.98	c cleaning 9999 clauses out of 20010 with flag 131001/554139
34.39/33.49	c cleaning 10000 clauses out of 20010 with flag 141000/564138
34.89/33.99	c cleaning 10004 clauses out of 20013 with flag 151003/574141
35.49/34.51	c cleaning 9996 clauses out of 20007 with flag 161001/584139
35.99/35.02	c cleaning 9999 clauses out of 20014 with flag 171004/594142
36.50/35.51	c cleaning 10001 clauses out of 20011 with flag 181000/604138
37.00/36.02	c cleaning 10001 clauses out of 20011 with flag 191001/614139
37.50/36.54	c cleaning 9996 clauses out of 20009 with flag 201000/624138
38.00/37.03	c cleaning 9997 clauses out of 20013 with flag 211000/634138
38.50/37.53	c cleaning 10004 clauses out of 20017 with flag 221001/644139
39.00/38.06	c cleaning 10007 clauses out of 20015 with flag 231003/654141
39.51/38.58	c cleaning 9998 clauses out of 20005 with flag 241000/664138
40.00/39.06	c cleaning 9998 clauses out of 20007 with flag 251000/674138
40.61/39.63	c cleaning 9995 clauses out of 20009 with flag 261000/684138
41.10/40.17	c cleaning 10003 clauses out of 20014 with flag 271000/694138
41.71/40.72	c cleaning 10003 clauses out of 20011 with flag 281000/704138
42.21/41.26	c cleaning 9992 clauses out of 20008 with flag 291000/714138
42.72/41.79	c cleaning 10000 clauses out of 20016 with flag 301000/724138
43.32/42.30	c cleaning 10006 clauses out of 20017 with flag 311001/734139
43.82/42.83	c cleaning 9997 clauses out of 20010 with flag 321000/744138
44.32/43.34	c cleaning 10002 clauses out of 20015 with flag 331002/754140
44.82/43.85	c cleaning 10001 clauses out of 20011 with flag 341000/764138
45.32/44.35	c cleaning 10000 clauses out of 20010 with flag 351000/774138
45.92/44.93	c cleaning 9999 clauses out of 20012 with flag 361002/784140
46.42/45.45	c cleaning 10002 clauses out of 20013 with flag 371002/794140
46.92/45.99	c cleaning 10001 clauses out of 20009 with flag 381000/804138
47.53/46.55	c cleaning 9998 clauses out of 20010 with flag 391002/814140
48.13/47.10	c cleaning 9999 clauses out of 20010 with flag 401000/824138
48.63/47.63	c cleaning 9995 clauses out of 20011 with flag 411000/834138
49.13/48.16	c cleaning 9999 clauses out of 20016 with flag 421000/844138
49.73/48.72	c cleaning 10003 clauses out of 20020 with flag 431003/854141
50.23/49.29	c cleaning 10002 clauses out of 20014 with flag 441000/864138
50.83/49.86	c cleaning 9999 clauses out of 20013 with flag 451001/874139
51.43/50.40	c cleaning 9996 clauses out of 20013 with flag 461000/884138
52.03/51.00	c cleaning 9997 clauses out of 20018 with flag 471001/894139
52.53/51.59	c cleaning 10004 clauses out of 20022 with flag 481002/904140
53.13/52.11	c cleaning 10003 clauses out of 20017 with flag 491001/914139
53.63/52.63	c cleaning 10004 clauses out of 20013 with flag 501000/924138
54.13/53.15	c cleaning 9998 clauses out of 20009 with flag 511000/934138
54.63/53.67	c cleaning 10003 clauses out of 20012 with flag 521001/944139
55.24/54.20	c cleaning 10001 clauses out of 20009 with flag 531001/954139
55.74/54.72	c cleaning 10001 clauses out of 20008 with flag 541001/964139
56.24/55.25	c cleaning 9998 clauses out of 20008 with flag 551002/974140
56.75/55.79	c cleaning 9998 clauses out of 20008 with flag 561000/984138
57.35/56.30	c cleaning 10004 clauses out of 20012 with flag 571002/994140
57.85/56.83	c cleaning 9998 clauses out of 20006 with flag 581000/1004138
58.35/57.34	c cleaning 9998 clauses out of 20008 with flag 591000/1014138
58.85/57.86	c cleaning 10001 clauses out of 20010 with flag 601000/1024138
59.36/58.38	c cleaning 10000 clauses out of 20009 with flag 611000/1034138
59.85/58.89	c cleaning 10001 clauses out of 20010 with flag 621001/1044139
60.46/59.43	c cleaning 10004 clauses out of 20011 with flag 631003/1054141
60.95/59.98	c cleaning 9996 clauses out of 20004 with flag 641000/1064138
61.56/60.57	c cleaning 9999 clauses out of 20010 with flag 651002/1074140
62.16/61.10	c cleaning 9996 clauses out of 20011 with flag 661002/1084140
62.66/61.63	c cleaning 10004 clauses out of 20014 with flag 671001/1094139
63.16/62.17	c cleaning 9994 clauses out of 20010 with flag 681001/1104139
63.76/62.72	c cleaning 10001 clauses out of 20016 with flag 691001/1114139
64.36/63.31	c cleaning 10000 clauses out of 20015 with flag 701001/1124139
64.87/63.90	c cleaning 10001 clauses out of 20014 with flag 711000/1134138
65.46/64.43	c cleaning 9998 clauses out of 20013 with flag 721000/1144138
65.97/64.99	c cleaning 10003 clauses out of 20017 with flag 731002/1154140
66.57/65.58	c cleaning 10002 clauses out of 20012 with flag 741000/1164138
67.17/66.14	c cleaning 9994 clauses out of 20010 with flag 751000/1174138
67.77/66.74	c cleaning 10000 clauses out of 20016 with flag 761000/1184138
68.37/67.35	c cleaning 10004 clauses out of 20017 with flag 771001/1194139
68.97/67.94	c cleaning 9997 clauses out of 20012 with flag 781000/1204138
69.47/68.49	c cleaning 10003 clauses out of 20016 with flag 791001/1214139
70.07/69.03	c cleaning 10003 clauses out of 20014 with flag 801002/1224140
70.58/69.57	c cleaning 9997 clauses out of 20009 with flag 811000/1234138
71.18/70.11	c cleaning 10003 clauses out of 20014 with flag 821002/1244140
71.68/70.68	c cleaning 9999 clauses out of 20009 with flag 831000/1254138
72.28/71.25	c cleaning 9992 clauses out of 20011 with flag 841001/1264139
72.78/71.79	c cleaning 10002 clauses out of 20020 with flag 851002/1274140
73.38/72.35	c cleaning 10003 clauses out of 20017 with flag 861001/1284139
73.98/72.96	c cleaning 9992 clauses out of 20014 with flag 871001/1294139
74.58/73.51	c cleaning 10006 clauses out of 20023 with flag 881002/1304140
75.08/74.05	c cleaning 10000 clauses out of 20015 with flag 891000/1314138
75.68/74.64	c cleaning 10002 clauses out of 20015 with flag 901000/1324138
76.28/75.21	c cleaning 10000 clauses out of 20013 with flag 911000/1334138
76.79/75.78	c cleaning 10003 clauses out of 20014 with flag 921001/1344139
77.39/76.31	c cleaning 10004 clauses out of 20010 with flag 931000/1354138
77.99/76.95	c cleaning 9992 clauses out of 20006 with flag 941000/1364138
78.49/77.48	c cleaning 10002 clauses out of 20018 with flag 951004/1374142
78.99/77.99	c cleaning 10002 clauses out of 20016 with flag 961004/1384142
79.58/78.51	c cleaning 9996 clauses out of 20012 with flag 971002/1394140
80.09/79.07	c cleaning 9989 clauses out of 20016 with flag 981002/1404140
80.69/79.62	c cleaning 10010 clauses out of 20026 with flag 991001/1414139
81.19/80.14	c cleaning 10004 clauses out of 20016 with flag 1001001/1424139
81.69/80.64	c cleaning 10003 clauses out of 20013 with flag 1011002/1434140
82.19/81.15	c cleaning 9996 clauses out of 20009 with flag 1021001/1444139
82.79/81.70	c cleaning 10002 clauses out of 20015 with flag 1031003/1454141
83.29/82.21	c cleaning 9997 clauses out of 20010 with flag 1041000/1464138
83.79/82.71	c cleaning 9999 clauses out of 20013 with flag 1051000/1474138
84.29/83.22	c cleaning 10001 clauses out of 20014 with flag 1061000/1484138
84.79/83.78	c cleaning 10000 clauses out of 20014 with flag 1071001/1494139
85.39/84.30	c cleaning 10004 clauses out of 20013 with flag 1081000/1504138
85.89/84.83	c cleaning 10000 clauses out of 20011 with flag 1091002/1514140
86.39/85.35	c cleaning 9998 clauses out of 20011 with flag 1101002/1524140
86.90/85.86	c cleaning 9997 clauses out of 20012 with flag 1111001/1534139
87.39/86.39	c cleaning 10002 clauses out of 20015 with flag 1121001/1544139
87.90/86.89	c cleaning 9997 clauses out of 20012 with flag 1131000/1554138
88.49/87.46	c cleaning 9998 clauses out of 20015 with flag 1141000/1564138
89.10/88.02	c cleaning 10003 clauses out of 20018 with flag 1151001/1574139
89.59/88.53	c cleaning 10005 clauses out of 20017 with flag 1161003/1584141
90.11/89.09	c cleaning 9994 clauses out of 20009 with flag 1171000/1594138
90.71/89.64	c cleaning 10001 clauses out of 20017 with flag 1181002/1604140
91.21/90.18	c cleaning 10003 clauses out of 20015 with flag 1191001/1614139
91.81/90.71	c cleaning 9999 clauses out of 20013 with flag 1201002/1624140
92.31/91.23	c cleaning 9999 clauses out of 20013 with flag 1211001/1634139
92.81/91.76	c cleaning 10002 clauses out of 20014 with flag 1221001/1644139
93.42/92.32	c cleaning 10001 clauses out of 20014 with flag 1231003/1654141
93.91/92.86	c cleaning 10000 clauses out of 20012 with flag 1241002/1664140
94.52/93.41	c cleaning 10001 clauses out of 20011 with flag 1251001/1674139
95.02/93.95	c cleaning 9996 clauses out of 20010 with flag 1261001/1684139
95.52/94.46	c cleaning 9998 clauses out of 20013 with flag 1271000/1694138
96.02/94.98	c cleaning 9999 clauses out of 20015 with flag 1281000/1704138
96.62/95.53	c cleaning 10000 clauses out of 20016 with flag 1291000/1714138
97.12/96.09	c cleaning 10002 clauses out of 20018 with flag 1301002/1724140
97.72/96.66	c cleaning 10002 clauses out of 20014 with flag 1311000/1734138
98.32/97.21	c cleaning 10000 clauses out of 20012 with flag 1321000/1744138
98.82/97.75	c cleaning 9993 clauses out of 20012 with flag 1331000/1754138
99.42/98.31	c cleaning 10002 clauses out of 20020 with flag 1341001/1764139
99.92/98.88	c cleaning 10001 clauses out of 20018 with flag 1351001/1774139
100.52/99.48	c cleaning 10000 clauses out of 20016 with flag 1361000/1784138
101.13/100.06	c cleaning 9993 clauses out of 20017 with flag 1371001/1794139
101.63/100.59	c cleaning 10000 clauses out of 20023 with flag 1381000/1804138
102.23/101.15	c cleaning 10005 clauses out of 20024 with flag 1391001/1814139
102.83/101.70	c cleaning 9999 clauses out of 20019 with flag 1401001/1824139
103.33/102.23	c cleaning 10007 clauses out of 20020 with flag 1411001/1834139
103.83/102.76	c cleaning 10002 clauses out of 20013 with flag 1421001/1844139
104.33/103.28	c cleaning 9998 clauses out of 20010 with flag 1431000/1854138
105.03/103.92	c cleaning 10001 clauses out of 20013 with flag 1441001/1864139
105.54/104.46	c cleaning 10002 clauses out of 20015 with flag 1451004/1874142
106.13/105.02	c cleaning 9998 clauses out of 20013 with flag 1461004/1884142
106.64/105.54	c cleaning 10000 clauses out of 20012 with flag 1471001/1894139
107.23/106.10	c cleaning 9997 clauses out of 20012 with flag 1481001/1904139
107.84/106.71	c cleaning 9991 clauses out of 20014 with flag 1491000/1914138
108.43/107.34	c cleaning 10003 clauses out of 20023 with flag 1501000/1924138
109.04/107.93	c cleaning 10007 clauses out of 20021 with flag 1511001/1934139
109.54/108.46	c cleaning 9997 clauses out of 20013 with flag 1521000/1944138
110.14/109.02	c cleaning 10003 clauses out of 20016 with flag 1531000/1954138
110.64/109.55	c cleaning 9999 clauses out of 20013 with flag 1541000/1964138
111.24/110.11	c cleaning 10000 clauses out of 20014 with flag 1551000/1974138
111.75/110.67	c cleaning 9998 clauses out of 20015 with flag 1561001/1984139
112.35/111.22	c cleaning 10000 clauses out of 20017 with flag 1571001/1994139
112.95/111.80	c cleaning 9998 clauses out of 20016 with flag 1581000/2004138
113.45/112.38	c cleaning 10001 clauses out of 20019 with flag 1591001/2014139
114.05/112.92	c cleaning 10005 clauses out of 20017 with flag 1601000/2024138
114.55/113.45	c cleaning 10000 clauses out of 20013 with flag 1611001/2034139
115.05/113.98	c cleaning 10002 clauses out of 20012 with flag 1621000/2044138
115.65/114.53	c cleaning 9995 clauses out of 20011 with flag 1631001/2054139
116.16/115.06	c cleaning 10000 clauses out of 20015 with flag 1641000/2064138
116.76/115.60	c cleaning 9998 clauses out of 20015 with flag 1651000/2074138
117.26/116.17	c cleaning 9997 clauses out of 20017 with flag 1661000/2084138
117.86/116.73	c cleaning 10004 clauses out of 20021 with flag 1671001/2094139
118.36/117.25	c cleaning 10002 clauses out of 20016 with flag 1681000/2104138
118.86/117.77	c cleaning 10003 clauses out of 20014 with flag 1691000/2114138
119.36/118.27	c cleaning 9999 clauses out of 20012 with flag 1701001/2124139
119.86/118.79	c cleaning 10000 clauses out of 20013 with flag 1711001/2134139
120.46/119.37	c cleaning 9997 clauses out of 20013 with flag 1721001/2144139
121.07/119.91	c cleaning 10004 clauses out of 20018 with flag 1731003/2154141
121.56/120.45	c cleaning 9999 clauses out of 20011 with flag 1741000/2164138
122.17/121.02	c cleaning 10000 clauses out of 20013 with flag 1751001/2174139
122.67/121.59	c cleaning 9996 clauses out of 20014 with flag 1761002/2184140
123.28/122.13	c cleaning 10003 clauses out of 20019 with flag 1771003/2194141
123.77/122.64	c cleaning 9996 clauses out of 20013 with flag 1781000/2204138
124.28/123.18	c cleaning 10001 clauses out of 20018 with flag 1791001/2214139
124.87/123.76	c cleaning 10005 clauses out of 20020 with flag 1801004/2224142
125.37/124.30	c cleaning 10002 clauses out of 20011 with flag 1811000/2234138
126.07/124.90	c cleaning 9998 clauses out of 20010 with flag 1821001/2244139
126.59/125.45	c cleaning 10002 clauses out of 20013 with flag 1831002/2254140
127.08/125.97	c cleaning 9999 clauses out of 20012 with flag 1841003/2264141
127.69/126.54	c cleaning 9996 clauses out of 20012 with flag 1851002/2274140
128.28/127.11	c cleaning 10000 clauses out of 20015 with flag 1861001/2284139
128.79/127.68	c cleaning 10003 clauses out of 20016 with flag 1871002/2294140
129.38/128.25	c cleaning 9999 clauses out of 20014 with flag 1881003/2304141
129.98/128.81	c cleaning 10003 clauses out of 20015 with flag 1891003/2314141
130.59/129.44	c cleaning 10000 clauses out of 20011 with flag 1901002/2324140
131.09/130.00	c cleaning 10000 clauses out of 20010 with flag 1911001/2334139
131.69/130.53	c cleaning 9998 clauses out of 20010 with flag 1921001/2344139
132.19/131.08	c cleaning 9999 clauses out of 20011 with flag 1931000/2354138
132.89/131.70	c cleaning 9996 clauses out of 20012 with flag 1941000/2364138
133.39/132.26	c cleaning 10005 clauses out of 20017 with flag 1951001/2374139
134.00/132.84	c cleaning 9993 clauses out of 20011 with flag 1961000/2384138
134.50/133.38	c cleaning 10003 clauses out of 20020 with flag 1971002/2394140
135.10/133.97	c cleaning 9994 clauses out of 20015 with flag 1981000/2404138
135.70/134.55	c cleaning 10006 clauses out of 20021 with flag 1991000/2414138
136.30/135.18	c cleaning 10001 clauses out of 20016 with flag 2001001/2424139
136.90/135.77	c cleaning 10001 clauses out of 20014 with flag 2011000/2434138
137.51/136.36	c cleaning 10002 clauses out of 20014 with flag 2021001/2444139
138.10/136.97	c cleaning 10001 clauses out of 20011 with flag 2031000/2454138
138.71/137.58	c cleaning 10002 clauses out of 20011 with flag 2041001/2464139
139.30/138.18	c cleaning 10003 clauses out of 20010 with flag 2051002/2474140
139.91/138.73	c cleaning 9998 clauses out of 20005 with flag 2061000/2484138
140.51/139.33	c cleaning 9998 clauses out of 20008 with flag 2071001/2494139
141.11/139.95	c cleaning 10003 clauses out of 20011 with flag 2081002/2504140
141.71/140.53	c cleaning 9993 clauses out of 20006 with flag 2091000/2514138
142.41/141.21	c cleaning 10002 clauses out of 20013 with flag 2101000/2524138
142.91/141.78	c cleaning 10000 clauses out of 20013 with flag 2111002/2534140
143.51/142.39	c cleaning 9999 clauses out of 20011 with flag 2121000/2544138
144.12/142.97	c cleaning 10000 clauses out of 20012 with flag 2131000/2554138
144.71/143.55	c cleaning 9998 clauses out of 20014 with flag 2141002/2564140
145.32/144.19	c cleaning 10002 clauses out of 20017 with flag 2151003/2574141
145.91/144.73	c cleaning 10000 clauses out of 20013 with flag 2161001/2584139
146.42/145.26	c cleaning 10002 clauses out of 20013 with flag 2171001/2594139
147.01/145.84	c cleaning 9997 clauses out of 20012 with flag 2181002/2604140
147.61/146.46	c cleaning 9999 clauses out of 20013 with flag 2191000/2614138
148.31/147.15	c cleaning 9998 clauses out of 20017 with flag 2201003/2624141
148.92/147.76	c cleaning 10000 clauses out of 20016 with flag 2211000/2634138
149.52/148.33	c cleaning 9997 clauses out of 20016 with flag 2221000/2644138
150.12/148.97	c cleaning 10004 clauses out of 20019 with flag 2231000/2654138
150.83/149.61	c cleaning 10000 clauses out of 20015 with flag 2241000/2664138
151.42/150.27	c cleaning 10003 clauses out of 20018 with flag 2251003/2674141
152.02/150.85	c cleaning 10000 clauses out of 20012 with flag 2261000/2684138
152.72/151.52	c cleaning 9992 clauses out of 20012 with flag 2271000/2694138
153.33/152.11	c cleaning 10004 clauses out of 20020 with flag 2281000/2704138
153.93/152.74	c cleaning 10000 clauses out of 20017 with flag 2291001/2714139
154.53/153.39	c cleaning 9999 clauses out of 20018 with flag 2301002/2724140
155.24/154.02	c cleaning 9995 clauses out of 20018 with flag 2311001/2734139
155.84/154.70	c cleaning 10006 clauses out of 20027 with flag 2321005/2744143
156.54/155.37	c cleaning 9995 clauses out of 20016 with flag 2331000/2754138
157.24/156.00	c cleaning 10000 clauses out of 20022 with flag 2341001/2764139
157.94/156.70	c cleaning 10006 clauses out of 20021 with flag 2351000/2774138
158.55/157.31	c cleaning 10000 clauses out of 20015 with flag 2361000/2784138
159.15/157.95	c cleaning 9998 clauses out of 20016 with flag 2371001/2794139
159.75/158.56	c cleaning 9999 clauses out of 20017 with flag 2381000/2804138
160.35/159.14	c cleaning 10003 clauses out of 20019 with flag 2391001/2814139
160.95/159.74	c cleaning 9992 clauses out of 20016 with flag 2401001/2824139
161.55/160.35	c cleaning 10000 clauses out of 20025 with flag 2411002/2834140
162.15/160.95	c cleaning 10004 clauses out of 20026 with flag 2421003/2844141
162.75/161.52	c cleaning 10005 clauses out of 20021 with flag 2431002/2854140
163.35/162.13	c cleaning 9998 clauses out of 20017 with flag 2441003/2864141
163.96/162.71	c cleaning 10000 clauses out of 20018 with flag 2451002/2874140
164.45/163.29	c cleaning 10005 clauses out of 20016 with flag 2461000/2884138
165.06/163.87	c cleaning 9999 clauses out of 20012 with flag 2471001/2894139
165.65/164.49	c cleaning 10001 clauses out of 20014 with flag 2481002/2904140
166.26/165.07	c cleaning 10000 clauses out of 20012 with flag 2491001/2914139
166.86/165.69	c cleaning 10002 clauses out of 20011 with flag 2501000/2924138
167.46/166.28	c cleaning 9996 clauses out of 20010 with flag 2511001/2934139
168.06/166.84	c cleaning 9994 clauses out of 20013 with flag 2521000/2944138
168.66/167.45	c cleaning 10000 clauses out of 20019 with flag 2531000/2954138
169.26/168.04	c cleaning 10004 clauses out of 20020 with flag 2541001/2964139
169.86/168.61	c cleaning 10001 clauses out of 20017 with flag 2551002/2974140
170.46/169.22	c cleaning 10002 clauses out of 20015 with flag 2561001/2984139
170.96/169.79	c cleaning 9999 clauses out of 20013 with flag 2571001/2994139
171.56/170.40	c cleaning 10003 clauses out of 20013 with flag 2581000/3004138
172.26/171.00	c cleaning 9992 clauses out of 20010 with flag 2591000/3014138
172.77/171.59	c cleaning 10004 clauses out of 20018 with flag 2601000/3024138
173.37/172.18	c cleaning 9999 clauses out of 20016 with flag 2611002/3034140
173.97/172.74	c cleaning 10004 clauses out of 20020 with flag 2621005/3044143
174.47/173.29	c cleaning 10000 clauses out of 20011 with flag 2631000/3054138
175.08/173.87	c cleaning 9997 clauses out of 20011 with flag 2641000/3064138
175.67/174.45	c cleaning 10004 clauses out of 20014 with flag 2651000/3074138
176.27/175.09	c cleaning 9999 clauses out of 20010 with flag 2661000/3084138
176.88/175.67	c cleaning 9998 clauses out of 20011 with flag 2671000/3094138
177.48/176.25	c cleaning 9995 clauses out of 20013 with flag 2681000/3104138
178.08/176.82	c cleaning 10001 clauses out of 20018 with flag 2691000/3114138
178.68/177.42	c cleaning 10003 clauses out of 20020 with flag 2701003/3124141
179.28/178.01	c cleaning 9999 clauses out of 20014 with flag 2711000/3134138
179.88/178.68	c cleaning 10000 clauses out of 20016 with flag 2721001/3144139
180.49/179.21	c cleaning 10005 clauses out of 20015 with flag 2731000/3154138
180.98/179.80	c cleaning 10003 clauses out of 20011 with flag 2741001/3164139
181.69/180.41	c cleaning 10000 clauses out of 20008 with flag 2751001/3174139
182.18/180.97	c cleaning 9991 clauses out of 20007 with flag 2761000/3184138
182.79/181.51	c cleaning 10004 clauses out of 20016 with flag 2771000/3194138
183.29/182.07	c cleaning 10001 clauses out of 20014 with flag 2781002/3204140
183.99/182.71	c cleaning 9991 clauses out of 20012 with flag 2791001/3214139
184.59/183.34	c cleaning 10004 clauses out of 20021 with flag 2801001/3224139
185.19/183.95	c cleaning 10004 clauses out of 20016 with flag 2811000/3234138
185.79/184.50	c cleaning 9999 clauses out of 20012 with flag 2821000/3244138
186.30/185.07	c cleaning 10004 clauses out of 20014 with flag 2831001/3254139
186.90/185.65	c cleaning 10002 clauses out of 20012 with flag 2841003/3264141
187.50/186.24	c cleaning 9999 clauses out of 20008 with flag 2851001/3274139
188.10/186.86	c cleaning 9999 clauses out of 20008 with flag 2861000/3284138
188.70/187.42	c cleaning 10001 clauses out of 20009 with flag 2871000/3294138
189.20/187.99	c cleaning 9998 clauses out of 20010 with flag 2881002/3304140
189.80/188.59	c cleaning 10000 clauses out of 20012 with flag 2891002/3314140
190.41/189.18	c cleaning 10000 clauses out of 20011 with flag 2901001/3324139
191.00/189.78	c cleaning 10003 clauses out of 20012 with flag 2911002/3334140
191.61/190.34	c cleaning 9992 clauses out of 20007 with flag 2921000/3344138
192.21/190.92	c cleaning 10005 clauses out of 20015 with flag 2931000/3354138
192.81/191.53	c cleaning 10000 clauses out of 20011 with flag 2941001/3364139
193.41/192.18	c cleaning 10003 clauses out of 20011 with flag 2951001/3374139
194.11/192.85	c cleaning 9998 clauses out of 20010 with flag 2961003/3384141
194.82/193.54	c cleaning 9999 clauses out of 20010 with flag 2971001/3394139
195.41/194.18	c cleaning 9996 clauses out of 20012 with flag 2981002/3404140
196.12/194.86	c cleaning 9990 clauses out of 20014 with flag 2991000/3414138
196.82/195.58	c cleaning 10008 clauses out of 20024 with flag 3001000/3424138
197.52/196.24	c cleaning 10001 clauses out of 20016 with flag 3011000/3434138
198.22/196.95	c cleaning 9999 clauses out of 20016 with flag 3021001/3444139
198.82/197.57	c cleaning 10007 clauses out of 20019 with flag 3031003/3454141
199.42/198.14	c cleaning 9997 clauses out of 20010 with flag 3041001/3464139
200.02/198.72	c cleaning 10003 clauses out of 20014 with flag 3051002/3474140
200.52/199.29	c cleaning 9998 clauses out of 20009 with flag 3061000/3484138
201.13/199.89	c cleaning 10003 clauses out of 20013 with flag 3071002/3494140
201.83/200.56	c cleaning 10000 clauses out of 20009 with flag 3081001/3504139
202.54/201.20	c cleaning 9996 clauses out of 20008 with flag 3091000/3514138
203.14/201.85	c cleaning 10000 clauses out of 20012 with flag 3101000/3524138
203.74/202.49	c cleaning 9998 clauses out of 20013 with flag 3111001/3534139
204.44/203.12	c cleaning 10002 clauses out of 20014 with flag 3121000/3544138
205.04/203.72	c cleaning 10001 clauses out of 20013 with flag 3131001/3554139
205.64/204.31	c cleaning 9996 clauses out of 20011 with flag 3141000/3564138
206.14/204.87	c cleaning 10000 clauses out of 20015 with flag 3151000/3574138
206.74/205.48	c cleaning 9997 clauses out of 20015 with flag 3161000/3584138
207.34/206.04	c cleaning 9995 clauses out of 20018 with flag 3171000/3594138
207.94/206.61	c cleaning 10008 clauses out of 20023 with flag 3181000/3604138
208.55/207.20	c cleaning 9998 clauses out of 20015 with flag 3191000/3614138
209.15/207.83	c cleaning 10002 clauses out of 20017 with flag 3201000/3624138
209.75/208.41	c cleaning 10003 clauses out of 20017 with flag 3211002/3634140
210.25/208.99	c cleaning 10004 clauses out of 20014 with flag 3221002/3644140
210.85/209.57	c cleaning 9998 clauses out of 20008 with flag 3231000/3654138
211.45/210.16	c cleaning 9998 clauses out of 20010 with flag 3241000/3664138
212.05/210.75	c cleaning 9996 clauses out of 20012 with flag 3251000/3674138
212.65/211.36	c cleaning 10008 clauses out of 20017 with flag 3261001/3684139
213.25/211.96	c cleaning 10001 clauses out of 20009 with flag 3271001/3694139
213.85/212.53	c cleaning 9996 clauses out of 20007 with flag 3281000/3704138
214.35/213.09	c cleaning 10000 clauses out of 20011 with flag 3291000/3714138
215.05/213.78	c cleaning 9995 clauses out of 20012 with flag 3301001/3724139
215.66/214.34	c cleaning 10003 clauses out of 20017 with flag 3311001/3734139
216.26/214.90	c cleaning 10001 clauses out of 20014 with flag 3321001/3744139
216.86/215.51	c cleaning 10002 clauses out of 20014 with flag 3331002/3754140
217.46/216.12	c cleaning 10000 clauses out of 20012 with flag 3341002/3764140
218.07/216.72	c cleaning 10000 clauses out of 20010 with flag 3351000/3774138
218.66/217.39	c cleaning 9996 clauses out of 20010 with flag 3361000/3784138
219.36/218.02	c cleaning 9995 clauses out of 20015 with flag 3371001/3794139
219.96/218.62	c cleaning 9999 clauses out of 20020 with flag 3381001/3804139
220.56/219.22	c cleaning 10002 clauses out of 20021 with flag 3391001/3814139
221.17/219.82	c cleaning 10000 clauses out of 20018 with flag 3401000/3824138
221.77/220.42	c cleaning 10002 clauses out of 20018 with flag 3411000/3834138
222.38/221.06	c cleaning 10004 clauses out of 20017 with flag 3421001/3844139
222.97/221.70	c cleaning 10004 clauses out of 20015 with flag 3431003/3854141
223.58/222.28	c cleaning 10000 clauses out of 20009 with flag 3441001/3864139
224.27/222.92	c cleaning 9999 clauses out of 20012 with flag 3451004/3874142
224.88/223.52	c cleaning 9996 clauses out of 20010 with flag 3461001/3884139
225.47/224.15	c cleaning 10000 clauses out of 20013 with flag 3471000/3894138
226.07/224.75	c cleaning 10001 clauses out of 20013 with flag 3481000/3904138
226.68/225.36	c cleaning 9997 clauses out of 20012 with flag 3491000/3914138
227.28/225.99	c cleaning 9998 clauses out of 20015 with flag 3501000/3924138
227.98/226.65	c cleaning 10002 clauses out of 20021 with flag 3511004/3934142
228.68/227.30	c cleaning 10001 clauses out of 20015 with flag 3521000/3944138
229.18/227.87	c cleaning 10000 clauses out of 20015 with flag 3531001/3954139
229.78/228.44	c cleaning 10001 clauses out of 20017 with flag 3541003/3964141
230.38/229.03	c cleaning 10000 clauses out of 20014 with flag 3551001/3974139
230.88/229.59	c cleaning 10000 clauses out of 20014 with flag 3561001/3984139
231.48/230.14	c cleaning 10001 clauses out of 20013 with flag 3571000/3994138
232.08/230.70	c cleaning 9995 clauses out of 20015 with flag 3581003/4004141
232.58/231.22	c cleaning 10008 clauses out of 20019 with flag 3591002/4014140
233.09/231.75	c cleaning 9999 clauses out of 20009 with flag 3601000/4024138
233.59/232.26	c cleaning 10000 clauses out of 20011 with flag 3611001/4034139
234.19/232.82	c cleaning 10001 clauses out of 20010 with flag 3621000/4044138
234.69/233.35	c cleaning 9993 clauses out of 20009 with flag 3631000/4054138
235.19/233.85	c cleaning 9996 clauses out of 20016 with flag 3641000/4064138
235.70/234.39	c cleaning 10000 clauses out of 20020 with flag 3651000/4074138
236.29/234.95	c cleaning 10007 clauses out of 20022 with flag 3661002/4084140
236.80/235.49	c cleaning 9996 clauses out of 20013 with flag 3671000/4094138
237.50/236.13	c cleaning 9998 clauses out of 20018 with flag 3681001/4104139
238.10/236.73	c cleaning 10003 clauses out of 20019 with flag 3691000/4114138
238.70/237.31	c cleaning 10001 clauses out of 20016 with flag 3701000/4124138
239.20/237.89	c cleaning 9999 clauses out of 20016 with flag 3711001/4134139
239.80/238.43	c cleaning 10002 clauses out of 20016 with flag 3721000/4144138
240.30/238.97	c cleaning 10000 clauses out of 20014 with flag 3731000/4154138
240.91/239.50	c cleaning 10004 clauses out of 20015 with flag 3741001/4164139
241.41/240.01	c cleaning 9999 clauses out of 20013 with flag 3751003/4174141
241.91/240.55	c cleaning 9994 clauses out of 20011 with flag 3761000/4184138
242.41/241.10	c cleaning 10002 clauses out of 20019 with flag 3771002/4194140
243.01/241.69	c cleaning 10003 clauses out of 20015 with flag 3781000/4204138
243.61/242.24	c cleaning 10000 clauses out of 20012 with flag 3791000/4214138
244.11/242.79	c cleaning 10000 clauses out of 20012 with flag 3801000/4224138
244.71/243.32	c cleaning 10004 clauses out of 20019 with flag 3811007/4234145
245.21/243.85	c cleaning 9997 clauses out of 20009 with flag 3821001/4244139
245.81/244.45	c cleaning 9995 clauses out of 20011 with flag 3831000/4254138
246.41/245.09	c cleaning 10005 clauses out of 20018 with flag 3841002/4264140
247.01/245.62	c cleaning 10001 clauses out of 20011 with flag 3851000/4274138
247.51/246.16	c cleaning 10002 clauses out of 20012 with flag 3861002/4284140
248.01/246.67	c cleaning 10000 clauses out of 20008 with flag 3871000/4294138
248.62/247.23	c cleaning 9996 clauses out of 20011 with flag 3881003/4304141
249.22/247.85	c cleaning 9994 clauses out of 20012 with flag 3891000/4314138
249.82/248.44	c cleaning 10003 clauses out of 20019 with flag 3901001/4324139
250.32/248.97	c cleaning 10005 clauses out of 20017 with flag 3911002/4334140
250.92/249.55	c cleaning 9999 clauses out of 20011 with flag 3921001/4344139
251.52/250.10	c cleaning 9998 clauses out of 20011 with flag 3931000/4354138
252.02/250.65	c cleaning 10004 clauses out of 20014 with flag 3941001/4364139
252.62/251.23	c cleaning 9998 clauses out of 20009 with flag 3951000/4374138
253.12/251.76	c cleaning 9998 clauses out of 20011 with flag 3961000/4384138
253.73/252.34	c cleaning 9997 clauses out of 20013 with flag 3971000/4394138
254.23/252.89	c cleaning 10003 clauses out of 20016 with flag 3981000/4404138
254.93/253.56	c cleaning 9999 clauses out of 20013 with flag 3991000/4414138
255.63/254.20	c cleaning 10003 clauses out of 20014 with flag 4001000/4424138
256.23/254.82	c cleaning 10001 clauses out of 20012 with flag 4011001/4434139
256.73/255.37	c cleaning 9998 clauses out of 20011 with flag 4021001/4444139
257.34/255.95	c cleaning 10002 clauses out of 20015 with flag 4031003/4454141
257.94/256.52	c cleaning 9997 clauses out of 20011 with flag 4041001/4464139
258.44/257.08	c cleaning 9999 clauses out of 20014 with flag 4051001/4474139
259.04/257.66	c cleaning 9995 clauses out of 20014 with flag 4061000/4484138
259.64/258.25	c cleaning 10004 clauses out of 20020 with flag 4071001/4494139
260.24/258.82	c cleaning 10004 clauses out of 20015 with flag 4081000/4504138
260.74/259.38	c cleaning 10002 clauses out of 20013 with flag 4091002/4514140
261.24/259.87	c cleaning 9999 clauses out of 20009 with flag 4101000/4524138
261.85/260.44	c cleaning 10001 clauses out of 20010 with flag 4111000/4534138
262.35/260.96	c cleaning 9997 clauses out of 20010 with flag 4121001/4544139
262.85/261.47	c cleaning 10001 clauses out of 20013 with flag 4131001/4554139
263.45/262.06	c cleaning 9999 clauses out of 20012 with flag 4141001/4564139
264.06/262.62	c cleaning 10003 clauses out of 20013 with flag 4151001/4574139
264.56/263.16	c cleaning 9998 clauses out of 20010 with flag 4161001/4584139
265.06/263.66	c cleaning 9999 clauses out of 20013 with flag 4171002/4594140
265.56/264.20	c cleaning 10004 clauses out of 20013 with flag 4181001/4604139
266.16/264.71	c cleaning 9999 clauses out of 20009 with flag 4191001/4614139
266.66/265.26	c cleaning 9997 clauses out of 20010 with flag 4201001/4624139
267.27/265.80	c cleaning 10002 clauses out of 20012 with flag 4211000/4634138
267.77/266.34	c cleaning 10003 clauses out of 20011 with flag 4221001/4644139
268.37/266.90	c cleaning 9998 clauses out of 20007 with flag 4231000/4654138
268.87/267.45	c cleaning 9999 clauses out of 20009 with flag 4241000/4664138
269.37/267.99	c cleaning 9994 clauses out of 20011 with flag 4251001/4674139
269.97/268.51	c cleaning 10002 clauses out of 20016 with flag 4261000/4684138
270.47/269.05	c cleaning 9994 clauses out of 20015 with flag 4271001/4694139
270.98/269.59	c cleaning 10004 clauses out of 20022 with flag 4281002/4704140
271.57/270.11	c cleaning 10005 clauses out of 20016 with flag 4291000/4714138
272.17/270.71	c cleaning 9995 clauses out of 20011 with flag 4301000/4724138
272.67/271.26	c cleaning 10003 clauses out of 20016 with flag 4311000/4734138
273.18/271.79	c cleaning 9999 clauses out of 20013 with flag 4321000/4744138
273.77/272.30	c cleaning 9996 clauses out of 20014 with flag 4331000/4754138
274.28/272.82	c cleaning 10003 clauses out of 20019 with flag 4341001/4764139
274.78/273.38	c cleaning 10000 clauses out of 20015 with flag 4351000/4774138
275.38/273.93	c cleaning 10002 clauses out of 20017 with flag 4361002/4784140
275.88/274.45	c cleaning 9999 clauses out of 20013 with flag 4371000/4794138
276.38/274.98	c cleaning 10002 clauses out of 20015 with flag 4381001/4804139
276.98/275.51	c cleaning 10000 clauses out of 20012 with flag 4391000/4814138
277.49/276.02	c cleaning 10004 clauses out of 20013 with flag 4401001/4824139
277.98/276.53	c cleaning 9997 clauses out of 20010 with flag 4411002/4834140
278.48/277.05	c cleaning 10002 clauses out of 20014 with flag 4421003/4844141
279.08/277.62	c cleaning 9995 clauses out of 20011 with flag 4431002/4854140
279.59/278.16	c cleaning 10000 clauses out of 20014 with flag 4441000/4864138
280.19/278.76	c cleaning 10001 clauses out of 20018 with flag 4451004/4874142
280.79/279.33	c cleaning 10000 clauses out of 20014 with flag 4461001/4884139
281.30/279.87	c cleaning 9996 clauses out of 20014 with flag 4471001/4894139
281.90/280.42	c cleaning 10004 clauses out of 20017 with flag 4481000/4904138
282.40/280.98	c cleaning 10001 clauses out of 20013 with flag 4491000/4914138
283.01/281.56	c cleaning 10001 clauses out of 20012 with flag 4501000/4924138
283.60/282.11	c cleaning 9998 clauses out of 20011 with flag 4511000/4934138
284.11/282.65	c cleaning 9999 clauses out of 20013 with flag 4521000/4944138
284.60/283.19	c cleaning 9992 clauses out of 20015 with flag 4531001/4954139
285.21/283.76	c cleaning 10003 clauses out of 20024 with flag 4541002/4964140
285.81/284.36	c cleaning 9998 clauses out of 20019 with flag 4551000/4974138
286.42/284.95	c cleaning 9999 clauses out of 20021 with flag 4561000/4984138
287.01/285.51	c cleaning 10001 clauses out of 20022 with flag 4571000/4994138
287.52/286.03	c cleaning 10002 clauses out of 20021 with flag 4581000/5004138
288.01/286.55	c cleaning 10005 clauses out of 20020 with flag 4591001/5014139
288.52/287.05	c cleaning 10002 clauses out of 20014 with flag 4601000/5024138
289.02/287.57	c cleaning 10001 clauses out of 20014 with flag 4611002/5034140
289.52/288.09	c cleaning 9998 clauses out of 20012 with flag 4621001/5044139
290.12/288.61	c cleaning 10000 clauses out of 20013 with flag 4631000/5054138
290.62/289.17	c cleaning 9994 clauses out of 20013 with flag 4641000/5064138
291.22/289.74	c cleaning 10004 clauses out of 20022 with flag 4651003/5074141
291.83/290.31	c cleaning 10002 clauses out of 20015 with flag 4661000/5084138
292.32/290.83	c cleaning 9998 clauses out of 20016 with flag 4671003/5094141
292.82/291.39	c cleaning 10004 clauses out of 20015 with flag 4681000/5104138
293.42/291.97	c cleaning 9997 clauses out of 20011 with flag 4691000/5114138
294.03/292.54	c cleaning 10003 clauses out of 20014 with flag 4701000/5124138
294.53/293.07	c cleaning 9997 clauses out of 20011 with flag 4711000/5134138
295.13/293.63	c cleaning 9992 clauses out of 20014 with flag 4721000/5144138
295.73/294.23	c cleaning 10004 clauses out of 20022 with flag 4731000/5154138
296.23/294.76	c cleaning 10003 clauses out of 20019 with flag 4741001/5164139
296.83/295.30	c cleaning 9995 clauses out of 20016 with flag 4751001/5174139
297.33/295.81	c cleaning 10007 clauses out of 20022 with flag 4761002/5184140
297.83/296.38	c cleaning 10004 clauses out of 20014 with flag 4771001/5194139
298.43/296.92	c cleaning 9996 clauses out of 20009 with flag 4781000/5204138
298.93/297.48	c cleaning 10002 clauses out of 20017 with flag 4791004/5214142
299.54/298.10	c cleaning 9980 clauses out of 20013 with flag 4801002/5224140
300.23/298.73	c cleaning 9980 clauses out of 20031 with flag 4811000/5234138
300.73/299.26	c cleaning 9955 clauses out of 20051 with flag 4821000/5244138
301.33/299.81	c cleaning 9986 clauses out of 20100 with flag 4831004/5254142
301.84/300.32	c cleaning 9973 clauses out of 20111 with flag 4841001/5264139
302.33/300.83	c cleaning 9976 clauses out of 20137 with flag 4851000/5274138
302.84/301.37	c cleaning 9979 clauses out of 20161 with flag 4861000/5284138
303.43/301.94	c cleaning 9987 clauses out of 20182 with flag 4871000/5294138
304.04/302.53	c cleaning 9975 clauses out of 20197 with flag 4881002/5304140
304.53/303.10	c cleaning 9987 clauses out of 20220 with flag 4891000/5314138
305.24/303.71	c cleaning 9997 clauses out of 20234 with flag 4901001/5324139
305.84/304.32	c cleaning 9971 clauses out of 20236 with flag 4911000/5334138
306.34/304.85	c cleaning 9975 clauses out of 20267 with flag 4921002/5344140
306.94/305.47	c cleaning 9987 clauses out of 20290 with flag 4931000/5354138
307.54/306.09	c cleaning 9983 clauses out of 20303 with flag 4941000/5364138
308.25/306.71	c cleaning 9983 clauses out of 20321 with flag 4951001/5374139
308.75/307.29	c cleaning 9979 clauses out of 20337 with flag 4961000/5384138
309.35/307.86	c cleaning 9952 clauses out of 20360 with flag 4971002/5394140
309.95/308.46	c cleaning 9989 clauses out of 20406 with flag 4981000/5404138
310.55/309.04	c cleaning 9980 clauses out of 20418 with flag 4991001/5414139
311.15/309.62	c cleaning 9986 clauses out of 20439 with flag 5001002/5424140
311.65/310.18	c cleaning 9965 clauses out of 20452 with flag 5011001/5434139
312.25/310.79	c cleaning 9993 clauses out of 20486 with flag 5021000/5444138
312.86/311.36	c cleaning 9979 clauses out of 20494 with flag 5031001/5454139
313.46/311.91	c cleaning 9995 clauses out of 20514 with flag 5041000/5464138
314.07/312.51	c cleaning 9986 clauses out of 20520 with flag 5051001/5474139
314.57/313.08	c cleaning 9992 clauses out of 20534 with flag 5061001/5484139
315.27/313.73	c cleaning 9994 clauses out of 20544 with flag 5071003/5494141
315.87/314.35	c cleaning 9979 clauses out of 20547 with flag 5081000/5504138
316.47/315.00	c cleaning 9985 clauses out of 20568 with flag 5091000/5514138
317.07/315.60	c cleaning 9981 clauses out of 20583 with flag 5101000/5524138
317.68/316.16	c cleaning 9976 clauses out of 20602 with flag 5111000/5534138
318.29/316.76	c cleaning 9994 clauses out of 20627 with flag 5121001/5544139
318.88/317.36	c cleaning 9969 clauses out of 20633 with flag 5131001/5554139
319.49/317.96	c cleaning 9974 clauses out of 20664 with flag 5141001/5564139
320.08/318.56	c cleaning 9991 clauses out of 20689 with flag 5151000/5574138
320.68/319.16	c cleaning 9986 clauses out of 20699 with flag 5161001/5584139
321.28/319.79	c cleaning 9987 clauses out of 20712 with flag 5171000/5594138
321.99/320.44	c cleaning 9996 clauses out of 20726 with flag 5181001/5604139
322.59/321.01	c cleaning 9977 clauses out of 20729 with flag 5191000/5614138
323.19/321.63	c cleaning 9987 clauses out of 20755 with flag 5201003/5624141
323.80/322.25	c cleaning 9972 clauses out of 20765 with flag 5211000/5634138
324.39/322.87	c cleaning 9998 clauses out of 20793 with flag 5221000/5644138
325.09/323.53	c cleaning 9988 clauses out of 20795 with flag 5231000/5654138
325.69/324.15	c cleaning 9975 clauses out of 20808 with flag 5241001/5664139
326.30/324.74	c cleaning 9990 clauses out of 20835 with flag 5251003/5674141
326.90/325.37	c cleaning 9974 clauses out of 20844 with flag 5261002/5684140
327.50/325.96	c cleaning 9986 clauses out of 20869 with flag 5271001/5694139
328.10/326.53	c cleaning 9983 clauses out of 20882 with flag 5281000/5704138
328.70/327.14	c cleaning 9998 clauses out of 20901 with flag 5291002/5714140
329.31/327.72	c cleaning 9971 clauses out of 20901 with flag 5301000/5724138
329.80/328.30	c cleaning 9975 clauses out of 20930 with flag 5311000/5734138
330.51/328.93	c cleaning 9999 clauses out of 20957 with flag 5321002/5744140
331.10/329.57	c cleaning 9992 clauses out of 20958 with flag 5331002/5754140
331.71/330.14	c cleaning 9985 clauses out of 20964 with flag 5341000/5764138
332.31/330.78	c cleaning 10002 clauses out of 20981 with flag 5351002/5774140
333.01/331.41	c cleaning 9990 clauses out of 20982 with flag 5361005/5784143
333.61/332.02	c cleaning 9980 clauses out of 20987 with flag 5371000/5794138
334.21/332.65	c cleaning 10003 clauses out of 21007 with flag 5381000/5804138
334.81/333.28	c cleaning 9995 clauses out of 21005 with flag 5391001/5814139
335.51/333.92	c cleaning 9970 clauses out of 21010 with flag 5401001/5824139
336.11/334.52	c cleaning 9973 clauses out of 21039 with flag 5411000/5834138
336.71/335.12	c cleaning 9991 clauses out of 21066 with flag 5421000/5844138
337.31/335.73	c cleaning 9999 clauses out of 21075 with flag 5431000/5854138
337.91/336.36	c cleaning 9989 clauses out of 21079 with flag 5441003/5864141
338.51/336.97	c cleaning 9994 clauses out of 21089 with flag 5451002/5874140
339.11/337.55	c cleaning 9991 clauses out of 21093 with flag 5461000/5884138
339.71/338.16	c cleaning 9981 clauses out of 21102 with flag 5471000/5894138
340.22/338.70	c cleaning 9990 clauses out of 21121 with flag 5481000/5904138
340.93/339.32	c cleaning 10004 clauses out of 21133 with flag 5491002/5914140
341.43/339.89	c cleaning 9992 clauses out of 21128 with flag 5501001/5924139
342.13/340.55	c cleaning 9974 clauses out of 21135 with flag 5511000/5934138
342.73/341.16	c cleaning 9980 clauses out of 21161 with flag 5521000/5944138
343.34/341.77	c cleaning 9980 clauses out of 21182 with flag 5531001/5954139
343.94/342.35	c cleaning 9997 clauses out of 21203 with flag 5541002/5964140
344.54/342.95	c cleaning 9980 clauses out of 21207 with flag 5551003/5974141
345.14/343.55	c cleaning 9995 clauses out of 21227 with flag 5561003/5984141
345.84/344.22	c cleaning 9986 clauses out of 21229 with flag 5571000/5994138
346.44/344.85	c cleaning 10004 clauses out of 21244 with flag 5581001/6004139
347.05/345.44	c cleaning 9991 clauses out of 21239 with flag 5591000/6014138
347.65/346.07	c cleaning 10005 clauses out of 21250 with flag 5601002/6024140
348.35/346.70	c cleaning 9996 clauses out of 21245 with flag 5611002/6034140
348.95/347.34	c cleaning 9977 clauses out of 21248 with flag 5621001/6044139
349.55/347.92	c cleaning 9983 clauses out of 21270 with flag 5631000/6054138
350.15/348.50	c cleaning 9981 clauses out of 21287 with flag 5641000/6064138
350.75/349.16	c cleaning 9982 clauses out of 21306 with flag 5651000/6074138
351.36/349.79	c cleaning 9988 clauses out of 21325 with flag 5661001/6084139
352.05/350.42	c cleaning 9991 clauses out of 21338 with flag 5671002/6094140
352.65/351.08	c cleaning 9989 clauses out of 21346 with flag 5681001/6104139
353.25/351.66	c cleaning 9987 clauses out of 21357 with flag 5691001/6114139
353.85/352.27	c cleaning 9984 clauses out of 21371 with flag 5701002/6124140
354.55/352.92	c cleaning 9995 clauses out of 21387 with flag 5711002/6134140
355.15/353.53	c cleaning 9990 clauses out of 21394 with flag 5721004/6144142
355.76/354.10	c cleaning 9972 clauses out of 21400 with flag 5731000/6154138
356.36/354.73	c cleaning 10007 clauses out of 21429 with flag 5741001/6164139
356.96/355.31	c cleaning 9973 clauses out of 21421 with flag 5751000/6174138
357.56/355.91	c cleaning 10002 clauses out of 21449 with flag 5761001/6184139
358.16/356.54	c cleaning 9985 clauses out of 21446 with flag 5771000/6194138
358.76/357.16	c cleaning 9989 clauses out of 21462 with flag 5781001/6204139
359.36/357.75	c cleaning 9987 clauses out of 21473 with flag 5791001/6214139
359.96/358.39	c cleaning 9994 clauses out of 21488 with flag 5801003/6224141
360.57/358.99	c cleaning 9983 clauses out of 21494 with flag 5811003/6234141
361.27/359.63	c cleaning 9998 clauses out of 21512 with flag 5821004/6244142
361.87/360.20	c cleaning 9987 clauses out of 21510 with flag 5831000/6254138
362.37/360.77	c cleaning 9992 clauses out of 21523 with flag 5841000/6264138
362.97/361.36	c cleaning 9993 clauses out of 21531 with flag 5851000/6274138
363.58/361.97	c cleaning 9986 clauses out of 21539 with flag 5861001/6284139
364.17/362.56	c cleaning 9966 clauses out of 21552 with flag 5871000/6294138
364.77/363.13	c cleaning 9982 clauses out of 21586 with flag 5881000/6304138
365.47/363.80	c cleaning 9992 clauses out of 21605 with flag 5891001/6314139
366.08/364.45	c cleaning 9979 clauses out of 21613 with flag 5901001/6324139
366.68/365.05	c cleaning 9987 clauses out of 21636 with flag 5911003/6334141
367.28/365.65	c cleaning 9999 clauses out of 21651 with flag 5921005/6344143
367.88/366.25	c cleaning 9988 clauses out of 21647 with flag 5931000/6354138
368.48/366.88	c cleaning 9994 clauses out of 21660 with flag 5941001/6364139
369.09/367.48	c cleaning 9977 clauses out of 21667 with flag 5951002/6374140
369.68/368.09	c cleaning 9979 clauses out of 21688 with flag 5961000/6384138
370.28/368.69	c cleaning 9990 clauses out of 21710 with flag 5971001/6394139
370.99/369.32	c cleaning 9979 clauses out of 21719 with flag 5981000/6404138
371.59/369.97	c cleaning 10004 clauses out of 21741 with flag 5991001/6414139
372.29/370.61	c cleaning 9975 clauses out of 21740 with flag 6001004/6424142
372.89/371.24	c cleaning 9994 clauses out of 21763 with flag 6011002/6434140
373.49/371.86	c cleaning 9999 clauses out of 21767 with flag 6021000/6444138
374.19/372.52	c cleaning 9998 clauses out of 21769 with flag 6031001/6454139
374.79/373.12	c cleaning 9993 clauses out of 21771 with flag 6041001/6464139
375.39/373.72	c cleaning 9984 clauses out of 21779 with flag 6051002/6474140
375.99/374.32	c cleaning 9990 clauses out of 21794 with flag 6061001/6484139
376.59/374.98	c cleaning 9991 clauses out of 21806 with flag 6071003/6494141
377.29/375.66	c cleaning 9971 clauses out of 21812 with flag 6081000/6504138
378.00/376.37	c cleaning 9992 clauses out of 21841 with flag 6091000/6514138
378.70/377.05	c cleaning 9996 clauses out of 21849 with flag 6101000/6524138
379.40/377.73	c cleaning 9988 clauses out of 21853 with flag 6111000/6534138
380.01/378.36	c cleaning 9980 clauses out of 21865 with flag 6121000/6544138
380.70/379.02	c cleaning 9997 clauses out of 21886 with flag 6131001/6554139
381.41/379.77	c cleaning 9982 clauses out of 21889 with flag 6141001/6564139
382.54/380.43	c cleaning 10005 clauses out of 21907 with flag 6151001/6574139
383.14/381.03	c cleaning 9998 clauses out of 21902 with flag 6161001/6584139
383.75/381.67	c cleaning 9991 clauses out of 21903 with flag 6171000/6594138
384.44/382.32	c cleaning 10009 clauses out of 21912 with flag 6181000/6604138
385.04/382.96	c cleaning 9995 clauses out of 21904 with flag 6191001/6614139
385.78/383.68	c cleaning 9984 clauses out of 21907 with flag 6201000/6624138
386.39/384.28	c cleaning 9981 clauses out of 21923 with flag 6211000/6634138
387.10/384.92	c cleaning 9970 clauses out of 21942 with flag 6221000/6644138
387.80/385.61	c cleaning 9965 clauses out of 21972 with flag 6231000/6654138
388.40/386.28	c cleaning 9995 clauses out of 22007 with flag 6241000/6664138
389.10/386.91	c cleaning 9982 clauses out of 22012 with flag 6251000/6674138
389.81/387.61	c cleaning 9984 clauses out of 22032 with flag 6261002/6684140
390.41/388.30	c cleaning 9974 clauses out of 22047 with flag 6271001/6694139
391.31/389.13	c cleaning 9966 clauses out of 22071 with flag 6281000/6704138
391.62/389.44	c starts		: 293
391.62/389.44	c conflicts		: 6708281
391.62/389.44	c decisions		: 10950001
391.62/389.44	c propagations		: 399815471
391.62/389.44	c inspects		: 3190303089
391.62/389.44	c shortcuts		: 0
391.62/389.44	c learnt literals	: 5
391.62/389.44	c learnt binary clauses	: 24
391.62/389.44	c learnt ternary clauses	: 2252
391.62/389.44	c learnt constraints	: 6708275
391.62/389.44	c ignored constraints	: 0
391.62/389.44	c root simplifications	: 0
391.62/389.44	c removed literals (reason simplification)	: 31122557
391.62/389.44	c reason swapping (by a shorter reason)	: 0
391.62/389.44	c Calls to reduceDB	: 679
391.62/389.44	c number of reductions to clauses (during analyze)	: 0
391.62/389.44	c number of learned constraints concerned by reduction	: 0
391.62/389.44	c number of learning phase by resolution	: 0
391.62/389.44	c number of learning phase by cutting planes	: 0
391.62/389.44	c speed (assignments/second)	: 1100671.0888183522
391.62/389.44	c non guided choices	2794
391.62/389.44	c learnt constraints type 
391.62/389.44	c constraints type 
391.62/389.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2538
391.62/389.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 15
391.62/389.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 146
391.62/389.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 8
391.62/389.44	s OPTIMUM FOUND
391.62/389.45	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 
391.62/389.45	c objective function=12
391.62/389.45	c Total wall clock time (in seconds): 389.339

Verifier Data 

OK	12

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-3492559-1307909963/watcher-3492559-1307909963 -o /var/tmp/evaluation-result-3492559-1307909963/solver-3492559-1307909963 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492559-1307909963.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: 1.99 1.99 1.94 3/195 13320
/proc/meminfo: memFree=1375260/32951124 swapFree=67054448/67111528
[pid=13320] ppid=13318 vsize=30580 CPUtime=0 cores=0,2,4,6
/proc/13320/stat : 13320 (java) S 13318 13320 8455 0 -1 4202496 1210 0 0 0 0 0 0 0 25 0 2 0 883411940 31313920 934 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350186469 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/13320/statm: 7645 937 711 9 0 383 0
[pid=13320/tid=13321] ppid=13318 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13321/stat : 13321 (java) R 13318 13320 8455 0 -1 4202560 108 0 0 0 0 0 0 0 25 0 2 0 883411940 31260672 943 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 47174721362128 0 0 4096 0 0 0 0 -1 2 0 0 0

[startup+0.073193 s]
/proc/loadavg: 1.99 1.99 1.94 3/195 13320
/proc/meminfo: memFree=1375260/32951124 swapFree=67054448/67111528
[pid=13320] ppid=13318 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/13320/stat : 13320 (java) S 13318 13320 8455 0 -1 4202496 11885 0 1 0 4 2 0 0 25 0 18 0 883411940 10724442112 11579 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13320/statm: 2618272 11579 1754 9 0 2609006 0
[pid=13320/tid=13321] ppid=13318 vsize=10473088 CPUtime=0.05 cores=0,2,4,6
/proc/13320/task/13321/stat : 13321 (java) R 13318 13320 8455 0 -1 4202560 10707 0 1 0 4 1 0 0 25 0 18 0 883411940 10724442112 11579 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 46912505204992 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088

[startup+0.105212 s]
/proc/loadavg: 1.99 1.99 1.94 3/195 13320
/proc/meminfo: memFree=1375260/32951124 swapFree=67054448/67111528
[pid=13320] ppid=13318 vsize=10539792 CPUtime=0.11 cores=0,2,4,6
/proc/13320/stat : 13320 (java) S 13318 13320 8455 0 -1 4202496 13144 0 1 0 9 2 0 0 25 0 18 0 883411940 10792747008 12804 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13320/statm: 2634948 12805 2092 9 0 2625682 0
[pid=13320/tid=13321] ppid=13318 vsize=10539792 CPUtime=0.09 cores=0,2,4,6
/proc/13320/task/13321/stat : 13321 (java) R 13318 13320 8455 0 -1 4202560 11193 0 1 0 7 2 0 0 18 0 18 0 883411940 10792747008 12806 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 47174726945619 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539792

[startup+0.301147 s]
/proc/loadavg: 1.99 1.99 1.94 3/195 13320
/proc/meminfo: memFree=1375260/32951124 swapFree=67054448/67111528
[pid=13320] ppid=13318 vsize=10542016 CPUtime=0.48 cores=0,2,4,6
/proc/13320/stat : 13320 (java) S 13318 13320 8455 0 -1 4202496 16403 0 1 0 46 2 0 0 25 0 18 0 883411940 10795024384 15544 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13320/statm: 2635504 15544 2209 9 0 2626238 0
[pid=13320/tid=13321] ppid=13318 vsize=10542016 CPUtime=0.28 cores=0,2,4,6
/proc/13320/task/13321/stat : 13321 (java) R 13318 13320 8455 0 -1 4202560 13103 0 1 0 26 2 0 0 18 0 18 0 883411940 10795024384 15544 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270337778776 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542016

[startup+0.701116 s]
/proc/loadavg: 1.99 1.99 1.94 3/195 13320
/proc/meminfo: memFree=1375260/32951124 swapFree=67054448/67111528
[pid=13320] ppid=13318 vsize=10544916 CPUtime=1.43 cores=0,2,4,6
/proc/13320/stat : 13320 (java) S 13318 13320 8455 0 -1 4202496 21998 0 1 0 139 4 0 0 25 0 19 0 883411940 10797993984 18519 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13320/statm: 2636229 18519 2224 9 0 2626963 0
[pid=13320/tid=13321] ppid=13318 vsize=10544916 CPUtime=0.68 cores=0,2,4,6
/proc/13320/task/13321/stat : 13321 (java) R 13318 13320 8455 0 -1 4202560 13826 0 1 0 66 2 0 0 19 0 19 0 883411940 10797993984 18519 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 46912505334080 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 10544916

[startup+1.50093 s]
/proc/loadavg: 1.99 1.99 1.94 3/214 13339
/proc/meminfo: memFree=1308164/32951124 swapFree=67054448/67111528
[pid=13320] ppid=13318 vsize=10544916 CPUtime=2.28 cores=0,2,4,6
/proc/13320/stat : 13320 (java) S 13318 13320 8455 0 -1 4202496 23239 0 1 0 224 4 0 0 25 0 19 0 883411940 10797993984 19752 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13320/statm: 2636229 19752 2252 9 0 2626963 0
[pid=13320/tid=13321] ppid=13318 vsize=10544916 CPUtime=1.47 cores=0,2,4,6
/proc/13320/task/13321/stat : 13321 (java) R 13318 13320 8455 0 -1 4202560 14195 0 1 0 145 2 0 0 18 0 19 0 883411940 10797993984 19752 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 46912505735325 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883411942 10797993984 19752 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13324] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 883411942 10797993984 19752 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13325] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 883411942 10797993984 19752 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13326] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13326/stat : 13326 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883411942 10797993984 19752 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13327] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13327/stat : 13327 (java) S 13318 13320 8455 0 -1 4202560 120 0 0 0 0 0 0 0 18 0 19 0 883411942 10797993984 19752 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13328] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13328/stat : 13328 (java) S 13318 13320 8455 0 -1 4202560 139 0 0 0 0 0 0 0 18 0 19 0 883411942 10797993984 19752 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13329] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13329/stat : 13329 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 883411942 10797993984 19752 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13330] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13330/stat : 13330 (java) S 13318 13320 8455 0 -1 4202560 170 0 0 0 0 0 0 0 18 0 19 0 883411942 10797993984 19752 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13331] ppid=13318 vsize=10544916 CPUtime=0.01 cores=0,2,4,6
/proc/13320/task/13331/stat : 13331 (java) S 13318 13320 8455 0 -1 4202560 431 0 0 0 1 0 0 0 17 0 19 0 883411943 10797993984 19752 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350200320 0 0 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
[pid=13320/tid=13332] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13332/stat : 13332 (java) S 13318 13320 8455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883411944 10797993984 19752 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13333] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13333/stat : 13333 (java) S 13318 13320 8455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883411944 10797993984 19752 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
[pid=13320/tid=13334] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13334/stat : 13334 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883411946 10797993984 19752 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350207409 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13335] ppid=13318 vsize=10544916 CPUtime=0.38 cores=0,2,4,6
/proc/13320/task/13335/stat : 13335 (java) S 13318 13320 8455 0 -1 4202560 2125 0 0 0 38 0 0 0 19 0 19 0 883411946 10797993984 19752 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13336] ppid=13318 vsize=10544916 CPUtime=0.39 cores=0,2,4,6
/proc/13320/task/13336/stat : 13336 (java) S 13318 13320 8455 0 -1 4202560 4900 0 0 0 38 1 0 0 19 0 19 0 883411946 10797993984 19752 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13337] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13337/stat : 13337 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883411946 10797993984 19752 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13338] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13338/stat : 13338 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883411946 10797993984 19752 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350200320 0 4 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
[pid=13320/tid=13339] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13339/stat : 13339 (java) S 13318 13320 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883411971 10797993984 19752 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350200320 0 4 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 10544916

[startup+3.10065 s]
/proc/loadavg: 2.15 2.02 1.95 3/214 13339
/proc/meminfo: memFree=1302584/32951124 swapFree=67054448/67111528
[pid=13320] ppid=13318 vsize=10544916 CPUtime=3.98 cores=0,2,4,6
/proc/13320/stat : 13320 (java) S 13318 13320 8455 0 -1 4202496 23785 0 1 0 394 4 0 0 25 0 19 0 883411940 10797993984 20294 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13320/statm: 2636229 20294 2252 9 0 2626963 0
[pid=13320/tid=13321] ppid=13318 vsize=10544916 CPUtime=3 cores=0,2,4,6
/proc/13320/task/13321/stat : 13321 (java) R 13318 13320 8455 0 -1 4202560 14198 0 1 0 298 2 0 0 20 0 19 0 883411940 10797993984 20294 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 46912505720097 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (java) S 13318 13320 8455 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 883411942 10797993984 20294 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13324] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (java) S 13318 13320 8455 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 883411942 10797993984 20294 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13325] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883411942 10797993984 20294 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13326] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13326/stat : 13326 (java) S 13318 13320 8455 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 883411942 10797993984 20294 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13327] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13327/stat : 13327 (java) S 13318 13320 8455 0 -1 4202560 222 0 0 0 0 0 0 0 15 0 19 0 883411942 10797993984 20294 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13328] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13328/stat : 13328 (java) S 13318 13320 8455 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 19 0 883411942 10797993984 20294 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13329] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13329/stat : 13329 (java) S 13318 13320 8455 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 883411942 10797993984 20294 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13330] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13330/stat : 13330 (java) S 13318 13320 8455 0 -1 4202560 281 0 0 0 0 0 0 0 15 0 19 0 883411942 10797993984 20294 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13331] ppid=13318 vsize=10544916 CPUtime=0.07 cores=0,2,4,6
/proc/13320/task/13331/stat : 13331 (java) S 13318 13320 8455 0 -1 4202560 607 0 0 0 7 0 0 0 15 0 19 0 883411943 10797993984 20294 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350200320 0 0 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
[pid=13320/tid=13332] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13332/stat : 13332 (java) S 13318 13320 8455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883411944 10797993984 20294 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13333] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13333/stat : 13333 (java) S 13318 13320 8455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883411944 10797993984 20294 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
[pid=13320/tid=13334] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13334/stat : 13334 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883411946 10797993984 20294 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350207409 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13335] ppid=13318 vsize=10544916 CPUtime=0.4 cores=0,2,4,6
/proc/13320/task/13335/stat : 13335 (java) S 13318 13320 8455 0 -1 4202560 2127 0 0 0 40 0 0 0 15 0 19 0 883411946 10797993984 20294 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13336] ppid=13318 vsize=10544916 CPUtime=0.47 cores=0,2,4,6
/proc/13320/task/13336/stat : 13336 (java) S 13318 13320 8455 0 -1 4202560 4915 0 0 0 46 1 0 0 15 0 19 0 883411946 10797993984 20294 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13337] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13337/stat : 13337 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883411946 10797993984 20294 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13338] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13338/stat : 13338 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883411946 10797993984 20294 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350200320 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13339] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13339/stat : 13339 (java) S 13318 13320 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883411971 10797993984 20294 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350200320 0 4 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 10544916

[startup+6.30102 s]
/proc/loadavg: 2.15 2.02 1.95 3/214 13339
/proc/meminfo: memFree=1301604/32951124 swapFree=67054448/67111528
[pid=13320] ppid=13318 vsize=10544916 CPUtime=7.21 cores=0,2,4,6
/proc/13320/stat : 13320 (java) S 13318 13320 8455 0 -1 4202496 23971 0 1 0 717 4 0 0 25 0 19 0 883411940 10797993984 20464 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13320/statm: 2636229 20464 2252 9 0 2626963 0
[pid=13320/tid=13321] ppid=13318 vsize=10544916 CPUtime=6.09 cores=0,2,4,6
/proc/13320/task/13321/stat : 13321 (java) R 13318 13320 8455 0 -1 4202560 14206 0 1 0 607 2 0 0 25 0 19 0 883411940 10797993984 20464 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 46912505647473 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (java) S 13318 13320 8455 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 19 0 883411942 10797993984 20464 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13324] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (java) S 13318 13320 8455 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 883411942 10797993984 20464 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13325] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (java) S 13318 13320 8455 0 -1 4202560 15 0 0 0 0 0 0 0 16 0 19 0 883411942 10797993984 20464 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13326] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13326/stat : 13326 (java) S 13318 13320 8455 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 19 0 883411942 10797993984 20464 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13327] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13327/stat : 13327 (java) S 13318 13320 8455 0 -1 4202560 222 0 0 0 0 0 0 0 15 0 19 0 883411942 10797993984 20464 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13328] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13328/stat : 13328 (java) S 13318 13320 8455 0 -1 4202560 170 0 0 0 0 0 0 0 15 0 19 0 883411942 10797993984 20464 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13329] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13329/stat : 13329 (java) S 13318 13320 8455 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 883411942 10797993984 20464 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13330] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13330/stat : 13330 (java) S 13318 13320 8455 0 -1 4202560 281 0 0 0 0 0 0 0 15 0 19 0 883411942 10797993984 20464 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13331] ppid=13318 vsize=10544916 CPUtime=0.17 cores=0,2,4,6
/proc/13320/task/13331/stat : 13331 (java) S 13318 13320 8455 0 -1 4202560 723 0 0 0 17 0 0 0 15 0 19 0 883411943 10797993984 20464 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350200320 0 0 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
[pid=13320/tid=13332] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13332/stat : 13332 (java) S 13318 13320 8455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883411944 10797993984 20464 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13333] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13333/stat : 13333 (java) S 13318 13320 8455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883411944 10797993984 20464 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
[pid=13320/tid=13334] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13334/stat : 13334 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883411946 10797993984 20464 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350207409 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13335] ppid=13318 vsize=10544916 CPUtime=0.42 cores=0,2,4,6
/proc/13320/task/13335/stat : 13335 (java) S 13318 13320 8455 0 -1 4202560 2128 0 0 0 42 0 0 0 15 0 19 0 883411946 10797993984 20464 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13336] ppid=13318 vsize=10544916 CPUtime=0.48 cores=0,2,4,6
/proc/13320/task/13336/stat : 13336 (java) S 13318 13320 8455 0 -1 4202560 4915 0 0 0 47 1 0 0 15 0 19 0 883411946 10797993984 20464 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0

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

/proc/13320/task/13323/stat : 13323 (java) S 13318 13320 8455 0 -1 4202560 57 0 0 0 21 0 0 0 16 0 19 0 883411942 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13324] ppid=13318 vsize=10544916 CPUtime=0.23 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (java) S 13318 13320 8455 0 -1 4202560 23 0 0 0 23 0 0 0 15 0 19 0 883411942 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13325] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (java) S 13318 13320 8455 0 -1 4202560 30 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13326] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13326/stat : 13326 (java) S 13318 13320 8455 0 -1 4202560 114 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13327] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13327/stat : 13327 (java) S 13318 13320 8455 0 -1 4202560 243 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13328] ppid=13318 vsize=10544916 CPUtime=0.22 cores=0,2,4,6
/proc/13320/task/13328/stat : 13328 (java) S 13318 13320 8455 0 -1 4202560 185 0 0 0 22 0 0 0 15 0 19 0 883411942 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13329] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13329/stat : 13329 (java) S 13318 13320 8455 0 -1 4202560 29 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13330] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13330/stat : 13330 (java) S 13318 13320 8455 0 -1 4202560 302 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13331] ppid=13318 vsize=10544916 CPUtime=10.82 cores=0,2,4,6
/proc/13320/task/13331/stat : 13331 (java) S 13318 13320 8455 0 -1 4202560 1623 0 0 0 1074 8 0 0 15 0 19 0 883411943 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350200320 0 0 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
[pid=13320/tid=13332] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13332/stat : 13332 (java) S 13318 13320 8455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883411944 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13333] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13333/stat : 13333 (java) S 13318 13320 8455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883411944 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
[pid=13320/tid=13334] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13334/stat : 13334 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883411946 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350207409 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13335] ppid=13318 vsize=10544916 CPUtime=0.5 cores=0,2,4,6
/proc/13320/task/13335/stat : 13335 (java) S 13318 13320 8455 0 -1 4202560 2139 0 0 0 50 0 0 0 16 0 19 0 883411946 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13336] ppid=13318 vsize=10544916 CPUtime=0.9 cores=0,2,4,6
/proc/13320/task/13336/stat : 13336 (java) S 13318 13320 8455 0 -1 4202560 11462 0 0 0 88 2 0 0 15 0 19 0 883411946 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13337] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13337/stat : 13337 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883411946 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13338] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13338/stat : 13338 (java) S 13318 13320 8455 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 883411946 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350200320 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13339] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13339/stat : 13339 (java) S 13318 13320 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883411971 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350200320 0 4 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 390.91
Current children cumulated vsize (KiB) 10544916

[startup+389.101 s]
/proc/loadavg: 2.04 2.02 1.96 3/214 13466
/proc/meminfo: memFree=1250248/32951124 swapFree=67054448/67111528
[pid=13320] ppid=13318 vsize=10544916 CPUtime=391.31 cores=0,2,4,6
/proc/13320/stat : 13320 (java) S 13318 13320 8455 0 -1 4202496 32255 0 1 0 39112 19 0 0 25 0 19 0 883411940 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13320/statm: 2636229 23002 2254 9 0 2626963 0
[pid=13320/tid=13321] ppid=13318 vsize=10544916 CPUtime=377.27 cores=0,2,4,6
/proc/13320/task/13321/stat : 13321 (java) R 13318 13320 8455 0 -1 4202560 14873 0 1 0 37723 4 0 0 25 0 19 0 883411940 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 46912505642983 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (java) S 13318 13320 8455 0 -1 4202560 57 0 0 0 21 0 0 0 16 0 19 0 883411942 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13324] ppid=13318 vsize=10544916 CPUtime=0.23 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (java) S 13318 13320 8455 0 -1 4202560 23 0 0 0 23 0 0 0 15 0 19 0 883411942 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13325] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (java) S 13318 13320 8455 0 -1 4202560 30 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13326] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13326/stat : 13326 (java) S 13318 13320 8455 0 -1 4202560 114 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13327] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13327/stat : 13327 (java) S 13318 13320 8455 0 -1 4202560 243 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13328] ppid=13318 vsize=10544916 CPUtime=0.22 cores=0,2,4,6
/proc/13320/task/13328/stat : 13328 (java) S 13318 13320 8455 0 -1 4202560 185 0 0 0 22 0 0 0 15 0 19 0 883411942 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13329] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13329/stat : 13329 (java) S 13318 13320 8455 0 -1 4202560 29 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13330] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13330/stat : 13330 (java) S 13318 13320 8455 0 -1 4202560 302 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13331] ppid=13318 vsize=10544916 CPUtime=10.82 cores=0,2,4,6
/proc/13320/task/13331/stat : 13331 (java) S 13318 13320 8455 0 -1 4202560 1623 0 0 0 1074 8 0 0 15 0 19 0 883411943 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350200320 0 0 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
[pid=13320/tid=13332] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13332/stat : 13332 (java) S 13318 13320 8455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883411944 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13333] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13333/stat : 13333 (java) S 13318 13320 8455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883411944 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
[pid=13320/tid=13334] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13334/stat : 13334 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883411946 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350207409 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13335] ppid=13318 vsize=10544916 CPUtime=0.5 cores=0,2,4,6
/proc/13320/task/13335/stat : 13335 (java) S 13318 13320 8455 0 -1 4202560 2139 0 0 0 50 0 0 0 16 0 19 0 883411946 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13336] ppid=13318 vsize=10544916 CPUtime=0.9 cores=0,2,4,6
/proc/13320/task/13336/stat : 13336 (java) S 13318 13320 8455 0 -1 4202560 11462 0 0 0 88 2 0 0 15 0 19 0 883411946 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13337] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13337/stat : 13337 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883411946 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13338] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13338/stat : 13338 (java) S 13318 13320 8455 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 883411946 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350200320 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13339] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13339/stat : 13339 (java) S 13318 13320 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883411971 10797993984 23002 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350200320 0 4 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 391.31
Current children cumulated vsize (KiB) 10544916

[startup+389.301 s]
/proc/loadavg: 2.04 2.02 1.96 3/214 13466
/proc/meminfo: memFree=1250368/32951124 swapFree=67054448/67111528
[pid=13320] ppid=13318 vsize=10544916 CPUtime=391.51 cores=0,2,4,6
/proc/13320/stat : 13320 (java) S 13318 13320 8455 0 -1 4202496 32260 0 1 0 39132 19 0 0 25 0 19 0 883411940 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13320/statm: 2636229 23006 2254 9 0 2626963 0
[pid=13320/tid=13321] ppid=13318 vsize=10544916 CPUtime=377.46 cores=0,2,4,6
/proc/13320/task/13321/stat : 13321 (java) R 13318 13320 8455 0 -1 4202560 14874 0 1 0 37742 4 0 0 25 0 19 0 883411940 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 46912505710316 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (java) S 13318 13320 8455 0 -1 4202560 57 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13324] ppid=13318 vsize=10544916 CPUtime=0.23 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (java) S 13318 13320 8455 0 -1 4202560 23 0 0 0 23 0 0 0 16 0 19 0 883411942 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13325] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (java) S 13318 13320 8455 0 -1 4202560 30 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13326] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13326/stat : 13326 (java) S 13318 13320 8455 0 -1 4202560 115 0 0 0 21 0 0 0 16 0 19 0 883411942 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13327] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13327/stat : 13327 (java) S 13318 13320 8455 0 -1 4202560 243 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13328] ppid=13318 vsize=10544916 CPUtime=0.22 cores=0,2,4,6
/proc/13320/task/13328/stat : 13328 (java) S 13318 13320 8455 0 -1 4202560 185 0 0 0 22 0 0 0 15 0 19 0 883411942 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13329] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13329/stat : 13329 (java) S 13318 13320 8455 0 -1 4202560 29 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13330] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13330/stat : 13330 (java) S 13318 13320 8455 0 -1 4202560 302 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13331] ppid=13318 vsize=10544916 CPUtime=10.84 cores=0,2,4,6
/proc/13320/task/13331/stat : 13331 (java) S 13318 13320 8455 0 -1 4202560 1626 0 0 0 1076 8 0 0 15 0 19 0 883411943 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350200320 0 0 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
[pid=13320/tid=13332] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13332/stat : 13332 (java) S 13318 13320 8455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883411944 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13333] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13333/stat : 13333 (java) S 13318 13320 8455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883411944 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
[pid=13320/tid=13334] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13334/stat : 13334 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883411946 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350207409 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13335] ppid=13318 vsize=10544916 CPUtime=0.5 cores=0,2,4,6
/proc/13320/task/13335/stat : 13335 (java) S 13318 13320 8455 0 -1 4202560 2139 0 0 0 50 0 0 0 16 0 19 0 883411946 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13336] ppid=13318 vsize=10544916 CPUtime=0.9 cores=0,2,4,6
/proc/13320/task/13336/stat : 13336 (java) S 13318 13320 8455 0 -1 4202560 11462 0 0 0 88 2 0 0 15 0 19 0 883411946 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13337] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13337/stat : 13337 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883411946 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13338] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13338/stat : 13338 (java) S 13318 13320 8455 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 883411946 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350200320 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13339] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13339/stat : 13339 (java) S 13318 13320 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883411971 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350200320 0 4 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 391.51
Current children cumulated vsize (KiB) 10544916

[startup+389.407 s]
/proc/loadavg: 2.04 2.02 1.96 3/214 13466
/proc/meminfo: memFree=1250368/32951124 swapFree=67054448/67111528
[pid=13320] ppid=13318 vsize=10544916 CPUtime=391.62 cores=0,2,4,6
/proc/13320/stat : 13320 (java) S 13318 13320 8455 0 -1 4202496 32260 0 1 0 39143 19 0 0 25 0 19 0 883411940 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13320/statm: 2636229 23006 2254 9 0 2626963 0
[pid=13320/tid=13321] ppid=13318 vsize=10544916 CPUtime=377.56 cores=0,2,4,6
/proc/13320/task/13321/stat : 13321 (java) R 13318 13320 8455 0 -1 4202560 14874 0 1 0 37752 4 0 0 25 0 19 0 883411940 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 46912505643075 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13320/tid=13323] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13323/stat : 13323 (java) S 13318 13320 8455 0 -1 4202560 57 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13324] ppid=13318 vsize=10544916 CPUtime=0.23 cores=0,2,4,6
/proc/13320/task/13324/stat : 13324 (java) S 13318 13320 8455 0 -1 4202560 23 0 0 0 23 0 0 0 16 0 19 0 883411942 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13325] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13325/stat : 13325 (java) S 13318 13320 8455 0 -1 4202560 30 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13326] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13326/stat : 13326 (java) S 13318 13320 8455 0 -1 4202560 115 0 0 0 21 0 0 0 16 0 19 0 883411942 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13327] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13327/stat : 13327 (java) S 13318 13320 8455 0 -1 4202560 243 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13328] ppid=13318 vsize=10544916 CPUtime=0.22 cores=0,2,4,6
/proc/13320/task/13328/stat : 13328 (java) S 13318 13320 8455 0 -1 4202560 185 0 0 0 22 0 0 0 15 0 19 0 883411942 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13329] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13329/stat : 13329 (java) S 13318 13320 8455 0 -1 4202560 29 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13330] ppid=13318 vsize=10544916 CPUtime=0.21 cores=0,2,4,6
/proc/13320/task/13330/stat : 13330 (java) S 13318 13320 8455 0 -1 4202560 302 0 0 0 21 0 0 0 15 0 19 0 883411942 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13331] ppid=13318 vsize=10544916 CPUtime=10.84 cores=0,2,4,6
/proc/13320/task/13331/stat : 13331 (java) S 13318 13320 8455 0 -1 4202560 1626 0 0 0 1076 8 0 0 15 0 19 0 883411943 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350200320 0 0 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
[pid=13320/tid=13332] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13332/stat : 13332 (java) S 13318 13320 8455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883411944 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13333] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13333/stat : 13333 (java) S 13318 13320 8455 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883411944 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
[pid=13320/tid=13334] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13334/stat : 13334 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883411946 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350207409 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13335] ppid=13318 vsize=10544916 CPUtime=0.5 cores=0,2,4,6
/proc/13320/task/13335/stat : 13335 (java) S 13318 13320 8455 0 -1 4202560 2139 0 0 0 50 0 0 0 16 0 19 0 883411946 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13336] ppid=13318 vsize=10544916 CPUtime=0.9 cores=0,2,4,6
/proc/13320/task/13336/stat : 13336 (java) S 13318 13320 8455 0 -1 4202560 11462 0 0 0 88 2 0 0 15 0 19 0 883411946 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 4 0 0 0
[pid=13320/tid=13337] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13337/stat : 13337 (java) S 13318 13320 8455 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883411946 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350199705 0 4 0 16800975 18446604453922859072 0 0 -1 6 0 0 0
[pid=13320/tid=13338] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13338/stat : 13338 (java) S 13318 13320 8455 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 883411946 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350200320 0 4 0 16800975 18446604453922859072 0 0 -1 2 0 0 0
[pid=13320/tid=13339] ppid=13318 vsize=10544916 CPUtime=0 cores=0,2,4,6
/proc/13320/task/13339/stat : 13339 (java) S 13318 13320 8455 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883411971 10797993984 23006 33554432000 1073741824 1073778376 140733300215280 18446744073709551615 270350200320 0 4 0 16800975 18446604453922859072 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 391.62
Current children cumulated vsize (KiB) 10544916

Child status: 30
Real time (s): 389.466
CPU time (s): 391.678
CPU user time (s): 391.478
CPU system time (s): 0.199969
CPU usage (%): 100.568
Max. virtual memory (cumulated for all children) (KiB): 10544916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 391.478
system time used= 0.199969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32280
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= 25841
involuntary context switches= 15645

runsolver used 0.712891 second user time and 1.44478 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-12 22:19:23
IDJOB=3492559
IDBENCH=78886
IDSOLVER=1982
FILE ID=node143/3492559-1307909963
RUNJOBID= node143-1307908050-12754
PBS_JOBID= 13559565
Free space on /var/tmp= 2916 MiB

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

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

MD5SUM BENCH= af1f4aa986dfaf7d995a788abb35be25
RANDOM SEED=1693816601

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1375556 kB
Buffers:         62664 kB
Cached:       30490008 kB
SwapCached:       9452 kB
Active:       15880356 kB
Inactive:     14748264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1375556 kB
SwapTotal:    67111528 kB
SwapFree:     67054448 kB
Dirty:             900 kB
Writeback:           0 kB
AnonPages:       73532 kB
Mapped:          21192 kB
Slab:           882748 kB
PageTables:       4992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10545232 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= 2912 MiB
End job on node143 at 2011-06-12 22:25:53