Trace number 3492655

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 234.056 232.379

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969577--soft-0-100-0.wbo
MD5SUMd7224815986b77e3e6ab0ebb98086e1f
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark1.79673
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 4944
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4943
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1255
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		9996466904
0.06/0.09	c Max memory 		10048897024
0.06/0.09	c Total memory 		10048897024
0.06/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3492655-1307911073.wbo
0.09/0.11	c reading problem ... 
0.09/0.16	c ... done. Wall clock time 0.055s.
0.09/0.16	c #vars     270
0.09/0.16	c #constraints  101
0.09/0.16	c constraints type 
0.09/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.09/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.29/0.22	c SATISFIABLE
0.29/0.22	c OPTIMIZING...
0.29/0.22	c Got one! Elapsed wall clock time (in seconds):0.107
0.29/0.22	o 443
0.51/0.36	c Got one! Elapsed wall clock time (in seconds):0.247
0.51/0.36	o 412
0.62/0.42	c Got one! Elapsed wall clock time (in seconds):0.315
0.62/0.42	o 392
0.76/0.50	c Got one! Elapsed wall clock time (in seconds):0.393
0.76/0.50	o 340
0.86/0.64	c cleaning 3142 clauses out of 6294 with flag 2009/6294
1.21/0.95	c cleaning 4567 clauses out of 9143 with flag 8000/12285
1.61/1.33	c cleaning 5787 clauses out of 11578 with flag 15002/19287
1.72/1.47	c Got one! Elapsed wall clock time (in seconds):1.364
1.72/1.47	o 326
1.72/1.49	c Got one! Elapsed wall clock time (in seconds):1.379
1.72/1.49	o 321
1.83/1.52	c Got one! Elapsed wall clock time (in seconds):1.412
1.83/1.52	o 315
2.03/1.70	c cleaning 6037 clauses out of 12079 with flag 3000/25575
2.25/1.96	c Got one! Elapsed wall clock time (in seconds):1.847
2.25/1.96	o 301
2.35/2.00	c cleaning 5734 clauses out of 11474 with flag 1000/31007
2.56/2.28	c cleaning 5865 clauses out of 11740 with flag 7000/37007
3.05/2.71	c cleaning 6427 clauses out of 12876 with flag 14001/44008
3.46/3.16	c cleaning 7221 clauses out of 14449 with flag 22001/52008
3.67/3.38	c Got one! Elapsed wall clock time (in seconds):3.269
3.67/3.38	o 292
3.76/3.46	c cleaning 6267 clauses out of 12542 with flag 2000/57322
4.16/3.89	c cleaning 6128 clauses out of 12275 with flag 8000/63322
4.27/3.97	c Got one! Elapsed wall clock time (in seconds):3.859
4.27/3.97	o 269
4.46/4.12	c cleaning 5644 clauses out of 11304 with flag 4000/68479
4.77/4.49	c cleaning 5825 clauses out of 11660 with flag 10000/74479
4.97/4.61	c Got one! Elapsed wall clock time (in seconds):4.499
4.97/4.61	o 262
5.07/4.76	c cleaning 5893 clauses out of 11790 with flag 4001/80434
5.37/5.00	c cleaning 5944 clauses out of 11897 with flag 10001/86434
5.77/5.47	c cleaning 6466 clauses out of 12953 with flag 17001/93434
6.27/5.92	c cleaning 7228 clauses out of 14488 with flag 25002/101435
6.77/6.42	c cleaning 8119 clauses out of 16260 with flag 34002/110435
7.27/6.99	c cleaning 9063 clauses out of 18140 with flag 44001/120434
7.87/7.54	c cleaning 9533 clauses out of 19078 with flag 54002/130435
8.37/8.06	c cleaning 9767 clauses out of 19543 with flag 64000/140433
9.08/8.75	c cleaning 9879 clauses out of 19777 with flag 74001/150434
9.57/9.26	c Got one! Elapsed wall clock time (in seconds):9.153
9.57/9.26	o 250
9.78/9.49	c cleaning 11740 clauses out of 23488 with flag 5001/164024
10.08/9.73	c cleaning 8870 clauses out of 17748 with flag 11001/170024
10.48/10.12	c cleaning 7929 clauses out of 15879 with flag 18002/177025
10.98/10.65	c cleaning 7965 clauses out of 15950 with flag 26002/185025
11.58/11.21	c cleaning 8487 clauses out of 16984 with flag 35001/194024
12.09/11.71	c cleaning 9244 clauses out of 18496 with flag 45000/204023
12.50/12.12	c Got one! Elapsed wall clock time (in seconds):12.012
12.50/12.12	o 228
12.69/12.33	c cleaning 10699 clauses out of 21411 with flag 5000/216182
12.89/12.58	c cleaning 8349 clauses out of 16713 with flag 11001/222183
13.19/12.88	c cleaning 7678 clauses out of 15365 with flag 18002/229184
13.60/13.26	c cleaning 7836 clauses out of 15685 with flag 26000/237182
14.20/13.84	c cleaning 8421 clauses out of 16853 with flag 35004/246186
14.80/14.45	c cleaning 9209 clauses out of 18429 with flag 45001/256183
15.40/15.07	c cleaning 9606 clauses out of 19222 with flag 55003/266185
16.00/15.63	c cleaning 9803 clauses out of 19613 with flag 65000/276182
16.20/15.84	c Got one! Elapsed wall clock time (in seconds):15.73
16.20/15.84	o 226
16.20/15.88	c cleaning 7403 clauses out of 14811 with flag 1001/281183
16.50/16.10	c cleaning 6701 clauses out of 13409 with flag 7002/287184
16.70/16.36	c cleaning 6850 clauses out of 13707 with flag 14001/294183
17.00/16.65	c cleaning 7422 clauses out of 14858 with flag 22002/302184
17.40/17.01	c cleaning 8217 clauses out of 16437 with flag 31003/311185
18.01/17.60	c cleaning 9104 clauses out of 18219 with flag 41002/321184
18.61/18.20	c cleaning 9550 clauses out of 19113 with flag 51000/331182
19.21/18.84	c cleaning 9779 clauses out of 19569 with flag 61006/341188
19.71/19.39	c cleaning 9890 clauses out of 19785 with flag 71001/351183
20.41/20.07	c cleaning 9941 clauses out of 19894 with flag 81000/361182
21.01/20.69	c cleaning 9969 clauses out of 19954 with flag 91001/371183
21.61/21.26	c cleaning 9986 clauses out of 19985 with flag 101001/381183
22.21/21.81	c cleaning 9991 clauses out of 19998 with flag 111000/391182
22.71/22.35	c cleaning 9996 clauses out of 20007 with flag 121000/401182
23.11/22.78	c Got one! Elapsed wall clock time (in seconds):22.667
23.11/22.78	o 218
23.32/22.98	c cleaning 11579 clauses out of 23167 with flag 5000/414338
23.62/23.21	c cleaning 8787 clauses out of 17588 with flag 11000/420338
23.82/23.47	c cleaning 7897 clauses out of 15801 with flag 18000/427338
24.12/23.76	c cleaning 7948 clauses out of 15904 with flag 26000/435338
24.42/24.08	c cleaning 8472 clauses out of 16958 with flag 35002/444340
24.82/24.49	c cleaning 9237 clauses out of 18484 with flag 45000/454338
25.44/25.08	c cleaning 9622 clauses out of 19250 with flag 55003/464341
26.14/25.71	c cleaning 9807 clauses out of 19625 with flag 65000/474338
26.75/26.33	c cleaning 9905 clauses out of 19819 with flag 75001/484339
27.34/26.90	c cleaning 9953 clauses out of 19913 with flag 85000/494338
27.85/27.48	c cleaning 9976 clauses out of 19962 with flag 95002/504340
28.45/28.08	c cleaning 9986 clauses out of 19984 with flag 105000/514338
29.15/28.76	c cleaning 9995 clauses out of 19999 with flag 115001/524339
29.85/29.42	c cleaning 9995 clauses out of 20005 with flag 125002/534340
30.45/30.03	c cleaning 9999 clauses out of 20008 with flag 135000/544338
31.15/30.71	c cleaning 9998 clauses out of 20011 with flag 145002/554340
31.75/31.37	c cleaning 9998 clauses out of 20013 with flag 155002/564340
32.45/32.00	c cleaning 10001 clauses out of 20014 with flag 165001/574339
32.65/32.20	c Got one! Elapsed wall clock time (in seconds):32.09
32.65/32.20	o 208
32.65/32.27	c cleaning 7602 clauses out of 15209 with flag 2002/579535
32.85/32.48	c cleaning 6795 clauses out of 13606 with flag 8001/585534
33.15/32.72	c cleaning 6896 clauses out of 13810 with flag 15000/592533
33.46/33.01	c cleaning 7452 clauses out of 14914 with flag 23000/600533
33.75/33.35	c cleaning 8228 clauses out of 16462 with flag 32000/609533
34.15/33.75	c cleaning 9114 clauses out of 18235 with flag 42001/619534
34.75/34.34	c cleaning 9555 clauses out of 19123 with flag 52003/629536
35.36/34.98	c cleaning 9773 clauses out of 19565 with flag 62000/639533
35.96/35.55	c Got one! Elapsed wall clock time (in seconds):35.446
35.96/35.55	o 187
36.16/35.77	c cleaning 12236 clauses out of 24476 with flag 5002/654217
36.46/36.01	c cleaning 9114 clauses out of 18239 with flag 11001/660216
36.66/36.26	c cleaning 8058 clauses out of 16124 with flag 18000/667215
36.97/36.56	c cleaning 8028 clauses out of 16066 with flag 26000/675215
37.37/36.90	c cleaning 8514 clauses out of 17039 with flag 35001/684216
37.77/37.30	c cleaning 9258 clauses out of 18525 with flag 45001/694216
38.07/37.68	c cleaning 9627 clauses out of 19266 with flag 55000/704215
38.47/38.06	c cleaning 9816 clauses out of 19639 with flag 65000/714215
39.07/38.64	c cleaning 9908 clauses out of 19823 with flag 75000/724215
39.67/39.24	c cleaning 9954 clauses out of 19915 with flag 85000/734215
39.77/39.37	c Got one! Elapsed wall clock time (in seconds):39.263
39.77/39.37	o 164
39.88/39.48	c cleaning 7654 clauses out of 15327 with flag 3000/739581
40.09/39.69	c cleaning 6835 clauses out of 13673 with flag 9000/745581
40.49/40.07	c cleaning 6913 clauses out of 13841 with flag 16003/752584
40.99/40.53	c cleaning 7461 clauses out of 14929 with flag 24004/760585
41.59/41.14	c cleaning 8226 clauses out of 16465 with flag 33001/769582
42.19/41.74	c cleaning 9112 clauses out of 18238 with flag 43000/779581
42.59/42.11	c Got one! Elapsed wall clock time (in seconds):42.0
42.59/42.11	o 163
42.69/42.30	c cleaning 10521 clauses out of 21047 with flag 5002/791502
42.99/42.52	c cleaning 8259 clauses out of 16525 with flag 11001/797501
43.19/42.77	c cleaning 7629 clauses out of 15265 with flag 18000/804500
43.50/43.05	c cleaning 7814 clauses out of 15637 with flag 26001/812501
44.00/43.54	c cleaning 8404 clauses out of 16822 with flag 35000/821500
44.60/44.19	c cleaning 9207 clauses out of 18421 with flag 45003/831503
45.20/44.73	c Got one! Elapsed wall clock time (in seconds):44.626
45.20/44.73	o 155
45.40/44.94	c cleaning 11715 clauses out of 23437 with flag 5001/845726
45.61/45.16	c cleaning 8859 clauses out of 17723 with flag 11002/851727
45.90/45.41	c cleaning 7926 clauses out of 15862 with flag 18000/858725
46.20/45.70	c cleaning 7964 clauses out of 15937 with flag 26001/866726
46.50/46.04	c cleaning 8480 clauses out of 16972 with flag 35000/875725
46.90/46.46	c cleaning 9241 clauses out of 18495 with flag 45003/885728
47.60/47.10	c cleaning 9619 clauses out of 19252 with flag 55001/895726
48.21/47.72	c cleaning 9812 clauses out of 19633 with flag 65001/905726
48.81/48.32	c cleaning 9903 clauses out of 19820 with flag 75000/915725
49.21/48.70	c Got one! Elapsed wall clock time (in seconds):48.591
49.21/48.70	o 141
49.31/48.89	c cleaning 10848 clauses out of 21702 with flag 5001/927510
49.62/49.11	c cleaning 8426 clauses out of 16855 with flag 11002/933511
49.82/49.36	c cleaning 7708 clauses out of 15428 with flag 18001/940510
50.12/49.65	c cleaning 7851 clauses out of 15719 with flag 26000/948509
50.42/49.97	c cleaning 8431 clauses out of 16870 with flag 35002/957511
50.82/50.34	c cleaning 9212 clauses out of 18438 with flag 45001/967510
51.22/50.73	c cleaning 9610 clauses out of 19226 with flag 55001/977510
51.62/51.11	c cleaning 9803 clauses out of 19616 with flag 65001/987510
52.13/51.67	c cleaning 9899 clauses out of 19812 with flag 75000/997509
52.72/52.20	c cleaning 9951 clauses out of 19913 with flag 85000/1007509
52.72/52.23	c Got one! Elapsed wall clock time (in seconds):52.119
52.72/52.23	o 126
52.82/52.40	c cleaning 7600 clauses out of 15212 with flag 5001/1012759
53.13/52.60	c cleaning 6800 clauses out of 13611 with flag 11000/1018758
53.33/52.84	c cleaning 6901 clauses out of 13811 with flag 18000/1025758
53.63/53.13	c cleaning 7451 clauses out of 14910 with flag 26000/1033758
53.93/53.45	c cleaning 8224 clauses out of 16459 with flag 35000/1042758
54.33/53.85	c cleaning 9109 clauses out of 18235 with flag 45000/1052758
54.73/54.22	c cleaning 9558 clauses out of 19126 with flag 55000/1062758
55.03/54.57	c cleaning 9781 clauses out of 19570 with flag 65002/1072760
55.43/54.94	c cleaning 9891 clauses out of 19789 with flag 75002/1082760
55.83/55.32	c cleaning 9945 clauses out of 19898 with flag 85002/1092760
56.23/55.70	c cleaning 9968 clauses out of 19951 with flag 95000/1102758
56.64/56.18	c cleaning 9984 clauses out of 19983 with flag 105000/1112758
57.23/56.76	c cleaning 9996 clauses out of 19999 with flag 115000/1122758
57.83/57.32	c cleaning 10000 clauses out of 20004 with flag 125001/1132759
58.33/57.89	c cleaning 9994 clauses out of 20006 with flag 135003/1142761
58.94/58.48	c cleaning 9993 clauses out of 20009 with flag 145000/1152758
59.53/59.09	c cleaning 10005 clauses out of 20021 with flag 155005/1162763
60.13/59.65	c cleaning 10002 clauses out of 20012 with flag 165001/1172759
60.74/60.26	c cleaning 9997 clauses out of 20010 with flag 175001/1182759
61.34/60.83	c cleaning 10001 clauses out of 20013 with flag 185001/1192759
61.84/61.38	c cleaning 9997 clauses out of 20011 with flag 195000/1202758
62.44/61.92	c cleaning 10003 clauses out of 20014 with flag 205000/1212758
62.94/62.44	c cleaning 10000 clauses out of 20013 with flag 215002/1222760
63.44/62.98	c cleaning 10002 clauses out of 20012 with flag 225001/1232759
64.04/63.53	c cleaning 10002 clauses out of 20011 with flag 235002/1242760
64.64/64.12	c cleaning 10000 clauses out of 20008 with flag 245001/1252759
65.24/64.72	c cleaning 10001 clauses out of 20007 with flag 255000/1262758
65.84/65.32	c cleaning 9997 clauses out of 20006 with flag 265000/1272758
66.45/65.91	c cleaning 9994 clauses out of 20009 with flag 275000/1282758
66.45/65.99	c Got one! Elapsed wall clock time (in seconds):65.885
66.45/65.99	o 118
66.70/66.13	c cleaning 7677 clauses out of 15360 with flag 4001/1288103
66.90/66.34	c cleaning 6836 clauses out of 13682 with flag 10000/1294102
67.10/66.57	c cleaning 6917 clauses out of 13846 with flag 17000/1301102
67.40/66.86	c cleaning 7461 clauses out of 14929 with flag 25000/1309102
67.71/67.18	c cleaning 8230 clauses out of 16468 with flag 34000/1318102
68.10/67.57	c cleaning 9117 clauses out of 18239 with flag 44001/1328103
68.50/67.94	c cleaning 9557 clauses out of 19122 with flag 54001/1338103
68.90/68.31	c cleaning 9778 clauses out of 19564 with flag 64000/1348102
69.40/68.86	c cleaning 9891 clauses out of 19787 with flag 74001/1358103
70.00/69.42	c cleaning 9944 clauses out of 19895 with flag 84000/1368102
70.51/69.97	c Got one! Elapsed wall clock time (in seconds):69.859
70.51/69.97	o 112
70.71/70.18	c cleaning 12164 clauses out of 24334 with flag 5001/1382485
71.02/70.41	c cleaning 9079 clauses out of 18169 with flag 11000/1388484
71.21/70.65	c cleaning 8042 clauses out of 16091 with flag 18001/1395485
71.51/70.94	c cleaning 8021 clauses out of 16049 with flag 26001/1403485
71.81/71.27	c cleaning 8509 clauses out of 17027 with flag 35000/1412484
72.22/71.69	c cleaning 9256 clauses out of 18518 with flag 45000/1422484
72.62/72.07	c cleaning 9625 clauses out of 19262 with flag 55000/1432484
73.02/72.45	c cleaning 9814 clauses out of 19639 with flag 65002/1442486
73.42/72.82	c cleaning 9907 clauses out of 19827 with flag 75004/1452488
73.82/73.21	c cleaning 9952 clauses out of 19919 with flag 85003/1462487
74.12/73.56	c cleaning 9977 clauses out of 19964 with flag 95000/1472484
74.79/74.10	c cleaning 9983 clauses out of 19987 with flag 105000/1482484
75.68/74.68	c cleaning 9999 clauses out of 20008 with flag 115004/1492488
76.28/75.27	c cleaning 9979 clauses out of 20005 with flag 125000/1502484
76.92/75.85	c cleaning 10008 clauses out of 20028 with flag 135002/1512486
77.52/76.43	c cleaning 10007 clauses out of 20022 with flag 145004/1522488
78.03/77.00	c cleaning 9999 clauses out of 20011 with flag 155000/1532484
78.63/77.57	c cleaning 10004 clauses out of 20015 with flag 165003/1542487
79.24/78.13	c cleaning 9993 clauses out of 20009 with flag 175001/1552485
79.73/78.69	c cleaning 10000 clauses out of 20015 with flag 185000/1562484
80.34/79.24	c cleaning 10004 clauses out of 20016 with flag 195001/1572485
80.85/79.79	c cleaning 10000 clauses out of 20013 with flag 205002/1582486
81.46/80.35	c cleaning 9998 clauses out of 20011 with flag 215000/1592484
82.05/80.90	c cleaning 10001 clauses out of 20014 with flag 225001/1602485
82.56/81.43	c cleaning 10000 clauses out of 20013 with flag 235001/1612485
83.05/81.99	c cleaning 10001 clauses out of 20012 with flag 245000/1622484
83.66/82.54	c cleaning 10001 clauses out of 20011 with flag 255000/1632484
84.15/83.08	c cleaning 10004 clauses out of 20012 with flag 265002/1642486
84.76/83.65	c cleaning 9998 clauses out of 20006 with flag 275000/1652484
85.35/84.25	c cleaning 9997 clauses out of 20008 with flag 285000/1662484
85.86/84.78	c cleaning 10000 clauses out of 20011 with flag 295000/1672484
85.96/84.89	c Got one! Elapsed wall clock time (in seconds):84.779
85.96/84.89	o 105
86.07/84.99	c cleaning 7550 clauses out of 15110 with flag 3000/1677583
86.38/85.21	c cleaning 6777 clauses out of 13560 with flag 9000/1683583
86.58/85.46	c cleaning 6889 clauses out of 13785 with flag 16002/1690585
86.99/85.85	c cleaning 7438 clauses out of 14894 with flag 24000/1698583
87.08/85.97	c Got one! Elapsed wall clock time (in seconds):85.864
87.08/85.97	o 104
87.18/86.07	c cleaning 6244 clauses out of 12499 with flag 3001/1703626
87.38/86.28	c cleaning 6125 clauses out of 12257 with flag 9003/1709628
87.68/86.54	c cleaning 6558 clauses out of 13130 with flag 16001/1716626
87.99/86.83	c cleaning 7283 clauses out of 14573 with flag 24002/1724627
88.38/87.23	c cleaning 8139 clauses out of 16289 with flag 33001/1733626
88.79/87.60	c Got one! Elapsed wall clock time (in seconds):87.494
88.79/87.60	o 99
88.99/87.80	c cleaning 10444 clauses out of 20900 with flag 5001/1746376
89.19/88.03	c cleaning 8224 clauses out of 16456 with flag 11001/1752376
89.39/88.29	c cleaning 7611 clauses out of 15232 with flag 18001/1759376
89.69/88.58	c cleaning 7805 clauses out of 15622 with flag 26002/1767377
90.09/88.91	c cleaning 8404 clauses out of 16815 with flag 35000/1776375
90.49/89.32	c cleaning 9194 clauses out of 18412 with flag 45001/1786376
90.99/89.88	c cleaning 9598 clauses out of 19217 with flag 55000/1796375
91.59/90.48	c cleaning 9804 clauses out of 19619 with flag 65000/1806375
92.19/91.02	c cleaning 9904 clauses out of 19817 with flag 75002/1816377
92.29/91.11	c Got one! Elapsed wall clock time (in seconds):91.005
92.29/91.11	o 97
92.40/91.25	c cleaning 7788 clauses out of 15579 with flag 4001/1822043
92.59/91.48	c cleaning 6890 clauses out of 13791 with flag 10001/1828043
92.89/91.73	c cleaning 6949 clauses out of 13902 with flag 17002/1835044
93.19/92.04	c cleaning 7468 clauses out of 14952 with flag 25001/1843043
93.50/92.39	c cleaning 8238 clauses out of 16484 with flag 34001/1852043
93.90/92.77	c cleaning 9118 clauses out of 18245 with flag 44000/1862042
94.40/93.22	c cleaning 9560 clauses out of 19128 with flag 54001/1872043
94.81/93.60	c cleaning 9780 clauses out of 19568 with flag 64001/1882043
95.41/94.20	c cleaning 9880 clauses out of 19787 with flag 74000/1892042
96.01/94.85	c cleaning 9950 clauses out of 19907 with flag 84000/1902042
96.61/95.47	c cleaning 9975 clauses out of 19957 with flag 94000/1912042
97.21/96.08	c cleaning 9970 clauses out of 19982 with flag 104000/1922042
97.81/96.62	c cleaning 10002 clauses out of 20013 with flag 114001/1932043
98.31/97.12	c Got one! Elapsed wall clock time (in seconds):97.015
98.31/97.12	o 80
98.51/97.34	c cleaning 11944 clauses out of 23892 with flag 5003/1945924
98.72/97.57	c cleaning 8966 clauses out of 17946 with flag 11001/1951922
99.02/97.82	c cleaning 7986 clauses out of 15979 with flag 18000/1958921
99.31/98.12	c cleaning 7994 clauses out of 15995 with flag 26002/1966923
99.61/98.46	c cleaning 8496 clauses out of 17001 with flag 35002/1975923
100.01/98.86	c cleaning 9249 clauses out of 18503 with flag 45000/1985921
100.42/99.23	c cleaning 9623 clauses out of 19256 with flag 55002/1995923
100.82/99.61	c cleaning 9808 clauses out of 19631 with flag 65000/2005921
101.12/99.97	c cleaning 9906 clauses out of 19824 with flag 75001/2015922
101.52/100.33	c cleaning 9955 clauses out of 19917 with flag 85000/2025921
101.93/100.71	c cleaning 9977 clauses out of 19963 with flag 95001/2035922
102.34/101.16	c cleaning 9989 clauses out of 19988 with flag 105003/2045924
102.84/101.67	c cleaning 9986 clauses out of 19997 with flag 115001/2055922
103.34/102.18	c cleaning 10005 clauses out of 20017 with flag 125007/2065928
103.84/102.69	c cleaning 9998 clauses out of 20005 with flag 135000/2075921
104.44/103.23	c cleaning 10000 clauses out of 20009 with flag 145002/2085923
105.04/103.83	c cleaning 9991 clauses out of 20009 with flag 155002/2095923
105.54/104.36	c cleaning 10003 clauses out of 20017 with flag 165001/2105922
106.04/104.86	c cleaning 9998 clauses out of 20013 with flag 175000/2115921
106.54/105.35	c cleaning 9998 clauses out of 20015 with flag 185000/2125921
107.04/105.86	c cleaning 9999 clauses out of 20017 with flag 195000/2135921
107.14/105.96	c Got one! Elapsed wall clock time (in seconds):105.856
107.14/105.96	o 76
107.24/106.07	c cleaning 7546 clauses out of 15101 with flag 3000/2141004
107.44/106.28	c cleaning 6775 clauses out of 13556 with flag 9001/2147005
107.74/106.53	c cleaning 6881 clauses out of 13780 with flag 16000/2154004
108.04/106.83	c cleaning 7447 clauses out of 14904 with flag 24005/2162009
108.34/107.16	c cleaning 8222 clauses out of 16452 with flag 33000/2171004
108.74/107.53	c cleaning 9112 clauses out of 18231 with flag 43001/2181005
109.14/107.92	c cleaning 9554 clauses out of 19118 with flag 53000/2191004
109.54/108.33	c cleaning 9779 clauses out of 19564 with flag 63000/2201004
109.94/108.71	c cleaning 9888 clauses out of 19785 with flag 73000/2211004
110.24/109.08	c cleaning 9945 clauses out of 19898 with flag 83001/2221005
110.64/109.46	c cleaning 9970 clauses out of 19953 with flag 93001/2231005
111.04/109.84	c cleaning 9988 clauses out of 19983 with flag 103001/2241005
111.45/110.23	c cleaning 9992 clauses out of 19994 with flag 113000/2251004
111.85/110.63	c cleaning 9993 clauses out of 20002 with flag 123000/2261004
112.25/111.01	c cleaning 10002 clauses out of 20011 with flag 133002/2271006
112.55/111.39	c cleaning 10000 clauses out of 20007 with flag 143000/2281004
112.94/111.79	c cleaning 10000 clauses out of 20010 with flag 153003/2291007
113.46/112.27	c cleaning 10000 clauses out of 20007 with flag 163000/2301004
113.96/112.77	c cleaning 9995 clauses out of 20010 with flag 173003/2311007
114.56/113.34	c cleaning 10000 clauses out of 20013 with flag 183001/2321005
115.16/113.91	c cleaning 10004 clauses out of 20015 with flag 193003/2331007
115.76/114.54	c cleaning 9997 clauses out of 20009 with flag 203001/2341005
116.26/115.04	c cleaning 10000 clauses out of 20013 with flag 213002/2351006
116.76/115.54	c cleaning 9997 clauses out of 20011 with flag 223000/2361004
117.26/116.05	c cleaning 10002 clauses out of 20014 with flag 233000/2371004
117.77/116.60	c cleaning 10000 clauses out of 20013 with flag 243001/2381005
118.36/117.10	c cleaning 10000 clauses out of 20013 with flag 253001/2391005
118.87/117.62	c cleaning 10002 clauses out of 20013 with flag 263001/2401005
119.36/118.13	c cleaning 9998 clauses out of 20010 with flag 273000/2411004
119.87/118.65	c cleaning 10001 clauses out of 20013 with flag 283001/2421005
120.37/119.12	c cleaning 9999 clauses out of 20012 with flag 293001/2431005
120.77/119.58	c cleaning 10001 clauses out of 20013 with flag 303001/2441005
121.08/119.87	c Got one! Elapsed wall clock time (in seconds):119.762
121.08/119.87	o 73
121.27/120.07	c cleaning 10732 clauses out of 21470 with flag 5000/2452463
121.57/120.31	c cleaning 8364 clauses out of 16740 with flag 11002/2458465
121.77/120.55	c cleaning 7683 clauses out of 15376 with flag 18002/2465465
122.07/120.84	c cleaning 7841 clauses out of 15693 with flag 26002/2473465
122.38/121.18	c cleaning 8418 clauses out of 16850 with flag 35000/2482463
122.78/121.56	c cleaning 9211 clauses out of 18433 with flag 45001/2492464
123.18/121.95	c cleaning 9607 clauses out of 19222 with flag 55001/2502464
123.58/122.33	c cleaning 9800 clauses out of 19615 with flag 65001/2512464
123.98/122.71	c cleaning 9900 clauses out of 19815 with flag 75001/2522464
124.28/123.08	c cleaning 9954 clauses out of 19915 with flag 85001/2532464
124.68/123.44	c cleaning 9976 clauses out of 19964 with flag 95004/2542467
125.08/123.83	c cleaning 9990 clauses out of 19989 with flag 105005/2552468
125.49/124.22	c cleaning 9994 clauses out of 19997 with flag 115003/2562466
125.78/124.58	c cleaning 9997 clauses out of 20001 with flag 125001/2572464
126.18/124.98	c cleaning 9995 clauses out of 20004 with flag 135001/2582464
126.59/125.35	c cleaning 9998 clauses out of 20008 with flag 145000/2592463
126.98/125.72	c cleaning 10001 clauses out of 20012 with flag 155002/2602465
127.39/126.10	c cleaning 10001 clauses out of 20010 with flag 165001/2612464
127.69/126.48	c cleaning 10000 clauses out of 20009 with flag 175001/2622464
128.09/126.87	c cleaning 9997 clauses out of 20008 with flag 185000/2632463
128.49/127.26	c cleaning 10000 clauses out of 20012 with flag 195001/2642464
128.89/127.64	c cleaning 10001 clauses out of 20014 with flag 205003/2652466
129.29/128.01	c cleaning 9998 clauses out of 20011 with flag 215001/2662464
129.69/128.42	c cleaning 10006 clauses out of 20014 with flag 225002/2672465
130.09/128.89	c cleaning 9998 clauses out of 20006 with flag 235000/2682463
130.59/129.35	c cleaning 10000 clauses out of 20009 with flag 245001/2692464
131.10/129.84	c cleaning 10000 clauses out of 20008 with flag 255000/2702463
131.59/130.35	c cleaning 10002 clauses out of 20011 with flag 265003/2712466
132.10/130.83	c cleaning 10001 clauses out of 20008 with flag 275002/2722465
132.59/131.31	c cleaning 10000 clauses out of 20006 with flag 285001/2732464
133.09/131.82	c cleaning 9998 clauses out of 20005 with flag 295000/2742463
133.59/132.33	c cleaning 10000 clauses out of 20010 with flag 305003/2752466
134.09/132.80	c cleaning 10001 clauses out of 20008 with flag 315001/2762464
134.61/133.35	c cleaning 10001 clauses out of 20009 with flag 325003/2772466
135.11/133.83	c cleaning 10000 clauses out of 20006 with flag 335001/2782464
135.61/134.33	c cleaning 9999 clauses out of 20005 with flag 345000/2792463
136.11/134.80	c cleaning 9997 clauses out of 20006 with flag 355000/2802463
136.61/135.34	c cleaning 9996 clauses out of 20010 with flag 365001/2812464
137.11/135.85	c cleaning 9999 clauses out of 20013 with flag 375000/2822463
137.62/136.36	c cleaning 10001 clauses out of 20015 with flag 385001/2832464
138.11/136.88	c cleaning 10003 clauses out of 20013 with flag 395000/2842463
138.31/137.05	c Got one! Elapsed wall clock time (in seconds):136.941
138.31/137.05	o 67
138.41/137.13	c cleaning 7821 clauses out of 15651 with flag 2001/2848104
138.61/137.35	c cleaning 6909 clauses out of 13829 with flag 8000/2854103
138.82/137.58	c cleaning 6957 clauses out of 13920 with flag 15000/2861103
139.12/137.88	c cleaning 7480 clauses out of 14963 with flag 23000/2869103
139.52/138.22	c cleaning 8240 clauses out of 16485 with flag 32002/2878105
139.83/138.59	c cleaning 9116 clauses out of 18243 with flag 42000/2888103
140.22/138.98	c cleaning 9560 clauses out of 19128 with flag 52001/2898104
140.62/139.36	c cleaning 9778 clauses out of 19567 with flag 62000/2908103
141.12/139.80	c cleaning 9886 clauses out of 19791 with flag 72002/2918105
141.63/140.31	c cleaning 9948 clauses out of 19904 with flag 82001/2928104
142.03/140.78	c cleaning 9972 clauses out of 19955 with flag 92000/2938103
142.33/141.00	c Got one! Elapsed wall clock time (in seconds):140.896
142.33/141.00	o 62
142.33/141.05	c cleaning 7818 clauses out of 15643 with flag 1001/2943763
142.53/141.27	c cleaning 6909 clauses out of 13824 with flag 7000/2949762
142.83/141.50	c cleaning 6956 clauses out of 13917 with flag 14002/2956764
143.03/141.80	c cleaning 7477 clauses out of 14959 with flag 22000/2964762
143.44/142.13	c cleaning 8238 clauses out of 16484 with flag 31002/2973764
143.84/142.52	c cleaning 9119 clauses out of 18244 with flag 41000/2983762
144.14/142.90	c cleaning 9556 clauses out of 19126 with flag 51001/2993763
144.64/143.31	c cleaning 9780 clauses out of 19570 with flag 61001/3003763
145.04/143.71	c cleaning 9890 clauses out of 19790 with flag 71001/3013763
145.35/144.08	c cleaning 9944 clauses out of 19901 with flag 81002/3023764
145.75/144.47	c cleaning 9975 clauses out of 19957 with flag 91002/3033764
146.15/144.86	c cleaning 9988 clauses out of 19981 with flag 101001/3043763
146.65/145.34	c cleaning 9991 clauses out of 19992 with flag 111000/3053762
147.05/145.76	c cleaning 9992 clauses out of 20001 with flag 121000/3063762
147.55/146.23	c cleaning 10002 clauses out of 20009 with flag 131000/3073762
148.05/146.70	c cleaning 9998 clauses out of 20007 with flag 141000/3083762
148.16/146.88	c Got one! Elapsed wall clock time (in seconds):146.771
148.16/146.88	o 51
148.26/146.92	c cleaning 7853 clauses out of 15713 with flag 1003/3089466
148.46/147.15	c cleaning 6927 clauses out of 13859 with flag 7002/3095465
148.67/147.40	c cleaning 6962 clauses out of 13932 with flag 14002/3102465
148.96/147.68	c cleaning 7480 clauses out of 14968 with flag 22000/3110463
149.26/147.99	c cleaning 8240 clauses out of 16488 with flag 31000/3119463
149.66/148.35	c cleaning 9120 clauses out of 18248 with flag 41000/3129463
150.07/148.75	c cleaning 9562 clauses out of 19131 with flag 51003/3139466
150.47/149.13	c cleaning 9778 clauses out of 19566 with flag 61000/3149463
150.77/149.49	c cleaning 9889 clauses out of 19788 with flag 71000/3159463
151.17/149.86	c cleaning 9945 clauses out of 19899 with flag 81000/3169463
151.57/150.23	c cleaning 9974 clauses out of 19957 with flag 91003/3179466
151.87/150.59	c cleaning 9985 clauses out of 19981 with flag 101001/3189464
152.27/150.99	c cleaning 9991 clauses out of 19995 with flag 111000/3199463
152.67/151.38	c cleaning 9996 clauses out of 20006 with flag 121002/3209465
153.08/151.76	c cleaning 9998 clauses out of 20010 with flag 131002/3219465
153.47/152.14	c cleaning 10002 clauses out of 20011 with flag 141001/3229464
153.87/152.50	c cleaning 10002 clauses out of 20009 with flag 151001/3239464
154.28/152.93	c cleaning 9994 clauses out of 20006 with flag 161000/3249463
154.68/153.36	c cleaning 10000 clauses out of 20012 with flag 171000/3259463
155.08/153.78	c cleaning 10001 clauses out of 20013 with flag 181001/3269464
155.58/154.20	c cleaning 9998 clauses out of 20012 with flag 191001/3279464
155.98/154.63	c cleaning 9998 clauses out of 20013 with flag 201000/3289463
156.08/154.77	c Got one! Elapsed wall clock time (in seconds):154.658
156.08/154.77	o 46
156.18/154.84	c cleaning 7807 clauses out of 15622 with flag 2000/3295070
156.39/155.05	c cleaning 6902 clauses out of 13815 with flag 8000/3301070
156.58/155.29	c cleaning 6954 clauses out of 13915 with flag 15002/3308072
156.88/155.59	c cleaning 7475 clauses out of 14961 with flag 23002/3316072
157.28/155.93	c cleaning 8237 clauses out of 16484 with flag 32000/3325070
157.68/156.31	c cleaning 9121 clauses out of 18248 with flag 42001/3335071
158.09/156.71	c cleaning 9559 clauses out of 19127 with flag 52001/3345071
158.39/157.09	c cleaning 9780 clauses out of 19570 with flag 62003/3355073
158.79/157.47	c cleaning 9891 clauses out of 19788 with flag 72001/3365071
159.20/157.83	c cleaning 9944 clauses out of 19897 with flag 82001/3375071
159.60/158.20	c cleaning 9969 clauses out of 19952 with flag 92000/3385070
159.90/158.58	c cleaning 9985 clauses out of 19983 with flag 102000/3395070
160.30/158.96	c cleaning 9995 clauses out of 19998 with flag 112000/3405070
160.70/159.34	c cleaning 9995 clauses out of 20004 with flag 122001/3415071
161.10/159.72	c cleaning 10000 clauses out of 20009 with flag 132001/3425071
161.40/160.08	c cleaning 9995 clauses out of 20008 with flag 142000/3435070
161.81/160.44	c cleaning 10000 clauses out of 20013 with flag 152000/3445070
162.11/160.79	c cleaning 10001 clauses out of 20013 with flag 162000/3455070
162.51/161.15	c cleaning 10002 clauses out of 20013 with flag 172001/3465071
162.91/161.51	c cleaning 10001 clauses out of 20011 with flag 182001/3475071
163.21/161.89	c cleaning 10000 clauses out of 20011 with flag 192002/3485072
163.61/162.25	c cleaning 10001 clauses out of 20009 with flag 202000/3495070
164.01/162.61	c cleaning 9999 clauses out of 20008 with flag 212000/3505070
164.31/162.96	c cleaning 10002 clauses out of 20010 with flag 222001/3515071
164.81/163.43	c cleaning 10000 clauses out of 20009 with flag 232002/3525072
165.22/163.83	c cleaning 10000 clauses out of 20007 with flag 242000/3535070
165.62/164.22	c cleaning 9999 clauses out of 20007 with flag 252000/3545070
166.02/164.61	c cleaning 10002 clauses out of 20009 with flag 262001/3555071
166.32/164.99	c cleaning 9995 clauses out of 20006 with flag 272000/3565070
166.72/165.37	c cleaning 9998 clauses out of 20011 with flag 282000/3575070
167.12/165.78	c cleaning 10003 clauses out of 20016 with flag 292003/3585073
167.52/166.18	c cleaning 10000 clauses out of 20010 with flag 302000/3595070
168.02/166.63	c cleaning 10001 clauses out of 20010 with flag 312000/3605070
168.32/166.98	c cleaning 10000 clauses out of 20009 with flag 322000/3615070
168.72/167.37	c cleaning 10000 clauses out of 20010 with flag 332001/3625071
169.12/167.78	c cleaning 9996 clauses out of 20011 with flag 342002/3635072
169.63/168.21	c cleaning 10002 clauses out of 20014 with flag 352001/3645071
169.93/168.59	c cleaning 9994 clauses out of 20011 with flag 362000/3655070
170.33/168.96	c cleaning 10004 clauses out of 20018 with flag 372001/3665071
170.73/169.35	c cleaning 10004 clauses out of 20013 with flag 382000/3675070
171.13/169.77	c cleaning 10000 clauses out of 20010 with flag 392001/3685071
171.63/170.22	c cleaning 9993 clauses out of 20009 with flag 402000/3695070
172.03/170.68	c cleaning 10005 clauses out of 20019 with flag 412003/3705073
172.53/171.13	c cleaning 10002 clauses out of 20013 with flag 422002/3715072
172.95/171.59	c cleaning 9998 clauses out of 20009 with flag 432000/3725070
173.34/171.98	c cleaning 10002 clauses out of 20013 with flag 442002/3735072
173.74/172.34	c cleaning 9999 clauses out of 20010 with flag 452001/3745071
174.15/172.70	c cleaning 9998 clauses out of 20012 with flag 462002/3755072
174.45/173.09	c cleaning 10002 clauses out of 20013 with flag 472001/3765071
174.75/173.32	c Got one! Elapsed wall clock time (in seconds):173.208
174.75/173.32	o 43
174.95/173.51	c cleaning 10518 clauses out of 21044 with flag 5000/3776104
175.15/173.73	c cleaning 8255 clauses out of 16526 with flag 11000/3782104
175.35/173.98	c cleaning 7631 clauses out of 15271 with flag 18000/3789104
175.66/174.27	c cleaning 7814 clauses out of 15642 with flag 26002/3797106
176.06/174.60	c cleaning 8410 clauses out of 16826 with flag 35000/3806104
176.37/174.97	c cleaning 9205 clauses out of 18417 with flag 45001/3816105
176.76/175.35	c cleaning 9603 clauses out of 19212 with flag 55001/3826105
177.16/175.73	c cleaning 9798 clauses out of 19608 with flag 65000/3836104
177.57/176.11	c cleaning 9900 clauses out of 19811 with flag 75001/3846105
177.87/176.46	c cleaning 9951 clauses out of 19913 with flag 85003/3856107
178.27/176.84	c cleaning 9972 clauses out of 19959 with flag 95000/3866104
178.57/177.19	c cleaning 9991 clauses out of 19989 with flag 105002/3876106
178.97/177.56	c cleaning 9994 clauses out of 20000 with flag 115004/3886108
179.37/177.96	c cleaning 9997 clauses out of 20003 with flag 125001/3896105
179.77/178.36	c cleaning 9997 clauses out of 20006 with flag 135001/3906105
180.17/178.74	c cleaning 9998 clauses out of 20008 with flag 145000/3916104
180.57/179.11	c cleaning 10003 clauses out of 20013 with flag 155003/3926107
180.87/179.46	c cleaning 9995 clauses out of 20008 with flag 165001/3936105
181.28/179.81	c cleaning 10003 clauses out of 20013 with flag 175001/3946105
181.58/180.17	c cleaning 9999 clauses out of 20009 with flag 185000/3956104
181.98/180.53	c cleaning 9999 clauses out of 20010 with flag 195000/3966104
182.38/180.91	c cleaning 10002 clauses out of 20012 with flag 205001/3976105
182.68/181.27	c cleaning 10002 clauses out of 20012 with flag 215003/3986107
183.08/181.64	c cleaning 9998 clauses out of 20007 with flag 225000/3996104
183.38/181.99	c cleaning 9999 clauses out of 20012 with flag 235003/4006107
183.79/182.38	c cleaning 9998 clauses out of 20010 with flag 245000/4016104
184.19/182.75	c cleaning 10001 clauses out of 20015 with flag 255003/4026107
184.59/183.10	c cleaning 10000 clauses out of 20013 with flag 265002/4036106
184.89/183.45	c cleaning 10000 clauses out of 20011 with flag 275000/4046104
185.29/183.82	c cleaning 10002 clauses out of 20011 with flag 285000/4056104
185.59/184.17	c cleaning 10000 clauses out of 20011 with flag 295002/4066106
185.99/184.53	c cleaning 9999 clauses out of 20010 with flag 305001/4076105
186.30/184.87	c cleaning 10001 clauses out of 20011 with flag 315001/4086105
186.69/185.22	c cleaning 10001 clauses out of 20011 with flag 325002/4096106
186.99/185.58	c cleaning 9997 clauses out of 20008 with flag 335000/4106104
187.40/185.95	c cleaning 10005 clauses out of 20011 with flag 345000/4116104
187.79/186.30	c cleaning 9999 clauses out of 20006 with flag 355000/4126104
188.09/186.67	c cleaning 9996 clauses out of 20007 with flag 365000/4136104
188.50/187.01	c cleaning 10000 clauses out of 20011 with flag 375000/4146104
188.80/187.36	c cleaning 10002 clauses out of 20013 with flag 385002/4156106
189.20/187.72	c cleaning 10001 clauses out of 20010 with flag 395001/4166105
189.51/188.09	c cleaning 9999 clauses out of 20008 with flag 405000/4176104
189.80/188.40	c Got one! Elapsed wall clock time (in seconds):188.288
189.80/188.40	o 42
190.10/188.62	c cleaning 11773 clauses out of 23556 with flag 5000/4189651
190.30/188.84	c cleaning 8888 clauses out of 17783 with flag 11000/4195651
190.51/189.09	c cleaning 7944 clauses out of 15895 with flag 18000/4202651
190.81/189.37	c cleaning 7966 clauses out of 15951 with flag 26000/4210651
191.21/189.72	c cleaning 8490 clauses out of 16986 with flag 35001/4219652
191.61/190.18	c cleaning 9244 clauses out of 18497 with flag 45002/4229653
192.01/190.55	c cleaning 9618 clauses out of 19251 with flag 55000/4239651
192.21/190.76	c Got one! Elapsed wall clock time (in seconds):190.649
192.21/190.76	o 36
192.42/190.96	c cleaning 10155 clauses out of 20321 with flag 5001/4250339
192.62/191.19	c cleaning 8078 clauses out of 16165 with flag 11000/4256338
192.93/191.43	c cleaning 7542 clauses out of 15089 with flag 18002/4263340
193.22/191.73	c cleaning 7771 clauses out of 15547 with flag 26002/4271340
193.52/192.07	c cleaning 8382 clauses out of 16774 with flag 35000/4280338
193.93/192.42	c cleaning 9189 clauses out of 18392 with flag 45000/4290338
194.32/192.86	c cleaning 9593 clauses out of 19203 with flag 55000/4300338
194.72/193.23	c cleaning 9801 clauses out of 19610 with flag 65000/4310338
195.13/193.60	c cleaning 9898 clauses out of 19809 with flag 75000/4320338
195.43/193.97	c cleaning 9951 clauses out of 19911 with flag 85000/4330338
195.83/194.35	c cleaning 9976 clauses out of 19960 with flag 95000/4340338
196.24/194.73	c cleaning 9984 clauses out of 19985 with flag 105001/4350339
196.53/195.09	c cleaning 9998 clauses out of 20001 with flag 115001/4360339
196.93/195.45	c cleaning 9997 clauses out of 20002 with flag 125000/4370338
197.34/195.83	c cleaning 9998 clauses out of 20006 with flag 135001/4380339
197.73/196.22	c cleaning 9999 clauses out of 20008 with flag 145001/4390339
198.03/196.60	c cleaning 9997 clauses out of 20008 with flag 155000/4400338
198.44/196.97	c cleaning 10000 clauses out of 20013 with flag 165002/4410340
198.63/197.15	c Got one! Elapsed wall clock time (in seconds):197.04
198.63/197.15	o 29
198.63/197.19	c cleaning 7991 clauses out of 15988 with flag 1000/4416315
198.96/197.41	c cleaning 6998 clauses out of 14001 with flag 7004/4422319
199.16/197.66	c cleaning 6995 clauses out of 13999 with flag 14000/4429315
199.47/197.95	c cleaning 7494 clauses out of 15004 with flag 22000/4437315
199.76/198.28	c cleaning 8248 clauses out of 16510 with flag 31000/4446315
200.17/198.69	c cleaning 9128 clauses out of 18265 with flag 41003/4456318
200.58/199.05	c cleaning 9562 clauses out of 19134 with flag 51000/4466315
200.97/199.45	c cleaning 9780 clauses out of 19572 with flag 61000/4476315
201.38/199.81	c cleaning 9891 clauses out of 19792 with flag 71000/4486315
201.68/200.17	c cleaning 9945 clauses out of 19901 with flag 81000/4496315
202.08/200.54	c cleaning 9973 clauses out of 19957 with flag 91001/4506316
202.48/200.92	c cleaning 9985 clauses out of 19983 with flag 101000/4516315
202.89/201.31	c cleaning 9992 clauses out of 19999 with flag 111001/4526316
203.28/201.73	c cleaning 9993 clauses out of 20006 with flag 121000/4536315
203.69/202.13	c cleaning 10003 clauses out of 20015 with flag 131002/4546317
203.99/202.49	c cleaning 10002 clauses out of 20013 with flag 141003/4556318
204.49/202.94	c cleaning 9998 clauses out of 20008 with flag 151000/4566315
204.89/203.38	c cleaning 9999 clauses out of 20011 with flag 161001/4576316
205.39/203.83	c cleaning 9999 clauses out of 20011 with flag 171000/4586315
205.89/204.32	c cleaning 10000 clauses out of 20013 with flag 181001/4596316
206.29/204.72	c cleaning 10004 clauses out of 20013 with flag 191001/4606316
206.59/205.08	c cleaning 10000 clauses out of 20009 with flag 201001/4616316
206.99/205.48	c cleaning 9998 clauses out of 20008 with flag 211000/4626315
207.39/205.83	c cleaning 10001 clauses out of 20011 with flag 221001/4636316
207.69/206.18	c cleaning 9996 clauses out of 20010 with flag 231001/4646316
208.10/206.54	c cleaning 10002 clauses out of 20014 with flag 241001/4656316
208.50/206.91	c cleaning 10003 clauses out of 20013 with flag 251002/4666317
208.80/207.29	c cleaning 9994 clauses out of 20008 with flag 261000/4676315
209.20/207.66	c cleaning 10001 clauses out of 20015 with flag 271001/4686316
209.60/208.03	c cleaning 10003 clauses out of 20013 with flag 281000/4696315
209.90/208.38	c cleaning 10000 clauses out of 20010 with flag 291000/4706315
210.30/208.74	c cleaning 9999 clauses out of 20010 with flag 301000/4716315
210.70/209.10	c cleaning 10003 clauses out of 20011 with flag 311000/4726315
211.00/209.47	c cleaning 10000 clauses out of 20010 with flag 321002/4736317
211.40/209.84	c cleaning 10001 clauses out of 20008 with flag 331000/4746315
211.80/210.24	c cleaning 9996 clauses out of 20008 with flag 341001/4756316
212.20/210.60	c cleaning 9999 clauses out of 20011 with flag 351000/4766315
212.50/210.98	c cleaning 9999 clauses out of 20012 with flag 361000/4776315
212.90/211.36	c cleaning 10001 clauses out of 20018 with flag 371005/4786320
213.31/211.75	c cleaning 10004 clauses out of 20015 with flag 381003/4796318
213.31/211.79	c Got one! Elapsed wall clock time (in seconds):211.686
213.31/211.79	o 24
213.51/211.93	c cleaning 7569 clauses out of 15150 with flag 4000/4801457
213.71/212.14	c cleaning 6786 clauses out of 13582 with flag 10001/4807458
213.92/212.38	c cleaning 6891 clauses out of 13796 with flag 17001/4814458
214.21/212.67	c cleaning 7449 clauses out of 14905 with flag 25001/4822458
214.61/213.00	c cleaning 8224 clauses out of 16458 with flag 34003/4831460
214.92/213.39	c cleaning 9113 clauses out of 18232 with flag 44001/4841458
215.31/213.78	c cleaning 9556 clauses out of 19119 with flag 54001/4851458
215.71/214.19	c cleaning 9778 clauses out of 19563 with flag 64001/4861458
216.12/214.56	c cleaning 9890 clauses out of 19787 with flag 74003/4871460
216.51/214.92	c cleaning 9942 clauses out of 19895 with flag 84001/4881458
216.81/215.28	c cleaning 9971 clauses out of 19952 with flag 94000/4891457
217.22/215.64	c cleaning 9985 clauses out of 19982 with flag 104001/4901458
217.62/216.05	c cleaning 9993 clauses out of 19996 with flag 114000/4911457
218.02/216.44	c cleaning 9998 clauses out of 20004 with flag 124001/4921458
218.42/216.80	c cleaning 10000 clauses out of 20005 with flag 134000/4931457
218.72/217.15	c cleaning 9994 clauses out of 20006 with flag 144001/4941458
219.12/217.52	c cleaning 10002 clauses out of 20013 with flag 154002/4951459
219.43/217.88	c cleaning 10001 clauses out of 20012 with flag 164003/4961460
219.82/218.25	c cleaning 10000 clauses out of 20008 with flag 174000/4971457
220.22/218.63	c cleaning 9997 clauses out of 20009 with flag 184001/4981458
220.62/219.02	c cleaning 10003 clauses out of 20013 with flag 194002/4991459
221.03/219.42	c cleaning 10000 clauses out of 20008 with flag 204000/5001457
221.33/219.78	c cleaning 10002 clauses out of 20009 with flag 214001/5011458
221.73/220.13	c cleaning 9997 clauses out of 20007 with flag 224001/5021458
222.03/220.49	c cleaning 10000 clauses out of 20011 with flag 234002/5031459
222.44/220.87	c cleaning 10001 clauses out of 20009 with flag 244000/5041457
222.94/221.35	c cleaning 9999 clauses out of 20008 with flag 254000/5051457
223.44/221.83	c cleaning 10000 clauses out of 20009 with flag 264000/5061457
223.85/222.23	c cleaning 10002 clauses out of 20009 with flag 274000/5071457
224.24/222.60	c cleaning 10002 clauses out of 20008 with flag 284001/5081458
224.55/222.96	c cleaning 9999 clauses out of 20005 with flag 294000/5091457
224.95/223.34	c cleaning 9998 clauses out of 20007 with flag 304001/5101458
225.35/223.73	c cleaning 9998 clauses out of 20008 with flag 314000/5111457
225.65/224.07	c cleaning 10000 clauses out of 20011 with flag 324001/5121458
226.06/224.44	c cleaning 9999 clauses out of 20010 with flag 334000/5131457
226.45/224.80	c cleaning 10002 clauses out of 20012 with flag 344001/5141458
226.75/225.19	c cleaning 9999 clauses out of 20009 with flag 354000/5151457
227.16/225.58	c cleaning 10000 clauses out of 20011 with flag 364001/5161458
227.55/225.99	c cleaning 10000 clauses out of 20011 with flag 374001/5171458
227.95/226.38	c cleaning 10001 clauses out of 20013 with flag 384003/5181460
228.35/226.77	c cleaning 10003 clauses out of 20013 with flag 394004/5191461
228.75/227.16	c cleaning 9996 clauses out of 20006 with flag 404000/5201457
229.16/227.51	c cleaning 10001 clauses out of 20012 with flag 414002/5211459
229.46/227.87	c cleaning 10002 clauses out of 20010 with flag 424001/5221458
229.56/227.91	c Got one! Elapsed wall clock time (in seconds):227.798
229.56/227.91	o 21
229.66/228.08	c cleaning 7884 clauses out of 15783 with flag 5000/5227233
229.85/228.28	c cleaning 6947 clauses out of 13899 with flag 11000/5233233
230.15/228.54	c cleaning 6971 clauses out of 13953 with flag 18001/5240234
230.46/228.82	c cleaning 7486 clauses out of 14981 with flag 26000/5248233
230.75/229.14	c cleaning 8244 clauses out of 16496 with flag 35001/5257234
231.05/229.48	c cleaning 9121 clauses out of 18254 with flag 45003/5267236
231.46/229.86	c cleaning 9558 clauses out of 19130 with flag 55000/5277233
231.86/230.23	c cleaning 9779 clauses out of 19574 with flag 65002/5287235
232.16/230.59	c cleaning 9893 clauses out of 19795 with flag 75002/5297235
232.56/230.94	c cleaning 9945 clauses out of 19900 with flag 85000/5307233
232.86/231.29	c cleaning 9976 clauses out of 19957 with flag 95002/5317235
233.26/231.61	c Got one! Elapsed wall clock time (in seconds):231.502
233.26/231.61	o 4
233.46/231.82	c cleaning 12218 clauses out of 24444 with flag 5001/5331698
233.67/232.05	c cleaning 9106 clauses out of 18225 with flag 11000/5337697
233.97/232.30	c cleaning 8054 clauses out of 16118 with flag 18000/5344697
233.97/232.37	c starts		: 294
233.97/232.37	c conflicts		: 5346554
233.97/232.37	c decisions		: 8646823
233.97/232.37	c propagations		: 147502740
233.97/232.37	c inspects		: 1228780156
233.97/232.37	c shortcuts		: 0
233.97/232.37	c learnt literals	: 7
233.97/232.37	c learnt binary clauses	: 135
233.97/232.37	c learnt ternary clauses	: 2926
233.97/232.37	c learnt constraints	: 5346546
233.97/232.37	c ignored constraints	: 0
233.97/232.37	c root simplifications	: 0
233.97/232.37	c removed literals (reason simplification)	: 28646138
233.97/232.37	c reason swapping (by a shorter reason)	: 0
233.97/232.37	c Calls to reduceDB	: 574
233.97/232.37	c number of reductions to clauses (during analyze)	: 0
233.97/232.37	c number of learned constraints concerned by reduction	: 0
233.97/232.37	c number of learning phase by resolution	: 0
233.97/232.37	c number of learning phase by cutting planes	: 0
233.97/232.37	c speed (assignments/second)	: 1.9433826086956522E8
233.97/232.37	c non guided choices	2730
233.97/232.37	c learnt constraints type 
233.97/232.37	c constraints type 
233.97/232.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
233.97/232.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
233.97/232.37	s OPTIMUM FOUND
233.97/232.37	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 
233.97/232.37	c objective function=4
233.97/232.37	c Total wall clock time (in seconds): 232.262

