Trace number 3492068

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 252.271 250.032

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567024--soft-0-100-0.wbo
MD5SUMa7d7105d3e0193cbcd9215f3627722fb
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark66.6779
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 137245
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137244
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 755
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.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.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492068-1307911250.wbo
0.10/0.11	c reading problem ... 
0.50/0.32	c ... done. Wall clock time 0.208s.
0.50/0.32	c #vars     2938
0.50/0.32	c #constraints  2707
0.50/0.32	c constraints type 
0.50/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
0.50/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
1.09/0.52	c SATISFIABLE
1.09/0.52	c OPTIMIZING...
1.09/0.52	c Got one! Elapsed wall clock time (in seconds):0.412
1.09/0.52	o 610
1.09/0.56	c Got one! Elapsed wall clock time (in seconds):0.452
1.09/0.56	o 281
1.36/0.61	c Got one! Elapsed wall clock time (in seconds):0.504
1.36/0.61	o 268
1.36/0.68	c Got one! Elapsed wall clock time (in seconds):0.571
1.36/0.68	o 267
1.49/0.71	c Got one! Elapsed wall clock time (in seconds):0.601
1.49/0.71	o 257
1.49/0.78	c Got one! Elapsed wall clock time (in seconds):0.668
1.49/0.78	o 250
1.67/0.80	c Got one! Elapsed wall clock time (in seconds):0.697
1.67/0.80	o 247
1.77/0.93	c Got one! Elapsed wall clock time (in seconds):0.821
1.77/0.93	o 211
1.77/0.95	c Got one! Elapsed wall clock time (in seconds):0.846
1.77/0.95	o 198
1.77/1.00	c Got one! Elapsed wall clock time (in seconds):0.89
1.77/1.00	o 188
1.88/1.05	c Got one! Elapsed wall clock time (in seconds):0.94
1.88/1.05	o 174
1.88/1.09	c Got one! Elapsed wall clock time (in seconds):0.986
1.88/1.09	o 172
2.07/1.28	c Got one! Elapsed wall clock time (in seconds):1.176
2.07/1.28	o 160
2.27/1.41	c Got one! Elapsed wall clock time (in seconds):1.304
2.27/1.41	o 152
2.37/1.50	c Got one! Elapsed wall clock time (in seconds):1.395
2.37/1.50	o 135
2.47/1.60	c Got one! Elapsed wall clock time (in seconds):1.489
2.47/1.60	o 134
2.47/1.68	c Got one! Elapsed wall clock time (in seconds):1.573
2.47/1.68	o 116
2.87/2.01	c Got one! Elapsed wall clock time (in seconds):1.906
2.87/2.01	o 112
2.87/2.08	c Got one! Elapsed wall clock time (in seconds):1.973
2.87/2.08	o 88
4.08/3.24	c Got one! Elapsed wall clock time (in seconds):3.131
4.08/3.24	o 85
4.29/3.48	c Got one! Elapsed wall clock time (in seconds):3.368
4.29/3.48	o 84
4.59/3.73	c Got one! Elapsed wall clock time (in seconds):3.621
4.59/3.73	o 78
5.09/4.20	c Got one! Elapsed wall clock time (in seconds):4.094
5.09/4.20	o 72
5.20/4.35	c Got one! Elapsed wall clock time (in seconds):4.242
5.20/4.35	o 48
5.41/4.51	c cleaning 7954 clauses out of 15924 with flag 1000/15924
5.82/4.91	c Got one! Elapsed wall clock time (in seconds):4.802
5.82/4.91	o 39
5.92/5.04	c Got one! Elapsed wall clock time (in seconds):4.931
5.92/5.04	o 38
6.02/5.16	c Got one! Elapsed wall clock time (in seconds):5.055
6.02/5.16	o 35
6.12/5.29	c cleaning 6762 clauses out of 13531 with flag 1001/21485
6.69/5.75	c Got one! Elapsed wall clock time (in seconds):5.639
6.69/5.75	o 32
6.79/5.81	c Got one! Elapsed wall clock time (in seconds):5.704
6.79/5.81	o 26
6.99/6.02	c cleaning 6410 clauses out of 12831 with flag 2000/27547
6.99/6.04	c Got one! Elapsed wall clock time (in seconds):5.932
6.99/6.04	o 25
7.35/6.36	c Got one! Elapsed wall clock time (in seconds):6.25
7.35/6.36	o 22
7.55/6.52	c cleaning 5802 clauses out of 11621 with flag 2001/32747
8.15/7.16	c Got one! Elapsed wall clock time (in seconds):7.055
8.15/7.16	o 20
8.25/7.28	c Got one! Elapsed wall clock time (in seconds):7.177
8.25/7.28	o 19
8.95/7.90	c cleaning 8708 clauses out of 17420 with flag 5002/44348
9.35/8.39	c cleaning 7352 clauses out of 14710 with flag 11000/50346
9.95/8.95	c cleaning 7175 clauses out of 14359 with flag 18001/57347
10.12/9.02	c Got one! Elapsed wall clock time (in seconds):8.906
10.12/9.02	o 14
10.75/9.58	c cleaning 6414 clauses out of 12832 with flag 5001/62995
11.63/10.03	c cleaning 6206 clauses out of 12419 with flag 11002/68996
12.13/10.50	c cleaning 6602 clauses out of 13212 with flag 18001/75995
12.33/10.76	c Got one! Elapsed wall clock time (in seconds):10.649
12.33/10.76	o 13
12.43/10.88	c cleaning 6048 clauses out of 12109 with flag 2001/81494
12.83/11.24	c cleaning 6024 clauses out of 12063 with flag 8003/87496
13.23/11.67	c cleaning 6515 clauses out of 13039 with flag 15003/94496
13.74/12.12	c cleaning 7253 clauses out of 14522 with flag 23001/102494
13.94/12.34	c Got one! Elapsed wall clock time (in seconds):12.233
13.94/12.34	o 12
14.04/12.40	c cleaning 6138 clauses out of 12296 with flag 1000/107521
14.34/12.75	c cleaning 6070 clauses out of 12158 with flag 7000/113521
14.85/13.24	c cleaning 6533 clauses out of 13089 with flag 14001/120522
15.44/13.80	c cleaning 7273 clauses out of 14555 with flag 22000/128521
15.95/14.35	c cleaning 8135 clauses out of 16283 with flag 31001/137522
16.54/14.96	c cleaning 9071 clauses out of 18147 with flag 41000/147521
16.84/15.24	c Got one! Elapsed wall clock time (in seconds):15.135
16.84/15.24	o 11
17.14/15.59	c cleaning 9546 clauses out of 19109 with flag 5001/157554
17.64/16.04	c cleaning 7765 clauses out of 15562 with flag 11000/163553
18.44/16.86	c cleaning 7390 clauses out of 14798 with flag 18001/170554
18.95/17.37	c cleaning 7700 clauses out of 15408 with flag 26001/178554
19.45/17.83	c cleaning 8349 clauses out of 16708 with flag 35001/187554
19.75/18.18	c Got one! Elapsed wall clock time (in seconds):18.076
19.75/18.18	o 7
20.04/18.49	c cleaning 9907 clauses out of 19820 with flag 5001/199015
20.45/18.80	c cleaning 7946 clauses out of 15912 with flag 11000/205014
20.75/19.14	c cleaning 7478 clauses out of 14968 with flag 18002/212016
21.15/19.51	c cleaning 7740 clauses out of 15488 with flag 26000/220014
21.55/19.95	c cleaning 8373 clauses out of 16750 with flag 35002/229016
22.05/20.45	c cleaning 9183 clauses out of 18377 with flag 45002/239016
22.56/20.96	c cleaning 9591 clauses out of 19192 with flag 55000/249014
23.05/21.43	c cleaning 9790 clauses out of 19604 with flag 65003/259017
23.57/21.96	c cleaning 9896 clauses out of 19811 with flag 75000/269014
24.07/22.44	c cleaning 9956 clauses out of 19918 with flag 85003/279017
24.57/22.94	c cleaning 9973 clauses out of 19959 with flag 95000/289014
25.07/23.43	c cleaning 9987 clauses out of 19987 with flag 105001/299015
25.57/23.95	c cleaning 9989 clauses out of 20000 with flag 115001/309015
25.57/23.98	c Got one! Elapsed wall clock time (in seconds):23.871
25.57/23.98	o 6
25.87/24.25	c cleaning 7528 clauses out of 15091 with flag 5001/314095
26.17/24.56	c cleaning 6779 clauses out of 13564 with flag 11002/320096
26.37/24.78	c Got one! Elapsed wall clock time (in seconds):24.668
26.37/24.78	o 3
26.47/24.83	c cleaning 6100 clauses out of 12215 with flag 1001/325526
26.77/25.11	c cleaning 6052 clauses out of 12115 with flag 7001/331526
27.07/25.45	c cleaning 6525 clauses out of 13064 with flag 14002/338527
27.47/25.86	c cleaning 7259 clauses out of 14538 with flag 22001/346526
27.97/26.37	c cleaning 8131 clauses out of 16278 with flag 31000/355525
28.58/26.91	c cleaning 9071 clauses out of 18150 with flag 41003/365528
29.19/27.54	c cleaning 9531 clauses out of 19077 with flag 51001/375526
29.79/28.14	c cleaning 9767 clauses out of 19545 with flag 61000/385525
30.29/28.68	c cleaning 9888 clauses out of 19780 with flag 71002/395527
30.78/29.19	c cleaning 9942 clauses out of 19893 with flag 81003/405528
31.29/29.69	c cleaning 9967 clauses out of 19949 with flag 91001/415526
31.78/30.18	c cleaning 9987 clauses out of 19981 with flag 101000/425525
32.28/30.68	c cleaning 9992 clauses out of 19994 with flag 111000/435525
32.78/31.14	c cleaning 9997 clauses out of 20003 with flag 121001/445526
33.28/31.65	c cleaning 9998 clauses out of 20008 with flag 131003/455528
33.78/32.17	c cleaning 9995 clauses out of 20010 with flag 141003/465528
34.29/32.68	c cleaning 10001 clauses out of 20014 with flag 151002/475527
34.79/33.13	c cleaning 9998 clauses out of 20012 with flag 161001/485526
35.29/33.64	c cleaning 10000 clauses out of 20014 with flag 171001/495526
35.80/34.14	c cleaning 10003 clauses out of 20014 with flag 181001/505526
36.29/34.67	c cleaning 9998 clauses out of 20010 with flag 191000/515525
36.80/35.13	c cleaning 10001 clauses out of 20012 with flag 201000/525525
37.30/35.60	c cleaning 10003 clauses out of 20016 with flag 211005/535530
37.70/36.07	c cleaning 10003 clauses out of 20012 with flag 221004/545529
38.30/36.60	c cleaning 9996 clauses out of 20005 with flag 231000/555525
38.70/37.10	c cleaning 9991 clauses out of 20009 with flag 241000/565525
39.20/37.59	c cleaning 10005 clauses out of 20019 with flag 251001/575526
39.80/38.12	c cleaning 10001 clauses out of 20013 with flag 261000/585525
40.30/38.63	c cleaning 9996 clauses out of 20012 with flag 271000/595525
40.80/39.13	c cleaning 10005 clauses out of 20016 with flag 281000/605525
41.21/39.59	c cleaning 10000 clauses out of 20011 with flag 291000/615525
41.70/40.06	c cleaning 10000 clauses out of 20013 with flag 301002/625527
42.11/40.49	c cleaning 10003 clauses out of 20013 with flag 311002/635527
42.61/40.94	c cleaning 9991 clauses out of 20008 with flag 321000/645525
43.02/41.39	c cleaning 10003 clauses out of 20019 with flag 331002/655527
43.52/41.85	c cleaning 9997 clauses out of 20014 with flag 341000/665525
44.02/42.31	c cleaning 10002 clauses out of 20018 with flag 351001/675526
44.52/42.81	c cleaning 9994 clauses out of 20015 with flag 361000/685525
44.92/43.27	c cleaning 10006 clauses out of 20022 with flag 371001/695526
45.42/43.71	c cleaning 10004 clauses out of 20015 with flag 381000/705525
45.82/44.17	c cleaning 9998 clauses out of 20011 with flag 391000/715525
46.32/44.61	c cleaning 10003 clauses out of 20016 with flag 401003/725528
46.73/45.08	c cleaning 10001 clauses out of 20010 with flag 411000/735525
47.22/45.59	c cleaning 9996 clauses out of 20009 with flag 421000/745525
47.73/46.09	c cleaning 10002 clauses out of 20013 with flag 431000/755525
48.23/46.58	c cleaning 9998 clauses out of 20012 with flag 441001/765526
48.73/47.04	c cleaning 10005 clauses out of 20016 with flag 451003/775528
49.23/47.51	c cleaning 9992 clauses out of 20008 with flag 461000/785525
49.63/47.96	c cleaning 10003 clauses out of 20016 with flag 471000/795525
50.13/48.43	c cleaning 9998 clauses out of 20014 with flag 481001/805526
50.63/48.91	c cleaning 9999 clauses out of 20015 with flag 491000/815525
51.13/49.41	c cleaning 9999 clauses out of 20017 with flag 501001/825526
51.53/49.88	c cleaning 10007 clauses out of 20018 with flag 511001/835526
52.03/50.39	c cleaning 9996 clauses out of 20011 with flag 521001/845526
52.53/50.88	c cleaning 9995 clauses out of 20014 with flag 531000/855525
53.03/51.36	c cleaning 10008 clauses out of 20020 with flag 541001/865526
53.53/51.86	c cleaning 9997 clauses out of 20011 with flag 551000/875525
54.03/52.35	c cleaning 9999 clauses out of 20014 with flag 561000/885525
54.54/52.84	c cleaning 10001 clauses out of 20015 with flag 571000/895525
55.03/53.39	c cleaning 10001 clauses out of 20014 with flag 581000/905525
55.64/53.91	c cleaning 10003 clauses out of 20016 with flag 591003/915528
56.13/54.41	c cleaning 9995 clauses out of 20010 with flag 601000/925525
56.64/54.91	c cleaning 9999 clauses out of 20015 with flag 611000/935525
57.14/55.45	c cleaning 10004 clauses out of 20016 with flag 621000/945525
57.64/55.92	c cleaning 10000 clauses out of 20012 with flag 631000/955525
58.04/56.38	c cleaning 9994 clauses out of 20012 with flag 641000/965525
58.64/56.91	c cleaning 10006 clauses out of 20020 with flag 651002/975527
59.04/57.37	c cleaning 10003 clauses out of 20013 with flag 661001/985526
59.54/57.86	c cleaning 10000 clauses out of 20009 with flag 671000/995525
60.05/58.37	c cleaning 10000 clauses out of 20010 with flag 681001/1005526
60.55/58.87	c cleaning 10000 clauses out of 20009 with flag 691000/1015525
61.05/59.37	c cleaning 9996 clauses out of 20009 with flag 701000/1025525
61.65/59.92	c cleaning 10000 clauses out of 20015 with flag 711002/1035527
62.15/60.50	c cleaning 10002 clauses out of 20014 with flag 721001/1045526
62.75/61.01	c cleaning 9994 clauses out of 20011 with flag 731000/1055525
63.26/61.57	c cleaning 10007 clauses out of 20018 with flag 741001/1065526
63.76/62.07	c cleaning 9997 clauses out of 20010 with flag 751000/1075525
64.26/62.56	c cleaning 9997 clauses out of 20013 with flag 761000/1085525
64.76/63.06	c cleaning 10002 clauses out of 20019 with flag 771003/1095528
65.36/63.64	c cleaning 10001 clauses out of 20016 with flag 781002/1105527
65.86/64.18	c cleaning 10000 clauses out of 20015 with flag 791002/1115527
66.46/64.79	c cleaning 10001 clauses out of 20014 with flag 801001/1125526
67.06/65.35	c cleaning 9998 clauses out of 20013 with flag 811001/1135526
67.56/65.88	c cleaning 10001 clauses out of 20014 with flag 821000/1145525
68.16/66.45	c cleaning 10001 clauses out of 20013 with flag 831000/1155525
68.66/67.00	c cleaning 9999 clauses out of 20013 with flag 841001/1165526
69.27/67.53	c cleaning 9998 clauses out of 20014 with flag 851001/1175526
69.77/68.06	c cleaning 10002 clauses out of 20017 with flag 861002/1185527
70.27/68.56	c cleaning 10003 clauses out of 20015 with flag 871002/1195527
70.77/69.07	c cleaning 9998 clauses out of 20010 with flag 881000/1205525
71.28/69.53	c cleaning 9999 clauses out of 20012 with flag 891000/1215525
71.77/70.00	c cleaning 10006 clauses out of 20018 with flag 901005/1225530
72.18/70.46	c cleaning 9997 clauses out of 20008 with flag 911001/1235526
72.78/71.02	c cleaning 10000 clauses out of 20012 with flag 921002/1245527
73.28/71.54	c cleaning 10001 clauses out of 20014 with flag 931004/1255529
73.78/72.02	c cleaning 10002 clauses out of 20012 with flag 941003/1265528
74.29/72.56	c cleaning 9994 clauses out of 20007 with flag 951000/1275525
74.78/73.06	c cleaning 10003 clauses out of 20013 with flag 961000/1285525
75.28/73.52	c cleaning 9995 clauses out of 20014 with flag 971004/1295529
75.68/74.00	c cleaning 10003 clauses out of 20016 with flag 981001/1305526
76.28/74.59	c cleaning 10002 clauses out of 20014 with flag 991002/1315527
76.88/75.10	c cleaning 9996 clauses out of 20010 with flag 1001000/1325525
77.30/75.58	c cleaning 10002 clauses out of 20015 with flag 1011001/1335526
77.80/76.09	c cleaning 9997 clauses out of 20013 with flag 1021001/1345526
78.30/76.60	c cleaning 10004 clauses out of 20017 with flag 1031002/1355527
78.90/77.11	c cleaning 10000 clauses out of 20011 with flag 1041000/1365525
79.30/77.58	c cleaning 9998 clauses out of 20014 with flag 1051003/1375528
79.80/78.04	c cleaning 10001 clauses out of 20018 with flag 1061005/1385530
80.30/78.53	c cleaning 10001 clauses out of 20014 with flag 1071002/1395527
80.80/79.02	c cleaning 9998 clauses out of 20011 with flag 1081000/1405525
81.30/79.54	c cleaning 10002 clauses out of 20014 with flag 1091001/1415526
81.80/80.03	c cleaning 10004 clauses out of 20012 with flag 1101001/1425526
82.21/80.49	c cleaning 10001 clauses out of 20007 with flag 1111000/1435525
82.71/80.98	c cleaning 9993 clauses out of 20006 with flag 1121000/1445525
83.31/81.50	c cleaning 10000 clauses out of 20014 with flag 1131001/1455526
83.71/81.98	c cleaning 10004 clauses out of 20013 with flag 1141000/1465525
84.22/82.48	c cleaning 9996 clauses out of 20010 with flag 1151001/1475526
84.81/83.05	c cleaning 10002 clauses out of 20014 with flag 1161001/1485526
85.42/83.64	c cleaning 10000 clauses out of 20011 with flag 1171000/1495525
85.91/84.16	c cleaning 9999 clauses out of 20012 with flag 1181001/1505526
86.42/84.70	c cleaning 10005 clauses out of 20015 with flag 1191003/1515528
87.01/85.23	c cleaning 10001 clauses out of 20007 with flag 1201000/1525525
87.52/85.78	c cleaning 9994 clauses out of 20006 with flag 1211000/1535525
88.02/86.26	c cleaning 10000 clauses out of 20013 with flag 1221001/1545526
88.52/86.77	c cleaning 9999 clauses out of 20012 with flag 1231000/1555525
89.02/87.26	c cleaning 10001 clauses out of 20014 with flag 1241001/1565526
89.52/87.74	c cleaning 9996 clauses out of 20014 with flag 1251002/1575527
90.02/88.26	c cleaning 10004 clauses out of 20017 with flag 1261001/1585526
90.52/88.79	c cleaning 9998 clauses out of 20013 with flag 1271001/1595526
91.12/89.31	c cleaning 10003 clauses out of 20014 with flag 1281000/1605525
91.62/89.84	c cleaning 9992 clauses out of 20014 with flag 1291003/1615528
92.12/90.37	c cleaning 10006 clauses out of 20020 with flag 1301001/1625526
92.62/90.82	c cleaning 10001 clauses out of 20014 with flag 1311001/1635526
93.03/91.28	c cleaning 10004 clauses out of 20014 with flag 1321002/1645527
93.52/91.76	c cleaning 9996 clauses out of 20008 with flag 1331000/1655525
94.03/92.25	c cleaning 10001 clauses out of 20013 with flag 1341001/1665526
94.53/92.72	c cleaning 9996 clauses out of 20011 with flag 1351000/1675525
94.94/93.19	c cleaning 9999 clauses out of 20016 with flag 1361001/1685526
95.44/93.69	c cleaning 10001 clauses out of 20017 with flag 1371001/1695526
95.94/94.18	c cleaning 9992 clauses out of 20016 with flag 1381001/1705526
96.45/94.63	c cleaning 10006 clauses out of 20023 with flag 1391000/1715525
96.94/95.13	c cleaning 10001 clauses out of 20018 with flag 1401001/1725526
97.45/95.61	c cleaning 9998 clauses out of 20016 with flag 1411000/1735525
97.94/96.13	c cleaning 10005 clauses out of 20019 with flag 1421001/1745526
98.44/96.63	c cleaning 10001 clauses out of 20013 with flag 1431000/1755525
98.95/97.11	c cleaning 10001 clauses out of 20013 with flag 1441001/1765526
99.45/97.63	c cleaning 10000 clauses out of 20012 with flag 1451001/1775526
99.95/98.13	c cleaning 10001 clauses out of 20011 with flag 1461000/1785525
100.45/98.63	c cleaning 10004 clauses out of 20011 with flag 1471001/1795526
101.05/99.21	c cleaning 9998 clauses out of 20007 with flag 1481001/1805526
101.55/99.77	c cleaning 9994 clauses out of 20009 with flag 1491001/1815526
102.15/100.30	c cleaning 10001 clauses out of 20016 with flag 1501002/1825527
102.68/100.82	c cleaning 9996 clauses out of 20014 with flag 1511001/1835526
103.19/101.36	c cleaning 10003 clauses out of 20017 with flag 1521000/1845525
103.69/101.86	c cleaning 9997 clauses out of 20015 with flag 1531001/1855526
104.19/102.37	c cleaning 9999 clauses out of 20017 with flag 1541000/1865525
104.79/102.91	c cleaning 10001 clauses out of 20019 with flag 1551001/1875526
105.20/103.39	c cleaning 9998 clauses out of 20017 with flag 1561000/1885525
105.69/103.87	c cleaning 10006 clauses out of 20021 with flag 1571002/1895527
106.20/104.40	c cleaning 9998 clauses out of 20014 with flag 1581001/1905526
106.81/104.95	c cleaning 10003 clauses out of 20015 with flag 1591000/1915525
107.31/105.45	c cleaning 10001 clauses out of 20014 with flag 1601002/1925527
107.81/105.97	c cleaning 10000 clauses out of 20011 with flag 1611000/1935525
108.31/106.46	c cleaning 9999 clauses out of 20014 with flag 1621003/1945528
108.81/106.95	c cleaning 10002 clauses out of 20013 with flag 1631001/1955526
109.31/107.44	c cleaning 9994 clauses out of 20010 with flag 1641000/1965525
109.72/107.90	c cleaning 10004 clauses out of 20017 with flag 1651001/1975526
110.22/108.35	c cleaning 10003 clauses out of 20012 with flag 1661000/1985525
110.72/108.87	c cleaning 10000 clauses out of 20009 with flag 1671000/1995525
111.32/109.41	c cleaning 9995 clauses out of 20009 with flag 1681000/2005525
111.82/109.92	c cleaning 10005 clauses out of 20016 with flag 1691002/2015527
112.32/110.46	c cleaning 10000 clauses out of 20010 with flag 1701001/2025526
112.82/110.90	c cleaning 9998 clauses out of 20010 with flag 1711001/2035526
113.22/111.38	c cleaning 9999 clauses out of 20011 with flag 1721000/2045525
113.72/111.84	c cleaning 9995 clauses out of 20012 with flag 1731000/2055525
114.22/112.34	c cleaning 10005 clauses out of 20018 with flag 1741001/2065526
114.72/112.84	c cleaning 9999 clauses out of 20012 with flag 1751000/2075525
115.23/113.31	c cleaning 10002 clauses out of 20013 with flag 1761000/2085525
115.63/113.78	c cleaning 9995 clauses out of 20012 with flag 1771001/2095526
116.13/114.23	c cleaning 10008 clauses out of 20017 with flag 1781001/2105526
116.63/114.70	c cleaning 10001 clauses out of 20010 with flag 1791002/2115527
117.04/115.17	c cleaning 10000 clauses out of 20008 with flag 1801001/2125526
117.54/115.66	c cleaning 10000 clauses out of 20008 with flag 1811001/2135526
118.04/116.17	c cleaning 10000 clauses out of 20008 with flag 1821001/2145526
118.55/116.64	c cleaning 9999 clauses out of 20008 with flag 1831001/2155526
119.04/117.14	c cleaning 9996 clauses out of 20011 with flag 1841003/2165528
119.55/117.64	c cleaning 9997 clauses out of 20014 with flag 1851002/2175527
120.05/118.15	c cleaning 9998 clauses out of 20019 with flag 1861004/2185529
120.55/118.70	c cleaning 9999 clauses out of 20017 with flag 1871000/2195525
121.15/119.20	c cleaning 10004 clauses out of 20018 with flag 1881000/2205525
121.55/119.66	c cleaning 10000 clauses out of 20014 with flag 1891000/2215525
122.06/120.12	c cleaning 10005 clauses out of 20018 with flag 1901004/2225529
122.46/120.59	c cleaning 9999 clauses out of 20009 with flag 1911000/2235525
122.96/121.06	c cleaning 10000 clauses out of 20010 with flag 1921000/2245525
123.46/121.58	c cleaning 10000 clauses out of 20011 with flag 1931001/2255526
123.96/122.04	c cleaning 10000 clauses out of 20010 with flag 1941000/2265525
124.46/122.51	c cleaning 9998 clauses out of 20010 with flag 1951000/2275525
124.86/122.99	c cleaning 9999 clauses out of 20012 with flag 1961000/2285525
125.46/123.52	c cleaning 10002 clauses out of 20015 with flag 1971002/2295527
125.96/124.02	c cleaning 10002 clauses out of 20011 with flag 1981000/2305525
126.46/124.53	c cleaning 10000 clauses out of 20009 with flag 1991000/2315525
126.96/125.04	c cleaning 9996 clauses out of 20010 with flag 2001001/2325526
127.46/125.57	c cleaning 10003 clauses out of 20016 with flag 2011003/2335528
127.97/126.07	c cleaning 9995 clauses out of 20010 with flag 2021000/2345525
128.47/126.57	c cleaning 10005 clauses out of 20017 with flag 2031002/2355527
128.97/127.08	c cleaning 10000 clauses out of 20010 with flag 2041000/2365525
129.47/127.57	c cleaning 9996 clauses out of 20010 with flag 2051000/2375525
129.97/128.06	c cleaning 10001 clauses out of 20014 with flag 2061000/2385525
130.47/128.57	c cleaning 10001 clauses out of 20014 with flag 2071001/2395526
131.07/129.10	c cleaning 9996 clauses out of 20012 with flag 2081000/2405525
131.57/129.63	c cleaning 10005 clauses out of 20017 with flag 2091001/2415526
132.07/130.12	c cleaning 9998 clauses out of 20012 with flag 2101001/2425526
132.57/130.68	c cleaning 10001 clauses out of 20015 with flag 2111002/2435527
133.07/131.17	c cleaning 10002 clauses out of 20013 with flag 2121001/2445526
133.58/131.66	c cleaning 9994 clauses out of 20012 with flag 2131002/2455527
134.08/132.16	c cleaning 10002 clauses out of 20017 with flag 2141001/2465526
134.58/132.64	c cleaning 10002 clauses out of 20014 with flag 2151000/2475525
135.18/133.20	c cleaning 10000 clauses out of 20013 with flag 2161001/2485526
135.68/133.71	c cleaning 9999 clauses out of 20013 with flag 2171001/2495526
136.20/134.24	c cleaning 10000 clauses out of 20013 with flag 2181000/2505525
136.69/134.76	c cleaning 10002 clauses out of 20013 with flag 2191000/2515525
137.30/135.32	c cleaning 9995 clauses out of 20012 with flag 2201001/2525526
137.79/135.84	c cleaning 10002 clauses out of 20017 with flag 2211001/2535526
138.40/136.41	c cleaning 9995 clauses out of 20014 with flag 2221000/2545525
138.89/136.98	c cleaning 9999 clauses out of 20019 with flag 2231000/2555525
139.50/137.52	c cleaning 10004 clauses out of 20021 with flag 2241001/2565526
140.09/138.12	c cleaning 9997 clauses out of 20017 with flag 2251001/2575526
140.60/138.68	c cleaning 10002 clauses out of 20020 with flag 2261001/2585526
141.09/139.20	c cleaning 10000 clauses out of 20017 with flag 2271000/2595525
141.70/139.72	c cleaning 10005 clauses out of 20018 with flag 2281001/2605526
142.20/140.27	c cleaning 10001 clauses out of 20015 with flag 2291003/2615528
142.80/140.83	c cleaning 9999 clauses out of 20011 with flag 2301000/2625525
143.30/141.36	c cleaning 10003 clauses out of 20015 with flag 2311003/2635528
143.80/141.89	c cleaning 9996 clauses out of 20010 with flag 2321001/2645526
144.40/142.41	c cleaning 10003 clauses out of 20014 with flag 2331001/2655526
144.90/142.94	c cleaning 9995 clauses out of 20011 with flag 2341001/2665526
145.40/143.43	c cleaning 10004 clauses out of 20015 with flag 2351000/2675525
145.90/143.93	c cleaning 9998 clauses out of 20012 with flag 2361001/2685526
146.40/144.44	c cleaning 10001 clauses out of 20014 with flag 2371001/2695526
146.91/144.96	c cleaning 10000 clauses out of 20012 with flag 2381000/2705525
147.51/145.50	c cleaning 10004 clauses out of 20014 with flag 2391002/2715527
148.01/146.03	c cleaning 10001 clauses out of 20010 with flag 2401002/2725527
148.51/146.56	c cleaning 9998 clauses out of 20008 with flag 2411001/2735526
149.11/147.15	c cleaning 9999 clauses out of 20010 with flag 2421001/2745526
149.71/147.71	c cleaning 9998 clauses out of 20010 with flag 2431000/2755525
150.21/148.26	c cleaning 9999 clauses out of 20013 with flag 2441001/2765526
150.71/148.79	c cleaning 10000 clauses out of 20013 with flag 2451000/2775525
151.32/149.35	c cleaning 10003 clauses out of 20013 with flag 2461000/2785525
151.91/149.96	c cleaning 10000 clauses out of 20010 with flag 2471000/2795525
152.42/150.48	c cleaning 9999 clauses out of 20012 with flag 2481002/2805527
152.92/150.99	c cleaning 9998 clauses out of 20011 with flag 2491000/2815525
153.52/151.50	c cleaning 10000 clauses out of 20013 with flag 2501000/2825525
154.02/152.03	c cleaning 10002 clauses out of 20015 with flag 2511002/2835527
154.52/152.53	c cleaning 9999 clauses out of 20011 with flag 2521000/2845525
155.02/153.03	c cleaning 10001 clauses out of 20014 with flag 2531002/2855527
155.52/153.58	c cleaning 9999 clauses out of 20011 with flag 2541000/2865525
156.12/154.11	c cleaning 10001 clauses out of 20013 with flag 2551001/2875526
156.62/154.64	c cleaning 9997 clauses out of 20011 with flag 2561000/2885525
157.13/155.19	c cleaning 10000 clauses out of 20016 with flag 2571002/2895527
157.73/155.73	c cleaning 10001 clauses out of 20015 with flag 2581001/2905526
158.33/156.32	c cleaning 10003 clauses out of 20014 with flag 2591001/2915526
158.83/156.87	c cleaning 9998 clauses out of 20011 with flag 2601001/2925526
159.33/157.39	c cleaning 9998 clauses out of 20012 with flag 2611000/2935525
159.93/157.90	c cleaning 10003 clauses out of 20014 with flag 2621000/2945525
160.43/158.44	c cleaning 10002 clauses out of 20014 with flag 2631003/2955528
160.93/158.94	c cleaning 9998 clauses out of 20009 with flag 2641000/2965525
161.43/159.50	c cleaning 9998 clauses out of 20011 with flag 2651000/2975525
162.03/160.04	c cleaning 10003 clauses out of 20014 with flag 2661001/2985526
162.54/160.57	c cleaning 9997 clauses out of 20010 with flag 2671000/2995525
163.13/161.13	c cleaning 10002 clauses out of 20015 with flag 2681002/3005527
163.64/161.63	c cleaning 10005 clauses out of 20012 with flag 2691001/3015526
164.13/162.13	c cleaning 10001 clauses out of 20008 with flag 2701002/3025527
164.63/162.66	c cleaning 9998 clauses out of 20007 with flag 2711002/3035527
165.13/163.17	c cleaning 9999 clauses out of 20009 with flag 2721002/3045527
165.64/163.69	c cleaning 9997 clauses out of 20009 with flag 2731001/3055526
166.24/164.24	c cleaning 9996 clauses out of 20012 with flag 2741001/3065526
166.74/164.74	c cleaning 10002 clauses out of 20015 with flag 2751000/3075525
167.34/165.34	c cleaning 10005 clauses out of 20017 with flag 2761004/3085529
167.84/165.90	c cleaning 9996 clauses out of 20008 with flag 2771000/3095525
168.44/166.41	c cleaning 10005 clauses out of 20015 with flag 2781003/3105528
168.94/166.94	c cleaning 10004 clauses out of 20009 with flag 2791002/3115527
169.44/167.46	c cleaning 9995 clauses out of 20003 with flag 2801000/3125525
169.94/167.94	c cleaning 9996 clauses out of 20008 with flag 2811000/3135525
170.44/168.44	c cleaning 9997 clauses out of 20012 with flag 2821000/3145525
170.94/169.00	c cleaning 10003 clauses out of 20018 with flag 2831003/3155528
171.45/169.46	c cleaning 9996 clauses out of 20013 with flag 2841001/3165526
171.95/169.96	c cleaning 9997 clauses out of 20016 with flag 2851000/3175525
172.46/170.50	c cleaning 10003 clauses out of 20019 with flag 2861000/3185525
172.95/170.97	c cleaning 10001 clauses out of 20016 with flag 2871000/3195525
173.45/171.43	c cleaning 10004 clauses out of 20016 with flag 2881001/3205526
173.85/171.89	c cleaning 9996 clauses out of 20011 with flag 2891000/3215525
174.45/172.43	c cleaning 9991 clauses out of 20015 with flag 2901000/3225525
174.95/172.94	c cleaning 10000 clauses out of 20025 with flag 2911001/3235526
175.45/173.43	c cleaning 10007 clauses out of 20025 with flag 2921001/3245526
175.95/173.94	c cleaning 10001 clauses out of 20020 with flag 2931003/3255528
176.46/174.44	c cleaning 10005 clauses out of 20017 with flag 2941001/3265526
176.96/174.92	c cleaning 9998 clauses out of 20011 with flag 2951000/3275525
177.46/175.43	c cleaning 10002 clauses out of 20015 with flag 2961002/3285527
177.96/175.95	c cleaning 10001 clauses out of 20011 with flag 2971000/3295525
178.46/176.45	c cleaning 10001 clauses out of 20010 with flag 2981000/3305525
178.96/176.96	c cleaning 9997 clauses out of 20010 with flag 2991001/3315526
179.46/177.44	c cleaning 10000 clauses out of 20012 with flag 3001000/3325525
179.96/177.90	c cleaning 10000 clauses out of 20012 with flag 3011000/3335525
180.46/178.40	c cleaning 10001 clauses out of 20012 with flag 3021000/3345525
180.96/178.90	c cleaning 9999 clauses out of 20012 with flag 3031001/3355526
181.46/179.41	c cleaning 10001 clauses out of 20013 with flag 3041001/3365526
181.96/179.98	c cleaning 9999 clauses out of 20011 with flag 3051000/3375525
182.56/180.51	c cleaning 10000 clauses out of 20013 with flag 3061001/3385526
183.06/181.03	c cleaning 10002 clauses out of 20013 with flag 3071001/3395526
183.57/181.56	c cleaning 10001 clauses out of 20012 with flag 3081002/3405527
184.17/182.12	c cleaning 9999 clauses out of 20010 with flag 3091001/3415526
184.67/182.68	c cleaning 10001 clauses out of 20011 with flag 3101001/3425526
185.17/183.19	c cleaning 10001 clauses out of 20010 with flag 3111001/3435526
185.67/183.69	c cleaning 10002 clauses out of 20011 with flag 3121003/3445528
186.27/184.23	c cleaning 10001 clauses out of 20007 with flag 3131001/3455526
186.77/184.73	c cleaning 9995 clauses out of 20006 with flag 3141001/3465526
187.27/185.27	c cleaning 10002 clauses out of 20011 with flag 3151001/3475526
187.77/185.78	c cleaning 10001 clauses out of 20009 with flag 3161001/3485526
188.27/186.25	c cleaning 10000 clauses out of 20007 with flag 3171000/3495525
188.77/186.73	c cleaning 9998 clauses out of 20008 with flag 3181001/3505526
189.27/187.20	c cleaning 9998 clauses out of 20009 with flag 3191000/3515525
189.67/187.67	c cleaning 10000 clauses out of 20012 with flag 3201001/3525526
190.18/188.15	c cleaning 10000 clauses out of 20012 with flag 3211001/3535526
190.68/188.64	c cleaning 10000 clauses out of 20011 with flag 3221000/3545525
191.19/189.15	c cleaning 10004 clauses out of 20013 with flag 3231002/3555527
191.69/189.63	c cleaning 9999 clauses out of 20012 with flag 3241005/3565530
192.19/190.18	c cleaning 10000 clauses out of 20009 with flag 3251001/3575526
192.69/190.66	c cleaning 9996 clauses out of 20008 with flag 3261000/3585525
193.19/191.17	c cleaning 10000 clauses out of 20014 with flag 3271002/3595527
193.79/191.71	c cleaning 9998 clauses out of 20012 with flag 3281000/3605525
194.29/192.22	c cleaning 10001 clauses out of 20014 with flag 3291000/3615525
194.79/192.73	c cleaning 10000 clauses out of 20015 with flag 3301002/3625527
195.39/193.30	c cleaning 9999 clauses out of 20015 with flag 3311002/3635527
195.89/193.86	c cleaning 10001 clauses out of 20015 with flag 3321001/3645526
196.39/194.37	c cleaning 10002 clauses out of 20014 with flag 3331001/3655526
196.89/194.82	c cleaning 9999 clauses out of 20015 with flag 3341004/3665529
197.39/195.31	c cleaning 10002 clauses out of 20012 with flag 3351000/3675525
197.90/195.82	c cleaning 9994 clauses out of 20010 with flag 3361000/3685525
198.39/196.33	c cleaning 9998 clauses out of 20021 with flag 3371005/3695530
199.00/196.90	c cleaning 10006 clauses out of 20019 with flag 3381001/3705526
199.50/197.40	c cleaning 9994 clauses out of 20012 with flag 3391000/3715525
200.00/197.92	c cleaning 10002 clauses out of 20018 with flag 3401000/3725525
200.50/198.43	c cleaning 10001 clauses out of 20019 with flag 3411003/3735528
201.00/198.98	c cleaning 10002 clauses out of 20015 with flag 3421000/3745525
201.50/199.45	c cleaning 9999 clauses out of 20013 with flag 3431000/3755525
202.00/199.93	c cleaning 10001 clauses out of 20015 with flag 3441001/3765526
202.50/200.45	c cleaning 10003 clauses out of 20013 with flag 3451000/3775525
203.00/200.98	c cleaning 10002 clauses out of 20010 with flag 3461000/3785525
203.60/201.52	c cleaning 9999 clauses out of 20008 with flag 3471000/3795525
204.10/202.00	c cleaning 9997 clauses out of 20009 with flag 3481000/3805525
204.51/202.48	c cleaning 9999 clauses out of 20013 with flag 3491001/3815526
205.01/202.99	c cleaning 9996 clauses out of 20013 with flag 3501000/3825525
205.62/203.56	c cleaning 9996 clauses out of 20017 with flag 3511000/3835525
206.11/204.06	c cleaning 10002 clauses out of 20021 with flag 3521000/3845525
206.62/204.59	c cleaning 10003 clauses out of 20019 with flag 3531000/3855525
207.11/205.09	c cleaning 9997 clauses out of 20016 with flag 3541000/3865525
207.72/205.65	c cleaning 9999 clauses out of 20019 with flag 3551000/3875525
208.22/206.19	c cleaning 10006 clauses out of 20023 with flag 3561003/3885528
208.82/206.73	c cleaning 9998 clauses out of 20014 with flag 3571000/3895525
209.32/207.24	c cleaning 10000 clauses out of 20017 with flag 3581001/3905526
209.82/207.72	c cleaning 10006 clauses out of 20019 with flag 3591003/3915528
210.22/208.17	c cleaning 9997 clauses out of 20010 with flag 3601000/3925525
210.73/208.67	c cleaning 10002 clauses out of 20014 with flag 3611001/3935526
211.33/209.20	c cleaning 10002 clauses out of 20014 with flag 3621003/3945528
211.73/209.70	c cleaning 9988 clauses out of 20010 with flag 3631001/3955526
212.23/210.19	c cleaning 10007 clauses out of 20022 with flag 3641001/3965526
212.73/210.66	c cleaning 10005 clauses out of 20016 with flag 3651002/3975527
213.24/211.18	c cleaning 9996 clauses out of 20009 with flag 3661000/3985525
213.73/211.69	c cleaning 10000 clauses out of 20013 with flag 3671000/3995525
214.34/212.23	c cleaning 9997 clauses out of 20016 with flag 3681003/4005528
214.83/212.72	c cleaning 10002 clauses out of 20016 with flag 3691000/4015525
215.34/213.24	c cleaning 10004 clauses out of 20015 with flag 3701001/4025526
215.84/213.74	c cleaning 9998 clauses out of 20010 with flag 3711000/4035525
216.34/214.28	c cleaning 9999 clauses out of 20014 with flag 3721002/4045527
216.84/214.76	c cleaning 9995 clauses out of 20013 with flag 3731000/4055525
217.34/215.24	c cleaning 9999 clauses out of 20018 with flag 3741000/4065525
217.84/215.76	c cleaning 10006 clauses out of 20019 with flag 3751000/4075525
218.44/216.37	c cleaning 9999 clauses out of 20013 with flag 3761000/4085525
219.04/216.96	c cleaning 10003 clauses out of 20016 with flag 3771002/4095527
219.54/217.46	c cleaning 9998 clauses out of 20012 with flag 3781001/4105526
220.04/217.96	c cleaning 10002 clauses out of 20014 with flag 3791001/4115526
220.54/218.49	c cleaning 10001 clauses out of 20011 with flag 3801000/4125525
221.14/219.01	c cleaning 9990 clauses out of 20010 with flag 3811000/4135525
221.65/219.51	c cleaning 10003 clauses out of 20020 with flag 3821000/4145525
222.15/220.05	c cleaning 9999 clauses out of 20020 with flag 3831003/4155528
222.65/220.54	c cleaning 10000 clauses out of 20018 with flag 3841000/4165525
223.15/221.07	c cleaning 9999 clauses out of 20018 with flag 3851000/4175525
223.65/221.57	c cleaning 10004 clauses out of 20020 with flag 3861001/4185526
224.15/222.09	c cleaning 10000 clauses out of 20017 with flag 3871002/4195527
224.65/222.57	c cleaning 9999 clauses out of 20015 with flag 3881000/4205525
225.16/223.08	c cleaning 10005 clauses out of 20016 with flag 3891000/4215525
225.76/223.60	c cleaning 10001 clauses out of 20013 with flag 3901002/4225527
226.26/224.13	c cleaning 10002 clauses out of 20011 with flag 3911001/4235526
226.76/224.60	c cleaning 10002 clauses out of 20011 with flag 3921003/4245528
227.16/225.09	c cleaning 9995 clauses out of 20006 with flag 3931000/4255525
227.67/225.56	c cleaning 10001 clauses out of 20012 with flag 3941001/4265526
228.17/226.07	c cleaning 9998 clauses out of 20010 with flag 3951000/4275525
228.67/226.56	c cleaning 10000 clauses out of 20013 with flag 3961001/4285526
229.16/227.06	c cleaning 9999 clauses out of 20012 with flag 3971000/4295525
229.67/227.57	c cleaning 10000 clauses out of 20014 with flag 3981001/4305526
230.27/228.12	c cleaning 9996 clauses out of 20013 with flag 3991000/4315525
230.77/228.67	c cleaning 10004 clauses out of 20018 with flag 4001001/4325526
231.37/229.29	c cleaning 10002 clauses out of 20016 with flag 4011003/4335528
231.98/229.84	c cleaning 10002 clauses out of 20011 with flag 4021000/4345525
232.57/230.45	c cleaning 10000 clauses out of 20010 with flag 4031001/4355526
233.08/230.96	c cleaning 10000 clauses out of 20011 with flag 4041002/4365527
233.67/231.51	c cleaning 9999 clauses out of 20009 with flag 4051000/4375525
234.18/232.03	c cleaning 9999 clauses out of 20011 with flag 4061001/4385526
234.68/232.53	c cleaning 9997 clauses out of 20012 with flag 4071001/4395526
235.18/233.06	c cleaning 9999 clauses out of 20014 with flag 4081000/4405525
235.68/233.57	c cleaning 10003 clauses out of 20017 with flag 4091002/4415527
236.28/234.12	c cleaning 10000 clauses out of 20012 with flag 4101000/4425525
236.78/234.64	c cleaning 10005 clauses out of 20015 with flag 4111003/4435528
237.28/235.12	c cleaning 9991 clauses out of 20009 with flag 4121002/4445527
237.78/235.63	c cleaning 10003 clauses out of 20016 with flag 4131000/4455525
238.29/236.11	c cleaning 10005 clauses out of 20014 with flag 4141001/4465526
238.78/236.60	c cleaning 9999 clauses out of 20008 with flag 4151000/4475525
239.28/237.14	c cleaning 10003 clauses out of 20012 with flag 4161003/4485528
239.79/237.67	c cleaning 9997 clauses out of 20008 with flag 4171002/4495527
240.29/238.18	c cleaning 10001 clauses out of 20009 with flag 4181000/4505525
240.89/238.70	c cleaning 9998 clauses out of 20009 with flag 4191001/4515526
241.29/239.19	c cleaning 10000 clauses out of 20012 with flag 4201002/4525527
241.79/239.70	c cleaning 10005 clauses out of 20013 with flag 4211003/4535528
242.39/240.22	c cleaning 9998 clauses out of 20006 with flag 4221001/4545526
242.90/240.74	c cleaning 9999 clauses out of 20008 with flag 4231001/4555526
243.40/241.23	c cleaning 10001 clauses out of 20008 with flag 4241000/4565525
243.90/241.72	c cleaning 9999 clauses out of 20007 with flag 4251000/4575525
244.40/242.20	c cleaning 10000 clauses out of 20008 with flag 4261000/4585525
244.81/242.69	c cleaning 9994 clauses out of 20010 with flag 4271002/4595527
245.41/243.22	c cleaning 10005 clauses out of 20014 with flag 4281000/4605525
245.91/243.71	c cleaning 9996 clauses out of 20011 with flag 4291002/4615527
246.41/244.22	c cleaning 10006 clauses out of 20020 with flag 4301007/4625532
246.91/244.75	c cleaning 9996 clauses out of 20008 with flag 4311001/4635526
247.41/245.24	c cleaning 9998 clauses out of 20011 with flag 4321000/4645525
247.91/245.71	c cleaning 10003 clauses out of 20013 with flag 4331000/4655525
248.31/246.19	c cleaning 10002 clauses out of 20013 with flag 4341003/4665528
248.91/246.70	c cleaning 9997 clauses out of 20008 with flag 4351000/4675525
249.41/247.22	c cleaning 10000 clauses out of 20012 with flag 4361001/4685526
249.92/247.70	c cleaning 10000 clauses out of 20011 with flag 4371000/4695525
250.42/248.23	c cleaning 10004 clauses out of 20014 with flag 4381003/4705528
251.02/248.83	c cleaning 10002 clauses out of 20007 with flag 4391000/4715525
251.52/249.38	c cleaning 9993 clauses out of 20005 with flag 4401001/4725526
252.13/249.99	c cleaning 9996 clauses out of 20014 with flag 4411003/4735528
252.23/250.02	c starts		: 311
252.23/250.02	c conflicts		: 4735573
252.23/250.02	c decisions		: 7590078
252.23/250.02	c propagations		: 253598101
252.23/250.02	c inspects		: 2368787511
252.23/250.02	c shortcuts		: 0
252.23/250.02	c learnt literals	: 3
252.23/250.02	c learnt binary clauses	: 33
252.23/250.02	c learnt ternary clauses	: 1300
252.23/250.02	c learnt constraints	: 4735569
252.23/250.02	c ignored constraints	: 0
252.23/250.02	c root simplifications	: 0
252.23/250.02	c removed literals (reason simplification)	: 22176744
252.23/250.02	c reason swapping (by a shorter reason)	: 0
252.23/250.02	c Calls to reduceDB	: 483
252.23/250.02	c number of reductions to clauses (during analyze)	: 0
252.23/250.02	c number of learned constraints concerned by reduction	: 0
252.23/250.02	c number of learning phase by resolution	: 0
252.23/250.02	c number of learning phase by cutting planes	: 0
252.23/250.02	c speed (assignments/second)	: 1125886.7134605737
252.23/250.02	c non guided choices	5310
252.23/250.02	c learnt constraints type 
252.23/250.02	c constraints type 
252.23/250.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
252.23/250.02	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
252.23/250.02	s OPTIMUM FOUND
252.23/250.02	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 
252.23/250.02	c objective function=3
252.23/250.02	c Total wall clock time (in seconds): 249.913

