Trace number 3492006

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 321.557 319.48

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900568706--soft-66-100-0.wbo
MD5SUM0424fd5691d718147f8291be7b6f72f2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark91.879
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 constraints892
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 45060
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45059
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 711
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492006-1307910661.wbo
0.10/0.11	c reading problem ... 
0.49/0.30	c ... done. Wall clock time 0.193s.
0.49/0.30	c #vars     1123
0.49/0.30	c #constraints  2707
0.49/0.30	c constraints type 
0.49/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2530
0.49/0.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 13
0.49/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 154
0.49/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10
0.49/0.39	c SATISFIABLE
0.49/0.39	c OPTIMIZING...
0.49/0.39	c Got one! Elapsed wall clock time (in seconds):0.285
0.49/0.39	o 403
0.76/0.42	c Got one! Elapsed wall clock time (in seconds):0.313
0.76/0.42	o 369
0.76/0.46	c Got one! Elapsed wall clock time (in seconds):0.356
0.76/0.46	o 111
1.06/0.55	c Got one! Elapsed wall clock time (in seconds):0.439
1.06/0.55	o 85
1.68/1.06	c cleaning 2966 clauses out of 5938 with flag 5000/5938
1.84/1.16	c Got one! Elapsed wall clock time (in seconds):1.048
1.84/1.16	o 67
2.07/1.29	c Got one! Elapsed wall clock time (in seconds):1.186
2.07/1.29	o 52
2.27/1.39	c Got one! Elapsed wall clock time (in seconds):1.28
2.27/1.39	o 48
2.50/1.47	c cleaning 4356 clauses out of 8726 with flag 1000/11692
3.05/1.92	c cleaning 5182 clauses out of 10370 with flag 7000/17692
3.37/2.28	c Got one! Elapsed wall clock time (in seconds):2.174
3.37/2.28	o 34
3.76/2.65	c cleaning 7859 clauses out of 15722 with flag 5002/28226
4.21/3.03	c cleaning 6930 clauses out of 13863 with flag 11002/34226
4.42/3.24	c Got one! Elapsed wall clock time (in seconds):3.128
4.42/3.24	o 23
4.53/3.38	c cleaning 6263 clauses out of 12532 with flag 2001/39825
4.93/3.77	c cleaning 6129 clauses out of 12270 with flag 8002/45826
5.33/4.16	c cleaning 6563 clauses out of 13139 with flag 15000/52824
5.74/4.58	c cleaning 7282 clauses out of 14577 with flag 23001/60825
6.24/5.07	c cleaning 8143 clauses out of 16295 with flag 32001/69825
6.84/5.67	c cleaning 9073 clauses out of 18151 with flag 42000/79824
7.44/6.22	c cleaning 9534 clauses out of 19079 with flag 52001/89825
7.95/6.79	c cleaning 9765 clauses out of 19545 with flag 62001/99825
8.45/7.27	c Got one! Elapsed wall clock time (in seconds):7.166
8.45/7.27	o 22
8.87/7.64	c cleaning 11766 clauses out of 23537 with flag 5004/113582
9.16/7.99	c cleaning 8880 clauses out of 17768 with flag 11001/119579
9.57/8.39	c cleaning 7940 clauses out of 15887 with flag 18000/126578
10.07/8.80	c cleaning 7967 clauses out of 15948 with flag 26001/134579
10.27/9.06	c Got one! Elapsed wall clock time (in seconds):8.949
10.27/9.06	o 13
10.38/9.12	c cleaning 6970 clauses out of 13950 with flag 1000/140548
10.69/9.45	c cleaning 6487 clauses out of 12981 with flag 7001/146549
10.89/9.69	c Got one! Elapsed wall clock time (in seconds):9.583
10.89/9.69	o 7
11.00/9.75	c cleaning 6226 clauses out of 12464 with flag 1001/152519
11.30/10.07	c cleaning 6114 clauses out of 12240 with flag 7003/158521
11.70/10.42	c cleaning 6558 clauses out of 13123 with flag 14000/165518
12.00/10.79	c cleaning 7274 clauses out of 14566 with flag 22001/173519
12.50/11.24	c cleaning 8141 clauses out of 16291 with flag 31000/182518
13.00/11.72	c cleaning 9070 clauses out of 18151 with flag 41001/192519
13.50/12.27	c cleaning 9536 clauses out of 19082 with flag 51002/202520
14.01/12.77	c cleaning 9771 clauses out of 19546 with flag 61002/212520
14.51/13.29	c cleaning 9880 clauses out of 19774 with flag 71001/222519
15.01/13.79	c cleaning 9944 clauses out of 19895 with flag 81002/232520
15.61/14.32	c cleaning 9973 clauses out of 19950 with flag 91001/242519
16.11/14.80	c cleaning 9984 clauses out of 19976 with flag 101000/252518
16.51/15.27	c cleaning 9990 clauses out of 19992 with flag 111000/262518
17.01/15.74	c cleaning 9998 clauses out of 20004 with flag 121002/272520
17.51/16.26	c cleaning 9997 clauses out of 20004 with flag 131000/282518
18.01/16.78	c cleaning 9995 clauses out of 20008 with flag 141001/292519
18.51/17.26	c cleaning 10002 clauses out of 20014 with flag 151002/302520
19.01/17.75	c cleaning 9999 clauses out of 20010 with flag 161000/312518
19.51/18.26	c cleaning 9999 clauses out of 20011 with flag 171000/322518
20.02/18.75	c cleaning 9999 clauses out of 20013 with flag 181001/332519
20.52/19.24	c cleaning 10004 clauses out of 20014 with flag 191001/342519
21.02/19.72	c cleaning 9999 clauses out of 20010 with flag 201001/352519
21.42/20.19	c cleaning 10000 clauses out of 20010 with flag 211000/362518
21.92/20.67	c cleaning 9998 clauses out of 20010 with flag 221000/372518
22.42/21.15	c cleaning 9996 clauses out of 20012 with flag 231000/382518
22.92/21.65	c cleaning 10001 clauses out of 20016 with flag 241000/392518
23.42/22.15	c cleaning 10002 clauses out of 20016 with flag 251001/402519
24.02/22.73	c cleaning 9996 clauses out of 20013 with flag 261000/412518
24.52/23.24	c cleaning 10005 clauses out of 20017 with flag 271000/422518
25.02/23.71	c cleaning 10002 clauses out of 20012 with flag 281000/432518
25.53/24.20	c cleaning 9998 clauses out of 20011 with flag 291001/442519
26.02/24.71	c cleaning 10003 clauses out of 20012 with flag 301000/452518
26.42/25.19	c cleaning 9999 clauses out of 20010 with flag 311001/462519
26.93/25.69	c cleaning 9995 clauses out of 20010 with flag 321000/472518
27.43/26.17	c cleaning 10002 clauses out of 20016 with flag 331001/482519
27.93/26.64	c cleaning 9998 clauses out of 20014 with flag 341001/492519
28.53/27.20	c cleaning 10002 clauses out of 20016 with flag 351001/502519
29.05/27.71	c cleaning 9999 clauses out of 20013 with flag 361000/512518
29.45/28.19	c cleaning 10005 clauses out of 20015 with flag 371001/522519
29.96/28.69	c cleaning 9997 clauses out of 20010 with flag 381001/532519
30.46/29.17	c cleaning 10005 clauses out of 20013 with flag 391001/542519
30.96/29.66	c cleaning 9998 clauses out of 20007 with flag 401000/552518
31.56/30.20	c cleaning 10000 clauses out of 20009 with flag 411000/562518
31.96/30.69	c cleaning 9999 clauses out of 20010 with flag 421001/572519
32.46/31.17	c cleaning 10001 clauses out of 20010 with flag 431000/582518
32.96/31.69	c cleaning 9997 clauses out of 20010 with flag 441001/592519
33.46/32.19	c cleaning 10000 clauses out of 20012 with flag 451000/602518
34.06/32.73	c cleaning 9999 clauses out of 20012 with flag 461000/612518
34.56/33.22	c cleaning 9994 clauses out of 20014 with flag 471001/622519
35.06/33.75	c cleaning 10003 clauses out of 20019 with flag 481000/632518
35.57/34.26	c cleaning 10000 clauses out of 20017 with flag 491001/642519
36.07/34.76	c cleaning 9999 clauses out of 20016 with flag 501000/652518
36.58/35.24	c cleaning 10005 clauses out of 20017 with flag 511000/662518
37.07/35.74	c cleaning 10002 clauses out of 20014 with flag 521002/672520
37.58/36.22	c cleaning 10001 clauses out of 20012 with flag 531002/682520
38.08/36.71	c cleaning 10002 clauses out of 20010 with flag 541001/692519
38.58/37.25	c cleaning 9995 clauses out of 20007 with flag 551000/702518
39.08/37.74	c cleaning 10002 clauses out of 20012 with flag 561000/712518
39.58/38.24	c cleaning 9996 clauses out of 20010 with flag 571000/722518
40.08/38.72	c cleaning 9998 clauses out of 20015 with flag 581001/732519
40.58/39.26	c cleaning 10003 clauses out of 20018 with flag 591002/742520
41.08/39.73	c cleaning 10000 clauses out of 20013 with flag 601000/752518
41.59/40.25	c cleaning 10003 clauses out of 20014 with flag 611001/762519
42.09/40.73	c cleaning 9997 clauses out of 20010 with flag 621000/772518
42.59/41.21	c cleaning 10003 clauses out of 20014 with flag 631001/782519
42.99/41.69	c cleaning 9998 clauses out of 20010 with flag 641000/792518
43.49/42.19	c cleaning 9999 clauses out of 20012 with flag 651000/802518
43.99/42.69	c cleaning 10005 clauses out of 20014 with flag 661001/812519
44.49/43.18	c cleaning 9993 clauses out of 20008 with flag 671000/822518
45.09/43.71	c cleaning 9999 clauses out of 20015 with flag 681000/832518
45.59/44.22	c cleaning 10005 clauses out of 20020 with flag 691004/842522
46.09/44.70	c cleaning 9999 clauses out of 20011 with flag 701000/852518
46.59/45.20	c cleaning 10002 clauses out of 20012 with flag 711000/862518
46.99/45.69	c cleaning 9998 clauses out of 20011 with flag 721001/872519
47.50/46.17	c cleaning 9999 clauses out of 20012 with flag 731000/882518
47.99/46.65	c cleaning 10002 clauses out of 20018 with flag 741005/892523
48.49/47.17	c cleaning 9999 clauses out of 20011 with flag 751000/902518
49.09/47.70	c cleaning 9999 clauses out of 20012 with flag 761000/912518
49.59/48.22	c cleaning 10004 clauses out of 20013 with flag 771000/922518
50.10/48.73	c cleaning 9999 clauses out of 20009 with flag 781000/932518
50.60/49.26	c cleaning 9998 clauses out of 20010 with flag 791000/942518
51.10/49.78	c cleaning 9998 clauses out of 20012 with flag 801000/952518
51.60/50.27	c cleaning 9999 clauses out of 20015 with flag 811001/962519
52.10/50.76	c cleaning 10005 clauses out of 20017 with flag 821002/972520
52.60/51.26	c cleaning 9999 clauses out of 20011 with flag 831001/982519
53.11/51.77	c cleaning 10002 clauses out of 20011 with flag 841000/992518
53.60/52.25	c cleaning 10000 clauses out of 20011 with flag 851002/1002520
54.11/52.72	c cleaning 9997 clauses out of 20009 with flag 861000/1012518
54.60/53.23	c cleaning 10003 clauses out of 20013 with flag 871001/1022519
55.10/53.72	c cleaning 9995 clauses out of 20009 with flag 881000/1032518
55.61/54.26	c cleaning 9998 clauses out of 20014 with flag 891000/1042518
56.11/54.75	c cleaning 9997 clauses out of 20016 with flag 901000/1052518
56.61/55.25	c cleaning 10003 clauses out of 20019 with flag 911000/1062518
57.11/55.73	c cleaning 10000 clauses out of 20017 with flag 921001/1072519
57.61/56.21	c cleaning 10005 clauses out of 20020 with flag 931004/1082522
58.12/56.74	c cleaning 10000 clauses out of 20011 with flag 941000/1092518
58.63/57.29	c cleaning 9994 clauses out of 20011 with flag 951000/1102518
59.12/57.80	c cleaning 10001 clauses out of 20017 with flag 961000/1112518
59.73/58.32	c cleaning 10002 clauses out of 20016 with flag 971000/1122518
60.22/58.87	c cleaning 10000 clauses out of 20015 with flag 981001/1132519
60.73/59.38	c cleaning 10002 clauses out of 20016 with flag 991002/1142520
61.32/59.92	c cleaning 9992 clauses out of 20012 with flag 1001000/1152518
61.83/60.42	c cleaning 10006 clauses out of 20020 with flag 1011000/1162518
62.33/60.95	c cleaning 10001 clauses out of 20014 with flag 1021000/1172518
62.83/61.45	c cleaning 10002 clauses out of 20018 with flag 1031005/1182523
63.33/61.96	c cleaning 10002 clauses out of 20013 with flag 1041002/1192520
63.83/62.46	c cleaning 10002 clauses out of 20011 with flag 1051002/1202520
64.33/62.97	c cleaning 9999 clauses out of 20008 with flag 1061001/1212519
64.93/63.50	c cleaning 9998 clauses out of 20009 with flag 1071001/1222519
65.43/64.03	c cleaning 10005 clauses out of 20015 with flag 1081005/1232523
65.93/64.52	c cleaning 9997 clauses out of 20008 with flag 1091003/1242521
66.43/65.06	c cleaning 9997 clauses out of 20008 with flag 1101000/1252518
66.93/65.59	c cleaning 9998 clauses out of 20012 with flag 1111001/1262519
67.44/66.09	c cleaning 10002 clauses out of 20014 with flag 1121001/1272519
67.94/66.57	c cleaning 10000 clauses out of 20013 with flag 1131002/1282520
68.44/67.08	c cleaning 9999 clauses out of 20011 with flag 1141000/1292518
68.94/67.57	c cleaning 10004 clauses out of 20015 with flag 1151003/1302521
69.44/68.06	c cleaning 10001 clauses out of 20011 with flag 1161003/1312521
69.94/68.58	c cleaning 9998 clauses out of 20007 with flag 1171000/1322518
70.45/69.10	c cleaning 10000 clauses out of 20009 with flag 1181000/1332518
71.05/69.65	c cleaning 10002 clauses out of 20009 with flag 1191000/1342518
71.55/70.14	c cleaning 10000 clauses out of 20010 with flag 1201003/1352521
72.05/70.65	c cleaning 10000 clauses out of 20008 with flag 1211001/1362519
72.55/71.18	c cleaning 9994 clauses out of 20007 with flag 1221000/1372518
73.05/71.66	c cleaning 10000 clauses out of 20014 with flag 1231001/1382519
73.55/72.17	c cleaning 9998 clauses out of 20014 with flag 1241001/1392519
74.06/72.67	c cleaning 10002 clauses out of 20018 with flag 1251003/1402521
74.55/73.17	c cleaning 10004 clauses out of 20014 with flag 1261001/1412519
75.06/73.69	c cleaning 9997 clauses out of 20009 with flag 1271000/1422518
75.65/74.24	c cleaning 10001 clauses out of 20015 with flag 1281003/1432521
76.16/74.79	c cleaning 9997 clauses out of 20012 with flag 1291001/1442519
76.66/75.30	c cleaning 9998 clauses out of 20014 with flag 1301000/1452518
77.26/75.81	c cleaning 10001 clauses out of 20016 with flag 1311000/1462518
77.76/76.31	c cleaning 10004 clauses out of 20017 with flag 1321002/1472520
78.26/76.83	c cleaning 9999 clauses out of 20011 with flag 1331000/1482518
78.76/77.34	c cleaning 9999 clauses out of 20012 with flag 1341000/1492518
79.26/77.86	c cleaning 10003 clauses out of 20015 with flag 1351002/1502520
79.76/78.36	c cleaning 9997 clauses out of 20010 with flag 1361000/1512518
80.27/78.86	c cleaning 10000 clauses out of 20014 with flag 1371001/1522519
80.77/79.39	c cleaning 10002 clauses out of 20013 with flag 1381000/1532518
81.27/79.90	c cleaning 10003 clauses out of 20012 with flag 1391001/1542519
81.88/80.40	c cleaning 10000 clauses out of 20009 with flag 1401001/1552519
82.38/80.92	c cleaning 9998 clauses out of 20008 with flag 1411000/1562518
82.88/81.42	c cleaning 9996 clauses out of 20011 with flag 1421001/1572519
83.38/81.92	c cleaning 10001 clauses out of 20014 with flag 1431000/1582518
83.88/82.45	c cleaning 10000 clauses out of 20014 with flag 1441001/1592519
84.38/82.97	c cleaning 10003 clauses out of 20013 with flag 1451000/1602518
84.88/83.49	c cleaning 10000 clauses out of 20010 with flag 1461000/1612518
85.48/84.00	c cleaning 9998 clauses out of 20010 with flag 1471000/1622518
85.98/84.56	c cleaning 10001 clauses out of 20013 with flag 1481001/1632519
86.48/85.08	c cleaning 10004 clauses out of 20013 with flag 1491002/1642520
87.08/85.61	c cleaning 10001 clauses out of 20007 with flag 1501000/1652518
87.58/86.17	c cleaning 9996 clauses out of 20006 with flag 1511000/1662518
88.19/86.71	c cleaning 10000 clauses out of 20011 with flag 1521001/1672519
88.69/87.27	c cleaning 10001 clauses out of 20010 with flag 1531000/1682518
89.29/87.81	c cleaning 10004 clauses out of 20012 with flag 1541003/1692521
89.79/88.34	c cleaning 9996 clauses out of 20006 with flag 1551001/1702519
90.29/88.89	c cleaning 10001 clauses out of 20012 with flag 1561003/1712521
90.89/89.43	c cleaning 9999 clauses out of 20008 with flag 1571000/1722518
91.39/89.97	c cleaning 9996 clauses out of 20010 with flag 1581001/1732519
91.99/90.51	c cleaning 10004 clauses out of 20013 with flag 1591000/1742518
92.49/91.05	c cleaning 9997 clauses out of 20009 with flag 1601000/1752518
92.99/91.56	c cleaning 10002 clauses out of 20014 with flag 1611002/1762520
93.49/92.08	c cleaning 10001 clauses out of 20010 with flag 1621000/1772518
94.09/92.60	c cleaning 10000 clauses out of 20010 with flag 1631001/1782519
94.59/93.13	c cleaning 10001 clauses out of 20009 with flag 1641000/1792518
95.09/93.63	c cleaning 9996 clauses out of 20008 with flag 1651000/1802518
95.59/94.16	c cleaning 9998 clauses out of 20012 with flag 1661000/1812518
96.10/94.67	c cleaning 10000 clauses out of 20014 with flag 1671000/1822518
96.59/95.19	c cleaning 10003 clauses out of 20015 with flag 1681001/1832519
97.10/95.70	c cleaning 10001 clauses out of 20013 with flag 1691002/1842520
97.69/96.25	c cleaning 10000 clauses out of 20012 with flag 1701002/1852520
98.20/96.78	c cleaning 9999 clauses out of 20010 with flag 1711000/1862518
98.69/97.29	c cleaning 10002 clauses out of 20014 with flag 1721003/1872521
99.30/97.80	c cleaning 9999 clauses out of 20011 with flag 1731002/1882520
99.79/98.31	c cleaning 10000 clauses out of 20010 with flag 1741000/1892518
100.30/98.85	c cleaning 10001 clauses out of 20013 with flag 1751003/1902521
100.80/99.37	c cleaning 10002 clauses out of 20009 with flag 1761000/1912518
101.41/99.92	c cleaning 9990 clauses out of 20007 with flag 1771000/1922518
101.91/100.42	c cleaning 10006 clauses out of 20020 with flag 1781003/1932521
102.41/100.92	c cleaning 9998 clauses out of 20011 with flag 1791000/1942518
102.91/101.45	c cleaning 9999 clauses out of 20015 with flag 1801002/1952520
103.41/101.93	c cleaning 10001 clauses out of 20015 with flag 1811001/1962519
103.92/102.41	c cleaning 9999 clauses out of 20014 with flag 1821001/1972519
104.42/102.91	c cleaning 10004 clauses out of 20015 with flag 1831001/1982519
104.92/103.44	c cleaning 10002 clauses out of 20012 with flag 1841002/1992520
105.42/103.97	c cleaning 9996 clauses out of 20008 with flag 1851000/2002518
105.93/104.47	c cleaning 10003 clauses out of 20014 with flag 1861002/2012520
106.42/104.95	c cleaning 9997 clauses out of 20009 with flag 1871000/2022518
106.92/105.42	c cleaning 10000 clauses out of 20012 with flag 1881000/2032518
107.43/105.91	c cleaning 9999 clauses out of 20013 with flag 1891001/2042519
107.93/106.42	c cleaning 10002 clauses out of 20014 with flag 1901001/2052519
108.43/106.90	c cleaning 10006 clauses out of 20013 with flag 1911002/2062520
108.93/107.45	c cleaning 9997 clauses out of 20005 with flag 1921000/2072518
109.43/107.96	c cleaning 9999 clauses out of 20008 with flag 1931000/2082518
109.93/108.43	c cleaning 9996 clauses out of 20009 with flag 1941000/2092518
110.44/108.93	c cleaning 10002 clauses out of 20014 with flag 1951001/2102519
110.94/109.43	c cleaning 9998 clauses out of 20011 with flag 1961000/2112518
111.44/109.94	c cleaning 10005 clauses out of 20014 with flag 1971001/2122519
111.94/110.45	c cleaning 9996 clauses out of 20008 with flag 1981000/2132518
112.44/110.94	c cleaning 10001 clauses out of 20014 with flag 1991002/2142520
112.94/111.46	c cleaning 10001 clauses out of 20013 with flag 2001002/2152520
113.44/111.95	c cleaning 10000 clauses out of 20011 with flag 2011001/2162519
113.94/112.46	c cleaning 9999 clauses out of 20010 with flag 2021000/2172518
114.44/112.93	c cleaning 10004 clauses out of 20014 with flag 2031003/2182521
114.94/113.47	c cleaning 10000 clauses out of 20007 with flag 2041000/2192518
115.45/113.99	c cleaning 9996 clauses out of 20007 with flag 2051000/2202518
115.95/114.47	c cleaning 9994 clauses out of 20011 with flag 2061000/2212518
116.45/114.96	c cleaning 9999 clauses out of 20018 with flag 2071001/2222519
116.96/115.44	c cleaning 10004 clauses out of 20018 with flag 2081000/2232518
117.45/115.94	c cleaning 10000 clauses out of 20014 with flag 2091000/2242518
117.95/116.49	c cleaning 10000 clauses out of 20014 with flag 2101000/2252518
118.55/117.02	c cleaning 10002 clauses out of 20014 with flag 2111000/2262518
119.06/117.55	c cleaning 10001 clauses out of 20013 with flag 2121001/2272519
119.56/118.05	c cleaning 9997 clauses out of 20011 with flag 2131000/2282518
120.16/118.60	c cleaning 10004 clauses out of 20016 with flag 2141002/2292520
120.56/119.10	c cleaning 10001 clauses out of 20010 with flag 2151000/2302518
121.16/119.66	c cleaning 9998 clauses out of 20009 with flag 2161000/2312518
121.67/120.17	c cleaning 10002 clauses out of 20011 with flag 2171000/2322518
122.27/120.72	c cleaning 9999 clauses out of 20011 with flag 2181002/2332520
122.77/121.25	c cleaning 10001 clauses out of 20010 with flag 2191000/2342518
123.27/121.77	c cleaning 9999 clauses out of 20010 with flag 2201001/2352519
123.87/122.30	c cleaning 10000 clauses out of 20011 with flag 2211001/2362519
124.37/122.81	c cleaning 10000 clauses out of 20010 with flag 2221000/2372518
124.88/123.34	c cleaning 9991 clauses out of 20010 with flag 2231000/2382518
125.48/123.90	c cleaning 10002 clauses out of 20019 with flag 2241000/2392518
125.98/124.44	c cleaning 10005 clauses out of 20017 with flag 2251000/2402518
126.58/125.00	c cleaning 10000 clauses out of 20012 with flag 2261000/2412518
127.08/125.54	c cleaning 10000 clauses out of 20013 with flag 2271001/2422519
127.58/126.03	c cleaning 10000 clauses out of 20012 with flag 2281000/2432518
128.09/126.53	c cleaning 10003 clauses out of 20014 with flag 2291002/2442520
128.58/127.05	c cleaning 9998 clauses out of 20010 with flag 2301001/2452519
129.09/127.60	c cleaning 9998 clauses out of 20011 with flag 2311000/2462518
129.68/128.11	c cleaning 9996 clauses out of 20014 with flag 2321001/2472519
130.19/128.63	c cleaning 10001 clauses out of 20017 with flag 2331000/2482518
130.68/129.15	c cleaning 10004 clauses out of 20016 with flag 2341000/2492518
131.18/129.66	c cleaning 10003 clauses out of 20014 with flag 2351002/2502520
131.68/130.18	c cleaning 9998 clauses out of 20012 with flag 2361003/2512521
132.18/130.69	c cleaning 9994 clauses out of 20012 with flag 2371001/2522519
132.68/131.19	c cleaning 10003 clauses out of 20017 with flag 2381000/2532518
133.28/131.71	c cleaning 10004 clauses out of 20015 with flag 2391001/2542519
133.78/132.24	c cleaning 10002 clauses out of 20011 with flag 2401001/2552519
134.28/132.79	c cleaning 10001 clauses out of 20010 with flag 2411002/2562520
134.89/133.34	c cleaning 9997 clauses out of 20009 with flag 2421002/2572520
135.49/133.91	c cleaning 10001 clauses out of 20012 with flag 2431002/2582520
135.99/134.44	c cleaning 10000 clauses out of 20011 with flag 2441002/2592520
136.49/134.99	c cleaning 9999 clauses out of 20009 with flag 2451000/2602518
137.09/135.52	c cleaning 9999 clauses out of 20012 with flag 2461002/2612520
137.59/136.04	c cleaning 10001 clauses out of 20012 with flag 2471001/2622519
138.09/136.57	c cleaning 10000 clauses out of 20014 with flag 2481004/2632522
138.60/137.07	c cleaning 10001 clauses out of 20011 with flag 2491001/2642519
139.11/137.59	c cleaning 9998 clauses out of 20009 with flag 2501000/2652518
139.70/138.10	c cleaning 9999 clauses out of 20015 with flag 2511004/2662522
140.21/138.61	c cleaning 10001 clauses out of 20012 with flag 2521000/2672518
140.71/139.12	c cleaning 10001 clauses out of 20011 with flag 2531000/2682518
141.31/139.72	c cleaning 9999 clauses out of 20010 with flag 2541000/2692518
141.91/140.33	c cleaning 9999 clauses out of 20011 with flag 2551000/2702518
142.42/140.86	c cleaning 10000 clauses out of 20014 with flag 2561002/2712520
143.01/141.41	c cleaning 9997 clauses out of 20012 with flag 2571000/2722518
143.52/141.97	c cleaning 10003 clauses out of 20016 with flag 2581001/2732519
144.02/142.47	c cleaning 10003 clauses out of 20013 with flag 2591001/2742519
144.52/142.96	c cleaning 10000 clauses out of 20010 with flag 2601001/2752519
145.12/143.50	c cleaning 9997 clauses out of 20011 with flag 2611002/2762520
145.62/144.03	c cleaning 10003 clauses out of 20015 with flag 2621003/2772521
146.12/144.54	c cleaning 9995 clauses out of 20009 with flag 2631000/2782518
146.72/145.10	c cleaning 10000 clauses out of 20016 with flag 2641002/2792520
147.22/145.69	c cleaning 10004 clauses out of 20014 with flag 2651000/2802518
147.83/146.27	c cleaning 10001 clauses out of 20011 with flag 2661001/2812519
148.43/146.83	c cleaning 10004 clauses out of 20011 with flag 2671002/2822520
148.93/147.34	c cleaning 9997 clauses out of 20005 with flag 2681000/2832518
149.43/147.86	c cleaning 9998 clauses out of 20009 with flag 2691001/2842519
149.93/148.39	c cleaning 10000 clauses out of 20013 with flag 2701003/2852521
150.43/148.89	c cleaning 9999 clauses out of 20010 with flag 2711000/2862518
151.14/149.51	c cleaning 9996 clauses out of 20012 with flag 2721001/2872519
151.73/150.16	c cleaning 10004 clauses out of 20018 with flag 2731003/2882521
152.34/150.73	c cleaning 9998 clauses out of 20013 with flag 2741002/2892520
152.94/151.38	c cleaning 9999 clauses out of 20014 with flag 2751001/2902519
153.54/151.92	c cleaning 9999 clauses out of 20014 with flag 2761000/2912518
154.04/152.43	c cleaning 10000 clauses out of 20015 with flag 2771000/2922518
154.54/152.95	c cleaning 10004 clauses out of 20017 with flag 2781002/2932520
155.04/153.47	c cleaning 9999 clauses out of 20011 with flag 2791000/2942518
155.55/153.97	c cleaning 9999 clauses out of 20012 with flag 2801000/2952518
156.14/154.54	c cleaning 9989 clauses out of 20014 with flag 2811001/2962519
156.65/155.06	c cleaning 10006 clauses out of 20024 with flag 2821000/2972518
157.14/155.56	c cleaning 10001 clauses out of 20019 with flag 2831001/2982519
157.65/156.04	c cleaning 10004 clauses out of 20018 with flag 2841001/2992519
158.15/156.55	c cleaning 10002 clauses out of 20013 with flag 2851000/3002518
158.75/157.11	c cleaning 9995 clauses out of 20013 with flag 2861002/3012520
159.25/157.65	c cleaning 10003 clauses out of 20017 with flag 2871001/3022519
159.75/158.15	c cleaning 10000 clauses out of 20014 with flag 2881001/3032519
160.25/158.64	c cleaning 10000 clauses out of 20014 with flag 2891001/3042519
160.75/159.16	c cleaning 9996 clauses out of 20015 with flag 2901002/3052520
161.25/159.67	c cleaning 10006 clauses out of 20018 with flag 2911001/3062519
161.75/160.18	c cleaning 10001 clauses out of 20011 with flag 2921000/3072518
162.26/160.68	c cleaning 10000 clauses out of 20011 with flag 2931001/3082519
162.75/161.17	c cleaning 10001 clauses out of 20012 with flag 2941002/3092520
163.26/161.68	c cleaning 9996 clauses out of 20009 with flag 2951000/3102518
163.77/162.19	c cleaning 10001 clauses out of 20013 with flag 2961000/3112518
164.37/162.75	c cleaning 9999 clauses out of 20015 with flag 2971003/3122521
164.87/163.29	c cleaning 10000 clauses out of 20014 with flag 2981001/3132519
165.47/163.85	c cleaning 10000 clauses out of 20013 with flag 2991000/3142518
165.97/164.37	c cleaning 9999 clauses out of 20014 with flag 3001001/3152519
166.57/164.92	c cleaning 10000 clauses out of 20014 with flag 3011000/3162518
167.07/165.47	c cleaning 10001 clauses out of 20015 with flag 3021001/3172519
167.57/165.98	c cleaning 10001 clauses out of 20013 with flag 3031000/3182518
168.17/166.53	c cleaning 10002 clauses out of 20013 with flag 3041001/3192519
168.67/167.09	c cleaning 9998 clauses out of 20011 with flag 3051001/3202519
169.28/167.62	c cleaning 9998 clauses out of 20012 with flag 3061000/3212518
169.78/168.13	c cleaning 10005 clauses out of 20014 with flag 3071000/3222518
170.28/168.64	c cleaning 9997 clauses out of 20009 with flag 3081000/3232518
170.78/169.19	c cleaning 10004 clauses out of 20013 with flag 3091001/3242519
171.38/169.77	c cleaning 9997 clauses out of 20011 with flag 3101003/3252521
171.98/170.33	c cleaning 9996 clauses out of 20011 with flag 3111000/3262518
172.49/170.85	c cleaning 10003 clauses out of 20015 with flag 3121000/3272518
173.09/171.41	c cleaning 9999 clauses out of 20014 with flag 3131002/3282520
173.59/171.95	c cleaning 10002 clauses out of 20014 with flag 3141001/3292519
174.09/172.46	c cleaning 10001 clauses out of 20013 with flag 3151002/3302520
174.59/172.97	c cleaning 10002 clauses out of 20011 with flag 3161001/3312519
175.09/173.49	c cleaning 10000 clauses out of 20008 with flag 3171000/3322518
175.69/174.01	c cleaning 9997 clauses out of 20008 with flag 3181000/3332518
176.29/174.60	c cleaning 10000 clauses out of 20011 with flag 3191000/3342518
176.79/175.11	c cleaning 10002 clauses out of 20011 with flag 3201000/3352518
177.30/175.63	c cleaning 9997 clauses out of 20011 with flag 3211002/3362520
177.80/176.15	c cleaning 10005 clauses out of 20015 with flag 3221003/3372521
178.30/176.66	c cleaning 9997 clauses out of 20008 with flag 3231001/3382519
178.81/177.18	c cleaning 9997 clauses out of 20010 with flag 3241000/3392518
179.40/177.72	c cleaning 9999 clauses out of 20014 with flag 3251001/3402519
179.91/178.25	c cleaning 10002 clauses out of 20014 with flag 3261000/3412518
180.40/178.79	c cleaning 9998 clauses out of 20012 with flag 3271000/3422518
181.01/179.33	c cleaning 10002 clauses out of 20014 with flag 3281000/3432518
181.50/179.86	c cleaning 10001 clauses out of 20013 with flag 3291001/3442519
182.01/180.40	c cleaning 10001 clauses out of 20011 with flag 3301000/3452518
182.61/180.92	c cleaning 10001 clauses out of 20011 with flag 3311001/3462519
183.11/181.45	c cleaning 10002 clauses out of 20012 with flag 3321003/3472521
183.61/181.97	c cleaning 10001 clauses out of 20007 with flag 3331000/3482518
184.11/182.47	c cleaning 9997 clauses out of 20006 with flag 3341000/3492518
184.71/183.06	c cleaning 9996 clauses out of 20010 with flag 3351001/3502519
185.21/183.57	c cleaning 10002 clauses out of 20014 with flag 3361001/3512519
185.71/184.07	c cleaning 9999 clauses out of 20011 with flag 3371000/3522518
186.31/184.63	c cleaning 9998 clauses out of 20012 with flag 3381000/3532518
186.82/185.18	c cleaning 10004 clauses out of 20015 with flag 3391001/3542519
187.41/185.72	c cleaning 9999 clauses out of 20010 with flag 3401000/3552518
187.92/186.26	c cleaning 9996 clauses out of 20011 with flag 3411000/3562518
188.52/186.84	c cleaning 10003 clauses out of 20018 with flag 3421003/3572521
189.02/187.35	c cleaning 10004 clauses out of 20013 with flag 3431001/3582519
189.53/187.89	c cleaning 9999 clauses out of 20009 with flag 3441001/3592519
190.13/188.45	c cleaning 10000 clauses out of 20015 with flag 3451006/3602524
190.73/189.02	c cleaning 10000 clauses out of 20010 with flag 3461001/3612519
191.23/189.53	c cleaning 9998 clauses out of 20009 with flag 3471000/3622518
191.73/190.05	c cleaning 9996 clauses out of 20011 with flag 3481000/3632518
192.23/190.58	c cleaning 10002 clauses out of 20017 with flag 3491002/3642520
192.83/191.11	c cleaning 10000 clauses out of 20016 with flag 3501003/3652521
193.33/191.61	c cleaning 10001 clauses out of 20013 with flag 3511000/3662518
193.83/192.10	c cleaning 10003 clauses out of 20015 with flag 3521003/3672521
194.34/192.60	c cleaning 10000 clauses out of 20009 with flag 3531000/3682518
194.84/193.16	c cleaning 9997 clauses out of 20009 with flag 3541000/3692518
195.34/193.67	c cleaning 9999 clauses out of 20012 with flag 3551000/3702518
195.84/194.16	c cleaning 9999 clauses out of 20013 with flag 3561000/3712518
196.34/194.67	c cleaning 10002 clauses out of 20015 with flag 3571001/3722519
196.94/195.20	c cleaning 9994 clauses out of 20012 with flag 3581000/3732518
197.45/195.78	c cleaning 10002 clauses out of 20019 with flag 3591001/3742519
198.04/196.37	c cleaning 9998 clauses out of 20016 with flag 3601000/3752518
198.65/196.90	c cleaning 10006 clauses out of 20020 with flag 3611002/3762520
199.15/197.45	c cleaning 10002 clauses out of 20015 with flag 3621003/3772521
199.65/197.98	c cleaning 10001 clauses out of 20012 with flag 3631002/3782520
200.25/198.55	c cleaning 9997 clauses out of 20010 with flag 3641001/3792519
200.75/199.04	c cleaning 10002 clauses out of 20014 with flag 3651002/3802520
201.25/199.54	c cleaning 10001 clauses out of 20013 with flag 3661003/3812521
201.75/200.10	c cleaning 9993 clauses out of 20009 with flag 3671000/3822518
202.35/200.62	c cleaning 9999 clauses out of 20017 with flag 3681001/3832519
202.85/201.11	c cleaning 10001 clauses out of 20018 with flag 3691001/3842519
203.35/201.64	c cleaning 10004 clauses out of 20019 with flag 3701003/3852521
203.85/202.14	c cleaning 10001 clauses out of 20013 with flag 3711001/3862519
204.35/202.65	c cleaning 10001 clauses out of 20015 with flag 3721004/3872522
204.85/203.17	c cleaning 9995 clauses out of 20011 with flag 3731001/3882519
205.35/203.68	c cleaning 10002 clauses out of 20015 with flag 3741000/3892518
205.95/204.23	c cleaning 9993 clauses out of 20015 with flag 3751002/3902520
206.45/204.78	c cleaning 10006 clauses out of 20023 with flag 3761003/3912521
207.05/205.32	c cleaning 9999 clauses out of 20014 with flag 3771000/3922518
207.55/205.84	c cleaning 10004 clauses out of 20016 with flag 3781001/3932519
208.16/206.48	c cleaning 9999 clauses out of 20012 with flag 3791001/3942519
208.86/207.13	c cleaning 9998 clauses out of 20014 with flag 3801002/3952520
209.46/207.72	c cleaning 10001 clauses out of 20014 with flag 3811000/3962518
209.96/208.27	c cleaning 10000 clauses out of 20014 with flag 3821001/3972519
210.46/208.78	c cleaning 10003 clauses out of 20014 with flag 3831001/3982519
211.06/209.36	c cleaning 9997 clauses out of 20010 with flag 3841000/3992518
211.56/209.86	c cleaning 10002 clauses out of 20014 with flag 3851001/4002519
212.16/210.40	c cleaning 10001 clauses out of 20012 with flag 3861001/4012519
212.66/210.91	c cleaning 9998 clauses out of 20012 with flag 3871002/4022520
213.16/211.40	c cleaning 9997 clauses out of 20012 with flag 3881000/4032518
213.56/211.86	c cleaning 9999 clauses out of 20015 with flag 3891000/4042518
214.07/212.33	c cleaning 10000 clauses out of 20019 with flag 3901003/4052521
214.56/212.83	c cleaning 9998 clauses out of 20018 with flag 3911002/4062520
215.07/213.32	c cleaning 10006 clauses out of 20021 with flag 3921003/4072521
215.57/213.82	c cleaning 9997 clauses out of 20012 with flag 3931000/4082518
216.07/214.35	c cleaning 10000 clauses out of 20016 with flag 3941001/4092519
216.57/214.87	c cleaning 10003 clauses out of 20017 with flag 3951002/4102520
217.07/215.37	c cleaning 10000 clauses out of 20014 with flag 3961002/4112520
217.58/215.85	c cleaning 10003 clauses out of 20013 with flag 3971001/4122519
218.08/216.36	c cleaning 9998 clauses out of 20011 with flag 3981002/4132520
218.58/216.87	c cleaning 10001 clauses out of 20011 with flag 3991000/4142518
219.08/217.37	c cleaning 10004 clauses out of 20013 with flag 4001003/4152521
219.59/217.85	c cleaning 9999 clauses out of 20009 with flag 4011003/4162521
220.19/218.40	c cleaning 9998 clauses out of 20008 with flag 4021001/4172519
220.69/218.90	c cleaning 9996 clauses out of 20009 with flag 4031000/4182518
221.19/219.40	c cleaning 10000 clauses out of 20013 with flag 4041000/4192518
221.70/219.92	c cleaning 10002 clauses out of 20016 with flag 4051003/4202521
222.19/220.42	c cleaning 9999 clauses out of 20012 with flag 4061001/4212519
222.69/220.90	c cleaning 10000 clauses out of 20012 with flag 4071000/4222518
223.09/221.37	c cleaning 10001 clauses out of 20014 with flag 4081002/4232520
223.59/221.86	c cleaning 9997 clauses out of 20013 with flag 4091002/4242520
224.19/222.42	c cleaning 10002 clauses out of 20014 with flag 4101000/4252518
224.59/222.89	c cleaning 10002 clauses out of 20012 with flag 4111000/4262518
225.10/223.39	c cleaning 9998 clauses out of 20011 with flag 4121001/4272519
225.60/223.86	c cleaning 9998 clauses out of 20013 with flag 4131001/4282519
226.10/224.34	c cleaning 10003 clauses out of 20014 with flag 4141000/4292518
226.60/224.88	c cleaning 9997 clauses out of 20012 with flag 4151001/4302519
227.21/225.42	c cleaning 10001 clauses out of 20014 with flag 4161000/4312518
227.70/225.90	c cleaning 10005 clauses out of 20017 with flag 4171004/4322522
228.20/226.41	c cleaning 9996 clauses out of 20008 with flag 4181000/4332518
228.71/226.93	c cleaning 9997 clauses out of 20012 with flag 4191000/4342518
229.21/227.42	c cleaning 10000 clauses out of 20015 with flag 4201000/4352518
229.71/227.94	c cleaning 10001 clauses out of 20017 with flag 4211002/4362520
230.21/228.46	c cleaning 10002 clauses out of 20015 with flag 4221001/4372519
230.81/229.01	c cleaning 9995 clauses out of 20013 with flag 4231001/4382519
231.31/229.55	c cleaning 10002 clauses out of 20019 with flag 4241002/4392520
231.91/230.13	c cleaning 10004 clauses out of 20020 with flag 4251005/4402523
232.41/230.66	c cleaning 9997 clauses out of 20011 with flag 4261000/4412518
232.91/231.17	c cleaning 9999 clauses out of 20015 with flag 4271001/4422519
233.41/231.69	c cleaning 10004 clauses out of 20018 with flag 4281003/4432521
234.02/232.22	c cleaning 9994 clauses out of 20012 with flag 4291001/4442519
234.52/232.77	c cleaning 10008 clauses out of 20019 with flag 4301002/4452520
235.02/233.25	c cleaning 10001 clauses out of 20009 with flag 4311000/4462518
235.52/233.73	c cleaning 9995 clauses out of 20008 with flag 4321000/4472518
236.03/234.24	c cleaning 10001 clauses out of 20014 with flag 4331001/4482519
236.52/234.77	c cleaning 9999 clauses out of 20013 with flag 4341001/4492519
237.02/235.26	c cleaning 10000 clauses out of 20013 with flag 4351000/4502518
237.52/235.75	c cleaning 10002 clauses out of 20013 with flag 4361000/4512518
238.02/236.27	c cleaning 9998 clauses out of 20011 with flag 4371000/4522518
238.63/236.81	c cleaning 9997 clauses out of 20015 with flag 4381002/4532520
239.13/237.31	c cleaning 10000 clauses out of 20016 with flag 4391000/4542518
239.54/237.78	c cleaning 10004 clauses out of 20017 with flag 4401001/4552519
240.04/238.27	c cleaning 9999 clauses out of 20012 with flag 4411000/4562518
240.54/238.79	c cleaning 9993 clauses out of 20014 with flag 4421001/4572519
241.14/239.32	c cleaning 10002 clauses out of 20020 with flag 4431000/4582518
241.65/239.85	c cleaning 10005 clauses out of 20022 with flag 4441004/4592522
242.24/240.40	c cleaning 9999 clauses out of 20013 with flag 4451000/4602518
242.65/240.90	c cleaning 9999 clauses out of 20015 with flag 4461001/4612519
243.24/241.41	c cleaning 10001 clauses out of 20015 with flag 4471000/4622518
243.75/241.91	c cleaning 9944 clauses out of 20014 with flag 4481000/4632518
244.24/242.44	c cleaning 9965 clauses out of 20072 with flag 4491002/4642520
244.74/242.96	c cleaning 9961 clauses out of 20105 with flag 4501000/4652518
245.34/243.53	c cleaning 9981 clauses out of 20144 with flag 4511000/4662518
245.84/244.07	c cleaning 9984 clauses out of 20166 with flag 4521003/4672521
246.35/244.57	c cleaning 9973 clauses out of 20180 with flag 4531001/4682519
246.94/245.10	c cleaning 9986 clauses out of 20209 with flag 4541003/4692521
247.45/245.66	c cleaning 9964 clauses out of 20220 with flag 4551000/4702518
247.95/246.16	c cleaning 9980 clauses out of 20257 with flag 4561001/4712519
248.45/246.63	c cleaning 9985 clauses out of 20278 with flag 4571002/4722520
248.95/247.12	c cleaning 9987 clauses out of 20293 with flag 4581002/4732520
249.45/247.64	c cleaning 9979 clauses out of 20305 with flag 4591001/4742519
249.95/248.16	c cleaning 10000 clauses out of 20332 with flag 4601007/4752525
250.46/248.65	c cleaning 9974 clauses out of 20325 with flag 4611000/4762518
250.95/249.12	c cleaning 9993 clauses out of 20353 with flag 4621002/4772520
251.46/249.63	c cleaning 9981 clauses out of 20358 with flag 4631000/4782518
251.96/250.14	c cleaning 9983 clauses out of 20377 with flag 4641000/4792518
252.45/250.63	c cleaning 9957 clauses out of 20395 with flag 4651001/4802519
252.96/251.17	c cleaning 9972 clauses out of 20437 with flag 4661000/4812518
253.56/251.71	c cleaning 9988 clauses out of 20466 with flag 4671001/4822519
254.06/252.26	c cleaning 9985 clauses out of 20478 with flag 4681001/4832519
254.56/252.78	c cleaning 9976 clauses out of 20492 with flag 4691000/4842518
255.16/253.34	c cleaning 9989 clauses out of 20517 with flag 4701001/4852519
255.66/253.89	c cleaning 9976 clauses out of 20530 with flag 4711003/4862521
256.37/254.52	c cleaning 9988 clauses out of 20551 with flag 4721000/4872518
256.87/255.03	c cleaning 9986 clauses out of 20564 with flag 4731001/4882519
257.37/255.58	c cleaning 9992 clauses out of 20577 with flag 4741000/4892518
257.97/256.12	c cleaning 9991 clauses out of 20585 with flag 4751000/4902518
258.47/256.65	c cleaning 9987 clauses out of 20594 with flag 4761000/4912518
258.97/257.17	c cleaning 9983 clauses out of 20610 with flag 4771003/4922521
259.57/257.71	c cleaning 9977 clauses out of 20627 with flag 4781003/4932521
260.07/258.25	c cleaning 9972 clauses out of 20647 with flag 4791000/4942518
260.68/258.81	c cleaning 9986 clauses out of 20675 with flag 4801000/4952518
261.18/259.33	c cleaning 9981 clauses out of 20689 with flag 4811000/4962518
261.68/259.84	c cleaning 9981 clauses out of 20708 with flag 4821000/4972518
262.18/260.39	c cleaning 9991 clauses out of 20731 with flag 4831004/4982522
262.78/260.94	c cleaning 9973 clauses out of 20737 with flag 4841001/4992519
263.28/261.48	c cleaning 9979 clauses out of 20765 with flag 4851002/5002520
263.88/262.03	c cleaning 9983 clauses out of 20785 with flag 4861001/5012519
264.38/262.55	c cleaning 9978 clauses out of 20805 with flag 4871004/5022522
264.88/263.09	c cleaning 9972 clauses out of 20824 with flag 4881001/5032519
265.49/263.64	c cleaning 9986 clauses out of 20851 with flag 4891000/5042518
265.99/264.19	c cleaning 9988 clauses out of 20865 with flag 4901000/5052518
266.49/264.68	c cleaning 9997 clauses out of 20880 with flag 4911003/5062521
267.09/265.27	c cleaning 9991 clauses out of 20881 with flag 4921001/5072519
267.69/265.82	c cleaning 9998 clauses out of 20889 with flag 4931000/5082518
268.19/266.35	c cleaning 9986 clauses out of 20893 with flag 4941002/5092520
268.69/266.89	c cleaning 9995 clauses out of 20906 with flag 4951001/5102519
269.29/267.40	c cleaning 9977 clauses out of 20912 with flag 4961002/5112520
269.79/267.96	c cleaning 9978 clauses out of 20935 with flag 4971002/5122520
270.30/268.45	c cleaning 9969 clauses out of 20955 with flag 4981000/5132518
270.79/268.98	c cleaning 9993 clauses out of 20990 with flag 4991004/5142522
271.40/269.53	c cleaning 9987 clauses out of 20997 with flag 5001004/5152522
271.90/270.05	c cleaning 9983 clauses out of 21008 with flag 5011002/5162520
272.40/270.56	c cleaning 9966 clauses out of 21024 with flag 5021001/5172519
273.00/271.10	c cleaning 9966 clauses out of 21059 with flag 5031002/5182520
273.50/271.64	c cleaning 9980 clauses out of 21093 with flag 5041002/5192520
274.10/272.20	c cleaning 9974 clauses out of 21111 with flag 5051000/5202518
274.61/272.74	c cleaning 9987 clauses out of 21138 with flag 5061001/5212519
275.10/273.28	c cleaning 9983 clauses out of 21152 with flag 5071002/5222520
275.71/273.81	c cleaning 9984 clauses out of 21167 with flag 5081000/5232518
276.21/274.37	c cleaning 9976 clauses out of 21184 with flag 5091001/5242519
276.81/274.91	c cleaning 9982 clauses out of 21207 with flag 5101000/5252518
277.31/275.43	c cleaning 9999 clauses out of 21230 with flag 5111005/5262523
277.81/275.96	c cleaning 9980 clauses out of 21229 with flag 5121003/5272521
278.41/276.54	c cleaning 9985 clauses out of 21248 with flag 5131002/5282520
278.91/277.07	c cleaning 9978 clauses out of 21261 with flag 5141000/5292518
279.42/277.56	c cleaning 9982 clauses out of 21283 with flag 5151000/5302518
279.92/278.09	c cleaning 9979 clauses out of 21301 with flag 5161000/5312518
280.52/278.65	c cleaning 9988 clauses out of 21322 with flag 5171000/5322518
281.02/279.19	c cleaning 9982 clauses out of 21335 with flag 5181001/5332519
281.62/279.72	c cleaning 9987 clauses out of 21352 with flag 5191000/5342518
282.12/280.27	c cleaning 9981 clauses out of 21366 with flag 5201001/5352519
282.73/280.86	c cleaning 9997 clauses out of 21385 with flag 5211001/5362519
283.23/281.39	c cleaning 9974 clauses out of 21387 with flag 5221000/5372518
283.83/281.92	c cleaning 10001 clauses out of 21414 with flag 5231001/5382519
284.34/282.45	c cleaning 10001 clauses out of 21415 with flag 5241003/5392521
284.84/282.97	c cleaning 9978 clauses out of 21411 with flag 5251000/5402518
285.34/283.49	c cleaning 9968 clauses out of 21434 with flag 5261001/5412519
285.84/283.99	c cleaning 9988 clauses out of 21466 with flag 5271001/5422519
286.44/284.55	c cleaning 9996 clauses out of 21478 with flag 5281001/5432519
287.04/285.10	c cleaning 10003 clauses out of 21483 with flag 5291002/5442520
287.54/285.65	c cleaning 9992 clauses out of 21479 with flag 5301001/5452519
288.05/286.16	c cleaning 9974 clauses out of 21487 with flag 5311001/5462519
288.55/286.69	c cleaning 9992 clauses out of 21513 with flag 5321001/5472519
289.15/287.23	c cleaning 9985 clauses out of 21522 with flag 5331002/5482520
289.65/287.79	c cleaning 9998 clauses out of 21535 with flag 5341000/5492518
290.25/288.30	c cleaning 9969 clauses out of 21539 with flag 5351002/5502520
290.75/288.82	c cleaning 9982 clauses out of 21568 with flag 5361000/5512518
291.26/289.35	c cleaning 9987 clauses out of 21586 with flag 5371000/5522518
291.76/289.81	c cleaning 9977 clauses out of 21599 with flag 5381000/5532518
292.27/290.31	c cleaning 9986 clauses out of 21623 with flag 5391001/5542519
292.76/290.82	c cleaning 9984 clauses out of 21636 with flag 5401000/5552518
293.16/291.29	c cleaning 9991 clauses out of 21652 with flag 5411000/5562518
293.67/291.79	c cleaning 9989 clauses out of 21661 with flag 5421000/5572518
294.27/292.32	c cleaning 10002 clauses out of 21672 with flag 5431000/5582518
294.77/292.80	c cleaning 9976 clauses out of 21671 with flag 5441001/5592519
295.27/293.33	c cleaning 9982 clauses out of 21694 with flag 5451000/5602518
295.77/293.84	c cleaning 9995 clauses out of 21712 with flag 5461000/5612518
296.27/294.33	c cleaning 9959 clauses out of 21717 with flag 5471000/5622518
296.78/294.83	c cleaning 9994 clauses out of 21759 with flag 5481001/5632519
297.27/295.32	c cleaning 9987 clauses out of 21764 with flag 5491000/5642518
297.78/295.83	c cleaning 9986 clauses out of 21781 with flag 5501004/5652522
298.28/296.31	c cleaning 9981 clauses out of 21791 with flag 5511000/5662518
298.78/296.80	c cleaning 9990 clauses out of 21811 with flag 5521001/5672519
299.28/297.30	c cleaning 9985 clauses out of 21820 with flag 5531000/5682518
299.68/297.80	c cleaning 9982 clauses out of 21835 with flag 5541000/5692518
300.28/298.33	c cleaning 9986 clauses out of 21853 with flag 5551000/5702518
300.79/298.87	c cleaning 9982 clauses out of 21867 with flag 5561000/5712518
301.29/299.39	c cleaning 9999 clauses out of 21887 with flag 5571002/5722520
301.89/299.92	c cleaning 9988 clauses out of 21887 with flag 5581001/5732519
302.39/300.44	c cleaning 9999 clauses out of 21898 with flag 5591000/5742518
302.99/301.01	c cleaning 10002 clauses out of 21900 with flag 5601001/5752519
303.49/301.58	c cleaning 9995 clauses out of 21898 with flag 5611001/5762519
304.09/302.12	c cleaning 9972 clauses out of 21903 with flag 5621001/5772519
304.69/302.70	c cleaning 9982 clauses out of 21930 with flag 5631000/5782518
305.19/303.24	c cleaning 10007 clauses out of 21948 with flag 5641000/5792518
305.69/303.77	c cleaning 9987 clauses out of 21942 with flag 5651001/5802519
306.20/304.27	c cleaning 9994 clauses out of 21955 with flag 5661001/5812519
306.70/304.79	c cleaning 9993 clauses out of 21960 with flag 5671000/5822518
307.20/305.29	c cleaning 9973 clauses out of 21968 with flag 5681001/5832519
307.80/305.82	c cleaning 10001 clauses out of 21995 with flag 5691001/5842519
308.30/306.36	c cleaning 9991 clauses out of 21994 with flag 5701001/5852519
308.81/306.87	c cleaning 9982 clauses out of 22003 with flag 5711001/5862519
309.40/307.45	c cleaning 9993 clauses out of 22021 with flag 5721001/5872519
309.91/307.95	c cleaning 10004 clauses out of 22033 with flag 5731006/5882524
310.41/308.49	c cleaning 9990 clauses out of 22024 with flag 5741001/5892519
311.02/309.01	c cleaning 9990 clauses out of 22033 with flag 5751000/5902518
311.51/309.53	c cleaning 9985 clauses out of 22044 with flag 5761001/5912519
312.01/310.04	c cleaning 9980 clauses out of 22058 with flag 5771000/5922518
312.51/310.55	c cleaning 9984 clauses out of 22078 with flag 5781000/5932518
313.11/311.12	c cleaning 10001 clauses out of 22096 with flag 5791002/5942520
313.75/311.70	c cleaning 9987 clauses out of 22092 with flag 5801000/5952518
314.25/312.26	c cleaning 9975 clauses out of 22106 with flag 5811001/5962519
314.75/312.79	c cleaning 9987 clauses out of 22130 with flag 5821000/5972518
315.36/313.34	c cleaning 9974 clauses out of 22144 with flag 5831001/5982519
315.86/313.89	c cleaning 9993 clauses out of 22169 with flag 5841000/5992518
316.46/314.44	c cleaning 9954 clauses out of 22176 with flag 5851000/6002518
317.06/315.01	c cleaning 10002 clauses out of 22227 with flag 5861005/6012523
317.56/315.58	c cleaning 9992 clauses out of 22221 with flag 5871001/6022519
318.26/316.22	c cleaning 9993 clauses out of 22230 with flag 5881002/6032520
318.77/316.78	c cleaning 9965 clauses out of 22241 with flag 5891006/6042524
319.36/317.32	c cleaning 9979 clauses out of 22270 with flag 5901000/6052518
319.87/317.83	c cleaning 9981 clauses out of 22291 with flag 5911000/6062518
320.36/318.39	c cleaning 9979 clauses out of 22312 with flag 5921002/6072520
320.97/318.93	c cleaning 9973 clauses out of 22333 with flag 5931002/6082520
321.47/319.47	c starts		: 287
321.47/319.47	c conflicts		: 6092209
321.47/319.47	c decisions		: 8942999
321.47/319.47	c propagations		: 309975588
321.47/319.47	c inspects		: 3077477034
321.47/319.47	c shortcuts		: 0
321.47/319.47	c learnt literals	: 5
321.47/319.47	c learnt binary clauses	: 14
321.47/319.47	c learnt ternary clauses	: 872
321.47/319.47	c learnt constraints	: 6092203
321.47/319.47	c ignored constraints	: 0
321.47/319.47	c root simplifications	: 0
321.47/319.47	c removed literals (reason simplification)	: 29931918
321.47/319.47	c reason swapping (by a shorter reason)	: 0
321.47/319.47	c Calls to reduceDB	: 614
321.47/319.47	c number of reductions to clauses (during analyze)	: 0
321.47/319.47	c number of learned constraints concerned by reduction	: 0
321.47/319.47	c number of learning phase by resolution	: 0
321.47/319.47	c number of learning phase by cutting planes	: 0
321.47/319.47	c speed (assignments/second)	: 1000641.0676066978
321.47/319.47	c non guided choices	1937
321.47/319.47	c learnt constraints type 
321.47/319.47	c constraints type 
321.47/319.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2530
321.47/319.47	c org.sat4j.minisat.constraints.card.MinWatchCard => 13
321.47/319.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 154
321.47/319.47	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10
321.47/319.47	s OPTIMUM FOUND
321.47/319.47	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 
321.47/319.47	c objective function=7
321.47/319.47	c Total wall clock time (in seconds): 319.363

