Trace number 3492029

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 228.823 227.31

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.08	c version 2.3.1.v20110525
0.04/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.08	c java.vm.version	19.1-b02
0.04/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		9996466904
0.04/0.09	c Max memory 		10048897024
0.04/0.09	c Total memory 		10048897024
0.04/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492029-1307910679.wbo
0.10/0.11	c reading problem ... 
0.49/0.31	c ... done. Wall clock time 0.202s.
0.49/0.31	c #vars     2070
0.49/0.31	c #constraints  2707
0.49/0.31	c constraints type 
0.49/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2610
0.49/0.31	c org.sat4j.minisat.constraints.card.MinWatchCard => 9
0.49/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 74
0.49/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
0.78/0.46	c SATISFIABLE
0.78/0.46	c OPTIMIZING...
0.78/0.46	c Got one! Elapsed wall clock time (in seconds):0.356
0.78/0.46	o 359
0.78/0.49	c Got one! Elapsed wall clock time (in seconds):0.385
0.78/0.49	o 357
1.06/0.52	c Got one! Elapsed wall clock time (in seconds):0.415
1.06/0.52	o 351
1.06/0.54	c Got one! Elapsed wall clock time (in seconds):0.433
1.06/0.54	o 325
1.06/0.56	c Got one! Elapsed wall clock time (in seconds):0.45
1.06/0.56	o 307
1.06/0.58	c Got one! Elapsed wall clock time (in seconds):0.472
1.06/0.58	o 276
1.34/0.60	c Got one! Elapsed wall clock time (in seconds):0.49
1.34/0.60	o 261
1.34/0.61	c Got one! Elapsed wall clock time (in seconds):0.507
1.34/0.61	o 248
1.34/0.64	c Got one! Elapsed wall clock time (in seconds):0.528
1.34/0.64	o 224
1.48/0.75	c Got one! Elapsed wall clock time (in seconds):0.64
1.48/0.75	o 198
1.48/0.77	c Got one! Elapsed wall clock time (in seconds):0.663
1.48/0.77	o 190
1.58/0.87	c Got one! Elapsed wall clock time (in seconds):0.76
1.58/0.87	o 173
1.69/0.91	c Got one! Elapsed wall clock time (in seconds):0.798
1.69/0.91	o 143
1.69/0.96	c Got one! Elapsed wall clock time (in seconds):0.855
1.69/0.96	o 141
1.79/1.10	c Got one! Elapsed wall clock time (in seconds):0.993
1.79/1.10	o 140
1.89/1.17	c Got one! Elapsed wall clock time (in seconds):1.065
1.89/1.17	o 129
1.99/1.29	c Got one! Elapsed wall clock time (in seconds):1.186
1.99/1.29	o 125
2.19/1.40	c Got one! Elapsed wall clock time (in seconds):1.297
2.19/1.40	o 122
2.70/1.93	c Got one! Elapsed wall clock time (in seconds):1.82
2.70/1.93	o 113
3.02/2.27	c Got one! Elapsed wall clock time (in seconds):2.158
3.02/2.27	o 111
3.22/2.42	c Got one! Elapsed wall clock time (in seconds):2.311
3.22/2.42	o 108
3.32/2.57	c cleaning 6763 clauses out of 13533 with flag 1003/13533
3.56/2.79	c Got one! Elapsed wall clock time (in seconds):2.687
3.56/2.79	o 104
3.76/2.96	c Got one! Elapsed wall clock time (in seconds):2.856
3.76/2.96	o 94
3.96/3.15	c Got one! Elapsed wall clock time (in seconds):3.047
3.96/3.15	o 89
4.26/3.45	c Got one! Elapsed wall clock time (in seconds):3.347
4.26/3.45	o 76
4.46/3.69	c Got one! Elapsed wall clock time (in seconds):3.587
4.46/3.69	o 66
4.66/3.81	c cleaning 7551 clauses out of 15107 with flag 1002/21870
4.87/4.08	c Got one! Elapsed wall clock time (in seconds):3.97
4.87/4.08	o 63
5.28/4.49	c cleaning 6510 clauses out of 13024 with flag 4000/27338
5.51/4.69	c Got one! Elapsed wall clock time (in seconds):4.58
5.51/4.69	o 54
6.01/5.12	c cleaning 6056 clauses out of 12116 with flag 4000/32940
6.52/5.60	c Got one! Elapsed wall clock time (in seconds):5.493
6.52/5.60	o 40
6.72/5.84	c cleaning 5892 clauses out of 11790 with flag 3003/38670
6.92/6.04	c Got one! Elapsed wall clock time (in seconds):5.928
6.92/6.04	o 35
7.22/6.33	c cleaning 5734 clauses out of 11473 with flag 3000/44245
7.32/6.41	c Got one! Elapsed wall clock time (in seconds):6.307
7.32/6.41	o 28
7.62/6.71	c cleaning 5450 clauses out of 10915 with flag 4000/49421
7.82/6.93	c Got one! Elapsed wall clock time (in seconds):6.824
7.82/6.93	o 23
7.92/7.08	c cleaning 5339 clauses out of 10689 with flag 2005/54645
8.33/7.44	c cleaning 5670 clauses out of 11347 with flag 8002/60642
8.53/7.63	c Got one! Elapsed wall clock time (in seconds):7.527
8.53/7.63	o 14
8.63/7.77	c cleaning 5756 clauses out of 11513 with flag 2000/66478
9.03/8.10	c cleaning 5878 clauses out of 11759 with flag 8002/72480
9.33/8.44	c cleaning 6434 clauses out of 12881 with flag 15002/79480
9.74/8.86	c cleaning 7217 clauses out of 14447 with flag 23002/87480
10.24/9.37	c cleaning 8113 clauses out of 16232 with flag 32004/96482
10.84/9.92	c cleaning 9053 clauses out of 18116 with flag 42001/106479
11.34/10.45	c cleaning 9527 clauses out of 19062 with flag 52000/116478
11.44/10.57	c Got one! Elapsed wall clock time (in seconds):10.462
11.44/10.57	o 12
11.64/10.75	c cleaning 7467 clauses out of 14943 with flag 3000/121886
11.95/11.09	c cleaning 6736 clauses out of 13477 with flag 9001/127887
12.35/11.41	c cleaning 6866 clauses out of 13740 with flag 16000/134886
12.75/11.80	c cleaning 7434 clauses out of 14875 with flag 24001/142887
13.15/12.25	c cleaning 8212 clauses out of 16443 with flag 33003/151889
13.65/12.76	c cleaning 9106 clauses out of 18228 with flag 43000/161886
14.25/13.30	c cleaning 9557 clauses out of 19123 with flag 53001/171887
14.75/13.87	c cleaning 9779 clauses out of 19567 with flag 63002/181888
15.35/14.43	c cleaning 9888 clauses out of 19787 with flag 73001/191887
15.45/14.50	c Got one! Elapsed wall clock time (in seconds):14.396
15.45/14.50	o 9
15.66/14.71	c cleaning 7565 clauses out of 15151 with flag 4001/197139
15.86/14.99	c cleaning 6790 clauses out of 13586 with flag 10001/203139
16.16/15.30	c cleaning 6893 clauses out of 13795 with flag 17000/210138
16.57/15.66	c cleaning 7444 clauses out of 14904 with flag 25002/218140
16.97/16.06	c cleaning 8223 clauses out of 16458 with flag 34000/227138
17.47/16.54	c cleaning 9113 clauses out of 18237 with flag 44002/237140
17.87/16.99	c cleaning 9555 clauses out of 19122 with flag 54000/247138
18.37/17.46	c cleaning 9774 clauses out of 19567 with flag 64000/257138
18.87/17.92	c cleaning 9893 clauses out of 19793 with flag 74000/267138
19.29/18.38	c cleaning 9948 clauses out of 19900 with flag 84000/277138
19.79/18.85	c cleaning 9972 clauses out of 19952 with flag 94000/287138
20.29/19.37	c cleaning 9981 clauses out of 19980 with flag 104000/297138
20.80/19.88	c cleaning 9998 clauses out of 20001 with flag 114002/307140
21.39/20.45	c cleaning 9998 clauses out of 20003 with flag 124002/317140
21.90/20.95	c cleaning 9997 clauses out of 20004 with flag 134001/327139
22.40/21.46	c cleaning 10001 clauses out of 20007 with flag 144001/337139
22.90/21.97	c cleaning 10001 clauses out of 20007 with flag 154002/347140
23.20/22.28	c Got one! Elapsed wall clock time (in seconds):22.17
23.20/22.28	o 8
23.60/22.62	c cleaning 10991 clauses out of 21988 with flag 5003/359122
23.90/22.95	c cleaning 8489 clauses out of 16994 with flag 11000/365119
24.20/23.29	c cleaning 7750 clauses out of 15507 with flag 18002/372121
24.60/23.66	c cleaning 7870 clauses out of 15760 with flag 26005/380124
25.11/24.15	c cleaning 8436 clauses out of 16886 with flag 35001/389120
25.61/24.64	c cleaning 9216 clauses out of 18450 with flag 45001/399120
26.11/25.13	c cleaning 9611 clauses out of 19233 with flag 55000/409119
26.61/25.61	c cleaning 9807 clauses out of 19622 with flag 65000/419119
26.81/25.85	c Got one! Elapsed wall clock time (in seconds):25.74
26.81/25.85	o 7
27.11/26.17	c cleaning 9965 clauses out of 19954 with flag 5000/429258
27.42/26.49	c cleaning 7989 clauses out of 15989 with flag 11000/435258
27.81/26.83	c cleaning 7491 clauses out of 15000 with flag 18000/442258
28.22/27.22	c cleaning 7747 clauses out of 15510 with flag 26001/450259
28.72/27.73	c cleaning 8370 clauses out of 16762 with flag 35000/459258
29.22/28.29	c cleaning 9188 clauses out of 18392 with flag 45000/469258
29.72/28.76	c cleaning 9592 clauses out of 19206 with flag 55002/479260
30.22/29.28	c cleaning 9800 clauses out of 19613 with flag 65001/489259
30.73/29.77	c cleaning 9901 clauses out of 19815 with flag 75003/499261
31.23/30.27	c cleaning 9944 clauses out of 19911 with flag 85000/509258
31.73/30.75	c cleaning 9979 clauses out of 19968 with flag 95001/519259
32.23/31.23	c cleaning 9991 clauses out of 19989 with flag 105001/529259
32.74/31.75	c cleaning 9991 clauses out of 19998 with flag 115001/539259
33.34/32.30	c cleaning 9996 clauses out of 20007 with flag 125001/549259
33.84/32.80	c cleaning 10002 clauses out of 20010 with flag 135000/559258
34.34/33.37	c cleaning 10000 clauses out of 20009 with flag 145001/569259
34.95/33.92	c cleaning 10002 clauses out of 20009 with flag 155001/579259
35.45/34.44	c cleaning 9998 clauses out of 20008 with flag 165002/589260
35.95/34.96	c cleaning 9995 clauses out of 20008 with flag 175000/599258
36.45/35.44	c cleaning 9998 clauses out of 20014 with flag 185001/609259
36.95/35.98	c cleaning 10003 clauses out of 20015 with flag 195000/619258
37.45/36.46	c cleaning 9997 clauses out of 20012 with flag 205000/629258
37.95/36.97	c cleaning 10006 clauses out of 20017 with flag 215002/639260
38.46/37.48	c cleaning 9998 clauses out of 20009 with flag 225000/649258
39.06/38.00	c cleaning 9996 clauses out of 20012 with flag 235001/659259
39.56/38.50	c cleaning 10005 clauses out of 20015 with flag 245000/669258
40.06/39.02	c cleaning 9999 clauses out of 20010 with flag 255000/679258
40.46/39.48	c cleaning 10002 clauses out of 20012 with flag 265001/689259
41.06/40.04	c cleaning 10001 clauses out of 20009 with flag 275000/699258
41.56/40.51	c cleaning 10004 clauses out of 20013 with flag 285005/709263
41.96/40.95	c cleaning 9997 clauses out of 20004 with flag 295000/719258
42.46/41.43	c cleaning 9994 clauses out of 20007 with flag 305000/729258
42.96/41.91	c cleaning 9999 clauses out of 20014 with flag 315001/739259
43.36/42.39	c cleaning 10003 clauses out of 20014 with flag 325000/749258
43.87/42.85	c cleaning 9999 clauses out of 20012 with flag 335001/759259
44.36/43.30	c cleaning 9992 clauses out of 20012 with flag 345000/769258
44.76/43.76	c cleaning 10005 clauses out of 20022 with flag 355002/779260
45.26/44.22	c cleaning 10003 clauses out of 20015 with flag 365000/789258
45.67/44.68	c cleaning 10004 clauses out of 20012 with flag 375000/799258
46.17/45.15	c cleaning 9996 clauses out of 20009 with flag 385001/809259
46.66/45.65	c cleaning 10000 clauses out of 20012 with flag 395000/819258
47.17/46.12	c cleaning 10001 clauses out of 20012 with flag 405000/829258
47.56/46.59	c cleaning 10000 clauses out of 20011 with flag 415000/839258
48.06/47.09	c cleaning 10001 clauses out of 20012 with flag 425001/849259
48.57/47.56	c cleaning 9999 clauses out of 20010 with flag 435000/859258
49.07/48.08	c cleaning 9997 clauses out of 20011 with flag 445000/869258
49.67/48.60	c cleaning 10006 clauses out of 20015 with flag 455001/879259
50.07/49.07	c cleaning 9998 clauses out of 20009 with flag 465001/889259
50.57/49.56	c cleaning 10000 clauses out of 20012 with flag 475002/899260
51.07/50.05	c cleaning 9989 clauses out of 20010 with flag 485000/909258
51.58/50.57	c cleaning 10005 clauses out of 20021 with flag 495000/919258
52.07/51.04	c cleaning 10003 clauses out of 20016 with flag 505000/929258
52.57/51.52	c cleaning 10001 clauses out of 20014 with flag 515001/939259
53.07/52.01	c cleaning 10000 clauses out of 20012 with flag 525000/949258
53.58/52.55	c cleaning 10000 clauses out of 20012 with flag 535000/959258
54.18/53.16	c cleaning 10000 clauses out of 20012 with flag 545000/969258
54.68/53.69	c cleaning 10003 clauses out of 20014 with flag 555002/979260
55.18/54.19	c cleaning 9998 clauses out of 20009 with flag 565000/989258
55.68/54.69	c cleaning 9999 clauses out of 20011 with flag 575000/999258
56.28/55.21	c cleaning 9995 clauses out of 20013 with flag 585001/1009259
56.78/55.75	c cleaning 9996 clauses out of 20017 with flag 595000/1019258
57.28/56.29	c cleaning 10001 clauses out of 20021 with flag 605000/1029258
57.79/56.75	c cleaning 9999 clauses out of 20020 with flag 615000/1039258
58.19/57.18	c cleaning 10011 clauses out of 20025 with flag 625004/1049262
58.69/57.64	c cleaning 10002 clauses out of 20011 with flag 635001/1059259
59.19/58.11	c cleaning 9998 clauses out of 20011 with flag 645003/1069261
59.59/58.58	c cleaning 9996 clauses out of 20010 with flag 655000/1079258
60.09/59.04	c cleaning 10004 clauses out of 20015 with flag 665001/1089259
60.60/59.53	c cleaning 10002 clauses out of 20011 with flag 675001/1099259
61.10/60.01	c cleaning 10001 clauses out of 20009 with flag 685001/1109259
61.60/60.52	c cleaning 9998 clauses out of 20007 with flag 695000/1119258
62.10/61.04	c cleaning 10000 clauses out of 20010 with flag 705001/1129259
62.61/61.54	c cleaning 9998 clauses out of 20011 with flag 715002/1139260
63.10/62.05	c cleaning 9996 clauses out of 20012 with flag 725001/1149259
63.60/62.53	c cleaning 10003 clauses out of 20018 with flag 735003/1159261
64.10/63.01	c cleaning 10003 clauses out of 20012 with flag 745000/1169258
64.50/63.45	c cleaning 10002 clauses out of 20010 with flag 755001/1179259
65.00/63.93	c cleaning 10000 clauses out of 20008 with flag 765001/1189259
65.50/64.45	c cleaning 9992 clauses out of 20008 with flag 775001/1199259
66.01/64.95	c cleaning 9999 clauses out of 20016 with flag 785001/1209259
66.51/65.44	c cleaning 10001 clauses out of 20016 with flag 795000/1219258
67.01/65.90	c cleaning 10005 clauses out of 20016 with flag 805001/1229259
67.51/66.42	c cleaning 10000 clauses out of 20011 with flag 815001/1239259
68.01/66.90	c cleaning 9996 clauses out of 20010 with flag 825000/1249258
68.51/67.42	c cleaning 10002 clauses out of 20017 with flag 835003/1259261
69.01/67.93	c cleaning 10003 clauses out of 20013 with flag 845001/1269259
69.51/68.43	c cleaning 9998 clauses out of 20009 with flag 855000/1279258
70.01/68.94	c cleaning 10001 clauses out of 20012 with flag 865001/1289259
70.51/69.43	c cleaning 10000 clauses out of 20012 with flag 875002/1299260
71.01/69.92	c cleaning 9993 clauses out of 20010 with flag 885000/1309258
71.52/70.42	c cleaning 10004 clauses out of 20019 with flag 895002/1319260
72.02/70.94	c cleaning 9990 clauses out of 20013 with flag 905000/1329258
72.52/71.44	c cleaning 10005 clauses out of 20025 with flag 915002/1339260
73.02/71.95	c cleaning 10003 clauses out of 20018 with flag 925000/1349258
73.52/72.46	c cleaning 10000 clauses out of 20016 with flag 935001/1359259
74.02/72.97	c cleaning 10004 clauses out of 20016 with flag 945001/1369259
74.52/73.44	c cleaning 9998 clauses out of 20014 with flag 955003/1379261
75.02/73.97	c cleaning 9999 clauses out of 20013 with flag 965000/1389258
75.52/74.49	c cleaning 10001 clauses out of 20014 with flag 975000/1399258
76.02/74.99	c cleaning 9998 clauses out of 20013 with flag 985000/1409258
76.53/75.47	c cleaning 9998 clauses out of 20015 with flag 995000/1419258
77.03/75.92	c cleaning 10002 clauses out of 20017 with flag 1005000/1429258
77.53/76.45	c cleaning 10001 clauses out of 20015 with flag 1015000/1439258
78.04/76.96	c cleaning 10004 clauses out of 20016 with flag 1025002/1449260
78.53/77.43	c cleaning 9998 clauses out of 20012 with flag 1035002/1459260
78.73/77.61	c Got one! Elapsed wall clock time (in seconds):77.504
78.73/77.61	o 6
78.73/77.67	c cleaning 7543 clauses out of 15092 with flag 1004/1464338
79.14/78.02	c cleaning 6770 clauses out of 13546 with flag 7001/1470335
79.43/78.36	c cleaning 6883 clauses out of 13776 with flag 14001/1477335
79.83/78.75	c cleaning 7439 clauses out of 14892 with flag 22000/1485334
80.24/79.17	c cleaning 8223 clauses out of 16453 with flag 31000/1494334
80.83/79.70	c cleaning 9111 clauses out of 18230 with flag 41000/1504334
81.23/80.20	c cleaning 9557 clauses out of 19120 with flag 51001/1514335
81.74/80.70	c cleaning 9773 clauses out of 19562 with flag 61000/1524334
82.34/81.24	c cleaning 9892 clauses out of 19791 with flag 71002/1534336
82.84/81.74	c cleaning 9942 clauses out of 19897 with flag 81000/1544334
83.34/82.27	c cleaning 9970 clauses out of 19957 with flag 91002/1554336
83.84/82.78	c cleaning 9985 clauses out of 19985 with flag 101000/1564334
84.44/83.32	c cleaning 9994 clauses out of 20000 with flag 111000/1574334
84.94/83.85	c cleaning 9998 clauses out of 20009 with flag 121003/1584337
85.45/84.34	c cleaning 9993 clauses out of 20009 with flag 131001/1594335
85.95/84.84	c cleaning 10002 clauses out of 20015 with flag 141000/1604334
86.45/85.33	c cleaning 10002 clauses out of 20013 with flag 151000/1614334
86.95/85.80	c cleaning 10003 clauses out of 20011 with flag 161000/1624334
87.35/86.25	c cleaning 10001 clauses out of 20008 with flag 171000/1634334
87.85/86.73	c cleaning 9999 clauses out of 20007 with flag 181000/1644334
88.35/87.22	c cleaning 9996 clauses out of 20009 with flag 191001/1654335
88.75/87.68	c cleaning 10001 clauses out of 20013 with flag 201001/1664335
89.25/88.13	c cleaning 10002 clauses out of 20014 with flag 211003/1674337
89.75/88.66	c cleaning 10002 clauses out of 20011 with flag 221002/1684336
90.26/89.14	c cleaning 9997 clauses out of 20009 with flag 231002/1694336
90.76/89.61	c cleaning 9999 clauses out of 20010 with flag 241000/1704334
91.16/90.09	c cleaning 9998 clauses out of 20012 with flag 251001/1714335
91.66/90.57	c cleaning 10001 clauses out of 20014 with flag 261001/1724335
92.16/91.01	c cleaning 9999 clauses out of 20013 with flag 271001/1734335
92.56/91.48	c cleaning 9992 clauses out of 20013 with flag 281000/1744334
93.06/91.96	c cleaning 10006 clauses out of 20023 with flag 291002/1754336
93.47/92.40	c cleaning 9999 clauses out of 20015 with flag 301000/1764334
93.96/92.87	c cleaning 10005 clauses out of 20019 with flag 311003/1774337
94.46/93.32	c cleaning 9998 clauses out of 20014 with flag 321003/1784337
94.86/93.79	c cleaning 10000 clauses out of 20013 with flag 331000/1794334
95.36/94.27	c cleaning 10000 clauses out of 20013 with flag 341000/1804334
95.86/94.76	c cleaning 10002 clauses out of 20013 with flag 351000/1814334
96.37/95.27	c cleaning 10000 clauses out of 20011 with flag 361000/1824334
96.88/95.79	c cleaning 10001 clauses out of 20011 with flag 371000/1834334
97.38/96.28	c cleaning 9996 clauses out of 20011 with flag 381001/1844335
97.88/96.79	c cleaning 10004 clauses out of 20015 with flag 391001/1854335
98.38/97.27	c cleaning 9999 clauses out of 20011 with flag 401001/1864335
98.88/97.77	c cleaning 9997 clauses out of 20013 with flag 411002/1874336
99.38/98.24	c cleaning 10002 clauses out of 20014 with flag 421000/1884334
99.88/98.76	c cleaning 10000 clauses out of 20012 with flag 431000/1894334
100.38/99.27	c cleaning 9996 clauses out of 20012 with flag 441000/1904334
100.98/99.82	c cleaning 10002 clauses out of 20017 with flag 451001/1914335
101.48/100.34	c cleaning 10002 clauses out of 20015 with flag 461001/1924335
101.99/100.80	c cleaning 10001 clauses out of 20014 with flag 471002/1934336
102.39/101.27	c cleaning 9999 clauses out of 20011 with flag 481000/1944334
102.99/101.81	c cleaning 9990 clauses out of 20013 with flag 491001/1954335
103.49/102.32	c cleaning 10006 clauses out of 20022 with flag 501000/1964334
103.99/102.84	c cleaning 10002 clauses out of 20017 with flag 511001/1974335
104.50/103.32	c cleaning 9999 clauses out of 20014 with flag 521000/1984334
104.99/103.86	c cleaning 9997 clauses out of 20015 with flag 531000/1994334
105.50/104.40	c cleaning 9999 clauses out of 20018 with flag 541000/2004334
106.00/104.90	c cleaning 10005 clauses out of 20019 with flag 551000/2014334
106.60/105.44	c cleaning 9998 clauses out of 20014 with flag 561000/2024334
107.20/106.00	c cleaning 10002 clauses out of 20017 with flag 571001/2034335
107.70/106.53	c cleaning 10000 clauses out of 20016 with flag 581002/2044336
108.20/107.06	c cleaning 10003 clauses out of 20017 with flag 591003/2054337
108.70/107.52	c cleaning 10000 clauses out of 20012 with flag 601001/2064335
109.20/108.00	c cleaning 10000 clauses out of 20012 with flag 611001/2074335
109.60/108.44	c cleaning 10000 clauses out of 20013 with flag 621002/2084336
110.11/108.94	c cleaning 9998 clauses out of 20011 with flag 631000/2094334
110.61/109.44	c cleaning 10000 clauses out of 20013 with flag 641000/2104334
111.11/109.93	c cleaning 9998 clauses out of 20013 with flag 651000/2114334
111.61/110.46	c cleaning 10003 clauses out of 20015 with flag 661000/2124334
112.11/110.98	c cleaning 10000 clauses out of 20016 with flag 671004/2134338
112.71/111.52	c cleaning 9991 clauses out of 20012 with flag 681000/2144334
113.22/112.04	c cleaning 10006 clauses out of 20023 with flag 691002/2154336
113.72/112.55	c cleaning 10004 clauses out of 20015 with flag 701000/2164334
114.22/113.02	c cleaning 10000 clauses out of 20013 with flag 711002/2174336
114.72/113.50	c cleaning 9999 clauses out of 20012 with flag 721001/2184335
115.12/113.98	c cleaning 9998 clauses out of 20013 with flag 731001/2194335
115.62/114.45	c cleaning 10000 clauses out of 20014 with flag 741000/2204334
116.12/114.93	c cleaning 10001 clauses out of 20015 with flag 751001/2214335
116.63/115.47	c cleaning 10000 clauses out of 20013 with flag 761000/2224334
117.12/115.96	c cleaning 10003 clauses out of 20014 with flag 771001/2234335
117.62/116.45	c cleaning 9997 clauses out of 20010 with flag 781000/2244334
118.12/116.95	c cleaning 10000 clauses out of 20013 with flag 791000/2254334
118.62/117.47	c cleaning 10003 clauses out of 20016 with flag 801003/2264337
119.12/117.96	c cleaning 10002 clauses out of 20010 with flag 811000/2274334
119.73/118.51	c cleaning 9997 clauses out of 20008 with flag 821000/2284334
120.23/119.05	c cleaning 10000 clauses out of 20011 with flag 831000/2294334
120.83/119.60	c cleaning 10003 clauses out of 20011 with flag 841000/2304334
121.33/120.17	c cleaning 9998 clauses out of 20008 with flag 851000/2314334
121.83/120.70	c cleaning 9999 clauses out of 20010 with flag 861000/2324334
122.33/121.19	c cleaning 10001 clauses out of 20012 with flag 871001/2334335
122.93/121.78	c cleaning 9998 clauses out of 20011 with flag 881001/2344335
123.53/122.31	c cleaning 10003 clauses out of 20016 with flag 891004/2354338
124.03/122.82	c cleaning 10001 clauses out of 20010 with flag 901001/2364335
124.64/123.41	c cleaning 9996 clauses out of 20008 with flag 911000/2374334
125.14/123.93	c cleaning 10003 clauses out of 20014 with flag 921002/2384336
125.64/124.46	c cleaning 10001 clauses out of 20012 with flag 931003/2394337
126.24/125.02	c cleaning 9999 clauses out of 20009 with flag 941001/2404335
126.74/125.59	c cleaning 10001 clauses out of 20009 with flag 951000/2414334
127.34/126.19	c cleaning 9999 clauses out of 20013 with flag 961005/2424339
128.04/126.86	c cleaning 9998 clauses out of 20011 with flag 971002/2434336
128.65/127.47	c cleaning 10001 clauses out of 20011 with flag 981000/2444334
129.25/128.06	c cleaning 10001 clauses out of 20010 with flag 991000/2454334
129.86/128.65	c cleaning 9999 clauses out of 20009 with flag 1001000/2464334
130.46/129.21	c cleaning 10001 clauses out of 20012 with flag 1011002/2474336
130.96/129.76	c cleaning 9999 clauses out of 20009 with flag 1021000/2484334
131.56/130.34	c cleaning 9999 clauses out of 20013 with flag 1031003/2494337
132.17/130.91	c cleaning 9995 clauses out of 20011 with flag 1041000/2504334
132.66/131.49	c cleaning 10003 clauses out of 20016 with flag 1051000/2514334
133.27/132.02	c cleaning 9994 clauses out of 20013 with flag 1061000/2524334
133.76/132.59	c cleaning 10006 clauses out of 20019 with flag 1071000/2534334
134.37/133.17	c cleaning 10001 clauses out of 20013 with flag 1081000/2544334
134.97/133.71	c cleaning 10003 clauses out of 20013 with flag 1091001/2554335
135.48/134.26	c cleaning 9998 clauses out of 20009 with flag 1101000/2564334
135.97/134.79	c cleaning 9997 clauses out of 20011 with flag 1111000/2574334
136.58/135.35	c cleaning 10002 clauses out of 20014 with flag 1121000/2584334
137.07/135.88	c cleaning 10001 clauses out of 20014 with flag 1131002/2594336
137.68/136.42	c cleaning 10003 clauses out of 20013 with flag 1141002/2604336
138.17/136.96	c cleaning 10000 clauses out of 20011 with flag 1151003/2614337
138.68/137.49	c cleaning 9997 clauses out of 20010 with flag 1161002/2624336
139.27/138.05	c cleaning 10003 clauses out of 20012 with flag 1171001/2634335
139.78/138.58	c cleaning 9998 clauses out of 20008 with flag 1181000/2644334
140.38/139.12	c cleaning 10001 clauses out of 20010 with flag 1191000/2654334
140.88/139.68	c cleaning 10000 clauses out of 20009 with flag 1201000/2664334
141.48/140.26	c cleaning 9991 clauses out of 20009 with flag 1211000/2674334
142.08/140.83	c cleaning 10001 clauses out of 20018 with flag 1221000/2684334
142.58/141.37	c cleaning 10006 clauses out of 20019 with flag 1231002/2694336
143.19/141.91	c cleaning 9993 clauses out of 20011 with flag 1241000/2704334
143.68/142.48	c cleaning 10002 clauses out of 20018 with flag 1251000/2714334
144.29/143.03	c cleaning 9998 clauses out of 20016 with flag 1261000/2724334
144.78/143.55	c cleaning 10004 clauses out of 20019 with flag 1271001/2734335
145.39/144.12	c cleaning 10001 clauses out of 20015 with flag 1281001/2744335
145.88/144.63	c cleaning 9999 clauses out of 20013 with flag 1291000/2754334
146.49/145.21	c cleaning 9998 clauses out of 20015 with flag 1301001/2764335
146.98/145.77	c cleaning 10003 clauses out of 20016 with flag 1311000/2774334
147.59/146.37	c cleaning 10003 clauses out of 20018 with flag 1321005/2784339
148.09/146.90	c cleaning 9998 clauses out of 20010 with flag 1331000/2794334
148.69/147.45	c cleaning 9995 clauses out of 20012 with flag 1341000/2804334
149.29/148.05	c cleaning 10000 clauses out of 20018 with flag 1351001/2814335
149.90/148.63	c cleaning 9999 clauses out of 20019 with flag 1361002/2824336
150.40/149.19	c cleaning 10005 clauses out of 20018 with flag 1371000/2834334
151.01/149.73	c cleaning 10002 clauses out of 20015 with flag 1381002/2844336
151.51/150.23	c cleaning 10001 clauses out of 20013 with flag 1391002/2854336
152.11/150.83	c cleaning 9995 clauses out of 20010 with flag 1401000/2864334
152.71/151.40	c cleaning 10000 clauses out of 20015 with flag 1411000/2874334
153.21/151.96	c cleaning 9995 clauses out of 20015 with flag 1421000/2884334
153.81/152.54	c cleaning 10003 clauses out of 20020 with flag 1431000/2894334
154.31/153.08	c cleaning 10008 clauses out of 20023 with flag 1441006/2904340
154.91/153.68	c cleaning 9995 clauses out of 20011 with flag 1451002/2914336
155.51/154.22	c cleaning 9995 clauses out of 20014 with flag 1461000/2924334
156.02/154.75	c cleaning 10000 clauses out of 20019 with flag 1471000/2934334
156.52/155.28	c cleaning 10001 clauses out of 20019 with flag 1481000/2944334
157.12/155.81	c cleaning 10001 clauses out of 20019 with flag 1491001/2954335
157.62/156.37	c cleaning 10006 clauses out of 20018 with flag 1501001/2964335
158.22/156.95	c cleaning 9999 clauses out of 20012 with flag 1511001/2974335
158.82/157.52	c cleaning 9994 clauses out of 20012 with flag 1521000/2984334
159.32/158.05	c cleaning 10002 clauses out of 20018 with flag 1531000/2994334
159.82/158.55	c cleaning 10004 clauses out of 20016 with flag 1541000/3004334
160.32/159.09	c cleaning 10002 clauses out of 20014 with flag 1551002/3014336
160.93/159.65	c cleaning 9997 clauses out of 20011 with flag 1561001/3024335
161.53/160.21	c cleaning 10002 clauses out of 20014 with flag 1571001/3034335
162.03/160.77	c cleaning 10001 clauses out of 20012 with flag 1581001/3044335
162.63/161.36	c cleaning 9989 clauses out of 20010 with flag 1591000/3054334
163.23/161.99	c cleaning 10003 clauses out of 20022 with flag 1601001/3064335
163.83/162.52	c cleaning 10005 clauses out of 20018 with flag 1611000/3074334
164.33/163.06	c cleaning 10004 clauses out of 20013 with flag 1621000/3084334
164.83/163.59	c cleaning 10000 clauses out of 20009 with flag 1631000/3094334
165.33/164.09	c cleaning 9998 clauses out of 20009 with flag 1641000/3104334
165.83/164.57	c cleaning 9999 clauses out of 20012 with flag 1651001/3114335
166.34/165.07	c cleaning 10002 clauses out of 20012 with flag 1661000/3124334
166.83/165.58	c cleaning 9996 clauses out of 20012 with flag 1671002/3134336
167.34/166.09	c cleaning 9998 clauses out of 20014 with flag 1681000/3144334
167.93/166.62	c cleaning 10006 clauses out of 20021 with flag 1691005/3154339
168.44/167.15	c cleaning 10000 clauses out of 20010 with flag 1701000/3164334
168.93/167.66	c cleaning 10003 clauses out of 20015 with flag 1711005/3174339
169.43/168.16	c cleaning 9998 clauses out of 20007 with flag 1721000/3184334
169.94/168.68	c cleaning 9997 clauses out of 20010 with flag 1731001/3194335
170.54/169.23	c cleaning 10001 clauses out of 20014 with flag 1741002/3204336
171.04/169.78	c cleaning 9999 clauses out of 20011 with flag 1751000/3214334
171.63/170.31	c cleaning 10000 clauses out of 20013 with flag 1761001/3224335
172.14/170.83	c cleaning 10002 clauses out of 20012 with flag 1771000/3234334
172.64/171.39	c cleaning 9999 clauses out of 20010 with flag 1781000/3244334
173.13/171.88	c cleaning 10000 clauses out of 20013 with flag 1791002/3254336
173.64/172.37	c cleaning 10002 clauses out of 20013 with flag 1801002/3264336
174.14/172.88	c cleaning 9998 clauses out of 20010 with flag 1811001/3274335
174.64/173.33	c cleaning 10000 clauses out of 20013 with flag 1821002/3284336
175.05/173.78	c cleaning 10001 clauses out of 20011 with flag 1831000/3294334
175.54/174.22	c cleaning 9997 clauses out of 20012 with flag 1841002/3304336
175.94/174.70	c cleaning 9998 clauses out of 20014 with flag 1851001/3314335
176.44/175.18	c cleaning 9998 clauses out of 20016 with flag 1861001/3324335
176.94/175.66	c cleaning 10003 clauses out of 20018 with flag 1871001/3334335
177.45/176.17	c cleaning 9997 clauses out of 20014 with flag 1881000/3344334
177.95/176.65	c cleaning 10003 clauses out of 20018 with flag 1891001/3354335
178.45/177.14	c cleaning 10001 clauses out of 20014 with flag 1901000/3364334
178.85/177.59	c cleaning 9997 clauses out of 20013 with flag 1911000/3374334
179.35/178.05	c cleaning 10000 clauses out of 20016 with flag 1921000/3384334
179.85/178.55	c cleaning 10003 clauses out of 20019 with flag 1931003/3394337
180.35/179.02	c cleaning 9999 clauses out of 20014 with flag 1941001/3404335
180.75/179.49	c cleaning 9998 clauses out of 20014 with flag 1951000/3414334
181.25/179.97	c cleaning 10001 clauses out of 20017 with flag 1961001/3424335
181.76/180.42	c cleaning 10002 clauses out of 20017 with flag 1971002/3434336
182.16/180.89	c cleaning 9999 clauses out of 20013 with flag 1981000/3444334
182.66/181.39	c cleaning 10002 clauses out of 20016 with flag 1991002/3454336
183.26/181.91	c cleaning 9999 clauses out of 20012 with flag 2001000/3464334
183.76/182.42	c cleaning 10001 clauses out of 20013 with flag 2011000/3474334
184.26/182.92	c cleaning 9996 clauses out of 20012 with flag 2021000/3484334
184.76/183.46	c cleaning 10002 clauses out of 20016 with flag 2031000/3494334
185.26/183.97	c cleaning 10003 clauses out of 20015 with flag 2041001/3504335
185.76/184.43	c cleaning 10000 clauses out of 20011 with flag 2051000/3514334
186.17/184.88	c cleaning 10000 clauses out of 20013 with flag 2061002/3524336
186.67/185.37	c cleaning 9995 clauses out of 20011 with flag 2071000/3534334
187.17/185.85	c cleaning 10004 clauses out of 20016 with flag 2081000/3544334
187.67/186.32	c cleaning 9999 clauses out of 20014 with flag 2091002/3554336
188.18/186.81	c cleaning 10000 clauses out of 20013 with flag 2101000/3564334
188.58/187.28	c cleaning 10001 clauses out of 20013 with flag 2111000/3574334
189.08/187.76	c cleaning 10002 clauses out of 20015 with flag 2121003/3584337
189.58/188.27	c cleaning 9998 clauses out of 20011 with flag 2131001/3594335
190.08/188.76	c cleaning 10000 clauses out of 20013 with flag 2141001/3604335
190.59/189.22	c cleaning 9998 clauses out of 20012 with flag 2151000/3614334
190.99/189.69	c cleaning 10004 clauses out of 20016 with flag 2161002/3624336
191.49/190.19	c cleaning 10001 clauses out of 20011 with flag 2171001/3634335
191.99/190.68	c cleaning 9993 clauses out of 20009 with flag 2181000/3644334
192.49/191.14	c cleaning 10002 clauses out of 20017 with flag 2191001/3654335
192.99/191.62	c cleaning 10001 clauses out of 20014 with flag 2201000/3664334
193.49/192.17	c cleaning 9990 clauses out of 20013 with flag 2211000/3674334
194.09/192.72	c cleaning 10001 clauses out of 20028 with flag 2221005/3684339
194.59/193.24	c cleaning 9999 clauses out of 20022 with flag 2231000/3694334
195.09/193.74	c cleaning 9998 clauses out of 20023 with flag 2241000/3704334
195.59/194.25	c cleaning 10000 clauses out of 20026 with flag 2251001/3714335
196.10/194.77	c cleaning 9998 clauses out of 20027 with flag 2261002/3724336
196.69/195.30	c cleaning 10008 clauses out of 20028 with flag 2271001/3734335
197.20/195.81	c cleaning 10001 clauses out of 20019 with flag 2281000/3744334
197.59/196.28	c cleaning 10006 clauses out of 20022 with flag 2291004/3754338
198.10/196.78	c cleaning 10000 clauses out of 20013 with flag 2301001/3764335
198.60/197.25	c cleaning 10004 clauses out of 20013 with flag 2311001/3774335
199.10/197.77	c cleaning 9994 clauses out of 20008 with flag 2321000/3784334
199.60/198.28	c cleaning 10003 clauses out of 20015 with flag 2331001/3794335
200.20/198.82	c cleaning 9999 clauses out of 20011 with flag 2341000/3804334
200.60/199.29	c cleaning 9994 clauses out of 20016 with flag 2351004/3814338
201.20/199.81	c cleaning 9998 clauses out of 20018 with flag 2361000/3824334
201.70/200.38	c cleaning 10004 clauses out of 20022 with flag 2371002/3834336
202.30/200.96	c cleaning 9997 clauses out of 20019 with flag 2381003/3844337
202.80/201.46	c cleaning 9998 clauses out of 20021 with flag 2391002/3854336
203.50/202.10	c cleaning 10002 clauses out of 20021 with flag 2401000/3864334
204.00/202.63	c cleaning 10007 clauses out of 20020 with flag 2411001/3874335
204.50/203.18	c cleaning 9994 clauses out of 20012 with flag 2421000/3884334
205.00/203.69	c cleaning 10004 clauses out of 20018 with flag 2431000/3894334
205.50/204.19	c cleaning 10002 clauses out of 20014 with flag 2441000/3904334
206.10/204.71	c cleaning 9998 clauses out of 20012 with flag 2451000/3914334
206.61/205.21	c cleaning 9998 clauses out of 20016 with flag 2461002/3924336
207.12/205.73	c cleaning 10001 clauses out of 20018 with flag 2471002/3934336
207.61/206.23	c cleaning 9997 clauses out of 20015 with flag 2481000/3944334
208.01/206.69	c cleaning 10005 clauses out of 20019 with flag 2491001/3954335
208.52/207.19	c cleaning 10001 clauses out of 20015 with flag 2501002/3964336
209.02/207.65	c cleaning 9996 clauses out of 20014 with flag 2511002/3974336
209.42/208.09	c cleaning 10003 clauses out of 20016 with flag 2521000/3984334
209.92/208.57	c cleaning 9999 clauses out of 20014 with flag 2531001/3994335
210.52/209.10	c cleaning 10000 clauses out of 20014 with flag 2541000/4004334
210.92/209.57	c cleaning 10001 clauses out of 20015 with flag 2551001/4014335
211.43/210.07	c cleaning 10003 clauses out of 20014 with flag 2561001/4024335
211.92/210.55	c cleaning 9999 clauses out of 20010 with flag 2571000/4034334
212.42/211.00	c cleaning 10000 clauses out of 20011 with flag 2581000/4044334
212.92/211.50	c cleaning 10003 clauses out of 20012 with flag 2591001/4054335
213.32/211.97	c cleaning 9990 clauses out of 20010 with flag 2601002/4064336
213.92/212.50	c cleaning 9997 clauses out of 20018 with flag 2611000/4074334
214.43/213.02	c cleaning 10006 clauses out of 20021 with flag 2621000/4084334
214.93/213.50	c cleaning 9997 clauses out of 20015 with flag 2631000/4094334
215.43/214.01	c cleaning 10002 clauses out of 20018 with flag 2641000/4104334
215.94/214.54	c cleaning 9994 clauses out of 20016 with flag 2651000/4114334
216.43/215.02	c cleaning 9997 clauses out of 20022 with flag 2661000/4124334
216.83/215.48	c cleaning 10009 clauses out of 20028 with flag 2671003/4134337
217.33/215.98	c cleaning 9997 clauses out of 20016 with flag 2681000/4144334
217.93/216.51	c cleaning 10000 clauses out of 20019 with flag 2691000/4154334
218.33/216.98	c cleaning 9999 clauses out of 20019 with flag 2701000/4164334
218.93/217.50	c cleaning 10001 clauses out of 20020 with flag 2711000/4174334
219.33/217.98	c cleaning 10000 clauses out of 20019 with flag 2721000/4184334
219.94/218.55	c cleaning 10000 clauses out of 20020 with flag 2731001/4194335
220.54/219.14	c cleaning 10006 clauses out of 20021 with flag 2741002/4204336
221.17/219.72	c cleaning 10002 clauses out of 20014 with flag 2751001/4214335
221.67/220.26	c cleaning 10000 clauses out of 20012 with flag 2761001/4224335
222.18/220.73	c cleaning 10002 clauses out of 20011 with flag 2771000/4234334
222.68/221.20	c cleaning 10000 clauses out of 20011 with flag 2781002/4244336
223.08/221.66	c cleaning 9997 clauses out of 20009 with flag 2791000/4254334
223.59/222.16	c cleaning 10002 clauses out of 20012 with flag 2801000/4264334
224.08/222.69	c cleaning 9996 clauses out of 20011 with flag 2811001/4274335
224.69/223.21	c cleaning 10003 clauses out of 20020 with flag 2821006/4284340
225.18/223.80	c cleaning 10002 clauses out of 20012 with flag 2831001/4294335
225.79/224.36	c cleaning 9991 clauses out of 20010 with flag 2841001/4304335
226.39/224.95	c cleaning 10004 clauses out of 20019 with flag 2851001/4314335
226.89/225.44	c cleaning 10000 clauses out of 20014 with flag 2861000/4324334
227.39/225.94	c cleaning 9998 clauses out of 20014 with flag 2871000/4334334
227.89/226.50	c cleaning 10003 clauses out of 20015 with flag 2881000/4344334
228.60/227.18	c cleaning 10003 clauses out of 20012 with flag 2891000/4354334
228.80/227.30	c starts		: 291
228.80/227.30	c conflicts		: 4356302
228.80/227.30	c decisions		: 6822179
228.80/227.30	c propagations		: 236213813
228.80/227.30	c inspects		: 2150452003
228.80/227.30	c shortcuts		: 0
228.80/227.30	c learnt literals	: 5
228.80/227.30	c learnt binary clauses	: 28
228.80/227.30	c learnt ternary clauses	: 893
228.80/227.30	c learnt constraints	: 4356296
228.80/227.30	c ignored constraints	: 0
228.80/227.30	c root simplifications	: 0
228.80/227.30	c removed literals (reason simplification)	: 20401423
228.80/227.30	c reason swapping (by a shorter reason)	: 0
228.80/227.30	c Calls to reduceDB	: 446
228.80/227.30	c number of reductions to clauses (during analyze)	: 0
228.80/227.30	c number of learned constraints concerned by reduction	: 0
228.80/227.30	c number of learning phase by resolution	: 0
228.80/227.30	c number of learning phase by cutting planes	: 0
228.80/227.30	c speed (assignments/second)	: 1578041.07877719
228.80/227.30	c non guided choices	5263
228.80/227.30	c learnt constraints type 
228.80/227.30	c constraints type 
228.80/227.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2610
228.80/227.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 9
228.80/227.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 74
228.80/227.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
228.80/227.30	s OPTIMUM FOUND
228.80/227.30	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 
228.80/227.30	c objective function=6
228.80/227.30	c Total wall clock time (in seconds): 227.193