Verifier Data 

OK	3

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-3492068-1307911250/watcher-3492068-1307911250 -o /var/tmp/evaluation-result-3492068-1307911250/solver-3492068-1307911250 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492068-1307911250.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.01 2.01 2.00 2/195 27359
/proc/meminfo: memFree=11116584/32951124 swapFree=67056304/67111528
[pid=27359] ppid=27357 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/27359/stat : 27359 (java) R 27357 27359 24181 0 -1 4202496 952 0 0 0 0 0 0 0 24 0 1 0 981355584 23580672 694 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260015433192 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27359/statm: 5757 694 511 9 0 124 0

[startup+0.078578 s]
/proc/loadavg: 2.01 2.01 2.00 2/195 27359
/proc/meminfo: memFree=11116584/32951124 swapFree=67056304/67111528
[pid=27359] ppid=27357 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/27359/stat : 27359 (java) S 27357 27359 24181 0 -1 4202496 11953 0 1 0 5 1 0 0 24 0 18 0 981355584 10724442112 11648 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27359/statm: 2618272 11648 1755 9 0 2609006 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088

[startup+0.100577 s]
/proc/loadavg: 2.01 2.01 2.00 2/195 27359
/proc/meminfo: memFree=11116584/32951124 swapFree=67056304/67111528
[pid=27359] ppid=27357 vsize=10539952 CPUtime=0.1 cores=1,3,5,7
/proc/27359/stat : 27359 (java) S 27357 27359 24181 0 -1 4202496 13062 0 1 0 8 2 0 0 24 0 18 0 981355584 10792910848 12724 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27359/statm: 2634988 12725 2092 9 0 2625722 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539952

