Trace number 3492038

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 247.228 244.952

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564824--soft-0-100-0.wbo
MD5SUM67acad5bcb13fd291a4cc974e7f18780
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark39.443
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 constraints2707
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 138262
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 138261
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 813
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		9996466904
0.04/0.09	c Max memory 		10048897024
0.04/0.09	c Total memory 		10048897024
0.04/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3492038-1307911241.wbo
0.11/0.11	c reading problem ... 
0.49/0.33	c ... done. Wall clock time 0.214s.
0.49/0.33	c #vars     2938
0.49/0.33	c #constraints  2707
0.49/0.33	c constraints type 
0.49/0.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
0.49/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
1.08/0.53	c SATISFIABLE
1.08/0.53	c OPTIMIZING...
1.08/0.53	c Got one! Elapsed wall clock time (in seconds):0.418
1.08/0.53	o 730
1.08/0.56	c Got one! Elapsed wall clock time (in seconds):0.457
1.08/0.56	o 388
1.08/0.59	c Got one! Elapsed wall clock time (in seconds):0.483
1.08/0.59	o 386
1.36/0.61	c Got one! Elapsed wall clock time (in seconds):0.502
1.36/0.61	o 350
1.36/0.63	c Got one! Elapsed wall clock time (in seconds):0.523
1.36/0.63	o 340
1.36/0.66	c Got one! Elapsed wall clock time (in seconds):0.548
1.36/0.66	o 323
1.36/0.67	c Got one! Elapsed wall clock time (in seconds):0.564
1.36/0.67	o 308
1.61/0.70	c Got one! Elapsed wall clock time (in seconds):0.595
1.61/0.70	o 301
1.61/0.72	c Got one! Elapsed wall clock time (in seconds):0.616
1.61/0.72	o 269
1.61/0.75	c Got one! Elapsed wall clock time (in seconds):0.646
1.61/0.75	o 251
1.61/0.77	c Got one! Elapsed wall clock time (in seconds):0.661
1.61/0.77	o 191
1.71/0.84	c Got one! Elapsed wall clock time (in seconds):0.736
1.71/0.84	o 189
1.71/0.87	c Got one! Elapsed wall clock time (in seconds):0.766
1.71/0.87	o 162
1.81/0.91	c Got one! Elapsed wall clock time (in seconds):0.803
1.81/0.91	o 161
1.81/0.96	c Got one! Elapsed wall clock time (in seconds):0.856
1.81/0.96	o 157
1.81/0.99	c Got one! Elapsed wall clock time (in seconds):0.884
1.81/0.99	o 153
2.02/1.16	c Got one! Elapsed wall clock time (in seconds):1.055
2.02/1.16	o 144
2.11/1.23	c Got one! Elapsed wall clock time (in seconds):1.121
2.11/1.23	o 128
2.21/1.31	c Got one! Elapsed wall clock time (in seconds):1.199
2.21/1.31	o 100
2.41/1.56	c Got one! Elapsed wall clock time (in seconds):1.453
2.41/1.56	o 93
2.61/1.74	c Got one! Elapsed wall clock time (in seconds):1.628
2.61/1.74	o 73
2.81/1.90	c Got one! Elapsed wall clock time (in seconds):1.797
2.81/1.90	o 63
2.91/2.07	c Got one! Elapsed wall clock time (in seconds):1.967
2.91/2.07	o 61
3.43/2.51	c Got one! Elapsed wall clock time (in seconds):2.399
3.43/2.51	o 58
3.53/2.65	c Got one! Elapsed wall clock time (in seconds):2.543
3.53/2.65	o 54
3.73/2.80	c Got one! Elapsed wall clock time (in seconds):2.688
3.73/2.80	o 53
3.93/3.02	c Got one! Elapsed wall clock time (in seconds):2.909
3.93/3.02	o 50
4.03/3.17	c cleaning 7854 clauses out of 15712 with flag 1003/15712
4.28/3.37	c Got one! Elapsed wall clock time (in seconds):3.258
4.28/3.37	o 48
4.48/3.58	c Got one! Elapsed wall clock time (in seconds):3.468
4.48/3.58	o 46
4.88/3.93	c Got one! Elapsed wall clock time (in seconds):3.821
4.88/3.93	o 43
4.98/4.03	c cleaning 7000 clauses out of 14005 with flag 1000/21859
5.88/4.83	c Got one! Elapsed wall clock time (in seconds):4.723
5.88/4.83	o 41
5.99/4.96	c cleaning 6266 clauses out of 12542 with flag 1000/27396
6.55/5.50	c Got one! Elapsed wall clock time (in seconds):5.391
6.55/5.50	o 35
6.74/5.66	c cleaning 5701 clauses out of 11409 with flag 2001/32529
7.34/6.21	c Got one! Elapsed wall clock time (in seconds):6.104
7.34/6.21	o 33
7.34/6.28	c cleaning 5428 clauses out of 10861 with flag 1001/37682
7.97/6.81	c cleaning 5711 clauses out of 11432 with flag 7000/43681
8.86/7.40	c Got one! Elapsed wall clock time (in seconds):7.296
8.86/7.40	o 25
9.17/7.80	c Got one! Elapsed wall clock time (in seconds):7.688
9.17/7.80	o 22
9.37/7.91	c cleaning 8514 clauses out of 17031 with flag 1004/54991
10.12/8.36	c cleaning 7252 clauses out of 14513 with flag 7000/60987
10.63/8.80	c Got one! Elapsed wall clock time (in seconds):8.695
10.63/8.80	o 18
10.63/8.88	c cleaning 6434 clauses out of 12876 with flag 1000/66602
11.22/9.48	c cleaning 6215 clauses out of 12444 with flag 7002/72604
12.03/10.26	c cleaning 6611 clauses out of 13232 with flag 14005/79607
13.23/11.43	c cleaning 7304 clauses out of 14616 with flag 22000/87602
13.53/11.78	c Got one! Elapsed wall clock time (in seconds):11.669
13.53/11.78	o 16
14.03/12.20	c cleaning 8695 clauses out of 17405 with flag 5000/97695
14.43/12.63	c cleaning 7345 clauses out of 14710 with flag 11000/103695
14.93/13.14	c cleaning 7178 clauses out of 14365 with flag 18000/110695
15.53/13.73	c cleaning 7590 clauses out of 15187 with flag 26000/118695
15.83/14.06	c Got one! Elapsed wall clock time (in seconds):13.956
15.83/14.06	o 13
15.93/14.14	c cleaning 6510 clauses out of 13029 with flag 1001/124127
16.23/14.50	c cleaning 6249 clauses out of 12519 with flag 7001/130127
16.63/14.89	c cleaning 6629 clauses out of 13270 with flag 14001/137127
17.13/15.40	c cleaning 7307 clauses out of 14640 with flag 22000/145126
17.83/16.03	c cleaning 8163 clauses out of 16333 with flag 31000/154126
18.53/16.73	c cleaning 9078 clauses out of 18171 with flag 41001/164127
18.64/16.86	c Got one! Elapsed wall clock time (in seconds):16.748
18.64/16.86	o 9
18.94/17.12	c cleaning 7416 clauses out of 14844 with flag 4001/169878
19.24/17.45	c cleaning 6711 clauses out of 13428 with flag 10001/175878
19.64/17.85	c cleaning 6855 clauses out of 13717 with flag 17001/182878
20.24/18.45	c cleaning 7428 clauses out of 14866 with flag 25005/190882
20.74/18.93	c cleaning 8214 clauses out of 16433 with flag 34000/199877
21.34/19.51	c cleaning 9106 clauses out of 18219 with flag 44000/209877
21.84/20.04	c cleaning 9553 clauses out of 19114 with flag 54001/219878
22.45/20.68	c cleaning 9777 clauses out of 19562 with flag 64002/229879
23.15/21.31	c cleaning 9887 clauses out of 19784 with flag 74001/239878
23.75/21.91	c cleaning 9942 clauses out of 19897 with flag 84001/249878
24.25/22.49	c cleaning 9969 clauses out of 19955 with flag 94001/259878
24.88/23.09	c cleaning 9986 clauses out of 19987 with flag 104002/269879
25.57/23.71	c cleaning 9994 clauses out of 20001 with flag 114002/279879
26.08/24.28	c cleaning 9997 clauses out of 20006 with flag 124001/289878
26.67/24.84	c cleaning 10001 clauses out of 20009 with flag 134001/299878
27.27/25.46	c cleaning 9997 clauses out of 20008 with flag 144001/309878
27.87/26.09	c cleaning 10003 clauses out of 20015 with flag 154005/319882
28.47/26.64	c cleaning 10000 clauses out of 20008 with flag 164001/329878
29.07/27.23	c cleaning 9997 clauses out of 20008 with flag 174001/339878
29.68/27.82	c cleaning 10000 clauses out of 20012 with flag 184002/349879
30.28/28.44	c cleaning 10002 clauses out of 20013 with flag 194003/359880
30.88/29.02	c cleaning 9999 clauses out of 20008 with flag 204000/369877
31.38/29.60	c cleaning 9997 clauses out of 20010 with flag 214001/379878
31.99/30.16	c cleaning 10004 clauses out of 20013 with flag 224001/389878
32.59/30.77	c cleaning 9997 clauses out of 20010 with flag 234002/399879
33.19/31.39	c cleaning 10000 clauses out of 20013 with flag 244002/409879
33.89/32.00	c cleaning 10005 clauses out of 20013 with flag 254002/419879
34.49/32.60	c cleaning 10002 clauses out of 20009 with flag 264003/429880
35.09/33.22	c cleaning 9992 clauses out of 20004 with flag 274000/439877
35.59/33.79	c cleaning 10002 clauses out of 20012 with flag 284000/449877
36.19/34.39	c cleaning 9997 clauses out of 20012 with flag 294002/459879
36.90/35.02	c cleaning 10001 clauses out of 20013 with flag 304000/469877
37.50/35.65	c cleaning 10001 clauses out of 20013 with flag 314001/479878
38.10/36.27	c cleaning 9996 clauses out of 20012 with flag 324001/489878
38.70/36.84	c cleaning 10005 clauses out of 20017 with flag 334002/499879
39.31/37.44	c cleaning 9999 clauses out of 20010 with flag 344000/509877
39.90/38.05	c cleaning 10003 clauses out of 20013 with flag 354002/519879
40.50/38.61	c cleaning 9993 clauses out of 20008 with flag 364000/529877
41.00/39.17	c cleaning 10002 clauses out of 20015 with flag 374000/539877
41.61/39.72	c cleaning 10006 clauses out of 20015 with flag 384002/549879
42.11/40.28	c cleaning 10002 clauses out of 20009 with flag 394002/559879
42.71/40.85	c cleaning 9998 clauses out of 20006 with flag 404001/569878
43.31/41.44	c cleaning 10000 clauses out of 20007 with flag 414000/579877
43.91/42.08	c cleaning 9998 clauses out of 20009 with flag 424002/589879
44.52/42.65	c cleaning 9996 clauses out of 20009 with flag 434000/599877
45.12/43.26	c cleaning 9993 clauses out of 20013 with flag 444000/609877
45.72/43.86	c cleaning 9999 clauses out of 20020 with flag 454000/619877
46.32/44.48	c cleaning 10006 clauses out of 20022 with flag 464001/629878
46.93/45.07	c cleaning 10002 clauses out of 20016 with flag 474001/639878
47.62/45.70	c cleaning 9998 clauses out of 20016 with flag 484003/649880
48.13/46.27	c cleaning 10002 clauses out of 20017 with flag 494002/659879
48.72/46.82	c cleaning 10001 clauses out of 20016 with flag 504003/669880
49.23/47.39	c cleaning 10001 clauses out of 20014 with flag 514002/679879
49.92/48.02	c cleaning 10001 clauses out of 20012 with flag 524001/689878
50.52/48.65	c cleaning 10001 clauses out of 20011 with flag 534001/699878
50.62/48.76	c Got one! Elapsed wall clock time (in seconds):48.653
50.62/48.76	o 8
50.82/48.95	c cleaning 7578 clauses out of 15160 with flag 3000/705028
51.13/49.29	c cleaning 6789 clauses out of 13584 with flag 9002/711030
51.53/49.67	c cleaning 6892 clauses out of 13794 with flag 16001/718029
51.93/50.08	c cleaning 7445 clauses out of 14902 with flag 24001/726029
52.43/50.59	c cleaning 8222 clauses out of 16456 with flag 33000/735028
53.03/51.16	c cleaning 9114 clauses out of 18235 with flag 43001/745029
53.64/51.76	c cleaning 9553 clauses out of 19121 with flag 53001/755029
54.23/52.34	c cleaning 9778 clauses out of 19568 with flag 63001/765029
54.83/53.00	c cleaning 9882 clauses out of 19789 with flag 73000/775028
55.53/53.69	c cleaning 9946 clauses out of 19907 with flag 83000/785028
56.23/54.33	c cleaning 9980 clauses out of 19965 with flag 93004/795032
56.84/54.96	c cleaning 9985 clauses out of 19982 with flag 103001/805029
57.44/55.57	c cleaning 9993 clauses out of 19997 with flag 113001/815029
58.05/56.18	c cleaning 9999 clauses out of 20003 with flag 123000/825028
58.64/56.78	c cleaning 9994 clauses out of 20006 with flag 133002/835030
59.24/57.38	c cleaning 10002 clauses out of 20010 with flag 143000/845028
59.84/57.95	c cleaning 9997 clauses out of 20008 with flag 153000/855028
60.44/58.56	c cleaning 9998 clauses out of 20012 with flag 163001/865029
61.04/59.16	c cleaning 10006 clauses out of 20017 with flag 173004/875032
61.65/59.79	c cleaning 10001 clauses out of 20007 with flag 183000/885028
62.25/60.37	c cleaning 9997 clauses out of 20006 with flag 193000/895028
62.95/61.02	c cleaning 9997 clauses out of 20010 with flag 203001/905029
63.55/61.61	c cleaning 10003 clauses out of 20012 with flag 213000/915028
64.05/62.14	c cleaning 10000 clauses out of 20009 with flag 223000/925028
64.55/62.70	c cleaning 9996 clauses out of 20009 with flag 233000/935028
65.15/63.23	c cleaning 10001 clauses out of 20013 with flag 243000/945028
65.65/63.75	c cleaning 9988 clauses out of 20012 with flag 253000/955028
66.15/64.26	c cleaning 10008 clauses out of 20024 with flag 263000/965028
66.76/64.80	c cleaning 10001 clauses out of 20016 with flag 273000/975028
67.25/65.31	c cleaning 10002 clauses out of 20016 with flag 283001/985029
67.75/65.84	c cleaning 10002 clauses out of 20013 with flag 293000/995028
68.25/66.39	c cleaning 9991 clauses out of 20012 with flag 303001/1005029
68.86/66.90	c cleaning 10006 clauses out of 20022 with flag 313002/1015030
69.36/67.43	c cleaning 10005 clauses out of 20017 with flag 323003/1025031
69.86/67.96	c cleaning 9998 clauses out of 20009 with flag 333000/1035028
70.37/68.48	c cleaning 10003 clauses out of 20012 with flag 343001/1045029
70.97/69.02	c cleaning 9993 clauses out of 20008 with flag 353000/1055028
71.47/69.54	c cleaning 10000 clauses out of 20015 with flag 363000/1065028
72.07/70.12	c cleaning 10001 clauses out of 20017 with flag 373002/1075030
72.67/70.71	c cleaning 9998 clauses out of 20014 with flag 383000/1085028
73.17/71.24	c cleaning 10005 clauses out of 20018 with flag 393002/1095030
73.67/71.79	c cleaning 9999 clauses out of 20011 with flag 403000/1105028
74.27/72.34	c cleaning 10004 clauses out of 20013 with flag 413001/1115029
74.77/72.83	c cleaning 9997 clauses out of 20008 with flag 423000/1125028
75.27/73.35	c cleaning 9995 clauses out of 20012 with flag 433001/1135029
75.77/73.86	c cleaning 10006 clauses out of 20017 with flag 443001/1145029
76.27/74.38	c cleaning 9999 clauses out of 20010 with flag 453000/1155028
76.88/74.93	c cleaning 10003 clauses out of 20013 with flag 463002/1165030
77.48/75.51	c cleaning 9997 clauses out of 20009 with flag 473001/1175029
78.08/76.10	c cleaning 9998 clauses out of 20011 with flag 483000/1185028
78.58/76.64	c cleaning 9994 clauses out of 20014 with flag 493001/1195029
79.08/77.18	c cleaning 10005 clauses out of 20021 with flag 503002/1205030
79.68/77.71	c cleaning 10002 clauses out of 20014 with flag 513000/1215028
80.18/78.22	c cleaning 10002 clauses out of 20013 with flag 523001/1225029
80.68/78.76	c cleaning 9995 clauses out of 20012 with flag 533002/1235030
81.28/79.32	c cleaning 10002 clauses out of 20015 with flag 543000/1245028
81.78/79.85	c cleaning 10001 clauses out of 20013 with flag 553000/1255028
82.38/80.41	c cleaning 9999 clauses out of 20013 with flag 563001/1265029
82.89/80.99	c cleaning 9994 clauses out of 20015 with flag 573002/1275030
83.59/81.61	c cleaning 10002 clauses out of 20019 with flag 583000/1285028
84.19/82.21	c cleaning 10005 clauses out of 20018 with flag 593001/1295029
84.79/82.81	c cleaning 10003 clauses out of 20012 with flag 603000/1305028
85.39/83.43	c cleaning 9995 clauses out of 20012 with flag 613003/1315031
85.99/84.05	c cleaning 10001 clauses out of 20014 with flag 623000/1325028
86.59/84.66	c cleaning 10000 clauses out of 20014 with flag 633001/1335029
87.19/85.29	c cleaning 10000 clauses out of 20014 with flag 643001/1345029
87.80/85.86	c cleaning 10000 clauses out of 20013 with flag 653000/1355028
88.39/86.42	c cleaning 10004 clauses out of 20016 with flag 663003/1365031
88.90/86.92	c cleaning 10001 clauses out of 20009 with flag 673000/1375028
89.39/87.46	c cleaning 9997 clauses out of 20010 with flag 683002/1385030
90.00/88.01	c cleaning 10002 clauses out of 20012 with flag 693001/1395029
90.49/88.56	c cleaning 9995 clauses out of 20012 with flag 703003/1405031
91.00/89.09	c cleaning 10000 clauses out of 20016 with flag 713002/1415030
91.60/89.61	c cleaning 10000 clauses out of 20016 with flag 723002/1425030
92.10/90.16	c cleaning 10001 clauses out of 20014 with flag 733000/1435028
92.70/90.70	c cleaning 10001 clauses out of 20014 with flag 743001/1445029
93.20/91.24	c cleaning 9999 clauses out of 20012 with flag 753000/1455028
93.80/91.80	c cleaning 10003 clauses out of 20013 with flag 763000/1465028
94.31/92.34	c cleaning 9993 clauses out of 20011 with flag 773001/1475029
94.80/92.87	c cleaning 10004 clauses out of 20017 with flag 783000/1485028
95.41/93.41	c cleaning 10004 clauses out of 20013 with flag 793000/1495028
95.91/93.96	c cleaning 10001 clauses out of 20010 with flag 803001/1505029
96.51/94.53	c cleaning 9995 clauses out of 20008 with flag 813000/1515028
97.11/95.14	c cleaning 10001 clauses out of 20013 with flag 823000/1525028
97.72/95.71	c cleaning 9995 clauses out of 20012 with flag 833000/1535028
98.21/96.27	c cleaning 10001 clauses out of 20017 with flag 843000/1545028
98.81/96.87	c cleaning 10000 clauses out of 20017 with flag 853001/1555029
99.41/97.45	c cleaning 9998 clauses out of 20016 with flag 863000/1565028
99.91/97.99	c cleaning 10001 clauses out of 20018 with flag 873000/1575028
100.61/98.60	c cleaning 9999 clauses out of 20019 with flag 883002/1585030
101.21/99.22	c cleaning 9999 clauses out of 20021 with flag 893003/1595031
101.81/99.87	c cleaning 10004 clauses out of 20019 with flag 903000/1605028
102.41/100.47	c cleaning 10000 clauses out of 20015 with flag 913000/1615028
103.01/101.09	c cleaning 10003 clauses out of 20016 with flag 923001/1625029
103.62/101.66	c cleaning 10004 clauses out of 20014 with flag 933002/1635030
104.23/102.22	c cleaning 10000 clauses out of 20014 with flag 943006/1645034
104.72/102.77	c cleaning 10000 clauses out of 20009 with flag 953001/1655029
105.33/103.30	c cleaning 10002 clauses out of 20008 with flag 963000/1665028
105.82/103.83	c cleaning 9998 clauses out of 20007 with flag 973001/1675029
106.43/104.41	c cleaning 9998 clauses out of 20008 with flag 983000/1685028
107.02/105.04	c cleaning 9992 clauses out of 20012 with flag 993002/1695030
107.63/105.66	c cleaning 10001 clauses out of 20018 with flag 1003000/1705028
108.22/106.25	c cleaning 10004 clauses out of 20017 with flag 1013000/1715028
108.82/106.84	c cleaning 9999 clauses out of 20013 with flag 1023000/1725028
109.42/107.44	c cleaning 10001 clauses out of 20015 with flag 1033001/1735029
110.03/108.05	c cleaning 9994 clauses out of 20015 with flag 1043002/1745030
110.63/108.64	c cleaning 9996 clauses out of 20020 with flag 1053001/1755029
111.23/109.22	c cleaning 10006 clauses out of 20024 with flag 1063001/1765029
111.73/109.76	c cleaning 10005 clauses out of 20018 with flag 1073001/1775029
112.33/110.34	c cleaning 10003 clauses out of 20012 with flag 1083000/1785028
112.93/110.93	c cleaning 10000 clauses out of 20009 with flag 1093000/1795028
113.53/111.51	c cleaning 9997 clauses out of 20010 with flag 1103001/1805029
114.03/112.05	c cleaning 10004 clauses out of 20013 with flag 1113001/1815029
114.53/112.58	c cleaning 9999 clauses out of 20009 with flag 1123001/1825029
115.13/113.10	c cleaning 10001 clauses out of 20010 with flag 1133001/1835029
115.63/113.67	c cleaning 9997 clauses out of 20009 with flag 1143001/1845029
116.23/114.24	c cleaning 9984 clauses out of 20011 with flag 1153000/1855028
116.83/114.82	c cleaning 10001 clauses out of 20028 with flag 1163001/1865029
117.33/115.33	c cleaning 10007 clauses out of 20026 with flag 1173000/1875028
117.83/115.87	c cleaning 9997 clauses out of 20019 with flag 1183000/1885028
118.54/116.51	c cleaning 10004 clauses out of 20022 with flag 1193000/1895028
119.13/117.10	c cleaning 10005 clauses out of 20019 with flag 1203001/1905029
119.64/117.65	c cleaning 9998 clauses out of 20013 with flag 1213000/1915028
120.23/118.24	c cleaning 10005 clauses out of 20015 with flag 1223000/1925028
120.74/118.75	c cleaning 9998 clauses out of 20012 with flag 1233002/1935030
121.24/119.29	c cleaning 10002 clauses out of 20014 with flag 1243002/1945030
121.84/119.82	c cleaning 10000 clauses out of 20011 with flag 1253001/1955029
122.34/120.33	c cleaning 10001 clauses out of 20012 with flag 1263002/1965030
122.84/120.86	c cleaning 9996 clauses out of 20010 with flag 1273001/1975029
123.44/121.44	c cleaning 9998 clauses out of 20016 with flag 1283003/1985031
124.05/122.07	c cleaning 10004 clauses out of 20018 with flag 1293003/1995031
124.64/122.63	c cleaning 9999 clauses out of 20012 with flag 1303001/2005029
125.25/123.24	c cleaning 10005 clauses out of 20014 with flag 1313002/2015030
125.84/123.82	c cleaning 9997 clauses out of 20007 with flag 1323000/2025028
126.35/124.34	c cleaning 9996 clauses out of 20011 with flag 1333001/2035029
126.95/124.91	c cleaning 10003 clauses out of 20014 with flag 1343000/2045028
127.45/125.44	c cleaning 10001 clauses out of 20013 with flag 1353002/2055030
127.95/125.99	c cleaning 10001 clauses out of 20010 with flag 1363000/2065028
128.56/126.55	c cleaning 9999 clauses out of 20009 with flag 1373000/2075028
129.15/127.16	c cleaning 9999 clauses out of 20011 with flag 1383001/2085029
129.75/127.74	c cleaning 10001 clauses out of 20011 with flag 1393000/2095028
130.25/128.27	c cleaning 10000 clauses out of 20010 with flag 1403000/2105028
130.86/128.85	c cleaning 9994 clauses out of 20011 with flag 1413001/2115029
131.46/129.42	c cleaning 10001 clauses out of 20016 with flag 1423000/2125028
131.96/129.97	c cleaning 10003 clauses out of 20016 with flag 1433001/2135029
132.57/130.55	c cleaning 10004 clauses out of 20015 with flag 1443003/2145031
133.17/131.14	c cleaning 10001 clauses out of 20008 with flag 1453000/2155028
133.77/131.71	c cleaning 9999 clauses out of 20007 with flag 1463000/2165028
134.27/132.27	c cleaning 10002 clauses out of 20010 with flag 1473002/2175030
134.87/132.85	c cleaning 9992 clauses out of 20006 with flag 1483000/2185028
135.47/133.41	c cleaning 10001 clauses out of 20015 with flag 1493001/2195029
135.97/133.94	c cleaning 10002 clauses out of 20013 with flag 1503000/2205028
136.57/134.51	c cleaning 9997 clauses out of 20012 with flag 1513001/2215029
137.07/135.04	c cleaning 9999 clauses out of 20014 with flag 1523000/2225028
137.58/135.58	c cleaning 9999 clauses out of 20017 with flag 1533002/2235030
138.18/136.12	c cleaning 9999 clauses out of 20017 with flag 1543001/2245029
138.68/136.66	c cleaning 9997 clauses out of 20017 with flag 1553000/2255028
139.28/137.22	c cleaning 10005 clauses out of 20020 with flag 1563000/2265028
139.78/137.73	c cleaning 10004 clauses out of 20016 with flag 1573001/2275029
140.28/138.26	c cleaning 10002 clauses out of 20013 with flag 1583002/2285030
140.88/138.84	c cleaning 9995 clauses out of 20009 with flag 1593000/2295028
141.48/139.40	c cleaning 10002 clauses out of 20016 with flag 1603002/2305030
141.98/139.99	c cleaning 9995 clauses out of 20012 with flag 1613000/2315028
142.58/140.55	c cleaning 10002 clauses out of 20017 with flag 1623000/2325028
143.18/141.10	c cleaning 10000 clauses out of 20016 with flag 1633001/2335029
143.68/141.66	c cleaning 9998 clauses out of 20016 with flag 1643001/2345029
144.18/142.18	c cleaning 10008 clauses out of 20023 with flag 1653006/2355034
144.88/142.80	c cleaning 9998 clauses out of 20009 with flag 1663000/2365028
145.48/143.41	c cleaning 9999 clauses out of 20011 with flag 1673000/2375028
145.98/143.95	c cleaning 10001 clauses out of 20012 with flag 1683000/2385028
146.58/144.56	c cleaning 10001 clauses out of 20012 with flag 1693001/2395029
147.19/145.14	c cleaning 10002 clauses out of 20010 with flag 1703000/2405028
147.78/145.77	c cleaning 9996 clauses out of 20008 with flag 1713000/2415028
148.39/146.35	c cleaning 10003 clauses out of 20013 with flag 1723001/2425029
148.89/146.88	c cleaning 10001 clauses out of 20009 with flag 1733000/2435028
149.59/147.57	c cleaning 9999 clauses out of 20010 with flag 1743002/2445030
150.19/148.18	c cleaning 9995 clauses out of 20011 with flag 1753002/2455030
150.79/148.73	c cleaning 10003 clauses out of 20014 with flag 1763000/2465028
151.29/149.29	c cleaning 9997 clauses out of 20012 with flag 1773001/2475029
151.89/149.85	c cleaning 10000 clauses out of 20014 with flag 1783000/2485028
152.39/150.38	c cleaning 10001 clauses out of 20015 with flag 1793001/2495029
152.99/150.90	c cleaning 9995 clauses out of 20013 with flag 1803000/2505028
153.50/151.49	c cleaning 9999 clauses out of 20021 with flag 1813003/2515031
154.10/152.06	c cleaning 10008 clauses out of 20019 with flag 1823000/2525028
154.70/152.61	c cleaning 10001 clauses out of 20014 with flag 1833003/2535031
155.20/153.18	c cleaning 9998 clauses out of 20011 with flag 1843001/2545029
155.79/153.74	c cleaning 10002 clauses out of 20012 with flag 1853000/2555028
156.30/154.24	c cleaning 9998 clauses out of 20010 with flag 1863000/2565028
156.90/154.80	c cleaning 10000 clauses out of 20012 with flag 1873000/2575028
157.40/155.38	c cleaning 9997 clauses out of 20015 with flag 1883003/2585031
157.99/155.91	c cleaning 10005 clauses out of 20015 with flag 1893000/2595028
158.50/156.46	c cleaning 10002 clauses out of 20012 with flag 1903002/2605030
159.10/157.03	c cleaning 9994 clauses out of 20008 with flag 1913000/2615028
159.70/157.61	c cleaning 10002 clauses out of 20014 with flag 1923000/2625028
160.30/158.22	c cleaning 10000 clauses out of 20013 with flag 1933001/2635029
160.90/158.89	c cleaning 10002 clauses out of 20013 with flag 1943001/2645029
161.51/159.45	c cleaning 9997 clauses out of 20010 with flag 1953000/2655028
162.10/160.09	c cleaning 9997 clauses out of 20013 with flag 1963000/2665028
162.71/160.66	c cleaning 10002 clauses out of 20016 with flag 1973000/2675028
163.20/161.18	c cleaning 10002 clauses out of 20014 with flag 1983000/2685028
163.71/161.70	c cleaning 10001 clauses out of 20012 with flag 1993000/2695028
164.31/162.23	c cleaning 10000 clauses out of 20011 with flag 2003000/2705028
164.91/162.82	c cleaning 9997 clauses out of 20012 with flag 2013001/2715029
165.41/163.39	c cleaning 10003 clauses out of 20016 with flag 2023002/2725030
166.02/163.96	c cleaning 9998 clauses out of 20013 with flag 2033002/2735030
166.71/164.60	c cleaning 9997 clauses out of 20013 with flag 2043000/2745028
167.21/165.19	c cleaning 10004 clauses out of 20022 with flag 2053006/2755034
167.81/165.76	c cleaning 10002 clauses out of 20013 with flag 2063001/2765029
168.41/166.34	c cleaning 9995 clauses out of 20012 with flag 2073002/2775030
168.92/166.89	c cleaning 10001 clauses out of 20015 with flag 2083000/2785028
169.52/167.44	c cleaning 9998 clauses out of 20014 with flag 2093000/2795028
170.02/167.99	c cleaning 10000 clauses out of 20016 with flag 2103000/2805028
170.62/168.53	c cleaning 10002 clauses out of 20016 with flag 2113000/2815028
171.12/169.05	c cleaning 10000 clauses out of 20014 with flag 2123000/2825028
171.72/169.63	c cleaning 10003 clauses out of 20017 with flag 2133003/2835031
172.22/170.16	c cleaning 10000 clauses out of 20012 with flag 2143001/2845029
172.82/170.74	c cleaning 9996 clauses out of 20011 with flag 2153000/2855028
173.33/171.27	c cleaning 9998 clauses out of 20017 with flag 2163002/2865030
174.03/171.91	c cleaning 10001 clauses out of 20017 with flag 2173000/2875028
174.63/172.53	c cleaning 10002 clauses out of 20016 with flag 2183000/2885028
175.13/173.08	c cleaning 10004 clauses out of 20015 with flag 2193001/2895029
175.63/173.58	c cleaning 9998 clauses out of 20011 with flag 2203001/2905029
176.23/174.13	c cleaning 9996 clauses out of 20013 with flag 2213001/2915029
176.84/174.74	c cleaning 9997 clauses out of 20016 with flag 2223000/2925028
177.44/175.35	c cleaning 9999 clauses out of 20019 with flag 2233000/2935028
178.04/175.93	c cleaning 10005 clauses out of 20021 with flag 2243001/2945029
178.64/176.53	c cleaning 9994 clauses out of 20016 with flag 2253001/2955029
179.25/177.12	c cleaning 10007 clauses out of 20023 with flag 2263002/2965030
179.84/177.73	c cleaning 10002 clauses out of 20015 with flag 2273001/2975029
180.35/178.27	c cleaning 10000 clauses out of 20013 with flag 2283001/2985029
180.94/178.81	c cleaning 10000 clauses out of 20013 with flag 2293001/2995029
181.45/179.36	c cleaning 10001 clauses out of 20013 with flag 2303001/3005029
182.05/179.94	c cleaning 9999 clauses out of 20012 with flag 2313001/3015029
182.65/180.54	c cleaning 10003 clauses out of 20013 with flag 2323001/3025029
183.15/181.09	c cleaning 9998 clauses out of 20010 with flag 2333001/3035029
183.75/181.61	c cleaning 9998 clauses out of 20012 with flag 2343001/3045029
184.25/182.16	c cleaning 9994 clauses out of 20013 with flag 2353000/3055028
184.85/182.70	c cleaning 9999 clauses out of 20020 with flag 2363001/3065029
185.35/183.21	c cleaning 10003 clauses out of 20020 with flag 2373000/3075028
185.86/183.76	c cleaning 10003 clauses out of 20018 with flag 2383001/3085029
186.37/184.29	c cleaning 10001 clauses out of 20014 with flag 2393000/3095028
186.87/184.79	c cleaning 10005 clauses out of 20015 with flag 2403002/3105030
187.47/185.32	c cleaning 9996 clauses out of 20008 with flag 2413000/3115028
187.97/185.86	c cleaning 9999 clauses out of 20012 with flag 2423000/3125028
188.47/186.38	c cleaning 9998 clauses out of 20016 with flag 2433003/3135031
189.08/186.91	c cleaning 10002 clauses out of 20017 with flag 2443002/3145030
189.57/187.46	c cleaning 10000 clauses out of 20013 with flag 2453000/3155028
190.18/188.02	c cleaning 9998 clauses out of 20013 with flag 2463000/3165028
190.67/188.55	c cleaning 10001 clauses out of 20016 with flag 2473001/3175029
191.28/189.10	c cleaning 9993 clauses out of 20014 with flag 2483000/3185028
191.87/189.70	c cleaning 10008 clauses out of 20022 with flag 2493001/3195029
192.38/190.30	c cleaning 9999 clauses out of 20014 with flag 2503001/3205029
193.07/190.92	c cleaning 10001 clauses out of 20016 with flag 2513002/3215030
193.67/191.54	c cleaning 10000 clauses out of 20014 with flag 2523001/3225029
194.27/192.14	c cleaning 10003 clauses out of 20014 with flag 2533001/3235029
194.88/192.73	c cleaning 10001 clauses out of 20013 with flag 2543003/3245031
195.37/193.29	c cleaning 10000 clauses out of 20009 with flag 2553000/3255028
196.07/193.94	c cleaning 9997 clauses out of 20010 with flag 2563001/3265029
196.68/194.53	c cleaning 10005 clauses out of 20015 with flag 2573003/3275031
197.28/195.13	c cleaning 9997 clauses out of 20007 with flag 2583000/3285028
197.78/195.68	c cleaning 10001 clauses out of 20011 with flag 2593001/3295029
198.48/196.30	c cleaning 9999 clauses out of 20009 with flag 2603000/3305028
198.98/196.87	c cleaning 10003 clauses out of 20012 with flag 2613002/3315030
199.48/197.38	c cleaning 9999 clauses out of 20010 with flag 2623003/3325031
200.08/197.91	c cleaning 10001 clauses out of 20010 with flag 2633002/3335030
200.58/198.46	c cleaning 10002 clauses out of 20009 with flag 2643002/3345030
201.18/199.02	c cleaning 9999 clauses out of 20005 with flag 2653000/3355028
201.68/199.59	c cleaning 10002 clauses out of 20010 with flag 2663004/3365032
202.28/200.12	c cleaning 10000 clauses out of 20006 with flag 2673002/3375030
202.78/200.64	c cleaning 10000 clauses out of 20006 with flag 2683002/3385030
203.39/201.22	c cleaning 9988 clauses out of 20004 with flag 2693000/3395028
203.89/201.79	c cleaning 9997 clauses out of 20016 with flag 2703000/3405028
204.49/202.35	c cleaning 9993 clauses out of 20019 with flag 2713000/3415028
205.09/202.91	c cleaning 10006 clauses out of 20027 with flag 2723001/3425029
205.59/203.42	c cleaning 10002 clauses out of 20020 with flag 2733000/3435028
206.09/203.98	c cleaning 10004 clauses out of 20018 with flag 2743000/3445028
206.69/204.56	c cleaning 10002 clauses out of 20014 with flag 2753000/3455028
207.29/205.15	c cleaning 9996 clauses out of 20013 with flag 2763001/3465029
207.79/205.69	c cleaning 10005 clauses out of 20020 with flag 2773004/3475032
208.39/206.27	c cleaning 9999 clauses out of 20011 with flag 2783000/3485028
209.00/206.81	c cleaning 10002 clauses out of 20013 with flag 2793001/3495029
209.39/207.29	c cleaning 10000 clauses out of 20010 with flag 2803000/3505028
209.89/207.79	c cleaning 10001 clauses out of 20010 with flag 2813000/3515028
210.40/208.28	c cleaning 9998 clauses out of 20009 with flag 2823000/3525028
210.90/208.79	c cleaning 9998 clauses out of 20011 with flag 2833000/3535028
211.50/209.35	c cleaning 10002 clauses out of 20017 with flag 2843004/3545032
212.00/209.88	c cleaning 9999 clauses out of 20012 with flag 2853001/3555029
212.60/210.42	c cleaning 10000 clauses out of 20013 with flag 2863001/3565029
213.20/211.09	c cleaning 9998 clauses out of 20012 with flag 2873000/3575028
213.90/211.74	c cleaning 10001 clauses out of 20014 with flag 2883000/3585028
214.51/212.36	c cleaning 10005 clauses out of 20015 with flag 2893002/3595030
215.11/212.94	c cleaning 10001 clauses out of 20012 with flag 2903004/3605032
215.71/213.59	c cleaning 9999 clauses out of 20007 with flag 2913000/3615028
216.31/214.19	c cleaning 9998 clauses out of 20009 with flag 2923001/3625029
216.91/214.78	c cleaning 10001 clauses out of 20011 with flag 2933001/3635029
217.61/215.46	c cleaning 9999 clauses out of 20010 with flag 2943001/3645029
218.32/216.10	c cleaning 9997 clauses out of 20011 with flag 2953001/3655029
218.92/216.75	c cleaning 9999 clauses out of 20016 with flag 2963003/3665031
219.62/217.41	c cleaning 10001 clauses out of 20014 with flag 2973000/3675028
220.12/217.94	c cleaning 9998 clauses out of 20013 with flag 2983000/3685028
220.62/218.48	c cleaning 10005 clauses out of 20022 with flag 2993007/3695035
221.12/218.97	c cleaning 10001 clauses out of 20010 with flag 3003000/3705028
221.72/219.51	c cleaning 10001 clauses out of 20009 with flag 3013000/3715028
222.23/220.08	c cleaning 9996 clauses out of 20008 with flag 3023000/3725028
222.82/220.62	c cleaning 9996 clauses out of 20012 with flag 3033000/3735028
223.33/221.14	c cleaning 10001 clauses out of 20016 with flag 3043000/3745028
223.82/221.69	c cleaning 10000 clauses out of 20016 with flag 3053001/3755029
224.33/222.20	c cleaning 9998 clauses out of 20015 with flag 3063000/3765028
224.92/222.76	c cleaning 9996 clauses out of 20018 with flag 3073001/3775029
225.53/223.34	c cleaning 10007 clauses out of 20023 with flag 3083002/3785030
226.13/223.90	c cleaning 10002 clauses out of 20016 with flag 3093002/3795030
226.63/224.45	c cleaning 10000 clauses out of 20013 with flag 3103001/3805029
227.23/225.04	c cleaning 10001 clauses out of 20013 with flag 3113001/3815029
227.83/225.62	c cleaning 9998 clauses out of 20011 with flag 3123000/3825028
228.33/226.14	c cleaning 10003 clauses out of 20013 with flag 3133000/3835028
228.84/226.66	c cleaning 9996 clauses out of 20010 with flag 3143000/3845028
229.43/227.24	c cleaning 10002 clauses out of 20014 with flag 3153000/3855028
230.03/227.84	c cleaning 9999 clauses out of 20013 with flag 3163001/3865029
230.63/228.48	c cleaning 9998 clauses out of 20015 with flag 3173002/3875030
231.33/229.13	c cleaning 10003 clauses out of 20016 with flag 3183001/3885029
231.93/229.75	c cleaning 10000 clauses out of 20013 with flag 3193001/3895029
232.53/230.34	c cleaning 9991 clauses out of 20012 with flag 3203000/3905028
233.14/230.95	c cleaning 10007 clauses out of 20024 with flag 3213003/3915031
233.74/231.54	c cleaning 9996 clauses out of 20016 with flag 3223002/3925030
234.44/232.24	c cleaning 10001 clauses out of 20018 with flag 3233000/3935028
235.04/232.84	c cleaning 10003 clauses out of 20017 with flag 3243000/3945028
235.64/233.46	c cleaning 10003 clauses out of 20014 with flag 3253000/3955028
236.24/234.02	c cleaning 10003 clauses out of 20011 with flag 3263000/3965028
236.84/234.63	c cleaning 9989 clauses out of 20009 with flag 3273001/3975029
237.44/235.28	c cleaning 10007 clauses out of 20020 with flag 3283001/3985029
238.15/235.93	c cleaning 10001 clauses out of 20014 with flag 3293002/3995030
238.75/236.53	c cleaning 10000 clauses out of 20012 with flag 3303001/4005029
239.45/237.27	c cleaning 10002 clauses out of 20011 with flag 3313000/4015028
240.05/237.83	c cleaning 10001 clauses out of 20009 with flag 3323000/4025028
240.55/238.36	c cleaning 9997 clauses out of 20009 with flag 3333001/4035029
241.16/238.96	c cleaning 10001 clauses out of 20011 with flag 3343000/4045028
241.76/239.51	c cleaning 9999 clauses out of 20010 with flag 3353000/4055028
242.26/240.06	c cleaning 10002 clauses out of 20011 with flag 3363000/4065028
242.86/240.62	c cleaning 9999 clauses out of 20009 with flag 3373000/4075028
243.37/241.18	c cleaning 9998 clauses out of 20010 with flag 3383000/4085028
243.96/241.74	c cleaning 10002 clauses out of 20014 with flag 3393002/4095030
244.57/242.32	c cleaning 10001 clauses out of 20014 with flag 3403004/4105032
245.17/242.93	c cleaning 9996 clauses out of 20009 with flag 3413000/4115028
245.77/243.54	c cleaning 10001 clauses out of 20013 with flag 3423000/4125028
246.87/244.63	c cleaning 10002 clauses out of 20013 with flag 3433001/4135029
247.17/244.94	c starts		: 293
247.17/244.94	c conflicts		: 4139595
247.17/244.94	c decisions		: 6728524
247.17/244.94	c propagations		: 248251899
247.17/244.94	c inspects		: 1995044476
247.17/244.94	c shortcuts		: 0
247.17/244.94	c learnt literals	: 5
247.17/244.94	c learnt binary clauses	: 18
247.17/244.94	c learnt ternary clauses	: 584
247.17/244.94	c learnt constraints	: 4139589
247.17/244.94	c ignored constraints	: 0
247.17/244.94	c root simplifications	: 0
247.17/244.94	c removed literals (reason simplification)	: 20045431
247.17/244.94	c reason swapping (by a shorter reason)	: 0
247.17/244.94	c Calls to reduceDB	: 422
247.17/244.94	c number of reductions to clauses (during analyze)	: 0
247.17/244.94	c number of learned constraints concerned by reduction	: 0
247.17/244.94	c number of learning phase by resolution	: 0
247.17/244.94	c number of learning phase by cutting planes	: 0
247.17/244.94	c speed (assignments/second)	: 1265442.093404969
247.17/244.94	c non guided choices	5247
247.17/244.94	c learnt constraints type 
247.17/244.94	c constraints type 
247.17/244.94	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
247.17/244.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
247.17/244.94	s OPTIMUM FOUND
247.17/244.94	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 
247.17/244.94	c objective function=8
247.17/244.94	c Total wall clock time (in seconds): 244.834