Verifier Data 

OK	7

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-3492006-1307910661/watcher-3492006-1307910661 -o /var/tmp/evaluation-result-3492006-1307910661/solver-3492006-1307910661 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492006-1307910661.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: 1.93 2.00 1.87 1/175 13357
/proc/meminfo: memFree=1322280/32950928 swapFree=67050636/67111528
[pid=13357] ppid=13355 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/13357/stat : 13357 (java) R 13355 13357 10203 0 -1 4202496 950 0 0 0 0 0 0 0 25 0 1 0 902664795 23580672 693 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251809277416 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13357/statm: 5757 693 509 9 0 124 0

[startup+0.0949859 s]
/proc/loadavg: 1.93 2.00 1.87 1/175 13357
/proc/meminfo: memFree=1322280/32950928 swapFree=67050636/67111528
[pid=13357] ppid=13355 vsize=10539752 CPUtime=0.1 cores=1,3,5,7
/proc/13357/stat : 13357 (java) S 13355 13357 10203 0 -1 4202496 12981 0 1 0 8 2 0 0 25 0 18 0 902664795 10792706048 12643 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13357/statm: 2634938 12643 2092 9 0 2625672 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539752

[startup+0.100983 s]
/proc/loadavg: 1.93 2.00 1.87 1/175 13357
/proc/meminfo: memFree=1322280/32950928 swapFree=67050636/67111528
[pid=13357] ppid=13355 vsize=10539752 CPUtime=0.1 cores=1,3,5,7
/proc/13357/stat : 13357 (java) S 13355 13357 10203 0 -1 4202496 13057 0 1 0 8 2 0 0 25 0 18 0 902664795 10792706048 12719 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13357/statm: 2634938 12721 2092 9 0 2625672 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539752

