Trace number 3492175

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 260.66 258.207

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900576360--soft-0-100-0.wbo
MD5SUMda8b4d3fc4733201ddcbc92154231f9d
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark119.676
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 136625
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136624
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 733
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.1.v20110525
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.18-164.el5
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		9996466904
0.01/0.09	c Max memory 		10048897024
0.01/0.09	c Total memory 		10048897024
0.01/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492175-1307911642.wbo
0.10/0.11	c reading problem ... 
0.49/0.32	c ... done. Wall clock time 0.212s.
0.49/0.32	c #vars     2938
0.49/0.32	c #constraints  2707
0.49/0.32	c constraints type 
0.49/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
0.49/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
1.09/0.53	c SATISFIABLE
1.09/0.53	c OPTIMIZING...
1.09/0.53	c Got one! Elapsed wall clock time (in seconds):0.424
1.09/0.53	o 553
1.09/0.57	c Got one! Elapsed wall clock time (in seconds):0.463
1.09/0.57	o 274
1.37/0.60	c Got one! Elapsed wall clock time (in seconds):0.49
1.37/0.60	o 258
1.37/0.62	c Got one! Elapsed wall clock time (in seconds):0.514
1.37/0.62	o 231
1.37/0.66	c Got one! Elapsed wall clock time (in seconds):0.552
1.37/0.66	o 220
1.59/0.71	c Got one! Elapsed wall clock time (in seconds):0.604
1.59/0.71	o 206
1.59/0.73	c Got one! Elapsed wall clock time (in seconds):0.624
1.59/0.73	o 188
1.59/0.77	c Got one! Elapsed wall clock time (in seconds):0.66
1.59/0.77	o 185
1.70/0.80	c Got one! Elapsed wall clock time (in seconds):0.692
1.70/0.80	o 170
1.70/0.82	c Got one! Elapsed wall clock time (in seconds):0.708
1.70/0.82	o 167
1.70/0.84	c Got one! Elapsed wall clock time (in seconds):0.73
1.70/0.84	o 162
1.70/0.87	c Got one! Elapsed wall clock time (in seconds):0.757
1.70/0.87	o 159
1.80/0.90	c Got one! Elapsed wall clock time (in seconds):0.795
1.80/0.90	o 151
1.80/0.96	c Got one! Elapsed wall clock time (in seconds):0.848
1.80/0.96	o 133
1.80/0.98	c Got one! Elapsed wall clock time (in seconds):0.867
1.80/0.98	o 85
2.02/1.19	c Got one! Elapsed wall clock time (in seconds):1.077
2.02/1.19	o 81
2.11/1.29	c Got one! Elapsed wall clock time (in seconds):1.183
2.11/1.29	o 77
2.21/1.38	c Got one! Elapsed wall clock time (in seconds):1.272
2.21/1.38	o 76
2.51/1.68	c Got one! Elapsed wall clock time (in seconds):1.575
2.51/1.68	o 74
2.61/1.74	c Got one! Elapsed wall clock time (in seconds):1.634
2.61/1.74	o 66
2.71/1.85	c Got one! Elapsed wall clock time (in seconds):1.743
2.71/1.85	o 61
2.81/1.95	c Got one! Elapsed wall clock time (in seconds):1.843
2.81/1.95	o 59
3.02/2.18	c Got one! Elapsed wall clock time (in seconds):2.074
3.02/2.18	o 45
3.33/2.45	c Got one! Elapsed wall clock time (in seconds):2.344
3.33/2.45	o 38
3.63/2.73	c Got one! Elapsed wall clock time (in seconds):2.622
3.63/2.73	o 22
3.73/2.89	c cleaning 7073 clauses out of 14154 with flag 1000/14154
3.96/3.06	c Got one! Elapsed wall clock time (in seconds):2.95
3.96/3.06	o 21
4.36/3.46	c cleaning 6301 clauses out of 12607 with flag 4000/19680
5.17/4.26	c Got one! Elapsed wall clock time (in seconds):4.153
5.17/4.26	o 10
5.80/4.70	c cleaning 8424 clauses out of 16857 with flag 5000/30231
6.49/5.12	c cleaning 7214 clauses out of 14433 with flag 11000/36231
7.27/5.59	c cleaning 7104 clauses out of 14219 with flag 18000/43231
7.78/6.09	c cleaning 7555 clauses out of 15115 with flag 26000/51231
8.39/6.63	c cleaning 8275 clauses out of 16563 with flag 35003/60234
8.98/7.23	c cleaning 9139 clauses out of 18286 with flag 45001/70232
9.28/7.57	c Got one! Elapsed wall clock time (in seconds):7.459
9.28/7.57	o 8
9.68/7.97	c cleaning 10012 clauses out of 20035 with flag 5000/81120
10.08/8.36	c cleaning 8008 clauses out of 16026 with flag 11003/87123
10.49/8.75	c cleaning 7502 clauses out of 15017 with flag 18002/94122
10.98/9.20	c cleaning 7754 clauses out of 15517 with flag 26004/102124
11.38/9.68	c Got one! Elapsed wall clock time (in seconds):9.567
11.38/9.68	o 7
11.78/10.08	c cleaning 10846 clauses out of 21698 with flag 5001/116059
12.19/10.45	c cleaning 8420 clauses out of 16851 with flag 11000/122058
12.60/10.84	c cleaning 7709 clauses out of 15433 with flag 18002/129060
13.00/11.29	c cleaning 7851 clauses out of 15722 with flag 26000/137058
13.50/11.73	c cleaning 8432 clauses out of 16872 with flag 35001/146059
14.20/12.42	c cleaning 9213 clauses out of 18439 with flag 45000/156058
14.70/12.99	c cleaning 9615 clauses out of 19234 with flag 55008/166066
15.01/13.23	c Got one! Elapsed wall clock time (in seconds):13.117
15.01/13.23	o 5
15.01/13.29	c cleaning 7677 clauses out of 15359 with flag 1001/171806
15.40/13.65	c cleaning 6830 clauses out of 13682 with flag 7001/177806
15.80/14.00	c cleaning 6919 clauses out of 13853 with flag 14002/184807
16.11/14.38	c cleaning 7456 clauses out of 14933 with flag 22001/192806
16.60/14.81	c cleaning 8236 clauses out of 16477 with flag 31001/201806
17.11/15.35	c cleaning 9113 clauses out of 18240 with flag 41000/211805
17.61/15.86	c cleaning 9557 clauses out of 19128 with flag 51001/221806
18.11/16.33	c cleaning 9778 clauses out of 19572 with flag 61002/231807
18.51/16.79	c cleaning 9894 clauses out of 19793 with flag 71001/241806
19.01/17.28	c cleaning 9942 clauses out of 19898 with flag 81000/251805
19.61/17.80	c cleaning 9976 clauses out of 19957 with flag 91001/261806
19.81/18.09	c Got one! Elapsed wall clock time (in seconds):17.976
19.81/18.09	o 4
20.21/18.46	c cleaning 10520 clauses out of 21056 with flag 5000/272881
20.52/18.79	c cleaning 8263 clauses out of 16537 with flag 11001/278882
20.91/19.13	c cleaning 7632 clauses out of 15273 with flag 18000/285881
21.31/19.55	c cleaning 7814 clauses out of 15641 with flag 26000/293881
21.71/19.99	c cleaning 8411 clauses out of 16827 with flag 35000/302881
22.22/20.45	c cleaning 9204 clauses out of 18417 with flag 45001/312882
22.73/20.95	c cleaning 9605 clauses out of 19213 with flag 55001/322882
23.22/21.45	c cleaning 9798 clauses out of 19607 with flag 65000/332881
23.73/21.96	c cleaning 9898 clauses out of 19809 with flag 75000/342881
24.22/22.47	c cleaning 9946 clauses out of 19911 with flag 85000/352881
24.75/22.99	c cleaning 9971 clauses out of 19965 with flag 95000/362881
25.25/23.46	c cleaning 9994 clauses out of 19997 with flag 105003/372884
25.75/23.96	c cleaning 9986 clauses out of 20000 with flag 115000/382881
26.25/24.48	c cleaning 10003 clauses out of 20015 with flag 125001/392882
26.85/25.01	c cleaning 10004 clauses out of 20017 with flag 135006/402887
27.16/25.38	c Got one! Elapsed wall clock time (in seconds):25.275
27.16/25.38	o 3
27.55/25.79	c cleaning 11406 clauses out of 22818 with flag 5001/415692
27.95/26.13	c cleaning 8698 clauses out of 17414 with flag 11003/421694
28.26/26.48	c cleaning 7850 clauses out of 15714 with flag 18001/428692
28.65/26.89	c cleaning 7923 clauses out of 15863 with flag 26000/436691
29.15/27.36	c cleaning 8464 clauses out of 16942 with flag 35002/445693
29.76/27.97	c cleaning 9225 clauses out of 18476 with flag 45000/455691
30.26/28.43	c cleaning 9620 clauses out of 19251 with flag 55000/465691
30.76/28.92	c cleaning 9808 clauses out of 19631 with flag 65000/475691
31.26/29.40	c cleaning 9902 clauses out of 19826 with flag 75003/485694
31.66/29.87	c cleaning 9949 clauses out of 19921 with flag 85000/495691
32.16/30.34	c cleaning 9977 clauses out of 19972 with flag 95000/505691
32.57/30.80	c cleaning 9993 clauses out of 19997 with flag 105002/515693
33.06/31.29	c cleaning 9997 clauses out of 20003 with flag 115001/525692
33.56/31.79	c cleaning 9998 clauses out of 20007 with flag 125002/535693
34.06/32.27	c cleaning 9997 clauses out of 20007 with flag 135000/545691
34.56/32.80	c cleaning 10000 clauses out of 20012 with flag 145002/555693
35.06/33.29	c cleaning 9998 clauses out of 20011 with flag 155001/565692
35.57/33.77	c cleaning 10002 clauses out of 20014 with flag 165002/575693
36.08/34.28	c cleaning 9999 clauses out of 20010 with flag 175000/585691
36.58/34.78	c cleaning 10000 clauses out of 20011 with flag 185000/595691
37.09/35.29	c cleaning 10000 clauses out of 20011 with flag 195000/605691
37.68/35.80	c cleaning 9998 clauses out of 20011 with flag 205000/615691
38.09/36.28	c cleaning 9999 clauses out of 20013 with flag 215000/625691
38.68/36.82	c cleaning 10005 clauses out of 20016 with flag 225002/635693
39.19/37.32	c cleaning 9999 clauses out of 20011 with flag 235002/645693
39.68/37.88	c cleaning 9997 clauses out of 20010 with flag 245000/655691
40.29/38.41	c cleaning 10001 clauses out of 20013 with flag 255000/665691
40.78/38.97	c cleaning 9999 clauses out of 20012 with flag 265000/675691
41.39/39.51	c cleaning 10001 clauses out of 20014 with flag 275001/685692
41.88/40.07	c cleaning 10002 clauses out of 20012 with flag 285000/695691
42.49/40.63	c cleaning 9995 clauses out of 20010 with flag 295000/705691
43.09/41.21	c cleaning 10000 clauses out of 20016 with flag 305001/715692
43.60/41.71	c cleaning 10000 clauses out of 20015 with flag 315000/725691
44.09/42.23	c cleaning 10004 clauses out of 20015 with flag 325000/735691
44.59/42.79	c cleaning 9998 clauses out of 20011 with flag 335000/745691
45.19/43.35	c cleaning 10001 clauses out of 20014 with flag 345001/755692
45.80/43.93	c cleaning 9999 clauses out of 20012 with flag 355000/765691
46.40/44.54	c cleaning 10000 clauses out of 20015 with flag 365002/775693
47.00/45.14	c cleaning 10001 clauses out of 20013 with flag 375000/785691
47.60/45.76	c cleaning 9998 clauses out of 20013 with flag 385001/795692
48.20/46.32	c cleaning 9997 clauses out of 20014 with flag 395000/805691
48.70/46.88	c cleaning 10006 clauses out of 20020 with flag 405003/815694
49.30/47.42	c cleaning 10002 clauses out of 20014 with flag 415003/825694
49.80/47.95	c cleaning 10000 clauses out of 20011 with flag 425002/835693
50.40/48.50	c cleaning 9998 clauses out of 20009 with flag 435000/845691
50.90/49.04	c cleaning 10002 clauses out of 20011 with flag 445000/855691
51.50/49.66	c cleaning 10000 clauses out of 20009 with flag 455000/865691
52.11/50.26	c cleaning 9994 clauses out of 20009 with flag 465000/875691
52.70/50.84	c cleaning 10001 clauses out of 20015 with flag 475000/885691
53.30/51.46	c cleaning 10005 clauses out of 20018 with flag 485004/895695
53.91/52.07	c cleaning 10002 clauses out of 20011 with flag 495002/905693
54.51/52.64	c cleaning 9998 clauses out of 20007 with flag 505000/915691
55.11/53.22	c cleaning 9998 clauses out of 20009 with flag 515000/925691
55.61/53.74	c cleaning 10002 clauses out of 20011 with flag 525000/935691
56.21/54.30	c cleaning 9997 clauses out of 20009 with flag 535000/945691
56.71/54.87	c cleaning 10003 clauses out of 20013 with flag 545001/955692
57.31/55.46	c cleaning 9994 clauses out of 20010 with flag 555001/965692
57.82/55.99	c cleaning 10003 clauses out of 20016 with flag 565001/975692
58.42/56.54	c cleaning 10002 clauses out of 20014 with flag 575002/985693
58.92/57.07	c cleaning 10003 clauses out of 20010 with flag 585000/995691
59.52/57.63	c cleaning 10003 clauses out of 20009 with flag 595002/1005693
60.02/58.14	c cleaning 9997 clauses out of 20004 with flag 605000/1015691
60.52/58.64	c cleaning 9998 clauses out of 20008 with flag 615001/1025692
61.02/59.17	c cleaning 9997 clauses out of 20009 with flag 625000/1035691
61.62/59.77	c cleaning 9999 clauses out of 20012 with flag 635000/1045691
62.33/60.45	c cleaning 10004 clauses out of 20015 with flag 645002/1055693
62.93/61.09	c cleaning 9997 clauses out of 20010 with flag 655001/1065692
63.63/61.70	c cleaning 9996 clauses out of 20013 with flag 665001/1075692
64.13/62.23	c cleaning 10001 clauses out of 20016 with flag 675000/1085691
64.63/62.76	c cleaning 10004 clauses out of 20015 with flag 685000/1095691
65.23/63.30	c cleaning 10003 clauses out of 20012 with flag 695001/1105692
65.73/63.85	c cleaning 9998 clauses out of 20008 with flag 705000/1115691
66.33/64.44	c cleaning 9998 clauses out of 20012 with flag 715002/1125693
66.93/65.04	c cleaning 10002 clauses out of 20013 with flag 725001/1135692
67.54/65.61	c cleaning 10002 clauses out of 20011 with flag 735001/1145692
68.04/66.18	c cleaning 9999 clauses out of 20010 with flag 745002/1155693
68.64/66.71	c cleaning 9997 clauses out of 20011 with flag 755002/1165693
69.15/67.23	c cleaning 10000 clauses out of 20014 with flag 765002/1175693
69.65/67.79	c cleaning 9997 clauses out of 20012 with flag 775000/1185691
70.25/68.36	c cleaning 10002 clauses out of 20017 with flag 785002/1195693
70.75/68.88	c cleaning 10001 clauses out of 20013 with flag 795000/1205691
71.35/69.42	c cleaning 10002 clauses out of 20014 with flag 805002/1215693
71.85/69.93	c cleaning 10003 clauses out of 20014 with flag 815004/1225695
72.35/70.48	c cleaning 9999 clauses out of 20007 with flag 825000/1235691
72.85/70.99	c cleaning 9998 clauses out of 20009 with flag 835001/1245692
73.45/71.51	c cleaning 10003 clauses out of 20011 with flag 845001/1255692
73.95/72.01	c cleaning 9995 clauses out of 20007 with flag 855000/1265691
74.46/72.55	c cleaning 10001 clauses out of 20013 with flag 865001/1275692
75.05/73.10	c cleaning 10001 clauses out of 20011 with flag 875000/1285691
75.66/73.72	c cleaning 9993 clauses out of 20010 with flag 885000/1295691
76.16/74.26	c cleaning 10003 clauses out of 20017 with flag 895000/1305691
76.66/74.76	c cleaning 9999 clauses out of 20014 with flag 905000/1315691
77.16/75.25	c cleaning 10001 clauses out of 20015 with flag 915000/1325691
77.66/75.79	c cleaning 10004 clauses out of 20015 with flag 925001/1335692
78.26/76.34	c cleaning 10000 clauses out of 20010 with flag 935000/1345691
78.76/76.88	c cleaning 10000 clauses out of 20012 with flag 945002/1355693
79.36/77.41	c cleaning 9996 clauses out of 20010 with flag 955000/1365691
79.86/77.95	c cleaning 10001 clauses out of 20015 with flag 965001/1375692
80.37/78.48	c cleaning 10001 clauses out of 20013 with flag 975000/1385691
80.97/79.03	c cleaning 9999 clauses out of 20012 with flag 985000/1395691
81.47/79.58	c cleaning 9998 clauses out of 20014 with flag 995001/1405692
82.07/80.17	c cleaning 10003 clauses out of 20016 with flag 1005001/1415692
82.67/80.76	c cleaning 9997 clauses out of 20012 with flag 1015000/1425691
83.28/81.32	c cleaning 10001 clauses out of 20015 with flag 1025000/1435691
83.77/81.87	c cleaning 10003 clauses out of 20014 with flag 1035000/1445691
84.38/82.42	c cleaning 10000 clauses out of 20012 with flag 1045001/1455692
84.88/82.98	c cleaning 10002 clauses out of 20014 with flag 1055003/1465694
85.48/83.57	c cleaning 10000 clauses out of 20009 with flag 1065000/1475691
86.08/84.17	c cleaning 10000 clauses out of 20010 with flag 1075001/1485692
86.68/84.72	c cleaning 10002 clauses out of 20011 with flag 1085002/1495693
87.18/85.26	c cleaning 9994 clauses out of 20007 with flag 1095000/1505691
87.79/85.86	c cleaning 10002 clauses out of 20013 with flag 1105000/1515691
88.38/86.40	c cleaning 10001 clauses out of 20011 with flag 1115000/1525691
88.89/86.97	c cleaning 10000 clauses out of 20011 with flag 1125001/1535692
89.48/87.56	c cleaning 9997 clauses out of 20010 with flag 1135000/1545691
90.09/88.19	c cleaning 9996 clauses out of 20013 with flag 1145000/1555691
90.79/88.83	c cleaning 10004 clauses out of 20018 with flag 1155001/1565692
91.39/89.43	c cleaning 10002 clauses out of 20013 with flag 1165000/1575691
91.99/90.04	c cleaning 10000 clauses out of 20011 with flag 1175000/1585691
92.59/90.61	c cleaning 9999 clauses out of 20011 with flag 1185000/1595691
93.09/91.15	c cleaning 10004 clauses out of 20014 with flag 1195002/1605693
93.70/91.75	c cleaning 9999 clauses out of 20008 with flag 1205000/1615691
94.30/92.34	c cleaning 10000 clauses out of 20009 with flag 1215000/1625691
94.90/92.91	c cleaning 9999 clauses out of 20010 with flag 1225001/1635692
95.40/93.47	c cleaning 10000 clauses out of 20011 with flag 1235001/1645692
96.00/94.02	c cleaning 10002 clauses out of 20011 with flag 1245001/1655692
96.51/94.55	c cleaning 9997 clauses out of 20010 with flag 1255002/1665693
97.00/95.09	c cleaning 10001 clauses out of 20012 with flag 1265001/1675692
97.61/95.64	c cleaning 9994 clauses out of 20012 with flag 1275002/1685693
98.21/96.26	c cleaning 10005 clauses out of 20017 with flag 1285001/1695692
98.71/96.80	c cleaning 10000 clauses out of 20011 with flag 1295000/1705691
99.31/97.38	c cleaning 9999 clauses out of 20012 with flag 1305001/1715692
99.91/97.94	c cleaning 10000 clauses out of 20012 with flag 1315000/1725691
99.91/97.97	c Got one! Elapsed wall clock time (in seconds):97.858
99.91/97.97	o 2
100.31/98.31	c cleaning 7525 clauses out of 15055 with flag 5000/1730734
100.61/98.66	c cleaning 6761 clauses out of 13531 with flag 11001/1736735
101.02/99.04	c cleaning 6881 clauses out of 13769 with flag 18000/1743734
101.51/99.51	c cleaning 7439 clauses out of 14889 with flag 26001/1751735
102.02/100.04	c cleaning 8222 clauses out of 16449 with flag 35000/1760734
102.61/100.66	c cleaning 9111 clauses out of 18230 with flag 45003/1770737
103.31/101.30	c cleaning 9556 clauses out of 19118 with flag 55002/1780736
103.92/101.98	c cleaning 9774 clauses out of 19562 with flag 65002/1790736
104.62/102.68	c cleaning 9877 clauses out of 19786 with flag 75000/1800734
105.22/103.27	c cleaning 9942 clauses out of 19910 with flag 85001/1810735
105.92/103.96	c cleaning 9979 clauses out of 19971 with flag 95004/1820738
106.53/104.57	c cleaning 9986 clauses out of 19990 with flag 105002/1830736
107.12/105.17	c cleaning 9987 clauses out of 20002 with flag 115000/1840734
107.72/105.76	c cleaning 10002 clauses out of 20015 with flag 125000/1850734
108.32/106.34	c cleaning 10003 clauses out of 20016 with flag 135003/1860737
108.92/106.98	c cleaning 10000 clauses out of 20010 with flag 145000/1870734
109.53/107.53	c cleaning 10000 clauses out of 20011 with flag 155001/1880735
110.13/108.15	c cleaning 9997 clauses out of 20011 with flag 165001/1890735
110.73/108.70	c cleaning 10004 clauses out of 20014 with flag 175001/1900735
111.43/109.40	c cleaning 9998 clauses out of 20012 with flag 185003/1910737
111.94/109.96	c cleaning 9995 clauses out of 20011 with flag 195000/1920734
112.53/110.55	c cleaning 9999 clauses out of 20017 with flag 205001/1930735
113.05/111.09	c cleaning 10001 clauses out of 20017 with flag 215000/1940734
113.55/111.58	c cleaning 10000 clauses out of 20016 with flag 225000/1950734
114.15/112.10	c cleaning 10002 clauses out of 20017 with flag 235001/1960735
114.65/112.63	c cleaning 10002 clauses out of 20015 with flag 245001/1970735
115.15/113.16	c cleaning 10000 clauses out of 20015 with flag 255003/1980737
115.75/113.72	c cleaning 9997 clauses out of 20012 with flag 265000/1990734
116.25/114.23	c cleaning 9997 clauses out of 20017 with flag 275002/2000736
116.75/114.77	c cleaning 10000 clauses out of 20018 with flag 285000/2010734
117.25/115.27	c cleaning 10007 clauses out of 20021 with flag 295003/2020737
117.85/115.82	c cleaning 10000 clauses out of 20011 with flag 305000/2030734
118.35/116.35	c cleaning 9997 clauses out of 20012 with flag 315001/2040735
118.85/116.89	c cleaning 10001 clauses out of 20016 with flag 325002/2050736
119.45/117.45	c cleaning 10000 clauses out of 20013 with flag 335000/2060734
119.95/117.98	c cleaning 9999 clauses out of 20015 with flag 345002/2070736
120.56/118.50	c cleaning 10001 clauses out of 20016 with flag 355002/2080736
121.06/119.07	c cleaning 9999 clauses out of 20014 with flag 365001/2090735
121.66/119.60	c cleaning 10001 clauses out of 20016 with flag 375002/2100736
122.16/120.14	c cleaning 10002 clauses out of 20014 with flag 385001/2110735
122.66/120.69	c cleaning 9999 clauses out of 20011 with flag 395000/2120734
123.26/121.27	c cleaning 10000 clauses out of 20013 with flag 405001/2130735
123.86/121.80	c cleaning 10001 clauses out of 20012 with flag 415000/2140734
124.37/122.33	c cleaning 10001 clauses out of 20012 with flag 425001/2150735
124.87/122.86	c cleaning 10001 clauses out of 20010 with flag 435000/2160734
125.37/123.38	c cleaning 10001 clauses out of 20009 with flag 445000/2170734
125.97/123.92	c cleaning 10001 clauses out of 20010 with flag 455002/2180736
126.47/124.47	c cleaning 9999 clauses out of 20007 with flag 465000/2190734
127.07/125.03	c cleaning 9996 clauses out of 20008 with flag 475000/2200734
127.57/125.60	c cleaning 9999 clauses out of 20012 with flag 485000/2210734
128.18/126.15	c cleaning 10004 clauses out of 20014 with flag 495001/2220735
128.68/126.68	c cleaning 10000 clauses out of 20010 with flag 505001/2230735
129.28/127.23	c cleaning 10001 clauses out of 20011 with flag 515002/2240736
129.88/127.83	c cleaning 9999 clauses out of 20008 with flag 525000/2250734
130.38/128.37	c cleaning 9996 clauses out of 20009 with flag 535000/2260734
130.98/128.91	c cleaning 10000 clauses out of 20014 with flag 545001/2270735
131.49/129.44	c cleaning 10002 clauses out of 20013 with flag 555000/2280734
131.99/129.98	c cleaning 10003 clauses out of 20013 with flag 565002/2290736
132.59/130.54	c cleaning 9995 clauses out of 20009 with flag 575001/2300735
133.19/131.11	c cleaning 10005 clauses out of 20013 with flag 585000/2310734
133.69/131.66	c cleaning 9998 clauses out of 20009 with flag 595001/2320735
134.29/132.22	c cleaning 10002 clauses out of 20012 with flag 605002/2330736
134.79/132.79	c cleaning 9996 clauses out of 20008 with flag 615000/2340734
135.39/133.38	c cleaning 10003 clauses out of 20013 with flag 625001/2350735
135.99/133.92	c cleaning 10005 clauses out of 20015 with flag 635006/2360740
136.49/134.48	c cleaning 9997 clauses out of 20005 with flag 645001/2370735
137.19/135.10	c cleaning 9998 clauses out of 20008 with flag 655001/2380735
137.80/135.70	c cleaning 10000 clauses out of 20009 with flag 665000/2390734
138.29/136.27	c cleaning 9999 clauses out of 20009 with flag 675000/2400734
138.89/136.86	c cleaning 10003 clauses out of 20014 with flag 685004/2410738
139.50/137.46	c cleaning 9996 clauses out of 20011 with flag 695004/2420738
140.09/138.00	c cleaning 9999 clauses out of 20012 with flag 705001/2430735
140.60/138.57	c cleaning 10001 clauses out of 20012 with flag 715000/2440734
141.20/139.12	c cleaning 10000 clauses out of 20011 with flag 725000/2450734
141.70/139.65	c cleaning 9998 clauses out of 20011 with flag 735000/2460734
142.20/140.16	c cleaning 9998 clauses out of 20014 with flag 745001/2470735
142.81/140.71	c cleaning 10001 clauses out of 20015 with flag 755000/2480734
143.30/141.27	c cleaning 10002 clauses out of 20016 with flag 765002/2490736
143.91/141.82	c cleaning 10000 clauses out of 20012 with flag 775000/2500734
144.40/142.37	c cleaning 10001 clauses out of 20015 with flag 785003/2510737
144.90/142.90	c cleaning 9999 clauses out of 20011 with flag 795000/2520734
145.51/143.46	c cleaning 10000 clauses out of 20013 with flag 805001/2530735
146.01/143.99	c cleaning 9998 clauses out of 20013 with flag 815001/2540735
146.61/144.53	c cleaning 9997 clauses out of 20015 with flag 825001/2550735
147.21/145.14	c cleaning 10002 clauses out of 20017 with flag 835000/2560734
147.71/145.66	c cleaning 10000 clauses out of 20016 with flag 845001/2570735
148.33/146.22	c cleaning 10002 clauses out of 20016 with flag 855001/2580735
148.82/146.76	c cleaning 10001 clauses out of 20014 with flag 865001/2590735
149.43/147.32	c cleaning 10001 clauses out of 20013 with flag 875001/2600735
149.92/147.84	c cleaning 10003 clauses out of 20014 with flag 885003/2610737
150.53/148.41	c cleaning 9999 clauses out of 20008 with flag 895000/2620734
151.03/148.96	c cleaning 9997 clauses out of 20010 with flag 905001/2630735
151.63/149.52	c cleaning 9999 clauses out of 20012 with flag 915000/2640734
152.13/150.07	c cleaning 10001 clauses out of 20015 with flag 925002/2650736
152.73/150.60	c cleaning 10002 clauses out of 20012 with flag 935000/2660734
153.23/151.15	c cleaning 10001 clauses out of 20013 with flag 945003/2670737
153.83/151.74	c cleaning 10000 clauses out of 20009 with flag 955000/2680734
154.33/152.27	c cleaning 10002 clauses out of 20011 with flag 965002/2690736
154.94/152.84	c cleaning 10000 clauses out of 20009 with flag 975002/2700736
155.53/153.43	c cleaning 9994 clauses out of 20007 with flag 985000/2710734
156.04/153.97	c cleaning 10001 clauses out of 20014 with flag 995001/2720735
156.64/154.54	c cleaning 10003 clauses out of 20013 with flag 1005001/2730735
157.14/155.06	c cleaning 10000 clauses out of 20011 with flag 1015002/2740736
157.74/155.62	c cleaning 9997 clauses out of 20009 with flag 1025000/2750734
158.24/156.19	c cleaning 10001 clauses out of 20012 with flag 1035000/2760734
158.84/156.71	c cleaning 10002 clauses out of 20014 with flag 1045003/2770737
159.35/157.25	c cleaning 10002 clauses out of 20010 with flag 1055001/2780735
159.84/157.77	c cleaning 9995 clauses out of 20007 with flag 1065000/2790734
160.45/158.31	c cleaning 10003 clauses out of 20015 with flag 1075003/2800737
160.95/158.89	c cleaning 9994 clauses out of 20010 with flag 1085001/2810735
161.55/159.43	c cleaning 10005 clauses out of 20017 with flag 1095002/2820736
162.15/160.01	c cleaning 10001 clauses out of 20012 with flag 1105002/2830736
162.65/160.55	c cleaning 10001 clauses out of 20012 with flag 1115003/2840737
163.25/161.11	c cleaning 9999 clauses out of 20008 with flag 1125000/2850734
163.76/161.67	c cleaning 9994 clauses out of 20009 with flag 1135000/2860734
164.35/162.22	c cleaning 9992 clauses out of 20015 with flag 1145000/2870734
164.86/162.73	c cleaning 10007 clauses out of 20023 with flag 1155000/2880734
165.35/163.28	c cleaning 9999 clauses out of 20016 with flag 1165000/2890734
165.96/163.85	c cleaning 10000 clauses out of 20017 with flag 1175000/2900734
166.56/164.43	c cleaning 10004 clauses out of 20018 with flag 1185001/2910735
167.06/164.98	c cleaning 9999 clauses out of 20015 with flag 1195002/2920736
167.66/165.53	c cleaning 10003 clauses out of 20015 with flag 1205001/2930735
168.16/166.08	c cleaning 10001 clauses out of 20011 with flag 1215000/2940734
168.76/166.63	c cleaning 9997 clauses out of 20010 with flag 1225000/2950734
169.27/167.12	c cleaning 10001 clauses out of 20015 with flag 1235002/2960736
169.76/167.62	c cleaning 10000 clauses out of 20016 with flag 1245004/2970738
170.26/168.13	c cleaning 10003 clauses out of 20015 with flag 1255003/2980737
170.76/168.61	c cleaning 10002 clauses out of 20011 with flag 1265002/2990736
171.26/169.15	c cleaning 9997 clauses out of 20010 with flag 1275003/3000737
171.76/169.69	c cleaning 9996 clauses out of 20010 with flag 1285000/3010734
172.36/170.21	c cleaning 10004 clauses out of 20017 with flag 1295003/3020737
172.87/170.72	c cleaning 10002 clauses out of 20016 with flag 1305006/3030740
173.37/171.24	c cleaning 10000 clauses out of 20011 with flag 1315003/3040737
173.87/171.78	c cleaning 10000 clauses out of 20009 with flag 1325001/3050735
174.37/172.27	c cleaning 10001 clauses out of 20014 with flag 1335006/3060740
174.88/172.79	c cleaning 9992 clauses out of 20007 with flag 1345000/3070734
175.47/173.34	c cleaning 9998 clauses out of 20015 with flag 1355000/3080734
175.98/173.85	c cleaning 10002 clauses out of 20018 with flag 1365001/3090735
176.48/174.33	c cleaning 9997 clauses out of 20015 with flag 1375000/3100734
176.98/174.82	c cleaning 10002 clauses out of 20018 with flag 1385000/3110734
177.48/175.34	c cleaning 9996 clauses out of 20016 with flag 1395000/3120734
177.98/175.84	c cleaning 10002 clauses out of 20022 with flag 1405002/3130736
178.48/176.35	c cleaning 10002 clauses out of 20020 with flag 1415002/3140736
178.99/176.85	c cleaning 10004 clauses out of 20019 with flag 1425003/3150737
179.49/177.37	c cleaning 10002 clauses out of 20013 with flag 1435001/3160735
179.99/177.88	c cleaning 9998 clauses out of 20010 with flag 1445000/3170734
180.59/178.40	c cleaning 10000 clauses out of 20012 with flag 1455000/3180734
180.99/178.89	c cleaning 9998 clauses out of 20012 with flag 1465000/3190734
181.50/179.34	c cleaning 9999 clauses out of 20014 with flag 1475000/3200734
182.00/179.84	c cleaning 9994 clauses out of 20015 with flag 1485000/3210734
182.50/180.34	c cleaning 10004 clauses out of 20025 with flag 1495004/3220738
183.00/180.80	c cleaning 10005 clauses out of 20017 with flag 1505000/3230734
183.50/181.31	c cleaning 10002 clauses out of 20013 with flag 1515001/3240735
184.00/181.84	c cleaning 10000 clauses out of 20010 with flag 1525000/3250734
184.50/182.36	c cleaning 9999 clauses out of 20010 with flag 1535000/3260734
185.01/182.89	c cleaning 10000 clauses out of 20011 with flag 1545000/3270734
185.61/183.40	c cleaning 9998 clauses out of 20012 with flag 1555001/3280735
186.11/183.94	c cleaning 9999 clauses out of 20013 with flag 1565000/3290734
186.61/184.42	c cleaning 9996 clauses out of 20014 with flag 1575000/3300734
187.11/184.91	c cleaning 9999 clauses out of 20019 with flag 1585001/3310735
187.51/185.39	c cleaning 10005 clauses out of 20019 with flag 1595000/3320734
188.01/185.89	c cleaning 9992 clauses out of 20014 with flag 1605000/3330734
188.51/186.39	c cleaning 10001 clauses out of 20022 with flag 1615000/3340734
189.01/186.89	c cleaning 10004 clauses out of 20022 with flag 1625001/3350735
189.51/187.39	c cleaning 10003 clauses out of 20017 with flag 1635000/3360734
190.01/187.89	c cleaning 10002 clauses out of 20015 with flag 1645001/3370735
190.51/188.36	c cleaning 10002 clauses out of 20013 with flag 1655001/3380735
191.01/188.83	c cleaning 9997 clauses out of 20010 with flag 1665000/3390734
191.51/189.33	c cleaning 10004 clauses out of 20013 with flag 1675000/3400734
192.02/189.83	c cleaning 9999 clauses out of 20009 with flag 1685000/3410734
192.52/190.32	c cleaning 10004 clauses out of 20015 with flag 1695005/3420739
193.01/190.82	c cleaning 9996 clauses out of 20007 with flag 1705001/3430735
193.42/191.29	c cleaning 9999 clauses out of 20014 with flag 1715004/3440738
193.92/191.77	c cleaning 10000 clauses out of 20011 with flag 1725000/3450734
194.43/192.25	c cleaning 10001 clauses out of 20011 with flag 1735000/3460734
194.93/192.73	c cleaning 9999 clauses out of 20010 with flag 1745000/3470734
195.43/193.21	c cleaning 10000 clauses out of 20012 with flag 1755001/3480735
195.93/193.72	c cleaning 9998 clauses out of 20011 with flag 1765000/3490734
196.43/194.21	c cleaning 10002 clauses out of 20014 with flag 1775001/3500735
196.94/194.74	c cleaning 9999 clauses out of 20012 with flag 1785001/3510735
197.43/195.21	c cleaning 10003 clauses out of 20012 with flag 1795000/3520734
197.94/195.72	c cleaning 9995 clauses out of 20009 with flag 1805000/3530734
198.43/196.25	c cleaning 10002 clauses out of 20014 with flag 1815000/3540734
198.94/196.76	c cleaning 9999 clauses out of 20012 with flag 1825000/3550734
199.43/197.25	c cleaning 10004 clauses out of 20015 with flag 1835002/3560736
199.94/197.77	c cleaning 9998 clauses out of 20010 with flag 1845001/3570735
200.44/198.28	c cleaning 9999 clauses out of 20012 with flag 1855001/3580735
200.94/198.79	c cleaning 9998 clauses out of 20012 with flag 1865000/3590734
201.44/199.29	c cleaning 9995 clauses out of 20014 with flag 1875000/3600734
202.04/199.80	c cleaning 10008 clauses out of 20019 with flag 1885000/3610734
202.54/200.34	c cleaning 9999 clauses out of 20012 with flag 1895001/3620735
203.05/200.83	c cleaning 10002 clauses out of 20014 with flag 1905002/3630736
203.55/201.39	c cleaning 9995 clauses out of 20010 with flag 1915000/3640734
204.05/201.89	c cleaning 9999 clauses out of 20015 with flag 1925000/3650734
204.65/202.41	c cleaning 10003 clauses out of 20017 with flag 1935001/3660735
205.15/202.92	c cleaning 10001 clauses out of 20016 with flag 1945003/3670737
205.66/203.45	c cleaning 9997 clauses out of 20013 with flag 1955001/3680735
206.15/203.96	c cleaning 10003 clauses out of 20015 with flag 1965000/3690734
206.75/204.52	c cleaning 9995 clauses out of 20012 with flag 1975000/3700734
207.35/205.13	c cleaning 10001 clauses out of 20017 with flag 1985000/3710734
207.85/205.63	c cleaning 10003 clauses out of 20018 with flag 1995002/3720736
208.35/206.17	c cleaning 9996 clauses out of 20013 with flag 2005000/3730734
208.96/206.74	c cleaning 10006 clauses out of 20019 with flag 2015002/3740736
209.46/207.23	c cleaning 10000 clauses out of 20012 with flag 2025001/3750735
209.96/207.71	c cleaning 9998 clauses out of 20012 with flag 2035001/3760735
210.47/208.23	c cleaning 9997 clauses out of 20014 with flag 2045001/3770735
210.97/208.74	c cleaning 10002 clauses out of 20016 with flag 2055000/3780734
211.47/209.26	c cleaning 10000 clauses out of 20015 with flag 2065001/3790735
211.97/209.74	c cleaning 10001 clauses out of 20014 with flag 2075000/3800734
212.46/210.26	c cleaning 9999 clauses out of 20013 with flag 2085000/3810734
212.97/210.76	c cleaning 10002 clauses out of 20015 with flag 2095001/3820735
213.47/211.29	c cleaning 9990 clauses out of 20012 with flag 2105000/3830734
214.07/211.83	c cleaning 9996 clauses out of 20023 with flag 2115001/3840735
214.57/212.36	c cleaning 10005 clauses out of 20026 with flag 2125000/3850734
215.17/212.91	c cleaning 10001 clauses out of 20021 with flag 2135000/3860734
215.57/213.40	c cleaning 10007 clauses out of 20022 with flag 2145002/3870736
216.17/213.94	c cleaning 10000 clauses out of 20015 with flag 2155002/3880736
216.67/214.45	c cleaning 10004 clauses out of 20013 with flag 2165000/3890734
217.17/214.97	c cleaning 9996 clauses out of 20011 with flag 2175002/3900736
217.77/215.52	c cleaning 10000 clauses out of 20015 with flag 2185002/3910736
218.27/216.00	c cleaning 10001 clauses out of 20013 with flag 2195000/3920734
218.77/216.54	c cleaning 10001 clauses out of 20013 with flag 2205001/3930735
219.27/217.04	c cleaning 10002 clauses out of 20014 with flag 2215003/3940737
219.77/217.56	c cleaning 10001 clauses out of 20011 with flag 2225002/3950736
220.27/218.09	c cleaning 9999 clauses out of 20009 with flag 2235001/3960735
220.77/218.57	c cleaning 10000 clauses out of 20010 with flag 2245001/3970735
221.27/219.04	c cleaning 9996 clauses out of 20011 with flag 2255002/3980736
221.77/219.55	c cleaning 10000 clauses out of 20014 with flag 2265001/3990735
222.38/220.10	c cleaning 10003 clauses out of 20017 with flag 2275004/4000738
222.88/220.65	c cleaning 9993 clauses out of 20010 with flag 2285000/4010734
223.49/221.27	c cleaning 9994 clauses out of 20017 with flag 2295000/4020734
223.99/221.78	c cleaning 10002 clauses out of 20025 with flag 2305002/4030736
224.59/222.37	c cleaning 10004 clauses out of 20021 with flag 2315000/4040734
225.19/222.96	c cleaning 9997 clauses out of 20017 with flag 2325000/4050734
225.79/223.55	c cleaning 10006 clauses out of 20021 with flag 2335001/4060735
226.29/224.06	c cleaning 10003 clauses out of 20015 with flag 2345001/4070735
226.80/224.50	c cleaning 9999 clauses out of 20012 with flag 2355001/4080735
227.20/224.97	c cleaning 9996 clauses out of 20012 with flag 2365000/4090734
227.70/225.46	c cleaning 9999 clauses out of 20017 with flag 2375001/4100735
228.10/225.89	c cleaning 10002 clauses out of 20017 with flag 2385000/4110734
228.60/226.39	c cleaning 10001 clauses out of 20015 with flag 2395000/4120734
229.10/226.87	c cleaning 10001 clauses out of 20015 with flag 2405001/4130735
229.60/227.31	c cleaning 10004 clauses out of 20017 with flag 2415004/4140738
230.01/227.77	c cleaning 10002 clauses out of 20010 with flag 2425001/4150735
230.50/228.27	c cleaning 9993 clauses out of 20007 with flag 2435000/4160734
231.01/228.73	c cleaning 10001 clauses out of 20014 with flag 2445000/4170734
231.50/229.22	c cleaning 9998 clauses out of 20013 with flag 2455000/4180734
231.91/229.70	c cleaning 9995 clauses out of 20015 with flag 2465000/4190734
232.41/230.17	c cleaning 9996 clauses out of 20021 with flag 2475001/4200735
232.91/230.63	c cleaning 10001 clauses out of 20025 with flag 2485001/4210735
233.41/231.12	c cleaning 10005 clauses out of 20023 with flag 2495000/4220734
233.81/231.57	c cleaning 10000 clauses out of 20018 with flag 2505000/4230734
234.32/232.06	c cleaning 10002 clauses out of 20020 with flag 2515002/4240736
234.92/232.61	c cleaning 9997 clauses out of 20016 with flag 2525000/4250734
235.42/233.14	c cleaning 9997 clauses out of 20019 with flag 2535000/4260734
235.92/233.65	c cleaning 9999 clauses out of 20022 with flag 2545000/4270734
236.42/234.13	c cleaning 10008 clauses out of 20023 with flag 2555000/4280734
236.82/234.58	c cleaning 10000 clauses out of 20015 with flag 2565000/4290734
237.32/235.08	c cleaning 10002 clauses out of 20015 with flag 2575000/4300734
237.82/235.52	c cleaning 10000 clauses out of 20013 with flag 2585000/4310734
238.22/235.96	c cleaning 9999 clauses out of 20013 with flag 2595000/4320734
238.72/236.41	c cleaning 10002 clauses out of 20014 with flag 2605000/4330734
239.22/236.90	c cleaning 9997 clauses out of 20012 with flag 2615000/4340734
239.62/237.40	c cleaning 10000 clauses out of 20016 with flag 2625001/4350735
240.12/237.84	c cleaning 9997 clauses out of 20016 with flag 2635001/4360735
240.62/238.30	c cleaning 10000 clauses out of 20020 with flag 2645002/4370736
241.03/238.77	c cleaning 9998 clauses out of 20021 with flag 2655003/4380737
241.52/239.23	c cleaning 10004 clauses out of 20020 with flag 2665000/4390734
242.03/239.71	c cleaning 10002 clauses out of 20016 with flag 2675000/4400734
242.52/240.21	c cleaning 9999 clauses out of 20014 with flag 2685000/4410734
243.02/240.80	c cleaning 9993 clauses out of 20016 with flag 2695001/4420735
243.56/241.29	c cleaning 10006 clauses out of 20023 with flag 2705001/4430735
244.06/241.75	c cleaning 10001 clauses out of 20017 with flag 2715001/4440735
244.56/242.23	c cleaning 10006 clauses out of 20017 with flag 2725002/4450736
245.07/242.71	c cleaning 9993 clauses out of 20009 with flag 2735000/4460734
245.48/243.19	c cleaning 9999 clauses out of 20017 with flag 2745001/4470735
245.97/243.67	c cleaning 10002 clauses out of 20017 with flag 2755000/4480734
246.48/244.16	c cleaning 10003 clauses out of 20015 with flag 2765000/4490734
246.97/244.65	c cleaning 9998 clauses out of 20013 with flag 2775001/4500735
247.48/245.17	c cleaning 10001 clauses out of 20015 with flag 2785001/4510735
247.98/245.69	c cleaning 10000 clauses out of 20013 with flag 2795000/4520734
248.48/246.17	c cleaning 10001 clauses out of 20015 with flag 2805002/4530736
248.98/246.65	c cleaning 9998 clauses out of 20013 with flag 2815001/4540735
249.49/247.12	c cleaning 10004 clauses out of 20015 with flag 2825001/4550735
249.90/247.57	c cleaning 9996 clauses out of 20010 with flag 2835000/4560734
250.39/248.02	c cleaning 10000 clauses out of 20015 with flag 2845001/4570735
250.90/248.52	c cleaning 10001 clauses out of 20014 with flag 2855000/4580734
251.40/249.00	c cleaning 10001 clauses out of 20013 with flag 2865001/4590735
251.91/249.51	c cleaning 10003 clauses out of 20011 with flag 2875000/4600734
252.41/250.00	c cleaning 10000 clauses out of 20009 with flag 2885002/4610736
252.81/250.47	c cleaning 9999 clauses out of 20008 with flag 2895001/4620735
253.31/250.98	c cleaning 9995 clauses out of 20008 with flag 2905000/4630734
253.81/251.43	c cleaning 9997 clauses out of 20013 with flag 2915000/4640734
254.22/251.89	c cleaning 9998 clauses out of 20017 with flag 2925001/4650735
254.82/252.40	c cleaning 10002 clauses out of 20019 with flag 2935001/4660735
255.22/252.87	c cleaning 10006 clauses out of 20019 with flag 2945003/4670737
255.72/253.34	c cleaning 9998 clauses out of 20011 with flag 2955001/4680735
256.22/253.80	c cleaning 9999 clauses out of 20012 with flag 2965000/4690734
256.62/254.29	c cleaning 10001 clauses out of 20014 with flag 2975001/4700735
257.12/254.79	c cleaning 10000 clauses out of 20012 with flag 2985000/4710734
257.63/255.27	c cleaning 10000 clauses out of 20012 with flag 2995000/4720734
258.12/255.78	c cleaning 9999 clauses out of 20012 with flag 3005001/4730735
258.63/256.27	c cleaning 10003 clauses out of 20013 with flag 3015001/4740735
259.13/256.75	c cleaning 9996 clauses out of 20010 with flag 3025001/4750735
259.63/257.26	c cleaning 10004 clauses out of 20015 with flag 3035002/4760736
260.13/257.76	c cleaning 10001 clauses out of 20009 with flag 3045000/4770734
260.54/258.19	c starts		: 303
260.54/258.19	c conflicts		: 4779093
260.54/258.19	c decisions		: 7184826
260.54/258.19	c propagations		: 241357480
260.54/258.19	c inspects		: 2440170846
260.54/258.19	c shortcuts		: 0
260.54/258.19	c learnt literals	: 9
260.54/258.19	c learnt binary clauses	: 30
260.54/258.19	c learnt ternary clauses	: 968
260.54/258.19	c learnt constraints	: 4779083
260.54/258.19	c ignored constraints	: 0
260.54/258.19	c root simplifications	: 0
260.54/258.19	c removed literals (reason simplification)	: 23628440
260.54/258.19	c reason swapping (by a shorter reason)	: 0
260.54/258.19	c Calls to reduceDB	: 484
260.54/258.19	c number of reductions to clauses (during analyze)	: 0
260.54/258.19	c number of learned constraints concerned by reduction	: 0
260.54/258.19	c number of learning phase by resolution	: 0
260.54/258.19	c number of learning phase by cutting planes	: 0
260.54/258.19	c speed (assignments/second)	: 1506356.5214135034
260.54/258.19	c non guided choices	4384
260.54/258.19	c learnt constraints type 
260.54/258.19	c constraints type 
260.54/258.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
260.54/258.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
260.54/258.19	s OPTIMUM FOUND
260.54/258.20	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 
260.54/258.20	c objective function=2
260.54/258.20	c Total wall clock time (in seconds): 258.086