[startup+0.300505 s]
/proc/loadavg: 2.01 2.01 2.00 2/195 27359
/proc/meminfo: memFree=11116584/32951124 swapFree=67056304/67111528
[pid=27359] ppid=27357 vsize=10542508 CPUtime=0.5 cores=1,3,5,7
/proc/27359/stat : 27359 (java) S 27357 27359 24181 0 -1 4202496 16946 0 1 0 48 2 0 0 24 0 18 0 981355584 10795528192 15969 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27359/statm: 2635627 15970 2204 9 0 2626361 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10542508

[startup+0.700468 s]
/proc/loadavg: 2.01 2.01 2.00 2/195 27359
/proc/meminfo: memFree=11116584/32951124 swapFree=67056304/67111528
[pid=27359] ppid=27357 vsize=10547764 CPUtime=1.49 cores=1,3,5,7
/proc/27359/stat : 27359 (java) S 27357 27359 24181 0 -1 4202496 23236 0 1 0 146 3 0 0 24 0 19 0 981355584 10800910336 19105 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27359/statm: 2636941 19105 2235 9 0 2627675 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10547764

[startup+1.50132 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 27378
/proc/meminfo: memFree=11043528/32951124 swapFree=67056304/67111528
[pid=27359] ppid=27357 vsize=10547764 CPUtime=2.37 cores=1,3,5,7
/proc/27359/stat : 27359 (java) S 27357 27359 24181 0 -1 4202496 26134 0 1 0 234 3 0 0 24 0 19 0 981355584 10800910336 22002 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27359/statm: 2636941 22002 2237 9 0 2627675 0
[pid=27359/tid=27361] ppid=27357 vsize=10547764 CPUtime=1.49 cores=1,3,5,7
/proc/27359/task/27361/stat : 27361 (java) R 27357 27359 24181 0 -1 4202560 17359 0 1 0 147 2 0 0 20 0 19 0 981355585 10800910336 22002 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 46912505686325 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27359/tid=27362] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27362/stat : 27362 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355587 10800910336 22002 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27363] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27363/stat : 27363 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355587 10800910336 22002 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27364] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27364/stat : 27364 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355587 10800910336 22002 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27365] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27365/stat : 27365 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355587 10800910336 22002 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27366] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27366/stat : 27366 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355587 10800910336 22002 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27367] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27367/stat : 27367 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355587 10800910336 22002 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27368] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27368/stat : 27368 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355587 10800910336 22002 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27369] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27369/stat : 27369 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355587 10800910336 22002 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27370] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27370/stat : 27370 (java) S 27357 27359 24181 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 981355588 10800910336 22002 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 0 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27371] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27371/stat : 27371 (java) S 27357 27359 24181 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 981355588 10800910336 22002 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27372] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27372/stat : 27372 (java) S 27357 27359 24181 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981355588 10800910336 22002 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27373] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27373/stat : 27373 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355590 10800910336 22002 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032219569 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27374] ppid=27357 vsize=10547764 CPUtime=0.44 cores=1,3,5,7
/proc/27359/task/27374/stat : 27374 (java) S 27357 27359 24181 0 -1 4202560 3133 0 0 0 44 0 0 0 25 0 19 0 981355590 10800910336 22002 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 7 0 0 0
[pid=27359/tid=27375] ppid=27357 vsize=10547764 CPUtime=0.42 cores=1,3,5,7
/proc/27359/task/27375/stat : 27375 (java) S 27357 27359 24181 0 -1 4202560 4480 0 0 0 42 0 0 0 15 0 19 0 981355590 10800910336 22002 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27376] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27376/stat : 27376 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355590 10800910336 22002 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27377] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27377/stat : 27377 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981355590 10800910336 22002 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27378] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27378/stat : 27378 (java) S 27357 27359 24181 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981355621 10800910336 22002 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 10547764