[startup+0.300955 s]
/proc/loadavg: 1.93 2.00 1.87 1/175 13357
/proc/meminfo: memFree=1322280/32950928 swapFree=67050636/67111528
[pid=13357] ppid=13355 vsize=10541056 CPUtime=0.49 cores=1,3,5,7
/proc/13357/stat : 13357 (java) S 13355 13357 10203 0 -1 4202496 16422 0 1 0 46 3 0 0 25 0 18 0 902664795 10794041344 15461 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13357/statm: 2635264 15473 2209 9 0 2625998 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541056

[startup+0.700882 s]
/proc/loadavg: 1.93 2.00 1.87 1/175 13357
/proc/meminfo: memFree=1322280/32950928 swapFree=67050636/67111528
[pid=13357] ppid=13355 vsize=10548680 CPUtime=1.37 cores=1,3,5,7
/proc/13357/stat : 13357 (java) S 13355 13357 10203 0 -1 4202496 21348 0 1 0 133 4 0 0 25 0 19 0 902664795 10801848320 18237 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13357/statm: 2637170 18237 2224 9 0 2627904 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 10548680

[startup+1.50075 s]
/proc/loadavg: 1.93 2.00 1.87 3/193 13389
/proc/meminfo: memFree=1257912/32950928 swapFree=67050636/67111528
[pid=13357] ppid=13355 vsize=10563408 CPUtime=2.65 cores=1,3,5,7
/proc/13357/stat : 13357 (java) S 13355 13357 10203 0 -1 4202496 27674 0 1 0 260 5 0 0 25 0 19 0 902664795 10816929792 23630 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13357/statm: 2640852 23630 2253 9 0 2631586 0
[pid=13357/tid=13359] ppid=13355 vsize=10563408 CPUtime=1.45 cores=1,3,5,7
/proc/13357/task/13359/stat : 13359 (java) R 13355 13357 10203 0 -1 4202560 13874 0 1 0 143 2 0 0 25 0 19 0 902664796 10816929792 23630 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 46912505631443 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13357/tid=13360] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13360/stat : 13360 (java) S 13355 13357 10203 0 -1 4202560 157 0 0 0 0 0 0 0 16 0 19 0 902664797 10816929792 23630 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13361] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13361/stat : 13361 (java) S 13355 13357 10203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902664797 10816929792 23630 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13362] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13362/stat : 13362 (java) S 13355 13357 10203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902664797 10816929792 23630 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13363] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13363/stat : 13363 (java) S 13355 13357 10203 0 -1 4202560 89 0 0 0 0 0 0 0 16 0 19 0 902664797 10816929792 23630 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13364] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13364/stat : 13364 (java) S 13355 13357 10203 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 902664797 10816929792 23630 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13365] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13365/stat : 13365 (java) S 13355 13357 10203 0 -1 4202560 203 0 0 0 0 0 0 0 16 0 19 0 902664797 10816929792 23630 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13366] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13366/stat : 13366 (java) S 13355 13357 10203 0 -1 4202560 120 0 0 0 0 0 0 0 15 0 19 0 902664797 10816929792 23630 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13367] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13367/stat : 13367 (java) S 13355 13357 10203 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 902664797 10816929792 23630 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13368] ppid=13355 vsize=10563408 CPUtime=0.02 cores=1,3,5,7
/proc/13357/task/13368/stat : 13368 (java) S 13355 13357 10203 0 -1 4202560 515 0 0 0 2 0 0 0 15 0 19 0 902664798 10816929792 23630 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 0 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13369] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13369/stat : 13369 (java) S 13355 13357 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902664799 10816929792 23630 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13370] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13370/stat : 13370 (java) S 13355 13357 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902664799 10816929792 23630 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13371] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13371/stat : 13371 (java) S 13355 13357 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902664801 10816929792 23630 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826063793 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13372] ppid=13355 vsize=10563408 CPUtime=0.43 cores=1,3,5,7
/proc/13357/task/13372/stat : 13372 (java) S 13355 13357 10203 0 -1 4202560 3363 0 0 0 42 1 0 0 18 0 19 0 902664801 10816929792 23630 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13373] ppid=13355 vsize=10563408 CPUtime=0.72 cores=1,3,5,7
/proc/13357/task/13373/stat : 13373 (java) S 13355 13357 10203 0 -1 4202560 8044 0 0 0 71 1 0 0 22 0 19 0 902664801 10816929792 23630 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13374] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13374/stat : 13374 (java) S 13355 13357 10203 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 902664801 10816929792 23630 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13375] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13375/stat : 13375 (java) S 13355 13357 10203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902664801 10816929792 23630 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13376] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13376/stat : 13376 (java) S 13355 13357 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902664827 10816929792 23630 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 10563408