Verifier Data 

OK	2

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3492175-1307911642/watcher-3492175-1307911642 -o /tmp/evaluation-result-3492175-1307911642/solver-3492175-1307911642 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492175-1307911642.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.02 2.05 1.95 2/195 26306
/proc/meminfo: memFree=32011200/32951124 swapFree=67052812/67111528
[pid=26306] ppid=26304 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/26306/stat : 26306 (java) R 26304 26306 21680 0 -1 4202496 955 0 0 0 0 0 0 0 18 0 1 0 902766827 23580672 697 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216629552616 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26306/statm: 5757 697 514 9 0 124 0

[startup+0.0274071 s]
/proc/loadavg: 2.02 2.05 1.95 2/195 26306
/proc/meminfo: memFree=32011200/32951124 swapFree=67052812/67111528
[pid=26306] ppid=26304 vsize=10453028 CPUtime=0.01 cores=0,2,4,6
/proc/26306/stat : 26306 (java) S 26304 26306 21680 0 -1 4202496 10075 0 1 0 0 1 0 0 18 0 10 0 902766827 10703900672 9775 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/26306/statm: 2613257 9779 1035 9 0 2604413 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028

[startup+0.100377 s]
/proc/loadavg: 2.02 2.05 1.95 2/195 26306
/proc/meminfo: memFree=32011200/32951124 swapFree=67052812/67111528
[pid=26306] ppid=26304 vsize=10539884 CPUtime=0.1 cores=0,2,4,6
/proc/26306/stat : 26306 (java) S 26304 26306 21680 0 -1 4202496 13015 0 1 0 9 1 0 0 18 0 18 0 902766827 10792841216 12710 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26306/statm: 2634971 12710 2092 9 0 2625705 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539884