[startup+3.10105 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 27378
/proc/meminfo: memFree=11031128/32951124 swapFree=67056304/67111528
[pid=27359] ppid=27357 vsize=10547764 CPUtime=3.98 cores=1,3,5,7
/proc/27359/stat : 27359 (java) S 27357 27359 24181 0 -1 4202496 27811 0 1 0 395 3 0 0 24 0 19 0 981355584 10800910336 23679 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27359/statm: 2636941 23679 2237 9 0 2627675 0
[pid=27359/tid=27361] ppid=27357 vsize=10547764 CPUtime=3.09 cores=1,3,5,7
/proc/27359/task/27361/stat : 27361 (java) R 27357 27359 24181 0 -1 4202560 19036 0 1 0 307 2 0 0 25 0 19 0 981355585 10800910336 23679 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 46912505841152 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27359/tid=27362] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27362/stat : 27362 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355587 10800910336 23679 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27363] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27363/stat : 27363 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355587 10800910336 23679 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27364] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27364/stat : 27364 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355587 10800910336 23679 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27365] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27365/stat : 27365 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355587 10800910336 23679 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27366] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27366/stat : 27366 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355587 10800910336 23679 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27367] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27367/stat : 27367 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355587 10800910336 23679 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27368] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27368/stat : 27368 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355587 10800910336 23679 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27369] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27369/stat : 27369 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355587 10800910336 23679 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27370] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27370/stat : 27370 (java) S 27357 27359 24181 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 981355588 10800910336 23679 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 0 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27371] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27371/stat : 27371 (java) S 27357 27359 24181 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 981355588 10800910336 23679 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27372] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27372/stat : 27372 (java) S 27357 27359 24181 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981355588 10800910336 23679 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27373] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27373/stat : 27373 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355590 10800910336 23679 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032219569 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27374] ppid=27357 vsize=10547764 CPUtime=0.45 cores=1,3,5,7
/proc/27359/task/27374/stat : 27374 (java) S 27357 27359 24181 0 -1 4202560 3133 0 0 0 45 0 0 0 18 0 19 0 981355590 10800910336 23679 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 7 0 0 0
[pid=27359/tid=27375] ppid=27357 vsize=10547764 CPUtime=0.42 cores=1,3,5,7
/proc/27359/task/27375/stat : 27375 (java) S 27357 27359 24181 0 -1 4202560 4480 0 0 0 42 0 0 0 15 0 19 0 981355590 10800910336 23679 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27376] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27376/stat : 27376 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355590 10800910336 23679 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27377] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27377/stat : 27377 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981355590 10800910336 23679 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27378] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27378/stat : 27378 (java) S 27357 27359 24181 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981355621 10800910336 23679 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 10547764