Verifier Data 

OK	4

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 2/192 30484
/proc/meminfo: memFree=1449996/32951124 swapFree=67064576/67111528
[pid=30484] ppid=30482 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/30484/stat : 30484 (java) R 30482 30484 28722 0 -1 4202496 885 0 0 0 0 0 0 0 25 0 1 0 883522946 23580672 627 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264721442581 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/30484/statm: 5757 638 470 9 0 124 0

[startup+0.0784561 s]
/proc/loadavg: 2.00 2.00 1.93 2/192 30484
/proc/meminfo: memFree=1449996/32951124 swapFree=67064576/67111528
[pid=30484] ppid=30482 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/30484/stat : 30484 (java) S 30482 30484 28722 0 -1 4202496 11944 0 1 0 5 1 0 0 25 0 18 0 883522946 10724442112 11639 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30484/statm: 2618272 11639 1754 9 0 2609006 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088

[startup+0.100438 s]
/proc/loadavg: 2.00 2.00 1.93 2/192 30484
/proc/meminfo: memFree=1449996/32951124 swapFree=67064576/67111528
[pid=30484] ppid=30482 vsize=10540012 CPUtime=0.09 cores=1,3,5,7
/proc/30484/stat : 30484 (java) S 30482 30484 28722 0 -1 4202496 13041 0 1 0 8 1 0 0 25 0 18 0 883522946 10792972288 12697 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30484/statm: 2635003 12697 2093 9 0 2625737 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540012