Verifier Data 

OK	8

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3492038-1307911241/watcher-3492038-1307911241 -o /tmp/evaluation-result-3492038-1307911241/solver-3492038-1307911241 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492038-1307911241.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.08 2.02 1.92 2/196 14611
/proc/meminfo: memFree=1590624/32951124 swapFree=67063552/67111528
[pid=14611] ppid=14609 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/14611/stat : 14611 (java) R 14609 14611 11440 0 -1 4202496 956 0 0 0 0 0 0 0 25 0 1 0 902722256 23580672 699 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246511871464 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14611/statm: 5757 700 516 9 0 124 0

[startup+0.0603939 s]
/proc/loadavg: 2.08 2.02 1.92 2/196 14611
/proc/meminfo: memFree=1590624/32951124 swapFree=67063552/67111528
[pid=14611] ppid=14609 vsize=10468644 CPUtime=0.04 cores=0,2,4,6
/proc/14611/stat : 14611 (java) S 14609 14611 11440 0 -1 4202496 11550 0 1 0 4 0 0 0 25 0 14 0 902722256 10719891456 11246 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528636901 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/14611/statm: 2617161 11246 1691 9 0 2607909 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10468644

[startup+0.105229 s]
/proc/loadavg: 2.08 2.02 1.92 2/196 14611
/proc/meminfo: memFree=1590624/32951124 swapFree=67063552/67111528
[pid=14611] ppid=14609 vsize=10540204 CPUtime=0.11 cores=0,2,4,6
/proc/14611/stat : 14611 (java) S 14609 14611 11440 0 -1 4202496 13105 0 1 0 10 1 0 0 25 0 18 0 902722256 10793168896 12776 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14611/statm: 2635051 12777 2092 9 0 2625785 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540204