[startup+6.30144 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 27378
/proc/meminfo: memFree=11009164/32951124 swapFree=67056304/67111528
[pid=27359] ppid=27357 vsize=10547764 CPUtime=7.35 cores=1,3,5,7
/proc/27359/stat : 27359 (java) S 27357 27359 24181 0 -1 4202496 34300 0 1 0 731 4 0 0 24 0 19 0 981355584 10800910336 29048 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27359/statm: 2636941 29048 2263 9 0 2627675 0
[pid=27359/tid=27361] ppid=27357 vsize=10547764 CPUtime=6.22 cores=1,3,5,7
/proc/27359/task/27361/stat : 27361 (java) R 27357 27359 24181 0 -1 4202560 21240 0 1 0 620 2 0 0 25 0 19 0 981355585 10800910336 29048 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 46912505771491 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27359/tid=27362] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27362/stat : 27362 (java) S 27357 27359 24181 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 981355587 10800910336 29048 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27363] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27363/stat : 27363 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981355587 10800910336 29048 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27364] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27364/stat : 27364 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981355587 10800910336 29048 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27365] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27365/stat : 27365 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981355587 10800910336 29048 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27366] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27366/stat : 27366 (java) S 27357 27359 24181 0 -1 4202560 246 0 0 0 0 0 0 0 16 0 19 0 981355587 10800910336 29048 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 7 0 0 0
[pid=27359/tid=27367] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27367/stat : 27367 (java) S 27357 27359 24181 0 -1 4202560 306 0 0 0 0 0 0 0 15 0 19 0 981355587 10800910336 29048 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27368] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27368/stat : 27368 (java) S 27357 27359 24181 0 -1 4202560 353 0 0 0 0 0 0 0 15 0 19 0 981355587 10800910336 29048 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27369] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27369/stat : 27369 (java) S 27357 27359 24181 0 -1 4202560 307 0 0 0 0 0 0 0 15 0 19 0 981355587 10800910336 29048 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27370] ppid=27357 vsize=10547764 CPUtime=0.04 cores=1,3,5,7
/proc/27359/task/27370/stat : 27370 (java) S 27357 27359 24181 0 -1 4202560 1360 0 0 0 4 0 0 0 16 0 19 0 981355588 10800910336 29048 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 0 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27371] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27371/stat : 27371 (java) S 27357 27359 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981355588 10800910336 29048 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27372] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27372/stat : 27372 (java) S 27357 27359 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981355588 10800910336 29048 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27373] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27373/stat : 27373 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355590 10800910336 29048 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032219569 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27374] ppid=27357 vsize=10547764 CPUtime=0.59 cores=1,3,5,7
/proc/27359/task/27374/stat : 27374 (java) S 27357 27359 24181 0 -1 4202560 4764 0 0 0 59 0 0 0 15 0 19 0 981355590 10800910336 29048 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 7 0 0 0
[pid=27359/tid=27375] ppid=27357 vsize=10547764 CPUtime=0.45 cores=1,3,5,7
/proc/27359/task/27375/stat : 27375 (java) S 27357 27359 24181 0 -1 4202560 4488 0 0 0 45 0 0 0 15 0 19 0 981355590 10800910336 29048 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27376] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27376/stat : 27376 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355590 10800910336 29048 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27377] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27377/stat : 27377 (java) S 27357 27359 24181 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 981355590 10800910336 29048 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27378] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27378/stat : 27378 (java) S 27357 27359 24181 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981355621 10800910336 29048 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.35
Current children cumulated vsize (KiB) 10547764