[startup+0.300402 s]
/proc/loadavg: 2.00 2.00 1.93 2/192 30484
/proc/meminfo: memFree=1449996/32951124 swapFree=67064576/67111528
[pid=30484] ppid=30482 vsize=10543232 CPUtime=0.51 cores=1,3,5,7
/proc/30484/stat : 30484 (java) S 30482 30484 28722 0 -1 4202496 15949 0 1 0 49 2 0 0 25 0 19 0 883522946 10796269568 14619 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30484/statm: 2635808 14619 2215 9 0 2626542 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10543232

[startup+0.700328 s]
/proc/loadavg: 2.00 2.00 1.93 2/192 30484
/proc/meminfo: memFree=1449996/32951124 swapFree=67064576/67111528
[pid=30484] ppid=30482 vsize=10543528 CPUtime=0.99 cores=1,3,5,7
/proc/30484/stat : 30484 (java) S 30482 30484 28722 0 -1 4202496 16973 0 1 0 97 2 0 0 25 0 19 0 883522946 10796572672 15638 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30484/statm: 2635882 15638 2247 9 0 2626616 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 10543528

[startup+1.50114 s]
/proc/loadavg: 2.00 2.00 1.93 3/211 30503
/proc/meminfo: memFree=1394560/32951124 swapFree=67064576/67111528
[pid=30484] ppid=30482 vsize=10543528 CPUtime=1.83 cores=1,3,5,7
/proc/30484/stat : 30484 (java) S 30482 30484 28722 0 -1 4202496 17532 0 1 0 181 2 0 0 25 0 19 0 883522946 10796572672 16195 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30484/statm: 2635882 16195 2247 9 0 2626616 0
[pid=30484/tid=30486] ppid=30482 vsize=10543528 CPUtime=1.43 cores=1,3,5,7
/proc/30484/task/30486/stat : 30486 (java) R 30482 30484 28722 0 -1 4202560 12168 0 1 0 142 1 0 0 20 0 19 0 883522947 10796572672 16195 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 46912505366511 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30484/tid=30487] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30487/stat : 30487 (java) S 30482 30484 28722 0 -1 4202560 166 0 0 0 0 0 0 0 15 0 19 0 883522948 10796572672 16195 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30488] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30488/stat : 30488 (java) S 30482 30484 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883522948 10796572672 16195 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30489] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30489/stat : 30489 (java) S 30482 30484 28722 0 -1 4202560 23 0 0 0 0 0 0 0 16 0 19 0 883522948 10796572672 16195 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30490] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30490/stat : 30490 (java) S 30482 30484 28722 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 19 0 883522948 10796572672 16195 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30491] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30491/stat : 30491 (java) S 30482 30484 28722 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 883522948 10796572672 16195 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30492] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30492/stat : 30492 (java) S 30482 30484 28722 0 -1 4202560 20 0 0 0 0 0 0 0 16 0 19 0 883522948 10796572672 16195 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30493] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30493/stat : 30493 (java) S 30482 30484 28722 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 883522948 10796572672 16195 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30494] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30494/stat : 30494 (java) S 30482 30484 28722 0 -1 4202560 150 0 0 0 0 0 0 0 15 0 19 0 883522948 10796572672 16195 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30495] ppid=30482 vsize=10543528 CPUtime=0.03 cores=1,3,5,7
/proc/30484/task/30495/stat : 30495 (java) S 30482 30484 28722 0 -1 4202560 446 0 0 0 3 0 0 0 15 0 19 0 883522949 10796572672 16195 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 0 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30496] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30496/stat : 30496 (java) S 30482 30484 28722 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 883522950 10796572672 16195 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30497] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30497/stat : 30497 (java) S 30482 30484 28722 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 883522950 10796572672 16195 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30498] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30498/stat : 30498 (java) S 30482 30484 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883522952 10796572672 16195 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738228657 0 4 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30499] ppid=30482 vsize=10543528 CPUtime=0.19 cores=1,3,5,7
/proc/30484/task/30499/stat : 30499 (java) S 30482 30484 28722 0 -1 4202560 1786 0 0 0 19 0 0 0 15 0 19 0 883522952 10796572672 16195 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30500] ppid=30482 vsize=10543528 CPUtime=0.13 cores=1,3,5,7
/proc/30484/task/30500/stat : 30500 (java) S 30482 30484 28722 0 -1 4202560 1341 0 0 0 13 0 0 0 15 0 19 0 883522952 10796572672 16195 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30501] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30501/stat : 30501 (java) S 30482 30484 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883522952 10796572672 16195 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30502] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30502/stat : 30502 (java) S 30482 30484 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883522952 10796572672 16195 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30503] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30503/stat : 30503 (java) S 30482 30484 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883522963 10796572672 16195 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 10543528