[startup+3.10048 s]
/proc/loadavg: 1.93 2.00 1.87 3/214 13432
/proc/meminfo: memFree=1168960/32950928 swapFree=67050636/67111528
[pid=13357] ppid=13355 vsize=10563408 CPUtime=4.32 cores=1,3,5,7
/proc/13357/stat : 13357 (java) S 13355 13357 10203 0 -1 4202496 28859 0 1 0 427 5 0 0 25 0 19 0 902664795 10816929792 24006 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13357/statm: 2640852 24006 2253 9 0 2631586 0
[pid=13357/tid=13359] ppid=13355 vsize=10563408 CPUtime=3 cores=1,3,5,7
/proc/13357/task/13359/stat : 13359 (java) R 13355 13357 10203 0 -1 4202560 13875 0 1 0 298 2 0 0 25 0 19 0 902664796 10816929792 24006 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 46912505673835 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13357/tid=13360] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13360/stat : 13360 (java) S 13355 13357 10203 0 -1 4202560 157 0 0 0 0 0 0 0 16 0 19 0 902664797 10816929792 24006 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13361] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13361/stat : 13361 (java) S 13355 13357 10203 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902664797 10816929792 24006 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13362] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13362/stat : 13362 (java) S 13355 13357 10203 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902664797 10816929792 24006 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13363] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13363/stat : 13363 (java) S 13355 13357 10203 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 902664797 10816929792 24006 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13364] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13364/stat : 13364 (java) S 13355 13357 10203 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 902664797 10816929792 24006 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13365] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13365/stat : 13365 (java) S 13355 13357 10203 0 -1 4202560 271 0 0 0 0 0 0 0 15 0 19 0 902664797 10816929792 24006 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13366] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13366/stat : 13366 (java) S 13355 13357 10203 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 19 0 902664797 10816929792 24006 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13367] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13367/stat : 13367 (java) S 13355 13357 10203 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 902664797 10816929792 24006 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13368] ppid=13355 vsize=10563408 CPUtime=0.06 cores=1,3,5,7
/proc/13357/task/13368/stat : 13368 (java) S 13355 13357 10203 0 -1 4202560 665 0 0 0 6 0 0 0 15 0 19 0 902664798 10816929792 24006 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 0 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13369] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13369/stat : 13369 (java) S 13355 13357 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902664799 10816929792 24006 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13370] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13370/stat : 13370 (java) S 13355 13357 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902664799 10816929792 24006 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13371] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13371/stat : 13371 (java) S 13355 13357 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902664801 10816929792 24006 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826063793 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13372] ppid=13355 vsize=10563408 CPUtime=0.48 cores=1,3,5,7
/proc/13357/task/13372/stat : 13372 (java) S 13355 13357 10203 0 -1 4202560 4205 0 0 0 47 1 0 0 15 0 19 0 902664801 10816929792 24006 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13373] ppid=13355 vsize=10563408 CPUtime=0.72 cores=1,3,5,7
/proc/13357/task/13373/stat : 13373 (java) S 13355 13357 10203 0 -1 4202560 8044 0 0 0 71 1 0 0 15 0 19 0 902664801 10816929792 24006 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13374] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13374/stat : 13374 (java) S 13355 13357 10203 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 902664801 10816929792 24006 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13375] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13375/stat : 13375 (java) S 13355 13357 10203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902664801 10816929792 24006 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 4 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13376] ppid=13355 vsize=10563408 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13376/stat : 13376 (java) S 13355 13357 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902664827 10816929792 24006 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 10563408