[startup+12.7013 s]

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

/proc/27359/task/27362/stat : 27362 (java) S 27357 27359 24181 0 -1 4202560 87 0 0 0 12 0 0 0 15 0 19 0 981355587 10800910336 32422 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27363] ppid=27357 vsize=10547764 CPUtime=0.13 cores=1,3,5,7
/proc/27359/task/27363/stat : 27363 (java) S 27357 27359 24181 0 -1 4202560 15 0 0 0 13 0 0 0 15 0 19 0 981355587 10800910336 32422 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27364] ppid=27357 vsize=10547764 CPUtime=0.14 cores=1,3,5,7
/proc/27359/task/27364/stat : 27364 (java) S 27357 27359 24181 0 -1 4202560 16 0 0 0 14 0 0 0 15 0 19 0 981355587 10800910336 32422 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27365] ppid=27357 vsize=10547764 CPUtime=0.12 cores=1,3,5,7
/proc/27359/task/27365/stat : 27365 (java) S 27357 27359 24181 0 -1 4202560 18 0 0 0 12 0 0 0 15 0 19 0 981355587 10800910336 32422 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27366] ppid=27357 vsize=10547764 CPUtime=0.16 cores=1,3,5,7
/proc/27359/task/27366/stat : 27366 (java) S 27357 27359 24181 0 -1 4202560 265 0 0 0 16 0 0 0 15 0 19 0 981355587 10800910336 32422 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 7 0 0 0
[pid=27359/tid=27367] ppid=27357 vsize=10547764 CPUtime=0.15 cores=1,3,5,7
/proc/27359/task/27367/stat : 27367 (java) S 27357 27359 24181 0 -1 4202560 318 0 0 0 15 0 0 0 15 0 19 0 981355587 10800910336 32422 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 7 0 0 0
[pid=27359/tid=27368] ppid=27357 vsize=10547764 CPUtime=0.14 cores=1,3,5,7
/proc/27359/task/27368/stat : 27368 (java) S 27357 27359 24181 0 -1 4202560 370 0 0 0 14 0 0 0 16 0 19 0 981355587 10800910336 32422 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27369] ppid=27357 vsize=10547764 CPUtime=0.14 cores=1,3,5,7
/proc/27359/task/27369/stat : 27369 (java) S 27357 27359 24181 0 -1 4202560 323 0 0 0 14 0 0 0 15 0 19 0 981355587 10800910336 32422 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27370] ppid=27357 vsize=10547764 CPUtime=8.25 cores=1,3,5,7
/proc/27359/task/27370/stat : 27370 (java) S 27357 27359 24181 0 -1 4202560 1910 0 0 0 818 7 0 0 15 0 19 0 981355588 10800910336 32422 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 0 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27371] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27371/stat : 27371 (java) S 27357 27359 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981355588 10800910336 32422 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27372] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27372/stat : 27372 (java) S 27357 27359 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981355588 10800910336 32422 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27373] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27373/stat : 27373 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355590 10800910336 32422 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032219569 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27374] ppid=27357 vsize=10547764 CPUtime=1.18 cores=1,3,5,7
/proc/27359/task/27374/stat : 27374 (java) S 27357 27359 24181 0 -1 4202560 13175 0 0 0 117 1 0 0 15 0 19 0 981355590 10800910336 32422 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27375] ppid=27357 vsize=10547764 CPUtime=0.49 cores=1,3,5,7
/proc/27359/task/27375/stat : 27375 (java) S 27357 27359 24181 0 -1 4202560 4488 0 0 0 49 0 0 0 16 0 19 0 981355590 10800910336 32422 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27376] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27376/stat : 27376 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355590 10800910336 32422 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27377] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27377/stat : 27377 (java) S 27357 27359 24181 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 981355590 10800910336 32422 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27378] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27378/stat : 27378 (java) S 27357 27359 24181 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981355621 10800910336 32422 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 250.92
Current children cumulated vsize (KiB) 10547764