Verifier Data 

OK	6

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.03 2.00 2/195 23123
/proc/meminfo: memFree=3265952/32951124 swapFree=67054520/67111528
[pid=23123] ppid=23121 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/23123/stat : 23123 (java) R 23121 23123 20310 0 -1 4202496 952 0 0 0 0 0 0 0 25 0 1 0 902666403 23580672 695 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210199684584 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23123/statm: 5757 696 512 9 0 124 0

[startup+0.0468629 s]
/proc/loadavg: 2.01 2.03 2.00 2/195 23123
/proc/meminfo: memFree=3265952/32951124 swapFree=67054520/67111528
[pid=23123] ppid=23121 vsize=10467480 CPUtime=0.04 cores=0,2,4,6
/proc/23123/stat : 23123 (java) S 23121 23123 20310 0 -1 4202496 11311 0 1 0 2 2 0 0 25 0 13 0 902666403 10718699520 11007 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/23123/statm: 2616870 11008 1675 9 0 2607618 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467480

[startup+0.100848 s]
/proc/loadavg: 2.01 2.03 2.00 2/195 23123
/proc/meminfo: memFree=3265952/32951124 swapFree=67054520/67111528
[pid=23123] ppid=23121 vsize=10540276 CPUtime=0.1 cores=0,2,4,6
/proc/23123/stat : 23123 (java) S 23121 23123 20310 0 -1 4202496 13084 0 1 0 8 2 0 0 25 0 18 0 902666403 10793242624 12762 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23123/statm: 2635069 12763 2093 9 0 2625803 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540276