[startup+0.300182 s]
/proc/loadavg: 2.08 2.02 1.92 2/196 14611
/proc/meminfo: memFree=1590624/32951124 swapFree=67063552/67111528
[pid=14611] ppid=14609 vsize=10542488 CPUtime=0.49 cores=0,2,4,6
/proc/14611/stat : 14611 (java) S 14609 14611 11440 0 -1 4202496 16520 0 1 0 48 1 0 0 25 0 18 0 902722256 10795507712 15633 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14611/statm: 2635622 15634 2204 9 0 2626356 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542488

[startup+0.701118 s]
/proc/loadavg: 2.08 2.02 1.92 2/196 14611
/proc/meminfo: memFree=1590624/32951124 swapFree=67063552/67111528
[pid=14611] ppid=14609 vsize=10545452 CPUtime=1.61 cores=0,2,4,6
/proc/14611/stat : 14611 (java) S 14609 14611 11440 0 -1 4202496 23880 0 1 0 158 3 0 0 25 0 19 0 902722256 10798542848 19789 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14611/statm: 2636363 19789 2235 9 0 2627097 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 10545452

[startup+1.50097 s]
/proc/loadavg: 2.08 2.02 1.92 3/215 14630
/proc/meminfo: memFree=1511136/32951124 swapFree=67063552/67111528
[pid=14611] ppid=14609 vsize=10545452 CPUtime=2.41 cores=0,2,4,6
/proc/14611/stat : 14611 (java) S 14609 14611 11440 0 -1 4202496 26965 0 1 0 238 3 0 0 25 0 19 0 902722256 10798542848 22873 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14611/statm: 2636363 22873 2237 9 0 2627097 0
[pid=14611/tid=14613] ppid=14609 vsize=10545452 CPUtime=1.47 cores=0,2,4,6
/proc/14611/task/14613/stat : 14613 (java) R 14609 14611 11440 0 -1 4202560 18168 0 1 0 146 1 0 0 20 0 19 0 902722257 10798542848 22873 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 46912505740175 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14611/tid=14614] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14614/stat : 14614 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722259 10798542848 22873 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14615] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14615/stat : 14615 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722259 10798542848 22873 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14616] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14616/stat : 14616 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722259 10798542848 22873 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14617] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14617/stat : 14617 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722259 10798542848 22873 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14618] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14618/stat : 14618 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722259 10798542848 22873 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14619] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14619/stat : 14619 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722259 10798542848 22873 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14620] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14620/stat : 14620 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722259 10798542848 22873 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14621] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14621/stat : 14621 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722259 10798542848 22873 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14622] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14622/stat : 14622 (java) S 14609 14611 11440 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902722260 10798542848 22873 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 0 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14623] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14623/stat : 14623 (java) S 14609 14611 11440 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902722260 10798542848 22873 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14624] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14624/stat : 14624 (java) S 14609 14611 11440 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902722260 10798542848 22873 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14625] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14625/stat : 14625 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722262 10798542848 22873 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528657841 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14626] ppid=14609 vsize=10545452 CPUtime=0.45 cores=0,2,4,6
/proc/14611/task/14626/stat : 14626 (java) S 14609 14611 11440 0 -1 4202560 5166 0 0 0 45 0 0 0 17 0 19 0 902722262 10798542848 22873 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14627] ppid=14609 vsize=10545452 CPUtime=0.45 cores=0,2,4,6
/proc/14611/task/14627/stat : 14627 (java) S 14609 14611 11440 0 -1 4202560 2465 0 0 0 45 0 0 0 17 0 19 0 902722262 10798542848 22873 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 0 0 0 0
[pid=14611/tid=14628] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14628/stat : 14628 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722262 10798542848 22873 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14629] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14629/stat : 14629 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902722262 10798542848 22873 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14630] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14630/stat : 14630 (java) S 14609 14611 11440 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 19 0 902722293 10798542848 22873 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 10545452