[startup+249.501 s]
/proc/loadavg: 2.04 2.02 2.00 3/214 27385
/proc/meminfo: memFree=10992892/32951124 swapFree=67056304/67111528
[pid=27359] ppid=27357 vsize=10547764 CPUtime=251.72 cores=1,3,5,7
/proc/27359/stat : 27359 (java) S 27357 27359 24181 0 -1 4202496 43875 0 1 0 25155 17 0 0 24 0 19 0 981355584 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27359/statm: 2636941 32423 2264 9 0 2627675 0
[pid=27359/tid=27361] ppid=27357 vsize=10547764 CPUtime=240.54 cores=1,3,5,7
/proc/27359/task/27361/stat : 27361 (java) R 27357 27359 24181 0 -1 4202560 21723 0 1 0 24051 3 0 0 17 0 19 0 981355585 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 46912505711169 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27359/tid=27362] ppid=27357 vsize=10547764 CPUtime=0.12 cores=1,3,5,7
/proc/27359/task/27362/stat : 27362 (java) S 27357 27359 24181 0 -1 4202560 87 0 0 0 12 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27363] ppid=27357 vsize=10547764 CPUtime=0.13 cores=1,3,5,7
/proc/27359/task/27363/stat : 27363 (java) S 27357 27359 24181 0 -1 4202560 15 0 0 0 13 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27364] ppid=27357 vsize=10547764 CPUtime=0.14 cores=1,3,5,7
/proc/27359/task/27364/stat : 27364 (java) S 27357 27359 24181 0 -1 4202560 16 0 0 0 14 0 0 0 16 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 7 0 0 0
[pid=27359/tid=27365] ppid=27357 vsize=10547764 CPUtime=0.12 cores=1,3,5,7
/proc/27359/task/27365/stat : 27365 (java) S 27357 27359 24181 0 -1 4202560 18 0 0 0 12 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27366] ppid=27357 vsize=10547764 CPUtime=0.17 cores=1,3,5,7
/proc/27359/task/27366/stat : 27366 (java) S 27357 27359 24181 0 -1 4202560 265 0 0 0 17 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 7 0 0 0
[pid=27359/tid=27367] ppid=27357 vsize=10547764 CPUtime=0.15 cores=1,3,5,7
/proc/27359/task/27367/stat : 27367 (java) S 27357 27359 24181 0 -1 4202560 318 0 0 0 15 0 0 0 16 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27368] ppid=27357 vsize=10547764 CPUtime=0.14 cores=1,3,5,7
/proc/27359/task/27368/stat : 27368 (java) S 27357 27359 24181 0 -1 4202560 370 0 0 0 14 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27369] ppid=27357 vsize=10547764 CPUtime=0.14 cores=1,3,5,7
/proc/27359/task/27369/stat : 27369 (java) S 27357 27359 24181 0 -1 4202560 323 0 0 0 14 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27370] ppid=27357 vsize=10547764 CPUtime=8.28 cores=1,3,5,7
/proc/27359/task/27370/stat : 27370 (java) S 27357 27359 24181 0 -1 4202560 1910 0 0 0 821 7 0 0 15 0 19 0 981355588 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 0 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27371] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27371/stat : 27371 (java) S 27357 27359 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981355588 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27372] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27372/stat : 27372 (java) S 27357 27359 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981355588 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27373] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27373/stat : 27373 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355590 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032219569 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27374] ppid=27357 vsize=10547764 CPUtime=1.18 cores=1,3,5,7
/proc/27359/task/27374/stat : 27374 (java) S 27357 27359 24181 0 -1 4202560 13175 0 0 0 117 1 0 0 15 0 19 0 981355590 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27375] ppid=27357 vsize=10547764 CPUtime=0.49 cores=1,3,5,7
/proc/27359/task/27375/stat : 27375 (java) S 27357 27359 24181 0 -1 4202560 4488 0 0 0 49 0 0 0 16 0 19 0 981355590 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27376] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27376/stat : 27376 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355590 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27377] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27377/stat : 27377 (java) S 27357 27359 24181 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 981355590 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27378] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27378/stat : 27378 (java) S 27357 27359 24181 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981355621 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 251.72
Current children cumulated vsize (KiB) 10547764