[startup+0.300322 s]
/proc/loadavg: 2.02 2.05 1.95 2/195 26306
/proc/meminfo: memFree=32011200/32951124 swapFree=67052812/67111528
[pid=26306] ppid=26304 vsize=10542428 CPUtime=0.49 cores=0,2,4,6
/proc/26306/stat : 26306 (java) S 26304 26306 21680 0 -1 4202496 16861 0 1 0 47 2 0 0 18 0 18 0 902766827 10795446272 15837 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26306/statm: 2635607 15837 2204 9 0 2626341 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542428

[startup+0.700294 s]
/proc/loadavg: 2.02 2.05 1.95 2/195 26306
/proc/meminfo: memFree=32011200/32951124 swapFree=67052812/67111528
[pid=26306] ppid=26304 vsize=10546348 CPUtime=1.59 cores=0,2,4,6
/proc/26306/stat : 26306 (java) S 26304 26306 21680 0 -1 4202496 23239 0 1 0 156 3 0 0 18 0 19 0 902766827 10799460352 19692 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26306/statm: 2636587 19692 2235 9 0 2627321 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10546348

[startup+1.50118 s]
/proc/loadavg: 2.02 2.05 1.95 3/214 26325
/proc/meminfo: memFree=31931464/32951124 swapFree=67052812/67111528
[pid=26306] ppid=26304 vsize=10546348 CPUtime=2.41 cores=0,2,4,6
/proc/26306/stat : 26306 (java) S 26304 26306 21680 0 -1 4202496 26481 0 1 0 237 4 0 0 18 0 19 0 902766827 10799460352 22933 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26306/statm: 2636587 22933 2237 9 0 2627321 0
[pid=26306/tid=26308] ppid=26304 vsize=10546348 CPUtime=1.48 cores=0,2,4,6
/proc/26306/task/26308/stat : 26308 (java) R 26304 26306 21680 0 -1 4202560 17946 0 1 0 146 2 0 0 20 0 19 0 902766828 10799460352 22933 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 46912505717126 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26306/tid=26309] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26309/stat : 26309 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902766830 10799460352 22933 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 0 0 0 0
[pid=26306/tid=26310] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26310/stat : 26310 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902766830 10799460352 22933 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26311] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26311/stat : 26311 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902766830 10799460352 22933 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26312] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26312/stat : 26312 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902766830 10799460352 22933 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26313] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26313/stat : 26313 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902766830 10799460352 22933 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26314] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26314/stat : 26314 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902766830 10799460352 22933 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26315] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26315/stat : 26315 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902766830 10799460352 22933 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26316] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26316/stat : 26316 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902766830 10799460352 22933 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26317] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26317/stat : 26317 (java) S 26304 26306 21680 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902766831 10799460352 22933 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 0 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26318] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26318/stat : 26318 (java) S 26304 26306 21680 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 902766831 10799460352 22933 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26319] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26319/stat : 26319 (java) S 26304 26306 21680 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902766831 10799460352 22933 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26320] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26320/stat : 26320 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902766833 10799460352 22933 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646338993 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26321] ppid=26304 vsize=10546348 CPUtime=0.45 cores=0,2,4,6
/proc/26306/task/26321/stat : 26321 (java) S 26304 26306 21680 0 -1 4202560 4403 0 0 0 44 1 0 0 16 0 19 0 902766833 10799460352 22933 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26322] ppid=26304 vsize=10546348 CPUtime=0.46 cores=0,2,4,6
/proc/26306/task/26322/stat : 26322 (java) S 26304 26306 21680 0 -1 4202560 2970 0 0 0 46 0 0 0 25 0 19 0 902766833 10799460352 22933 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 0 0 0 0
[pid=26306/tid=26323] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26323/stat : 26323 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902766833 10799460352 22933 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26324] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26324/stat : 26324 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902766833 10799460352 22933 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26325] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26325/stat : 26325 (java) S 26304 26306 21680 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902766864 10799460352 22933 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 10546348