[startup+0.300812 s]
/proc/loadavg: 2.01 2.03 2.00 2/195 23123
/proc/meminfo: memFree=3265952/32951124 swapFree=67054520/67111528
[pid=23123] ppid=23121 vsize=10542912 CPUtime=0.49 cores=0,2,4,6
/proc/23123/stat : 23123 (java) S 23121 23123 20310 0 -1 4202496 15954 0 1 0 47 2 0 0 25 0 18 0 902666403 10795941888 15383 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23123/statm: 2635728 15383 2202 9 0 2626462 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542912

[startup+0.700742 s]
/proc/loadavg: 2.01 2.03 2.00 2/195 23123
/proc/meminfo: memFree=3265952/32951124 swapFree=67054520/67111528
[pid=23123] ppid=23121 vsize=10544052 CPUtime=1.48 cores=0,2,4,6
/proc/23123/stat : 23123 (java) S 23121 23123 20310 0 -1 4202496 20092 0 1 0 145 3 0 0 25 0 19 0 902666403 10797109248 18071 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23123/statm: 2636013 18071 2227 9 0 2626747 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10544052

[startup+1.50063 s]
/proc/loadavg: 2.01 2.03 2.00 3/214 23142
/proc/meminfo: memFree=3198052/32951124 swapFree=67054520/67111528
[pid=23123] ppid=23121 vsize=10544052 CPUtime=2.29 cores=0,2,4,6
/proc/23123/stat : 23123 (java) S 23121 23123 20310 0 -1 4202496 22006 0 1 0 226 3 0 0 25 0 19 0 902666403 10797109248 19983 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23123/statm: 2636013 19983 2230 9 0 2626747 0
[pid=23123/tid=23125] ppid=23121 vsize=10544052 CPUtime=1.48 cores=0,2,4,6
/proc/23123/task/23125/stat : 23125 (java) R 23121 23123 20310 0 -1 4202560 16836 0 1 0 146 2 0 0 18 0 19 0 902666403 10797109248 19983 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 46912505641056 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23123/tid=23126] ppid=23121 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23126/stat : 23126 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666405 10797109248 19983 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23127] ppid=23121 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23127/stat : 23127 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666405 10797109248 19983 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23128] ppid=23121 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23128/stat : 23128 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666405 10797109248 19983 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23129] ppid=23121 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23129/stat : 23129 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666405 10797109248 19983 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23130] ppid=23121 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23130/stat : 23130 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666405 10797109248 19983 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23131] ppid=23121 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23131/stat : 23131 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666405 10797109248 19983 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23132] ppid=23121 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23132/stat : 23132 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666405 10797109248 19983 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23133] ppid=23121 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23133/stat : 23133 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666405 10797109248 19983 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23134] ppid=23121 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23134/stat : 23134 (java) S 23121 23123 20310 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 902666406 10797109248 19983 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 0 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23135] ppid=23121 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23135/stat : 23135 (java) S 23121 23123 20310 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902666406 10797109248 19983 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23136] ppid=23121 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23136/stat : 23136 (java) S 23121 23123 20310 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902666406 10797109248 19983 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23137] ppid=23121 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23137/stat : 23137 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666409 10797109248 19983 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216470961 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23138] ppid=23121 vsize=10544052 CPUtime=0.39 cores=0,2,4,6
/proc/23123/task/23138/stat : 23138 (java) S 23121 23123 20310 0 -1 4202560 1962 0 0 0 39 0 0 0 15 0 19 0 902666409 10797109248 19983 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23139] ppid=23121 vsize=10544052 CPUtime=0.4 cores=0,2,4,6
/proc/23123/task/23139/stat : 23139 (java) S 23121 23123 20310 0 -1 4202560 2047 0 0 0 40 0 0 0 15 0 19 0 902666409 10797109248 19983 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23140] ppid=23121 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23140/stat : 23140 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666409 10797109248 19983 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23141] ppid=23121 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23141/stat : 23141 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902666409 10797109248 19983 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23142] ppid=23121 vsize=10544052 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23142/stat : 23142 (java) S 23121 23123 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902666436 10797109248 19983 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 4 0 16800975 18446604446600349504 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10544052