[startup+3.1007 s]
/proc/loadavg: 2.08 2.02 1.92 3/215 14630
/proc/meminfo: memFree=1502828/32951124 swapFree=67063552/67111528
[pid=14611] ppid=14609 vsize=10545452 CPUtime=4.03 cores=0,2,4,6
/proc/14611/stat : 14611 (java) S 14609 14611 11440 0 -1 4202496 29566 0 1 0 400 3 0 0 25 0 19 0 902722256 10798542848 25473 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14611/statm: 2636363 25473 2237 9 0 2627097 0
[pid=14611/tid=14613] ppid=14609 vsize=10545452 CPUtime=3.07 cores=0,2,4,6
/proc/14611/task/14613/stat : 14613 (java) R 14609 14611 11440 0 -1 4202560 20764 0 1 0 306 1 0 0 18 0 19 0 902722257 10798542848 25473 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 46912505707773 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14611/tid=14614] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14614/stat : 14614 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722259 10798542848 25473 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14615] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14615/stat : 14615 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722259 10798542848 25473 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14616] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14616/stat : 14616 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722259 10798542848 25473 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14617] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14617/stat : 14617 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722259 10798542848 25473 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14618] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14618/stat : 14618 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722259 10798542848 25473 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14619] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14619/stat : 14619 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722259 10798542848 25473 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14620] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14620/stat : 14620 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722259 10798542848 25473 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14621] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14621/stat : 14621 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722259 10798542848 25473 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14622] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14622/stat : 14622 (java) S 14609 14611 11440 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902722260 10798542848 25473 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 0 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14623] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14623/stat : 14623 (java) S 14609 14611 11440 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902722260 10798542848 25473 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14624] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14624/stat : 14624 (java) S 14609 14611 11440 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902722260 10798542848 25473 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14625] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14625/stat : 14625 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722262 10798542848 25473 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528657841 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14626] ppid=14609 vsize=10545452 CPUtime=0.46 cores=0,2,4,6
/proc/14611/task/14626/stat : 14626 (java) S 14609 14611 11440 0 -1 4202560 5169 0 0 0 46 0 0 0 16 0 19 0 902722262 10798542848 25473 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14627] ppid=14609 vsize=10545452 CPUtime=0.46 cores=0,2,4,6
/proc/14611/task/14627/stat : 14627 (java) S 14609 14611 11440 0 -1 4202560 2467 0 0 0 46 0 0 0 16 0 19 0 902722262 10798542848 25473 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 0 0 0 0
[pid=14611/tid=14628] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14628/stat : 14628 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722262 10798542848 25473 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14629] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14629/stat : 14629 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902722262 10798542848 25473 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14630] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14630/stat : 14630 (java) S 14609 14611 11440 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 19 0 902722293 10798542848 25473 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 10545452