[startup+6.30094 s]
/proc/loadavg: 1.93 2.00 1.87 3/214 13432
/proc/meminfo: memFree=1150712/32950928 swapFree=67050636/67111528
[pid=13357] ppid=13355 vsize=10551000 CPUtime=7.55 cores=1,3,5,7
/proc/13357/stat : 13357 (java) S 13355 13357 10203 0 -1 4202496 28987 0 1 0 750 5 0 0 25 0 19 0 902664795 10804224000 21326 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13357/statm: 2637750 21326 2253 9 0 2628484 0
[pid=13357/tid=13359] ppid=13355 vsize=10551000 CPUtime=6.09 cores=1,3,5,7
/proc/13357/task/13359/stat : 13359 (java) R 13355 13357 10203 0 -1 4202560 13883 0 1 0 607 2 0 0 25 0 19 0 902664796 10804224000 21326 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 46912505658996 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13357/tid=13360] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13360/stat : 13360 (java) S 13355 13357 10203 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 19 0 902664797 10804224000 21326 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13361] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13361/stat : 13361 (java) S 13355 13357 10203 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902664797 10804224000 21326 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13362] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13362/stat : 13362 (java) S 13355 13357 10203 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902664797 10804224000 21326 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13363] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13363/stat : 13363 (java) S 13355 13357 10203 0 -1 4202560 90 0 0 0 0 0 0 0 16 0 19 0 902664797 10804224000 21326 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13364] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13364/stat : 13364 (java) S 13355 13357 10203 0 -1 4202560 100 0 0 0 0 0 0 0 16 0 19 0 902664797 10804224000 21326 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13365] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13365/stat : 13365 (java) S 13355 13357 10203 0 -1 4202560 271 0 0 0 0 0 0 0 16 0 19 0 902664797 10804224000 21326 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13366] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13366/stat : 13366 (java) S 13355 13357 10203 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 19 0 902664797 10804224000 21326 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13367] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13367/stat : 13367 (java) S 13355 13357 10203 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 902664797 10804224000 21326 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13368] ppid=13355 vsize=10551000 CPUtime=0.16 cores=1,3,5,7
/proc/13357/task/13368/stat : 13368 (java) S 13355 13357 10203 0 -1 4202560 777 0 0 0 16 0 0 0 15 0 19 0 902664798 10804224000 21326 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 0 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13369] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13369/stat : 13369 (java) S 13355 13357 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902664799 10804224000 21326 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13370] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13370/stat : 13370 (java) S 13355 13357 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902664799 10804224000 21326 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13371] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13371/stat : 13371 (java) S 13355 13357 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902664801 10804224000 21326 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826063793 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13372] ppid=13355 vsize=10551000 CPUtime=0.48 cores=1,3,5,7
/proc/13357/task/13372/stat : 13372 (java) S 13355 13357 10203 0 -1 4202560 4205 0 0 0 47 1 0 0 15 0 19 0 902664801 10804224000 21326 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13373] ppid=13355 vsize=10551000 CPUtime=0.75 cores=1,3,5,7
/proc/13357/task/13373/stat : 13373 (java) S 13355 13357 10203 0 -1 4202560 8044 0 0 0 74 1 0 0 15 0 19 0 902664801 10804224000 21326 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13374] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13374/stat : 13374 (java) S 13355 13357 10203 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 902664801 10804224000 21326 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13375] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13375/stat : 13375 (java) S 13355 13357 10203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902664801 10804224000 21326 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 4 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13376] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13376/stat : 13376 (java) S 13355 13357 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902664827 10804224000 21326 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (KiB) 10551000