[startup+3.10131 s]
/proc/loadavg: 2.01 2.03 2.00 3/214 23142
/proc/meminfo: memFree=3192224/32951124 swapFree=67054520/67111528
[pid=23123] ppid=23121 vsize=10544680 CPUtime=3.96 cores=0,2,4,6
/proc/23123/stat : 23123 (java) S 23121 23123 20310 0 -1 4202496 24601 0 1 0 393 3 0 0 25 0 19 0 902666403 10797752320 22571 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23123/statm: 2636170 22571 2255 9 0 2626904 0
[pid=23123/tid=23125] ppid=23121 vsize=10544680 CPUtime=3.06 cores=0,2,4,6
/proc/23123/task/23125/stat : 23125 (java) R 23121 23123 20310 0 -1 4202560 17816 0 1 0 304 2 0 0 20 0 19 0 902666403 10797752320 22571 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 46912505780333 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=23123/tid=23126] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23126/stat : 23126 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902666405 10797752320 22571 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23127] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23127/stat : 23127 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902666405 10797752320 22571 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23128] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23128/stat : 23128 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902666405 10797752320 22571 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23129] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23129/stat : 23129 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902666405 10797752320 22571 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23130] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23130/stat : 23130 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902666405 10797752320 22571 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23131] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23131/stat : 23131 (java) S 23121 23123 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902666405 10797752320 22571 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23132] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23132/stat : 23132 (java) S 23121 23123 20310 0 -1 4202560 357 0 0 0 0 0 0 0 18 0 19 0 902666405 10797752320 22571 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23133] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23133/stat : 23133 (java) S 23121 23123 20310 0 -1 4202560 389 0 0 0 0 0 0 0 18 0 19 0 902666405 10797752320 22571 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23134] ppid=23121 vsize=10544680 CPUtime=0.01 cores=0,2,4,6
/proc/23123/task/23134/stat : 23134 (java) S 23121 23123 20310 0 -1 4202560 750 0 0 0 1 0 0 0 16 0 19 0 902666406 10797752320 22571 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 0 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23135] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23135/stat : 23135 (java) S 23121 23123 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902666406 10797752320 22571 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23136] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23136/stat : 23136 (java) S 23121 23123 20310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902666406 10797752320 22571 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23137] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23137/stat : 23137 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666409 10797752320 22571 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216470961 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23138] ppid=23121 vsize=10544680 CPUtime=0.41 cores=0,2,4,6
/proc/23123/task/23138/stat : 23138 (java) S 23121 23123 20310 0 -1 4202560 1968 0 0 0 41 0 0 0 15 0 19 0 902666409 10797752320 22571 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23139] ppid=23121 vsize=10544680 CPUtime=0.45 cores=0,2,4,6
/proc/23123/task/23139/stat : 23139 (java) S 23121 23123 20310 0 -1 4202560 2155 0 0 0 45 0 0 0 15 0 19 0 902666409 10797752320 22571 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23140] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23140/stat : 23140 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666409 10797752320 22571 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23141] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23141/stat : 23141 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902666409 10797752320 22571 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23142] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23142/stat : 23142 (java) S 23121 23123 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902666436 10797752320 22571 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 4 0 16800975 18446604446600349504 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 10544680