[startup+6.30107 s]
/proc/loadavg: 2.07 2.02 1.92 3/215 14630
/proc/meminfo: memFree=1485464/32951124 swapFree=67063552/67111528
[pid=14611] ppid=14609 vsize=10545452 CPUtime=7.44 cores=0,2,4,6
/proc/14611/stat : 14611 (java) S 14609 14611 11440 0 -1 4202496 32886 0 1 0 741 3 0 0 25 0 19 0 902722256 10798542848 28059 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14611/statm: 2636363 28059 2263 9 0 2627097 0
[pid=14611/tid=14613] ppid=14609 vsize=10545452 CPUtime=6.18 cores=0,2,4,6
/proc/14611/task/14613/stat : 14613 (java) R 14609 14611 11440 0 -1 4202560 20806 0 1 0 617 1 0 0 23 0 19 0 902722257 10798542848 28059 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 46912505721537 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14611/tid=14614] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14614/stat : 14614 (java) S 14609 14611 11440 0 -1 4202560 180 0 0 0 0 0 0 0 15 0 19 0 902722259 10798542848 28059 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 0 0 0 0
[pid=14611/tid=14615] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14615/stat : 14615 (java) S 14609 14611 11440 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 902722259 10798542848 28059 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14616] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14616/stat : 14616 (java) S 14609 14611 11440 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902722259 10798542848 28059 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14617] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14617/stat : 14617 (java) S 14609 14611 11440 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 902722259 10798542848 28059 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14618] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14618/stat : 14618 (java) S 14609 14611 11440 0 -1 4202560 230 0 0 0 0 0 0 0 16 0 19 0 902722259 10798542848 28059 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 0 0 0 0
[pid=14611/tid=14619] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14619/stat : 14619 (java) S 14609 14611 11440 0 -1 4202560 289 0 0 0 0 0 0 0 15 0 19 0 902722259 10798542848 28059 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14620] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14620/stat : 14620 (java) S 14609 14611 11440 0 -1 4202560 231 0 0 0 0 0 0 0 15 0 19 0 902722259 10798542848 28059 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14621] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14621/stat : 14621 (java) S 14609 14611 11440 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 19 0 902722259 10798542848 28059 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14622] ppid=14609 vsize=10545452 CPUtime=0.07 cores=0,2,4,6
/proc/14611/task/14622/stat : 14622 (java) S 14609 14611 11440 0 -1 4202560 1199 0 0 0 7 0 0 0 15 0 19 0 902722260 10798542848 28059 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 0 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14623] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14623/stat : 14623 (java) S 14609 14611 11440 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902722260 10798542848 28059 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14624] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14624/stat : 14624 (java) S 14609 14611 11440 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902722260 10798542848 28059 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14625] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14625/stat : 14625 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722262 10798542848 28059 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528657841 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14626] ppid=14609 vsize=10545452 CPUtime=0.64 cores=0,2,4,6
/proc/14611/task/14626/stat : 14626 (java) S 14609 14611 11440 0 -1 4202560 5925 0 0 0 64 0 0 0 15 0 19 0 902722262 10798542848 28059 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14627] ppid=14609 vsize=10545452 CPUtime=0.49 cores=0,2,4,6
/proc/14611/task/14627/stat : 14627 (java) S 14609 14611 11440 0 -1 4202560 2475 0 0 0 49 0 0 0 15 0 19 0 902722262 10798542848 28059 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 0 0 0 0
[pid=14611/tid=14628] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14628/stat : 14628 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722262 10798542848 28059 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14629] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14629/stat : 14629 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902722262 10798542848 28059 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 4 0 16800975 18446604440574453056 0 0 -1 0 0 0 0
[pid=14611/tid=14630] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14630/stat : 14630 (java) S 14609 14611 11440 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 19 0 902722293 10798542848 28059 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.44
Current children cumulated vsize (KiB) 10545452