[startup+3.10087 s]
/proc/loadavg: 2.00 2.00 1.93 3/211 30503
/proc/meminfo: memFree=1393568/32951124 swapFree=67064576/67111528
[pid=30484] ppid=30482 vsize=10543528 CPUtime=3.46 cores=1,3,5,7
/proc/30484/stat : 30484 (java) S 30482 30484 28722 0 -1 4202496 17899 0 1 0 343 3 0 0 25 0 19 0 883522946 10796572672 16411 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30484/statm: 2635882 16411 2248 9 0 2626616 0
[pid=30484/tid=30486] ppid=30482 vsize=10543528 CPUtime=2.98 cores=1,3,5,7
/proc/30484/task/30486/stat : 30486 (java) R 30482 30484 28722 0 -1 4202560 12172 0 1 0 297 1 0 0 25 0 19 0 883522947 10796572672 16411 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 46912505533664 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30484/tid=30487] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30487/stat : 30487 (java) S 30482 30484 28722 0 -1 4202560 166 0 0 0 0 0 0 0 15 0 19 0 883522948 10796572672 16411 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30488] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30488/stat : 30488 (java) S 30482 30484 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883522948 10796572672 16411 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30489] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30489/stat : 30489 (java) S 30482 30484 28722 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 883522948 10796572672 16411 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30490] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30490/stat : 30490 (java) S 30482 30484 28722 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 883522948 10796572672 16411 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30491] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30491/stat : 30491 (java) S 30482 30484 28722 0 -1 4202560 34 0 0 0 0 0 0 0 16 0 19 0 883522948 10796572672 16411 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30492] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30492/stat : 30492 (java) S 30482 30484 28722 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 883522948 10796572672 16411 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30493] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30493/stat : 30493 (java) S 30482 30484 28722 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 19 0 883522948 10796572672 16411 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30494] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30494/stat : 30494 (java) S 30482 30484 28722 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 19 0 883522948 10796572672 16411 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30495] ppid=30482 vsize=10543528 CPUtime=0.08 cores=1,3,5,7
/proc/30484/task/30495/stat : 30495 (java) S 30482 30484 28722 0 -1 4202560 568 0 0 0 8 0 0 0 15 0 19 0 883522949 10796572672 16411 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 0 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30496] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30496/stat : 30496 (java) S 30482 30484 28722 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 883522950 10796572672 16411 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30497] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30497/stat : 30497 (java) S 30482 30484 28722 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 883522950 10796572672 16411 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30498] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30498/stat : 30498 (java) S 30482 30484 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883522952 10796572672 16411 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738228657 0 4 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30499] ppid=30482 vsize=10543528 CPUtime=0.2 cores=1,3,5,7
/proc/30484/task/30499/stat : 30499 (java) S 30482 30484 28722 0 -1 4202560 1787 0 0 0 20 0 0 0 15 0 19 0 883522952 10796572672 16411 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30500] ppid=30482 vsize=10543528 CPUtime=0.15 cores=1,3,5,7
/proc/30484/task/30500/stat : 30500 (java) S 30482 30484 28722 0 -1 4202560 1495 0 0 0 15 0 0 0 15 0 19 0 883522952 10796572672 16411 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30501] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30501/stat : 30501 (java) S 30482 30484 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883522952 10796572672 16411 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30502] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30502/stat : 30502 (java) S 30482 30484 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883522952 10796572672 16411 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30503] ppid=30482 vsize=10543528 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30503/stat : 30503 (java) S 30482 30484 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883522963 10796572672 16411 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 10543528