[startup+3.10084 s]
/proc/loadavg: 2.02 2.05 1.95 3/214 26325
/proc/meminfo: memFree=31922536/32951124 swapFree=67052812/67111528
[pid=26306] ppid=26304 vsize=10546348 CPUtime=4.06 cores=0,2,4,6
/proc/26306/stat : 26306 (java) S 26304 26306 21680 0 -1 4202496 30666 0 1 0 402 4 0 0 18 0 19 0 902766827 10799460352 27110 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26306/statm: 2636587 27110 2263 9 0 2627321 0
[pid=26306/tid=26308] ppid=26304 vsize=10546348 CPUtime=3.05 cores=0,2,4,6
/proc/26306/task/26308/stat : 26308 (java) R 26304 26306 21680 0 -1 4202560 20178 0 1 0 303 2 0 0 25 0 19 0 902766828 10799460352 27110 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 46912505366501 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26306/tid=26309] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26309/stat : 26309 (java) S 26304 26306 21680 0 -1 4202560 374 0 0 0 0 0 0 0 18 0 19 0 902766830 10799460352 27110 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 0 0 0 0
[pid=26306/tid=26310] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26310/stat : 26310 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902766830 10799460352 27110 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26311] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26311/stat : 26311 (java) S 26304 26306 21680 0 -1 4202560 74 0 0 0 0 0 0 0 17 0 19 0 902766830 10799460352 27110 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26312] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26312/stat : 26312 (java) S 26304 26306 21680 0 -1 4202560 221 0 0 0 0 0 0 0 18 0 19 0 902766830 10799460352 27110 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26313] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26313/stat : 26313 (java) S 26304 26306 21680 0 -1 4202560 111 0 0 0 0 0 0 0 18 0 19 0 902766830 10799460352 27110 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26314] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26314/stat : 26314 (java) S 26304 26306 21680 0 -1 4202560 199 0 0 0 0 0 0 0 18 0 19 0 902766830 10799460352 27110 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26315] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26315/stat : 26315 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 902766830 10799460352 27110 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26316] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26316/stat : 26316 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902766830 10799460352 27110 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26317] ppid=26304 vsize=10546348 CPUtime=0.01 cores=0,2,4,6
/proc/26306/task/26317/stat : 26317 (java) S 26304 26306 21680 0 -1 4202560 964 0 0 0 1 0 0 0 17 0 19 0 902766831 10799460352 27110 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 0 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26318] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26318/stat : 26318 (java) S 26304 26306 21680 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902766831 10799460352 27110 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26319] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26319/stat : 26319 (java) S 26304 26306 21680 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902766831 10799460352 27110 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26320] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26320/stat : 26320 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902766833 10799460352 27110 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646338993 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26321] ppid=26304 vsize=10546348 CPUtime=0.48 cores=0,2,4,6
/proc/26306/task/26321/stat : 26321 (java) S 26304 26306 21680 0 -1 4202560 4411 0 0 0 47 1 0 0 15 0 19 0 902766833 10799460352 27110 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26322] ppid=26304 vsize=10546348 CPUtime=0.48 cores=0,2,4,6
/proc/26306/task/26322/stat : 26322 (java) S 26304 26306 21680 0 -1 4202560 2978 0 0 0 48 0 0 0 15 0 19 0 902766833 10799460352 27110 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 0 0 0 0
[pid=26306/tid=26323] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26323/stat : 26323 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902766833 10799460352 27110 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26324] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26324/stat : 26324 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902766833 10799460352 27110 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26325] ppid=26304 vsize=10546348 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26325/stat : 26325 (java) S 26304 26306 21680 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902766864 10799460352 27110 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 10546348