[startup+6.30083 s]
/proc/loadavg: 2.01 2.03 2.00 3/214 23143
/proc/meminfo: memFree=3179204/32951124 swapFree=67054520/67111528
[pid=23123] ppid=23121 vsize=10544680 CPUtime=7.22 cores=0,2,4,6
/proc/23123/stat : 23123 (java) S 23121 23123 20310 0 -1 4202496 26128 0 1 0 718 4 0 0 25 0 19 0 902666403 10797752320 23497 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23123/statm: 2636170 23497 2255 9 0 2626904 0
[pid=23123/tid=23125] ppid=23121 vsize=10544680 CPUtime=6.18 cores=0,2,4,6
/proc/23123/task/23125/stat : 23125 (java) R 23121 23123 20310 0 -1 4202560 17821 0 1 0 616 2 0 0 25 0 19 0 902666403 10797752320 23497 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 46912505712792 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23123/tid=23126] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23126/stat : 23126 (java) S 23121 23123 20310 0 -1 4202560 303 0 0 0 0 0 0 0 15 0 19 0 902666405 10797752320 23497 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23127] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23127/stat : 23127 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 902666405 10797752320 23497 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23128] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23128/stat : 23128 (java) S 23121 23123 20310 0 -1 4202560 178 0 0 0 0 0 0 0 16 0 19 0 902666405 10797752320 23497 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23129] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23129/stat : 23129 (java) S 23121 23123 20310 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 902666405 10797752320 23497 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23130] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23130/stat : 23130 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902666405 10797752320 23497 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23131] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23131/stat : 23131 (java) S 23121 23123 20310 0 -1 4202560 199 0 0 0 0 0 0 0 16 0 19 0 902666405 10797752320 23497 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 6 0 0 0
[pid=23123/tid=23132] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23132/stat : 23132 (java) S 23121 23123 20310 0 -1 4202560 384 0 0 0 0 0 0 0 15 0 19 0 902666405 10797752320 23497 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 6 0 0 0
[pid=23123/tid=23133] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23133/stat : 23133 (java) S 23121 23123 20310 0 -1 4202560 397 0 0 0 0 0 0 0 15 0 19 0 902666405 10797752320 23497 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23134] ppid=23121 vsize=10544680 CPUtime=0.07 cores=0,2,4,6
/proc/23123/task/23134/stat : 23134 (java) S 23121 23123 20310 0 -1 4202560 1017 0 0 0 7 0 0 0 16 0 19 0 902666406 10797752320 23497 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 0 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23135] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23135/stat : 23135 (java) S 23121 23123 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902666406 10797752320 23497 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23136] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23136/stat : 23136 (java) S 23121 23123 20310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902666406 10797752320 23497 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23137] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23137/stat : 23137 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666409 10797752320 23497 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216470961 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23138] ppid=23121 vsize=10544680 CPUtime=0.41 cores=0,2,4,6
/proc/23123/task/23138/stat : 23138 (java) S 23121 23123 20310 0 -1 4202560 1968 0 0 0 41 0 0 0 15 0 19 0 902666409 10797752320 23497 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23139] ppid=23121 vsize=10544680 CPUtime=0.5 cores=0,2,4,6
/proc/23123/task/23139/stat : 23139 (java) S 23121 23123 20310 0 -1 4202560 2704 0 0 0 50 0 0 0 15 0 19 0 902666409 10797752320 23497 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23140] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23140/stat : 23140 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666409 10797752320 23497 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23141] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23141/stat : 23141 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902666409 10797752320 23497 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 4 0 16800975 18446604446600349504 0 0 -1 6 0 0 0
[pid=23123/tid=23142] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23142/stat : 23142 (java) S 23121 23123 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902666436 10797752320 23497 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 4 0 16800975 18446604446600349504 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (KiB) 10544680