[startup+6.30127 s]
/proc/loadavg: 2.00 2.00 1.93 3/211 30504
/proc/meminfo: memFree=1393024/32951124 swapFree=67064576/67111528
[pid=30484] ppid=30482 vsize=10542792 CPUtime=6.67 cores=1,3,5,7
/proc/30484/stat : 30484 (java) S 30482 30484 28722 0 -1 4202496 17918 0 1 0 664 3 0 0 25 0 19 0 883522946 10795819008 16260 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30484/statm: 2635698 16260 2248 9 0 2626432 0
[pid=30484/tid=30486] ppid=30482 vsize=10542792 CPUtime=6.06 cores=1,3,5,7
/proc/30484/task/30486/stat : 30486 (java) R 30482 30484 28722 0 -1 4202560 12182 0 1 0 605 1 0 0 25 0 19 0 883522947 10795819008 16260 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 46912505594586 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30484/tid=30487] ppid=30482 vsize=10542792 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30487/stat : 30487 (java) S 30482 30484 28722 0 -1 4202560 166 0 0 0 0 0 0 0 16 0 19 0 883522948 10795819008 16260 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30488] ppid=30482 vsize=10542792 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30488/stat : 30488 (java) S 30482 30484 28722 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 883522948 10795819008 16260 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30489] ppid=30482 vsize=10542792 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30489/stat : 30489 (java) S 30482 30484 28722 0 -1 4202560 23 0 0 0 0 0 0 0 16 0 19 0 883522948 10795819008 16260 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30490] ppid=30482 vsize=10542792 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30490/stat : 30490 (java) S 30482 30484 28722 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 883522948 10795819008 16260 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30491] ppid=30482 vsize=10542792 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30491/stat : 30491 (java) S 30482 30484 28722 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 883522948 10795819008 16260 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30492] ppid=30482 vsize=10542792 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30492/stat : 30492 (java) S 30482 30484 28722 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 883522948 10795819008 16260 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30493] ppid=30482 vsize=10542792 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30493/stat : 30493 (java) S 30482 30484 28722 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 883522948 10795819008 16260 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30494] ppid=30482 vsize=10542792 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30494/stat : 30494 (java) S 30482 30484 28722 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 19 0 883522948 10795819008 16260 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30495] ppid=30482 vsize=10542792 CPUtime=0.18 cores=1,3,5,7
/proc/30484/task/30495/stat : 30495 (java) S 30482 30484 28722 0 -1 4202560 574 0 0 0 18 0 0 0 15 0 19 0 883522949 10795819008 16260 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 0 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30496] ppid=30482 vsize=10542792 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30496/stat : 30496 (java) S 30482 30484 28722 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 883522950 10795819008 16260 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30497] ppid=30482 vsize=10542792 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30497/stat : 30497 (java) S 30482 30484 28722 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 883522950 10795819008 16260 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30498] ppid=30482 vsize=10542792 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30498/stat : 30498 (java) S 30482 30484 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883522952 10795819008 16260 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738228657 0 4 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30499] ppid=30482 vsize=10542792 CPUtime=0.2 cores=1,3,5,7
/proc/30484/task/30499/stat : 30499 (java) S 30482 30484 28722 0 -1 4202560 1787 0 0 0 20 0 0 0 15 0 19 0 883522952 10795819008 16260 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30500] ppid=30482 vsize=10542792 CPUtime=0.15 cores=1,3,5,7
/proc/30484/task/30500/stat : 30500 (java) S 30482 30484 28722 0 -1 4202560 1495 0 0 0 15 0 0 0 15 0 19 0 883522952 10795819008 16260 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30501] ppid=30482 vsize=10542792 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30501/stat : 30501 (java) S 30482 30484 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883522952 10795819008 16260 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30502] ppid=30482 vsize=10542792 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30502/stat : 30502 (java) S 30482 30484 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883522952 10795819008 16260 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30503] ppid=30482 vsize=10542792 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30503/stat : 30503 (java) S 30482 30484 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883522963 10795819008 16260 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 10542792