[startup+6.3013 s]
/proc/loadavg: 2.02 2.05 1.95 4/214 26325
/proc/meminfo: memFree=31893000/32951124 swapFree=67052812/67111528
[pid=26306] ppid=26304 vsize=10547644 CPUtime=8.08 cores=0,2,4,6
/proc/26306/stat : 26306 (java) S 26304 26306 21680 0 -1 4202496 38194 0 1 0 803 5 0 0 18 0 19 0 902766827 10800787456 31369 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26306/statm: 2636911 31369 2263 9 0 2627645 0
[pid=26306/tid=26308] ppid=26304 vsize=10547644 CPUtime=6.16 cores=0,2,4,6
/proc/26306/task/26308/stat : 26308 (java) R 26304 26306 21680 0 -1 4202560 20186 0 1 0 614 2 0 0 25 0 19 0 902766828 10800787456 31369 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 46912505780962 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26306/tid=26309] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26309/stat : 26309 (java) S 26304 26306 21680 0 -1 4202560 382 0 0 0 0 0 0 0 15 0 19 0 902766830 10800787456 31369 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 0 0 0 0
[pid=26306/tid=26310] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26310/stat : 26310 (java) S 26304 26306 21680 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902766830 10800787456 31369 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 0 0 0 0
[pid=26306/tid=26311] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26311/stat : 26311 (java) S 26304 26306 21680 0 -1 4202560 75 0 0 0 0 0 0 0 16 0 19 0 902766830 10800787456 31369 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26312] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26312/stat : 26312 (java) S 26304 26306 21680 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 19 0 902766830 10800787456 31369 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26313] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26313/stat : 26313 (java) S 26304 26306 21680 0 -1 4202560 114 0 0 0 0 0 0 0 16 0 19 0 902766830 10800787456 31369 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 0 0 0 0
[pid=26306/tid=26314] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26314/stat : 26314 (java) S 26304 26306 21680 0 -1 4202560 209 0 0 0 0 0 0 0 15 0 19 0 902766830 10800787456 31369 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26315] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26315/stat : 26315 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902766830 10800787456 31369 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26316] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26316/stat : 26316 (java) S 26304 26306 21680 0 -1 4202560 271 0 0 0 0 0 0 0 15 0 19 0 902766830 10800787456 31369 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26317] ppid=26304 vsize=10547644 CPUtime=0.09 cores=0,2,4,6
/proc/26306/task/26317/stat : 26317 (java) S 26304 26306 21680 0 -1 4202560 1287 0 0 0 9 0 0 0 16 0 19 0 902766831 10800787456 31369 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 0 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26318] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26318/stat : 26318 (java) S 26304 26306 21680 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902766831 10800787456 31369 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26319] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26319/stat : 26319 (java) S 26304 26306 21680 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902766831 10800787456 31369 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26320] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26320/stat : 26320 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902766833 10800787456 31369 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646338993 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26321] ppid=26304 vsize=10547644 CPUtime=1.17 cores=0,2,4,6
/proc/26306/task/26321/stat : 26321 (java) S 26304 26306 21680 0 -1 4202560 10906 0 0 0 115 2 0 0 16 0 19 0 902766833 10800787456 31369 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 0 0 0 0
[pid=26306/tid=26322] ppid=26304 vsize=10547644 CPUtime=0.61 cores=0,2,4,6
/proc/26306/task/26322/stat : 26322 (java) S 26304 26306 21680 0 -1 4202560 3375 0 0 0 61 0 0 0 15 0 19 0 902766833 10800787456 31369 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26323] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26323/stat : 26323 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902766833 10800787456 31369 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26324] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26324/stat : 26324 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902766833 10800787456 31369 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26325] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26325/stat : 26325 (java) S 26304 26306 21680 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902766864 10800787456 31369 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.08
Current children cumulated vsize (KiB) 10547644