[startup+12.7008 s]

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

/proc/23123/task/23126/stat : 23126 (java) S 23121 23123 20310 0 -1 4202560 316 0 0 0 15 0 0 0 15 0 19 0 902666405 10797752320 24191 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 6 0 0 0
[pid=23123/tid=23127] ppid=23121 vsize=10544680 CPUtime=0.15 cores=0,2,4,6
/proc/23123/task/23127/stat : 23127 (java) S 23121 23123 20310 0 -1 4202560 25 0 0 0 15 0 0 0 15 0 19 0 902666405 10797752320 24191 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 6 0 0 0
[pid=23123/tid=23128] ppid=23121 vsize=10544680 CPUtime=0.11 cores=0,2,4,6
/proc/23123/task/23128/stat : 23128 (java) S 23121 23123 20310 0 -1 4202560 190 0 0 0 11 0 0 0 15 0 19 0 902666405 10797752320 24191 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23129] ppid=23121 vsize=10544680 CPUtime=0.13 cores=0,2,4,6
/proc/23123/task/23129/stat : 23129 (java) S 23121 23123 20310 0 -1 4202560 18 0 0 0 13 0 0 0 15 0 19 0 902666405 10797752320 24191 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23130] ppid=23121 vsize=10544680 CPUtime=0.14 cores=0,2,4,6
/proc/23123/task/23130/stat : 23130 (java) S 23121 23123 20310 0 -1 4202560 12 0 0 0 14 0 0 0 15 0 19 0 902666405 10797752320 24191 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23131] ppid=23121 vsize=10544680 CPUtime=0.14 cores=0,2,4,6
/proc/23123/task/23131/stat : 23131 (java) S 23121 23123 20310 0 -1 4202560 212 0 0 0 14 0 0 0 16 0 19 0 902666405 10797752320 24191 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23132] ppid=23121 vsize=10544680 CPUtime=0.13 cores=0,2,4,6
/proc/23123/task/23132/stat : 23132 (java) S 23121 23123 20310 0 -1 4202560 393 0 0 0 13 0 0 0 15 0 19 0 902666405 10797752320 24191 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23133] ppid=23121 vsize=10544680 CPUtime=0.15 cores=0,2,4,6
/proc/23123/task/23133/stat : 23133 (java) S 23121 23123 20310 0 -1 4202560 408 0 0 0 15 0 0 0 16 0 19 0 902666405 10797752320 24191 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23134] ppid=23121 vsize=10544680 CPUtime=7.21 cores=0,2,4,6
/proc/23123/task/23134/stat : 23134 (java) S 23121 23123 20310 0 -1 4202560 1634 0 0 0 717 4 0 0 15 0 19 0 902666406 10797752320 24191 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 0 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23135] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23135/stat : 23135 (java) S 23121 23123 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902666406 10797752320 24191 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23136] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23136/stat : 23136 (java) S 23121 23123 20310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902666406 10797752320 24191 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23137] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23137/stat : 23137 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666409 10797752320 24191 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216470961 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23138] ppid=23121 vsize=10544680 CPUtime=0.43 cores=0,2,4,6
/proc/23123/task/23138/stat : 23138 (java) S 23121 23123 20310 0 -1 4202560 1969 0 0 0 43 0 0 0 16 0 19 0 902666409 10797752320 24191 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23139] ppid=23121 vsize=10544680 CPUtime=0.56 cores=0,2,4,6
/proc/23123/task/23139/stat : 23139 (java) S 23121 23123 20310 0 -1 4202560 3203 0 0 0 56 0 0 0 16 0 19 0 902666409 10797752320 24191 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23140] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23140/stat : 23140 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666409 10797752320 24191 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23141] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23141/stat : 23141 (java) S 23121 23123 20310 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 902666409 10797752320 24191 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23142] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23142/stat : 23142 (java) S 23121 23123 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902666436 10797752320 24191 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 4 0 16800975 18446604446600349504 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 227
Current children cumulated vsize (KiB) 10544680