[startup+12.7011 s]

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

/proc/30484/task/30487/stat : 30487 (java) S 30482 30484 28722 0 -1 4202560 216 0 0 0 16 0 0 0 15 0 19 0 883522948 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30488] ppid=30482 vsize=10544624 CPUtime=0.16 cores=1,3,5,7
/proc/30484/task/30488/stat : 30488 (java) S 30482 30484 28722 0 -1 4202560 23 0 0 0 16 0 0 0 15 0 19 0 883522948 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30489] ppid=30482 vsize=10544624 CPUtime=0.15 cores=1,3,5,7
/proc/30484/task/30489/stat : 30489 (java) S 30482 30484 28722 0 -1 4202560 47 0 0 0 15 0 0 0 15 0 19 0 883522948 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30490] ppid=30482 vsize=10544624 CPUtime=0.15 cores=1,3,5,7
/proc/30484/task/30490/stat : 30490 (java) S 30482 30484 28722 0 -1 4202560 170 0 0 0 15 0 0 0 15 0 19 0 883522948 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30491] ppid=30482 vsize=10544624 CPUtime=0.16 cores=1,3,5,7
/proc/30484/task/30491/stat : 30491 (java) S 30482 30484 28722 0 -1 4202560 59 0 0 0 16 0 0 0 15 0 19 0 883522948 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30492] ppid=30482 vsize=10544624 CPUtime=0.18 cores=1,3,5,7
/proc/30484/task/30492/stat : 30492 (java) S 30482 30484 28722 0 -1 4202560 87 0 0 0 18 0 0 0 15 0 19 0 883522948 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30493] ppid=30482 vsize=10544624 CPUtime=0.14 cores=1,3,5,7
/proc/30484/task/30493/stat : 30493 (java) S 30482 30484 28722 0 -1 4202560 154 0 0 0 14 0 0 0 15 0 19 0 883522948 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30494] ppid=30482 vsize=10544624 CPUtime=0.18 cores=1,3,5,7
/proc/30484/task/30494/stat : 30494 (java) S 30482 30484 28722 0 -1 4202560 208 0 0 0 18 0 0 0 16 0 19 0 883522948 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30495] ppid=30482 vsize=10544624 CPUtime=8.18 cores=1,3,5,7
/proc/30484/task/30495/stat : 30495 (java) S 30482 30484 28722 0 -1 4202560 1449 0 0 0 808 10 0 0 15 0 19 0 883522949 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 0 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30496] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30496/stat : 30496 (java) S 30482 30484 28722 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 883522950 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30497] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30497/stat : 30497 (java) S 30482 30484 28722 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 883522950 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30498] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30498/stat : 30498 (java) S 30482 30484 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883522952 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738228657 0 4 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30499] ppid=30482 vsize=10544624 CPUtime=0.4 cores=1,3,5,7
/proc/30484/task/30499/stat : 30499 (java) S 30482 30484 28722 0 -1 4202560 3167 0 0 0 40 0 0 0 15 0 19 0 883522952 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30500] ppid=30482 vsize=10544624 CPUtime=0.61 cores=1,3,5,7
/proc/30484/task/30500/stat : 30500 (java) S 30482 30484 28722 0 -1 4202560 9448 0 0 0 61 0 0 0 15 0 19 0 883522952 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30501] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30501/stat : 30501 (java) S 30482 30484 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883522952 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30502] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30502/stat : 30502 (java) S 30482 30484 28722 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 883522952 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30503] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30503/stat : 30503 (java) S 30482 30484 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883522963 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 231.96
Current children cumulated vsize (KiB) 10544624