[startup+12.7012 s]

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

[pid=26306/tid=26315] ppid=26304 vsize=10547644 CPUtime=0.14 cores=0,2,4,6
/proc/26306/task/26315/stat : 26315 (java) S 26304 26306 21680 0 -1 4202560 21 0 0 0 14 0 0 0 16 0 19 0 902766830 10800787456 28729 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26316] ppid=26304 vsize=10547644 CPUtime=0.14 cores=0,2,4,6
/proc/26306/task/26316/stat : 26316 (java) S 26304 26306 21680 0 -1 4202560 282 0 0 0 14 0 0 0 15 0 19 0 902766830 10800787456 28729 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26317] ppid=26304 vsize=10547644 CPUtime=8.18 cores=0,2,4,6
/proc/26306/task/26317/stat : 26317 (java) S 26304 26306 21680 0 -1 4202560 1787 0 0 0 812 6 0 0 16 0 19 0 902766831 10800787456 28729 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 0 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26318] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26318/stat : 26318 (java) S 26304 26306 21680 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902766831 10800787456 28729 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26319] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26319/stat : 26319 (java) S 26304 26306 21680 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902766831 10800787456 28729 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26320] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26320/stat : 26320 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902766833 10800787456 28729 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646338993 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26321] ppid=26304 vsize=10547644 CPUtime=1.23 cores=0,2,4,6
/proc/26306/task/26321/stat : 26321 (java) S 26304 26306 21680 0 -1 4202560 10910 0 0 0 121 2 0 0 15 0 19 0 902766833 10800787456 28729 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 0 0 0 0
[pid=26306/tid=26322] ppid=26304 vsize=10547644 CPUtime=0.63 cores=0,2,4,6
/proc/26306/task/26322/stat : 26322 (java) S 26304 26306 21680 0 -1 4202560 3375 0 0 0 63 0 0 0 16 0 19 0 902766833 10800787456 28729 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26323] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26323/stat : 26323 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902766833 10800787456 28729 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26324] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26324/stat : 26324 (java) S 26304 26306 21680 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 902766833 10800787456 28729 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26325] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26325/stat : 26325 (java) S 26304 26306 21680 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902766864 10800787456 28729 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 258.32
Current children cumulated vsize (KiB) 10547644