[startup+226.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/214 23205
/proc/meminfo: memFree=3043472/32951124 swapFree=67054520/67111528
[pid=23123] ppid=23121 vsize=10544680 CPUtime=227.79 cores=0,2,4,6
/proc/23123/stat : 23123 (java) S 23121 23123 20310 0 -1 4202496 27807 0 1 0 22768 11 0 0 25 0 19 0 902666403 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23123/statm: 2636170 24193 2256 9 0 2626904 0
[pid=23123/tid=23125] ppid=23121 vsize=10544680 CPUtime=218.38 cores=0,2,4,6
/proc/23123/task/23125/stat : 23125 (java) R 23121 23123 20310 0 -1 4202560 18262 0 1 0 21834 4 0 0 25 0 19 0 902666403 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 46912505676632 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23123/tid=23126] ppid=23121 vsize=10544680 CPUtime=0.15 cores=0,2,4,6
/proc/23123/task/23126/stat : 23126 (java) S 23121 23123 20310 0 -1 4202560 316 0 0 0 15 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 6 0 0 0
[pid=23123/tid=23127] ppid=23121 vsize=10544680 CPUtime=0.15 cores=0,2,4,6
/proc/23123/task/23127/stat : 23127 (java) S 23121 23123 20310 0 -1 4202560 25 0 0 0 15 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 6 0 0 0
[pid=23123/tid=23128] ppid=23121 vsize=10544680 CPUtime=0.11 cores=0,2,4,6
/proc/23123/task/23128/stat : 23128 (java) S 23121 23123 20310 0 -1 4202560 190 0 0 0 11 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23129] ppid=23121 vsize=10544680 CPUtime=0.13 cores=0,2,4,6
/proc/23123/task/23129/stat : 23129 (java) S 23121 23123 20310 0 -1 4202560 18 0 0 0 13 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23130] ppid=23121 vsize=10544680 CPUtime=0.15 cores=0,2,4,6
/proc/23123/task/23130/stat : 23130 (java) S 23121 23123 20310 0 -1 4202560 12 0 0 0 15 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23131] ppid=23121 vsize=10544680 CPUtime=0.14 cores=0,2,4,6
/proc/23123/task/23131/stat : 23131 (java) S 23121 23123 20310 0 -1 4202560 212 0 0 0 14 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23132] ppid=23121 vsize=10544680 CPUtime=0.13 cores=0,2,4,6
/proc/23123/task/23132/stat : 23132 (java) S 23121 23123 20310 0 -1 4202560 393 0 0 0 13 0 0 0 16 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23133] ppid=23121 vsize=10544680 CPUtime=0.15 cores=0,2,4,6
/proc/23123/task/23133/stat : 23133 (java) S 23121 23123 20310 0 -1 4202560 408 0 0 0 15 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23134] ppid=23121 vsize=10544680 CPUtime=7.23 cores=0,2,4,6
/proc/23123/task/23134/stat : 23134 (java) S 23121 23123 20310 0 -1 4202560 1634 0 0 0 719 4 0 0 15 0 19 0 902666406 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 0 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23135] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23135/stat : 23135 (java) S 23121 23123 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902666406 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23136] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23136/stat : 23136 (java) S 23121 23123 20310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902666406 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23137] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23137/stat : 23137 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666409 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216470961 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23138] ppid=23121 vsize=10544680 CPUtime=0.43 cores=0,2,4,6
/proc/23123/task/23138/stat : 23138 (java) S 23121 23123 20310 0 -1 4202560 1969 0 0 0 43 0 0 0 16 0 19 0 902666409 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23139] ppid=23121 vsize=10544680 CPUtime=0.56 cores=0,2,4,6
/proc/23123/task/23139/stat : 23139 (java) S 23121 23123 20310 0 -1 4202560 3203 0 0 0 56 0 0 0 16 0 19 0 902666409 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23140] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23140/stat : 23140 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666409 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23141] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23141/stat : 23141 (java) S 23121 23123 20310 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 902666409 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23142] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23142/stat : 23142 (java) S 23121 23123 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902666436 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 4 0 16800975 18446604446600349504 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 227.79
Current children cumulated vsize (KiB) 10544680