[startup+12.7009 s]

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

/proc/14611/task/14614/stat : 14614 (java) S 14609 14611 11440 0 -1 4202560 198 0 0 0 14 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14615] ppid=14609 vsize=10545452 CPUtime=0.1 cores=0,2,4,6
/proc/14611/task/14615/stat : 14615 (java) S 14609 14611 11440 0 -1 4202560 18 0 0 0 10 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14616] ppid=14609 vsize=10545452 CPUtime=0.1 cores=0,2,4,6
/proc/14611/task/14616/stat : 14616 (java) S 14609 14611 11440 0 -1 4202560 18 0 0 0 10 0 0 0 16 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14617] ppid=14609 vsize=10545452 CPUtime=0.11 cores=0,2,4,6
/proc/14611/task/14617/stat : 14617 (java) S 14609 14611 11440 0 -1 4202560 92 0 0 0 11 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14618] ppid=14609 vsize=10545452 CPUtime=0.13 cores=0,2,4,6
/proc/14611/task/14618/stat : 14618 (java) S 14609 14611 11440 0 -1 4202560 254 0 0 0 13 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14619] ppid=14609 vsize=10545452 CPUtime=0.14 cores=0,2,4,6
/proc/14611/task/14619/stat : 14619 (java) S 14609 14611 11440 0 -1 4202560 307 0 0 0 14 0 0 0 16 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14620] ppid=14609 vsize=10545452 CPUtime=0.13 cores=0,2,4,6
/proc/14611/task/14620/stat : 14620 (java) S 14609 14611 11440 0 -1 4202560 247 0 0 0 13 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14621] ppid=14609 vsize=10545452 CPUtime=0.13 cores=0,2,4,6
/proc/14611/task/14621/stat : 14621 (java) S 14609 14611 11440 0 -1 4202560 323 0 0 0 13 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14622] ppid=14609 vsize=10545452 CPUtime=7.68 cores=0,2,4,6
/proc/14611/task/14622/stat : 14622 (java) S 14609 14611 11440 0 -1 4202560 1798 0 0 0 761 7 0 0 15 0 19 0 902722260 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 0 0 16800975 18446604440574453056 0 0 -1 0 0 0 0
[pid=14611/tid=14623] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14623/stat : 14623 (java) S 14609 14611 11440 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902722260 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14624] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14624/stat : 14624 (java) S 14609 14611 11440 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902722260 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14625] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14625/stat : 14625 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722262 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528657841 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14626] ppid=14609 vsize=10545452 CPUtime=1.34 cores=0,2,4,6
/proc/14611/task/14626/stat : 14626 (java) S 14609 14611 11440 0 -1 4202560 14849 0 0 0 132 2 0 0 15 0 19 0 902722262 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14627] ppid=14609 vsize=10545452 CPUtime=0.5 cores=0,2,4,6
/proc/14611/task/14627/stat : 14627 (java) S 14609 14611 11440 0 -1 4202560 2475 0 0 0 50 0 0 0 15 0 19 0 902722262 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 0 0 0 0
[pid=14611/tid=14628] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14628/stat : 14628 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722262 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14629] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14629/stat : 14629 (java) S 14609 14611 11440 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 902722262 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14630] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14630/stat : 14630 (java) S 14609 14611 11440 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 19 0 902722293 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 245.37
Current children cumulated vsize (KiB) 10545452