[startup+257.501 s]
/proc/loadavg: 2.00 2.02 1.95 3/214 26332
/proc/meminfo: memFree=31902044/32951124 swapFree=67052812/67111528
[pid=26306] ppid=26304 vsize=10547644 CPUtime=259.93 cores=0,2,4,6
/proc/26306/stat : 26306 (java) S 26304 26306 21680 0 -1 4202496 39302 0 1 0 25978 15 0 0 18 0 19 0 902766827 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26306/statm: 2636911 28736 2264 9 0 2627645 0
[pid=26306/tid=26308] ppid=26304 vsize=10547644 CPUtime=248.53 cores=0,2,4,6
/proc/26306/task/26308/stat : 26308 (java) R 26304 26306 21680 0 -1 4202560 20665 0 1 0 24849 4 0 0 25 0 19 0 902766828 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 46912505703357 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26306/tid=26309] ppid=26304 vsize=10547644 CPUtime=0.17 cores=0,2,4,6
/proc/26306/task/26309/stat : 26309 (java) S 26304 26306 21680 0 -1 4202560 395 0 0 0 17 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26310] ppid=26304 vsize=10547644 CPUtime=0.17 cores=0,2,4,6
/proc/26306/task/26310/stat : 26310 (java) S 26304 26306 21680 0 -1 4202560 13 0 0 0 17 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26311] ppid=26304 vsize=10547644 CPUtime=0.16 cores=0,2,4,6
/proc/26306/task/26311/stat : 26311 (java) S 26304 26306 21680 0 -1 4202560 95 0 0 0 16 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 0 0 0 0
[pid=26306/tid=26312] ppid=26304 vsize=10547644 CPUtime=0.15 cores=0,2,4,6
/proc/26306/task/26312/stat : 26312 (java) S 26304 26306 21680 0 -1 4202560 242 0 0 0 15 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26313] ppid=26304 vsize=10547644 CPUtime=0.15 cores=0,2,4,6
/proc/26306/task/26313/stat : 26313 (java) S 26304 26306 21680 0 -1 4202560 127 0 0 0 15 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26314] ppid=26304 vsize=10547644 CPUtime=0.13 cores=0,2,4,6
/proc/26306/task/26314/stat : 26314 (java) S 26304 26306 21680 0 -1 4202560 217 0 0 0 13 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26315] ppid=26304 vsize=10547644 CPUtime=0.14 cores=0,2,4,6
/proc/26306/task/26315/stat : 26315 (java) S 26304 26306 21680 0 -1 4202560 21 0 0 0 14 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26316] ppid=26304 vsize=10547644 CPUtime=0.14 cores=0,2,4,6
/proc/26306/task/26316/stat : 26316 (java) S 26304 26306 21680 0 -1 4202560 282 0 0 0 14 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26317] ppid=26304 vsize=10547644 CPUtime=8.24 cores=0,2,4,6
/proc/26306/task/26317/stat : 26317 (java) S 26304 26306 21680 0 -1 4202560 1793 0 0 0 818 6 0 0 15 0 19 0 902766831 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 0 0 16800975 18446604442737407040 0 0 -1 0 0 0 0
[pid=26306/tid=26318] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26318/stat : 26318 (java) S 26304 26306 21680 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902766831 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26319] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26319/stat : 26319 (java) S 26304 26306 21680 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902766831 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26320] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26320/stat : 26320 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902766833 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646338993 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26321] ppid=26304 vsize=10547644 CPUtime=1.23 cores=0,2,4,6
/proc/26306/task/26321/stat : 26321 (java) S 26304 26306 21680 0 -1 4202560 10910 0 0 0 121 2 0 0 15 0 19 0 902766833 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 0 0 0 0
[pid=26306/tid=26322] ppid=26304 vsize=10547644 CPUtime=0.63 cores=0,2,4,6
/proc/26306/task/26322/stat : 26322 (java) S 26304 26306 21680 0 -1 4202560 3375 0 0 0 63 0 0 0 16 0 19 0 902766833 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26323] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26323/stat : 26323 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902766833 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26324] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26324/stat : 26324 (java) S 26304 26306 21680 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 902766833 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26325] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26325/stat : 26325 (java) S 26304 26306 21680 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902766864 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 259.93
Current children cumulated vsize (KiB) 10547644