[startup+227.101 s]
/proc/loadavg: 2.05 2.03 2.00 3/214 23205
/proc/meminfo: memFree=3043472/32951124 swapFree=67054520/67111528
[pid=23123] ppid=23121 vsize=10544680 CPUtime=228.6 cores=0,2,4,6
/proc/23123/stat : 23123 (java) S 23121 23123 20310 0 -1 4202496 27808 0 1 0 22849 11 0 0 25 0 19 0 902666403 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23123/statm: 2636170 24193 2256 9 0 2626904 0
[pid=23123/tid=23125] ppid=23121 vsize=10544680 CPUtime=219.16 cores=0,2,4,6
/proc/23123/task/23125/stat : 23125 (java) R 23121 23123 20310 0 -1 4202560 18263 0 1 0 21912 4 0 0 18 0 19 0 902666403 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 46912505760774 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23123/tid=23126] ppid=23121 vsize=10544680 CPUtime=0.15 cores=0,2,4,6
/proc/23123/task/23126/stat : 23126 (java) S 23121 23123 20310 0 -1 4202560 316 0 0 0 15 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23127] ppid=23121 vsize=10544680 CPUtime=0.16 cores=0,2,4,6
/proc/23123/task/23127/stat : 23127 (java) S 23121 23123 20310 0 -1 4202560 25 0 0 0 16 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 6 0 0 0
[pid=23123/tid=23128] ppid=23121 vsize=10544680 CPUtime=0.11 cores=0,2,4,6
/proc/23123/task/23128/stat : 23128 (java) S 23121 23123 20310 0 -1 4202560 190 0 0 0 11 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23129] ppid=23121 vsize=10544680 CPUtime=0.13 cores=0,2,4,6
/proc/23123/task/23129/stat : 23129 (java) S 23121 23123 20310 0 -1 4202560 18 0 0 0 13 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23130] ppid=23121 vsize=10544680 CPUtime=0.15 cores=0,2,4,6
/proc/23123/task/23130/stat : 23130 (java) S 23121 23123 20310 0 -1 4202560 12 0 0 0 15 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23131] ppid=23121 vsize=10544680 CPUtime=0.14 cores=0,2,4,6
/proc/23123/task/23131/stat : 23131 (java) S 23121 23123 20310 0 -1 4202560 212 0 0 0 14 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23132] ppid=23121 vsize=10544680 CPUtime=0.13 cores=0,2,4,6
/proc/23123/task/23132/stat : 23132 (java) S 23121 23123 20310 0 -1 4202560 393 0 0 0 13 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23133] ppid=23121 vsize=10544680 CPUtime=0.15 cores=0,2,4,6
/proc/23123/task/23133/stat : 23133 (java) S 23121 23123 20310 0 -1 4202560 408 0 0 0 15 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23134] ppid=23121 vsize=10544680 CPUtime=7.24 cores=0,2,4,6
/proc/23123/task/23134/stat : 23134 (java) S 23121 23123 20310 0 -1 4202560 1634 0 0 0 720 4 0 0 15 0 19 0 902666406 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 0 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23135] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23135/stat : 23135 (java) S 23121 23123 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902666406 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23136] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23136/stat : 23136 (java) S 23121 23123 20310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902666406 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23137] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23137/stat : 23137 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666409 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216470961 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23138] ppid=23121 vsize=10544680 CPUtime=0.43 cores=0,2,4,6
/proc/23123/task/23138/stat : 23138 (java) S 23121 23123 20310 0 -1 4202560 1969 0 0 0 43 0 0 0 16 0 19 0 902666409 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23139] ppid=23121 vsize=10544680 CPUtime=0.57 cores=0,2,4,6
/proc/23123/task/23139/stat : 23139 (java) S 23121 23123 20310 0 -1 4202560 3203 0 0 0 57 0 0 0 15 0 19 0 902666409 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23140] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23140/stat : 23140 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666409 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23141] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23141/stat : 23141 (java) S 23121 23123 20310 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 902666409 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23142] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23142/stat : 23142 (java) S 23121 23123 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902666436 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 4 0 16800975 18446604446600349504 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 228.6
Current children cumulated vsize (KiB) 10544680

[startup+227.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/214 23205
/proc/meminfo: memFree=3043472/32951124 swapFree=67054520/67111528
[pid=23123] ppid=23121 vsize=10544680 CPUtime=228.8 cores=0,2,4,6
/proc/23123/stat : 23123 (java) S 23121 23123 20310 0 -1 4202496 27809 0 1 0 22869 11 0 0 25 0 19 0 902666403 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23123/statm: 2636170 24193 2256 9 0 2626904 0
[pid=23123/tid=23125] ppid=23121 vsize=10544680 CPUtime=219.34 cores=0,2,4,6
/proc/23123/task/23125/stat : 23125 (java) R 23121 23123 20310 0 -1 4202560 18264 0 1 0 21930 4 0 0 18 0 19 0 902666403 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 46912505366588 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23123/tid=23126] ppid=23121 vsize=10544680 CPUtime=0.15 cores=0,2,4,6
/proc/23123/task/23126/stat : 23126 (java) S 23121 23123 20310 0 -1 4202560 316 0 0 0 15 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23127] ppid=23121 vsize=10544680 CPUtime=0.16 cores=0,2,4,6
/proc/23123/task/23127/stat : 23127 (java) S 23121 23123 20310 0 -1 4202560 25 0 0 0 16 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 6 0 0 0
[pid=23123/tid=23128] ppid=23121 vsize=10544680 CPUtime=0.11 cores=0,2,4,6
/proc/23123/task/23128/stat : 23128 (java) S 23121 23123 20310 0 -1 4202560 190 0 0 0 11 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23129] ppid=23121 vsize=10544680 CPUtime=0.13 cores=0,2,4,6
/proc/23123/task/23129/stat : 23129 (java) S 23121 23123 20310 0 -1 4202560 18 0 0 0 13 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23130] ppid=23121 vsize=10544680 CPUtime=0.15 cores=0,2,4,6
/proc/23123/task/23130/stat : 23130 (java) S 23121 23123 20310 0 -1 4202560 12 0 0 0 15 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23131] ppid=23121 vsize=10544680 CPUtime=0.14 cores=0,2,4,6
/proc/23123/task/23131/stat : 23131 (java) S 23121 23123 20310 0 -1 4202560 212 0 0 0 14 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23132] ppid=23121 vsize=10544680 CPUtime=0.13 cores=0,2,4,6
/proc/23123/task/23132/stat : 23132 (java) S 23121 23123 20310 0 -1 4202560 393 0 0 0 13 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23133] ppid=23121 vsize=10544680 CPUtime=0.15 cores=0,2,4,6
/proc/23123/task/23133/stat : 23133 (java) S 23121 23123 20310 0 -1 4202560 408 0 0 0 15 0 0 0 15 0 19 0 902666405 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23134] ppid=23121 vsize=10544680 CPUtime=7.26 cores=0,2,4,6
/proc/23123/task/23134/stat : 23134 (java) S 23121 23123 20310 0 -1 4202560 1634 0 0 0 722 4 0 0 15 0 19 0 902666406 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 0 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23135] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23135/stat : 23135 (java) S 23121 23123 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902666406 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23136] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23136/stat : 23136 (java) S 23121 23123 20310 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902666406 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23137] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23137/stat : 23137 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666409 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216470961 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23138] ppid=23121 vsize=10544680 CPUtime=0.43 cores=0,2,4,6
/proc/23123/task/23138/stat : 23138 (java) S 23121 23123 20310 0 -1 4202560 1969 0 0 0 43 0 0 0 16 0 19 0 902666409 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23139] ppid=23121 vsize=10544680 CPUtime=0.57 cores=0,2,4,6
/proc/23123/task/23139/stat : 23139 (java) S 23121 23123 20310 0 -1 4202560 3203 0 0 0 57 0 0 0 15 0 19 0 902666409 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 0 0 0 0
[pid=23123/tid=23140] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23140/stat : 23140 (java) S 23121 23123 20310 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902666409 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463257 0 4 0 16800975 18446604446600349504 0 0 -1 2 0 0 0
[pid=23123/tid=23141] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23141/stat : 23141 (java) S 23121 23123 20310 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 902666409 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 4 0 16800975 18446604446600349504 0 0 -1 4 0 0 0
[pid=23123/tid=23142] ppid=23121 vsize=10544680 CPUtime=0 cores=0,2,4,6
/proc/23123/task/23142/stat : 23142 (java) S 23121 23123 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902666436 10797752320 24193 33554432000 1073741824 1073778376 140734283899952 18446744073709551615 210216463872 0 4 0 16800975 18446604446600349504 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 228.8
Current children cumulated vsize (KiB) 10544680

Child status: 30
Real time (s): 227.31
CPU time (s): 228.823
CPU user time (s): 228.7
CPU system time (s): 0.122981
CPU usage (%): 100.666
Max. virtual memory (cumulated for all children) (KiB): 10544680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 228.7
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27829
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= 16633
involuntary context switches= 8388

runsolver used 0.447931 second user time and 0.806877 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-12 22:31:19
IDJOB=3492029
IDBENCH=78995
IDSOLVER=1982
FILE ID=node130/3492029-1307910679
RUNJOBID= node130-1307908122-22594
PBS_JOBID= 13559576
Free space on /var/tmp= 2908 MiB

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

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

MD5SUM BENCH= 05d9157cdbd186fca72e4e6dc0ec425d
RANDOM SEED=79230459

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       3266256 kB
Buffers:         66200 kB
Cached:       28613172 kB
SwapCached:      10292 kB
Active:       14181324 kB
Inactive:     14599304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       3266256 kB
SwapTotal:    67111528 kB
SwapFree:     67054520 kB
Dirty:             464 kB
Writeback:           0 kB
AnonPages:       98884 kB
Mapped:          21448 kB
Slab:           839004 kB
PageTables:       4992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10553100 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= 2908 MiB
End job on node130 at 2011-06-12 22:35:06