[startup+243.901 s]
/proc/loadavg: 2.06 2.04 1.94 3/215 14637
/proc/meminfo: memFree=1467652/32951124 swapFree=67063552/67111528
[pid=14611] ppid=14609 vsize=10545452 CPUtime=246.17 cores=0,2,4,6
/proc/14611/stat : 14611 (java) S 14609 14611 11440 0 -1 4202496 42970 0 1 0 24603 14 0 0 25 0 19 0 902722256 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14611/statm: 2636363 31914 2264 9 0 2627097 0
[pid=14611/tid=14613] ppid=14609 vsize=10545452 CPUtime=235.56 cores=0,2,4,6
/proc/14611/task/14613/stat : 14613 (java) R 14609 14611 11440 0 -1 4202560 21221 0 1 0 23554 2 0 0 25 0 19 0 902722257 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 46912505829880 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14611/tid=14614] ppid=14609 vsize=10545452 CPUtime=0.14 cores=0,2,4,6
/proc/14611/task/14614/stat : 14614 (java) S 14609 14611 11440 0 -1 4202560 198 0 0 0 14 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14615] ppid=14609 vsize=10545452 CPUtime=0.1 cores=0,2,4,6
/proc/14611/task/14615/stat : 14615 (java) S 14609 14611 11440 0 -1 4202560 18 0 0 0 10 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14616] ppid=14609 vsize=10545452 CPUtime=0.1 cores=0,2,4,6
/proc/14611/task/14616/stat : 14616 (java) S 14609 14611 11440 0 -1 4202560 18 0 0 0 10 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14617] ppid=14609 vsize=10545452 CPUtime=0.11 cores=0,2,4,6
/proc/14611/task/14617/stat : 14617 (java) S 14609 14611 11440 0 -1 4202560 92 0 0 0 11 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14618] ppid=14609 vsize=10545452 CPUtime=0.14 cores=0,2,4,6
/proc/14611/task/14618/stat : 14618 (java) S 14609 14611 11440 0 -1 4202560 254 0 0 0 14 0 0 0 16 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14619] ppid=14609 vsize=10545452 CPUtime=0.14 cores=0,2,4,6
/proc/14611/task/14619/stat : 14619 (java) S 14609 14611 11440 0 -1 4202560 307 0 0 0 14 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14620] ppid=14609 vsize=10545452 CPUtime=0.13 cores=0,2,4,6
/proc/14611/task/14620/stat : 14620 (java) S 14609 14611 11440 0 -1 4202560 247 0 0 0 13 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14621] ppid=14609 vsize=10545452 CPUtime=0.13 cores=0,2,4,6
/proc/14611/task/14621/stat : 14621 (java) S 14609 14611 11440 0 -1 4202560 323 0 0 0 13 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14622] ppid=14609 vsize=10545452 CPUtime=7.7 cores=0,2,4,6
/proc/14611/task/14622/stat : 14622 (java) S 14609 14611 11440 0 -1 4202560 1798 0 0 0 763 7 0 0 15 0 19 0 902722260 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 0 0 16800975 18446604440574453056 0 0 -1 0 0 0 0
[pid=14611/tid=14623] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14623/stat : 14623 (java) S 14609 14611 11440 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902722260 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14624] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14624/stat : 14624 (java) S 14609 14611 11440 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902722260 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14625] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14625/stat : 14625 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722262 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528657841 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14626] ppid=14609 vsize=10545452 CPUtime=1.34 cores=0,2,4,6
/proc/14611/task/14626/stat : 14626 (java) S 14609 14611 11440 0 -1 4202560 14849 0 0 0 132 2 0 0 15 0 19 0 902722262 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14627] ppid=14609 vsize=10545452 CPUtime=0.5 cores=0,2,4,6
/proc/14611/task/14627/stat : 14627 (java) S 14609 14611 11440 0 -1 4202560 2475 0 0 0 50 0 0 0 15 0 19 0 902722262 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 0 0 0 0
[pid=14611/tid=14628] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14628/stat : 14628 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722262 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14629] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14629/stat : 14629 (java) S 14609 14611 11440 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 902722262 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14630] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14630/stat : 14630 (java) S 14609 14611 11440 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 19 0 902722293 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 246.17
Current children cumulated vsize (KiB) 10545452