[startup+12.7009 s]

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

/proc/13357/task/13360/stat : 13360 (java) S 13355 13357 10203 0 -1 4202560 171 0 0 0 16 1 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13361] ppid=13355 vsize=10551000 CPUtime=0.17 cores=1,3,5,7
/proc/13357/task/13361/stat : 13361 (java) S 13355 13357 10203 0 -1 4202560 16 0 0 0 17 0 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13362] ppid=13355 vsize=10551000 CPUtime=0.18 cores=1,3,5,7
/proc/13357/task/13362/stat : 13362 (java) S 13355 13357 10203 0 -1 4202560 22 0 0 0 17 1 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13363] ppid=13355 vsize=10551000 CPUtime=0.16 cores=1,3,5,7
/proc/13357/task/13363/stat : 13363 (java) S 13355 13357 10203 0 -1 4202560 102 0 0 0 16 0 0 0 16 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13364] ppid=13355 vsize=10551000 CPUtime=0.19 cores=1,3,5,7
/proc/13357/task/13364/stat : 13364 (java) S 13355 13357 10203 0 -1 4202560 118 0 0 0 18 1 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13365] ppid=13355 vsize=10551000 CPUtime=0.17 cores=1,3,5,7
/proc/13357/task/13365/stat : 13365 (java) S 13355 13357 10203 0 -1 4202560 292 0 0 0 17 0 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13366] ppid=13355 vsize=10551000 CPUtime=0.19 cores=1,3,5,7
/proc/13357/task/13366/stat : 13366 (java) S 13355 13357 10203 0 -1 4202560 204 0 0 0 18 1 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13367] ppid=13355 vsize=10551000 CPUtime=0.17 cores=1,3,5,7
/proc/13357/task/13367/stat : 13367 (java) S 13355 13357 10203 0 -1 4202560 131 0 0 0 17 0 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13368] ppid=13355 vsize=10551000 CPUtime=9.65 cores=1,3,5,7
/proc/13357/task/13368/stat : 13368 (java) S 13355 13357 10203 0 -1 4202560 1631 0 0 0 961 4 0 0 16 0 19 0 902664798 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 0 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13369] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13369/stat : 13369 (java) S 13355 13357 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902664799 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13370] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13370/stat : 13370 (java) S 13355 13357 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902664799 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13371] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13371/stat : 13371 (java) S 13355 13357 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826063793 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13372] ppid=13355 vsize=10551000 CPUtime=0.5 cores=1,3,5,7
/proc/13357/task/13372/stat : 13372 (java) S 13355 13357 10203 0 -1 4202560 4206 0 0 0 49 1 0 0 16 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13373] ppid=13355 vsize=10551000 CPUtime=0.82 cores=1,3,5,7
/proc/13357/task/13373/stat : 13373 (java) S 13355 13357 10203 0 -1 4202560 8051 0 0 0 81 1 0 0 15 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13374] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13374/stat : 13374 (java) S 13355 13357 10203 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13375] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13375/stat : 13375 (java) S 13355 13357 10203 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13376] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13376/stat : 13376 (java) S 13355 13357 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902664827 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 320.36
Current children cumulated vsize (KiB) 10551000