[startup+249.901 s]
/proc/loadavg: 2.04 2.02 2.00 3/214 27385
/proc/meminfo: memFree=10993012/32951124 swapFree=67056304/67111528
[pid=27359] ppid=27357 vsize=10547764 CPUtime=252.13 cores=1,3,5,7
/proc/27359/stat : 27359 (java) S 27357 27359 24181 0 -1 4202496 43876 0 1 0 25196 17 0 0 24 0 19 0 981355584 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27359/statm: 2636941 32423 2264 9 0 2627675 0
[pid=27359/tid=27361] ppid=27357 vsize=10547764 CPUtime=240.94 cores=1,3,5,7
/proc/27359/task/27361/stat : 27361 (java) R 27357 27359 24181 0 -1 4202560 21723 0 1 0 24091 3 0 0 18 0 19 0 981355585 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 46912505681029 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27359/tid=27362] ppid=27357 vsize=10547764 CPUtime=0.12 cores=1,3,5,7
/proc/27359/task/27362/stat : 27362 (java) S 27357 27359 24181 0 -1 4202560 87 0 0 0 12 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27363] ppid=27357 vsize=10547764 CPUtime=0.13 cores=1,3,5,7
/proc/27359/task/27363/stat : 27363 (java) S 27357 27359 24181 0 -1 4202560 15 0 0 0 13 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27364] ppid=27357 vsize=10547764 CPUtime=0.14 cores=1,3,5,7
/proc/27359/task/27364/stat : 27364 (java) S 27357 27359 24181 0 -1 4202560 16 0 0 0 14 0 0 0 16 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 7 0 0 0
[pid=27359/tid=27365] ppid=27357 vsize=10547764 CPUtime=0.12 cores=1,3,5,7
/proc/27359/task/27365/stat : 27365 (java) S 27357 27359 24181 0 -1 4202560 18 0 0 0 12 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27366] ppid=27357 vsize=10547764 CPUtime=0.17 cores=1,3,5,7
/proc/27359/task/27366/stat : 27366 (java) S 27357 27359 24181 0 -1 4202560 265 0 0 0 17 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 7 0 0 0
[pid=27359/tid=27367] ppid=27357 vsize=10547764 CPUtime=0.15 cores=1,3,5,7
/proc/27359/task/27367/stat : 27367 (java) S 27357 27359 24181 0 -1 4202560 318 0 0 0 15 0 0 0 16 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27368] ppid=27357 vsize=10547764 CPUtime=0.14 cores=1,3,5,7
/proc/27359/task/27368/stat : 27368 (java) S 27357 27359 24181 0 -1 4202560 370 0 0 0 14 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27369] ppid=27357 vsize=10547764 CPUtime=0.14 cores=1,3,5,7
/proc/27359/task/27369/stat : 27369 (java) S 27357 27359 24181 0 -1 4202560 323 0 0 0 14 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27370] ppid=27357 vsize=10547764 CPUtime=8.28 cores=1,3,5,7
/proc/27359/task/27370/stat : 27370 (java) S 27357 27359 24181 0 -1 4202560 1910 0 0 0 821 7 0 0 15 0 19 0 981355588 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 0 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27371] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27371/stat : 27371 (java) S 27357 27359 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981355588 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27372] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27372/stat : 27372 (java) S 27357 27359 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981355588 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27373] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27373/stat : 27373 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355590 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032219569 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27374] ppid=27357 vsize=10547764 CPUtime=1.18 cores=1,3,5,7
/proc/27359/task/27374/stat : 27374 (java) S 27357 27359 24181 0 -1 4202560 13175 0 0 0 117 1 0 0 15 0 19 0 981355590 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27375] ppid=27357 vsize=10547764 CPUtime=0.49 cores=1,3,5,7
/proc/27359/task/27375/stat : 27375 (java) S 27357 27359 24181 0 -1 4202560 4489 0 0 0 49 0 0 0 15 0 19 0 981355590 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27376] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27376/stat : 27376 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355590 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27377] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27377/stat : 27377 (java) S 27357 27359 24181 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 981355590 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27378] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27378/stat : 27378 (java) S 27357 27359 24181 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981355621 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 252.13
Current children cumulated vsize (KiB) 10547764

[startup+250.001 s]
/proc/loadavg: 2.04 2.02 2.00 3/214 27385
/proc/meminfo: memFree=10993012/32951124 swapFree=67056304/67111528
[pid=27359] ppid=27357 vsize=10547764 CPUtime=252.23 cores=1,3,5,7
/proc/27359/stat : 27359 (java) S 27357 27359 24181 0 -1 4202496 43876 0 1 0 25206 17 0 0 24 0 19 0 981355584 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27359/statm: 2636941 32423 2264 9 0 2627675 0
[pid=27359/tid=27361] ppid=27357 vsize=10547764 CPUtime=241.03 cores=1,3,5,7
/proc/27359/task/27361/stat : 27361 (java) S 27357 27359 24181 0 -1 4202560 21723 0 1 0 24100 3 0 0 18 0 19 0 981355585 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27362] ppid=27357 vsize=10547764 CPUtime=0.12 cores=1,3,5,7
/proc/27359/task/27362/stat : 27362 (java) S 27357 27359 24181 0 -1 4202560 87 0 0 0 12 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27363] ppid=27357 vsize=10547764 CPUtime=0.13 cores=1,3,5,7
/proc/27359/task/27363/stat : 27363 (java) S 27357 27359 24181 0 -1 4202560 15 0 0 0 13 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27364] ppid=27357 vsize=10547764 CPUtime=0.14 cores=1,3,5,7
/proc/27359/task/27364/stat : 27364 (java) S 27357 27359 24181 0 -1 4202560 16 0 0 0 14 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 7 0 0 0
[pid=27359/tid=27365] ppid=27357 vsize=10547764 CPUtime=0.12 cores=1,3,5,7
/proc/27359/task/27365/stat : 27365 (java) S 27357 27359 24181 0 -1 4202560 18 0 0 0 12 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27366] ppid=27357 vsize=10547764 CPUtime=0.17 cores=1,3,5,7
/proc/27359/task/27366/stat : 27366 (java) S 27357 27359 24181 0 -1 4202560 265 0 0 0 17 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 7 0 0 0
[pid=27359/tid=27367] ppid=27357 vsize=10547764 CPUtime=0.15 cores=1,3,5,7
/proc/27359/task/27367/stat : 27367 (java) S 27357 27359 24181 0 -1 4202560 318 0 0 0 15 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27368] ppid=27357 vsize=10547764 CPUtime=0.14 cores=1,3,5,7
/proc/27359/task/27368/stat : 27368 (java) S 27357 27359 24181 0 -1 4202560 370 0 0 0 14 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27369] ppid=27357 vsize=10547764 CPUtime=0.14 cores=1,3,5,7
/proc/27359/task/27369/stat : 27369 (java) S 27357 27359 24181 0 -1 4202560 323 0 0 0 14 0 0 0 15 0 19 0 981355587 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 7 0 0 0
[pid=27359/tid=27370] ppid=27357 vsize=10547764 CPUtime=8.28 cores=1,3,5,7
/proc/27359/task/27370/stat : 27370 (java) R 27357 27359 24181 0 -1 4202560 1910 0 0 0 821 7 0 0 15 0 19 0 981355588 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 47744720855072 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=27359/tid=27371] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27371/stat : 27371 (java) S 27357 27359 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981355588 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27372] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27372/stat : 27372 (java) S 27357 27359 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981355588 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27373] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27373/stat : 27373 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355590 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032219569 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27374] ppid=27357 vsize=10547764 CPUtime=1.18 cores=1,3,5,7
/proc/27359/task/27374/stat : 27374 (java) S 27357 27359 24181 0 -1 4202560 13175 0 0 0 117 1 0 0 15 0 19 0 981355590 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27375] ppid=27357 vsize=10547764 CPUtime=0.49 cores=1,3,5,7
/proc/27359/task/27375/stat : 27375 (java) S 27357 27359 24181 0 -1 4202560 4489 0 0 0 49 0 0 0 15 0 19 0 981355590 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 3 0 0 0
[pid=27359/tid=27376] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27376/stat : 27376 (java) S 27357 27359 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981355590 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032211865 0 4 0 16800975 18446604471093442688 0 0 -1 1 0 0 0
[pid=27359/tid=27377] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27377/stat : 27377 (java) S 27357 27359 24181 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 981355590 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
[pid=27359/tid=27378] ppid=27357 vsize=10547764 CPUtime=0 cores=1,3,5,7
/proc/27359/task/27378/stat : 27378 (java) S 27357 27359 24181 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 981355621 10800910336 32423 33554432000 1073741824 1073778376 140735504516976 18446744073709551615 260032212480 0 4 0 16800975 18446604471093442688 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 252.23
Current children cumulated vsize (KiB) 10547764

Child status: 30
Real time (s): 250.032
CPU time (s): 252.271
CPU user time (s): 252.089
CPU system time (s): 0.181972
CPU usage (%): 100.895
Max. virtual memory (cumulated for all children) (KiB): 10551076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.089
system time used= 0.181972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43902
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= 17777
involuntary context switches= 8553

runsolver used 0.415936 second user time and 0.977851 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-12 22:40:50
IDJOB=3492068
IDBENCH=79271
IDSOLVER=1982
FILE ID=node110/3492068-1307911250
RUNJOBID= node110-1307907269-25819
PBS_JOBID= 13559603
Free space on /var/tmp= 2884 MiB

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

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

MD5SUM BENCH= a7d7105d3e0193cbcd9215f3627722fb
RANDOM SEED=890929985

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11117376 kB
Buffers:         54904 kB
Cached:       20955572 kB
SwapCached:       9144 kB
Active:        5808752 kB
Inactive:     15310312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11117376 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:             452 kB
Writeback:           0 kB
AnonPages:      105524 kB
Mapped:          21500 kB
Slab:           649576 kB
PageTables:       4992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10551056 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= 2880 MiB
End job on node110 at 2011-06-12 22:45:00