[startup+231.101 s]
/proc/loadavg: 2.14 2.06 1.96 3/211 30681
/proc/meminfo: memFree=1348488/32951124 swapFree=67064576/67111528
[pid=30484] ppid=30482 vsize=10544624 CPUtime=232.76 cores=1,3,5,7
/proc/30484/stat : 30484 (java) S 30482 30484 28722 0 -1 4202496 28936 0 1 0 23257 19 0 0 25 0 19 0 883522946 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30484/statm: 2636156 22457 2251 9 0 2626890 0
[pid=30484/tid=30486] ppid=30482 vsize=10544624 CPUtime=222.12 cores=1,3,5,7
/proc/30484/task/30486/stat : 30486 (java) R 30482 30484 28722 0 -1 4202560 12742 0 1 0 22209 3 0 0 17 0 19 0 883522947 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 46912505568134 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30484/tid=30487] ppid=30482 vsize=10544624 CPUtime=0.17 cores=1,3,5,7
/proc/30484/task/30487/stat : 30487 (java) S 30482 30484 28722 0 -1 4202560 216 0 0 0 17 0 0 0 16 0 19 0 883522948 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30488] ppid=30482 vsize=10544624 CPUtime=0.16 cores=1,3,5,7
/proc/30484/task/30488/stat : 30488 (java) S 30482 30484 28722 0 -1 4202560 23 0 0 0 16 0 0 0 15 0 19 0 883522948 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30489] ppid=30482 vsize=10544624 CPUtime=0.15 cores=1,3,5,7
/proc/30484/task/30489/stat : 30489 (java) S 30482 30484 28722 0 -1 4202560 47 0 0 0 15 0 0 0 16 0 19 0 883522948 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30490] ppid=30482 vsize=10544624 CPUtime=0.15 cores=1,3,5,7
/proc/30484/task/30490/stat : 30490 (java) S 30482 30484 28722 0 -1 4202560 170 0 0 0 15 0 0 0 15 0 19 0 883522948 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30491] ppid=30482 vsize=10544624 CPUtime=0.16 cores=1,3,5,7
/proc/30484/task/30491/stat : 30491 (java) S 30482 30484 28722 0 -1 4202560 59 0 0 0 16 0 0 0 15 0 19 0 883522948 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30492] ppid=30482 vsize=10544624 CPUtime=0.18 cores=1,3,5,7
/proc/30484/task/30492/stat : 30492 (java) S 30482 30484 28722 0 -1 4202560 87 0 0 0 18 0 0 0 15 0 19 0 883522948 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30493] ppid=30482 vsize=10544624 CPUtime=0.14 cores=1,3,5,7
/proc/30484/task/30493/stat : 30493 (java) S 30482 30484 28722 0 -1 4202560 154 0 0 0 14 0 0 0 15 0 19 0 883522948 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30494] ppid=30482 vsize=10544624 CPUtime=0.18 cores=1,3,5,7
/proc/30484/task/30494/stat : 30494 (java) S 30482 30484 28722 0 -1 4202560 208 0 0 0 18 0 0 0 15 0 19 0 883522948 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30495] ppid=30482 vsize=10544624 CPUtime=8.21 cores=1,3,5,7
/proc/30484/task/30495/stat : 30495 (java) S 30482 30484 28722 0 -1 4202560 1449 0 0 0 811 10 0 0 15 0 19 0 883522949 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 0 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30496] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30496/stat : 30496 (java) S 30482 30484 28722 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 883522950 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30497] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30497/stat : 30497 (java) S 30482 30484 28722 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 883522950 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30498] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30498/stat : 30498 (java) S 30482 30484 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883522952 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738228657 0 4 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30499] ppid=30482 vsize=10544624 CPUtime=0.4 cores=1,3,5,7
/proc/30484/task/30499/stat : 30499 (java) S 30482 30484 28722 0 -1 4202560 3167 0 0 0 40 0 0 0 15 0 19 0 883522952 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30500] ppid=30482 vsize=10544624 CPUtime=0.61 cores=1,3,5,7
/proc/30484/task/30500/stat : 30500 (java) S 30482 30484 28722 0 -1 4202560 9448 0 0 0 61 0 0 0 15 0 19 0 883522952 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30501] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30501/stat : 30501 (java) S 30482 30484 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883522952 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30502] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30502/stat : 30502 (java) S 30482 30484 28722 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 883522952 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30503] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30503/stat : 30503 (java) S 30482 30484 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883522963 10797694976 22457 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 232.76
Current children cumulated vsize (KiB) 10544624