[startup+244.701 s]
/proc/loadavg: 2.06 2.04 1.94 3/215 14637
/proc/meminfo: memFree=1467528/32951124 swapFree=67063552/67111528
[pid=14611] ppid=14609 vsize=10545452 CPUtime=246.97 cores=0,2,4,6
/proc/14611/stat : 14611 (java) S 14609 14611 11440 0 -1 4202496 42972 0 1 0 24683 14 0 0 25 0 19 0 902722256 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14611/statm: 2636363 31914 2264 9 0 2627097 0
[pid=14611/tid=14613] ppid=14609 vsize=10545452 CPUtime=236.34 cores=0,2,4,6
/proc/14611/task/14613/stat : 14613 (java) R 14609 14611 11440 0 -1 4202560 21223 0 1 0 23632 2 0 0 17 0 19 0 902722257 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 46912505707723 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14611/tid=14614] ppid=14609 vsize=10545452 CPUtime=0.14 cores=0,2,4,6
/proc/14611/task/14614/stat : 14614 (java) S 14609 14611 11440 0 -1 4202560 198 0 0 0 14 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14615] ppid=14609 vsize=10545452 CPUtime=0.1 cores=0,2,4,6
/proc/14611/task/14615/stat : 14615 (java) S 14609 14611 11440 0 -1 4202560 18 0 0 0 10 0 0 0 16 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14616] ppid=14609 vsize=10545452 CPUtime=0.1 cores=0,2,4,6
/proc/14611/task/14616/stat : 14616 (java) S 14609 14611 11440 0 -1 4202560 18 0 0 0 10 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14617] ppid=14609 vsize=10545452 CPUtime=0.11 cores=0,2,4,6
/proc/14611/task/14617/stat : 14617 (java) S 14609 14611 11440 0 -1 4202560 92 0 0 0 11 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14618] ppid=14609 vsize=10545452 CPUtime=0.14 cores=0,2,4,6
/proc/14611/task/14618/stat : 14618 (java) S 14609 14611 11440 0 -1 4202560 254 0 0 0 14 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14619] ppid=14609 vsize=10545452 CPUtime=0.14 cores=0,2,4,6
/proc/14611/task/14619/stat : 14619 (java) S 14609 14611 11440 0 -1 4202560 307 0 0 0 14 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14620] ppid=14609 vsize=10545452 CPUtime=0.13 cores=0,2,4,6
/proc/14611/task/14620/stat : 14620 (java) S 14609 14611 11440 0 -1 4202560 247 0 0 0 13 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14621] ppid=14609 vsize=10545452 CPUtime=0.13 cores=0,2,4,6
/proc/14611/task/14621/stat : 14621 (java) S 14609 14611 11440 0 -1 4202560 323 0 0 0 13 0 0 0 15 0 19 0 902722259 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14622] ppid=14609 vsize=10545452 CPUtime=7.72 cores=0,2,4,6
/proc/14611/task/14622/stat : 14622 (java) S 14609 14611 11440 0 -1 4202560 1798 0 0 0 765 7 0 0 15 0 19 0 902722260 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 0 0 16800975 18446604440574453056 0 0 -1 0 0 0 0
[pid=14611/tid=14623] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14623/stat : 14623 (java) S 14609 14611 11440 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902722260 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14624] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14624/stat : 14624 (java) S 14609 14611 11440 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902722260 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14625] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14625/stat : 14625 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722262 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528657841 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14626] ppid=14609 vsize=10545452 CPUtime=1.34 cores=0,2,4,6
/proc/14611/task/14626/stat : 14626 (java) S 14609 14611 11440 0 -1 4202560 14849 0 0 0 132 2 0 0 15 0 19 0 902722262 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14627] ppid=14609 vsize=10545452 CPUtime=0.5 cores=0,2,4,6
/proc/14611/task/14627/stat : 14627 (java) S 14609 14611 11440 0 -1 4202560 2475 0 0 0 50 0 0 0 15 0 19 0 902722262 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 0 0 0 0
[pid=14611/tid=14628] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14628/stat : 14628 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722262 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14629] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14629/stat : 14629 (java) S 14609 14611 11440 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 902722262 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14630] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14630/stat : 14630 (java) S 14609 14611 11440 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 19 0 902722293 10798542848 31914 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 246.97
Current children cumulated vsize (KiB) 10545452

[startup+244.901 s]
/proc/loadavg: 2.06 2.04 1.94 3/215 14637
/proc/meminfo: memFree=1467528/32951124 swapFree=67063552/67111528
[pid=14611] ppid=14609 vsize=10545452 CPUtime=247.17 cores=0,2,4,6
/proc/14611/stat : 14611 (java) S 14609 14611 11440 0 -1 4202496 42973 0 1 0 24703 14 0 0 25 0 19 0 902722256 10798542848 31915 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14611/statm: 2636363 31915 2264 9 0 2627097 0
[pid=14611/tid=14613] ppid=14609 vsize=10545452 CPUtime=236.54 cores=0,2,4,6
/proc/14611/task/14613/stat : 14613 (java) R 14609 14611 11440 0 -1 4202560 21224 0 1 0 23652 2 0 0 17 0 19 0 902722257 10798542848 31915 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 46912505721490 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14611/tid=14614] ppid=14609 vsize=10545452 CPUtime=0.14 cores=0,2,4,6
/proc/14611/task/14614/stat : 14614 (java) S 14609 14611 11440 0 -1 4202560 198 0 0 0 14 0 0 0 15 0 19 0 902722259 10798542848 31915 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14615] ppid=14609 vsize=10545452 CPUtime=0.1 cores=0,2,4,6
/proc/14611/task/14615/stat : 14615 (java) S 14609 14611 11440 0 -1 4202560 18 0 0 0 10 0 0 0 16 0 19 0 902722259 10798542848 31915 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14616] ppid=14609 vsize=10545452 CPUtime=0.1 cores=0,2,4,6
/proc/14611/task/14616/stat : 14616 (java) S 14609 14611 11440 0 -1 4202560 18 0 0 0 10 0 0 0 15 0 19 0 902722259 10798542848 31915 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14617] ppid=14609 vsize=10545452 CPUtime=0.11 cores=0,2,4,6
/proc/14611/task/14617/stat : 14617 (java) S 14609 14611 11440 0 -1 4202560 92 0 0 0 11 0 0 0 15 0 19 0 902722259 10798542848 31915 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14618] ppid=14609 vsize=10545452 CPUtime=0.14 cores=0,2,4,6
/proc/14611/task/14618/stat : 14618 (java) S 14609 14611 11440 0 -1 4202560 254 0 0 0 14 0 0 0 15 0 19 0 902722259 10798542848 31915 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14619] ppid=14609 vsize=10545452 CPUtime=0.14 cores=0,2,4,6
/proc/14611/task/14619/stat : 14619 (java) S 14609 14611 11440 0 -1 4202560 307 0 0 0 14 0 0 0 15 0 19 0 902722259 10798542848 31915 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14620] ppid=14609 vsize=10545452 CPUtime=0.13 cores=0,2,4,6
/proc/14611/task/14620/stat : 14620 (java) S 14609 14611 11440 0 -1 4202560 247 0 0 0 13 0 0 0 15 0 19 0 902722259 10798542848 31915 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14621] ppid=14609 vsize=10545452 CPUtime=0.13 cores=0,2,4,6
/proc/14611/task/14621/stat : 14621 (java) S 14609 14611 11440 0 -1 4202560 323 0 0 0 13 0 0 0 15 0 19 0 902722259 10798542848 31915 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14622] ppid=14609 vsize=10545452 CPUtime=7.72 cores=0,2,4,6
/proc/14611/task/14622/stat : 14622 (java) S 14609 14611 11440 0 -1 4202560 1798 0 0 0 765 7 0 0 15 0 19 0 902722260 10798542848 31915 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 0 0 16800975 18446604440574453056 0 0 -1 0 0 0 0
[pid=14611/tid=14623] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14623/stat : 14623 (java) S 14609 14611 11440 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902722260 10798542848 31915 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14624] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14624/stat : 14624 (java) S 14609 14611 11440 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902722260 10798542848 31915 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14625] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14625/stat : 14625 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722262 10798542848 31915 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528657841 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14626] ppid=14609 vsize=10545452 CPUtime=1.34 cores=0,2,4,6
/proc/14611/task/14626/stat : 14626 (java) S 14609 14611 11440 0 -1 4202560 14849 0 0 0 132 2 0 0 15 0 19 0 902722262 10798542848 31915 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 2 0 0 0
[pid=14611/tid=14627] ppid=14609 vsize=10545452 CPUtime=0.5 cores=0,2,4,6
/proc/14611/task/14627/stat : 14627 (java) S 14609 14611 11440 0 -1 4202560 2475 0 0 0 50 0 0 0 15 0 19 0 902722262 10798542848 31915 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 0 0 0 0
[pid=14611/tid=14628] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14628/stat : 14628 (java) S 14609 14611 11440 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902722262 10798542848 31915 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650137 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
[pid=14611/tid=14629] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14629/stat : 14629 (java) S 14609 14611 11440 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 902722262 10798542848 31915 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 4 0 16800975 18446604440574453056 0 0 -1 4 0 0 0
[pid=14611/tid=14630] ppid=14609 vsize=10545452 CPUtime=0 cores=0,2,4,6
/proc/14611/task/14630/stat : 14630 (java) S 14609 14611 11440 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 19 0 902722293 10798542848 31915 33554432000 1073741824 1073778376 140735132647552 18446744073709551615 246528650752 0 4 0 16800975 18446604440574453056 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 247.17
Current children cumulated vsize (KiB) 10545452

Child status: 30
Real time (s): 244.952
CPU time (s): 247.228
CPU user time (s): 247.079
CPU system time (s): 0.148977
CPU usage (%): 100.929
Max. virtual memory (cumulated for all children) (KiB): 10545452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.079
system time used= 0.148977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43000
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= 16127
involuntary context switches= 5095

runsolver used 0.450931 second user time and 0.897863 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-12 22:40:41
IDJOB=3492038
IDBENCH=79264
IDSOLVER=1982
FILE ID=node134/3492038-1307911241
RUNJOBID= node134-1307908842-14200
PBS_JOBID= 13559572
Free space on /tmp= 1424 MiB

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

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

MD5SUM BENCH= 67acad5bcb13fd291a4cc974e7f18780
RANDOM SEED=84701486

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1591028 kB
Buffers:         73496 kB
Cached:       30238384 kB
SwapCached:      10044 kB
Active:       15496644 kB
Inactive:     14917200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1591028 kB
SwapTotal:    67111528 kB
SwapFree:     67063552 kB
Dirty:             484 kB
Writeback:           0 kB
AnonPages:       99536 kB
Mapped:          18504 kB
Slab:           883616 kB
PageTables:       4272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10537248 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 1424 MiB
End job on node134 at 2011-06-12 22:44:46