[startup+257.901 s]
/proc/loadavg: 2.00 2.02 1.95 3/214 26332
/proc/meminfo: memFree=31902044/32951124 swapFree=67052812/67111528
[pid=26306] ppid=26304 vsize=10547644 CPUtime=260.33 cores=0,2,4,6
/proc/26306/stat : 26306 (java) S 26304 26306 21680 0 -1 4202496 39303 0 1 0 26018 15 0 0 18 0 19 0 902766827 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26306/statm: 2636911 28736 2264 9 0 2627645 0
[pid=26306/tid=26308] ppid=26304 vsize=10547644 CPUtime=248.91 cores=0,2,4,6
/proc/26306/task/26308/stat : 26308 (java) R 26304 26306 21680 0 -1 4202560 20666 0 1 0 24887 4 0 0 25 0 19 0 902766828 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 46912505717126 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26306/tid=26309] ppid=26304 vsize=10547644 CPUtime=0.17 cores=0,2,4,6
/proc/26306/task/26309/stat : 26309 (java) S 26304 26306 21680 0 -1 4202560 395 0 0 0 17 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26310] ppid=26304 vsize=10547644 CPUtime=0.17 cores=0,2,4,6
/proc/26306/task/26310/stat : 26310 (java) S 26304 26306 21680 0 -1 4202560 13 0 0 0 17 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26311] ppid=26304 vsize=10547644 CPUtime=0.16 cores=0,2,4,6
/proc/26306/task/26311/stat : 26311 (java) S 26304 26306 21680 0 -1 4202560 95 0 0 0 16 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26312] ppid=26304 vsize=10547644 CPUtime=0.15 cores=0,2,4,6
/proc/26306/task/26312/stat : 26312 (java) S 26304 26306 21680 0 -1 4202560 242 0 0 0 15 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26313] ppid=26304 vsize=10547644 CPUtime=0.16 cores=0,2,4,6
/proc/26306/task/26313/stat : 26313 (java) S 26304 26306 21680 0 -1 4202560 127 0 0 0 16 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26314] ppid=26304 vsize=10547644 CPUtime=0.13 cores=0,2,4,6
/proc/26306/task/26314/stat : 26314 (java) S 26304 26306 21680 0 -1 4202560 217 0 0 0 13 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26315] ppid=26304 vsize=10547644 CPUtime=0.14 cores=0,2,4,6
/proc/26306/task/26315/stat : 26315 (java) S 26304 26306 21680 0 -1 4202560 21 0 0 0 14 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26316] ppid=26304 vsize=10547644 CPUtime=0.14 cores=0,2,4,6
/proc/26306/task/26316/stat : 26316 (java) S 26304 26306 21680 0 -1 4202560 282 0 0 0 14 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26317] ppid=26304 vsize=10547644 CPUtime=8.26 cores=0,2,4,6
/proc/26306/task/26317/stat : 26317 (java) S 26304 26306 21680 0 -1 4202560 1793 0 0 0 820 6 0 0 15 0 19 0 902766831 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 0 0 16800975 18446604442737407040 0 0 -1 0 0 0 0
[pid=26306/tid=26318] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26318/stat : 26318 (java) S 26304 26306 21680 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902766831 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26319] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26319/stat : 26319 (java) S 26304 26306 21680 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902766831 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26320] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26320/stat : 26320 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902766833 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646338993 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26321] ppid=26304 vsize=10547644 CPUtime=1.23 cores=0,2,4,6
/proc/26306/task/26321/stat : 26321 (java) S 26304 26306 21680 0 -1 4202560 10910 0 0 0 121 2 0 0 15 0 19 0 902766833 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 0 0 0 0
[pid=26306/tid=26322] ppid=26304 vsize=10547644 CPUtime=0.63 cores=0,2,4,6
/proc/26306/task/26322/stat : 26322 (java) S 26304 26306 21680 0 -1 4202560 3375 0 0 0 63 0 0 0 16 0 19 0 902766833 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26323] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26323/stat : 26323 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902766833 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26324] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26324/stat : 26324 (java) S 26304 26306 21680 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 902766833 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26325] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26325/stat : 26325 (java) S 26304 26306 21680 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902766864 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 260.33
Current children cumulated vsize (KiB) 10547644

[startup+258.101 s]
/proc/loadavg: 2.00 2.02 1.95 3/214 26332
/proc/meminfo: memFree=31902044/32951124 swapFree=67052812/67111528
[pid=26306] ppid=26304 vsize=10547644 CPUtime=260.54 cores=0,2,4,6
/proc/26306/stat : 26306 (java) S 26304 26306 21680 0 -1 4202496 39303 0 1 0 26039 15 0 0 18 0 19 0 902766827 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26306/statm: 2636911 28736 2264 9 0 2627645 0
[pid=26306/tid=26308] ppid=26304 vsize=10547644 CPUtime=249.11 cores=0,2,4,6
/proc/26306/task/26308/stat : 26308 (java) R 26304 26306 21680 0 -1 4202560 20666 0 1 0 24907 4 0 0 25 0 19 0 902766828 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 46912505717121 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26306/tid=26309] ppid=26304 vsize=10547644 CPUtime=0.17 cores=0,2,4,6
/proc/26306/task/26309/stat : 26309 (java) S 26304 26306 21680 0 -1 4202560 395 0 0 0 17 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26310] ppid=26304 vsize=10547644 CPUtime=0.17 cores=0,2,4,6
/proc/26306/task/26310/stat : 26310 (java) S 26304 26306 21680 0 -1 4202560 13 0 0 0 17 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26311] ppid=26304 vsize=10547644 CPUtime=0.16 cores=0,2,4,6
/proc/26306/task/26311/stat : 26311 (java) S 26304 26306 21680 0 -1 4202560 95 0 0 0 16 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26312] ppid=26304 vsize=10547644 CPUtime=0.15 cores=0,2,4,6
/proc/26306/task/26312/stat : 26312 (java) S 26304 26306 21680 0 -1 4202560 242 0 0 0 15 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26313] ppid=26304 vsize=10547644 CPUtime=0.16 cores=0,2,4,6
/proc/26306/task/26313/stat : 26313 (java) S 26304 26306 21680 0 -1 4202560 127 0 0 0 16 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26314] ppid=26304 vsize=10547644 CPUtime=0.13 cores=0,2,4,6
/proc/26306/task/26314/stat : 26314 (java) S 26304 26306 21680 0 -1 4202560 217 0 0 0 13 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26315] ppid=26304 vsize=10547644 CPUtime=0.14 cores=0,2,4,6
/proc/26306/task/26315/stat : 26315 (java) S 26304 26306 21680 0 -1 4202560 21 0 0 0 14 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
[pid=26306/tid=26316] ppid=26304 vsize=10547644 CPUtime=0.14 cores=0,2,4,6
/proc/26306/task/26316/stat : 26316 (java) S 26304 26306 21680 0 -1 4202560 282 0 0 0 14 0 0 0 15 0 19 0 902766830 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26317] ppid=26304 vsize=10547644 CPUtime=8.26 cores=0,2,4,6
/proc/26306/task/26317/stat : 26317 (java) S 26304 26306 21680 0 -1 4202560 1793 0 0 0 820 6 0 0 15 0 19 0 902766831 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 0 0 16800975 18446604442737407040 0 0 -1 0 0 0 0
[pid=26306/tid=26318] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26318/stat : 26318 (java) S 26304 26306 21680 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902766831 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26319] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26319/stat : 26319 (java) S 26304 26306 21680 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902766831 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26320] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26320/stat : 26320 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902766833 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646338993 0 4 0 16800975 18446604442737407040 0 0 -1 6 0 0 0
[pid=26306/tid=26321] ppid=26304 vsize=10547644 CPUtime=1.23 cores=0,2,4,6
/proc/26306/task/26321/stat : 26321 (java) R 26304 26306 21680 0 -1 4202560 10910 0 0 0 121 2 0 0 15 0 19 0 902766833 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 47646883176385 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26306/tid=26322] ppid=26304 vsize=10547644 CPUtime=0.63 cores=0,2,4,6
/proc/26306/task/26322/stat : 26322 (java) S 26304 26306 21680 0 -1 4202560 3375 0 0 0 63 0 0 0 16 0 19 0 902766833 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26323] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26323/stat : 26323 (java) S 26304 26306 21680 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902766833 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331289 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26324] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26324/stat : 26324 (java) S 26304 26306 21680 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 902766833 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 4 0 16800975 18446604442737407040 0 0 -1 2 0 0 0
[pid=26306/tid=26325] ppid=26304 vsize=10547644 CPUtime=0 cores=0,2,4,6
/proc/26306/task/26325/stat : 26325 (java) S 26304 26306 21680 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902766864 10800787456 28736 33554432000 1073741824 1073778376 140734710606160 18446744073709551615 216646331904 0 4 0 16800975 18446604442737407040 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 260.54
Current children cumulated vsize (KiB) 10547644

[startup+258.205 s]
/proc/loadavg: 2.00 2.02 1.95 3/214 26332
/proc/meminfo: memFree=31902044/32951124 swapFree=67052812/67111528
[pid=26306] ppid=26304 vsize=0 CPUtime=260.65 cores=0,2,4,6
/proc/26306/stat : 26306 (java) Z 26304 26306 21680 0 -1 4203548 39329 0 1 0 26049 16 0 0 18 0 2 0 902766827 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26306/statm: 0 0 0 0 0 0 0
[pid=26306/tid=26321] ppid=26304 vsize=0 CPUtime=1.24 cores=0,2,4,6
/proc/26306/task/26321/stat : 26321 (java) R 26304 26306 21680 0 -1 4203588 10910 0 0 0 122 2 0 0 15 0 2 0 902766833 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 260.65
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 258.207
CPU time (s): 260.66
CPU user time (s): 260.498
CPU system time (s): 0.161975
CPU usage (%): 100.95
Max. virtual memory (cumulated for all children) (KiB): 10547644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 260.498
system time used= 0.161975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39329
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= 18070
involuntary context switches= 8497

runsolver used 0.469928 second user time and 0.961853 second system time

The end

Launcher Data 

Begin job on node103 at 2011-06-12 22:47:22
IDJOB=3492175
IDBENCH=79306
IDSOLVER=1982
FILE ID=node103/3492175-1307911642
RUNJOBID= node103-1307908898-25667
PBS_JOBID= 13559599
Free space on /tmp= 74072 MiB

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

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

MD5SUM BENCH= da8b4d3fc4733201ddcbc92154231f9d
RANDOM SEED=1194348197

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32011868 kB
Buffers:        125016 kB
Cached:         133088 kB
SwapCached:      22648 kB
Active:         641624 kB
Inactive:       107060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32011868 kB
SwapTotal:    67111528 kB
SwapFree:     67052812 kB
Dirty:             488 kB
Writeback:           0 kB
AnonPages:      488728 kB
Mapped:          17560 kB
Slab:           124880 kB
PageTables:       5780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10550480 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74072 MiB
End job on node103 at 2011-06-12 22:51:40