[startup+231.901 s]
/proc/loadavg: 2.14 2.06 1.96 3/211 30681
/proc/meminfo: memFree=1348488/32951124 swapFree=67064576/67111528
[pid=30484] ppid=30482 vsize=10544624 CPUtime=233.57 cores=1,3,5,7
/proc/30484/stat : 30484 (java) S 30482 30484 28722 0 -1 4202496 28966 0 1 0 23337 20 0 0 25 0 19 0 883522946 10797694976 22485 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30484/statm: 2636156 22485 2251 9 0 2626890 0
[pid=30484/tid=30486] ppid=30482 vsize=10544624 CPUtime=222.89 cores=1,3,5,7
/proc/30484/task/30486/stat : 30486 (java) R 30482 30484 28722 0 -1 4202560 12744 0 1 0 22286 3 0 0 18 0 19 0 883522947 10797694976 22485 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 46912505554124 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30484/tid=30487] ppid=30482 vsize=10544624 CPUtime=0.17 cores=1,3,5,7
/proc/30484/task/30487/stat : 30487 (java) S 30482 30484 28722 0 -1 4202560 216 0 0 0 17 0 0 0 15 0 19 0 883522948 10797694976 22485 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30488] ppid=30482 vsize=10544624 CPUtime=0.16 cores=1,3,5,7
/proc/30484/task/30488/stat : 30488 (java) S 30482 30484 28722 0 -1 4202560 23 0 0 0 16 0 0 0 15 0 19 0 883522948 10797694976 22485 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30489] ppid=30482 vsize=10544624 CPUtime=0.15 cores=1,3,5,7
/proc/30484/task/30489/stat : 30489 (java) S 30482 30484 28722 0 -1 4202560 47 0 0 0 15 0 0 0 15 0 19 0 883522948 10797694976 22485 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30490] ppid=30482 vsize=10544624 CPUtime=0.15 cores=1,3,5,7
/proc/30484/task/30490/stat : 30490 (java) S 30482 30484 28722 0 -1 4202560 170 0 0 0 15 0 0 0 15 0 19 0 883522948 10797694976 22485 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30491] ppid=30482 vsize=10544624 CPUtime=0.16 cores=1,3,5,7
/proc/30484/task/30491/stat : 30491 (java) S 30482 30484 28722 0 -1 4202560 59 0 0 0 16 0 0 0 16 0 19 0 883522948 10797694976 22485 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30492] ppid=30482 vsize=10544624 CPUtime=0.18 cores=1,3,5,7
/proc/30484/task/30492/stat : 30492 (java) S 30482 30484 28722 0 -1 4202560 87 0 0 0 18 0 0 0 15 0 19 0 883522948 10797694976 22485 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30493] ppid=30482 vsize=10544624 CPUtime=0.14 cores=1,3,5,7
/proc/30484/task/30493/stat : 30493 (java) S 30482 30484 28722 0 -1 4202560 154 0 0 0 14 0 0 0 16 0 19 0 883522948 10797694976 22485 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30494] ppid=30482 vsize=10544624 CPUtime=0.18 cores=1,3,5,7
/proc/30484/task/30494/stat : 30494 (java) S 30482 30484 28722 0 -1 4202560 208 0 0 0 18 0 0 0 15 0 19 0 883522948 10797694976 22485 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30495] ppid=30482 vsize=10544624 CPUtime=8.24 cores=1,3,5,7
/proc/30484/task/30495/stat : 30495 (java) S 30482 30484 28722 0 -1 4202560 1477 0 0 0 814 10 0 0 15 0 19 0 883522949 10797694976 22485 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 0 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30496] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30496/stat : 30496 (java) S 30482 30484 28722 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 883522950 10797694976 22485 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30497] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30497/stat : 30497 (java) S 30482 30484 28722 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 883522950 10797694976 22485 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30498] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30498/stat : 30498 (java) S 30482 30484 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883522952 10797694976 22485 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738228657 0 4 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30499] ppid=30482 vsize=10544624 CPUtime=0.4 cores=1,3,5,7
/proc/30484/task/30499/stat : 30499 (java) S 30482 30484 28722 0 -1 4202560 3167 0 0 0 40 0 0 0 15 0 19 0 883522952 10797694976 22485 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30500] ppid=30482 vsize=10544624 CPUtime=0.61 cores=1,3,5,7
/proc/30484/task/30500/stat : 30500 (java) S 30482 30484 28722 0 -1 4202560 9448 0 0 0 61 0 0 0 15 0 19 0 883522952 10797694976 22485 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30501] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30501/stat : 30501 (java) S 30482 30484 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883522952 10797694976 22485 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30502] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30502/stat : 30502 (java) S 30482 30484 28722 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 883522952 10797694976 22485 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30503] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30503/stat : 30503 (java) S 30482 30484 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883522963 10797694976 22485 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 233.57
Current children cumulated vsize (KiB) 10544624

[startup+232.301 s]
/proc/loadavg: 2.14 2.06 1.96 3/211 30681
/proc/meminfo: memFree=1348364/32951124 swapFree=67064576/67111528
[pid=30484] ppid=30482 vsize=10544624 CPUtime=233.97 cores=1,3,5,7
/proc/30484/stat : 30484 (java) S 30482 30484 28722 0 -1 4202496 28974 0 1 0 23377 20 0 0 25 0 19 0 883522946 10797694976 22492 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30484/statm: 2636156 22492 2251 9 0 2626890 0
[pid=30484/tid=30486] ppid=30482 vsize=10544624 CPUtime=223.27 cores=1,3,5,7
/proc/30484/task/30486/stat : 30486 (java) R 30482 30484 28722 0 -1 4202560 12746 0 1 0 22324 3 0 0 18 0 19 0 883522947 10797694976 22492 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 46912505716319 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30484/tid=30487] ppid=30482 vsize=10544624 CPUtime=0.17 cores=1,3,5,7
/proc/30484/task/30487/stat : 30487 (java) S 30482 30484 28722 0 -1 4202560 216 0 0 0 17 0 0 0 15 0 19 0 883522948 10797694976 22492 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30488] ppid=30482 vsize=10544624 CPUtime=0.16 cores=1,3,5,7
/proc/30484/task/30488/stat : 30488 (java) S 30482 30484 28722 0 -1 4202560 23 0 0 0 16 0 0 0 15 0 19 0 883522948 10797694976 22492 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30489] ppid=30482 vsize=10544624 CPUtime=0.15 cores=1,3,5,7
/proc/30484/task/30489/stat : 30489 (java) S 30482 30484 28722 0 -1 4202560 47 0 0 0 15 0 0 0 15 0 19 0 883522948 10797694976 22492 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30490] ppid=30482 vsize=10544624 CPUtime=0.15 cores=1,3,5,7
/proc/30484/task/30490/stat : 30490 (java) S 30482 30484 28722 0 -1 4202560 170 0 0 0 15 0 0 0 15 0 19 0 883522948 10797694976 22492 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30491] ppid=30482 vsize=10544624 CPUtime=0.16 cores=1,3,5,7
/proc/30484/task/30491/stat : 30491 (java) S 30482 30484 28722 0 -1 4202560 59 0 0 0 16 0 0 0 15 0 19 0 883522948 10797694976 22492 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30492] ppid=30482 vsize=10544624 CPUtime=0.18 cores=1,3,5,7
/proc/30484/task/30492/stat : 30492 (java) S 30482 30484 28722 0 -1 4202560 87 0 0 0 18 0 0 0 15 0 19 0 883522948 10797694976 22492 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30493] ppid=30482 vsize=10544624 CPUtime=0.14 cores=1,3,5,7
/proc/30484/task/30493/stat : 30493 (java) S 30482 30484 28722 0 -1 4202560 154 0 0 0 14 0 0 0 15 0 19 0 883522948 10797694976 22492 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30494] ppid=30482 vsize=10544624 CPUtime=0.18 cores=1,3,5,7
/proc/30484/task/30494/stat : 30494 (java) S 30482 30484 28722 0 -1 4202560 208 0 0 0 18 0 0 0 15 0 19 0 883522948 10797694976 22492 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30495] ppid=30482 vsize=10544624 CPUtime=8.25 cores=1,3,5,7
/proc/30484/task/30495/stat : 30495 (java) S 30482 30484 28722 0 -1 4202560 1483 0 0 0 815 10 0 0 15 0 19 0 883522949 10797694976 22492 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 0 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30496] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30496/stat : 30496 (java) S 30482 30484 28722 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 883522950 10797694976 22492 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30497] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30497/stat : 30497 (java) S 30482 30484 28722 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 883522950 10797694976 22492 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
[pid=30484/tid=30498] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30498/stat : 30498 (java) S 30482 30484 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883522952 10797694976 22492 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738228657 0 4 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30499] ppid=30482 vsize=10544624 CPUtime=0.4 cores=1,3,5,7
/proc/30484/task/30499/stat : 30499 (java) S 30482 30484 28722 0 -1 4202560 3167 0 0 0 40 0 0 0 15 0 19 0 883522952 10797694976 22492 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 1 0 0 0
[pid=30484/tid=30500] ppid=30482 vsize=10544624 CPUtime=0.61 cores=1,3,5,7
/proc/30484/task/30500/stat : 30500 (java) S 30482 30484 28722 0 -1 4202560 9448 0 0 0 61 0 0 0 15 0 19 0 883522952 10797694976 22492 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30501] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30501/stat : 30501 (java) S 30482 30484 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883522952 10797694976 22492 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738220953 0 4 0 16800975 18446604471135414976 0 0 -1 5 0 0 0
[pid=30484/tid=30502] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30502/stat : 30502 (java) S 30482 30484 28722 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 883522952 10797694976 22492 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 4 0 16800975 18446604471135414976 0 0 -1 3 0 0 0
[pid=30484/tid=30503] ppid=30482 vsize=10544624 CPUtime=0 cores=1,3,5,7
/proc/30484/task/30503/stat : 30503 (java) S 30482 30484 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883522963 10797694976 22492 33554432000 1073741824 1073778376 140737431401744 18446744073709551615 264738221568 0 4 0 16800975 18446604471135414976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 233.97
Current children cumulated vsize (KiB) 10544624

Child status: 30
Real time (s): 232.379
CPU time (s): 234.056
CPU user time (s): 233.85
CPU system time (s): 0.205968
CPU usage (%): 100.722
Max. virtual memory (cumulated for all children) (KiB): 10544624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 233.85
system time used= 0.205968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29000
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= 20485
involuntary context switches= 9208

runsolver used 0.397939 second user time and 0.898863 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-12 22:37:53
IDJOB=3492655
IDBENCH=79211
IDSOLVER=1982
FILE ID=node141/3492655-1307911073
RUNJOBID= node141-1307908222-29948
PBS_JOBID= 13559567
Free space on /var/tmp= 2912 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969577--soft-0-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492655-1307911073/watcher-3492655-1307911073 -o /var/tmp/evaluation-result-3492655-1307911073/solver-3492655-1307911073 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492655-1307911073.wbo

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

MD5SUM BENCH= d7224815986b77e3e6ab0ebb98086e1f
RANDOM SEED=1312658495

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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:       1450796 kB
Buffers:         62632 kB
Cached:       30381260 kB
SwapCached:       8816 kB
Active:       15288548 kB
Inactive:     15263496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1450796 kB
SwapTotal:    67111528 kB
SwapFree:     67064576 kB
Dirty:             500 kB
Writeback:           0 kB
AnonPages:      106080 kB
Mapped:          18380 kB
Slab:           884836 kB
PageTables:       4540 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10512112 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2912 MiB
End job on node141 at 2011-06-12 22:41:46