[startup+319.101 s]
/proc/loadavg: 2.11 2.03 1.92 3/214 13611
/proc/meminfo: memFree=696292/32950928 swapFree=67050636/67111528
[pid=13357] ppid=13355 vsize=10551000 CPUtime=321.17 cores=1,3,5,7
/proc/13357/stat : 13357 (java) S 13355 13357 10203 0 -1 4202496 30601 0 1 0 32098 19 0 0 25 0 19 0 902664795 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13357/statm: 2637750 22296 2254 9 0 2628484 0
[pid=13357/tid=13359] ppid=13355 vsize=10551000 CPUtime=308.66 cores=1,3,5,7
/proc/13357/task/13359/stat : 13359 (java) R 13355 13357 10203 0 -1 4202560 14485 0 1 0 30862 4 0 0 25 0 19 0 902664796 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 46912505643085 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13357/tid=13360] ppid=13355 vsize=10551000 CPUtime=0.17 cores=1,3,5,7
/proc/13357/task/13360/stat : 13360 (java) S 13355 13357 10203 0 -1 4202560 171 0 0 0 16 1 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13361] ppid=13355 vsize=10551000 CPUtime=0.17 cores=1,3,5,7
/proc/13357/task/13361/stat : 13361 (java) S 13355 13357 10203 0 -1 4202560 16 0 0 0 17 0 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13362] ppid=13355 vsize=10551000 CPUtime=0.18 cores=1,3,5,7
/proc/13357/task/13362/stat : 13362 (java) S 13355 13357 10203 0 -1 4202560 22 0 0 0 17 1 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13363] ppid=13355 vsize=10551000 CPUtime=0.16 cores=1,3,5,7
/proc/13357/task/13363/stat : 13363 (java) S 13355 13357 10203 0 -1 4202560 102 0 0 0 16 0 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13364] ppid=13355 vsize=10551000 CPUtime=0.19 cores=1,3,5,7
/proc/13357/task/13364/stat : 13364 (java) S 13355 13357 10203 0 -1 4202560 118 0 0 0 18 1 0 0 16 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13365] ppid=13355 vsize=10551000 CPUtime=0.17 cores=1,3,5,7
/proc/13357/task/13365/stat : 13365 (java) S 13355 13357 10203 0 -1 4202560 292 0 0 0 17 0 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13366] ppid=13355 vsize=10551000 CPUtime=0.19 cores=1,3,5,7
/proc/13357/task/13366/stat : 13366 (java) S 13355 13357 10203 0 -1 4202560 204 0 0 0 18 1 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13367] ppid=13355 vsize=10551000 CPUtime=0.17 cores=1,3,5,7
/proc/13357/task/13367/stat : 13367 (java) S 13355 13357 10203 0 -1 4202560 131 0 0 0 17 0 0 0 16 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13368] ppid=13355 vsize=10551000 CPUtime=9.68 cores=1,3,5,7
/proc/13357/task/13368/stat : 13368 (java) S 13355 13357 10203 0 -1 4202560 1631 0 0 0 964 4 0 0 16 0 19 0 902664798 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 0 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13369] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13369/stat : 13369 (java) S 13355 13357 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902664799 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13370] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13370/stat : 13370 (java) S 13355 13357 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902664799 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13371] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13371/stat : 13371 (java) S 13355 13357 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826063793 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13372] ppid=13355 vsize=10551000 CPUtime=0.5 cores=1,3,5,7
/proc/13357/task/13372/stat : 13372 (java) S 13355 13357 10203 0 -1 4202560 4206 0 0 0 49 1 0 0 16 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13373] ppid=13355 vsize=10551000 CPUtime=0.82 cores=1,3,5,7
/proc/13357/task/13373/stat : 13373 (java) S 13355 13357 10203 0 -1 4202560 8051 0 0 0 81 1 0 0 15 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13374] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13374/stat : 13374 (java) S 13355 13357 10203 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13375] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13375/stat : 13375 (java) S 13355 13357 10203 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13376] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13376/stat : 13376 (java) S 13355 13357 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902664827 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 321.17
Current children cumulated vsize (KiB) 10551000

[startup+319.301 s]
/proc/loadavg: 2.11 2.03 1.92 3/214 13611
/proc/meminfo: memFree=696292/32950928 swapFree=67050636/67111528
[pid=13357] ppid=13355 vsize=10551000 CPUtime=321.37 cores=1,3,5,7
/proc/13357/stat : 13357 (java) S 13355 13357 10203 0 -1 4202496 30601 0 1 0 32118 19 0 0 25 0 19 0 902664795 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13357/statm: 2637750 22296 2254 9 0 2628484 0
[pid=13357/tid=13359] ppid=13355 vsize=10551000 CPUtime=308.86 cores=1,3,5,7
/proc/13357/task/13359/stat : 13359 (java) R 13355 13357 10203 0 -1 4202560 14485 0 1 0 30882 4 0 0 25 0 19 0 902664796 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 46912505779200 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13357/tid=13360] ppid=13355 vsize=10551000 CPUtime=0.17 cores=1,3,5,7
/proc/13357/task/13360/stat : 13360 (java) S 13355 13357 10203 0 -1 4202560 171 0 0 0 16 1 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13361] ppid=13355 vsize=10551000 CPUtime=0.17 cores=1,3,5,7
/proc/13357/task/13361/stat : 13361 (java) S 13355 13357 10203 0 -1 4202560 16 0 0 0 17 0 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13362] ppid=13355 vsize=10551000 CPUtime=0.18 cores=1,3,5,7
/proc/13357/task/13362/stat : 13362 (java) S 13355 13357 10203 0 -1 4202560 22 0 0 0 17 1 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13363] ppid=13355 vsize=10551000 CPUtime=0.16 cores=1,3,5,7
/proc/13357/task/13363/stat : 13363 (java) S 13355 13357 10203 0 -1 4202560 102 0 0 0 16 0 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13364] ppid=13355 vsize=10551000 CPUtime=0.19 cores=1,3,5,7
/proc/13357/task/13364/stat : 13364 (java) S 13355 13357 10203 0 -1 4202560 118 0 0 0 18 1 0 0 16 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13365] ppid=13355 vsize=10551000 CPUtime=0.17 cores=1,3,5,7
/proc/13357/task/13365/stat : 13365 (java) S 13355 13357 10203 0 -1 4202560 292 0 0 0 17 0 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13366] ppid=13355 vsize=10551000 CPUtime=0.19 cores=1,3,5,7
/proc/13357/task/13366/stat : 13366 (java) S 13355 13357 10203 0 -1 4202560 204 0 0 0 18 1 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13367] ppid=13355 vsize=10551000 CPUtime=0.17 cores=1,3,5,7
/proc/13357/task/13367/stat : 13367 (java) S 13355 13357 10203 0 -1 4202560 131 0 0 0 17 0 0 0 16 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13368] ppid=13355 vsize=10551000 CPUtime=9.68 cores=1,3,5,7
/proc/13357/task/13368/stat : 13368 (java) S 13355 13357 10203 0 -1 4202560 1631 0 0 0 964 4 0 0 16 0 19 0 902664798 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 0 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13369] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13369/stat : 13369 (java) S 13355 13357 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902664799 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13370] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13370/stat : 13370 (java) S 13355 13357 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902664799 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13371] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13371/stat : 13371 (java) S 13355 13357 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826063793 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13372] ppid=13355 vsize=10551000 CPUtime=0.5 cores=1,3,5,7
/proc/13357/task/13372/stat : 13372 (java) S 13355 13357 10203 0 -1 4202560 4206 0 0 0 49 1 0 0 16 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13373] ppid=13355 vsize=10551000 CPUtime=0.82 cores=1,3,5,7
/proc/13357/task/13373/stat : 13373 (java) S 13355 13357 10203 0 -1 4202560 8051 0 0 0 81 1 0 0 15 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13374] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13374/stat : 13374 (java) S 13355 13357 10203 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13375] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13375/stat : 13375 (java) S 13355 13357 10203 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13376] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13376/stat : 13376 (java) S 13355 13357 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902664827 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 321.37
Current children cumulated vsize (KiB) 10551000

[startup+319.401 s]
/proc/loadavg: 2.11 2.03 1.92 3/214 13611
/proc/meminfo: memFree=696292/32950928 swapFree=67050636/67111528
[pid=13357] ppid=13355 vsize=10551000 CPUtime=321.47 cores=1,3,5,7
/proc/13357/stat : 13357 (java) S 13355 13357 10203 0 -1 4202496 30601 0 1 0 32128 19 0 0 25 0 19 0 902664795 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13357/statm: 2637750 22296 2254 9 0 2628484 0
[pid=13357/tid=13359] ppid=13355 vsize=10551000 CPUtime=308.96 cores=1,3,5,7
/proc/13357/task/13359/stat : 13359 (java) R 13355 13357 10203 0 -1 4202560 14485 0 1 0 30892 4 0 0 25 0 19 0 902664796 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 46912505673774 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13357/tid=13360] ppid=13355 vsize=10551000 CPUtime=0.17 cores=1,3,5,7
/proc/13357/task/13360/stat : 13360 (java) S 13355 13357 10203 0 -1 4202560 171 0 0 0 16 1 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13361] ppid=13355 vsize=10551000 CPUtime=0.17 cores=1,3,5,7
/proc/13357/task/13361/stat : 13361 (java) S 13355 13357 10203 0 -1 4202560 16 0 0 0 17 0 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13362] ppid=13355 vsize=10551000 CPUtime=0.18 cores=1,3,5,7
/proc/13357/task/13362/stat : 13362 (java) S 13355 13357 10203 0 -1 4202560 22 0 0 0 17 1 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13363] ppid=13355 vsize=10551000 CPUtime=0.16 cores=1,3,5,7
/proc/13357/task/13363/stat : 13363 (java) S 13355 13357 10203 0 -1 4202560 102 0 0 0 16 0 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13364] ppid=13355 vsize=10551000 CPUtime=0.19 cores=1,3,5,7
/proc/13357/task/13364/stat : 13364 (java) S 13355 13357 10203 0 -1 4202560 118 0 0 0 18 1 0 0 16 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13365] ppid=13355 vsize=10551000 CPUtime=0.17 cores=1,3,5,7
/proc/13357/task/13365/stat : 13365 (java) S 13355 13357 10203 0 -1 4202560 292 0 0 0 17 0 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13366] ppid=13355 vsize=10551000 CPUtime=0.19 cores=1,3,5,7
/proc/13357/task/13366/stat : 13366 (java) S 13355 13357 10203 0 -1 4202560 204 0 0 0 18 1 0 0 15 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13367] ppid=13355 vsize=10551000 CPUtime=0.17 cores=1,3,5,7
/proc/13357/task/13367/stat : 13367 (java) S 13355 13357 10203 0 -1 4202560 131 0 0 0 17 0 0 0 16 0 19 0 902664797 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13368] ppid=13355 vsize=10551000 CPUtime=9.68 cores=1,3,5,7
/proc/13357/task/13368/stat : 13368 (java) S 13355 13357 10203 0 -1 4202560 1631 0 0 0 964 4 0 0 16 0 19 0 902664798 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 0 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13369] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13369/stat : 13369 (java) S 13355 13357 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902664799 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
[pid=13357/tid=13370] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13370/stat : 13370 (java) S 13355 13357 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902664799 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13371] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13371/stat : 13371 (java) S 13355 13357 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826063793 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13372] ppid=13355 vsize=10551000 CPUtime=0.5 cores=1,3,5,7
/proc/13357/task/13372/stat : 13372 (java) S 13355 13357 10203 0 -1 4202560 4206 0 0 0 49 1 0 0 16 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13373] ppid=13355 vsize=10551000 CPUtime=0.82 cores=1,3,5,7
/proc/13357/task/13373/stat : 13373 (java) S 13355 13357 10203 0 -1 4202560 8051 0 0 0 81 1 0 0 15 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 7 0 0 0
[pid=13357/tid=13374] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13374/stat : 13374 (java) S 13355 13357 10203 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056089 0 4 0 16800975 18446604461615439936 0 0 -1 1 0 0 0
[pid=13357/tid=13375] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13375/stat : 13375 (java) S 13355 13357 10203 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 902664801 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 4 0 16800975 18446604461615439936 0 0 -1 3 0 0 0
[pid=13357/tid=13376] ppid=13355 vsize=10551000 CPUtime=0 cores=1,3,5,7
/proc/13357/task/13376/stat : 13376 (java) S 13355 13357 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902664827 10804224000 22296 33554432000 1073741824 1073778376 140736168332848 18446744073709551615 251826056704 0 4 0 16800975 18446604461615439936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 321.47
Current children cumulated vsize (KiB) 10551000

Child status: 30
Real time (s): 319.48
CPU time (s): 321.557
CPU user time (s): 321.359
CPU system time (s): 0.197969
CPU usage (%): 100.65
Max. virtual memory (cumulated for all children) (KiB): 10563408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 321.359
system time used= 0.197969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30624
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= 22358
involuntary context switches= 8012

runsolver used 0.529919 second user time and 1.25181 second system time

The end

Launcher Data 

Begin job on node126 at 2011-06-12 22:31:01
IDJOB=3492006
IDBENCH=78987
IDSOLVER=1982
FILE ID=node126/3492006-1307910661
RUNJOBID= node126-1307908863-13199
PBS_JOBID= 13559580
Free space on /var/tmp= 2892 MiB

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

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

MD5SUM BENCH= 0424fd5691d718147f8291be7b6f72f2
RANDOM SEED=1482802942

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       1322436 kB
Buffers:         61708 kB
Cached:       30586236 kB
SwapCached:      14604 kB
Active:       15755920 kB
Inactive:     14913900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1322436 kB
SwapTotal:    67111528 kB
SwapFree:     67050636 kB
Dirty:             492 kB
Writeback:           0 kB
AnonPages:       19656 kB
Mapped:           9260 kB
Slab:           894732 kB
PageTables:       3852 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   219740 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= 2888 MiB
End job on node126 at 2011-06-12 22:36:20